diff --git a/AGENTS.md b/AGENTS.md
index ec8cb05..219326f 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -42,12 +42,14 @@ Before adding a sentence here, ask what would have to change if the answer chang
 
 ## What this page must not say
 
-- **No type count and no type list.** The model ships a slice today and moves fast; any
-  number here is wrong within a release. That sentence belongs in `meta-model`'s `README`,
-  which ships in the same commit as the type it counts.
-- **No claim that a pack exists.** The mechanism is deliberately undesigned until a second
-  kind of company asks for one. Saying what a pack *is* is positioning and belongs here;
-  implying one ships is not.
+- **No type count.** The model moves fast; any number here is wrong within a release. The
+  roadmap names a type when it ships, by name and never by number, and the sentence that
+  counts them belongs in `meta-model`'s `README`, which ships in the same commit as the type
+  it counts.
+- **A pack is named when it ships, and only by what kind of company it is for.** What a
+  pack is, and what each of its types carries, belongs to `meta-model`'s `README` and the
+  pack's own. This bullet forbade claiming a pack exists while the mechanism was undesigned;
+  three ship, and the page has said so since #39.
 - **Nothing identifying the companies the model was extracted from.** The structural claim —
   two independent instances converged on the same shape — stands without naming either.
 - **No rate, and no hosted service.** The commercial model is consulting, billed time and