The empirical chain — every claim has a second opinion, except one
Every claim has an oracle. Except the verifier's.
/sama/v2/verify reports 7/7 ✓ — and the only oracle that confirms it is the program that emitted it.
EMPIRICAL CLAIM
INDEPENDENT ORACLE
VERDICT
Source code correctness
CI tests (independent of impl)
✓ has oracle
§5 workingSetFit (n=8 cross-repo)
external repos, pinned SHAs
✓ has oracle
URL refactor wall-clock cost
timestamps in git history
✓ has oracle
Blog post claims
/goal contract + commit history
✓ has oracle
/goal contract authenticity
PR body + goals/ verbatim
✓ has oracle
Deploy actually shipped
curl on live URL
✓ has oracle
Sitemap correctness
registry comparison
✓ has oracle
Frontmatter parsing
sibling test fixtures
✓ has oracle
/sama/v2/verify says "7/7 ✓"
— only the program itself —
✗ NO ORACLE
The self-violation:
§0 says "the verifier is a deterministic program; that claim is only auditable if a human can reproduce it from the data."
Yes — by running the same program. That's reproducibility, not independent validation. A buggy verifier that's biased toward
passing the codebase it was written against would still emit 7/7 ✓ deterministically. Forty PRs preaching auditability — and
the gate at the heart of every merge has had exactly one implementation reading it.
https://tdd.md