Struct AdkEvaluationReceipt 

pub struct AdkEvaluationReceipt {
    pub schema_version: u32,
    pub protocol: String,
    pub subject_version: String,
    pub generated_at: String,
    pub commands: Vec<String>,
    pub assertions: Vec<String>,
    pub claims: AdkEvaluationClaims,
    pub sources: Vec<AdkEvaluationSource>,
    pub source_digest: String,
    pub output_digest: String,
    pub receipt_digest: String,
}

Available on crate feature computer-use only.

Tamper-evident release-evaluation receipt for a computer-use subject.

Seal a populated receipt with AdkEvaluationReceipt::seal to compute its canonical digest, and validate one with AdkEvaluationReceipt::verify.

Fields

schema_version: u32

Receipt schema version (must be 1).

protocol: String

Protocol identifier (adk-rust-computer-use-v8-evaluation).

subject_version: String

Version of the evaluated subject.

generated_at: String

RFC 3339 timestamp the receipt was generated.

commands: Vec<String>

Commands executed to produce the evidence.

assertions: Vec<String>

Distinct assertions the evidence proves.

claims: AdkEvaluationClaims

Claims re-checked on verification.

sources: Vec<AdkEvaluationSource>

Source file digests backing the evidence.

source_digest: String

sha256:-prefixed digest over the sources.

output_digest: String

sha256:-prefixed digest over the captured output.

receipt_digest: String

Canonical digest over the whole receipt; empty until sealed.

Implementations

impl AdkEvaluationReceipt

pub fn seal(self) -> Result<AdkEvaluationReceipt, Error>

Compute and set the canonical receipt_digest over the whole receipt.

Errors

Returns a serde_json::Error if the receipt cannot be serialized to JSON for canonicalization.

pub fn verify(&self) -> bool

Validate schema, protocol, claims, and the canonical digest.

Returns true only when every claim holds (tests passed, auth bound, multimodal evidence present, no duplicate mutations, at least two crash points, non-empty sources) and the receipt digest matches a fresh seal.

Trait Implementations

impl Clone for AdkEvaluationReceipt

fn clone(&self) -> AdkEvaluationReceipt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AdkEvaluationReceipt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AdkEvaluationReceipt

fn deserialize<__D>( __deserializer: __D, ) -> Result<AdkEvaluationReceipt, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for AdkEvaluationReceipt

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AdkEvaluationReceipt

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AdkEvaluationReceipt