{"space":"amaru","brain":{"role":"cortex / reasoning","theorems":{"TH1":{"name":"Λ Conjecture (unique 13-axis aggregator)","status":"CONJECTURE","lean":"Lutar/Uniqueness.lean:120 (lutar_is_geomean, CAUCHY_ND sorry)","note":"Open: Aczel 1966 Thm 5.1 + missing symmetry axiom. NOT a closed theorem."},"TH8":{"name":"GLR — Governed Loop Reachability","status":"PROVEN","lean":"Lutar/* (GLR proven on main @ c7c0ba17)","note":"Bounded governed loops terminate at a receipt-attested fixpoint."},"TH10":{"name":"Conjecture 1 (not Theorem)","status":"CONJECTURE","lean":"tracked sorry","note":"v9 mistakenly promoted to Theorem; v10 reverts to Conjecture 1 per org card."}},"chakras":["root","sacral","solar","heart","throat","third_eye","crown"]},"llm_tiers":[{"id":"claude_sonnet_4_6","rank":0,"use":"default reasoning / explain-this-Space / casual Q&A","why":"200K context, fast, cost-efficient"},{"id":"gemini_3_1_pro","rank":1,"use":"long-form research / multi-source synthesis","why":"cost-efficient research"},{"id":"gpt_5_4","rank":2,"use":"math / structured logic / Λ-gate eval / theorem citation","why":"best at structured reasoning + math"},{"id":"claude_opus_4_8","rank":3,"use":"complex multi-step orchestration / PRs / Lean proofs","why":"top-tier reasoning, 200K context"},{"id":"gpt_5_5","rank":4,"use":"highest-stakes investor diligence answers","why":"top quality (tie with opus_4_8)"}],"canonical":{"lutar_lean_ref":"lutar-v18.0.0 @ c7c0ba17","declarations":749,"axioms_unique":14,"axioms_raw":15,"axioms_dup":1,"sorries":163,"sorries_baseline":112,"sorries_putnam":51,"mcp_tools":12,"policy_gates":46,"anchor_formula_gates":44,"lambda_uniqueness":"Conjecture (CAUCHY_ND sorry @ Uniqueness.lean:120 + missing symmetry axiom)","source":"HONEST_SNAPSHOT from lean_numbers.json @ c7c0ba17 (lean_numbers.py canonical counter)"},"doctrine":"v11","honesty":{"lambda_receipt_signature":"PLACEHOLDER — Sigstore CI signing not yet wired (Doctrine v11)","lambda_uniqueness":"Conjecture (CAUCHY_ND sorry @ Uniqueness.lean:120 + missing symmetry axiom)","numbers_source":"HONEST_SNAPSHOT from lean_numbers.json @ c7c0ba17 (lean_numbers.py canonical counter)"}}