goal_done
Close a goal as done after delivering the user-facing result. Optionally leave a one-line note for the audit trail. A goal is done only when the user asked for something and got it — not when you began exploring it.
Contract
Section titled “Contract”Effect: read. Evidence role: discovery_only.
Mark a goal done with an optional result note.
Parameters
Section titled “Parameters”This is the current provider-facing JSON Schema, generated from the runtime definition.
{ "type": "object", "properties": { "seq": { "type": "number", "description": "Goal sequence number from goal_open." }, "note": { "type": "string", "description": "Optional one-line summary of the delivered result for the next turn to read." } }, "required": [ "seq" ]}Execution requirements
Section titled “Execution requirements”The ordinary admission and tool execution checks apply.
Expected postconditions
Section titled “Expected postconditions”- goal row marked done when it existed