Architecture

System design, capability boundaries, invariants, edge layer, ContractRefine pre-execution verification, and threat model for the AutonomyOps ADK.

• Architecture Overview
• Capabilities
• Invariants
• ContractRefine Invariants (INV-CR-*)
• Multi-Modal Policy invariants (target — epic #747)
• ContractRefine — Pre-execution Contract Verification
• ContractRefine — Contract Taxonomy
• Multi-Modal Policy Authoring
• Multi-Modal Policy — IR Taxonomy
• Policy graph frontend (Phase 3, epic #1079)
• Deterministic Relay Layer
• Threat Model