SZLHOLDINGS/SZLHOLDINGS

SZL Holdings — Substrate Index

Governed AI infrastructure for the post-alignment era. Every decision receipted. Every receipt verified. Every proof machine-checked.

Org consolidated 2026-06-03: 45 → 19 canonical GitHub repos for Series-A clarity. Archived repos redirect to canonical locations.

Ecosystem map

Models

Model	Purpose
a11oy-v19-substrate	Governance policy model — 40-formula anchor gate set

Key datasets

Dataset	Purpose
thesis-v18-formal-verification	Ouroboros Thesis formal verification artifacts (now in szl-papers)
lean-theorem-tree	Lean 4 theorem dependency tree
thesis-formula-index	All thesis formulas indexed
why-we-lead	Competitive positioning evidence

Live spaces (flagships + substrate)

Space	Type	Status
a11oy	Flagship	Running
sentra	Flagship	Running
amaru	Flagship	Running
rosie	Flagship	Running
killinchu	Flagship	Running
lean-kernel	Substrate	Running
review-dashboard	Dashboard	Running
uds-demo	Demo	Running
README	Org Card	Running

Note: hatun-mcp, otel-collector, graphql-gateway HF Spaces now point to canonical locations in platform/services/ after 2026-06-03 consolidation.

GitHub substrate (19 canonical repos)

Flagships

Repo	Role
a11oy	Brand Orchestration Layer
sentra	8-gate Immune System
amaru	Memory Attestation
rosie	Medical AI / Operator Console
killinchu	Andean Drone Intelligence / C-UAS

Core Substrate

Repo	Role
platform	Monorepo (incl. 5 merged services in services/)
lutar-lean	Lean 4 formal proofs @ c7c0ba17
ouroboros	Bounded-loop runtime

UDS Stack

Repo	Role
szl-fleet-overlay	UDS fleet overlay + upstream contributions
uds-bundles	Zarf bundle definitions
szl-uds-deployment	Deployment manifests
szl-mesh	Mesh spec and proto
szl-lake	Governance data lake

Trust + Proof

Repo	Role
khipu-consensus	BFT Khipu DAG consensus
lean-kernel	Lean 4 kernel @ c7c0ba17

Docs, Brand, Customer

Repo	Role
docs-site	Documentation monorepo (incl. developers/, cookbook/, trust/, investor/)
szl-brand	Brand assets
.github	Org-wide workflows + templates

Academic + Sales

Repo	Role
szl-papers	Academic corpus — preprints, thesis, bounty, prior-art (consolidated 2026-06-03)
pitch-collateral	Series-A materials (private)

---

_{SZL Holdings · Doctrine v11 LOCKED · Apache-2.0 · ORCID 0009-0001-0110-4173}

Doctrine v11 LOCKED — no marketing superlatives — every claim verifiable.

Provenance

Field	Value
Ecosystem stage	supporting-operational
Doctrine	v11 LOCKED (749/14/163 @ c7c0ba17) — no marketing language, every number resolves to a CI log or Zenodo DOI
Academic corpus	szl-papers (consolidated from puriq-preprint, ouroboros-thesis, lambda-bounty, prior-art-disclosures)
Thesis DOI	10.5281/zenodo.20434276
Lean companion DOI	10.5281/zenodo.20424992
Author	Stephen Paul Lutar Jr. · ORCID 0009-0001-0110-4173

---