Struct VerifiedResultArtifactBinding 

pub struct VerifiedResultArtifactBinding { /* private fields */ }

One immutable file or manifest binding recovered from the sealed result.

The private marker and fields prevent external construction. In particular, this external doctest must not compile:

use u280_evidence_oracle::VerifiedResultArtifactBinding;
let _forged = VerifiedResultArtifactBinding {
    file: "SHA256SUMS".to_owned(),
    bytes: 1,
    sha256: "00".repeat(32),
};

This proof fragment is not deserializable:

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

It is also deliberately non-Clone:

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

Implementations

impl VerifiedResultArtifactBinding

pub fn file(&self) -> &str

Exact producer-owned filename.

pub fn bytes(&self) -> u64

Exact byte count.

pub fn sha256(&self) -> &str

Lowercase SHA-256 digest.

Trait Implementations

impl Debug for VerifiedResultArtifactBinding

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

Formats the value using the given formatter.

impl PartialEq for VerifiedResultArtifactBinding

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for VerifiedResultArtifactBinding

impl StructuralPartialEq for VerifiedResultArtifactBinding