Safe DOCX posture
Footnote definition schema
Direct w:footnote definitions are scanned as CT_FtnEdn records.
Schema declarations
Bounded evidence
- formal verification
verification/lean/LeanDocxChecker.lean
ECMA-376 edition 5, Part 1 § 17.11.10
Footnote definition schema
Product posture and evidence for this normative section. The ECMA publication is the authority; this page reports only the pinned Safe DOCX projection.