ENFORCEMENT LAYER
State machines · Invariant checkers · Forbidden state guards. Type G = FULL enforcement. Types A-E = detect-only. Atomic lock + runtime predicate + static invariant chain.
PARTIAL — Type G patterns in MEMECHET/GID/SOSTLE. Formal engine: Phase 1 · W1-2