diff --git a/AFFIRMATION.adoc b/AFFIRMATION.adoc
index cae47d8..794cfc2 100644
--- a/AFFIRMATION.adoc
+++ b/AFFIRMATION.adoc
@@ -2,7 +2,7 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
 // SPDX-License-Identifier: CC-BY-SA-4.0
 = AFFIRMATION — Haec
-:revdate: 2026-06-22
+:revdate: 2026-10-27
 
 A dated, ground-truthed honesty snapshot. This is the brief's "STATUS" for Haec:
 what exists, what is verified, what is deferred — stated plainly, no overclaim.
@@ -30,3 +30,20 @@ nor the vocabulary. Its sole present claim is that its elaboration targets the I
 and its examples lower to IR the checker accepts.
 
 — Authored by the build agent under owner direction; signed in git history.
+
+== As of 2026-10-27
+
+*Ground truth (run here, UTC 07:49, haec `e9bee39`):*
+`TROPECHECK_REQUIRED=1 TROPECHECK_BIN=/path/to/tropecheck-rs bash tests/check-examples.sh` (the path is a placeholder for the built fast core) → the three examples
+(`faithful-record`, `survey-collapse`, `station-average`) lower to well-formed Trope
+IR; the vendored `design/trope-ir.schema.json` matches the canonical checker schema;
+all three round-trip through the checker to the verdict each states —
+`faithful-record` `p-sufficient`, `survey-collapse` `p-insufficient` with witness
+`e_collapse/fate.quality`, `station-average` `p-sufficient`. "examples: all lower to
+valid Trope IR." The checker was the Rust fast core built from trope-checker
+`44020f9` (`main` 216f23b plus the two Phase 0 spec/CI patches, which do not touch
+`src/rust`).
+
+*Still true, stated once:* no compiler, no LSP, no runtime; the O2 lowering
+obligations in `design/elaboration.adoc` are stated, not discharged; no proofs of
+our own.
diff --git a/README.adoc b/README.adoc
index b287e1e..bd818dd 100644
--- a/README.adoc
+++ b/README.adoc
@@ -73,6 +73,9 @@ calculus* (grade algebra, IR semantics, soundness) is normative in
 `trope-checker/spec/calculus.adoc`, which this repository references rather than
 restates. See `docs/trope-estate-architecture.svg`.
 
+The five-repo map. Vocabulary track: trope-particularity-workbench → haec → trope-checker (verdict). Store/query track: haec → vocarium → hermeneia → trope-checker (verdict). trope-checker depends on nothing (HC-1); the workbench depends on nothing; vocarium and hermeneia meet at the M2 StoreProvider adapter (vocarium ADR-0002: wire, do not link).
+
+
 == The type discipline (summary; the normative spec lives with the checker)
 
 The judgement is `Γ ⊢ e : A ! g` — _e_ produces an _A_ with loss-shape grade _g_.