SZL Holdings academic corpus — preprints, thesis lineage, bounty problems, prior-art disclosures. 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
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.
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
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
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
Add a description, image, and links to the lambda-conjecture-1 topic page so that developers can more easily learn about it.
To associate your repository with the lambda-conjecture-1 topic, visit your repo's landing page and select "manage topics."