**[amaru](https://huggingface.co/spaces/SZLHOLDINGS/amaru)** · **[sentra](https://huggingface.co/spaces/SZLHOLDINGS/sentra)** · **[rosie](https://huggingface.co/spaces/SZLHOLDINGS/rosie)** · **[killinchu](https://huggingface.co/spaces/SZLHOLDINGS/killinchu)** · **[a11oy](https://huggingface.co/spaces/SZLHOLDINGS/a11oy)**
*Five organs, rendered as live interactive 3D figures on the [org card](https://szlholdings-readme.static.hf.space/) (Three.js r171 — touch-rotate on mobile, tap a figure to open its Space).*
---
### 🪢 Mesh Cathedral — all 5 organs in one Ouroboros loop, live
[
](https://szlholdings-mesh-cathedral.static.hf.space/)
**[▶ Enter the Mesh Cathedral](https://szlholdings-mesh-cathedral.static.hf.space/)** — one rotating 3D scene where all five organs sit in a perpetual **Ouroboros loop** (`intent → sign → gate → chain → memory → replay → intent`). Receipt particles flow continuously between the characters, **45 kernels** orbit (7 universal + 2 vertical per organ), the centre counter ticks up live, and clicking any organ opens its **codex** (recipes · formulas · theses). Doctrine v11 LOCKED · 749 / 14 / 163.
## SZL Holdings — Provenanced AI Infrastructure
**Lean-proven · DSSE-signed · UDS-deployable · SLSA L2 (honest)**
[ORCID 0009-0001-0110-4173](https://orcid.org/0009-0001-0110-4173) · [GitHub szl-holdings](https://github.com/szl-holdings) · [Contact: stephenlutar2@gmail.com](mailto:stephenlutar2@gmail.com)
---
SZL Holdings builds a formally-verified governance gate for agentic AI. The Λ aggregator is proved in Lean 4 against **749 declarations · 14 unique axioms · 163 tracked sorries** (112 baseline + 51 Putnam, lutar-lean @ `c7c0ba17`). Every gate decision emits a real ECDSA P-256 DSSE-signed receipt onto a hash-linked Khipu Merkle DAG with Reed-Solomon RS(10,6) durability, packaged as UDS-deployable Zarf bundles and aligned with EU AI Act Article 12 + NIST AI RMF.
## Flagship anatomy (5 organs)
| Space | Organ name (Quechua brand) | What it does |
|---|---|---|
| [**a11oy**](https://huggingface.co/spaces/SZLHOLDINGS/a11oy) | Kallpa — wires & router | Λ-gate router · PURIQ-OS host · 16-tool MCP at `/hatun-mcp` · Throne Room 3D at `/throne-room` · **provenanced observability · 9 pillars · sign-prove-replay** at `/observability` + `/api/a11oy/v3/observability/*` (native, not a separate product) · Khipu Constellation + Doctrine Cathedral + LLM-Router viz at `/viz/*` |
| [**amaru**](https://huggingface.co/spaces/SZLHOLDINGS/amaru) | Yuyay — memory cortex | 13-axis governance heart · cortex receipts · Cardano-anchored chain |
| [**sentra**](https://huggingface.co/spaces/SZLHOLDINGS/sentra) | Hukulla — immune system | Dual-use filter · cyber-drone bridge to killinchu |
| [**rosie**](https://huggingface.co/spaces/SZLHOLDINGS/rosie) | Wallpa + Yawar — operator console | Care-engine copilot, audit-grade · 3D wireframe head |
| [**killinchu**](https://huggingface.co/spaces/SZLHOLDINGS/killinchu) | Killinchu — kestrel/hawk, drone flagship | 31 backend endpoints · 53-drone database · counter-UAS · Remote-ID/ADS-B/MAVLink decoders · digital twins · *we sense and evidence; we do not jack into third-party drones* |
## Live wires (all 5 flagships, SLSA L2 verified)
- **Wire B** — a11oy↔sentra immune signal
- **Wire C** — a11oy↔rosie receipt stream
- **Wire D** — W3C traceparent propagation + real ECDSA P-256 DSSE signing (cosign-verifiable, Rekor logIndex 1690704819)
- **Wire E/F/G** — wires extension live across cortex
Cosign verify-blob succeeds on every flagship signature. Tamper test correctly rejects (exit 1).
## 3D & visualizations (live standalone surfaces)
- [**Mesh Cathedral**](https://huggingface.co/spaces/SZLHOLDINGS/mesh-cathedral) — 5 chakras in the Ouroboros loop, live signed-receipt counter
- [**Khipu Constellation**](https://huggingface.co/spaces/SZLHOLDINGS/khipu-constellation) — 1285 receipt-stars + 1120 chain arcs, polls all 6 flagships every 5s
- [**Doctrine Cathedral**](https://huggingface.co/spaces/SZLHOLDINGS/doctrine-cathedral) — first-person WebGPU walkthrough of Doctrine v11 as architecture (WASD)
- [**LLM-Router Live**](https://huggingface.co/spaces/SZLHOLDINGS/llm-router-live) — radial 32-LLM / 7-tier router constellation, sovereign mode
- [**Anatomy 3D**](https://huggingface.co/spaces/SZLHOLDINGS/anatomy-3d) — live human-substrate body graph, 12 organs + flagship wires
- **a11oy `/throne-room`** — 5 hero figures, real `/healthz` polling · **a11oy `/viz/*`** — embedded frontier scenes
- All scenes use Three.js r171 / WebGPU baseline + WebGL2 fallback
## Verification & observability
- [**lean-kernel**](https://huggingface.co/spaces/SZLHOLDINGS/lean-kernel) — live Lean 4.13.0 + Mathlib kernel dashboard for [lutar-lean](https://github.com/szl-holdings/lutar-lean); on-demand `lake build`, theorem table (proven / axiom / sorry)
- [**Status**](https://huggingface.co/spaces/SZLHOLDINGS/status) — client-side health probes of the flagship mesh, auto-refresh every 60s
- [**OTel Collector**](https://huggingface.co/spaces/SZLHOLDINGS/otel-collector) — Khipu-flavoured OTLP ingest + live trace-stream dashboard
## Open & cited
- **Lean 4** source, Mathlib v4.13.0, sorry-tracked — [github.com/szl-holdings/lutar-lean](https://github.com/szl-holdings/lutar-lean)
- **Concept DOI** [10.5281/zenodo.19944926](https://doi.org/10.5281/zenodo.19944926)
- **Ouroboros Thesis v20** at [github.com/szl-holdings/ouroboros-thesis](https://github.com/szl-holdings/ouroboros-thesis)
- **PURIQ preprint** at [github.com/szl-holdings/puriq-preprint](https://github.com/szl-holdings/puriq-preprint)
- **K-Verify benchmark** + prior-art disclosures — public
- **Developer hub** — API reference, quickstart, MCP integration + runnable examples at [github.com/szl-holdings/developers](https://github.com/szl-holdings/developers)
- **Compliance posture** — security questionnaire (100 items), DPA/MSA templates, SOC 2 + FedRAMP roadmaps, EU AI Act Article 12 evidence at [github.com/szl-holdings/compliance-posture](https://github.com/szl-holdings/compliance-posture). *Honest current state: pre-SOC 2 (Type 1 targeted Q4 2026); FedRAMP/IL-4 path via DU sponsorship targeted Q4 2027.*
- **UDS bundles v0.1.0** — 5 cosign-signed Zarf packages at [SZLHOLDINGS/uds-bundles-v1](https://huggingface.co/datasets/SZLHOLDINGS/uds-bundles-v1)
- **Master Manual + USB** — 204-page docx + 14MB portable bundle at [SZLHOLDINGS/usb-bundle-v1](https://huggingface.co/datasets/SZLHOLDINGS/usb-bundle-v1)
- Apache-2.0 across all open-source repos
## What is honest right now (Doctrine v11 LOCKED @ c7c0ba17)
- **749 declarations · 14 unique axioms · 163 tracked sorries** (112 baseline + 51 Putnam) — verbatim across every flagship `/healthz`
- **Λ uniqueness = Conjecture 1**, not a closed theorem
- **SLSA L2 honest** — real cosign-signed CI provenance, Rekor logIndex 1690704819
- **DSSE receipts** ship from every flagship gate decision; chain-verified end-to-end
- **13-axis yuyay_v3 replay hash** `bacf54434f1a3bf2d758b27a62d5fd580ca4c8d3b180693573eeebcaea631fc5`
- Aligned with **EU AI Act Article 12** + **NIST AI RMF (MANAGE)**
- Quechua organ names are SZL's own brand naming — no prior-art claims
## Collections
- [**UDS Ecosystem**](https://huggingface.co/collections/SZLHOLDINGS/uds-ecosystem-6a1d24ed5dd65b050c512a8e)
- [**Math Substrate**](https://huggingface.co/collections/SZLHOLDINGS/math-substrate-6a1d24edb47a5dc3cb6ef465)
- [**Datasets**](https://huggingface.co/collections/SZLHOLDINGS/datasets-6a1d24edcff89db09a646769)
- [**Legacy Spaces**](https://huggingface.co/collections/SZLHOLDINGS/legacy-spaces-6a1d24ed5b595c50882dfb52) — archived only, never deleted (`uds-demo`, `rosie-3d`, `hatun-mcp`, staging environments). URLs remain functional; not on the primary org card.
---