turingmind_apply_spec_delta
Apply a contract change to a SpecNode and trigger automatic downstream invalidation, resetting dependent nodes for regeneration.
Instructions
THE KILLER FEATURE: Apply a contract change to a SpecNode and trigger automatic downstream invalidation. All dependent nodes in the DAG will have their verification and implementation state reset, placing them back in the ready_queue for automatic regeneration. Use this whenever a requirement changes — the engine guarantees correctness is restored.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| delta | Yes | The partial contract update to apply | |
| reason | No | Why the spec changed | |
| node_id | Yes | The SpecNode whose contract changed |