fix(spec): narrow the retirement pin's examples radius to non-code files and drop the dead PROTOCOL_MAP row

The dispatch-gates self-test pins that no cross-package hint reaches a test file
outside packages/**; a bare examples/** glob covered the CRM example's smoke test.
The pin now scans only JSON / MD / MDX / YAML under examples/ (every example has its
own tsc typecheck) and the declaration + turbo.json name those five extension globs
with heldBy witnesses. PROTOCOL_MAP.md linked the deleted change-management module;
its row is dropped (the map test's own remedy).

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01M59rPZZFzqhfMUPFqqZTkf

Author: claude

packages/spec/PROTOCOL_MAP.md

@@ -138,7 +138,6 @@ This document serves as the **Grand Map** of the ObjectStack specification. It l
 | [`license.zod.ts`](src/system/license.zod.ts) | | **Licensing**. License keys and entitlements. |
 | [`registry-config.zod.ts`](src/system/registry-config.zod.ts) | | **Registry Config**. Configuration for the package registry. |
 | [`tenant.zod.ts`](src/system/tenant.zod.ts) | | **Tenant**. Multi-tenant environment isolation. |
-| [`change-management.zod.ts`](src/system/change-management.zod.ts) | | **Change Mgmt**. Deployment history and rollbacks. |
 | [`collaboration.zod.ts`](src/system/collaboration.zod.ts) | | **Collaboration**. Real-time collaboration settings. |
 
 ---

packages/spec/src/system/compliance-families-retirement.test.ts

@@ -302,16 +302,26 @@ describe('[#15513] ADR-0087 registration', () => {
 // `packages/client-react`'s `realtime-hooks.test.tsx` (the `@objectstack/core`
 // entry records the measurement). A `.tsx` import of a retired name fails
 // `tsc` in its own package, which is the enforced channel for typed sources.
+// Under `examples/` NO code file is scanned at all (only JSON / MD / MDX /
+// YAML): every example is a workspace package with its own `typecheck`, and
+// the same self-test pins that no cross-package hint reaches a test file
+// outside `packages/**` — its `OUTSIDE_PACKAGES` specimen is the CRM example's
+// smoke test, which a bare `examples/**` glob covers and a `.json` / `.md`
+// glob cannot. (The specimen's path is deliberately not spelled here: the
+// inputs gate collects a quoted whole path as a named read and would demand
+// the very declaration the self-test refuses.)
 // The residue this leg covers is everything `tsc` does not compile: JSON,
-// YAML, MD, MDX, and untyped `.js` / `.mjs` / `.cjs`.
+// YAML, MD, MDX, and (under `packages/`) untyped `.js` / `.mjs` / `.cjs`.
 describe('[#15513] tree-scoped absence: nothing inside the declared radius references a retired name', () => {
   const REPO_ROOT = path.resolve(SPEC_ROOT, '../..');
   const THIS_FILE = path.relative(REPO_ROOT, fileURLToPath(import.meta.url)).split(path.sep).join('/');
 
   /** The walked roots — declared in `scripts/cross-package-test-inputs.mjs` under `@objectstack/spec`. */
   const WALK_ROOTS = ['packages', 'examples', 'skills', 'content', 'scripts'];
-  /** Per-extension under `packages/` (never `.tsx`, see above); the other roots are declared whole. */
+  /** Per-extension under `packages/` (never `.tsx`, see above); `content/`, `skills/`, `scripts/` are declared whole. */
   const SCANNED_EXT = new Set(['.ts', '.mts', '.cts', '.js', '.mjs', '.cjs', '.json', '.md', '.mdx', '.yaml', '.yml']);
+  /** Under `examples/` only the non-code extensions are scanned AND declared (see above). */
+  const EXAMPLES_EXT = new Set(['.json', '.md', '.mdx', '.yaml', '.yml']);
   /** Build, SCM and cache state — not authored sources. */
   const SKIPPED_DIRS = new Set(['node_modules', 'dist', '.git', '.turbo', '.cache', '.objectstack', 'coverage', '.next', '.source']);
 
@@ -383,7 +393,8 @@ describe('[#15513] tree-scoped absence: nothing inside the declared radius refer
           continue;
         }
         if (!entry.isFile()) continue;
