Crate mimir_core 

Mimir core — foundational types plus the librarian pipeline and durable store.

The crate groups into three layers:

• Foundational types (symbol, workspace, clock, confidence, memory_kind, source_kind, value) — newtypes and enums every higher component consumes.
• Librarian pipeline (lex → parse → bind → semantic → pipeline → canonical) — compiles agent S-expression input into canonical bytecode per librarian-pipeline.md.
• Durability + domain utilities (log, store, inference_methods, decay) — the append-only workspace store, the 14-method inference registry, and the deterministic confidence-decay model.

Read-only inspection and round-trip rendering live in the sibling mimir-cli crate.

See docs/concepts/ in the repository root for the architectural specifications these modules implement:

• memory-type-taxonomy.md
• symbol-identity-semantics.md
• workspace-model.md
• temporal-model.md
• grounding-model.md
• ir-write-surface.md
• ir-canonical-form.md
• librarian-pipeline.md
• write-protocol.md
• confidence-decay.md

Re-exports

pub use clock::ClockTime;

pub use clock::ClockTimeError;

pub use confidence::Confidence;

pub use confidence::ConfidenceError;

pub use memory_kind::Episodic;

pub use memory_kind::Inferential;

pub use memory_kind::MemoryKind;

pub use memory_kind::MemoryKindTag;

pub use memory_kind::Procedural;

pub use memory_kind::Semantic;

pub use pipeline::EmitError;

pub use pipeline::Pipeline;

pub use pipeline::PipelineError;

pub use source_kind::SourceKind;

pub use store::EpisodeId;

pub use store::Store;

pub use store::StoreError;

pub use symbol::ScopedSymbolId;

pub use symbol::SymbolId;

pub use symbol::SymbolKind;

pub use value::Value;

pub use workspace::WorkspaceId;

pub use workspace::WorkspaceIdError;

pub use workspace_lock::lock_path_for_log;

pub use workspace_lock::WorkspaceLockError;

pub use workspace_lock::WorkspaceWriteLock;

Modules

bind

Symbol binder — resolves crate::parse::RawSymbolName into crate::SymbolId against a per-workspace SymbolTable and produces a fully-typed BoundForm.

canonical

Canonical bytecode encoder and decoder.

clock

ClockTime — UTC milliseconds-since-Unix-epoch newtype used for every Mimir clock. Implements the contract in docs/concepts/temporal-model.md § 9.1.

confidence

Confidence — 16-bit fixed-point confidence value mapping [0.0, 1.0] to [0, 65535]. Implements the contract in docs/concepts/ir-canonical-form.md § 3.1 and docs/concepts/confidence-decay.md § 3.

dag

Supersession DAG — in-memory representation of the four edge kinds defined by docs/concepts/temporal-model.md § 6.

decay

Deterministic confidence-decay model per docs/concepts/confidence-decay.md.

inference_methods

Inference-method registry per docs/concepts/librarian-pipeline.md § 5.

lex

Lisp S-expression lexer for the Mimir write surface.

log

Append-only canonical log per docs/concepts/write-protocol.md.

memory_kind

MemoryKind — the four canonical memory types from docs/concepts/memory-type-taxonomy.md § 5.

parse

Lisp S-expression parser for the Mimir write surface.

pipeline

Librarian pipeline — end-to-end write path per docs/concepts/librarian-pipeline.md.

read

Hot-path read API per read-protocol.md.

resolver

As-of query resolver — implements temporal-model.md § 7 read semantics over the pipeline’s in-memory record history.

semantic

Semantic stage — validates crate::bind::BoundForms against the grounding model and produces ValidatedForm ASTs with typed fields extracted from keyword arguments.

source_kind

SourceKind — the eleven-kind source taxonomy from docs/concepts/grounding-model.md § 3.

store

Workspace store — the durable write path per docs/concepts/write-protocol.md.

symbol

SymbolId, ScopedSymbolId, SymbolKind — the symbol-identity primitives from docs/concepts/symbol-identity-semantics.md §§ 3–4.

value

Value — the typed-value enum used in memory slots that accept either a symbol, a number, a boolean, a string, or a timestamp. Matches the value-tag set in docs/concepts/ir-canonical-form.md § 3.2.

workspace

WorkspaceId — stable identifier for a workspace. Implements docs/concepts/workspace-model.md § 3.

workspace_lock

Cross-process workspace write lock.