Prove TextMate-generator completeness (#51)#55

Open

johnsoncodehk wants to merge 10 commits into

tm-completeness-proof

Commits on Jun 20, 2026

Prove TextMate-generator completeness (#51)
johnsoncodehk
committed
Mutation-test the completeness detector (#51)
johnsoncodehk
committed
Make keyword completeness decidable, not corpus-witnessed (#51)
johnsoncodehk
committed
Fix two more sep-omission twins of the type-param keyword drop (#51)
johnsoncodehk
committed
Root-cause: match normalized forms in shape-detectors (#51)
johnsoncodehk
committed
Normalize four more shape-detectors (#51)
johnsoncodehk
committed
Normalize the expression-position shape-detectors (#51)
johnsoncodehk
committed
YAML detectors: one safe positional fix, three confirmed deliberate (#51)
johnsoncodehk
committed
Hoist declared-scope punctuation inside type-parameter regions (#51)
johnsoncodehk
committed
Close a co-blind markup path and correct the proof's overclaims (#51)
johnsoncodehk
committed