diff --git a/README.md b/README.md
index 1da9de7..d236291 100644
--- a/README.md
+++ b/README.md
@@ -105,6 +105,9 @@ Source → Lexer (logos) → Parser → AST → Compiler → Indexed RPN bytecod
 | `fmpl-scenario-runner` | Data-driven behavior-scenario test runner |
 | `fmpl-bootstrap` | Stage-0 Rust-compiler fallback for the bootstrap |
 | `fmpl-wasm` | wasm-bindgen bindings for the browser REPL |
+| `fmpl-persistence` | Persistence layer: envelope writer, loader, Store trait |
+| `fmpl-types` | Shared cross-crate types: VmVersion, Hash, SourceHash |
+| `fmpl-workspace-tests` | Workspace-level structural invariants (integration tests only) |
 
 ## Documentation
 
diff --git a/docs/fmpl-tour.html b/docs/fmpl-tour.html
index c1ff127..739e331 100644
--- a/docs/fmpl-tour.html
+++ b/docs/fmpl-tour.html
@@ -405,7 +405,7 @@ <h1>FMPL<span class="of">, &ldquo;of Accardi&rdquo;</span></h1>
   <p class="dek">Streaming-first, prototype-based, and built for AI agents — grown in Rust from the grammar of a 1992 MUD-server language, with first-class PEG grammars, an indexed-RPN bytecode VM, and a parser that compiles itself.</p>
   <div class="meta-row">
     <span><b>Rust</b> edition 2024</span>
-    <span><b>7</b> workspace crates</span>
+    <span><b>10</b> workspace crates</span>
     <span><b>1,519</b> tests passing</span>
     <span><b>74</b> pinned to future features</span>
     <span><b>MIT</b> license</span>
@@ -452,7 +452,7 @@ <h1>FMPL<span class="of">, &ldquo;of Accardi&rdquo;</span></h1>
 <section id="architecture">
   <div class="sec-head"><span class="sec-num">§2</span><h2>Architecture</h2></div>
   <div class="prose">
-    <p>FMPL is a Cargo workspace of six crates around one core. The execution pipeline is conventional in outline and unconventional in detail:</p>
+    <p>FMPL is a Cargo workspace of ten crates around one core. The execution pipeline is conventional in outline and unconventional in detail:</p>
   </div>
 
   <div class="pipeline" role="img" aria-label="Pipeline: source to lexer to parser to AST to compiler to indexed RPN bytecode to VM">