Safe DOCX posture
Endnote definition schema
Direct w:endnote definitions are scanned as CT_FtnEdn records and retain
their typed classification and decimal identity.
Schema declarations
Bounded evidence
- formal verification
verification/lean/LeanDocxChecker.lean