workspace_decide_reference_expansion
Decide how to expand a reference in the theorem dependency graph by recording a candidate target or skip/retry action, then advance to execute the approved choice.
Instructions
Record exactly one candidate_id, target, existing_paper_id, skip:true or retry:true. Advance separately to execute the approved choice.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"run_id": "<run_id>",
"edge_id": "<edge_id>",
"decision": "<decision>"
},
"name": "workspace_decide_reference_expansion"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| run_id | Yes | ||
| edge_id | Yes | ||
| decision | Yes |