README.md

metadata

title: SZL Holdings
emoji: 🪢
colorFrom: indigo
colorTo: yellow
sdk: static
pinned: true
short_description: Provenanced AI · Lean-proven · DSSE-signed · UDS

amaru · sentra · rosie · killinchu · a11oy

Five organs, rendered as live interactive 3D figures on the org card (Three.js r171 — touch-rotate on mobile, tap a figure to open its Space).

SZL Holdings — Provenanced AI Infrastructure

Lean-proven · DSSE-signed · UDS-deployable · SLSA L2 (honest)

ORCID 0009-0001-0110-4173 · GitHub szl-holdings · Contact: 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	Kallpa — wires & router	Λ-gate router · PURIQ-OS host · 16-tool MCP at /hatun-mcp · Throne Room 3D at /throne-room · Khipu Constellation + Doctrine Cathedral + LLM-Router viz at /viz/*
amaru	Yuyay — memory cortex	13-axis governance heart · cortex receipts · Cardano-anchored chain
sentra	Hukulla — immune system	Dual-use filter · cyber-drone bridge to killinchu
rosie	Wallpa + Yawar — operator console	Care-engine copilot, audit-grade · 3D wireframe head
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

• Khipu Constellation — 16 stars, live flagship polling
• a11oy /throne-room — 5 hero figures, real /healthz polling
• a11oy /viz/khipu · /viz/doctrine · /viz/router — embedded frontier scenes
• All scenes use Three.js r171; WebGPU baseline + WebGL2 fallback

Open & cited

• Lean 4 source, Mathlib v4.13.0, sorry-tracked — github.com/szl-holdings/lutar-lean
• Concept DOI 10.5281/zenodo.19944926
• Ouroboros Thesis v20 at github.com/szl-holdings/ouroboros-thesis
• PURIQ preprint at github.com/szl-holdings/puriq-preprint
• K-Verify benchmark + prior-art disclosures — public
• UDS bundles v0.1.0 — 5 cosign-signed Zarf packages at SZLHOLDINGS/uds-bundles-v1
• Master Manual + USB — 204-page docx + 14MB portable bundle at 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
• Math Substrate
• Datasets
• Legacy Spaces — archived only, never deleted

---

_{Source of truth: szl-holdings/.github lean_numbers.json · lutar-lean @ c7c0ba17 · Doctrine v11 · 5 flagships + khipu-constellation + README · Founder: Stephen Paul Lutar Jr · ORCID 0009-0001-0110-4173 · stephenlutar2@gmail.com}