formalize

/formalize

Transform problem-state.yaml into modular math specifications following the PROBLEM_TEMPLATE rigor level.

Pipeline Position

• Requires: collect complete, valid problem-state.yaml
• Produces: $MATH_ROOT/ populated modules (00-notation through operations)
• Advances: formalize → complete

Instructions

1. Load $PROBLEMS_ROOT/$ARGUMENTS/problem-state.yaml.
2. Load ${CLAUDE_PLUGIN_ROOT}/templates/PROBLEM_TEMPLATE.md for required structure.
3. Load existing math modules from $MATH_ROOT/ (may have content from external sources).
4. For each PROBLEM_TEMPLATE section: a. Check if an external source has a more advanced version (maturity markers) b. If yes: migrate and modularize that content, don't rewrite inferior version c. If no: formalize from the problem state
5. Each module must have valid YAML frontmatter (id, layer, depends, symbols_defined, inputs, outputs).
6. Use LaTeX for equations. YAML blocks for structured data. No prose padding.
7. Declare assumptions as named + falsifiable (A1, A2, ...) with thresholds and falsification methods.
8. Include surrogate ladder if the problem has a long-horizon objective.
9. Update pipeline-state.json: set formalize to complete.