Safe DOCX posture
Move source range end
The engine coalesces generated source markers to one pair per logical move.
The compiled fixed-story checker requires each end to close the currently open
source range with the same unique id. Individual w:moveFrom 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