{"id":"temporal-gaps-are-contained-by-forward-only-design","text":"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.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["forward-only-design-prevents-regression-and-maximizes-progress","temporal-correctness-gaps-are-known-and-accepted"],"outlist":["assumed-invariants-are-unenforced"],"label":"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"}],"dependents":["forward-only-preserves-correctness-despite-accepted-gaps","state-machines-enforce-temporal-gap-containment"],"metadata":{"last_reviewed":"2026-06-06T06:26:57","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[]}}