ARCHIVED hologram/duplicate. Canonical: https://github.com/szl-holdings/a11oy
a11oy — governed-AI Command Center. Deny by default. Signed receipts. Trust ceiling 0.97. Λ = Conjecture 1.
szl-substrate — installable shared substrate package for a11oy + killinchu. Eliminates 69-file source duplication. Pure-stdlib where possible; DSSE-signed receipts; Λ = Conjecture 1 (advisory). SLSA L1 honest · L2 roadmap · Apache-2.0. Doctrine v11 LOCKED (749/14/163).
ARCHIVED duplicate/hologram. Canonical: https://github.com/szl-holdings/lutar-lean
ARCHIVED duplicate/hologram. Canonical: https://github.com/szl-holdings/lutar-lean
SZL Holdings academic corpus — preprints, thesis lineage, bounty problems, prior-art disclosures. Doctrine v11 LOCKED 749/14/163.
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
Attestable energy receipts for governed compute — MEASURED-NVML joules (or honest UNAVAILABLE null), cheapest-watt placement, hash-chained signable receipts. Vendors szl_energy_core. Λ = Conjecture 1 (advisory) · never fabricates a joule · Mirrors HF SZLHOLDINGS/szl-energy-attest · Apache-2.0.
Counter-UAS reference at /elite. Tracks, fusion, ROE, BFT, DSSE per interdiction. Public synthetic — no public effector. Λ = Conjecture 1.
To associate your repository with the lambda-conjecture-1 topic, visit your repo's landing page and select "manage topics."