type Resolution = (Vec<u64>, BTreeMap<u64, u64>, Vec<(u64, SmallVec<[u8; 48]>)>, u64);Expand description
One family’s resolution: losers, the winner each maps to, the rows a promotion can heal, and the count the dereference could not settle.
Only a row proved absent is promotable; an unsettled one may still hold a live forward row, so it refuses instead.