sylpheed-port found an asserting step in their suite that could not fail: a
swallowed the verdict. Tested the same thing here and both of mine had
it. check_refuted.py found a PLANTED unmarked revival, printed it, and exited 0.
impossibility_scope.py printed 'CONTROL FAILED' and exited 0 -- in a tool written
today, one message after they described the shape.
Now: unmarked assertions exit 1; a failed control exits 2. Suppressed mentions do
not fail, since they are unverified rather than wrong and failing on them would put
the clean state out of reach.
Controlled in both directions -- clean 0, planted revival 1, control passing 0,
control deliberately broken 2.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Wuu56cE8vJGTBtn1ppsk8v
96c1fa497d