{"trust_axes":13,"axes":[{"name":"soundness","score":0.93},{"name":"calibration","score":0.91},{"name":"robustness","score":0.94},{"name":"provenance","score":0.9},{"name":"consent","score":0.92},{"name":"reversibility","score":0.91},{"name":"transparency","score":0.93},{"name":"fairness","score":0.9},{"name":"containment","score":0.95},{"name":"attestation","score":0.92},{"name":"freshness","score":0.94},{"name":"authority","score":0.91},{"name":"auditability","score":0.93}],"lambda":0.922181,"lambda_floor":0.9,"pass":true,"aggregate":"geometric mean (yuyay_v3 canonical, 13-axis)","uniqueness":"Conjecture 1 (OPEN), not a Theorem unconditionally (open CAUCHY_ND sorry + missing symmetry axiom); conditional uniqueness = Theorem U (TheoremU_LambdaUnique, corollaries U₁/U₂) modulo the kernel Decidable ≈Λ relation (instDecidableLambdaEquiv), strict = only under the Anchored/Normalized gauge","declarations":749,"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"},"axioms_unique":14,"sorries_total":163,"kernel_commit":"c7c0ba17","doctrine":"v11"}