ECMA-376 edition 5, Part 1 § 17.11.7

Safe DOCX posture

targeted

Endnote reference integrity

The compiled Lean checker selects the Transitional endnotes relationship from word/_rels/document.xml.rels and requires each namespace-resolved user w:endnoteReference ID to have exactly one user definition in that selected part. References inside either selected note-definition story are rejected.

Registry identity: ECMA-PART1-17-11-7

targeted

CT_FtnEdnRef note-reference schema

Namespace-resolved note references use the required decimal w:id shape declared by CT_FtnEdnRef; malformed and missing IDs are retained as failures.

Registry identity: ECMA-PART1-17-11-7-TYPE

Schema declarations

endnoteReference transitional · element · 1 context
CT_FtnEdnRef transitional · type · 1 context

Bounded evidence

formal verification verification/lean/Tier2/NoteReferenceIntegrity.lean
test packages/docx-compare/src/baselines/atomizer/leanXmlVerifier.test.ts
formal verification verification/lean/LeanDocxChecker.lean