Struct WorkloopSpec 

pub struct WorkloopSpec { /* private fields */ }

The declared shape of one workloop, as the engine takes it: arming, invariants, and the retention window — all REQUIRED parameters, refused when absent or degenerate (the estate rule: no assumed defaults).

Implementations

impl WorkloopSpec

pub fn new( arming: WorkloopArming, invariants: Vec<InvariantSpec>, retention: Duration, ) -> Result<Self, WorkloopSpecError>

Builds a validated workloop spec.

Errors

Refuses: no invariants; duplicate/empty invariant names; a missing record type or confirming route; a zero retention window; and — the R2.4a cross-rule — any invariant on a signal-only loop whose tolerance lacks the duration form.

pub fn with_carry( arming: WorkloopArming, invariants: Vec<InvariantSpec>, retention: Duration, carry: CarryContract, ) -> Result<Self, WorkloopSpecError>

WorkloopSpec::new for a loop that DECLARES carry fields, with the defaults that seed generation 1.

Errors

As WorkloopSpec::new, plus the carry contract’s own refusals.

pub const fn arming(&self) -> &WorkloopArming

The loop’s declared arming.

pub fn invariants(&self) -> &[InvariantSpec]

The loop’s declared invariants.

pub const fn carry(&self) -> &CarryContract

The loop’s declared carry contract.

pub const fn retention(&self) -> Duration

The declared retention window for prior invariant-record generations (R8.1). Exactly one current record per invariant survives indefinitely; prior generations older than this window are pruned.

Trait Implementations

impl Clone for WorkloopSpec

fn clone(&self) -> WorkloopSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WorkloopSpec

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WorkloopSpec

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for WorkloopSpec

impl PartialEq for WorkloopSpec

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for WorkloopSpec

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 WorkloopSpec