Repository navigation

v2: refuse references to test code at name resolution - #11580

Merged

briansrls merged 91 commits into

mainfrom

v2-test-ref-refusal

Sep 20, 2026

Commits on Sep 18, 2026
- v2: carry the authored test marker on a DESIGN 4c channel keyed by occurrence and member
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cf0ea96
- WIP v2: refuse references to test code at name resolution
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ff3a17b
- Measure the 4c equality at the lowering interface with one parse, inside the new-witness eval-step budget
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  da171d2
- Drop the unconsumed occurrence key and empty-channel constructor; count via std.types list_length
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7fea661
- WIP wall claims: expression-bodied fixtures, one language model per claim, multi-root door only
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7e48502
- Merge remote-tracking branch 'origin/session/snappy-koi-46' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  a42a3cc
- Wall claims over supplied normalized roots, with one inhabitance claim for the route
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e535599
- Establish the dag canonical-symbol set once instead of rewalking the grammar per atom.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c8dc17d
- Prove the carried-symbol map matches the node-fold oracle and that a too-wide map still refuses.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  150eb33
- Merge remote-tracking branch 'origin/session/snappy-moth-388' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  da08ee6
- Collapse the dag-local lex token-class fold into std and drop unused membership wrappers.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  eb3c052
- Wall inhabitance over a one-member module
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e5e9c5b
- Build the canonical-symbol map in resolution context, not in dag_language_model.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b8f8cbe
- Enroll a tokenize/parse probe that never enters resolution.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  bf46be5
- Merge remote-tracking branch 'origin/session/snappy-moth-388' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  8bfb269
- Share the wall's real front-end pass warm; split inhabitance into root and channel claims
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6a938b3
- Serve body_lowering_normalized_module warm and release the arrow-root claim's cost-debt row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1c277dc
- Derive resolve canonical symbols from the language model that was passed.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  739644c
- Supply the empty marker channel in #11599's one-member probe fixture
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a018772
- Derive the grammar symbol map from grammar_to_node and restore linear lex membership.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  23daa3e
- Carry canonical symbols on the language model resolve actually uses.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e96639c
- Delete unused lex/canonical wrappers left by the resolve cutover.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a81faad
- Warm-share the portable dag canonical-symbol map across floor claims.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c1e81e6
- Merge remote-tracking branch 'origin/session/snappy-moth-388' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  435268d
- Fix the merged warm roster's separator
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5b771c1
- Wall: item-scoped rule, the qualified-path door checked, precedence and default shapes proven
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8024c04
- lookup_chain reports which scope answered; drop the second walk
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9ef6496
- Use grammar_symbol_list_put for dag canonical sugar and binding symbols.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5d2eebe
- Merge remote-tracking branch 'origin/session/snappy-moth-388' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  9cabd86
- The marker borrows the 4c channel's shape, not its non-interference rule: resolution consumes it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  549e7a5
- Merge remote-tracking branch 'origin/session/snappy-koi-46' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  c48d35d
- Establish the dag canonical-symbol set once instead of rewalking the grammar per atom.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  1c53f1c
- Prove the carried-symbol map matches the node-fold oracle and that a too-wide map still refuses.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  7a9b55f
- Collapse the dag-local lex token-class fold into std and drop unused membership wrappers.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  fed71ba
- normalized_tree: name the marker channel by its home, not as a 4c annotation
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d6a4d71
- Build the canonical-symbol map in resolution context, not in dag_language_model.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  99af043
- Enroll a tokenize/parse probe that never enters resolution.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9949a1a
- Derive resolve canonical symbols from the language model that was passed.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  abc03c9
- Merge remote-tracking branch 'origin/main' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  1790372
- Derive the grammar symbol map from grammar_to_node and restore linear lex membership.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  aae97d4
- Carry canonical symbols on the language model resolve actually uses.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a5de5ce
- Delete unused lex/canonical wrappers left by the resolve cutover.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4c83478
- Warm-share the portable dag canonical-symbol map across floor claims.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  3e5da21
- Use grammar_symbol_list_put for dag canonical sugar and binding symbols.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4bbf159
- Stop copying canonical_symbols onto ResolutionContext.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  38e5b59
- Make grammar membership a lookup of the carried-symbol map.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f14e9b6
- Consume v2.std.algebra length and contains; name both producers of test-ness and declare the convergence frontier
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c0c73a1
- Merge remote-tracking branch 'origin/session/snappy-koi-46' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  428d061
- Merge remote-tracking branch 'origin/session/snappy-moth-388' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  56fa942
- Take #11599's grammar.dag as-is: the rebased merge had doubled its additions
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8881a51
- Name all three producers of test-ness, give each frontier a trigger, retract realization_attempt's stale reason
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9530e80
- Merge remote-tracking branch 'origin/session/snappy-koi-46' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  6557746
- Establish the dag canonical-symbol set once instead of rewalking the grammar per atom.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c7cd02b
- Prove the carried-symbol map matches the node-fold oracle and that a too-wide map still refuses.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d82a2ce
- Collapse the dag-local lex token-class fold into std and drop unused membership wrappers.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9b39e99
- Build the canonical-symbol map in resolution context, not in dag_language_model.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  da428b5
- Enroll a tokenize/parse probe that never enters resolution.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9d920cf
- Derive resolve canonical symbols from the language model that was passed.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d3bd26c
- Derive the grammar symbol map from grammar_to_node and restore linear lex membership.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e3facc8
- Carry canonical symbols on the language model resolve actually uses.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  42892e5
- Delete unused lex/canonical wrappers left by the resolve cutover.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  166b553
- Warm-share the portable dag canonical-symbol map across floor claims.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  0ddeb3b
- Use grammar_symbol_list_put for dag canonical sugar and binding symbols.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  031983e
- Stop copying canonical_symbols onto ResolutionContext.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  1a77ee3
- Make grammar membership a lookup of the carried-symbol map.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  eaf8876
- Supply the wall's Namespace fields in the weather float-literal probe fixture
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5584abc
- Merge remote-tracking branch 'origin/main' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  0b2c356
- Merge remote-tracking branch 'origin/session/snappy-moth-388' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  506bebc
- Delete realization_attempt's line-rewriting marker capture: its dissolve-on is met by this channel
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  afdcbb8
- Merge remote-tracking branch 'origin/session/snappy-koi-46' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  a354783
- Wall: a red and a control for the imported-binding door
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2e8369e
- Merge remote-tracking branch 'origin/main' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  e4d2b3b
Commits on Sep 19, 2026
- Adopt #11582's qualified_head_bound_on_chain onto lookup_chain's ScopeBinding; check test code before the qualified target's shape
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cbc295b
- Merge remote-tracking branch 'origin/main' into session/snappy-koi-46
  gunbc-ci-auto-heal
  committed
  8b9f6bb
