{"id":"one-directional-state-machines-span-domains","text":"One-directional state machines appear across unrelated domains: stream processing windows (OPEN→CLOSED→FINALIZED) use irreversible state progression to control event acceptance at each stage, and metrics alerting (OK→PENDING→ALERTING→RESOLVED) uses ordered states to gate alert firing through a duration threshold. Both employ forward-progressing state to reduce complexity, though the alerting machine allows a partial regression (PENDING→OK) when conditions clear early, making it not strictly one-directional.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["window-lifecycle-one-directional","metrics-alert-state-machine-four-states"],"outlist":[],"label":"Both stream windows and alert evaluation use irreversible state machines to prevent regression"}],"dependents":["state-machines-instantiate-forward-only-monotonicity"],"metadata":{"last_reviewed":"2026-06-06T06:26:57","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"one-directional-state-machines-span-domains","truth_value":"IN","reason":"SL justification valid","antecedents":["window-lifecycle-one-directional","metrics-alert-state-machine-four-states"],"label":"Both stream windows and alert evaluation use irreversible state machines to prevent regression"},{"node":"window-lifecycle-one-directional","truth_value":"IN","reason":"premise"},{"node":"metrics-alert-state-machine-four-states","truth_value":"IN","reason":"premise"}]}}