pub fn check_batch(
len: usize,
edits: Vec<(usize, usize)>,
) -> Result<Vec<(usize, usize)>, ()>Expand description
Sort by start and validate: out is the batch production applies. (Sort, then sweep consecutive pairs, like prepare_replacements.) clippy::result_unit_err / needless_range_loop: the unit error is the verified contract (the ensures clauses carry the reason), and the indexed sweep is what the invariants prove over.