Struct GoalGather 

pub struct GoalGather {
    pub claims: Vec<ToolClaim>,
    pub proposal_id: Option<String>,
    pub plan: Option<PlanCheckRequest>,
    pub transaction_proposal: Option<ActionProposal>,
    pub state_keys: Vec<String>,
    pub command_exits: HashMap<String, i32>,
    pub model_verdicts: HashMap<String, bool>,
}

What to project into a GoalInputs for one evaluation. The runtime-owned signals (claims, plan, transaction_proposal, state_keys) are gathered by Runtime::gather_goal_inputs; the caller-owned checks (command_exits, model_verdicts) are passed through verbatim, since running a shell check or a model judge belongs to the executor, not the runtime (the same injected split the driver uses).

Fields

claims: Vec<ToolClaim>

The model’s tool claims for this iteration (from its tool_calls / IR), cross-checked against the event-log receipts. Empty ⇒ nothing claimed, which is vacuously grounded.

proposal_id: Option<String>

Scope the receipt check to one proposal’s events.

plan: Option<PlanCheckRequest>

A STRIPS plan to forward-check (drives plan_achieved).

transaction_proposal: Option<ActionProposal>

A proposal to check for transactional consistency against current state (drives state_consistent — the state-drift guard).

state_keys: Vec<String>

State keys to include in the snapshot for StatePredicate conditions; empty ⇒ the whole state.

command_exits: HashMap<String, i32>

Exit codes of command checks the caller already ran on the substrate.

model_verdicts: HashMap<String, bool>

Verdicts of model judges the caller already gathered.

Trait Implementations

impl Clone for GoalGather

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for GoalGather

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for GoalGather

fn default() -> Self

Returns the “default value” for a type.