TriumvirateCodexAI · TSCP

Receipts for
Machine Claims

Every claim, with its receipt attached.

When a machine claims a result, the claim should arrive with its receipt: the exact artifact, its hash, and the record of how it was tested. TSCP is working software for building evidence chains that keep claims and their evidence attached.

We corrected ourselves in public

Our earliest headline benchmark claimed the AVX-512 kernels ran 9.15× faster than scalar code. A number that good deserved suspicion, so we rebuilt the measurement: 50 samples, dual runs, a frozen and documented protocol. The result came out at 1.27×. We published the correction ourselves, and both numbers stay visible on this page. That correction is the founding story of this project: evidence over flattery, including our own.

What TSCP is

Working evidence-chain software with a machine-checked verification core, built to answer one question: how does anyone check what a machine claims about its own work?

The receipt

Exact numbers, exactly scoped. No more, no less.

TSCP · scoped evidence record
Montgomery reduction core, Montgomery.lean 12 theorems, 0 sorry
Live formal corpus, zkSHA-Rx 31 theorems; stages C3–C6 open
Open stages: C3–C6 refinements, MachineRefinements.lean future work, not claimed proofs
AVX-512 vs scalar, geomean, AMD Zen 5 1.27× (1.265×–1.276×)
Protocol: frozen, 50 samples, dual-run documented
Evidence digests anchored on-chain, Sepolia
Not claimed
  • The 1.27× result is documented and self-published. It is not independently replicated.
  • No external cryptographic audit has been performed.
  • No production-ready system. No end-to-end prover acceleration claim.
  • Remaining formalization stages are listed as open work, not claimed proofs.

Claim surfaces and verification documentation live in the public repositories linked below.

Connect