{"organ":"a11oy","git_sha":"ca2dfa396859147bc526f2f42b019d3f6397b2d5","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"]},"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."}}