Struct HandoffReceipt 

pub struct HandoffReceipt {
    pub schema_version: String,
    pub protocol_version: String,
    pub delegation_hash: String,
    pub child_session_id: Uuid,
    pub authority: AgentAuthority,
    pub output_workspace_generation: String,
    pub changes: Vec<HandoffChange>,
    pub evidence_ids: Vec<Uuid>,
    pub outcome: RunOutcome,
    pub output_digest: String,
}

Proof-carrying worker output, bound to one delegation plan and child session.

Fields

schema_version: String

Public schema identifier.

protocol_version: String

Delegation protocol version.

delegation_hash: String

Digest of the exact delegation plan.

child_session_id: Uuid

Persisted child session.

authority: AgentAuthority

Child authority copied from the plan.

output_workspace_generation: String

Child workspace generation after execution.

changes: Vec<HandoffChange>

Stable path-ordered changes.

evidence_ids: Vec<Uuid>

Evidence IDs produced by the child proof graph.

outcome: RunOutcome

Child proof-gated outcome.

output_digest: String

Digest of the child provider’s public output text.

Implementations

impl HandoffReceipt

pub fn validate( &self, plan: &DelegationPlan, parent: &TaskContract, ) -> Result<(), AgentError>

Validates all plan bindings, evidence identity, change scope, and outcome.

pub fn digest( &self, plan: &DelegationPlan, parent: &TaskContract, ) -> Result<String, AgentError>

Computes the canonical receipt digest after validation.

Trait Implementations

impl Clone for HandoffReceipt

fn clone(&self) -> HandoffReceipt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HandoffReceipt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for HandoffReceipt

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for HandoffReceipt

fn eq(&self, other: &HandoffReceipt) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for HandoffReceipt

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for HandoffReceipt