syntaxai/tdd.md · main · public / images / verifier-no-oracle-gap.svg

<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1200 720" width="1200" height="720">
  <rect width="1200" height="720" 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 empirical chain — every claim has a second opinion, except one</text>
    <text x="80" y="92" font-size="30" font-weight="700" fill="#e8e8e8">Every claim has an oracle. Except the verifier's.</text>
    <text x="80" y="120" font-size="14" fill="#7a7a7a">/sama/v2/verify reports 7/7 ✓ — and the only oracle that confirms it is the program that emitted it.</text>
  </g>

  <!-- Column headers -->
  <g font-family="ui-monospace, 'SF Mono', 'JetBrains Mono', Menlo, Consolas, monospace" font-size="13" font-weight="600" letter-spacing="2">
    <text x="100" y="172" fill="#909090">EMPIRICAL CLAIM</text>
    <text x="610" y="172" fill="#909090">INDEPENDENT ORACLE</text>
    <text x="1000" y="172" fill="#909090">VERDICT</text>
  </g>
  <line x1="80" y1="184" x2="1120" y2="184" stroke="#2a2a2a" stroke-width="1"/>

  <!-- Rows -->
  <g font-family="ui-monospace, 'SF Mono', 'JetBrains Mono', Menlo, Consolas, monospace" font-size="15">

    <text x="100" y="216" fill="#c8c8c8">Source code correctness</text>
    <text x="610" y="216" fill="#8a8a8a">CI tests (independent of impl)</text>
    <text x="1000" y="216" fill="#7ec77e">✓ has oracle</text>

    <text x="100" y="246" fill="#c8c8c8">§5 workingSetFit (n=8 cross-repo)</text>
    <text x="610" y="246" fill="#8a8a8a">external repos, pinned SHAs</text>
    <text x="1000" y="246" fill="#7ec77e">✓ has oracle</text>

    <text x="100" y="276" fill="#c8c8c8">URL refactor wall-clock cost</text>
    <text x="610" y="276" fill="#8a8a8a">timestamps in git history</text>
    <text x="1000" y="276" fill="#7ec77e">✓ has oracle</text>

    <text x="100" y="306" fill="#c8c8c8">Blog post claims</text>
    <text x="610" y="306" fill="#8a8a8a">/goal contract + commit history</text>
    <text x="1000" y="306" fill="#7ec77e">✓ has oracle</text>

    <text x="100" y="336" fill="#c8c8c8">/goal contract authenticity</text>
    <text x="610" y="336" fill="#8a8a8a">PR body + goals/ verbatim</text>
    <text x="1000" y="336" fill="#7ec77e">✓ has oracle</text>

    <text x="100" y="366" fill="#c8c8c8">Deploy actually shipped</text>
    <text x="610" y="366" fill="#8a8a8a">curl on live URL</text>
    <text x="1000" y="366" fill="#7ec77e">✓ has oracle</text>

    <text x="100" y="396" fill="#c8c8c8">Sitemap correctness</text>
    <text x="610" y="396" fill="#8a8a8a">registry comparison</text>
    <text x="1000" y="396" fill="#7ec77e">✓ has oracle</text>

    <text x="100" y="426" fill="#c8c8c8">Frontmatter parsing</text>
    <text x="610" y="426" fill="#8a8a8a">sibling test fixtures</text>
    <text x="1000" y="426" fill="#7ec77e">✓ has oracle</text>

    <!-- The dramatic row -->
    <rect x="80" y="446" width="1040" height="40" fill="#2a1010" stroke="#7c2020" stroke-width="1.5" rx="4"/>
    <text x="100" y="472" fill="#e88080" font-weight="700">/sama/v2/verify says "7/7 ✓"</text>
    <text x="610" y="472" fill="#c87070">— only the program itself —</text>
    <text x="1000" y="472" fill="#e85050" font-weight="700">✗ NO ORACLE</text>
  </g>

  <!-- Bottom callout -->
  <rect x="80" y="522" width="1040" height="140" fill="#1a1010" stroke="#3a2020" stroke-width="1" rx="6"/>
  <g font-family="ui-monospace, 'SF Mono', 'JetBrains Mono', Menlo, Consolas, monospace">
    <text x="100" y="552" font-size="16" font-weight="600" fill="#e88080">The self-violation:</text>
    <text x="100" y="578" font-size="14" fill="#c8c8c8">§0 says "the verifier is a deterministic program; that claim is only auditable if a human can reproduce it from the data."</text>
    <text x="100" y="602" font-size="14" fill="#c8c8c8">Yes — by running the same program. That's reproducibility, not independent validation. A buggy verifier that's biased toward</text>
    <text x="100" y="626" font-size="14" fill="#c8c8c8">passing the codebase it was written against would still emit 7/7 ✓ deterministically. Forty PRs preaching auditability — and</text>
    <text x="100" y="650" font-size="14" fill="#c8c8c8">the gate at the heart of every merge has had exactly one implementation reading it.</text>
  </g>

  <!-- Watermark -->
  <text x="1120" y="704" text-anchor="end" font-family="ui-monospace, 'SF Mono', 'JetBrains Mono', Menlo, Consolas, monospace" font-size="12" fill="#5a5a5a">https://tdd.md</text>
</svg>