Struct CandidateTraceExecutionPolicy 

pub struct CandidateTraceExecutionPolicy {
    pub kind: String,
    pub attributes: Vec<CandidateTracePhaseAttribute>,
    pub opaque: bool,
}

The execution policy the solver actually installed for this run.

Configuration input is useful provenance, but it is not itself the execution policy: the configured entrypoint can inject a fallback time limit, discard an invalid score target, or compose a criterion with a time guard. This value records that resolved result explicitly. A generic crate::solver::Solver whose termination is supplied as an arbitrary Rust value is intentionally opaque unless its caller supplies a canonical policy through the internal configured-run seam.

Fields

kind: String

attributes: Vec<CandidateTracePhaseAttribute>

Sorted, unique material policy attributes. These identify the installed termination composition rather than a display-only summary.

opaque: bool

Implementations

impl CandidateTraceExecutionPolicy

pub fn known<K, V, I>(kind: impl Into<String>, attributes: I) -> Self

where I: IntoIterator<Item = (K, V)>, K: Into<String>, V: Into<String>,

pub fn opaque(kind: impl Into<String>) -> Self

pub fn opaque_with_attributes<K, V, I>( kind: impl Into<String>, attributes: I, ) -> Self

where I: IntoIterator<Item = (K, V)>, K: Into<String>, V: Into<String>,

Records observable policy fields while explicitly declining to claim complete policy provenance. This is used by the generic Solver entrypoint: with_time_limit is observable and must be retained, but the caller’s arbitrary Rust termination remains uninspectable.

pub const fn is_complete(&self) -> bool

pub fn canonical_bytes(&self) -> Vec<u8>

Trait Implementations

impl Clone for CandidateTraceExecutionPolicy

fn clone(&self) -> CandidateTraceExecutionPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CandidateTraceExecutionPolicy

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

Formats the value using the given formatter.

impl Eq for CandidateTraceExecutionPolicy

impl PartialEq for CandidateTraceExecutionPolicy

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CandidateTraceExecutionPolicy