{"trust_axes":13,"axes":[{"name":"soundness","score":0.92},{"name":"calibration","score":0.9},{"name":"robustness","score":0.95},{"name":"provenance","score":0.91},{"name":"consent","score":0.94},{"name":"reversibility","score":0.9},{"name":"transparency","score":0.92},{"name":"fairness","score":0.91},{"name":"containment","score":0.93},{"name":"attestation","score":0.92},{"name":"freshness","score":0.93},{"name":"authority","score":0.9},{"name":"auditability","score":0.92}],"lambda":0.91911,"lambda_floor":0.9,"pass":true,"aggregate":"geometric mean (yuyay_v3 canonical, 13-axis)","uniqueness":"Conjecture 1 — NOT a Theorem (open CAUCHY_ND sorry + missing symmetry axiom)","declarations":749,"axioms_unique":14,"axioms_raw":15,"sorries_total":163,"experimental_scope":{"kernel_commit":"7885fd9","lean":"v4.18.0","declarations":1304,"axioms_unique":22,"theorems_ci_green":36,"note":"CI-green, kernel-verified (Wave5-8 + agentic P1-P6 + airtight Λ + coder); NOT folded into the locked count of 8; Λ stays Conjecture 1"},"doctrine":"v11"}