Status: IN
Forward-only design (irrevocable writes, monotonic cursors, irreversible finalization) contains the blast radius of temporal correctness gaps by preventing them from cascading backward — a TOCTOU race can produce a wrong result but cannot undo prior correct results.
Forward-only design limits temporal gap damage to the current operation, but unenforced invariants (quorum overlap, atomicity) break the consistency model that forward-only design depends on
Depends on (SL): forward-only-design-prevents-regression-and-maximizes-progress, temporal-correctness-gaps-are-known-and-accepted