SZLHOLDINGS/SZLHOLDINGS

SZL Holdings — Substrate Index

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

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
ouroboros-source	Runtime source snapshots
lean-theorem-tree	Lean 4 theorem dependency tree
thesis-formula-index	All thesis formulas indexed
why-we-lead	Competitive positioning evidence

Live spaces (27 total)

Space	Type	Status
Λ-Gate	Interactive	Running
MCP Receipts	API	Running
Lean Browser	Explorer	Running
a11oy Playground	12-Gate	Running
AGI Forecast	Viewer	Running
Sentra	Security	Running
VSP-OTel	Telemetry	Running
Showcase	Demo	Running

GitHub substrate (17 repos)

Repo	Role
ouroboros	Bounded-loop runtime
lutar-lean	Lean 4 formal proofs
ouroboros-thesis	DOI-pinned thesis
a11oy	Agent orchestrator
amaru	Cardano receipt minting
sentra	Drift detection
rosie	CSS-ingress orchestration
vsp-otel	OTel exporter
platform	Monorepo
agi-forecast	Governance trajectories
szl-cookbook	Recipes
szl-brand	Visual doctrine
uds-mesh	UDS span schemas
vessels	Maritime fleet intelligence
szl-trust	Public trust portal
szl-uds-deployment	UDS deployment
.github	Org community files

---

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

Doctrine v7 strict — no marketing superlatives — every claim verifiable.

Provenance

Field	Value
Ecosystem stage	supporting-operational
Ecosystem stage matrix	SZLHOLDINGS/szl-anatomy → Stage Matrix
MCP gateway	szlholdings-mcp-receipts-server.hf.space
Doctrine	v7 — no marketing language, every number resolves to a CI log or Zenodo DOI
Thesis DOI	10.5281/zenodo.20434276
Lean companion DOI	10.5281/zenodo.20424992
Author	Stephen Paul Lutar Jr. · ORCID 0009-0001-0110-4173

---