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, ExportedTurn, Filter, FilterTerm, IngestReport, KeyScope, KeyedMemory, Memory,
76 MemoryPatch, 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}