SAFETY INVARIANTS — DETAILED SPECIFICATION

Description

Define the system’s non‑negotiable safety guarantees, including rationale, examples, and enforcement logic.

Content