Struct ContextState 

pub struct ContextState { /* private fields */ }

The shared context for a Converge job.

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

Implementations

impl ContextState

pub fn new() -> ContextState

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 has_pending_proposals(&self) -> bool

Returns true if any staged proposals are pending promotion.

pub fn clear_dirty(&mut self)

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

pub fn add_proposal( &mut self, proposal: ProposedFact, ) -> Result<bool, ConvergeError>

Stages a proposal for engine validation/promotion.

Returns Ok(true) if the proposal was new. Returns Ok(false) if an identical proposal is already pending.

pub fn add_input( &mut self, key: ContextKey, id: impl Into<ProposalId>, content: impl Into<String>, ) -> Result<bool, ConvergeError>

Stages external input as a proposal to be governed by the engine.

pub fn add_input_with_provenance( &mut self, key: ContextKey, id: impl Into<ProposalId>, content: impl Into<String>, provenance: impl Into<String>, ) -> Result<bool, ConvergeError>

Stages external input with explicit provenance.

Trait Implementations

impl Clone for ContextState

fn clone(&self) -> ContextState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Context for ContextState

Implement the converge-pack Context trait for the concrete Context struct. This allows agents to use &dyn converge_pack::Context.

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

Check whether any facts exist under this key.

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

Get all facts under this key.

fn get_proposals(&self, key: ContextKey) -> &[ProposedFact]

Get all proposed facts (unvalidated).

fn count(&self, key: ContextKey) -> usize

Count of facts under a key.

impl Debug for ContextState

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

Formats the value using the given formatter.

impl Default for ContextState

fn default() -> ContextState

Returns the “default value” for a type.

impl Serialize for ContextState

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

where __S: Serializer,

Serialize this value into the given Serde serializer.