compactionIsReachedAndBigEnoughToDiscriminate

The compaction phases actually reached compaction, and reached it big enough to discriminate — see CompactionCoverage for what each count guards and why.

This is a test of the evidence, not of the type. Every assertion the two compaction phases make holds vacuously over a run in which nothing compacted; a phase that never fires is green, and so is one that only ever drops a single id, because a one-element collection has exactly one iteration order and no ordering defect is expressible in it. Both are indistinguishable from a working phase by the phases' own assertions. So the reach is counted, not inferred from a side effect: "the state changed" stays true when the mechanism under test is reintroduced, and a count does not.

Seeds 0..31 — the same window convergesAcrossSeeds runs, so the counts describe the runs that phase 0 and the compaction phases actually asserted over.

The measured rates print on every run, green or red, because a floor nobody sees is a floor nobody notices drifting toward.