Safe DOCX posture
w:style style-definition emission
Each declared StyleSpec becomes a w:style carrying w:type,
w:styleId, w:name, optional w:basedOn/w:next links, and w:pPr /
w:rPr built by the same shared property builders the body emitters use —
so a style definition and direct formatting can never serialize a property
differently. Dangling basedOn/next/paragraph references are rejected
at spec validation, before any XML is built.
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.