Skip to main content

mnemo_engine/
lib.rs

1//! # Mnemo
2//!
3//! Mnemo is an **encrypted, single-file, portable agent-memory engine**.
4//!
5//! A whole memory store — vectors, content, metadata, and the multi-signal
6//! recall machinery an agent needs — lives in one file you can copy, back up,
7//! or hand to another process. The file is encrypted at rest with a two-tier
8//! key hierarchy: an Argon2id key-encryption key (KEK) derived from a
9//! passphrase wraps a random data-encryption key (DEK), and the DEK encrypts
10//! every page with AES-256-GCM.
11//!
12//! ## Quick start
13//!
14//! ```no_run
15//! use mnemo_engine::{Mnemo, MnemoConfig, Memory, MemoryType, RecallRequest};
16//!
17//! # fn main() -> mnemo_engine::Result<()> {
18//! let cfg = MnemoConfig { dimensions: 3, ..Default::default() };
19//! let mut db = Mnemo::create("agent.mnemo", "correct horse battery", cfg)?;
20//!
21//! db.remember(
22//!     Memory::new("the user prefers dark mode", MemoryType::Semantic, vec![0.1, 0.2, 0.9])
23//!         .with_agent("assistant-1")
24//!         .with_importance(0.8),
25//! )?;
26//! db.flush()?;
27//!
28//! let hits = db.recall(&RecallRequest::new(vec![0.1, 0.2, 0.9]).top_k(5))?;
29//! for h in hits {
30//!     println!("{:.3}  {}", h.score, h.memory.content);
31//! }
32//! # Ok(())
33//! # }
34//! ```
35//!
36//! ## What is and is not built
37//!
38//! This crate implements a real, tested core: the encrypted single-file
39//! storage engine, the crypto layer, the agent-memory model, multi-signal
40//! recall, an IVF+PQ approximate-nearest-neighbour index, a write-ahead log,
41//! snapshot-based point-in-time recovery, a bounded LRU page cache, and the
42//! [`Session`] conversation wrapper. Exact brute-force search remains
43//! available as the ground-truth baseline; a built index makes
44//! [`Mnemo::recall`] sub-linear. Each [`Mnemo::flush`] is one atomic,
45//! WAL-committed transaction and a restorable snapshot — [`Mnemo::restore_to`]
46//! rewinds the database to any past transaction. Python and TypeScript
47//! language bindings are the one documented roadmap item — see the README.
48
49#![forbid(unsafe_code)]
50#![warn(missing_docs)]
51
52mod cache;
53mod crypto;
54mod embed;
55mod embed_cmd;
56mod error;
57mod format;
58mod index;
59pub mod mcp;
60mod memory;
61mod pager;
62mod result_cache;
63mod session;
64mod store;
65mod transcript;
66mod wal;
67
68pub use crypto::KdfParams;
69pub use embed::{Embedder, EmbedderIdentity};
70pub use embed_cmd::{EmbedCmd, DEFAULT_EMBED_TIMEOUT};
71pub use error::{MnemoError, Result};
72pub use index::{IndexConfig, IndexInfo};
73pub use memory::{
74    status as essence_status, CommitBatch, CommitReport, EssenceOp, EssenceOpKind, EssenceScope,
75    EssenceSection, Filter, FilterTerm, IngestReport, KeyScope, KeyedMemory, Memory, MemoryPatch,
76    MemoryType, Metric, Scope, ScoreWeights, ThreadTurn, TurnPolicy, WriteOutcome,
77    CONTINUATION_TIMELINE_ENTRIES, ESSENCE_DEFAULT_RENDER_BYTES, ESSENCE_SECTION_MAX_BYTES,
78    ESSENCE_TIMELINE_MAX_BYTES, ESSENCE_TRANSITIONS, FINDING_TRANSITIONS, MNEMO_META_CONTINUES,
79    MNEMO_META_INVALID_AT, MNEMO_META_KEY, MNEMO_META_KIND, MNEMO_META_KIND_ESSENCE,
80    MNEMO_META_KIND_THREAD_LINK, MNEMO_META_KIND_TURN, MNEMO_META_LENGTH, MNEMO_META_NS,
81    MNEMO_META_PART, MNEMO_META_REFS, MNEMO_META_ROLE, MNEMO_META_SECTION, MNEMO_META_SEQ,
82    MNEMO_META_SHA256, MNEMO_META_STATUS, MNEMO_META_STATUS_HISTORY, MNEMO_META_SUPERSEDED_BY,
83    MNEMO_META_SUPERSEDES, MNEMO_META_THREAD, MNEMO_META_TURN_ID, MNEMO_META_UPDATED_AT,
84    TASK_TRANSITIONS, THREAD_TOOL_RESULT_TRUNCATE_BYTES, THREAD_TURN_CHUNK_BYTES,
85};
86pub use result_cache::{
87    CacheBudget, CacheFlushPolicy, CachePutOpts, CacheStats, CachedValue, SemanticCachePutOpts,
88    DEFAULT_BATCH_MAX_AGE, DEFAULT_BATCH_MAX_DIRTY, DEFAULT_MAX_BYTES, DEFAULT_MAX_ENTRIES,
89    DEFAULT_SEMANTIC_THRESHOLD,
90};
91pub use session::{Role, Session, Turn};
92pub use store::{
93    CompactReport, Mnemo, MnemoConfig, RecallRequest, RecallResponse, RecallResult, SnapshotInfo,
94    Stats,
95};
96pub use transcript::{read_transcript, TranscriptFormat};
97
98/// Re-export of [`ulid::Ulid`], the identifier type used for memories.
99pub use ulid::Ulid;
100
101// --- Fsync counter -----------------------------------------------------
102//
103// Instrumentation plumbing for the Phase 6 top-3 cost #2 fix: the
104// planner wants to know how many `sync_all` calls each `flush()` issues
105// before deciding whether to batch any of them. Every fsync call site
106// bumps a thread-local counter; `Mnemo::flush` snapshots it before and
107// after, exposing the delta on `Stats::fsyncs_last_flush`. Thread-local
108// so handles on separate threads don't poison each other's counts; the
109// engine's one-writer-at-a-time locking means a single handle sees a
110// coherent stream.
111
112mod fsync_counter {
113    use std::cell::Cell;
114
115    thread_local! {
116        static COUNT: Cell<u64> = const { Cell::new(0) };
117    }
118
119    /// Call once per `sync_all`.
120    pub(crate) fn bump() {
121        COUNT.with(|c| c.set(c.get().wrapping_add(1)));
122    }
123
124    /// Monotonic counter snapshot for this thread.
125    pub(crate) fn count() -> u64 {
126        COUNT.with(|c| c.get())
127    }
128}
129
130pub(crate) use fsync_counter::{bump as bump_fsync, count as fsync_count};
131
132/// Build-time cryptographic backend information.
133///
134/// Populated at compile time from the active `cfg` flags. On ARMv8
135/// builds compiled with `--cfg aes_armv8 --cfg polyval_armv8` (set by
136/// the repo's `.cargo/config.toml` and both CI workflows) the `aes`
137/// and `polyval` crates emit hardware AES + PMULL instructions; without
138/// those flags they fall back to a constant-time software path that
139/// runs at roughly 5× the cost per page.
140///
141/// Published through [`build_info`], exposed by `mnemo info` on the
142/// CLI and `mnemo.build_info()` from the Python binding. The point is
143/// verification — nobody should have to profile a release build to find
144/// out whether it's running software AES.
145#[derive(Debug, Clone, Copy, PartialEq, Eq)]
146pub struct BuildInfo {
147    /// Package version (`CARGO_PKG_VERSION`), e.g. `"0.5.1"`.
148    pub version: &'static str,
149    /// Target triple this binary was built for, e.g.
150    /// `"aarch64-apple-darwin"`.
151    pub target: &'static str,
152    /// Human-readable AES backend. One of:
153    /// - `"armv8 hardware"` — ARM with `cfg(aes_armv8)`
154    /// - `"armv8 software"` — ARM without the cfg; constant-time fallback
155    /// - `"x86_64 AES-NI (runtime detect)"` — x86_64 with runtime
156    ///   AES-NI detection in the `aes` crate
157    /// - `"portable software"` — any other target
158    pub aes_backend: &'static str,
159    /// Human-readable PMULL/CLMUL backend used by GHASH (part of AES-GCM).
160    /// Same shape as `aes_backend` but for `polyval`.
161    pub polyval_backend: &'static str,
162}
163
164/// Report this build's cryptographic backend configuration.
165///
166/// Cheap — all fields are `&'static str` populated at compile time.
167/// Safe to call from a hot path if, for some reason, that's useful.
168pub fn build_info() -> BuildInfo {
169    BuildInfo {
170        version: env!("CARGO_PKG_VERSION"),
171        target: TARGET_TRIPLE,
172        aes_backend: aes_backend_name(),
173        polyval_backend: polyval_backend_name(),
174    }
175}
176
177/// Target triple baked in via the `TARGET` env var that `cargo` sets
178/// for the host compile. Falls back to `"unknown"` if the var isn't
179/// set at build time (shouldn't happen under cargo, but a build.rs-free
180/// implementation keeps this crate build-script-free, so we use a
181/// cfg-based dispatch as the second-best).
182const TARGET_TRIPLE: &str = {
183    // `env!("TARGET")` isn't set by cargo for crates; it's set by rustc
184    // only for `std` builds. We approximate from `target_arch` /
185    // `target_os` cfgs so this stays build-script-free. Good enough
186    // for an info line; precise triples are a `cargo` or build.rs job.
187    if cfg!(all(target_arch = "aarch64", target_os = "macos")) {
188        "aarch64-apple-darwin"
189    } else if cfg!(all(target_arch = "aarch64", target_os = "linux")) {
190        "aarch64-unknown-linux-gnu"
191    } else if cfg!(all(target_arch = "x86_64", target_os = "macos")) {
192        "x86_64-apple-darwin"
193    } else if cfg!(all(target_arch = "x86_64", target_os = "linux")) {
194        "x86_64-unknown-linux-gnu"
195    } else if cfg!(all(target_arch = "x86_64", target_os = "windows")) {
196        "x86_64-pc-windows-msvc"
197    } else {
198        "unknown"
199    }
200};
201
202const fn aes_backend_name() -> &'static str {
203    if cfg!(aes_armv8) {
204        "armv8 hardware"
205    } else if cfg!(target_arch = "aarch64") {
206        // Software fallback is the dangerous case this whole mechanism
207        // exists to surface — flag it clearly so `mnemo info` makes it
208        // easy to notice a build picked up the slow path by mistake.
209        "armv8 software (constant-time fallback)"
210    } else if cfg!(target_arch = "x86_64") {
211        // `aes` 0.8.4 on x86_64 picks AES-NI vs the software path at
212        // runtime via the `cpufeatures` crate, so we can't tell from
213        // cfg alone which path a given invocation takes. In practice
214        // every x86_64 CPU shipped since ~2010 has AES-NI.
215        "x86_64 AES-NI (runtime detect)"
216    } else {
217        "portable software"
218    }
219}
220
221const fn polyval_backend_name() -> &'static str {
222    if cfg!(polyval_armv8) {
223        "armv8 PMULL hardware"
224    } else if cfg!(target_arch = "aarch64") {
225        "armv8 software (constant-time fallback)"
226    } else if cfg!(target_arch = "x86_64") {
227        "x86_64 CLMUL (runtime detect)"
228    } else {
229        "portable software"
230    }
231}
232
233/// Test-only crash-injection surface used by the Phase 1.3 proptest
234/// (`mnemo/tests/proptest_store.rs`). Compiled in under `cfg(test)`
235/// and the `failpoints` feature only; absent from release builds.
236///
237/// **Not part of the stable public API.** The double-underscore
238/// convention makes the "internal" contract obvious at the call site.
239#[cfg(any(test, feature = "failpoints"))]
240#[doc(hidden)]
241pub mod __failpoints {
242    /// Arm the pager and WAL commit path to fail on the Nth
243    /// subsequent write. `n = 0` fails the very next write; `n = -1`
244    /// (or any negative) disables. One-shot — disarms on trigger.
245    ///
246    /// Every write is checked before the byte hits the file, so a
247    /// triggered failure is guaranteed torn-BEFORE, never
248    /// torn-AFTER — critical for the "either pre-flush or post-flush"
249    /// invariant the property test asserts.
250    pub fn set_writes_until_fail(n: i64) {
251        crate::pager::failpoints::set_writes_until_fail(n)
252    }
253}
254
255/// Internal parse surfaces exposed for cargo-fuzz targets (Phase 1.2).
256///
257/// **Not part of the stable public API.** Each function feeds an
258/// arbitrary byte slice into a parse/decode path that a hostile
259/// `.mnemo` file (or a hostile MCP client) can send us, and returns
260/// `Result<()>` so a fuzz target only asserts "no panic." Marked
261/// `#[doc(hidden)]` so `cargo doc` doesn't advertise it; do not import
262/// from application code.
263#[doc(hidden)]
264pub mod __fuzz {
265    /// Parse a `.mnemo` header page (page 0, plaintext) from arbitrary
266    /// bytes. This is the pre-passphrase attack surface — a hostile
267    /// file hits it before any DEK exists.
268    pub fn parse_header(bytes: &[u8]) -> crate::Result<()> {
269        crate::format::Header::from_page(bytes).map(|_| ())
270    }
271
272    /// Replay the WAL scan over an arbitrary byte region. Delegates
273    /// to [`crate::wal::recover_bytes`]; a corrupt / truncated /
274    /// adversarial region must return `Err` or `Ok(None/Some(_))`,
275    /// never panic.
276    pub fn wal_recover_bytes(region: &[u8], wal_seq: u64) -> crate::Result<()> {
277        crate::wal::recover_bytes(region, wal_seq).map(|_| ())
278    }
279
280    /// Decode a `Memory` record body from arbitrary bytes.
281    pub fn decode_memory(bytes: &[u8]) -> crate::Result<()> {
282        rmp_serde::from_slice::<crate::Memory>(bytes)
283            .map(|_| ())
284            .map_err(|e| crate::MnemoError::Serialize(e.to_string()))
285    }
286
287    /// Decode a `CacheEntry` record body from arbitrary bytes. Type is
288    /// `pub(crate)`, so this wrapper hides it behind a unit return.
289    pub fn decode_cache_entry(bytes: &[u8]) -> crate::Result<()> {
290        rmp_serde::from_slice::<crate::result_cache::CacheEntry>(bytes)
291            .map(|_| ())
292            .map_err(|e| crate::MnemoError::Serialize(e.to_string()))
293    }
294
295    /// Decode a cache-directory page-run body (a `Vec<CacheDirectoryEntry>`)
296    /// from arbitrary bytes.
297    pub fn decode_cache_directory(bytes: &[u8]) -> crate::Result<()> {
298        rmp_serde::from_slice::<Vec<crate::result_cache::CacheDirectoryEntry>>(bytes)
299            .map(|_| ())
300            .map_err(|e| crate::MnemoError::Serialize(e.to_string()))
301    }
302
303    /// Parse a single MCP stdio JSON-RPC request line. Malformed
304    /// input returns `Err(String)`; the fuzz target only asserts
305    /// no panic and that the server would not die on this line.
306    pub fn parse_mcp_request_line(line: &str) -> Result<(), String> {
307        crate::mcp::__fuzz_parse_request_line(line)
308    }
309}