Enum SkippedPhaseDisplay 

pub enum SkippedPhaseDisplay {
    Elide,
    Mark,
    Prune,
}

SRD-? — how a FULLY-SKIPPED phase (every cycle if:-gated off, or pre-entry pruned) is represented across the plan, traversal, and readout surfaces. Selected once per run via the skipped_phases param; read by the runtime’s completion fire, the executor’s pre-entry gate, and the TUI’s tree fold.

Variants

Elide

Traversed as normal, but elided from the readout and the completed-phase tree — a gated-off phase leaves no trace.

Mark

Traversed as normal and kept in the plan/readout, explicitly rendered as skipped (⊘ [name] gated off). The default: visible but unmistakable.

Prune

Not even traversed: when every op declares if: and all gates evaluate false at phase entry, the phase is skipped before dispatch — elided from plan, traversal, and readout. (Post-hoc fully-skipped phases — gates that opened false mid-run — are elided as in Elide.)

Implementations

impl SkippedPhaseDisplay

pub fn parse(s: &str) -> Option<Self>

Trait Implementations

impl Clone for SkippedPhaseDisplay

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SkippedPhaseDisplay

impl Debug for SkippedPhaseDisplay

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

Formats the value using the given formatter.

impl Default for SkippedPhaseDisplay

fn default() -> Self

Returns the “default value” for a type.

impl Eq for SkippedPhaseDisplay

impl PartialEq for SkippedPhaseDisplay

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SkippedPhaseDisplay