postMergeMaxDroppedInOneStep

the largest single compaction step seen, in ids. Guards V2 — "it fires, but too small to discriminate": a Compact carrying one id has exactly one key order and a one-element dropped-dot set has exactly one element order, so no ordering defect is detectable at size 1. This is the metric that a floor phrased as "compaction happened" misses.