{"count":8,"gates":[{"name":"soundnessAxiom","description":"Λ geometric-mean across 13 trust axes ≥ 0.90 (chakra-aligned).","lean_status":"Conjecture 1 — CAUCHY_ND sorry pending"},{"name":"chakraIntegrity","description":"All 7 chakra axes active and above floor.","lean_status":"deferred — no theorem"},{"name":"memoryProvenance","description":"Recall operations are receipted and Khipu-chained.","lean_status":"deferred — no theorem"},{"name":"cortexBoundedness","description":"Reasoning loops are bounded (max_steps enforced).","lean_status":"deferred — no theorem"},{"name":"dualPilotConstraint","description":"Rosie is co-pilot, not pilot. amaru cortex + 2-person Yuyay gate decide.","lean_status":"deferred — no theorem"},{"name":"hashChainIntegrity","description":"Receipt chain SHA-256 hash linkage verified.","lean_status":"deferred — no theorem"},{"name":"thresholdPolicySeverity","description":"Severity-indexed witness count threshold.","lean_status":"deferred — no theorem"},{"name":"slsaProvenance","description":"SLSA L1 provenance attestation (honest: L2 roadmap).","lean_status":"deferred — no theorem"}],"doctrine":"v11","canonical":{"declarations":749,"axioms":14,"sorries":163,"mcp_tools":12},"note":"amaru cortex gate set (7-chakra aligned). Full a11oy 46-gate manifest at /api/a11oy/v1/gates."}