Status: IN
Cost shifting between write and read paths is robust against two independent failure modes: forward-only semantics ensure shifted computation never needs rollback (temporal robustness), and structural construction guarantees the shifted state remains consistent (spatial robustness) — together they make the write-read cost balance arbitrarily adjustable without correctness risk.
two independently justified safety mechanisms (temporal via forward-only, spatial via structural correctness) jointly remove both categories of risk from cost rebalancing decisions
Depends on (SL): forward-only-preserves-correctness-despite-accepted-gaps, structural-correctness-enables-safe-cost-shifting