Status: IN
One-directional state machines across domains (window lifecycles, alert evaluators) are concrete instantiations of the codebase's forward-only/monotonicity constraint: the architectural primitive that discourages regression and supports progress manifests at the domain level as largely irreversible state progressions, though partial regressions (e.g., PENDING→OK in alerting) show the constraint is applied with domain-specific flexibility rather than as a strict universal rule.
connects the domain-level observation (state machines span domains) with the architectural principle (forward-only and monotonicity are unified), showing the specific mechanism by which the abstract constraint surfaces in implementations
Depends on (SL): one-directional-state-machines-span-domains, forward-only-and-monotonicity-are-a-single-constraint