fn known_max_input_sequence(inputs: &[FileHandle]) -> Option<NonZeroU64>Expand description
Computes the maximum target-domain sequence bound of the output of merging
inputs. A bound can be a row maximum or an admission marker; compaction
must preserve both for sequence-based pruning. Unknown bounds must remain
unknown rather than being replaced with a partial maximum.