Safe DOCX posture
w:footerReference binding
Footer references follow the same typed-binding discipline as header
references, emitted in a fixed first/default/even order for deterministic
output.
The package audit applies the corresponding footer relationship and w:ftr
target checks. It verifies explicit bindings only; it does not predict page
assignment or consumer fallback behavior for omitted roles.
Schema declarations
Bounded evidence
- source
packages/docx-core/src/primitives/sectPrAudit.ts - test
packages/docx-core/src/generation/generation-sections-fields.test.ts - 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