Struct PlanReplayPolicy 

pub struct PlanReplayPolicy {
    pub min_runs: u32,
    pub require_no_worse: bool,
    pub max_out_of_support: f64,
}

The pre-apply gate on a plan_revision: when the substrate can rehearse the candidate against the journaled runs of the live plan (SubstrateRead::plan_replay — areev run shadow --plan-file), refuse to stamp the revision applicable when the rehearsal says it is worse than the incumbent on the same runs, or when too many runs fall outside the journal’s support. Dream-RSI’s monotone selection (arXiv 2609.14858 §3) as a gate rather than an auto-deploy: applying stays human, with a BECAUSE. Default none — a revision is rehearsed when it can be and the report rides on the card, but nothing is refused.

Fields

min_runs: u32

Fewer rehearsed runs than this and the gate abstains: two runs are an anecdote (default 3).

require_no_worse: bool

Refuse a candidate that completes fewer of the same runs than the incumbent did (default true).

max_out_of_support: f64

Refuse when more than this fraction of the runs could not be scored because the candidate asked for effects the journal never recorded (default 0.5).

Implementations

impl PlanReplayPolicy

pub fn refusal(&self, report: &Value) -> Option<String>

The reason a rehearsal refuses the revision, or None to admit it. report is the runtime’s ShadowPlanReport as JSON.

Trait Implementations

impl Clone for PlanReplayPolicy

fn clone(&self) -> PlanReplayPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PlanReplayPolicy

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PlanReplayPolicy

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for PlanReplayPolicy

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for PlanReplayPolicy

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 PlanReplayPolicy