Struct CandidateTraceInputProvenance 

pub struct CandidateTraceInputProvenance {
    pub schema_digest: CandidateTraceExternalDigest,
    pub instance_digest: CandidateTraceExternalDigest,
    pub initial_state_digest: CandidateTraceExternalDigest,
    pub core_tree_digest: Option<CandidateTraceExternalDigest>,
    pub build_digest: Option<CandidateTraceExternalDigest>,
    pub attestation: CandidateTraceInputAttestation,
}

Immutable caller-supplied context for a diagnostic run.

The three required digests identify the compiled schema/model, source instance, and imported initial working state. Optional core-tree and build digests let a harness pin the executable source as well. This is an attestation hook, not an assertion by SolverForge that two foreign models have equivalent semantics; consumers must inspect Self::attestation and independently verify external inputs before qualifying a comparison.

Fields

schema_digest: CandidateTraceExternalDigest

instance_digest: CandidateTraceExternalDigest

initial_state_digest: CandidateTraceExternalDigest

core_tree_digest: Option<CandidateTraceExternalDigest>

build_digest: Option<CandidateTraceExternalDigest>

attestation: CandidateTraceInputAttestation

Implementations

impl CandidateTraceInputProvenance

pub fn externally_attested( schema_digest: CandidateTraceExternalDigest, instance_digest: CandidateTraceExternalDigest, initial_state_digest: CandidateTraceExternalDigest, producer: impl Into<String>, ) -> Self

pub fn with_core_tree_digest(self, digest: CandidateTraceExternalDigest) -> Self

pub fn with_build_digest(self, digest: CandidateTraceExternalDigest) -> Self

Trait Implementations

impl Clone for CandidateTraceInputProvenance

fn clone(&self) -> CandidateTraceInputProvenance

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CandidateTraceInputProvenance

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

Formats the value using the given formatter.

impl Eq for CandidateTraceInputProvenance

impl PartialEq for CandidateTraceInputProvenance

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CandidateTraceInputProvenance