huggingface/SHOWCASE.md

A11oy showcase — proof-backed governed execution

A11oy is the governed execution hub for the SZL Holdings substrate. It is the layer that turns AI or agent work into policy-checked, receipt-backed, replayable operations with payload provenance.

Capability graph

flowchart TD
    A[A11oy<br/>governed execution hub]
    D[Doctrine package lane<br/>tests · typecheck · build]
    R[Receipt substrate<br/>hash chain · quorum · QEC witness]
    P[Payload discipline<br/>MANIFEST · attestation · bundle]
    HF[Hugging Face mirror<br/>generated diligence packet]
    UDS[UDS/Zarf lane<br/>operator proof point]
    V[Vessels<br/>active vertical demo]
    S[Sentra<br/>drift + incident telemetry]
    AM[Amaru<br/>receipt minting / anchoring]
    RO[Rosie<br/>receipt DAG / CSS ingress]
    O[Ouroboros<br/>bounded loop runtime]
    L[Lutar Lean<br/>proof substrate]
    T[Ouroboros Thesis<br/>DOI-pinned claim taxonomy]

    T --> A
    L --> A
    O --> A
    A --> D
    A --> R
    A --> P
    P --> HF
    P --> UDS
    R --> RO
    R --> AM
    A --> S
    A --> V

What A11oy can demonstrate today

Capability	Evidence in this payload
Doctrine runtime checks	source/README.md, build/package.json, source/docs/PROVENANCE.md
KS-18 / governance math test lane	source/docs/PROVENANCE.md and GitHub web/packages/a11oy-core/src/**/__tests__
Operational receipt chain	DEMO_RECEIPT_SAMPLE.jsonl and GitHub packages/receipt-substrate
Deploy manifest verification	payloads/deploy/MANIFEST.json
UDS/Zarf operator handoff	payloads/deploy/zarf.yaml, source/docs/WARHACKER_UDS_PROOF_POINT.md
Ecosystem readiness	source/docs/ecosystem-readiness-report.json
Market evidence	source/docs/SERIES_A_MARKET_EVIDENCE.md
Substrate reality	source/docs/SUBSTRATE_REALITY_MAP.md
Series-A diligence	source/docs/SERIES_A_DILIGENCE.md, INVESTOR_BRIEF.md

Verification lane

sequenceDiagram
    participant Dev as Developer / CI
    participant Tests as Doctrine tests
    participant Manifest as Deploy manifest
    participant HF as Hugging Face payload
    participant Bundle as Operational bundle

    Dev->>Tests: pnpm test:doctrine
    Dev->>Tests: pnpm typecheck:doctrine && pnpm build:doctrine
    Dev->>Manifest: pnpm payload:verify
    Dev->>HF: pnpm payload:huggingface
    Dev->>Bundle: pnpm payload:bundle && pnpm payload:bundle:verify

Naming cleanup

This showcase uses real GitHub repo names and excludes stale product copy. Do not use KORA, LUMINA, PARAGON, or active Lyte framing for this A11oy packet. Counsel, Terra, and Carlota Jo remain funded-roadmap scaffolds, not active demo surfaces.

Claim discipline

The strongest story is the evidence trail:

1. GitHub is canonical.
2. CI validates runtime/package lanes.
3. Manifests bind payload bytes.
4. Receipts bind actions.
5. Hugging Face mirrors the packet for public review.
6. Proof and thesis claims are scoped by source/docs/PROVENANCE.md.

Live correction ledger

Claim area	Current evidence-backed wording
A11oy gates	A11oy main currently exposes seven policy gate files and ten theorem-runtime manifest entries. G36-G40 and broader gate counts remain PR/roadmap until merged and validated.
UDS signed assets	A11oy uds-v0.3.0 has SBOM release assets only; Vessels uds-v0.3.0 has zero release assets. Use uds-v0.2.0 when demonstrating signed Vessels assets.
GHCR	GHCR manifest checks returned an authentication challenge in this environment, so public package availability needs owner-side push or visibility confirmation.