Struct EnvMatrixSpec 

pub struct EnvMatrixSpec {
    pub base: EphemeralSpec,
    pub axes: Vec<MatrixAxis>,
    pub select: SelectStrategy,
    pub budget: MatrixBudget,
    pub breathe: Option<BreatheEnvelope>,
}

EnvMatrixSpec — authors (defenvmatrix …). Expands to a set of named EphemeralSpec values via EnvMatrixSpec::expand.

Fields

base: EphemeralSpec

The base ephemeral environment every permutation is derived from.

axes: Vec<MatrixAxis>

The permutation axes. Each axis ranges over a list of values; the generated set is the selection (cartesian by default) over all axes.

select: SelectStrategy

Selection strategy over the axes’ product. Defaults to Cartesian.

budget: MatrixBudget

Shared cost / concurrency budget across the whole sweep. The cost_ceiling is the envelope handed to breathe so the entire permutation set stays cost-bounded.

breathe: Option<BreatheEnvelope>

Optional breathe envelope. When set, EnvMatrixSpec::breathe_bands emits one breathe Band CR per dimension per env, so each generated environment auto-scales inside cost-bounded floor/ceiling limits (idle-shrink → near-floor, breathe-up on demand). This is how the sweep “fully leverages breathability”: author the envelope once, every permutation inherits it.

Implementations

impl EnvMatrixSpec

pub fn coordinates(&self) -> Vec<Vec<usize>>

The selection coordinates (one Vec per generated env; each is one 0-based value index per axis), before the max_envs cap.

pub fn selection_size(&self) -> usize

How many environments this matrix would generate before the max_envs cap (the full selection size). Routes through SelectStrategy::selection_size_for so the count is read off the typed strategy projection WITHOUT materializing the coordinate set — a 10-axis Cartesian sweep over 10 values each counts in O(N) instead of allocating a 10-billion-entry Vec<Vec<usize>> just to call .len(). Pinned by selection_size_avoids_materializing_cartesian_product.

pub fn expand(&self, matrix_name: &str) -> Vec<NamedEphemeral>

Expand the matrix into the concrete, capped set of named ephemeral specs. matrix_name is the (defenvmatrix <name> …) name — the prefix for every generated env name.

pub fn breathe_bands(&self, env: &NamedEphemeral) -> Vec<Value>

Emit the breathe Band CRs for one generated env — one per envelope dimension (MemoryBand / CpuBand / StorageBand). Empty when no :breathe envelope is declared. Each band targets the env’s Helm release (a Deployment by default) and inherits the sweep’s :budget :cost-ceiling as a breathe.pleme.io/cost-ceiling annotation, so the controller gates the whole sweep against one cost budget.

Trait Implementations

impl Clone for EnvMatrixSpec

fn clone(&self) -> EnvMatrixSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EnvMatrixSpec

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EnvMatrixSpec

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for EnvMatrixSpec

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 Serialize for EnvMatrixSpec

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TataraDomain for EnvMatrixSpec

const KEYWORD: &'static str = "defenvmatrix"

The Lisp keyword (e.g., "defmonitor").

fn compile_from_args(args: &[Sexp]) -> Result<Self>

Parse the argument list (everything after the keyword) into Self.

fn compile_from_sexp(form: &Sexp) -> Result<Self, LispError>

Parse a complete form; validates the head symbol matches KEYWORD.