Enum Checkpoint 

pub enum Checkpoint {
    AfterMs(i64),
    AfterRuns(u32),
    AfterGrains(u32),
}

When an applied recommendation is re-measured — one checkpoint of the Verify gate’s schedule, in the unit the deployment actually counts in.

Three units, because deployments count differently and a fixed one makes the gate inert everywhere else. A service evaluated nightly counts time (after_ms). A benchmark or a CI harness counts graded runs (after_runs): “measure at the next evaluation after the apply”, however long that takes on the clock. A chat agent counts turns (after_grains): “after fifty more grains”. The default schedule stayed ms-only for a year and was measured, on PAST-Bench, to fire exactly zero verdicts across 78 governed runs — a family finishes in seven minutes and the first checkpoint was a day away (crates/areev-bench/PERSIST.md).

On the wire a bare integer is milliseconds, so every policy, metric snapshot and state blob written before this type existed reads back unchanged, and an all-ms schedule still serializes as [86400000, …].

Variants

AfterMs(i64)

Elapsed time since the apply.

AfterRuns(u32)

Evalset runs journaled since the apply. Only an evalset: metric can count these; on any other metric the checkpoint never comes due.

AfterGrains(u32)

Grains written since the apply — the loop’s own notion of “activity”.

Implementations

impl Checkpoint

pub fn label(&self) -> String

The label a person reads: 1d, 12h, 3 runs, 50 grains.

pub fn as_ms(&self) -> Option<i64>

The ms value when this is a time checkpoint — what legacy consumers of OutcomeResult::horizon_ms read.

Trait Implementations

impl Clone for Checkpoint

fn clone(&self) -> Checkpoint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Checkpoint

impl Debug for Checkpoint

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Checkpoint

fn deserialize<D: Deserializer<'de>>(de: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Eq for Checkpoint

impl Hash for Checkpoint

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Checkpoint

fn cmp(&self, other: &Checkpoint) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for Checkpoint

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Checkpoint

fn partial_cmp(&self, other: &Checkpoint) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for Checkpoint

fn serialize<S: Serializer>(&self, ser: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Checkpoint