FinitePrefixCover.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Original dyadic prefix counts bound the common coarse-grid cover. Each occupied prefix cell contributes at most 49 rounded grid points.