syntaxai/tdd.md · main · public / images / verifier-two-implementations.svg
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1200 700" width="1200" height="700">
<rect width="1200" height="700" fill="#0a0a0a"/>
<!-- Header -->
<g font-family="ui-monospace, 'SF Mono', 'JetBrains Mono', Menlo, Consolas, monospace">
<text x="80" y="46" font-size="20" font-weight="600" fill="#909090">The fix — two independent implementations of the same spec</text>
<text x="80" y="92" font-size="32" font-weight="700" fill="#e8e8e8">If both agree on 7/7 ✓, the verdict is empirical.</text>
<text x="80" y="120" font-size="14" fill="#7a7a7a">Different language, different runtime, same spec read independently. Disagreement is the spec's pressure point.</text>
</g>
<!-- Three columns -->
<g font-family="ui-monospace, 'SF Mono', 'JetBrains Mono', Menlo, Consolas, monospace">
<!-- TS verifier column (existing) -->
<rect x="60" y="156" width="340" height="380" fill="#1a1a1a" stroke="#4a8a8a" stroke-width="1.5" rx="6"/>
<text x="80" y="186" font-size="18" font-weight="600" fill="#4a8a8a">TS verifier (existing)</text>
<text x="80" y="210" font-size="13" fill="#8a8a8a">— the current canonical —</text>
<text x="80" y="252" font-size="13" fill="#909090" letter-spacing="1">FILE</text>
<text x="80" y="276" font-size="13" fill="#c8c8c8">src/b32_sama_v2_verify.ts</text>
<text x="80" y="312" font-size="13" fill="#909090" letter-spacing="1">RUNTIME</text>
<text x="80" y="336" font-size="13" fill="#c8c8c8">Bun (TypeScript)</text>
<text x="80" y="372" font-size="13" fill="#909090" letter-spacing="1">PRIMITIVES</text>
<text x="80" y="396" font-size="13" fill="#c8c8c8">Bun.file · Glob · readdir</text>
<text x="80" y="432" font-size="13" fill="#909090" letter-spacing="1">SURFACE</text>
<text x="80" y="456" font-size="13" fill="#c8c8c8">/sama/v2/verify (live)</text>
<text x="80" y="492" font-size="13" fill="#909090" letter-spacing="1">VERDICT</text>
<text x="80" y="516" font-size="20" fill="#4a8a8a" font-weight="700">7 / 7 ✓</text>
<!-- Agreement column (middle) -->
<rect x="430" y="156" width="340" height="380" fill="#1a1a1a" stroke="#c89a3a" stroke-width="2" rx="6"/>
<text x="450" y="186" font-size="18" font-weight="600" fill="#c89a3a">cross-verify.sh</text>
<text x="450" y="210" font-size="13" fill="#8a8a8a">— the empirical gate —</text>
<text x="450" y="252" font-size="13" fill="#909090" letter-spacing="1">INPUT</text>
<text x="450" y="276" font-size="13" fill="#c8c8c8">both verdicts</text>
<text x="450" y="312" font-size="13" fill="#909090" letter-spacing="1">CHECK</text>
<text x="450" y="336" font-size="13" fill="#c8c8c8">byte-for-byte equality</text>
<text x="450" y="372" font-size="13" fill="#909090" letter-spacing="1">IF AGREE</text>
<text x="450" y="396" font-size="13" fill="#7ec77e">→ empirical 7/7 ✓</text>
<text x="450" y="432" font-size="13" fill="#909090" letter-spacing="1">IF DISAGREE</text>
<text x="450" y="456" font-size="13" fill="#e8c89a">→ §6 pressure point</text>
<text x="450" y="476" font-size="12" fill="#8a8a8a">resolve via spec prose</text>
<text x="450" y="510" font-size="13" fill="#909090" letter-spacing="1">EXIT</text>
<text x="450" y="534" font-size="13" fill="#c8c8c8">0 = agree · 1 = disagree</text>
<!-- Shell verifier column (proposed) -->
<rect x="800" y="156" width="340" height="380" fill="#1a1a1a" stroke="#4a8a8a" stroke-width="1.5" rx="6"/>
<text x="820" y="186" font-size="18" font-weight="600" fill="#4a8a8a">Shell verifier (NEW)</text>
<text x="820" y="210" font-size="13" fill="#8a8a8a">— the independent oracle —</text>
<text x="820" y="252" font-size="13" fill="#909090" letter-spacing="1">FILE</text>
<text x="820" y="276" font-size="13" fill="#c8c8c8">tools/sama-cli/sama check</text>
<text x="820" y="312" font-size="13" fill="#909090" letter-spacing="1">RUNTIME</text>
<text x="820" y="336" font-size="13" fill="#c8c8c8">POSIX shell (bash)</text>
<text x="820" y="372" font-size="13" fill="#909090" letter-spacing="1">PRIMITIVES</text>
<text x="820" y="396" font-size="13" fill="#c8c8c8">find · grep · awk · wc</text>
<text x="820" y="432" font-size="13" fill="#909090" letter-spacing="1">SURFACE</text>
<text x="820" y="456" font-size="13" fill="#c8c8c8">CLI + cross-verify hook</text>
<text x="820" y="492" font-size="13" fill="#909090" letter-spacing="1">VERDICT</text>
<text x="820" y="516" font-size="20" fill="#4a8a8a" font-weight="700">7 / 7 ✓</text>
</g>
<!-- Arrows connecting -->
<g stroke="#8a8a8a" stroke-width="1.5" fill="none">
<line x1="400" y1="346" x2="430" y2="346"/>
<line x1="800" y1="346" x2="770" y2="346"/>
</g>
<polygon points="426,341 432,346 426,351" fill="#8a8a8a"/>
<polygon points="774,341 768,346 774,351" fill="#8a8a8a"/>
<!-- Bottom callout -->
<rect x="80" y="556" width="1040" height="104" fill="#101a10" stroke="#1f3f1f" stroke-width="1" rx="6"/>
<g font-family="ui-monospace, 'SF Mono', 'JetBrains Mono', Menlo, Consolas, monospace">
<text x="100" y="586" font-size="16" font-weight="600" fill="#7ec77e">Falsifiable claim — the §6 evolution mechanism in action:</text>
<text x="100" y="612" font-size="14" fill="#c8c8c8">"Two independent implementations of the SAMA v2 §4 spec, in different languages on different runtimes, will produce</text>
<text x="100" y="634" font-size="14" fill="#c8c8c8">identical verdicts against any spec-conforming codebase. If they disagree on this repo's 7/7 ✓, one is wrong — and per §0</text>
<text x="100" y="654" font-size="14" fill="#c8c8c8">the disagreement is resolvable from the spec prose alone. Disagreements ARE the spec's pressure points."</text>
</g>
<!-- Watermark -->
<text x="1120" y="684" text-anchor="end" font-family="ui-monospace, 'SF Mono', 'JetBrains Mono', Menlo, Consolas, monospace" font-size="12" fill="#5a5a5a">https://tdd.md</text>
</svg>