feat(parser): persist generation-bound lexer restart checkpoints (#6982) - #7324

Draft

EffortlessSteven wants to merge 50 commits into

mainfrom

agent/6982-stored-lexer-checkpoints

Commits on Aug 11, 2026

contract(parser): carry native parse output
EffortlessSteven
committed
0a3a515
fix(parser): preserve recovered incremental output
EffortlessSteven
committed
f428f28
fix(parser): refresh native output on fallback
EffortlessSteven
committed
f9f8bc9
fix(parser): return current parse output after edits
EffortlessSteven
committed
a2c7eba
test(parser): prove incremental recovery output parity
EffortlessSteven
committed
735c802
ci(parser): run incremental parse-output parity
EffortlessSteven
committed
05d9a30
fix(parser): capture live lexer restart state
EffortlessSteven
committed
3165041
contract(parser): report lexer restart strategy
EffortlessSteven
committed
99c67b0
fix(parser): derive restart summaries from live lexing
EffortlessSteven
committed
cae41e1
fix(parser): relex live checkpoint suffix to EOF
EffortlessSteven
committed
fdaf550
fix(parser): return truthful lexer restart receipt
EffortlessSteven
committed
69f120e
fix(parser): keep one replayable summary per byte boundary
EffortlessSteven
committed
97abf54
test(parser): prove live checkpoint restart parity
EffortlessSteven
committed
4cecd1b
ci(parser): run live lexer restart parity
EffortlessSteven
committed
301e8ce
test(parser): import restart strategy from incremental module
EffortlessSteven
committed
93f4559
fix(parser): suppress restart boundaries inside pending heredocs
EffortlessSteven
committed
f6cfa8f
test(parser): borrow heredoc token kind in restart guard
EffortlessSteven
committed
bc76472
fix(parser): apply incremental batches atomically
EffortlessSteven
committed
72e3af3
test(parser): prove atomic full-fallback generations
EffortlessSteven
committed
874cf90
fix(lexer): checkpoint every mutable replay state
EffortlessSteven
committed
4ff0100
fix(lexer): restore complete mutable checkpoint state
EffortlessSteven
committed
7ec726c
feat(lexer): export complete checkpoint state types
EffortlessSteven
committed
02a88aa
fix(parser): authorize heredoc restart boundaries from live state
EffortlessSteven
committed
ce3d568
fix(parser): adjust live checkpoints across edits
EffortlessSteven
committed
a059e4b
fix(lexer): expose checkpoint edit invalidation
EffortlessSteven
committed
e70d350
fix(parser): keep stacked edit batches atomic
EffortlessSteven
committed
c1d3a33
test(parser): retain atomic parse-output proofs in stack
EffortlessSteven
committed
30b211b
fix(parser): keep empty edit batches generation-neutral
EffortlessSteven
committed
9f5aef6
test(parser): prove empty edit batches are no-ops
EffortlessSteven
committed
e2d9b7a
feat(parser): model unchanged lexer restart receipts
EffortlessSteven
committed
c6a7b86
fix(parser): report empty edit batches as unchanged
EffortlessSteven
committed
d48d6d1
test(parser): carry generation-neutral no-op proof into restart branch
EffortlessSteven
committed
568ea27
test(parser): expand restart receipts across stateful Perl edits
EffortlessSteven
committed
c87b29c
fix(parser): keep unit-test imports explicit
EffortlessSteven
committed
d0e25aa
fix(lexer): fail closed when checkpoint position identity shifts
EffortlessSteven
committed
df5fae4
test(lexer): prove shifted and invalidated checkpoints cannot restore
EffortlessSteven
committed
ec8d03a
refactor(parser): encapsulate committed incremental generations
EffortlessSteven
committed
b8ecf53
test(parser): migrate parse-output contract to state accessors
EffortlessSteven
committed
a79c0b0
refactor(parser): carry bounded generation state into restart branch
EffortlessSteven
committed
2a3500f
test(parser): migrate restart contracts to state accessors
EffortlessSteven
committed
c4c8660
fix(parser): preserve read-only source compatibility
EffortlessSteven
committed
a25f2d6
refactor(parser): stage source replacement behind state API
EffortlessSteven
committed
658460a
fix(parser): keep lexer checkpoints read-compatible
EffortlessSteven
committed
307d623
merge(parser): carry authoritative state into live restarts
EffortlessSteven
committed
21355d7

Commits on Aug 15, 2026

Merge remote-tracking branch 'origin/agent/6704-live-lexer-checkpoints' into agent/6982-stored-lexer-checkpoints
EffortlessSteven
committed
dd1afd0