Safe DOCX posture
w:vAlign cell vertical alignment
Declared cell vertical alignment emits w:vAlign with the literal
top/center/bottom value at its CT_TcPrBase position.
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.