Skip to main content

VerifiedResultRequest

Struct VerifiedResultRequest 

Source
pub struct VerifiedResultRequest { /* private fields */ }
Expand description

Semantically revalidated fields for one complete oracle request.

Its private fields and seal prevent external struct construction:

use u280_evidence_oracle::VerifiedResultRequest;
let _forged = VerifiedResultRequest {};

This type is deliberately not deserializable by callers:

use serde::de::DeserializeOwned;
use u280_evidence_oracle::VerifiedResultRequest;
fn require_deserialize<T: DeserializeOwned>() {}
require_deserialize::<VerifiedResultRequest>();

It is also deliberately non-Clone:

use u280_evidence_oracle::VerifiedResultRequest;
fn require_clone<T: Clone>() {}
require_clone::<VerifiedResultRequest>();

Implementations§

Source§

impl VerifiedResultRequest

Source

pub fn sample(&self) -> &str

Canonical sample path inside the retained transport archive.

Source

pub fn phase(&self) -> &str

Launch phase (warmup or measured).

Source

pub fn sample_index(&self) -> usize

Zero-based sample index within the batch and phase.

Source

pub fn request_sha256(&self) -> &str

SHA-256 of the request’s exact oracle-request.json bytes.

Source

pub fn run_id(&self) -> &str

Coordination run identifier checked against the result-wide run.

Source

pub fn coordination_intent(&self) -> &VerifiedResultArtifactBinding

Request-local intent binding checked against the result-wide root.

Source

pub fn coordination_burn(&self) -> &VerifiedResultArtifactBinding

Request-local authorization-burn binding.

Source

pub fn coordination_receipt(&self) -> &VerifiedResultArtifactBinding

Request-local post-lock coordination receipt binding.

Source

pub fn batch(&self) -> u32

Requested jobs in this launch.

Source

pub fn nonce_hex(&self) -> &str

Canonical request nonce.

Source

pub fn reservation_record_sha256(&self) -> &str

Reservation-record SHA-256 bound by the request.

Source

pub fn xclbin(&self) -> &VerifiedXclbinBinding

Exact hardware xclbin binding.

Source

pub fn hardware_identity_pre_run(&self) -> &VerifiedResultArtifactBinding

Exact pre-run native-XRT identity binding.

Source

pub fn input(&self) -> &VerifiedRequestArtifactBinding

Request-authenticated input artifact binding.

Source

pub fn output(&self) -> &VerifiedRequestArtifactBinding

Request-authenticated full output-allocation binding.

Source

pub fn jobs(&self) -> u32

Complete job count represented by the transcript.

Source

pub fn matched_jobs(&self) -> u32

Transcript jobs whose expected and observed digests match.

Source

pub fn mismatched_jobs(&self) -> u32

Transcript jobs whose expected and observed digests differ.

Source

pub fn padding_valid(&self) -> bool

Whether every reserved output byte retained its required poison value.

Source

pub fn cryptographic_oracle_valid(&self) -> bool

Recomputed conjunction of complete payload and padding validity.

Trait Implementations§

Source§

impl Debug for VerifiedResultRequest

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for VerifiedResultRequest

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Eq for VerifiedResultRequest

Source§

impl StructuralPartialEq for VerifiedResultRequest

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.