The fix — two independent implementations of the same spec
If both agree on 7/7 ✓, the verdict is empirical.
Different language, different runtime, same spec read independently. Disagreement is the spec's pressure point.
TS verifier (existing)
— the current canonical —
FILE
src/b32_sama_v2_verify.ts
RUNTIME
Bun (TypeScript)
PRIMITIVES
Bun.file · Glob · readdir
SURFACE
/sama/v2/verify (live)
VERDICT
7 / 7 ✓
cross-verify.sh
— the empirical gate —
INPUT
both verdicts
CHECK
byte-for-byte equality
IF AGREE
→ empirical 7/7 ✓
IF DISAGREE
→ §6 pressure point
resolve via spec prose
EXIT
0 = agree · 1 = disagree
Shell verifier (NEW)
— the independent oracle —
FILE
tools/sama-cli/sama check
RUNTIME
POSIX shell (bash)
PRIMITIVES
find · grep · awk · wc
SURFACE
CLI + cross-verify hook
VERDICT
7 / 7 ✓
Falsifiable claim — the §6 evolution mechanism in action:
"Two independent implementations of the SAMA v2 §4 spec, in different languages on different runtimes, will produce
identical verdicts against any spec-conforming codebase. If they disagree on this repo's 7/7 ✓, one is wrong — and per §0
the disagreement is resolvable from the spec prose alone. Disagreements ARE the spec's pressure points."
https://tdd.md