Skip to content
#

lambda-conjecture-1

Star

Here are 5 public repositories matching this topic...

Language: All
Filter by language
All 5 Python 3 Lean 1 TeX 1

szl-holdings / lutar-lean

Star 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

compliance formal-verification governance mathlib ouroboros apache-license lean4 dsse ai-governance agentic-ai defense-tech machine-checked-proofs szl-holdings lutar-invariant audit-fiber lambda-gate doctrine-v11 lambda-conjecture-1 slsa-l1
  • Updated Jun 28, 2026
  • Lean

szl-holdings / killinchu

Star 0

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.

drone compliance airgap governance airspace uds apache-license dsse agentic-ai defense-tech counter-uas szl-holdings doctrine-v11 szl-flagship lambda-conjecture-1 slsa-l1
  • Updated Jun 28, 2026
  • Python

szl-holdings / a11oy

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

compliance governance uds dsse agentic-ai defense-tech policy-gates action-gating szl-holdings doctrine-v11 szl-flagship lambda-conjecture-1 slsa-l1
  • Updated Jun 29, 2026
  • Python

Improve this page

Add a description, image, and links to the lambda-conjecture-1 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lambda-conjecture-1 topic, visit your repo's landing page and select "manage topics."

Learn more