Safe DOCX posture
w:ftr footer part emission
Footer parts mirror header parts as w:ftr documents (word/footerN.xml);
"Page X of Y" footers carry complete five-part PAGE/NUMPAGES fields with
cached results.
Schema declarations
Bounded evidence
- source
packages/docx-compare/src/baselines/atomizer/ancillaryFieldSafety.ts - formal verification
verification/lean/Tier2/RelationshipStorySelector.lean - formal verification
verification/lean/LeanDocxChecker.lean - test
packages/docx-compare/src/baselines/atomizer/leanXmlVerifier.test.ts - test
packages/docx-core/src/integration/ancillary-field-safety.test.ts - test
packages/docx-core/src/integration/nvca-coi-regression.test.ts