Verifiable Inference

Real, verifiable governance receipts — including our own public ledger. Every receipt is signed and independently verifiable. The honesty is the product.

A Buyer-Verifiable Inference Receipt

Makes a real POST /api/a11oy/v1/govern/infer call, then verifies the DSSE ECDSA-P256 signature in-browser using WebCrypto — no server round-trip for verification. SHA-256 of the decoded payload is recomputed and matched to receipt.payload_digest.

"No other inference provider gives you a receipt you can re-verify yourself, offline, with just a hash function and our public key."

B Λ-Gated Honest Refusal

Three preset governance cases. Each returns a REAL signed receipt via szl_dsse.sign_khipu_receipt. Λ is always labeled Conjecture 1 — advisory, NOT a theorem.

"Even our refusals are signed and explained — no black-box boolean."

C Verifiable Thesis

The 8 PROVEN formulas with verbatim Lean 4 statements, the 3-tier honest corpus (8 / ~35 / ~185), and the honest conjecture labels for Λ and Khipu BFT.

"The honesty is the product. Click any formula — verify it yourself."

D Public Ledger — Real Receipts

Real signed Khipu receipts from our public dataset SZLHOLDINGS/szl-lake (snapshot 2026-07-02). This page recomputes the hash-chain linkage in your browser; the DSSE / sigstore signatures verify offline with the szl-receipt library and cross-check against the canonical rows on Hugging Face — infrastructure we do not control.

"The receipts you would read in diligence — including the ones where we mark our own central claim, Λ, still OPEN."