Struct ComputedRegistry 

pub struct ComputedRegistry { /* private fields */ }

Registry of computed variables with dependency-ordered evaluation.

Variables are kept in topological order: if var A depends on var B, then B appears before A in the internal list. This invariant is maintained at registration time using Kahn’s algorithm.

Implementations

impl ComputedRegistry

pub fn new() -> Self

Create an empty registry.

pub fn register(&mut self, var: ComputedVar) -> Result<(), ConfigError>

Register a computed variable (replacing any existing variable with the same key). Re-sorts the internal list and rebuilds the dependency index.

Returns a ConfigError naming the variables on the cycle if the new variable would introduce a dependency cycle (including a self-cycle); the registry is left unchanged in that case.

pub fn recompute_changed(&self, state: &State) -> Vec<String>

Recompute the variables whose inputs changed since the last call, reading the changes from the state’s mutation journal.

The first call, and any call after the bounded journal has dropped entries this registry has not read, recomputes everything. Returns the keys whose derived values changed. This is what the control lane runs after each turn.

pub fn recompute(&self, state: &State) -> Vec<String>

Recompute all variables in dependency order. Returns the keys whose derived values actually changed (old != new).

pub fn recompute_affected( &self, state: &State, changed_keys: &[String], ) -> Vec<String>

Recompute only the variables affected by the given changed keys. Uses the dependency index for O(1) lookup of affected variables, then evaluates them in topological order. Transitively propagates: if a computed var changes, its dependents are also scheduled for recomputation. Returns keys that actually changed.

pub fn validate(&self) -> Result<(), ConfigError>

Validate the dependency graph. Returns Ok(()) if there are no cycles, or a ConfigError naming the variables on the cycle.

pub fn len(&self) -> usize

Returns the number of registered computed variables.

pub fn is_empty(&self) -> bool

Returns true if no computed variables are registered.

pub fn describe(&self) -> Vec<ComputedContract>

Return serializable contract metadata for all computed variables.

Trait Implementations

impl Default for ComputedRegistry

fn default() -> Self

Returns the “default value” for a type.