· five superpowers · live endpoints

Five superpowers. Every one provable.

No slides, no mock data. Each button below POSTs/GETs a real a11oy API and renders the raw response. Replay re-derives a decision hash, tamper changes it, Λ collapses on a zeroed axis, the fleet reports honest peer health, and the mesh shows conserved cross-organ wires.

Declarations

749

Unique axioms

Sorries

163

Λ status

Conjecture 1

SLSA

Build L2

01Decision Replay

a11oy policy gates are deterministic pure functions. Re-execute a past decision from its inputs and get the same verdict + a canonical SHA-256 receipt hash — independently verifiable.

POST /api/a11oy/v1/receipts/replay

RESULT idle

02Tamper Theater

Replay the same action twice → identical hash (repeatable). Then tamper a single input (confidence 0.92 → 0.50) → the hash changes. Tampering is detectable, not hideable.

POST /api/a11oy/v1/receipts/replay ×3 (baseline · repeat · tampered)

RESULT idle

03Λ-collapse

Λ = ∏ xᵢ^wᵢ is zero-pinned: if any positive-weight trust axis hits 0, Λ collapses to 0 and the gate DENIES — regardless of the other axes. Compare a healthy score vs a single zeroed axis.

POST /api/a11oy/v1/lambda/score

RESULT idle

04RS Resurrection

The fleet probes every flagship organ's live health endpoint. Organs that answer report ok; ones that don't are shown honestly as unreachable — no fabricated green.

GET /v4/fleet

RESULT idle

05One-Signed-Organism

Five organs, one substrate. The mesh state lists the cross-organ wires (a11oy↔sentra, ↔rosie, ↔amaru, ↔vessels) and their live status. Honest labels distinguish in-process wires from cross-Space ones that are not yet brokered.

GET /api/a11oy/v1/mesh/state

RESULT idle

Honesty. Λ is Conjecture 1, not a closed theorem — A1–A4 are individually Lean-proved (monotonicity, zero-pinning, Egyptian weights, page-curve concavity), but uniqueness is asserted, not proven. Public proved-formula count is 5. SLSA Build L2 provenance verifies on all 5 organ images (keyless Fulcio+Rekor, strict identity); the bundle does not yet. No L3 / FedRAMP / Iron Bank / CMMC claims. Receipt signatures are real only when the cosign key is present — otherwise envelopes are labelled UNSIGNED.