Repository navigation

[HELD BY DECISION] Delete the v2.* direct-call argument-type exemption (cut B): the 19 refusals it reveals are two compiler seams, not source debt - #8924

Closed

briansrls wants to merge 8 commits into

mainfrom

session/proud-ant-819-cut-b

Closed

[HELD BY DECISION] Delete the v2.* direct-call argument-type exemption (cut B): the 19 refusals it reveals are two compiler seams, not source debt#8924
briansrls wants to merge 8 commits into
mainfrom
session/proud-ant-819-cut-b

Commits on Aug 22, 2026
- Delete the v2.* direct-call argument-type exemption (cut B)
  
  Brian Searls
  and
  claude
  committed
  a06e25e
- Merge origin/main into cut B (abf7194e2b)
  Brian Searls
  committed
  61b43d0
- Two compiler seams, reproduced minimally: the 19 refusals the deletion reveals are not source debt
  
  Brian Searls
  and
  claude
  committed
  d481e2d
- Seam B is two relations, not one — and one of this probe's clean cells may be a false accept
  
  Brian Searls
  and
  claude
  committed
  7fafbbb
- The false-accept candidate is CLOSED: the relation is directional, not undistinguishing
  
  Brian Searls
  and
  claude
  committed
  32194ef
- The T?/Optional<T> asymmetry is INCIDENTAL, and that makes it a §3 finding
  
  Brian Searls
  and
  claude
  committed
  91229ce
- PR body: record the regen receipt CI supplied, and the 19's stability across a main absorption
  
  Brian Searls
  and
  claude
  committed
  61be8bb
- Untrack .pr_body_cutb.md — the instrument does not land
  
  Brian Searls
  and
  claude
  committed
  1d0fcb7