Module 2 explains the complete reference architecture and design principles that make the Agent Runtime Environment (ARE) safe, deterministic, and production-grade. You will learn how the ARE enforces lifecycle ordering, containment boundaries, contract-wrapped tool execution, invariants, drift detection, mediation controls, trace correctness, and system replayability. This module establishes the structural backbone of governed autonomy.