Status: OUT
Irreversibility is the shared root of two seemingly independent architectural properties: write availability (irrevocable writes need no rollback mechanism, undo log, or coordination overhead, making them inherently fast and failure-tolerant) and design simplicity (eliminating reversal from the vocabulary removes entire categories of state transitions, failure modes, and test scenarios), with the read path absorbing the cost of both.
Write availability and architectural simplicity are both consequences of the same irreversibility commitment
Depends on (SL): codebase-architecture-is-write-available-read-correct, irreversibility-is-the-simplicity-mechanism