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.
-
Updated
Jun 3, 2026 - Python
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.
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
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 + 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
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."