Function validate_notation_decl 

pub const unsafe fn validate_notation_decl(
    _ctxt: *mut _xmlValidCtxt,
    _doc: *mut _xmlDoc,
    _nota: *mut _xmlNotation,
) -> c_int

Upstream xmlValidateNotationDecl(ctxt, doc, nota): modern libxml2 has no validity constraint on notation declarations and returns 1 always (verified by disassembly of the system DSO: mov $1,%eax; ret).

SAFETY

• _ctxt, _doc, _nota must be valid pointers (or NULL where the upstream C contract allows), obtained from the matching constructor/owner and not yet freed; the callee may take or keep ownership exactly as the C API specifies.

The caller must not race this call with concurrent mutation of the same objects from other threads (per-object state is not internally synchronized). Violating any of the above is undefined behavior.

Exercised by the C-API differential courts (courts/suites/data-abi/*-family-probe.c) and the CLI differential courts; those pass byte-for-byte against the upstream oracle.