Repository navigation

T-7 follow-on: eliminate parse_expr measure via ParseTable memoization - #3661

Merged

briansrls merged 91 commits into

mainfrom

session/bold-bee-345

May 25, 2026

Merged

T-7 follow-on: eliminate parse_expr measure via ParseTable memoization#3661
briansrls merged 91 commits into
mainfrom
session/bold-bee-345

Commits on May 25, 2026
- WIP: wartime
  briansrls
  committed
  2c201b6
- T-6/T-7/T-34: v4 lexer walk, PEG parse walk, Wave-1 evaluator hooks
  
  briansrls
  and
  claude
  committed
  853b1e8
- WIP: wartime
  briansrls
  committed
  3eb0e0e
- Address codex review: fix mutual left-recursion detection and parse_repeat progress guard
  
  briansrls
  and
  claude
  committed
  2f4f2f1
- Address second codex review: zero-width walk guard, emitted wiring, disposition tags
  
  briansrls
  and
  claude
  committed
  0f50efe
- Fix RC1: replace Empty/Cons pattern-matching and self-recursive char dispatch with fold combinators
  
  briansrls
  and
  claude
  committed
  5283610
- WIP: wartime
  briansrls
  committed
  99acbc2
- Fix remaining RC1/RC2-easy: list_skip stdlib primitive; lex_match_prefix via is_prefix_of; parse_expr Terminal via fold peek
  
  briansrls
  and
  claude
  committed
  9041384
- Address cursor RC: parse_e1_syntax_error replaces walk_not_realized fallback; char_in_class Practice 10 tag
  
  briansrls
  and
  claude
  committed
  a73201e
- Fix is_prefix_of named-arg labels in lex_match_prefix: xs:/ys: → prefix:/xs:
  
  briansrls
  and
  claude
  committed
  ba3007f
- Fix type errors: [] → Empty for FreeMonoid<T> initial values in fold accumulators
  
  briansrls
  and
  claude
  committed
  ddc20bb
- WIP: wartime
  briansrls
  committed
  85deaf5
- Fix codex RC: Practice 4 dissolution tags on CharResult/TokenPeek; expr_is_nullable for nullable left-corner soundness
  
  briansrls
  and
  claude
  committed
  4eecc7f
- Fix remaining [] literal in parse_skip_to_sync false-branch
  
  briansrls
  and
  claude
  committed
  3813c96
- Fix review blockers: list_skip negative-n guard + grammar production-reference closure
  
  briansrls
  and
  claude
  committed
  32d3433
- Fix ParseSyncState.result: List<Token> → FreeMonoid<Token> for fold_list inference
  
  briansrls
  and
  claude
  committed
  8b3969b
- Fix tok.class inference: extract parse_sync_step helper with explicit tok:Token
  
  briansrls
  and
  claude
  committed
  c09ec7d
- WIP: wartime
  briansrls
  committed
  b09de94
- Fix p.expression/p.name type inference in grammar fold lambdas
  
  briansrls
  and
  claude
  committed
  5d3165a
- Fix Wave-1 evaluator hooks: Accepted with fabricated RuntimeUnit → Rejected (P3)
  
  briansrls
  and
  claude
  committed
  d6934a6
- Fix P5: tag sync_tokens/recovery path as staged (T-8), correct header claims
  
  briansrls
  and
  claude
  committed
  b5cb02e
- Add Practice 10 disposition tags to lex_repeat_pattern and lex_match_pattern
  
  briansrls
  and
  claude
  committed
  41e7f79
- WIP: wartime
  briansrls
  committed
  c7b20a6
- Add Practice 10 tags to GrammarExpr walkers; validate root.start in grammar_has_undefined_nonterminals
  
  briansrls
  and
  claude
  committed
  4052785
- Fix dead GrammarProductionMissing arm: wrong diagnostic after root.start validation
  
  briansrls
  and
  claude
  committed
  1693683
- Complete sync_tokens rollout to all language models; fix transfer Suspend to reject (P3/T-34)
  
  briansrls
  and
  claude
  committed
  d53c955
- WIP: wartime
  briansrls
  committed
  e993ff5
- Fix sync_tokens rollout: use grammar_empty_sync_tokens() in swift/typescript/wasm
  
  briansrls
  and
  claude
  committed
  605bd60
- WIP: wartime
  briansrls
  committed
  bff7ee3
- T-7 parse: separate production identity from parse-capture; add duplicate production validation
  
  briansrls
  and
  claude
  committed
  4f5644b
- Fix parse_skip_to_sync silent token-drain; add T-8 terminal payload bridge
  
  briansrls
  and
  claude
  committed
  be8ab82
- Fix Nonterminal arm: wrap parse_expr result with production.emitted identity
  
  briansrls
  and
  claude
  committed
  cb7c1f8
- WIP: wartime
  briansrls
  committed
  25c111f
- WIP: wartime
  briansrls
  committed
  5454661
- fix(parse): fuel-based termination proof for Nonterminal arms; fold Repeat arm eliminates parse_repeat SCC
  
  briansrls
  and
  claude
  committed
  8a4c494
- fix(test/claim/parse): fix Token.start/end Int type; add dangling-nonterminal claim
  
  briansrls
  and
  claude
  committed
  6dd64c3
- fix(parse/algebra): P3+P2 tracked bridges for list_skip and grammar_root_to_node
  
  briansrls
  and
  claude
  committed
  0e1df31
- WIP: wartime
  briansrls
  committed
  a7fb16a
- WIP: wartime
  briansrls
  committed
  9fd8d2a
- fix(tokenize): fuel-based termination proof for lex_match_pattern/lex_repeat_pattern SCC
  
  briansrls
  and
  claude
  committed
  83259c8
- WIP: wartime
  briansrls
  committed
  8160f4c
