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.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| run_id | Yes | ||
| edge_id | Yes | ||
| decision | Yes |