Struct TransitionGate 

pub struct TransitionGate {
    pub require_modifications: bool,
    pub message: Option<String>,
    pub region: Option<String>,
    pub tools: Vec<String>,
    pub max_attempts: Option<usize>,
    pub require_region_updated: Option<String>,
    pub require_regions: Vec<String>,
    pub require_no_open_items: Option<String>,
}

Preconditions an edge imposes on the stage it leaves, checked once the edge has been chosen but before its transform runs. A gate that isn’t satisfied re-runs the stage with a [System] nudge instead of transitioning.

The motivating case: an agent that reads and reasons about the codebase entirely through shell and reaches the review stage without ever having called a file-writing tool, producing a run with no output at all.

Fields

require_modifications: bool

Require at least one successful file-modifying tool call in the stage being left.

message: Option<String>

Nudge injected when the gate blocks. A default explaining the framework’s change tracking is generated when absent.

region: Option<String>

Region whose non-emptiness also satisfies the gate. Per-stage tool-call counters reset on stage entry and are not restored when a run resumes after a daemon restart, but context regions are - so pointing the gate at the region the write tools are routed into keeps a resumed run honest.

tools: Vec<String>

Tool names counted as modifying beyond the built-in write_file / edit_file - for agents whose writes go through MCP or script tools.

max_attempts: Option<usize>

How many times the stage is re-run before the gate gives up and lets the transition through (with a warning). Defaults to DEFAULT_GATE_ATTEMPTS.

require_region_updated: Option<String>

Region that must have changed during this stage, not merely be present.

Every other gate asks whether something exists. That cannot express a revise loop: a stage sent back to redo its work satisfies a presence check by re-emitting what it already wrote, so a reviewer’s rejection can be answered with the same plan and the loop spins until it runs out of revisits. Measured, a plan that overrode a documented definition was re-confirmed by a verify stage and the run ended confidently wrong.

Compared against the region’s content as it stood when the stage was entered, so “changed” means changed by this pass.

require_regions: Vec<String>

Regions that must all hold content before this edge may be taken.

Conjunctive, and that is the point. Self::region reads as though it says this and does not: it is one of several alternative ways to satisfy Self::require_modifications, so { require_modifications = true, region = "plan" } is met by writing any file anywhere while plan stays empty (#371). That is the right shape for what region is for - a restart-durable stand-in for per-stage counters, which do not survive a daemon restart - and the wrong shape for “this stage does not leave without writing X”. This key is the second thing, ANDed with every other condition on the gate.

A name the window does not hold passes with a warning rather than blocking: lev validate refuses a gate naming a region no stage declares, so reaching that at runtime means a layout moved underneath the edge, and stranding a run over it would be worse than the missing check. Saying nothing is what made the old behaviour hard to find.

require_no_open_items: Option<String>

Checklist region that must have no open items before this edge is taken.

The other gates ask whether a region has content, which cannot tell a list of three unfinished items from a list of three finished ones. This is the gate a checklist exists for: it makes “did you actually finish” a mechanical question rather than one the model answers about itself.

Trait Implementations

impl Clone for TransitionGate

fn clone(&self) -> TransitionGate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TransitionGate

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

Formats the value using the given formatter.

impl Default for TransitionGate

fn default() -> TransitionGate

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TransitionGate

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for TransitionGate

impl PartialEq for TransitionGate

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TransitionGate

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 TransitionGate