Repository navigation

Two compiler seams behind the v2.* argument-type exemption, reproduced minimally (audit-queue rows 29–30) - #8939

Merged

briansrls merged 9 commits into

mainfrom

session/proud-ant-819-cutb-docs

Aug 23, 2026

Merged

Two compiler seams behind the v2.* argument-type exemption, reproduced minimally (audit-queue rows 29–30)#8939
briansrls merged 9 commits into
mainfrom
session/proud-ant-819-cutb-docs

Commits on Aug 22, 2026
- Two compiler seams behind the v2.* argument-type exemption, reproduced minimally (audit-queue rows 28-29)
  
  Brian Searls
  and
  claude
  committed
  e040033
- Fix a citation I inherited without resolving, and cite the roster rule that makes the residue real
  
  Brian Searls
  and
  claude
  committed
  1bae0f1
- Row 29: record the seam A decline as a corrected premise, not a reversal, with attribution
  
  Brian Searls
  and
  claude
  committed
  de29ab6
- Row 28: mark the conditional rung drop DORMANT — cut B closed, so no drop is in force
  
  Brian Searls
  and
  claude
  committed
  5e4d896
- Resolve against main: renumber to rows 29-30 behind #8907's row 28, and correct the enrolment home it supersedes
  
  Brian Searls
  and
  claude
  committed
  8803b5f
- Row 29: #8800 has merged and the cited-symbol gate is live, so the conditional resolves to its no-drop arm
  
  Brian Searls
  and
  claude
  committed
  4dfe4ec
- Row 30: bind the 19 to its runs — a count over a moving corpus is not a standing fact
  
  Brian Searls
  and
  claude
  committed
  91f7dbb
Commits on Aug 23, 2026
- Row 30: retract "nothing in the repository counts them" — an absence claim the row never established
  
  Brian Searls
  and
  claude
  committed
  f040a81
- Row 30: price the reserved census by its two missing joins, not by the bounded grep
  Brian Searls
  committed
  e3b984d