URMC: A Formal Model of Resilience, Temporal Buffering, and Local Irreversibility in Digital Payment Systems | Synapse