a11oy · Elite Console — 20 Surfaces

ΛTrust Score/v1/lambda

…

Λ = Conjecture 1 · 13-axis geometric mean

⊞Policy Gates/v1/gates

…

active / 46 total

◎SLO Pass Rate/v1/console/slo

…

Gate pass rate vs 95% target

◻Fleet Organs/v4/fleet

…

organs online / 5 total

⬡Live Mesh State/v1/mesh/state

◈Brain + LLM Tiers/v1/brain

🔏SLSA L1 honest · L2 .att emitted (not independently verified) Provenance/v1/version

⛓Last 5 Receipts/khipu/ledger

📋MCP Tools/v1/mcp/tools

ΛLambda Geometric Mean — 13 Axes/v1/lambda

Λ Trust Score

…

Conjecture 1 — NOT a theorem. CAUCHY_ND sorry open.

◈Λ Score — Interactive/v1/lambda/score

POST custom axis weights to /v1/lambda/score

⊞Total Gates/v1/gates

…

46 canonical gates

✦Lean-Proved/v1/gates

…

gates with lean_theorem

⛓Anchor Formulas/v1/gates

anchor formula gates

⊞Gate Manifest — Live/v1/gates

Name	Lean Theorem	Category	Status

◎Pass Rate/console/slo

…

vs 95% target

ΛLambda/v1/lambda

…

floor = 0.90

⛓Chain Integrity

100%

SHA3-256 chain valid

📐Error Budget/console/slo

…

% remaining

◎SLO Detail Board — New Relic-class/api/a11oy/v1/console/slo

🔴Critical

🟡Warning

🔵Info

✓Acknowledged

⚡Live Alert Feed — Datadog-class/api/a11oy/v1/console/alerts

◉SZL Organ Topology — 3D Service Map/console/organ-map

Interactive · Drag to rotate · SZL mesh topology

◉Organs/console/organ-map

⬡Wire Topology/console/organ-map

⬡Mesh Wire Status/v1/mesh/state

◈Wire D — W3C traceparent/wires/D

⬡3D Mesh CathedralThree.js live

SZL Wire Mesh · Nodes pulse on trace activity

🔏DSSE Signing/console/dsse-stream

…

signing_available

⛓DAG Root/khipu/ledger

Merkle root

…

✔Rekor logIndexSigstore

—

public-good Rekor (live)

⛓Live DSSE Receipt Stream/console/dsse-stream

🔍Browser Verify (DSSE)/khipu/verify

DSSE Envelope JSON

Verify command:
cosign verify-blob --key cosign.pub --signature <sig> <payload>

◈Khipu Quorum Constellation — 3-of-4/console/quorum-state

Khipu Merkle-DAG Constellation · 4 organ nodes · 3-of-4 threshold

◈Live Quorum State/console/quorum-state

⛓Khipu Ledger/khipu/ledger

↯Decision Lineage Query — Palantir Foundry-class/v1/lineage

⛓Khipu Receipt Chain — Visual/khipu/ledger

☑EU AI Act/compliance/export

…

controls mapped

☑NIST AI RMF/compliance/export

…

controls mapped

☑ISO 42001/compliance/export

…

controls mapped

☑Compliance Evidence Export — Credo AI / Vanta-class/api/a11oy/v1/compliance/export

⊕Total Gates/console/policy-canvas

…

✦Lean Coverage

…

% with Lean proof

⊕Validate PolicyPOST /v1/policy/validate

⊕Policy Canvas — 46 Gates/api/a11oy/v1/console/policy-canvas

∫Live Formula Library — Try-it in Browser/v1/formulas/index

⧫SZL GENOME — Formula→Lean→Organ Atlas/console/genome

Every formula traces to a Lean theorem (or honest open obligation) and a specific organ. Λ=Conjecture 1. Sorries are honest — not pretended proved.

FormulaLean TheoremOrganEndpoint

⧫Gate Genome Sample — 20 gates/console/genome

