Safe DOCX posture
w:hdr header part emission
Header parts are emitted as standalone w:hdr documents
(word/headerN.xml) with content-type overrides, sharing the body's
paragraph/run emitters so header content compiles through the same
formatting and field machinery as body content.
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