Repository navigation

conformance: the should-proxy answered its own predicates -- 2806 assertion sites asserted nothing (#655) - #660

Merged

tannevaled merged 3 commits into

mainfrom

Sep 25, 2026

Merged

conformance: the should-proxy answered its own predicates -- 2806 assertion sites asserted nothing (#655)#660
tannevaled merged 3 commits into
mainfrom
wave31/shim

Commits on Sep 25, 2026
- conformance: make the should-proxy stop answering its own predicates (#655)
  
  tannevaled
  and
  claude
  committed
  debb7d7
- conformance: forward `!~`, and lower FLOOR to 22136 -- measured, not regressed
  
  tannevaled
  and
  claude
  committed
  cd303cb
- conformance: set FLOOR from the lane that enforces it -- 22170, not 22136
  
  tannevaled
  and
  claude
  committed
  95f08cc