fix(spec): remove 8 dead page names from build-docs integration category (#8219)

`packages/spec/scripts/build-docs.ts`'s `integration` category listed 9 page
names, 8 of which have never had a matching `.zod.ts` file in
`packages/spec/src/integration/` since #4480 removed the per-provider
connector template files. `buildCategoryPages` already filters by what was
actually emitted, so the dead names were silently harmless — this removes
them deliberately, matching the discipline the `automation` category's
comments already established.

`connector` is the only module `integration/` has ever emitted a page for.
Verified with a fresh `gen:docs` run: 230 files before and after, byte-for-
byte identical — the removal is inert by construction.

Fixes #8166

Co-authored-by: Claude <noreply@anthropic.com>

Author: os-zhuang

packages/spec/scripts/build-docs.ts

@@ -501,9 +501,22 @@ const SECTION_GROUPS: Record<string, Array<{ section: string; pages: string[] }>
     // `connector-auth` removed at #4696 — `integration/` has no such file; the
     // five `ConnectorInstance*Auth` schemas reach this entry point through
     // `integration/connector.zod.ts`, and are documented there now.
-    { section: 'Connectors', pages: ['connector', 'mapping', 'translation'] },
-    { section: 'Transport & Storage', pages: ['http', 'message-queue', 'object-storage', 'offline'] },
-    { section: 'Tenancy', pages: ['tenant', 'misc'] },
+    //
+    // `mapping`, `translation`, `http`, `message-queue`, `object-storage`,
+    // `offline`, `tenant` and `misc` never had a matching `.zod.ts` here
+    // after #4480 removed the per-provider connector template files
+    // (`connector/saas.zod.ts`, `connector/database.zod.ts`, file-storage,
+    // message-queue, github, vercel) — the losing side of ADR-0023's
+    // rejected per-system modelling; ADR-0097's answer is that provider
+    // shapes come from the provider itself, not from the spec
+    // (`integration/index.ts` records the six removed files). This
+    // integration `message-queue` is that connector-template entry, not the
+    // `system` category's own `message-queue.zod.ts` (#8075). `connector` is
+    // the only module `integration/` has ever emitted a page for.
+    // `buildCategoryPages` filters by what was emitted, so leaving these dead
+    // names here would have been silently harmless — which is why they are
+    // removed deliberately instead (#8166).
+    { section: 'Connectors', pages: ['connector'] },
   ],
   kernel: [
     { section: 'Plugin Lifecycle', pages: ['plugin', 'plugin-lifecycle-events', 'plugin-lifecycle-advanced', 'plugin-runtime', 'plugin-loading', 'plugin-registry', 'plugin-structure', 'plugin-validator'] },