diff --git a/src/hooks/useEngineLifecycle.ts b/src/hooks/useEngineLifecycle.ts
index f6cfd8b..b508074 100644
--- a/src/hooks/useEngineLifecycle.ts
+++ b/src/hooks/useEngineLifecycle.ts
@@ -25,8 +25,9 @@ interface EngineLifecycleOptions {
  *   – the live engine commands (W4/D7: the prose list that used to be spelled out here is
  *     DELETED, not updated — a hand-maintained copy of the vocabulary has no checker and
  *     rots. The server's command_catalog.hpp is the vocabulary, and the superproject's
- *     scripts/command_vocabulary_lint.py reds if this client sends a token naming no row
- *     in it, or if the set it sends stops equalling that catalog's own kWebUiCommands.
+ *     `pharos check --module command_vocabulary` reds if this client sends a token naming
+ *     no row in it, or if the set it sends stops equalling that catalog's own
+ *     kWebUiCommands.
  *     The gate is NOT in this repo's suite, and that is deliberate: a vitest arm here
  *     reached the catalog by relative path, this repo's CI checks out one repo, and it
  *     threw ENOENT on every run for a month while the pipeline reported green. Only the
diff --git a/src/types/engine.ts b/src/types/engine.ts
index d802d58..a0ed609 100644
--- a/src/types/engine.ts
+++ b/src/types/engine.ts
@@ -79,8 +79,8 @@ export interface EngineSnapshot {
  *
  * CLOSED ON PURPOSE. The vocabulary is declared once, in `coderoast-server`'s
  * `command_catalog.hpp` (`kWebUiCommands` is the subset this client is allowed to send),
- * and the superproject's `scripts/command_vocabulary_lint.py` asserts set equality in both
- * directions across the language gap. This union is the TypeScript side of that seam: it
+ * and the superproject's `command_vocabulary` check module (`pharos check --module
+ * command_vocabulary`) asserts set equality in both directions across the language gap. This union is the TypeScript side of that seam: it
  * does not re-declare the vocabulary's FACTS (permission key, deterministic-mode
  * eligibility, routing class — those stay in the catalog), only the shapes this client
  * spells, so that anything consuming a command exhaustively — the refusal label map in