⟳Deterministic Receipt ReplayPOST /v1/receipts/replay

Independently replay a past receipt by hash. Returns a fresh signed DSSE receipt. Compare hashes to prove cryptographic determinism. No competitor offers this.

Receipt Hash (SHA3-256) or leave blank for latest

🔑What makes Replay unique?

✦ Any third party can independently replay a past decision
✦ Fresh DSSE receipt generated from same inputs
✦ Hash comparison proves determinism mathematically
✦ Zero trust required — verify in browser, CLI, or Python
✦ Backed by KhipuConsensus.lean::khipu_receipt_invariant

verify command

cosign verify-blob \
  --key cosign.pub \
  --sig <base64sig> \
  <payload.json>

⚖Total Verdicts/console/verdict-theater

…

✓PASS/console/verdict-theater

…

◈Quorum-witnessed/console/verdict-theater

…

⚖Multi-Party Witnessed Verdict Theater/api/a11oy/v1/console/verdict-theater

◻Fleet Health — All SZL Flagships/api/a11oy/v4/fleet

📋Buffered/v1/audit-log

…

in-memory ring (max 200)

📋Returned

…

ℹHonest Disclosure

Ring buffer resets on Space rebuild. Honest — not durable storage.

📋Audit Log — New Relic-class/api/a11oy/v1/audit-log

#	Action	Gate	Lambda	Pass	Timestamp

⬟a11oy Organ Anatomy — 3D Exploration

a11oy Anatomy · 5 organ nodes + wire connections

◉Organ Roles/console/organ-map

◈Provenance/provenance

✦Honest Disclosure — Full System State/v1/honest

✔What We Claim

SLSA L1 honest · L2 .att emitted (not independently verified) · L3 roadmap

✓ cosign-signed GHCR image, verifiable via cosign verify (L1)
✓ signed slsa.dev/provenance .att emitted by actions/attest-build-provenance (L2 .att, not independently verified)
✓ Fulcio issuer: sigstore.dev (public-good)
✓ 749 Lean declarations · 14 unique axioms
✓ 163 honest open sorries
✓ 46 policy gates canonical
✓ Λ = Conjecture 1 (geometric mean, 13 axes)

⚠What We Do Not Claim

HONEST

✗ L3 not claimed (no hermetic build)
✗ FedRAMP / Iron Bank / CMMC not claimed
✗ Λ is a conjecture — CAUCHY_ND sorry open
✗ Wires G & H not live in this build
✗ Audit log resets on rebuild (in-memory)
✗ No fabricated metrics — zero mocks

⚙SLSA Verify Command

# Verify the SLSA L1 honest · L2 .att emitted (not independently verified) · L3 roadmap provenance attestation on the published image
cosign verify-attestation \
  --type slsaprovenance \
  --certificate-identity-regexp github.com/szl-holdings \
  --certificate-oidc-issuer https://token.actions.githubusercontent.com \
  ghcr.io/szl-holdings/a11oy:uds-v0.2.0

# Verify the cosign image signature (keyless / Fulcio)
cosign verify \
  --certificate-identity-regexp github.com/szl-holdings \
  --certificate-oidc-issuer https://token.actions.githubusercontent.com \
  ghcr.io/szl-holdings/a11oy:uds-v0.2.0

# Rekor index is per-signing — read it from the verify output above (not hardcoded)
        

⬡Models/llm/registry

registered models

✦Tiers/llm/registry

routing tiers (0–4)

🔏Wired/llm/registry

API keys in env

⛓Forum Events/llm/forum

routing receipts

⬡a11oy Model Registry — THE LLM Hub/api/a11oy/v1/llm/registry

ΛRoute a PromptPOST /llm/route

\u039b-gated tier selection. No API key needed — tier selection + receipt are real.

⛓LLM Routing Forum — a11oy + Rosie/api/a11oy/v1/llm/forum

◉Ecosystem Mirror Manifest/api/a11oy/v1/llm/ecosystem-mirror