{"count":8,"gates":[{"name":"soundnessAxiom","description":"Λ geometric-mean across 13 trust axes must be ≥ floor (0.90).","formula":"soundnessAxiom","lean_status":"Conjecture 1 — CAUCHY_ND sorry pending"},{"name":"hashChainIntegrity","description":"Receipt chain SHA-256 hash linkage verified.","formula":"hashChainIntegrity","lean_status":"deferred — no theorem"},{"name":"merkleDagBatch","description":"Khipu Merkle-DAG batch integrity check.","formula":"merkleDagBatch","lean_status":"deferred — no theorem"},{"name":"thresholdPolicySeverity","description":"Severity-indexed witness count threshold.","formula":"thresholdPolicySeverity","lean_status":"deferred — no theorem"},{"name":"adversarialRobustness","description":"Lipschitz continuity bound on adversarial perturbation.","formula":"adversarialRobustness","lean_status":"deferred — no theorem"},{"name":"monotoneComposition","description":"Adding a gate can only lower or keep Λ, never raise it.","formula":"monotoneComposition","lean_status":"deferred — no theorem"},{"name":"dualStreamRouting","description":"Dual-stream routing integrity for brand + immune pipelines.","formula":"dualStreamRouting","lean_status":"partial — DualStreamRouting.lean"},{"name":"slsaProvenance","description":"SLSA L1 provenance attestation (honest: L2 roadmap).","formula":"slsaProvenance","lean_status":"deferred — no theorem"}],"doctrine":"v11","canonical":{"declarations":749,"axioms":14,"sorries":163,"mcp_tools":12},"note":"rosie nervous-system gate set. Full a11oy 46-gate manifest at /api/a11oy/v1/gates."}