Safe DOCX posture
w:commentReference comment reference mark
The trailing reference run carries w:commentReference with the same id
as its range anchors; the existing deleteComment editing path removes the
trio cleanly, which the strip scenario verifies on generated output.
The compiled Lean checker collects references from admitted main, note,
header, and footer physical stories and requires exactly one direct definition
with the same canonical decimal ID. It does not prove range-anchor pairing,
range topology, or Microsoft threaded-comment extension integrity.