Struct Machine 

pub struct Machine { /* private fields */ }

In-memory reference machine for the Semantic Interpreter and Embedded profiles. All ambient I/O belongs in higher-level runtime crates.

Implementations

impl Machine

pub fn new() -> Self

Create an empty semantic machine.

pub fn snapshot(&self) -> MachineSnapshot

Export canonical inputs for durable persistence.

pub fn restore(snapshot: MachineSnapshot) -> Result<Self>

Restore a Machine and deterministically rebuild all projections.

pub fn compact_event_history( &mut self, retain_suffix: usize, ) -> Result<MachineCompaction>

Compact a causally closed event prefix and retain a full suffix.

pub fn seal_plan(&mut self, candidate: PlanCandidate) -> Result<SealedPlan>

Validate, seal, and store a Plan Candidate.

pub fn insert_plan(&mut self, plan: SealedPlan) -> Result<()>

Insert and verify an already sealed plan.

pub fn plan(&self, plan_id: &str) -> Option<&SealedPlan>

Read a sealed plan.

pub fn put_artifact( &mut self, kind: impl Into<String>, bytes: Vec<u8>, ) -> ArtifactRef

Store immutable typed bytes and return their content reference.

pub fn artifact(&self, reference: &ArtifactRef) -> Option<&ArtifactRecord>

Read an immutable artifact.

pub fn remove_artifact_for_test( &mut self, artifact_id: &str, ) -> Option<ArtifactRecord>

Remove an artifact to exercise retention behavior in conformance tests.

pub fn replay_availability( &self, required: &[ArtifactRef], ) -> ReplayAvailability

Classify replay capability for a required artifact set.

pub fn submit(&mut self, envelope: CommandEnvelope) -> Result<CommandReceipt>

Admit an idempotent command and reduce its canonical event.

pub fn append_event(&mut self, event: Event) -> Result<()>

Append a trusted event after identity, parent, and transition validation.

pub const fn projection(&self) -> &Projection

Current rebuildable projection.

pub fn events(&self) -> impl Iterator<Item = &Event>

Events in admission order.

pub fn replay(events: impl IntoIterator<Item = Event>) -> Result<Projection>

Rebuild a projection from an unordered causal event set.

pub fn verify_replay(&self) -> Result<()>

Replay all current events and verify the digest matches the live projection.

Trait Implementations

impl Clone for Machine

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Machine

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

Formats the value using the given formatter.

impl Default for Machine

fn default() -> Self

Returns the “default value” for a type.