diff --git a/CLAUDE.md b/CLAUDE.md
index 37723a8..14cfb80 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -92,7 +92,7 @@ intelligence belongs in the gateway or in Tatlock itself.
 **One Makefile at the root drives all three components.** There is deliberately no
 `gateway/Makefile` any more — `make test` meant "the gateway's tests" or "nothing"
 depending on which directory you were standing in, and now it means the same thing
-everywhere (D-27).
+everywhere (workspace D-27).
 
 ```bash
 make help                          # every target, self-documenting
@@ -117,7 +117,7 @@ misses on this host. Override with `IDF_EXPORT=<path>/export.sh` on another mach
 the target fails loudly with that hint if the file is absent.
 
 `make test` never reports green for the firmware. It has no suite, so it is
-**undetermined**, printed explicitly rather than skipped silently (D-26).
+**undetermined**, printed explicitly rather than skipped silently (workspace D-26).
 
 ## Liveness