ARCHIVED hologram/duplicate. Canonical: https://github.com/szl-holdings/szl-khipu
-
Updated
Aug 29, 2026 - TypeScript
#
lambda-gate
Here are 4 public repositories matching this topic...
SZL KHIPU — live Python kernels and tiny trained silhouettes. Knot the run. Hash the proof. Fail closed. Doctrine v11 LOCKED. Apache-2.0.
-
Updated
Sep 1, 2026 - Python
Holographic command body. Energy MEASURED from RAPL/NVML. GPU train fail-closed. Not flagship.
-
Updated
Sep 1, 2026 - TypeScript
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
compliance formal-verification governance mathlib ouroboros apache-license lean4 dsse ai-governance agentic-ai defense-tech governed-ai machine-checked-proofs szl-holdings lutar-invariant audit-fiber lambda-gate doctrine-v11 lambda-conjecture-1 slsa-l1
-
Updated
Sep 1, 2026 - Lean
Add this topic to your repo
To associate your repository with the lambda-gate topic, visit your repo's landing page and select "manage topics."