Function validate_document_final 

pub unsafe fn validate_document_final(
    ctxt: *mut _xmlValidCtxt,
    doc: *mut _xmlDoc,
) -> c_int

Final validation: check that all IDREFs resolve to existing IDs.

UPSTREAM-PARITY

int xmlValidateDocumentFinal(xmlValidCtxtPtr ctxt, xmlDocPtr doc);

This is called after the document is fully parsed, to verify ID/IDREF consistency. During parsing, forward IDREFs may not be resolvable, so this final pass checks them.

Returns 1 if all IDREFs resolve, 0 otherwise.

SAFETY

• ctxt, doc may be NULL.