Status: IN
State only accumulates across the full codebase: stream processing uses doubly-forward-only ratchets preventing regression (windows never reopen, dedup outlives finalization), and deletions across all system types append metadata rather than destroying data (tombstones, delete markers, soft-delete flags) — the system's information content is monotonically non-decreasing.
Forward-only processing + append-only deletion = no operation reduces information content — gated because wallet creation silently replaces existing wallet state, destroying balance history
Depends on (SL): stream-processing-correctness-is-doubly-forward-only, deletion-is-append-only-across-all-contexts