Before
last element removed from Y
Cluster X
42 / 128
Cluster Y
0 / 128
Cluster Z
91 / 128
Y is empty — unlink from both chains, return to free pool
After
Cluster X
42 / 128
Cluster Z
91 / 128
Free Pool
generation++
Stale handles are invalidated by the generation increment