Enum CandidateTraceIdentity 

pub enum CandidateTraceIdentity {
    Operation(CandidateTraceOperationIdentity),
    Composite(CandidateTraceCompositeIdentity),
}

Canonical, owned identity for one traced candidate.

This is deliberately structured rather than debug-formatted or pointer based. The grammar supports a leaf operation with its own logical scope and an ordered composite of independently scoped child identities. That means grouped and cartesian moves do not have to flatten cross-descriptor edits into a misleading parent scope. The framing preserves every field and every list boundary, so a trace consumer can compare exact candidate ordering without relying on a process-local hash.

Variants

Operation(CandidateTraceOperationIdentity)

One logical operation scoped to a descriptor and, when applicable, a planning variable.

Composite(CandidateTraceCompositeIdentity)

An ordered composition of logical child operations. The composite has no implicit descriptor/variable scope; every child carries its own.

Implementations

impl CandidateTraceIdentity

pub fn operation<I, T>( descriptor_index: usize, operation: impl Into<String>, components: I, ) -> Self

where I: IntoIterator<Item = T>, T: Into<CandidateTraceCoordinate>,

pub fn logical_move<I, T>( descriptor_index: usize, variable_name: impl Into<String>, family: impl Into<String>, coordinates: I, ) -> Self

where I: IntoIterator<Item = T>, T: Into<CandidateTraceCoordinate>,

pub fn composite( operation: impl Into<String>, children: impl IntoIterator<Item = CandidateTraceIdentity>, ) -> Self

Builds an ordered composite identity without inventing a shared scope for child operations that may target different descriptors/variables.

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

Trait Implementations

impl Clone for CandidateTraceIdentity

fn clone(&self) -> CandidateTraceIdentity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CandidateTraceIdentity

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

Formats the value using the given formatter.

impl Eq for CandidateTraceIdentity

impl PartialEq for CandidateTraceIdentity

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CandidateTraceIdentity