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() -> Self

Creates a new empty context.

pub fn snapshot(&self) -> ContextSnapshot

Captures a durable storage snapshot for later rehydration.

pub fn from_snapshot(snapshot: ContextSnapshot) -> Result<Self, ConvergeError>

Rehydrates a context from a verified storage snapshot.

This restores previously promoted context state. It is not a promotion API: malformed snapshots, key mismatches, duplicate IDs, and Merkle mismatches are rejected before the context is returned.

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

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.

pub fn submit_observation( &mut self, request: AdmissionRequest, ) -> Result<AdmissionReceipt, ConvergeError>

Stages a typed external observation as a proposal.

This is the preferred boundary for systems such as Organism. It records actor and source provenance, but it does not create authoritative facts.

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) -> &[ContextFact]

Get all read-only context fact projections 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.

fn formation_kind(&self) -> Option<FormationKind>

The kind of formation orchestrating this suggestor’s current execution, if any. None means the suggestor is running outside a formation harness (e.g., the engine’s default registration path); fall back to standalone behavior.

impl Debug for ContextState

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

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::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.