Three things that could not fail or could not be seen: duplicate agreement, seal coverage, and 348 specs that do not compile - #2208

Merged

gHashTag merged 8 commits into

loop/t27-bitnet

Aug 18, 2026

Commits on Aug 18, 2026

verify: check duplicated functions by behaviour, not by text

gHashTag
and
claude
committed
8a91b5c
ci(seal): give seal-coverage a body, and measure what it finds

gHashTag
and
claude
committed
fcdb26a
docs(seal): characterise the 89 dangling seals, and correct my own count

gHashTag
and
claude
committed
9da86d4
verify(seal): split dangling from phantom, and record the instrument lesson

gHashTag
and
claude
committed
11d65e2
verify: measure what actually compiles, and stop re-sealing what does not

gHashTag
and
claude
committed
fd020b5
fix(bootstrap): seal --save must not record output that does not exist

gHashTag
and
claude
committed
24e59db
feat(lang): add -=, *=, |=, &=, ^= across token, lexer, parser and three backends

gHashTag
and
claude
committed
88fadb6
lang: name the true state of float casts, and keep seal_handler's reasons

gHashTag
and
claude
committed
2fa3632