# 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. [![License](https://img.shields.io/badge/License-Apache_2.0-blue.svg?style=flat-square)](LICENSE) [![Build](https://github.com/szl-holdings/szl-doctrine/actions/workflows/secret-health.yml/badge.svg?branch=main)](https://github.com/szl-holdings/szl-doctrine/actions/workflows/secret-health.yml) [![Doctrine v11](https://img.shields.io/badge/Doctrine-v11_LOCKED-3b82f6?style=flat-square)](https://github.com/szl-holdings/.github/tree/main/doctrine) [![SLSA](https://img.shields.io/badge/SLSA-L1_honest-22c55e?style=flat-square)](https://slsa.dev/spec/v1.0/levels) [Docs](https://docs.szlholdings.com) · [Quickstart](https://docs.szlholdings.com/quickstart) · [SZL Holdings](https://szlholdings.com)
## 💡 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](https://docs.szlholdings.com) for the public product walkthrough._ ## ⚡ Quick start (30 seconds) ```bash 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](https://docs.szlholdings.com). ---
📐 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`](CITATION.cff). Math foundations: [szl-papers](https://github.com/szl-holdings/szl-papers) · [lutar-lean](https://github.com/szl-holdings/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](https://szlholdings.com) · Apache-2.0 code · CC-BY-4.0 papers