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 wal;
66
67pub use crypto::KdfParams;
68pub use embed::{Embedder, EmbedderIdentity};
69pub use embed_cmd::{EmbedCmd, DEFAULT_EMBED_TIMEOUT};
70pub use error::{MnemoError, Result};
71pub use index::{IndexConfig, IndexInfo};
72pub use memory::{Memory, MemoryType, Metric, Scope, ScoreWeights};
73pub use result_cache::{
74    CacheBudget, CacheFlushPolicy, CachePutOpts, CacheStats, CachedValue, SemanticCachePutOpts,
75    DEFAULT_BATCH_MAX_AGE, DEFAULT_BATCH_MAX_DIRTY, DEFAULT_MAX_BYTES, DEFAULT_MAX_ENTRIES,
76    DEFAULT_SEMANTIC_THRESHOLD,
77};
78pub use session::{Role, Session, Turn};
79pub use store::{
80    CompactReport, Mnemo, MnemoConfig, RecallRequest, RecallResult, SnapshotInfo, Stats,
81};
82
83/// Re-export of [`ulid::Ulid`], the identifier type used for memories.
84pub use ulid::Ulid;
85
86// --- Fsync counter -----------------------------------------------------
87//
88// Instrumentation plumbing for the Phase 6 top-3 cost #2 fix: the
89// planner wants to know how many `sync_all` calls each `flush()` issues
90// before deciding whether to batch any of them. Every fsync call site
91// bumps a thread-local counter; `Mnemo::flush` snapshots it before and
92// after, exposing the delta on `Stats::fsyncs_last_flush`. Thread-local
93// so handles on separate threads don't poison each other's counts; the
94// engine's one-writer-at-a-time locking means a single handle sees a
95// coherent stream.
96
97mod fsync_counter {
98    use std::cell::Cell;
99
100    thread_local! {
101        static COUNT: Cell<u64> = const { Cell::new(0) };
102    }
103
104    /// Call once per `sync_all`.
105    pub(crate) fn bump() {
106        COUNT.with(|c| c.set(c.get().wrapping_add(1)));
107    }
108
109    /// Monotonic counter snapshot for this thread.
110    pub(crate) fn count() -> u64 {
111        COUNT.with(|c| c.get())
112    }
113}
114
115pub(crate) use fsync_counter::{bump as bump_fsync, count as fsync_count};
116
117/// Build-time cryptographic backend information.
118///
119/// Populated at compile time from the active `cfg` flags. On ARMv8
120/// builds compiled with `--cfg aes_armv8 --cfg polyval_armv8` (set by
121/// the repo's `.cargo/config.toml` and both CI workflows) the `aes`
122/// and `polyval` crates emit hardware AES + PMULL instructions; without
123/// those flags they fall back to a constant-time software path that
124/// runs at roughly 5× the cost per page.
125///
126/// Published through [`build_info`], exposed by `mnemo info` on the
127/// CLI and `mnemo.build_info()` from the Python binding. The point is
128/// verification — nobody should have to profile a release build to find
129/// out whether it's running software AES.
130#[derive(Debug, Clone, Copy, PartialEq, Eq)]
131pub struct BuildInfo {
132    /// Package version (`CARGO_PKG_VERSION`), e.g. `"0.5.1"`.
133    pub version: &'static str,
134    /// Target triple this binary was built for, e.g.
135    /// `"aarch64-apple-darwin"`.
136    pub target: &'static str,
137    /// Human-readable AES backend. One of:
138    /// - `"armv8 hardware"` — ARM with `cfg(aes_armv8)`
139    /// - `"armv8 software"` — ARM without the cfg; constant-time fallback
140    /// - `"x86_64 AES-NI (runtime detect)"` — x86_64 with runtime
141    ///   AES-NI detection in the `aes` crate
142    /// - `"portable software"` — any other target
143    pub aes_backend: &'static str,
144    /// Human-readable PMULL/CLMUL backend used by GHASH (part of AES-GCM).
145    /// Same shape as `aes_backend` but for `polyval`.
146    pub polyval_backend: &'static str,
147}
148
149/// Report this build's cryptographic backend configuration.
150///
151/// Cheap — all fields are `&'static str` populated at compile time.
152/// Safe to call from a hot path if, for some reason, that's useful.
153pub fn build_info() -> BuildInfo {
154    BuildInfo {
155        version: env!("CARGO_PKG_VERSION"),
156        target: TARGET_TRIPLE,
157        aes_backend: aes_backend_name(),
158        polyval_backend: polyval_backend_name(),
159    }
160}
161
162/// Target triple baked in via the `TARGET` env var that `cargo` sets
163/// for the host compile. Falls back to `"unknown"` if the var isn't
164/// set at build time (shouldn't happen under cargo, but a build.rs-free
165/// implementation keeps this crate build-script-free, so we use a
166/// cfg-based dispatch as the second-best).
167const TARGET_TRIPLE: &str = {
168    // `env!("TARGET")` isn't set by cargo for crates; it's set by rustc
169    // only for `std` builds. We approximate from `target_arch` /
170    // `target_os` cfgs so this stays build-script-free. Good enough
171    // for an info line; precise triples are a `cargo` or build.rs job.
172    if cfg!(all(target_arch = "aarch64", target_os = "macos")) {
173        "aarch64-apple-darwin"
174    } else if cfg!(all(target_arch = "aarch64", target_os = "linux")) {
175        "aarch64-unknown-linux-gnu"
176    } else if cfg!(all(target_arch = "x86_64", target_os = "macos")) {
177        "x86_64-apple-darwin"
178    } else if cfg!(all(target_arch = "x86_64", target_os = "linux")) {
179        "x86_64-unknown-linux-gnu"
180    } else if cfg!(all(target_arch = "x86_64", target_os = "windows")) {
181        "x86_64-pc-windows-msvc"
182    } else {
183        "unknown"
184    }
185};
186
187const fn aes_backend_name() -> &'static str {
188    if cfg!(aes_armv8) {
189        "armv8 hardware"
190    } else if cfg!(target_arch = "aarch64") {
191        // Software fallback is the dangerous case this whole mechanism
192        // exists to surface — flag it clearly so `mnemo info` makes it
193        // easy to notice a build picked up the slow path by mistake.
194        "armv8 software (constant-time fallback)"
195    } else if cfg!(target_arch = "x86_64") {
196        // `aes` 0.8.4 on x86_64 picks AES-NI vs the software path at
197        // runtime via the `cpufeatures` crate, so we can't tell from
198        // cfg alone which path a given invocation takes. In practice
199        // every x86_64 CPU shipped since ~2010 has AES-NI.
200        "x86_64 AES-NI (runtime detect)"
201    } else {
202        "portable software"
203    }
204}
205
206const fn polyval_backend_name() -> &'static str {
207    if cfg!(polyval_armv8) {
208        "armv8 PMULL hardware"
209    } else if cfg!(target_arch = "aarch64") {
210        "armv8 software (constant-time fallback)"
211    } else if cfg!(target_arch = "x86_64") {
212        "x86_64 CLMUL (runtime detect)"
213    } else {
214        "portable software"
215    }
216}
217
218/// Test-only crash-injection surface used by the Phase 1.3 proptest
219/// (`mnemo/tests/proptest_store.rs`). Compiled in under `cfg(test)`
220/// and the `failpoints` feature only; absent from release builds.
221///
222/// **Not part of the stable public API.** The double-underscore
223/// convention makes the "internal" contract obvious at the call site.
224#[cfg(any(test, feature = "failpoints"))]
225#[doc(hidden)]
226pub mod __failpoints {
227    /// Arm the pager and WAL commit path to fail on the Nth
228    /// subsequent write. `n = 0` fails the very next write; `n = -1`
229    /// (or any negative) disables. One-shot — disarms on trigger.
230    ///
231    /// Every write is checked before the byte hits the file, so a
232    /// triggered failure is guaranteed torn-BEFORE, never
233    /// torn-AFTER — critical for the "either pre-flush or post-flush"
234    /// invariant the property test asserts.
235    pub fn set_writes_until_fail(n: i64) {
236        crate::pager::failpoints::set_writes_until_fail(n)
237    }
238}
239
240/// Internal parse surfaces exposed for cargo-fuzz targets (Phase 1.2).
241///
242/// **Not part of the stable public API.** Each function feeds an
243/// arbitrary byte slice into a parse/decode path that a hostile
244/// `.mnemo` file (or a hostile MCP client) can send us, and returns
245/// `Result<()>` so a fuzz target only asserts "no panic." Marked
246/// `#[doc(hidden)]` so `cargo doc` doesn't advertise it; do not import
247/// from application code.
248#[doc(hidden)]
249pub mod __fuzz {
250    /// Parse a `.mnemo` header page (page 0, plaintext) from arbitrary
251    /// bytes. This is the pre-passphrase attack surface — a hostile
252    /// file hits it before any DEK exists.
253    pub fn parse_header(bytes: &[u8]) -> crate::Result<()> {
254        crate::format::Header::from_page(bytes).map(|_| ())
255    }
256
257    /// Replay the WAL scan over an arbitrary byte region. Delegates
258    /// to [`crate::wal::recover_bytes`]; a corrupt / truncated /
259    /// adversarial region must return `Err` or `Ok(None/Some(_))`,
260    /// never panic.
261    pub fn wal_recover_bytes(region: &[u8], wal_seq: u64) -> crate::Result<()> {
262        crate::wal::recover_bytes(region, wal_seq).map(|_| ())
263    }
264
265    /// Decode a `Memory` record body from arbitrary bytes.
266    pub fn decode_memory(bytes: &[u8]) -> crate::Result<()> {
267        rmp_serde::from_slice::<crate::Memory>(bytes)
268            .map(|_| ())
269            .map_err(|e| crate::MnemoError::Serialize(e.to_string()))
270    }
271
272    /// Decode a `CacheEntry` record body from arbitrary bytes. Type is
273    /// `pub(crate)`, so this wrapper hides it behind a unit return.
274    pub fn decode_cache_entry(bytes: &[u8]) -> crate::Result<()> {
275        rmp_serde::from_slice::<crate::result_cache::CacheEntry>(bytes)
276            .map(|_| ())
277            .map_err(|e| crate::MnemoError::Serialize(e.to_string()))
278    }
279
280    /// Decode a cache-directory page-run body (a `Vec<CacheDirectoryEntry>`)
281    /// from arbitrary bytes.
282    pub fn decode_cache_directory(bytes: &[u8]) -> crate::Result<()> {
283        rmp_serde::from_slice::<Vec<crate::result_cache::CacheDirectoryEntry>>(bytes)
284            .map(|_| ())
285            .map_err(|e| crate::MnemoError::Serialize(e.to_string()))
286    }
287
288    /// Parse a single MCP stdio JSON-RPC request line. Malformed
289    /// input returns `Err(String)`; the fuzz target only asserts
290    /// no panic and that the server would not die on this line.
291    pub fn parse_mcp_request_line(line: &str) -> Result<(), String> {
292        crate::mcp::__fuzz_parse_request_line(line)
293    }
294}