Enum RecursionMode 

pub enum RecursionMode {
    Down,
    Up,
    Both,
}

Which direction(s) of recursive reasoning the meta core emits.

Down is the default and reproduces the pre-knob trace exactly, so enabling the upward pass is always an explicit opt-in.

Variants

Down

Emit the downward decomposition reasoning only (default, behavior-preserving).

Up

Emit the upward construction reasoning only.

Both

Emit both the downward and the upward reasoning.

Implementations

impl RecursionMode

pub const fn emits_downward(self) -> bool

Whether the downward decomposition reasoning (R337) should be emitted.

pub const fn emits_upward(self) -> bool

Whether the upward construction pass should be emitted.

pub const fn slug(self) -> &'static str

The stable slug used in traces and config parsing.

pub fn from_slug(slug: &str) -> Option<Self>

Parse a slug back into a mode, accepting the canonical spellings.

Trait Implementations

impl Clone for RecursionMode

fn clone(&self) -> RecursionMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RecursionMode

impl Debug for RecursionMode

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

Formats the value using the given formatter.

impl Default for RecursionMode

fn default() -> RecursionMode

Returns the “default value” for a type.

impl Eq for RecursionMode

impl PartialEq for RecursionMode

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RecursionMode