Enum SelectStrategy 

pub enum SelectStrategy {
    Cartesian,
    Explicit(Vec<Vec<usize>>),
}

How the permutation set is drawn from the axes.

Closed-set discriminator: see SelectStrategyKind for the payload-stripped view that drives as_str / Display / FromStr over SelectStrategyKind::ALL. Adding a third strategy (e.g. Latin for a Latin-hypercube sweep or Random { seed, count } for a seeded random sample) lands at one variant here + one SelectStrategyKind entry + one kind() arm + one SelectStrategy::selection_size_for arm, exhaustively checked by the compiler AND by the per-variant truth-table tests below.

Sibling closed-set algebra to every other typed surface on the tatara-process matrix axis: MatrixTarget::ALL, BreatheDimensionKind::ALL, crate::phase::ProcessPhase::ALL, crate::lifetime::TeardownPolicy::ALL, crate::lifetime_clock::TerminateReasonKind::ALL.

Variants

Cartesian

The full cartesian product of every axis. N envs = Π |axisᵢ|.

Explicit(Vec<Vec<usize>>)

An explicit list of coordinate tuples — one entry per axis, each a 0-based index into that axis’s values. Lets the operator hand-pick a sparse subset instead of the full product.

Implementations

impl SelectStrategy

pub const fn kind(&self) -> SelectStrategyKind

Discriminator projection — strips the payload, yielding the closed-set kind. Used by the kind-sweep tests and by any future consumer that wants to group strategies by category without pattern-matching the full payload (e.g. metrics labels, tatara-check enumerators, future status.conditions[].reason reason-keys, LSP completion lists). Sibling shape to crate::lifetime_clock::TerminateReason::kind.

pub fn selection_size_for(&self, axes_lengths: &[usize]) -> usize

Count the selection size against axes_lengths (one entry per matrix axis, the count of values for that axis), WITHOUT materializing the coordinate set. The closed-set dispatch IS the lift: for Self::Cartesian the answer is the product of axis lengths (so a 10×10×… sweep counts in O(N) instead of allocating the whole product just to call .len()); for Self::Explicit it’s the count of in-bounds coordinate tuples (one in-bounds index per axis).

Routes through [coords_in_bounds_against] for the Explicit case so the in-bounds check binds at ONE site that the EnvMatrixSpec::coord_in_bounds adapter and the EnvMatrixSpec::coordinates filter also project through — a regression that drifts ONE site’s bounds-check semantics (e.g. starts admitting equal indices) lands at the shared helper, not at three byte-identical sites.

Aligns with the pre-lift cartesian empty-axes semantics: empty axes_lengths ⇒ 1 (one empty coord), any zero length ⇒ 0 (no env can range over no values), otherwise the product.

Saturating fold so a sweep whose product exceeds usize::MAX saturates to usize::MAX rather than panicking in debug builds or silently wrapping in release — either of which would mis-cap downstream when EnvMatrixSpec::expand reads the size as a budget hint. Saturation gives the operator a deterministic “as many as fit” signal at the top of the usize range, NOT a wraparound to a small number that would silently under-spawn.

Trait Implementations

impl Clone for SelectStrategy

fn clone(&self) -> SelectStrategy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SelectStrategy

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

Formats the value using the given formatter.

impl Default for SelectStrategy

fn default() -> SelectStrategy

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SelectStrategy

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for SelectStrategy

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl PartialEq for SelectStrategy

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SelectStrategy

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 SelectStrategy