Safe DOCX posture
Typed footnote definitions
The verifier distinguishes normal and special footnote definitions by the
ST_FtnEdn value rather than by numeric ID conventions.
Schema declarations
Bounded evidence
- formal verification
verification/lean/LeanDocxChecker.lean