From 8a8040b98c40304c8367d19fba735e304b052a3d Mon Sep 17 00:00:00 2001
From: Matt Parrett <matt.parrett@gmail.com>
Date: Mon, 27 Jul 2026 13:34:52 -0700
Subject: [PATCH] docs: correct the crate count in the tour and README
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The tour disagreed with itself: the meta strip said 7 workspace crates,
the §2 prose said six. Cargo.toml lists ten — the persistence split
(fmpl-persistence, fmpl-types, fmpl-workspace-tests) landed after both
numbers were written.

The README's crate table was missing the same three. Descriptions are
taken verbatim from each crate's own `description` field rather than
invented here.

Deliberately not touched: the ignored-test ledger further down the tour
(74, ~50/~9/~5). Those numbers need a suite run to state honestly, and
docs/known-gaps.md currently disagrees with them — see the PR body.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
---
 README.md           | 3 +++
 docs/fmpl-tour.html | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)

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">