Status: OUT
By eliminating reversal from the design vocabulary entirely (all deletes are additive, all state changes are forward-only, all finalization is permanent), the codebase removes an entire complexity class — undo, compensation, rollback, conflict-from-regression — achieving both correctness and simplicity through the same irreversibility constraint rather than trading one for the other.
Irreversibility eliminates the complexity class that would otherwise require undo/compensation mechanisms
Depends on (SL): no-operation-is-truly-reversible, correctness-and-simplicity-share-the-same-mechanism