Struct Engine 

pub struct Engine { /* private fields */ }

The Converge execution engine.

Owns agent registration, dependency indexing, and the convergence loop.

Implementations

impl Engine

pub fn new() -> Self

Creates a new engine with default budget.

pub fn with_budget(budget: Budget) -> Self

Creates a new engine with custom budget.

pub fn set_budget(&mut self, budget: Budget)

Sets the execution budget.

pub fn register_invariant( &mut self, invariant: impl Invariant + 'static, ) -> InvariantId

Registers an invariant (compiled Gherkin predicate).

Invariants are checked at different points depending on their class:

• Structural: after every merge
• Semantic: at end of each cycle
• Acceptance: when convergence is claimed

pub fn register(&mut self, agent: impl Agent + 'static) -> AgentId

Registers an agent and returns its ID.

Agents are assigned monotonically increasing IDs. The dependency index is updated incrementally.

pub fn agent_count(&self) -> usize

Returns the number of registered agents.

pub fn run(&mut self, context: Context) -> Result<ConvergeResult, ConvergeError>

Runs the convergence loop until fixed point or budget exhaustion.

Algorithm

initialize context
mark all keys as dirty (first cycle)

repeat:
  clear dirty flags
  find eligible agents (dirty deps + accepts)
  execute eligible agents (parallel read)
  merge effects (serial, deterministic order)
  track which keys changed
until no keys changed OR budget exhausted

Errors

Returns ConvergeError::BudgetExhausted if:

• max_cycles is exceeded
• max_facts is exceeded

Trait Implementations

impl Default for Engine

fn default() -> Self

Returns the “default value” for a type.