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