Struct CandidateTraceHeader

Source

pub struct CandidateTraceHeader {
    pub format_version: u32,
    pub configured_input: String,
    pub configured_input_digest: CandidateTraceDigest,
    pub execution_policy: CandidateTraceExecutionPolicy,
    pub execution_policy_digest: CandidateTraceDigest,
    pub execution_policy_complete: bool,
    pub input_provenance: Option<CandidateTraceInputProvenance>,
    pub input_provenance_digest: Option<CandidateTraceDigest>,
    pub qualified_run_provenance: Option<QualifiedCandidateTraceRunProvenance>,
    pub resolved_phase_plan: CandidateTracePhasePlan,
    pub resolved_phase_plan_digest: CandidateTraceDigest,
    pub resolved_phase_plan_complete: bool,
}

Expand description

Immutable provenance emitted once for an opt-in candidate trace.

Fields§

§format_version: u32§configured_input: String

Canonical TOML from the exact SolverConfig supplied to the run.

This is deliberately named configured input, not “effective configuration”: effective execution behavior is represented by Self::execution_policy and Self::resolved_phase_plan.

§configured_input_digest: CandidateTraceDigest§execution_policy: CandidateTraceExecutionPolicy

Actual resolved solver policy, including entrypoint defaults injected by the configured runtime path.

§execution_policy_digest: CandidateTraceDigest§execution_policy_complete: bool

False means the execution policy came from an arbitrary generic Rust termination and cannot qualify as exact work-equivalence evidence.

§input_provenance: Option<CandidateTraceInputProvenance>

Optional immutable model/instance/initial-state provenance supplied by the entrypoint.

§input_provenance_digest: Option<CandidateTraceDigest>§qualified_run_provenance: Option<QualifiedCandidateTraceRunProvenance>

Present only when the caller explicitly requested a qualified diagnostic run. It repeats the exact immutable attestation rather than requiring consumers to infer qualification from optional fields.

§resolved_phase_plan: CandidateTracePhasePlan§resolved_phase_plan_digest: CandidateTraceDigest§resolved_phase_plan_complete: bool

False means at least one phase supplied only opaque provenance and cannot qualify as an exact work-equivalence comparison.

Struct CandidateTraceHeader Copy item path

Fields§

Implementations§

impl CandidateTraceHeader

pub fn new( configured_input: String, execution_policy: CandidateTraceExecutionPolicy, resolved_phase_plan: CandidateTracePhasePlan, input_provenance: Option<CandidateTraceInputProvenance>, ) -> Self

pub fn new_qualified( configured_input: String, execution_policy: CandidateTraceExecutionPolicy, resolved_phase_plan: CandidateTracePhasePlan, qualified_run_provenance: QualifiedCandidateTraceRunProvenance, ) -> Self

Trait Implementations§

impl Clone for CandidateTraceHeader

fn clone(&self) -> CandidateTraceHeader

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

impl Debug for CandidateTraceHeader

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

impl Eq for CandidateTraceHeader

impl PartialEq for CandidateTraceHeader

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

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

impl StructuralPartialEq for CandidateTraceHeader

Auto Trait Implementations§

impl Freeze for CandidateTraceHeader

impl RefUnwindSafe for CandidateTraceHeader

impl Send for CandidateTraceHeader

impl Sync for CandidateTraceHeader

impl Unpin for CandidateTraceHeader

impl UnsafeUnpin for CandidateTraceHeader

impl UnwindSafe for CandidateTraceHeader

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

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

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

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

type Error = Infallible

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

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

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

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

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Struct CandidateTraceHeader

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

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

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

impl<T> CloneToUninit for T
where T: Clone,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

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

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

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,