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 monorepo — substrate runtime, agentic loops, MCP server (11 tools), reusable workflows, CI gates. Doctrine v11 LOCKED (749/14/163)

killinchu — full counter-UAS application at /elite (16 views: Live Track Board, Sensor-Fusion, ROE, 13-axis Λ, 3-of-4 BFT, DSSE Verifier, PQC, Geofence, Swarm, Threat DB, Mesh). DSSE receipt per interdiction. SLSA L1 honest · L2 roadmap · Λ = Conjecture 1 · Apache-2.0.

SZL Holdings organization profile and community files.

Doctrine-pinned CRDT mesh layered on peat — BFT wiring, 3-of-4 Khipu quorum, seven inventions beyond UDS Fleet. Doctrine v11 LOCKED (749/14/163).

Live UDS governance-receipt deployment (Warhacker 2026) — k3d + uds-cli + Pepr DSSE receipt policy, cosign-verified. Doctrine v11 LOCKED (749/14/163).

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

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

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

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).

a11oy — full orchestrator application (Command Center, Five Superpowers, Warhacker, Observability, Wires, Mesh, Formulas, Evidence, LLM Router). Signed-receipt substrate; receipts.in ≡ receipts.out. SLSA L1 honest · L2 roadmap · Λ = Conjecture 1 · Apache-2.0.