ECMA-376 edition 5, Part 1 § 17.18.10

ST_DecimalNumber note and comment identifiers

Product posture and evidence for this normative section. The ECMA publication is the authority; this page reports only the pinned Safe DOCX projection.

ECMA publication ↗

Safe DOCX posture

targeted

ST_DecimalNumber note and comment identifiers

Note and legacy comment IDs are admitted only after a 64-byte raw lexical bound, XML Schema whitespace collapse, and signed decimal parsing. Evidence uses a canonical decimal spelling; aliases such as leading zeroes and negative zero therefore cannot create distinct semantic definitions.

Registry identity: ECMA-PART1-17-18-10

Schema declarations

ST_DecimalNumber transitional · type · 1 context

Bounded evidence

formal verification verification/lean/Tier2/NoteReferenceIntegrity.lean
formal verification verification/lean/Tier2/CommentReferenceIntegrity/Semantics.lean
test packages/docx-compare/src/baselines/atomizer/leanXmlVerifier.test.ts