a11oy — 38 SZL Anchor Formulas · /api/a11oy/v4 · live operator gates

Click a formula → see the math → Evaluate → live verdict + signed Khipu receipt. Lean anchor 1dca0003…f52371 · Doctrine v11 LOCKED 749/14/163 · Sovereign (no cloud LLM) · Source: a11oy/packages/policy/src/gates · wired in a11oy#108

Axis Status Severity Search loading…

Receipts are real ECDSA-P256-SHA256 DSSE only when the SZL_COSIGN_PRIVATE_PEM Space secret is present; otherwise the envelope is honestly UNSIGNED (no signature is fabricated). Liu Hui π is a Lean axiom (advisory), not a discharged theorem. Yachay (CTO), co-authored with Perplexity Computer Agent. Zenodo DOI 10.5281/zenodo.20162352.