{"space":"killinchu","brain":{"role":"unknown"},"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":"v10","honesty":{"lambda_receipt_signature":"PLACEHOLDER — Sigstore CI signing not yet wired (Doctrine v10)","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)"}}