Struct VerifiedSealedResult 

pub struct VerifiedSealedResult { /* private fields */ }

Opaque, descriptor-retaining view of a receipt-bound Phase-B oracle result.

It cannot be constructed or deserialized externally, and it intentionally does not implement Clone:

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

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

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

The returned values describe historical evidence. Keep this guard alive and call Self::revalidate immediately before the promoter publishes its own sealed result. That call uses the same retained result and transport root descriptors; path-only snapshots are not substituted.

Implementations

impl VerifiedSealedResult

pub fn profile(&self) -> &'static str

Fixed cryptographic profile accepted by this typed verifier.

pub fn transport_root(&self) -> &Path

Canonical retained transport root.

pub fn transport_manifest(&self) -> &VerifiedResultArtifactBinding

Exact transport SHA256SUMS binding validated by the original oracle.

pub fn final_hardware_identity(&self) -> &VerifiedResultArtifactBinding

Exact final native-XRT hardware identity binding.

pub fn hardware_card_identity(&self) -> &VerifiedHardwareCardIdentity

Strict card and programmed-image identity proof.

pub fn performance(&self) -> &VerifiedPerformanceObservations

Independently parsed exact performance observations.

pub fn hardware_completion_promotable(&self) -> bool

Final hardware promotion remains the later route/card combiner’s job.

pub fn run_id(&self) -> &str

Coordination run identifier shared by every request.

pub fn coordination_intent(&self) -> &VerifiedResultArtifactBinding

Result-wide coordination intent root.

pub fn coordination_burn(&self) -> &VerifiedResultArtifactBinding

Result-wide durable authorization-burn root.

pub fn coordination_receipt(&self) -> &VerifiedResultArtifactBinding

Result-wide post-lock coordination receipt root.

pub fn samples(&self) -> usize

Number of complete request samples.

pub fn jobs(&self) -> u64

Number of transcript jobs across all samples.

pub fn matched_jobs(&self) -> u64

Number of matching transcript jobs.

pub fn mismatched_jobs(&self) -> u64

Number of mismatching transcript jobs.

pub fn all_padding_valid(&self) -> bool

Conjunction of every request’s padding decision.

pub fn cryptographic_oracle_valid(&self) -> bool

Recomputed complete cryptographic decision.

pub fn requests(&self) -> &[VerifiedResultRequest]

Revalidated request-level joins and decisions.

pub fn result_directory(&self) -> &Path

Canonical result directory bound by the exact creation receipt.

pub fn result_manifest(&self) -> &VerifiedResultArtifactBinding

Result directory’s exact SHA256SUMS creation-time binding.

pub fn creation_receipt(&self) -> &VerifiedOracleReceiptCapture

Descriptor-retained exact creation receipt.

pub fn revalidate(&self) -> Result<()>

Revalidates the complete result and transport through their originally retained roots.

Errors

Returns an error if either absolute root path identity, tree, manifest, or any covered file changed since this guard was created.

No filesystem API can prevent the owner from changing a path after this method returns. A promoter must therefore publish the receipt and both manifest identities, not claim that either path remains immutable.

Trait Implementations

impl Debug for VerifiedSealedResult

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

Formats the value using the given formatter.