Safe DOCX posture
w:abstractNum abstract numbering definition
Each NumberingSpec becomes one abstract definition with sequential
abstractNumId values assigned in declaration order — ids are
deterministic compile output, never random.
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.