-        if (!SCANNED_EXT.has(path.extname(entry.name))) continue;
+        const ext = path.extname(entry.name);
+        if (!(rel.startsWith('examples/') ? EXAMPLES_EXT : SCANNED_EXT).has(ext)) continue;
         if (entry.name === 'CHANGELOG.md') continue; // release prose records the removal
         if (EXCLUDED.has(rel) || EXCLUDED_PREFIXES.some((p) => rel.startsWith(p))) continue;
         visited += 1;

scripts/cross-package-test-inputs.mjs

@@ -194,10 +194,19 @@ export const CROSS_PACKAGE_TEST_INPUTS = {
       // `tsc` in its own package, which is the enforced channel there.
       // `packages/**/*.ts` and `*.mts` subsume this entry's narrower `.ts`
       // globs above, which are left as the tests that declared them spelled
-      // them. `examples/**` and `content/**` are declared whole (the pin scans
-      // their JSON / MD / MDX / YAML too; `content/**` subsumes the two
-      // `content/docs/...` rows above). `skills/**` and `scripts/**` were
-      // already declared by the tests named at their rows.
+      // them. `content/**` is declared whole (the pin scans its JSON / MD /
+      // MDX / YAML too; it subsumes the two `content/docs/...` rows above).
+      // `examples/` is declared per NON-CODE extension only: every example is
+      // a workspace package with its own `typecheck` (`tsc --noEmit`), so a
+      // typed resurrection there fails `tsc` in its own package, and the pin
+      // scans only JSON / MD / MDX / YAML under it. ⛔ Not `examples/**` — that
+      // glob covers the CRM example's smoke test, and the dispatch-gates
+      // self-test pins that no cross-package hint reaches a test file outside
+      // `packages/**` (its `OUTSIDE_PACKAGES` specimen; the path is not spelled
+      // here for the reason the `@objectstack/types` entry gives — a quoted
+      // whole path in this module becomes the very hint the case refuses);
+      // a `.json` / `.md` glob cannot match a `.ts` path. `skills/**` and
+      // `scripts/**` were already declared by the tests named at their rows.
       'packages/**/*.ts',
       'packages/**/*.mts',
       'packages/**/*.cts',
@@ -209,7 +218,11 @@ export const CROSS_PACKAGE_TEST_INPUTS = {
       'packages/**/*.mdx',
       'packages/**/*.yaml',
       'packages/**/*.yml',
-      'examples/**',
+      'examples/**/*.json',
+      'examples/**/*.md',
+      'examples/**/*.mdx',
+      'examples/**/*.yaml',
+      'examples/**/*.yml',
       'content/**',
     ],
     heldBy: {
@@ -234,7 +247,11 @@ export const CROSS_PACKAGE_TEST_INPUTS = {
       'packages/**/*.mdx': ['packages/spec/src/system/compliance-families-retirement.test.ts'],
       'packages/**/*.yaml': ['packages/spec/src/system/compliance-families-retirement.test.ts'],
       'packages/**/*.yml': ['packages/spec/src/system/compliance-families-retirement.test.ts'],
-      'examples/**': ['packages/spec/src/system/compliance-families-retirement.test.ts'],
+      'examples/**/*.json': ['packages/spec/src/system/compliance-families-retirement.test.ts'],
+      'examples/**/*.md': ['packages/spec/src/system/compliance-families-retirement.test.ts'],
+      'examples/**/*.mdx': ['packages/spec/src/system/compliance-families-retirement.test.ts'],
+      'examples/**/*.yaml': ['packages/spec/src/system/compliance-families-retirement.test.ts'],
+      'examples/**/*.yml': ['packages/spec/src/system/compliance-families-retirement.test.ts'],
     },
   },
   '@objectstack/core': {

turbo.json

@@ -79,7 +79,11 @@
         "$TURBO_ROOT$/packages/**/*.mdx",
         "$TURBO_ROOT$/packages/**/*.yaml",
         "$TURBO_ROOT$/packages/**/*.yml",
-        "$TURBO_ROOT$/examples/**",
+        "$TURBO_ROOT$/examples/**/*.json",
+        "$TURBO_ROOT$/examples/**/*.md",
+        "$TURBO_ROOT$/examples/**/*.mdx",
+        "$TURBO_ROOT$/examples/**/*.yaml",
+        "$TURBO_ROOT$/examples/**/*.yml",
         "$TURBO_ROOT$/content/**"
       ]
     },