Status: IN
The codebase's asymmetric cost model and forward-only design are mutually reinforcing: writes make irrevocable routing decisions with minimal data, and the forward-only constraint (state ratchets, irreversible finalization) means reads can never ask writes to undo — reads must fully reconcile all accumulated complexity themselves.
forward-only semantics explain WHY reads bear the full burden — there is no mechanism to go back
Depends on (SL): writes-are-cheap-reads-pay, forward-only-design-prevents-regression-and-maximizes-progress