pub const MAX_VERIFY_STEPS: usize = 3;
2026-09-29: The most rollback points an MTP verify writes: one per row but the last, at K = 4.