Safe DOCX posture
w:comments comment-collection part emission
Drafting notes compile to a word/comments.xml part holding one
w:comment per note, alongside the Word-extension commentsExtended and
people parts (content/relationship types matching what Word itself
writes, cross-checked against the Open XML SDK part constants). The
emitter lives in packages/docx-core/src/generation/emit/comments-part.ts.
This claim is limited to generated root-comment collections. Thread replies,
comment-resolution semantics, and arbitrary third-party comment-part repair
are not claimed. The compiled Lean checker independently selects an exact
internal Transitional comments relationship, accepts a relocated safe part,
requires a w:comments root, and scans direct CT_Comment definitions.
CT_TrackChange ancestry is retained by the shared parser, but range pairing
and topology are explicitly outside this claim.