Expand description
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.
Structs§
- Artifact
Record - Immutable artifact bytes held by the embedded store.
- Artifact
Ref - Immutable artifact reference.
- Attempt
Projection - Fenced attempt projection.
- Command
Envelope - A preconditioned, idempotent command proposal.
- Command
Receipt - Durable command receipt.
- Compaction
Certificate - Compaction witness. The Embedded profile constructs and validates this type but does not delete canonical history automatically.
- Component
Contract - Abstract executable component contract.
- Definition
- A named Flow definition.
- Effect
Contract - Abstract world-effect contract.
- Effect
Profile - Orthogonal effect properties used by admission and binding.
- Effect
Projection - Effect projection with immutable occurrence binding.
- Event
- A canonical event.
- Machine
- In-memory reference machine for the Semantic Interpreter and Embedded profiles. All ambient I/O belongs in higher-level runtime crates.
- Machine
Base Snapshot - One verified canonical base projection replacing a causally closed prefix.
- Machine
Compaction - Portable evidence returned after compacting one canonical event prefix.
- Machine
Snapshot - Portable, provider-neutral snapshot of canonical inputs and optional base.
- Obligation
Projection - Scope-transferred world-effect obligation.
- Plan
Candidate - An unsealed, language-neutral semantic plan.
- Projection
- Rebuildable full projection.
- Region
- A structured sequence with an explicit result expression.
- RunProjection
- Rebuildable Run projection.
- Scope
Projection - Scope projection.
- Sealed
Plan - An immutable sealed plan.
- Step
- A stable operation site.
Enums§
- Command
- Commands admitted by the semantic kernel.
- Command
Receipt Status - Public command outcome.
- Core
Error - Stable semantic error categories.
- Dispatch
Policy - Effect release policy.
- Effect
Phase - Effect control phase.
- Effect
Transition - Legal effect transitions.
- Event
Payload - Canonical transition payloads.
- Expression
- Pure expressions over input, prior bindings, and literals.
- Mutation
Kind - Effect mutation class.
- Operation
- Frozen structured operations. Complex frontend syntax lowers to these five semantic boundaries.
- Reconciliation
Mode - Reconciliation capability.
- Reconciliation
Resolution - Reconciliation result transition.
- Reconciliation
State - Reconciliation state.
- Replay
Availability - Explicit exact-replay capability.
- RunStatus
- Public Run status.
- Scope
Mode - Scope behavior profile.
- Scope
Status - Scope lifecycle state.
- Wait
Spec - Durable wait descriptions.
- World
Outcome - Observed external-world outcome.
Constants§
- COMMAND_
VERSION - Public command version.
- EVENT_
VERSION - Canonical event version.
- IR_
VERSION - Frozen canonical IR version.
- ROOT_
SCOPE_ ID - Stable root scope identifier within every Run.
- SEMANTIC_
VERSION - Semantic specification version.
Functions§
- canonical_
bytes - Serialize a value using RFC 8785 JSON Canonicalization Scheme.
- canonical_
digest - Compute a canonical digest without an identity prefix.
- content_
id - Compute a domain-separated content identifier for canonical JSON.
- effect_
intent_ id - Derive the structural identity of one intentional effect occurrence.
- effect_
obligation_ id - Derive a stable obligation identity from an intent.
- sha256_
bytes - Compute a lowercase hexadecimal SHA-256 digest.
Type Aliases§
- Result
- Result type used by the semantic kernel.