Safe DOCX posture
Move destination range end
The engine coalesces generated destination markers to one pair per logical move.
The compiled fixed-story checker requires each end to close the currently open
destination range with the same unique id. Individual w:moveTo revision ids
are not associated with range ids.
Schema declarations
Bounded evidence
- test
packages/docx-core/src/integration/advanced-revision-classification.test.ts - test
packages/docx-compare/src/baselines/atomizer/inplace-move-range-coalesce.test.ts - formal verification
verification/lean/Tier2/XmlTripleChecker.lean - test
packages/docx-compare/src/baselines/atomizer/leanXmlVerifier.test.ts