Function mount_identity_provenance_is_well_formed 

pub fn mount_identity_provenance_is_well_formed(
    order: &[u64],
    assignment: &[u64],
) -> bool

Whether captured mount-identity provenance is well formed: the namespace order names each raw mount ID once, and the assignment order numbers each raw ID once and names raw 0 only where the namespace order does (an fdinfo zero is the anonymous class and is never numbered). Detcore’s mount-ID pool accepts exactly these, and a producer that hands provenance to a backend without a second capture checks them first.