Invalidation
Forward-looking: stops superseded state from being relied upon for future action.
Research Map · When Correction Cannot Catch the System
This paper's outcomes are parallel possibilities after correction, not sequential stages, so the map pairs a timeline with a four-way branch rather than a single five-node flow.
Forward-looking: stops superseded state from being relied upon for future action.
Asks whether a dependent result remains justified once the upstream state has changed.
Historical state may remain stored while ceasing to function as current authority.
Addresses a consequence — a denial, disclosure, or lost opportunity — that already occurred.
Whether a latency is acceptable is risk-bounded, not universal: a stale entertainment preference may tolerate substantial delay; a superseded eligibility status used immediately before denying an essential service may not. The four outcomes are not stages of one sequence — a single correction can require different outcomes on different reliance paths at the same time.