carlos / platform Public

Ledger · `instance-moves-p0`

● 3b5ba55 instance moves P0: fence the cut against tick wakes, refuse abort past ready, refuse moving a replica

● 84526d9 instance moves P0: one moves pass at a time; lift only the fence the worker still holds