Struct ElasticConfig 

pub struct ElasticConfig {
    pub expensive_gates: Vec<String>,
    pub lambda: f64,
    pub alpha: Option<f64>,
    pub delta: Option<f64>,
    pub calibration_id: Option<String>,
}

Elastic-verification serving config (ADR 0008 Phase 3). When present, the gates named in expensive_gates are treated as skippable: a rung serves without running them when the visible (cheap, always-run) gate score is >= lambda — the elastic three-regime rule, validated offline (firstpass-bench --elastic, artifact docs/benchmarks/elastic-validation.txt).

The load-bearing invariant (ADR 0008): the un-verified serves carry the same distribution-free served-failure bound as the verified ones only when lambda was conformally calibrated on representative data and the workload has not drifted. lambda is therefore operator-supplied from a calibration run — obtain it from firstpass calibrate / the offline --elastic harness, never hand-tuned. alpha/delta/calibration_id are recorded verbatim on every skip receipt so an auditor can check the bound held against realized deferred outcomes.

Default-off: absent config = today’s uniform cascade, byte-identical. Applies to the serial engine only; if speculation > 0 is also configured the expensive gates still run (conservative — running more gates never weakens the bound).

Fields

expensive_gates: Vec<String>

Gate ids that may be skipped when the visible signal clears lambda. Ids not listed here are “visible” (cheap, e.g. non-empty/json-valid/schema) and always run — they are the probe signal. Must be non-empty; validated by Config::parse.

lambda: f64

Calibrated skip threshold λ: serve without the expensive gates iff the visible gate score is >= lambda. Must be finite and in [0, 1]; validated by Config::parse.

alpha: Option<f64>

Target served-failure rate α the λ was calibrated at. Recorded on every skip receipt for audit; not enforced per-request (the calibration already baked it into λ).

delta: Option<f64>

Confidence level (1−δ) the λ was calibrated at. Recorded on every skip receipt for audit.

calibration_id: Option<String>

Provenance id of the calibration run that produced λ. Recorded on every skip receipt so the skip traces back to the exact conformal calibration that authorized it.

Trait Implementations

impl Clone for ElasticConfig

fn clone(&self) -> ElasticConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ElasticConfig

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ElasticConfig

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ElasticConfig

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ElasticConfig