The Decoder generalised my empty-band case into the rule I now keep: a control
that only compares two things cannot tell you the comparison is happening. An
empty band list, a blank frame, an empty register -- each makes a checker
agreeable rather than wrong, and agreeable is indistinguishable from correct in a
log.
Swept my tools against inputs containing nothing. audit-kinds exited 0 on a tree
with no authored/*.json, having printed '0 kind label(s)' and reported clean.
verify-transcode-fidelity would call every transcode faithful with no videos in
the manifest, having compared none. check-claims exited 1 from a FileNotFoundError
inside the withdrawal hook -- which in that script's own vocabulary means 'a
refuted claim is still being asserted', so a wrong directory got diagnosed as a
dirty corpus. A real failure with a fabricated reason, the third instance of that
family after my control anchoring at the wrong document.
All three now exit 2, check-claims via a preflight that names the roots it needs.
Both self-tests gained the liveness case driven as subprocesses: audit-kinds
--selftest runs itself in an empty directory and requires 2, and check-claims
--control is now six cases -- clean 0, unmarked 1, marked 0, outside-root 0, empty
register 2, nothing to scan 2.
What makes this worth an iteration rather than tidying: none of these tools was
ever wrong on real input. What none of them could do was tell 'I checked and it
was fine' from 'I checked nothing', and every green line I have quoted was the
first of those only because the directory happened to be right.
Also recorded: their ring_row.py used 'main_menu_item(ring_row(f)) is not None' as
a main-menu test, and a TITLE frame passes it -- the gutter carries a bright
cluster at y=243 inside tolerance of row 0. No result they sent me is affected,
for a structural reason rather than a lucky one: (B) from a submenu goes to the
menu, never the title, so the weak test was never shown the frame that breaks it.
I have not re-derived their focus results and am not treating this as a reason to;
what I have is their statement of the exposure and the structural argument,
recorded as that rather than as verification.
Every asserting check passes, 14 of them.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01N7FiFFFwbvG2uxdcEh8HyF
3a048de536