Lease Epochs: Hold, Pause, Re-grant, Reject, and the Amnesia Hazard

Lease Epochs: Hold, Pause, Re-grant, Reject, and the Amnesia Hazard A lifecycle diagram generated by Archify. Holder path Pause path Re-grant plus restart Terminal exits No Lease · nobody owns it · Holder path · free 01 No Lease nobody owns it free Held epoch=N · owner writes with N · Holder path · owned 02 Held epoch=N owner writes with N owned Paused Holder · wakes with stale N · Pause path · zombie Paused Holder wakes with stale N zombie Writing token=N · check runs in storage · Holder path · guarded 03 Writing token=N check runs in storage guarded Re-granted N+1 · new holder · Re-grant plus restart · moved Re-granted N+1 new holder moved Stale Rejected · atomic in storage · Terminal exits · fenced Stale Rejected atomic in storage fenced Duplicate Absorbed · same op, no 2nd effect · Terminal exits · deduped Duplicate Absorbed same op, no 2nd effect deduped Confirmed · one effect · Holder path · safe 04 Confirmed one effect safe Highest Forgotten · stale wins: split brain · Terminal exits · hazard Highest Forgotten stale wins: split brain hazard grant epoch N pause strikes write N wakes stale expiry grants N+1 write N+1 N ok, op new N below highest same N same op restart wipes highest Legend initial state active waiting success failure / exit neutral final state