SZL Holdings academic corpus — preprints, thesis lineage, bounty problems, prior-art disclosures. Doctrine v11 LOCKED 749/14/163.
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
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.
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.
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."