- Serve the projection control's parse warm: it measured just over the new-witness step budget after main moved
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0bcb53e
- Merge remote-tracking branch 'origin/session/snappy-koi-46' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  2ac90bc
- floor_naming_hygiene: retract the stale grammar obstacle and point the line scan at its real trigger
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9f390cb
- Merge remote-tracking branch 'origin/session/snappy-koi-46' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  0a52ba5
- Merge origin/main into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  c755688
- Drop the unread ResolutionContext.canonical_symbols copy and repair the merge-mangled warm-share notes (review 68494)
  gunbc-ci-auto-heal
  committed
  c0c8993
Commits on Sep 20, 2026
- Merge origin/main into v2-test-ref-refusal after #11573 landed the carrier
  gunbc-ci-auto-heal
  committed
  d20ad10
- Say which doors reach resolve_atom_bound and why the qualified door refuses inline (review 68833)
  gunbc-ci-auto-heal
  committed
  619977b
- Merge remote-tracking branch 'origin/main' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  cfd6c81
- Merge remote-tracking branch 'origin/main' into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  a1709bb
- Wall: measure the import-shadow case review 69014 named, and record that admission closes it
  gunbc-ci-auto-heal
  committed
  dfb9b9b
- Wall fixtures: the grafted module body carries its producer marker first
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  973115b
- Wall pairing claim: the inhabitance source covers every fixture builder
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2f91f3b
- Merge origin/main into v2-test-ref-refusal
  gunbc-ci-auto-heal
  committed
  bf484ea
- Record the census that makes the shadow-lookup refusal sound: nothing can hand resolution an origin map admission never saw
  gunbc-ci-auto-heal
  committed
  d3f4dad
- Delete the last live test-fn reference the wall refuses, and its ledger rows
  gunbc-ci-auto-heal
  committed
  4f18f08
- Delete the three unmeasured warm rows, and join the qualified fixture to its producer
  gunbc-ci-auto-heal
  committed
  9cc054b

Commits

Commits on Sep 18, 2026

Commits on Sep 19, 2026

Commits on Sep 20, 2026