pub fn tier_rows(k: usize, tier: Option<CopyTier>) -> usize
2026-10-02: Rows of the widest verify the pools must hold: the MTP k (drafts + 1), widened to a copy’s.
k