Status: IN
Monotonic state ratchets (cursors only advance, windows never reopen) and cautious deletion (preconditions before permanent removal, two-phase trash workflows) together ensure that committed state can never be silently lost or regressed — unless wallet creation silently overwrites existing state, demonstrating that creation operations bypass both guards because the codebase protects against destructive deletion and regression but not destructive creation.
Anti-regression ratchets and deletion preconditions cover modification and removal but not creation — silent overwrite on create is an unguarded state-loss vector
Depends on (SL): state-ratchets-prevent-regression-across-domains, deletion-is-guarded-by-preconditions