Safe DOCX posture
w:pgMar page margin emission
w:pgMar declares the page margins plus header/footer offsets and
gutter for a section, all in twips. The generation section emitter
always emits the full attribute set (top, right, bottom, left, header,
footer, gutter) because readers diverge in their defaults when
attributes are omitted; spec values fill in unspecified members from
the standard one-inch/half-inch defaults.
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.