Struct VerificationCadence 

pub struct VerificationCadence {
    pub max_mutations_between_checks: u32,
    pub high_risk_mutations_between_checks: u32,
}

A bounded adaptive verification cadence (PSP-9 system 6).

Three boundaries are normative: the effect boundary runs at every mutation and is never debounced; the interleaved evidence boundary runs after at most max_mutations_between_checks admitted mutations (H); the gate boundary runs the complete suite before every gate decision. Runtime tuning may optimize within these bounds; it can never create an unbounded unchecked interval (Paper II Theorem 3).

Fields

max_mutations_between_checks: u32

H: admitted mutations before touched-scope diagnostics must run.

high_risk_mutations_between_checks: u32

H for high/critical-risk effects; the PSP fixes this at 1.

Implementations

impl VerificationCadence

pub fn validate(&self) -> Result<(), SdkError>

Validate the bounds: both must be at least 1 and finite by type.

Trait Implementations

impl Clone for VerificationCadence

fn clone(&self) -> VerificationCadence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationCadence

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

Formats the value using the given formatter.

impl Default for VerificationCadence

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VerificationCadence

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VerificationCadence

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for VerificationCadence

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for VerificationCadence

impl StructuralPartialEq for VerificationCadence