Safe DOCX posture
Table-cell-property revisions (w:tcPrChange)
The supported cell-padding mutation emits w:tcPrChange; accept/reject also
consume existing records. Cell-topology records inside the snapshot remain
preservation-only, and Lean does not inspect the snapshot.