Contract

• Input: problem description and inputs defined by the skill body.
• Output: Markdown artifact with completed process steps.
• Side effects: none.
• Dependencies: none.
• Stop condition: all process steps executed; artifact saved with required sections.
• Risk: low.
• Boundary: produces reasoning artifact only; no system changes.

Mathematical Optimization

Turn a real problem into a mathematical program, solve it with an appropriate solver, and report what was found — including the gap to optimality when the optimum is not proven.

When to use