Function check_object 

pub async fn check_object<'p, 'v, 's, X, S, P, W>(
    base: &Member<'v, 's, S>,
    reading: &Reading<X::Id, X::Document, X::Generation>,
    ordinal: usize,
    xml: &X,
    provider: &'p P,
    work: &W,
) -> CheckResult<'v, 's, X, S, P::Error>
where
    X: UriXml + OwnedBinaryXml,
    S: RangeSource,
    P: DigestProvider<'p, X>,
    W: Work,

Checks one original manifest instruction through the existing XML digest provider and sealed member stream. Invalid/ambiguous targets remain facts; no first-name selection, whole-member promotion of fragments, or implicit external fetch is performed. This does not attest ZIP-to-XML provenance.

Panics

An internal immutable name-catalogue invariant fails if its unique original candidate cannot be selected from that same catalogue.