task_run
Runs a DTS spec through validation, derivation, and code generation to produce a derived expression and Python code, with optional timeout.
Instructions
Run the DTS through the reification ladder.
Concept (validation), symbol (registry), and derivation (composing base
formulas via substitution + solving on the SymPy engine) rungs execute
deterministically; when a derivation is produced, the algorithm rung
reifies it into a Python function. The composed formula is returned in
"derived_expression" and the code in "generated_code".
Args:
spec: A DTS dict (see task_plan).
timeout_s: Optional hard wall-clock cap (seconds). When set, the
derivation runs in a separate process and is killed if it
overruns, returning {"success": False, "timed_out": True}.
Returns:
{"success", "spec", "derived_expression", "generated_code", "phases"}.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| spec | Yes | ||
| timeout_s | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||