Safe DOCX posture
w:delInstrText containment in tracked deletions
Part 1 §17.16.13 requires every w:delInstrText run to sit inside <w:del>
and describes it as deleted field code within a complex field. The runtime
enforcement lives in
packages/docx-compare/src/baselines/atomizer/pipeline.ts (the
validateFieldStructure function). The related w:fldChar placement rule is
tracked separately under ECMA-PART1-17-16-18; Part 4 supplies the
Transitional XSD declaration but is not the prose authority for this claim.
Schema declarations
Bounded evidence
- source
packages/docx-compare/src/baselines/atomizer/pipeline.ts - source
packages/docx-compare/src/baselines/atomizer/inPlaceModifier-deletion.ts - test
packages/docx-compare/src/baselines/atomizer/pipeline.field-validation.test.ts - test
packages/docx-core/src/integration/lean-spec-bridge.test.ts - formal verification
verification/lean/Tier2/XmlTripleChecker.lean - formal verification
verification/registry/lean-xml-checker-coverage.json