Struct ClauseTrace 

pub struct ClauseTrace {
    pub label: String,
    pub result: bool,
    pub children: Vec<ClauseTrace>,
}

Tree-shaped trace from one debug evaluation against a single EvalContext. Mirrors the AST of the predicate that was evaluated, except And / Or short-circuits drop unevaluated siblings — the trace only carries clauses that actually ran.

Phase 6 of CAPABILITY_ENHANCEMENTS_PLAN.md. Returned by Predicate::evaluate_with_trace.

Fields

label: String

One-line summary of the clause ("Exists(hardware.gpu)", "And(3 clauses)", "MetadataEquals(intent=ml-training)"). Aggregated stats merge by label, so two structurally-equal leaf clauses share one entry in the report.

result: bool

Final result of evaluating this clause.

children: Vec<ClauseTrace>

Children traces in evaluation order. For And / Or this is the planner-ordered (cost-ascending) sequence of children that actually ran (short-circuited siblings are absent). Not has exactly one child. Leaves have an empty children list.

Trait Implementations

impl Clone for ClauseTrace

fn clone(&self) -> ClauseTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClauseTrace

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

Formats the value using the given formatter.

impl PartialEq for ClauseTrace

fn eq(&self, other: &ClauseTrace) -> 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 StructuralPartialEq for ClauseTrace