fn known_max_input_sequence(inputs: &[FileHandle]) -> Option<NonZeroU64>Expand description
Computes the maximum target-domain sequence bound of the output of merging
inputs. Foreign files are described by their target-local barrier; local
trusted files use their physical sequence bound. Unknown bounds never become
trusted through a partial maximum.