{"doctrine":"v11","declarations":749,"axioms_unique":14,"axioms_raw":15,"sorries_total":163,"sorries_baseline":112,"sorries_putnam":51,"trust_axes":13,"lambda_uniqueness":"Conjecture, not a closed theorem (open CAUCHY_ND sorry + missing symmetry axiom)","slsa":"L1 (honest)","receipts":"DSSE envelopes from the amaru tick endpoint; Sigstore CI signing PENDING (PLACEHOLDER).","memory":"7-chakra cortex; Cardano-anchored receipts are demo-seeded, not on-chain mainnet.","hatun_willay":true}