Repository navigation

v2 native fold: stop per-module corpus rebuilds and per-token parse/lex rescans (R1, C1–C4) - #11401

Merged

briansrls merged 15 commits into

mainfrom

session/fierce-seal-607

Sep 15, 2026

Merged

v2 native fold: stop per-module corpus rebuilds and per-token parse/lex rescans (R1, C1–C4)#11401
briansrls merged 15 commits into
mainfrom
session/fierce-seal-607

Commits on Sep 14, 2026
- R1: build the resolution context once per native context, not per module
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fbf06b0
- C1: parse subject digests hash one atom per integer and lexeme, not one step per unit
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bebdd53
- C1b: move the Int digest to v2.std.integer, intern lexemes, keep the seed-read field
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a99fb82
- C2: a parse memo hit replays its own frame, not the whole stored span index
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1d2425f
- lambda_argument_typing_gate: the parse site left with its deleted caller
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d06c65a
- C2 validation: abandoned-path witness, and a correction to C2's evidence claim
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a46cf13
- C3: a prepared choice routes a token class by table, decided once per grammar
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2a4e2cd
- C4: the lexer tries only the rules that can start on the head character
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  47b1050
- C5: a named-child lookup is total; find_named_child is its projection
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e5448f4
Commits on Sep 15, 2026
- CI floor: three new witnesses within the step budget; carrier floor corrected
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  18d6aa6
- B1: an ambiguous choice skips a left branch that cannot start on the next token
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  096299b
- Revert B1 out of #11401: it is the measured baseline for PREPARED-CHOICE-0, not part of this PR
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9c81eba
- list_membership_operation_gap: stop transcribing totals the rows already carry
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  477a3f3
- CI floor on 477a3f35: stop reactivating a withheld witness; lexer witness under budget
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  66edeab
- Merge origin/main into session/fierce-seal-607
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bcbecd1

Commits

Commits on Sep 14, 2026

Commits on Sep 15, 2026