SZL Holdings monorepo — substrate runtime, agentic loops, MCP server (11 tools), reusable workflows, CI gates. Doctrine v11 LOCKED (749/14/163)

Policy + receipt substrate — every action signed, every decision gated, every receipt verifiable. 46 policy gate modules · 11 MCP tools · Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276

Lean 4 + Mathlib formalization of the Λ aggregator — Λ uniqueness as Conjecture 1 (not a closed theorem). 749 declarations · 14 axioms · 163 tracked sorries. Backs the SZL governance gate. Doctrine v11 LOCKED · DOI 10.5281/zenodo.20434308

Operator console — human-facing UI for verdicts and the live receipt stream. Wire C live. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276

BFT 3-of-4 multi-party-witnessed agreement — each witness signs an action hash with its own ECDSA P-256 cosign key over DSSE. The category SZL invents: multi-party-witnessed AI. Doctrine v11 LOCKED (749/14/163).

SZL Holdings organization profile and community files.

SZL Holdings Lake — append-only DSSE receipt store (GitHub origin, HF dataset SZLHOLDINGS/szl-lake mirror). Doctrine v11 LOCKED. Live infrastructure for amaru cortex and a11oy substrate.

Ouroboros bounded-recursion runtime — agentic loops, dual-witness emitters, governance budgets. Doctrine v11 LOCKED (749/14/163)

SZL UDS Zarf bundles for all five flagships (a11oy · sentra · amaru · killinchu · rosie) — airgap-deployable, cosign-signed, SLSA L1+L2. Doctrine v11 LOCKED (749/14/163) · Apache-2.0.

Cortex memory + reasoner — every inference cites its source, every memory carries its receipt. Live DSSE-wrapped tick endpoint + 7-chakra runtime. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276

Policy immune system — deny by default, allow with proof. Eight gates evaluate every action; verdict signed, traced, chained. Wire B live. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276

Live Lean v4.13.0 kernel for the Lutar Invariant — Λ uniqueness as Conjecture 1. 749/14/163, source-mirrored from HF Space SZLHOLDINGS/lean-kernel. Doctrine v11 LOCKED · Apache-2.0.

SOVEREIGN Warhacker demo dry-run for the RTX 4060 Ti tower: one-command tower verification, GPU k3d + UDS deploy, airgap test, thermal guard, Khipu 3-of-4 kill-move. Apache-2.0. Doctrine v11 LOCKED (749/14/163).