Function preflight_resolved_hierarchy 

pub fn preflight_resolved_hierarchy<I>(
    source_byte_lengths: I,
    alias_count: usize,
) -> Result<(), Diagnostic>
where
    I: IntoIterator<Item = usize>,

Validate the allocation footprint of one resolved hierarchy before source strings or alias records are copied into compiler-owned inputs.

Composition layers that borrow source bundles use this to apply the compiler’s resource limits. It does not replace the structural and semantic checks in analyze_resolved_hierarchy.

Errors

Returns a diagnostic when the source-unit count, alias count, one source length, aggregate source length, or a checked counter exceeds the compiler v1 hierarchy bounds.