{"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,"doctrine":"v11"}