Verifiable Inference

Three live demo features. 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."