{"organ":"a11oy","git_sha":"1d1490de657381ef7e7371d0f0383290ece5a936","doctrine_lock":{"doctrine":"v11","state":"LOCKED","declarations":749,"axioms":14,"sorries":163,"commit":"c7c0ba17","lambda":"Conjecture 1","lambda_note":"Λ-Aggregator Uniqueness — Conjecture 1, NOT a closed theorem.","locked_formula_count":8,"locked_formula_ids":["F1","F4","F7","F11","F12","F18","F19","F22"]},"footer":"Doctrine v11 LOCKED 749/14/163 @ c7c0ba17 · Λ = Conjecture 1","honest_labels":{"lambda":"Λ-Aggregator Uniqueness is Conjecture 1 — NOT a theorem.","khipu_signatures":"Chain integrity is SHA3-256 hash-chain verified; DSSE signature is a separately-labelled cosign concern.","persistence":"Khipu receipts persist via backend=sqlite (durable=True).","principle":"HONESTY OVER CHECKLIST."}}