STORE DOCS / DIAGRAMS
Recovery after backend acceptance Recovery after backend acceptance A committed receipt and ACKED phase prevent another push of generation g; failure before that transaction commits leaves INFLIGHT, so a later drain replays g and k, receives the same result, persists the receipt, and resumes local work. ALT [receipt and ACKED transaction commits] [failure or death before commit] persist complete receipt and ACKED adopt echo, apply effects, retire intent Recovery may repeat local work, never push g Last durable phase remains INFLIGHT later drain replays generation g and key k duplicate request for g and k same authoritative result same acknowledgement persist complete receipt and ACKED resume adoption, effects, and retirement Mutation engine MutationServer Backend Call / local work Acknowledgement / return This sequence starts after backend acceptance. Once ACKED is durable, recovery can repeat adoption, effects, and retirement but never re-pushes generation g.