Safe DOCX posture
Main Document relationship ownership of footnotes
The inplace verifier admits a Footnotes Part only through the sole exact
Transitional footnotes relationship owned by fixed word/document.xml.
Schema declarations
Bounded evidence
- formal verification
verification/lean/LeanDocxChecker.lean