Struct Context 

pub struct Context { /* private fields */ }

The shared context for a Converge job.

Agents receive &Context (immutable) during execution. Only the engine holds &mut Context during the merge phase.

Implementations

impl Context

pub fn new() -> Self

Creates a new empty context.

pub fn get(&self, key: ContextKey) -> &[Fact]

Returns all facts for a given key.

pub fn has(&self, key: ContextKey) -> bool

Returns true if there are any facts for the given key.

pub fn version(&self) -> u64

Returns the current version (for convergence detection).

pub fn dirty_keys(&self) -> &[ContextKey]

Returns keys that changed in the last merge cycle.

pub fn all_keys(&self) -> Vec<ContextKey>

Returns all keys that currently have facts in the context.

pub fn clear_dirty(&mut self)

Clears the dirty key tracker (called at start of each cycle).

pub fn add_fact(&mut self, fact: Fact) -> Result<bool, ConvergeError>

Adds a fact to the context (engine-only, during merge phase).

Returns Ok(true) if the fact was new (context changed). Returns Ok(false) if the fact was already present and identical.

Errors

Returns Err(ConvergeError::Conflict) if a fact with the same ID but different content already exists. This indicates non-deterministic behavior from agents producing conflicting outputs.

Trait Implementations

impl Clone for Context

fn clone(&self) -> Context

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Context

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

Formats the value using the given formatter.

impl Default for Context

fn default() -> Context

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Context

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Context

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.