{"space":"killinchu","doctrine":"v11","declarations":749,"axioms_unique":14,"axioms_raw":15,"sorries_total":163,"kernel_commit":"c7c0ba17","trust_axes":13,"lambda_status":"Conjecture 1 — NOT a theorem (open CAUCHY_ND sorry + missing symmetry axiom)","lambda_uniqueness":"Conjecture, not a closed theorem (open CAUCHY_ND sorry + missing symmetry axiom)","slsa":"L1 (honest)","honest_disclosures":["ADS-B and Remote-ID are unauthenticated broadcast — decoded fields are CLAIMS, not attested truth.","Receipt signatures are PLACEHOLDER — Sigstore CI not yet wired per Doctrine v11.","SLSA L1 honest — not L2 or L3 as achieved.","Section 889: 5 banned vendors (Huawei, ZTE, Hytera, Hikvision, Dahua)."],"receipts":"DSSE envelopes; signature = PLACEHOLDER — Sigstore CI signing not yet wired into CI per Doctrine v11","telemetry_trust":"ADS-B and Remote-ID are unauthenticated broadcast — decoded fields are CLAIMS, not attested truth.","khipu_dag":"in-memory, additive, hash-chained sha256; resets on Space restart.","hatun_willay":true}