task_plan
Turn a Derivation Task Spec into an ordered plan of tool calls, mapping each step from symbol to algorithm with provenance.
Instructions
Reify a Derivation Task Spec (DTS) into an ordered plan of tool calls.
Each planned step names the tool that would produce it (provenance),
spanning the reification ladder: symbol -> derivation -> algorithm.
Args:
spec: A DTS dict with keys: name, goal, given, unknowns, assumptions,
base_formulas, modifications, acceptance, metadata.
Returns:
{"success": bool, "spec": str, "total": int, "steps": [...]}.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| spec | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||