{"doctrine":"v11","declarations":749,"axioms_unique":14,"axioms_raw":15,"sorries_total":163,"sorries_baseline":112,"sorries_putnam":51,"trust_axes":13,"policy_gates":46,"lambda_uniqueness":"Conjecture 1 — NOT a closed theorem (open CAUCHY_ND sorry + missing symmetry axiom)","slsa":"L1 (honest)","role":"nervous system / cross-session — inherits EVERYTHING","hatun_willay":true}