Safe DOCX posture
w:tc table-cell emission and trailing paragraph
Cells emit their properties then their block content, and the emitter
guarantees by construction that every cell ends with a w:p — an empty
cell or one whose last block is a nested table receives a closing empty
paragraph. The structural validator independently re-checks this invariant
(and that the document body never ends with a table) over the parsed
output.
Schema declarations
Bounded evidence
No bounded source, test, or formal-evidence path is attached to this section entry. That absence is preserved rather than inferred away.