These invariants MUST hold for all backend operations.
Violation of any invariant is a critical bug.
Enforcement categories:
- [REPLAY] – Enforced during replay of events
- [EXEC] – Enforced at execution / event-emission time (replay may not be able to verify)