Static Assertions for Architectural Invariants

Learners will be able to enforce design-level constraints that cause compilation failure if violated.