Repository navigation

Refuse an ambiguous bare-name read in the v1 evaluator: the wall, its fixture-authored RED, and the variant-arm tier - #11166

Merged

gunbai-bot[bot] merged 18 commits into

mainfrom

session/witty-moth-510-wall2

Sep 14, 2026

Merged

Refuse an ambiguous bare-name read in the v1 evaluator: the wall, its fixture-authored RED, and the variant-arm tier#11166
gunbai-bot[bot] merged 18 commits into
mainfrom
session/witty-moth-510-wall2

Commits on Sep 12, 2026
- WIP: bare-name ambiguity wall -- third resolution tier and the refusal
  
  Brian Searls
  and
  claude
  committed
  23263e2
- Give the fixture instrument a claim scope, so the wall's RED is authorable
  
  Brian Searls
  and
  claude
  committed
  fd0e916
- Use the ungated scope builder: claim_scope_for_without_memos is cfg(test)
  
  Brian Searls
  and
  claude
  committed
  11c4112
- Put each fixture source literal on its own declaration line
  
  Brian Searls
  and
  claude
  committed
  c8322f3
- Split the wall out: land the claim-scope instrument and its controls first
  
  Brian Searls
  and
  claude
  committed
  7842dca
- Stop a harness budget refusal from wearing a scope refusal's name
  
  Brian Searls
  and
  claude
  committed
  e6b56b7
- Let a fixture subject build its scope without taking a floor memo slot
  
  Brian Searls
  and
  claude
  committed
  ba83aad
- Carry the compile diagnostics so a fixture can say WHY it failed
  
  Brian Searls
  and
  claude
  committed
  0fdf995
- Give the wall a fixture geometry that authors its RED -- and the fixture finds a tier defect
  
  Brian Searls
  and
  claude
  committed
  013f1ba
Commits on Sep 13, 2026
- Merge main (d7b7ab96c): the wall's corpus population is now qualified
  
  Brian Searls
  and
  claude
  committed
  b6cb886
- Merge main (a6ae1af643c): the instrument landed, so its repairs arrive here
  
  Brian Searls
  and
  claude
  committed
  3562677
- Pin the subject control to its cause: claim_scope_was_refused no longer exists
  
  Brian Searls
  and
  claude
  committed
  f1860b6
- Project the diagnostics the .dag type declares: a declared field left NULL
  
  Brian Searls
  and
  claude
  committed
  5dbfbec
- Dissolve the read census the wall obsoletes, and withdraw the claim that they agree
  
  Brian Searls
  and
  claude
  committed
  a9285c4
- Restore two doc blocks my dedup swallowed, and delete the binding the census took with it
  
  Brian Searls
  and
  claude
  committed
  572da55
- Finish the dissolution: the census producer, its permanently-green assert, and its last citation
  
  Brian Searls
  and
  claude
  committed
  32e7fb7
Commits on Sep 14, 2026
- Fire the discriminating RED, fingerprint the new tier, and retire the contradicting annotation
  
  Brian Searls
  and
  claude
  committed
  8798f05
- One row projection for three callers, and a receipt that names its instrument instead of quoting it
  
  Brian Searls
  and
  claude
  committed
  0b8761c

Commits

Commits on Sep 12, 2026

Commits on Sep 13, 2026

Commits on Sep 14, 2026