diff --git a/docs/fork-c/README.md b/docs/fork-c/README.md
index ff403a3..a46ea41 100644
--- a/docs/fork-c/README.md
+++ b/docs/fork-c/README.md
@@ -21,7 +21,10 @@ tree would not be committed; the S0 contract must be committed. `docs/` is track
 - **Base:** `wt-stdlib-base @ 1f755284d98c6e8ebba953045c06e35d8cbe6278` (A–E6a merged).
 - **E6b:** `flow/stdlib/E6b @ af737b0` — PAUSED, **unmerged**, all transitional, destined
   for S3/S6 deletion. Its semantics goldens are harvested; its src is never merged.
-- **This branch:** `flow/stdlib/S0` (branched from the base; S0 HEAD == base).
+- **This branch:** `flow/stdlib/S0` (branched from the base). **Production/compiler
+  behavior is base-equivalent** — zero `src/` changes, single-author output
+  byte-identical to base by construction — but S0 HEAD is a distinct commit carrying
+  the docs/examples/tests diff (it does **not** equal base).
 
 ## Contents
 
diff --git a/docs/fork-c/S0.2-e6b-disposition-and-two-corpus-partition.md b/docs/fork-c/S0.2-e6b-disposition-and-two-corpus-partition.md
index 665e6c7..64e4bfb 100644
--- a/docs/fork-c/S0.2-e6b-disposition-and-two-corpus-partition.md
+++ b/docs/fork-c/S0.2-e6b-disposition-and-two-corpus-partition.md
@@ -26,7 +26,7 @@ the leaf it polices no longer exists (reconciled §5). A–E6a stays merged pure
 byte-identity rule / `RawDeclRef` facts → the `DeclId` seed) — see
 `S0.3-reuse-delete-ledger.md`.
 
-**Grep-clean (verified on this branch, S0 == base):**
+**Grep-clean (verified on this branch — `src/` is base-equivalent, zero src changes):**
 
 | check | base / S0 | E6b |
 |---|---|---|
diff --git a/docs/fork-c/S0.3-reuse-delete-ledger.md b/docs/fork-c/S0.3-reuse-delete-ledger.md
index babae16..1294bc3 100644
--- a/docs/fork-c/S0.3-reuse-delete-ledger.md
+++ b/docs/fork-c/S0.3-reuse-delete-ledger.md
@@ -22,7 +22,7 @@ is never merged (see `S0.2-…`).
 | **E-series selection rules** — own-wins / not-visible / ambiguity / direct-flat (the E1–E6a behaviors) | **resolver behavior + regression tests** (the baseline-green corpus is the mirror oracle) | S2 behavior; regressions locked S0 |
 | **CP rule** — body-author == layout-author | **keyed by `InstantiationId{template_decl, resolved_args}`** in the fact store | S4 |
 | **E6BR routed-signature cases** (the E6BR-1…4 behavioral cells) | **resolver-signature regressions** — the resolver walks every signature reference position; cases live in the resolver-target corpus, flip at S3.9 | S3.9 |
-| **FFI `foreign_class_map` consumers + 116-class corpus** | parallel `DeclId`s land at S1 (map still the consumer); foreign classes keyed by `DeclId` at S4; runtime names stay **payload strings on facts** | S1 → S4 |
+| **FFI `foreign_class_map` consumers + FFI corpus (96 entry trees / 95 active markers)** | parallel `DeclId`s land at S1 (map still the consumer); foreign classes keyed by `DeclId` at S4; runtime names stay **payload strings on facts** | S1 → S4 |
 
 ## B. DELETED / TRANSITIONAL — removed in S3/S6