Safe DOCX posture
Endnotes part root
A selected Endnotes Part is admitted only when its expanded root name is
Transitional w:endnotes.
Schema declarations
Bounded evidence
- formal verification
verification/lean/LeanDocxChecker.lean
ECMA-376 edition 5, Part 1 § 17.11.8
Product posture and evidence for this normative section. The ECMA publication is the authority; this page reports only the pinned Safe DOCX projection.
A selected Endnotes Part is admitted only when its expanded root name is
Transitional w:endnotes.
verification/lean/LeanDocxChecker.lean