CompactionFloors
Per-binding floors on CompactionCoverage. Per binding, never shared: the distributions differ by type, and a floor low enough for the thinnest binding stops separating a healthy generator from a broken one for every other (#2019).
Pin each at roughly three-quarters of the measured value and record the measurement beside it, in the binding. An exact pin turns every future generator tweak into a mechanical number-bump, which is how a coverage floor rots; a floor with stated headroom lets a reviewer see that a run at 17 against a floor of 16 and a measurement of 25 is a regression even though it passes.
Parameters
minimum runs whose post-merge phase compacted something.
minimum size of the largest single compaction step. Never below 2 — see CompactionCoverage.postMergeMaxDroppedInOneStep — which CompactableLatticeLawSuite enforces rather than trusts.
minimum runs in which two or more replicas each compacted before the merge.