- WIP: wartime
  briansrls
  committed
  765e63d
- WIP: wartime
  briansrls
  committed
  3408e62
- WIP: wartime
  briansrls
  committed
  f3efe34
- fix(parse): extract expr_direct_left_corner_step to resolve Coproduct/Container type mismatch
  
  briansrls
  and
  claude
  committed
  7999716
- Merge remote-tracking branch 'origin/main' into session/neat-seal-750
  briansrls
  committed
  dcfc068
- WIP: wartime
  briansrls
  committed
  7d4de99
- fix(parse): rename left/right to lhs/rhs in expr_direct_left_corner_step to avoid named-param collision
  briansrls
  committed
  e4cc311
- fix(parse/algebra): address openai-pro review findings — list_skip and parse_expr
  
  briansrls
  and
  claude
  committed
  0f8ff71
- Merge remote-tracking branch 'origin/session/neat-seal-750' into session/neat-seal-750
  briansrls
  committed
  669e80d
- Merge main (7eb5264e9 B1-CANON content_hash) into session/neat-seal-750
  briansrls
  committed
  26757d8
- fix(parse): inline Sequence arm — put nullable-conditional inside list_append right: arg
  briansrls
  committed
  f027c04
- fix(parse): convert if/else to match in expr_direct_left_corner_step
  
  briansrls
  and
  claude
  committed
  3195052
- merge: resolve conflict — adopt operator's inlined Sequence arm fix
  
  briansrls
  and
  claude
  committed
  d439767
- fix(parse): use grammar_empty_corner_list() to anchor List<Symbol> in if/else else-branch
  briansrls
  committed
  02e15ab
- fix(dag): use wave1_canonical_symbols in dag_language_model_wave1_modeled
  
  briansrls
  and
  claude
  committed
  02f5a01
- WIP: wartime
  briansrls
  committed
  fc41e2c
- fix(eval): thread RuntimeValue through transfer via runtime_value_resolved_type
  
  briansrls
  and
  claude
  committed
  698dc1a
- fix(parse): grammar_fuel = production_count + token_count for correct parse bound
  
  briansrls
  and
  claude
  committed
  5158489
- chore(parse): remove unused parse_walk_not_realized dead code
  
  briansrls
  and
  claude
  committed
  1048764
- fix(parse): restore NodeFold and fold_node to v4.std.node import
  
  briansrls
  and
  claude
  committed
  aa2c52a
- docs(eval): add 🟡 gate to v4_eval_wave1_transfer with dissolve-on condition
  
  briansrls
  and
  claude
  committed
  7e5d3fd
- WIP: wartime
  briansrls
  committed
  1a309d3
- fix(algebra): list_skip n<0 returns xs (identity) not Empty; update text.dag header
  
  briansrls
  and
  claude
  committed
  ad53b95
- chore(algebra): delete orphaned list_skip and ListSkipState
  
  briansrls
  and
  claude
  committed
  e6097d7
- fix(algebra): add list_tail<T> — move FreeMonoid head-pop to stdlib
  
  briansrls
  and
  claude
  committed
  82fd874
- WIP: wartime
  briansrls
  committed
  2e1a517
- WIP: Fuel rework
  briansrls
  committed
  23adcb6
- WIP: Fuel rework
  briansrls
  committed
  c82c92f
- fix(parse): bind grammar_root_to_node P2-boundary gate to T-8
  
  briansrls
  and
  claude
  committed
  17a391f
- merge: integrate main (d702a606d) into session/bold-bee-345
  briansrls
  committed
  4b634dc
- Merge remote-tracking branch 'origin/main' into session/neat-seal-750
  briansrls
  committed
  d2fdb30
- fix(parse): replace GrammarDupCheckState with coproduct; add Practice 10 tags
  
  briansrls
  and
  claude
  committed
  5d8a114
- fix(v4/lex): block-comment star lookahead + drop unconsumed nat_monus
  
  briansrls
  and
  cursoragent
  committed
  acbe35c
- WIP: Fuel rework
  briansrls
  committed
  eecfedd
- fix(tokenize): try-close-first DelimitedPattern; P3/P5 list_tail gate; P2 wave1_modeled delegation
  
  briansrls
  and
  claude
  committed
  27927a6
- merge: integrate PR #3655 (session/neat-seal-750) into fuel rework branch
  
  briansrls
  and
  cursoragent
  committed
  1eecce6
- revert(v4/lex): drop ConsumeCharUnlessFollowedByPattern LexPattern variant
  
  briansrls
  and
  cursoragent
  committed
  f8aad2e
- WIP: Fuel rework
  briansrls
  committed
  d0b1319
- WIP: Fuel rework
  briansrls
  committed
  277b9fd
- WIP: Fuel rework
  briansrls
  committed
  0bd6f55
- WIP: Fuel rework
  briansrls
  committed
  73bc8b6
- WIP: Fuel rework
  briansrls
  committed
  efae99e
- WIP: Fuel rework
  briansrls
  committed
  aeecb2d
- fix: add P5(b) receipt for parse-table smoke test
  
  briansrls
  and
  cursoragent
  committed
  5cad4bf
- fix: SG-0 pairing (c) dispatch wording for CI discipline gate
  
  briansrls
  and
  cursoragent
  committed
  abe9c83
- fix: parse_production uses root-owned production by name only
  
  briansrls
  and
  cursoragent
  committed
  76239f0
- WIP: Fuel rework
  briansrls
  committed
  b455e6c
- WIP: Fuel rework
  briansrls
  committed
  b7e423b
- WIP: Fuel rework
  briansrls
  committed
  26299e5
- Merge remote-tracking branch 'origin/main' into session/bold-bee-345
  briansrls
  committed
  b3f3802

Commits

Commits on May 25, 2026