Total parse/edit: never crash on input, errors as data, equivalence gated (closes #39)#40

Open

johnsoncodehk wants to merge 50 commits into

Commits on Jun 11, 2026

WIP issue #39: total parse/edit with cst.errors - one residual equivalence class
johnsoncodehk
committed
Total parse/edit complete: a latent Pratt watermark hole closed, equivalence gated
johnsoncodehk
committed
Gate the expression-splitting ';' injection class
johnsoncodehk
committed
Cross-grammar incremental gate: all 7 grammars, edit ≡ fresh + self-consistency
johnsoncodehk
committed
Missing-token synthesis: tsc-style "expected 'x'" with structure preserved
johnsoncodehk
committed
Missing-nonterminal synthesis: the tsc "Expression expected" analog
johnsoncodehk
committed
Broken-state edits go incremental: recovering adoption under bar purity
johnsoncodehk
committed
Cross-attempt memo survival: bar-free windows are context-free
johnsoncodehk
committed
Conditional lexer resync: depth-shift adoption kills the transition cliff
johnsoncodehk
committed
Recovering surgery: bar-clear splices keep the error tree incremental
johnsoncodehk
committed
Diagnostics: viable-set messages + paired-opener related info
johnsoncodehk
committed
Head-to-head bench: Monogram vs tsc updateSourceFile vs tree-sitter
johnsoncodehk
committed
Error-recovery conformance metric: bidirectional agreement vs tsc
johnsoncodehk
committed
Reject unterminated templates and colon-less case clauses
johnsoncodehk
committed
Formal write-up + bounded-exhaustive edit gate
johnsoncodehk
committed
Attribute the transition-edit cost to what profiling actually shows
johnsoncodehk
committed
Row-level taint + reject body-less class expressions
johnsoncodehk
committed
O(1) shifted-resync check at depth 0 via a pop-on-empty index list
johnsoncodehk
committed
Block bare statement keywords as expressions; for-in takes comma objects
johnsoncodehk
committed
Roadmap: enumerate the parser-acceptance long tail vs tsc
johnsoncodehk
committed
Decorators prefix class members; orphan and post-modifier decorators reject
johnsoncodehk
committed
A ';'-less class field rejects a same-line decorator after it
johnsoncodehk
committed
Lexer resync also validates the candidate's leading-trivia flags
johnsoncodehk
committed

Commits on Jun 13, 2026