Struct ExplorerCtx 

pub struct ExplorerCtx {
    pub active: bool,
    pub is_child: bool,
    pub depth: u32,
    pub max_depth: u32,
    pub current_seed: u64,
    pub recipe: Vec<(u64, u64)>,
    pub timelines_per_split: u32,
    pub adaptive: Option<AdaptiveConfig>,
    pub parallelism: Option<Parallelism>,
    pub warm_start: bool,
}

Exploration state for the current process.

Fields

active: bool

Whether exploration is active.

is_child: bool

Whether this process is a forked child.

depth: u32

Current fork depth (0 = root).

max_depth: u32

Maximum allowed fork depth.

current_seed: u64

Current seed for this timeline.

recipe: Vec<(u64, u64)>

Recipe: sequence of (rng_call_count, child_seed) pairs describing the fork points that led to this timeline.

timelines_per_split: u32

Number of children to fork at each discovery point.

adaptive: Option<AdaptiveConfig>

Adaptive forking configuration (None = fixed-count mode).

parallelism: Option<Parallelism>

Parallelism configuration (None = sequential).

warm_start: bool

Whether this seed is a warm start (explored map has prior coverage).

Implementations

impl ExplorerCtx

pub fn inactive() -> Self

Create an inactive context (exploration disabled).