Safe DOCX posture
Move source range start
The engine emits one source start per logical move. In both the Strict and
Transitional schemas, w:id is an ST_DecimalNumber and the required w:name
is an ST_String, which permits the empty string. The compiled fixed-story
checker applies a stronger SafeDocX verifier policy: names must be non-empty,
source ids and names must be unique, and a destination identity with the same
name must exist. Non-empty w:name is not attributed to ECMA-376.
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