Struct EvaluationContextBinding 

pub struct EvaluationContextBinding {
    pub digest: ContentDigest,
    pub operation_id: String,
    pub execution_input: ContentDigest,
    pub context_state: ContentDigest,
    pub context_policy: ContentDigest,
    pub context_plan: ContentDigest,
    pub rendered_snapshot: ContentDigest,
    pub prompt_measurement: ContentDigest,
    pub provider_route: ContentDigest,
    pub cache_prefix: Option<ContentDigest>,
}

The verifiable context projection used by one evaluated operation.

Context bytes remain host-owned evidence. The evaluation ledger binds only the canonical execution-input, state, plan, rendered projection, route, and measurement digests so a replay can prove which context was evaluated without making the kernel a context store.

Fields

digest: ContentDigest

operation_id: String

execution_input: ContentDigest

context_state: ContentDigest

context_policy: ContentDigest

context_plan: ContentDigest

rendered_snapshot: ContentDigest

prompt_measurement: ContentDigest

provider_route: ContentDigest

cache_prefix: Option<ContentDigest>

Implementations

impl EvaluationContextBinding

pub fn from_execution_input(input: &ContextExecutionInput) -> Self

Project a verified ContextExecutionInput into the evaluation evidence graph.

pub fn new( operation_id: impl Into<String>, execution_input: ContentDigest, context_state: ContentDigest, context_policy: ContentDigest, context_plan: ContentDigest, rendered_snapshot: ContentDigest, prompt_measurement: ContentDigest, provider_route: ContentDigest, cache_prefix: Option<ContentDigest>, ) -> Result<Self, EvolutionError>

pub fn verify_digest(&self) -> Result<(), EvolutionError>

Trait Implementations

impl Clone for EvaluationContextBinding

fn clone(&self) -> EvaluationContextBinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvaluationContextBinding

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EvaluationContextBinding

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for EvaluationContextBinding

impl PartialEq for EvaluationContextBinding

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for EvaluationContextBinding

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 EvaluationContextBinding