Struct PhaseIdentity 

pub struct PhaseIdentity {
    pub yaml_path: Vec<PathSegment>,
    pub coords: String,
    pub phase_hash: Option<[u8; 32]>,
}

Per-phase identity, used by the checkpoint writer to record “what phase is this” and by the resume planner to match a saved entry to a freshly-pre-mapped phase.

(yaml_path, coords) together are necessary for a saved entry to apply to a new pre-map; phase_hash (when present) is the sufficiency check. See SRD-44 §“Identity matching at resume” for the full contract.

coords is the canonical scope-coordinate-path string (the leaf-first striated form produced by polydat::kernel::format_scope_coordinate_path). Stored as a string rather than typed Vec<ScopeCoord> because:

• the runtime already produces it for every phase via parent_kernel.scope_coordinates() + the formatter,
• it serialises trivially to JSON,
• identity comparison reduces to string equality, and
• the formatting function is the canonical identity producer for both pre-map and runtime — they cannot disagree without the formatter itself drifting.

Fields

yaml_path: Vec<PathSegment>

coords: String

phase_hash: Option<[u8; 32]>

SHA-256 of the canonical re-emission of the phase’s compiled PolydatProgram. None when checkpoint.hashed = false was declared on the workload (operator opt-out per SRD-44); resume falls back to tuple-only match in that case.

Implementations

impl PhaseIdentity

pub fn matches_structural(&self, other: &PhaseIdentity) -> bool

Tuple-only match — (yaml_path, coords) equal. Necessary precondition for any further match check; if this returns false, the saved entry simply doesn’t apply to the candidate phase.

pub fn matches_full(&self, other: &PhaseIdentity) -> bool

Full match — tuple-equal AND, when both sides carry a hash, hashes equal too. The “both carry a hash” bit covers the operator opt-out (checkpoint.hashed = false): in that case the saved entry has None and the candidate may also have None, in which case tuple-only equivalence is what the operator asked for. Mismatched-hash → invalidate this single phase per SRD-44 §“Identity matching at resume” item 3.

Trait Implementations

impl Clone for PhaseIdentity

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PhaseIdentity

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PhaseIdentity

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for PhaseIdentity

impl PartialEq for PhaseIdentity

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for PhaseIdentity

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for PhaseIdentity