Status: IN
Where structural correctness disciplines (immutability, synchronized structures, state ratchets) are applied, shifting computation between write and read paths is primarily a performance decision rather than a correctness risk — the structural construction approach reduces (though does not eliminate) the chance that cost reallocation introduces consistency bugs. However, this safety does not extend to invariants that remain assumed but unenforced (such as quorum overlap and payment atomicity), where shifting computation could expose unguarded correctness gaps.
Path-independent structural discipline makes cost optimization a safe, orthogonal concern
Depends on (SL): structural-correctness-is-universally-applied, cost-model-adapts-to-access-frequency