DOC2MATH — Document-to-Mathematics Problem Specification

When to Use This Skill

• "Formalize this problem statement into math"
• "Extract the mathematical structure from this research paper section"
• "What variables, constraints, and objectives are in this spec?"
• "Convert this word problem to a structured MPS"
• "Find what's missing in this problem formulation"

Zero-Inference Protocol (Mandatory)

1. Closed World — if it is not stated in the document, it does not exist in output
2. Grounding Rule — every element must cite the exact source phrase ("evidence" field)
3. No Silent Filling — unknown values use null; ambiguous types use "ambiguous"
4. Inference Tagging — structural inferences tagged "inferred": true with "inference_basis"
5. MISSING Markers — elements mentioned but insufficiently defined get "status": "MISSING" with "missing_reason"
6. No Hallucinated Math — never introduce equations or values not in the source text