Spaces:
Running
szl-doctrine
The single source of truth for SZL's governance doctrine and the org-wide automation that keeps every repository honest and in compliance.
💡 Why it matters
It locks the doctrine version every product builds against and runs the org-wide checks (secret health, governance workflows) so that no repo can silently drift from the published security and compliance posture.
▶️ Live demo
Internal / private repository — no public demo surface. See docs.szlholdings.com for the public product walkthrough.
⚡ Quick start (30 seconds)
git clone https://github.com/szl-holdings/szl-doctrine.git
cd szl-doctrine
make quickstart # or: see docs.szlholdings.com/quickstart
🔍 How it works
In two sentences: this component is part of SZL's governed-AI mesh — it enforces policy and emits signed, replayable audit receipts so every AI action can be verified after the fact. The full mathematical foundation, formal proofs, and protocol details are documented below and in the technical docs.
📐 Full technical detail, math, and proofs (the proof, not the pitch)
szl-doctrine
SZL doctrine + org-wide governance workflows (secret health, etc.)
Citation & doctrine
Cite this work via CITATION.cff. Math foundations: szl-papers · lutar-lean (kernel c7c0ba17).
Λ Conjecture 1 (not a theorem) · 749/14/163 v11 LOCKED (kernel c7c0ba17) · SLSA L1 honest · Section 889 = 5 vendors · SZL Holdings · Apache-2.0 code · CC-BY-4.0 papers