Struct CargoExecution 

pub struct CargoExecution {
    pub execution: Result<CompletedExecution, ToolError>,
    pub messages: Result<()>,
    pub facts: Result<Option<CargoBuildFacts>>,
}

Independent process/protocol evidence and observations bound to this execution.

Inspect process failure before protocol refusal. facts is Ok(Some(_)) only after successful execution, successful message delivery and matching before/ after tool observations. Ok(None) retains an unsuccessful execution’s original evidence; Err retains an observation or invocation-binding refusal. This is not source validation, artifact custody or release admission.

Fields

execution: Result<CompletedExecution, ToolError>

Original bounded Host execution result and cleanup evidence.

messages: Result<()>

Original decoder or message-sink refusal; output is drained after refusal.

facts: Result<Option<CargoBuildFacts>>

Successful execution observations, or a post-execution observation refusal.