Struct RoutingReceipt 

pub struct RoutingReceipt {
    pub schema_version: String,
    pub algorithm_version: String,
    pub plan_hash: String,
    pub step: u64,
    pub workspace_generation: u64,
    pub state_binding: String,
    pub side_effect_watermark: u64,
    pub attempts: Vec<RoutingAttemptReceipt>,
    pub selected_candidate_id: Option<String>,
    pub outcome: RoutingReceiptOutcome,
}

Deterministic execution receipt bound to exactly one routing plan.

Fields

schema_version: String

Schema version enforced against SCHEMA_VERSION.

algorithm_version: String

Algorithm version enforced against ROUTING_ALGORITHM_VERSION.

plan_hash: String

Content-addressed digest of the bound RoutingPlan.

step: u64

Monotonic step counter matching the plan bindings.

workspace_generation: u64

Monotonic workspace generation matching the plan bindings.

state_binding: String

State binding matching the plan bindings.

side_effect_watermark: u64

Side-effect watermark matching the plan bindings.

attempts: Vec<RoutingAttemptReceipt>

Provider attempts in exact execution order.

selected_candidate_id: Option<String>

The ID of the candidate that succeeded, when outcome is Selected.

outcome: RoutingReceiptOutcome

Terminal reducer state for the step.

Implementations

impl RoutingReceipt

pub fn new( plan: &RoutingPlan, attempts: Vec<RoutingAttemptReceipt>, selected_candidate_id: Option<String>, outcome: RoutingReceiptOutcome, ) -> Result<Self, RoutingError>

Constructs a receipt, validates it against the plan, and verifies all invariants.

pub fn validate(&self, plan: &RoutingPlan) -> Result<(), RoutingError>

Validates schema, algorithm, plan binding, attempt sequence, and outcome consistency.

pub fn digest(&self, plan: &RoutingPlan) -> Result<String, RoutingError>

Computes a canonical BLAKE3 digest over the validated receipt JSON.

Trait Implementations

impl Clone for RoutingReceipt

fn clone(&self) -> RoutingReceipt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RoutingReceipt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RoutingReceipt

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RoutingReceipt

impl PartialEq for RoutingReceipt

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RoutingReceipt

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 RoutingReceipt