cymule-core 0.1.4

Small trusted semantic kernel for Cymule
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

//! The small, deterministic Cymule semantic kernel.
//!
//! This crate owns canonical identity, the frozen IR, command admission,
//! state-machine reduction, and replay. It deliberately performs no ambient I/O.

mod canonical;
mod error;
mod ir;
mod machine;
mod model;

pub use canonical::{canonical_bytes, canonical_digest, content_id, sha256_bytes};
pub use error::{CoreError, Result};
pub use ir::{
    ComponentContract, Definition, DispatchPolicy, EffectContract, EffectProfile, Expression,
    IR_VERSION, MutationKind, Operation, PlanCandidate, ReconciliationMode, Region, ScopeMode,
    SealedPlan, Step, WaitSpec,
};
pub use machine::{Machine, MachineBaseSnapshot, MachineCompaction, MachineSnapshot};
pub use model::{
    ArtifactRecord, ArtifactRef, AttemptProjection, COMMAND_VERSION, Command, CommandEnvelope,
    CommandReceipt, CommandReceiptStatus, CompactionCertificate, EVENT_VERSION, EffectPhase,
    EffectProjection, EffectTransition, Event, EventPayload, ObligationProjection, Projection,
    ROOT_SCOPE_ID, ReconciliationResolution, ReconciliationState, ReplayAvailability,
    RunProjection, RunStatus, SEMANTIC_VERSION, ScopeProjection, ScopeStatus, WorldOutcome,
    effect_intent_id, effect_obligation_id,
};