Spaces:
Running
Running
Org card inventory: expand live 3D/viz surfaces (mesh-cathedral, doctrine-cathedral, llm-router, anatomy-3d), add Verification & observability (lean-kernel, status, otel), annotate Legacy Spaces archive contents
c285e91 verified | title: SZL Holdings | |
| emoji: 🪢 | |
| colorFrom: indigo | |
| colorTo: yellow | |
| sdk: static | |
| pinned: true | |
| short_description: Provenanced AI · Lean-proven · DSSE-signed · UDS | |
| <div align="center"> | |
| <img src="https://huggingface.co/spaces/SZLHOLDINGS/README/resolve/main/assets/szl_banner.png" alt="SZL Holdings — provenanced AI infrastructure" width="100%"/> | |
| **[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 | |
| [<img src="https://huggingface.co/spaces/SZLHOLDINGS/README/resolve/main/assets/mesh_cathedral.png" alt="Mesh Cathedral — 5 chakras in the Ouroboros loop with flowing receipt particles" width="100%"/>](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) | |
| </div> | |
| --- | |
| 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. | |
| --- | |
| <sub>Source of truth: [szl-holdings/.github lean_numbers.json](https://github.com/szl-holdings/.github/blob/main/.github/data/lean_numbers.json) · lutar-lean @ c7c0ba17 · Doctrine v11 · 5 flagships + khipu-constellation + README · Founder: Stephen Paul Lutar Jr · [ORCID 0009-0001-0110-4173](https://orcid.org/0009-0001-0110-4173) · stephenlutar2@gmail.com</sub> | |