Struct TurnScope 

pub struct TurnScope {
    pub driver: Option<Address>,
    pub read_set: Vec<Address>,
    pub write_set: Vec<Address>,
    pub exchange_tail_floor: Option<usize>,
}

The operation manifest for the current turn.

Fields

driver: Option<Address>

The driver node the turn is answering, when one resolves.

read_set: Vec<Address>

Addresses the turn depends on (input).

write_set: Vec<Address>

Addresses the turn will mutate (output).

exchange_tail_floor: Option<usize>

Exchange node-index floor for the turn’s active tail (#loop-guard-exchange-node-granularity). The exchange component is whole-component in read_set/write_set, but only its tail — nodes at or after this index (the active turn’s appends and edits) — affects the turn. An edit to an OLD exchange block (index below the floor) is Independent and must not preempt the auto-loop drain. None keeps the coarse whole-component behavior (no exchange nodes / unknown tail).

Implementations

impl TurnScope

pub fn for_driver(driver: Option<Address>) -> Self

Build the canonical turn scope for an optional driver queue node, with no exchange-tail narrowing (whole-component exchange affectedness).

pub fn for_driver_with_exchange_tail( driver: Option<Address>, exchange_tail_floor: Option<usize>, ) -> Self

Build the canonical turn scope for an optional driver queue node, narrowing the exchange component to its active tail at exchange_tail_floor.

read_set = {driver, exchange tail}; write_set = the managed output components plus the driver strike. Addresses are deduped while preserving first-seen order so the manifest is stable. exchange_tail_floor is the count of exchange nodes present at turn start: a later op at an index at or above it is a tail append/edit (affects the turn); an op below it edits committed history and is independent.

Trait Implementations

impl Clone for TurnScope

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TurnScope

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

Formats the value using the given formatter.

impl Default for TurnScope

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TurnScope

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for TurnScope

impl PartialEq for TurnScope

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TurnScope

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 TurnScope