traceparent —
v11 LOCKED · 749/14/163 · c7c0ba17
Λ = Conjecture 1 · SLSA L2 · 46 gates
✓ SLSA L1 honest · L2 build-attested (Rekor)
Λ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 build-attested (Rekor) 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
44
anchor formula gates
⊞Gate Manifest — Live/v1/gates
NameLean TheoremCategoryStatus
◎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
0
🟡Warning
0
🔵Info
0
✓Acknowledged
0
⚡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
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.

🔑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
#ActionGateLambdaPassTimestamp
⬟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 build-attested (Rekor) · L3+ roadmap

✓ signed slsa.dev/provenance/v0.2 .att on the GHCR image
✓ Rekor index resolved at verify time (cosign verify-attestation)
✓ 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 build-attested (Rekor) · 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
7
registered models
✦Tiers/llm/registry
5
routing tiers (0–4)
🔏Wired/llm/registry
0
API keys in env
⛓Forum Events/llm/forum
0
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