test(type-check): 12 packages type-check their tests, and the gap is now declared (objectstack#4118)

A package tsconfig excludes test files — correctly, it is the BUILD config and
they would emit into `dist`. The hole is that no other `tsc` invocation read them
either, so for most packages nothing compiled a test at all. objectui#3009 found
what that costs: `spec-derived-unions.test.ts` had built its whole contract on
`satisfies` checks that never ran, under a header calling them "the real
enforcement". Reverting a derived alias produced zero errors.

Tests are where agents encode their understanding of a contract. Unchecked, a
wrong understanding accumulates silently and then reads as evidence.

Wires up every package measured at zero code-tier errors — 12, not the 8 the
issue estimated. The extra four fell out of a better config template:
`plugin-calendar` and `plugin-kanban` needed only the jest-dom matcher types,
`providers` was already clean, and `sdui-parser`'s 50 TS2304s were env globals
exactly as the issue suspected, not real errors.

Wiring `sdui-parser` up surfaced a real bug: `render.test.tsx` imports
`@object-ui/core` and `@object-ui/react` with neither declared in its
package.json. Both were phantom — resolved only through the ROOT tsconfig's
`paths` alias and vitest, never as a dependency a consumer would get. Declared as
devDependencies, which is also what makes the `paths: {}` in the new config
meaningful: with the alias in place an undeclared workspace import still compiles.

Every `tsconfig.test.json` follows objectui#3009's template — `noEmit`,
`composite: false`, `paths: {}` to kill the TS6059 source-leak noise, and `lib` /
`types` only where the tests actually need them (`mobile` reads
`Array.prototype.at`, so ES2022; `plugin-report` pulls in a source file that
reads `process.env`, so `node`).

The guard grows a second half so this cannot silently regress. A package with
test files either compiles them or carries a TEST_DEBT entry with a MEASURED
count — re-measured against current main, not copied from the issue's table:
240 code-tier errors across 15 packages. It also fails on a `tsconfig.test.json`
that nothing runs, which is the objectui#3009 shape itself: a file that looks
like enforcement while no compiler reads it.

Discrimination proof — three ways it fails, run before landing:
1. unchaining plugin-tree's config: "has a tsconfig.test.json that its
   type-check script never runs … the exact shape of objectui#3009"
2. deleting the `permissions` TEST_DEBT entry: "has 3 test files that no `tsc`
   invocation reads"
3. a package listed in both DEBT and TEST_DEBT is rejected as one gap counted
   twice (this is how `layout` was caught during the sweep)

Refs objectstack#4118, objectui#3009, objectstack#4074, #2911, #2901

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Rvv6qysks2dRLaGfpTdgEy

Author: claude

packages/mobile/package.json

@@ -30,7 +30,7 @@
     "build": "tsc",
     "clean": "rm -rf dist",
     "test": "vitest run",
-    "type-check": "tsc --noEmit",
+    "type-check": "tsc --noEmit && tsc -p tsconfig.test.json",
     "lint": "eslint ."
   },
   "peerDependencies": {

packages/mobile/tsconfig.test.json

@@ -0,0 +1,22 @@
+{
+  // Type-checks this package's TESTS, which `tsconfig.json` excludes.
+  // See `packages/types/tsconfig.test.json` for why that exclusion was a hole:
+  // the build correctly keeps tests out of `dist`, but nothing else compiled
+  // them, so a test could assert a contract the compiler never checked.
+  "extends": "../../tsconfig.json",
+  "compilerOptions": {
+    "noEmit": true,
+    // The package build is `composite` + `declaration`; this project emits
+    // nothing, so it must not inherit those.
+    "composite": false,
+    // `gesture-spec-parity.test.tsx` reads `mock.calls.at(-1)`. ES2022 is the
+    // floor for `Array.prototype.at` — the root config's ES2020 is what the
+    // SOURCE targets, and a test is free to need more than the shipped bundle.
+    "lib": ["ES2022", "DOM", "DOM.Iterable"],
+    // Drop the root tsconfig's source-tree `paths` so `@object-ui/*` and
+    // `@objectstack/spec` resolve through the workspace dependency's built
+    // `.d.ts` instead of pulling sibling sources in as program inputs (TS6059).
+    "paths": {}
+  },
+  "include": ["src/**/*.test.ts", "src/**/*.test.tsx"]
+}

packages/plugin-calendar/package.json

@@ -27,7 +27,7 @@
     "build": "vite build",
     "test": "vitest run",
     "test:watch": "vitest",
-    "type-check": "tsc --noEmit",
+    "type-check": "tsc --noEmit && tsc -p tsconfig.test.json",
     "lint": "eslint ."
   },
   "dependencies": {

packages/plugin-calendar/tsconfig.test.json

@@ -0,0 +1,24 @@
+{
+  // Type-checks this package's TESTS, which `tsconfig.json` excludes.
+  // See `packages/types/tsconfig.test.json` for why that exclusion was a hole:
+  // the build correctly keeps tests out of `dist`, but nothing else compiled
+  // them, so a test could assert a contract the compiler never checked.
+  "extends": "../../tsconfig.json",
+  "compilerOptions": {
+    "noEmit": true,
+    // The package build emits `dist`; this project emits nothing, so it must
+    // not inherit `composite` / `declaration` from the build config.
+    "composite": false,
+    // The `toBeInTheDocument` / `toHaveTextContent` matchers these tests use are
+    // a global augmentation, not an import, and `@testing-library/jest-dom` does
+    // not live under `@types/` — so it is never picked up automatically and has
+    // to be named here. Naming `types` at all switches off automatic `@types/*`
+    // inclusion, which is fine: nothing in these tests touches Node globals.
+    "types": ["@testing-library/jest-dom"],
+    // Drop the root tsconfig's source-tree `paths` so `@object-ui/*` and
+    // `@objectstack/spec` resolve through the workspace dependency's built
+    // `.d.ts` instead of pulling sibling sources in as program inputs (TS6059).
+    "paths": {}
+  },
+  "include": ["src/**/*.test.ts", "src/**/*.test.tsx"]
+}

packages/plugin-designer/package.json

@@ -24,7 +24,7 @@
     "build": "vite build",
     "clean": "rm -rf dist",
     "test": "vitest run",
-    "type-check": "tsc --noEmit",
+    "type-check": "tsc --noEmit && tsc -p tsconfig.test.json",
     "lint": "eslint ."
   },
   "peerDependencies": {

packages/plugin-designer/tsconfig.test.json

@@ -0,0 +1,18 @@
+{
+  // Type-checks this package's TESTS, which `tsconfig.json` excludes.
+  // See `packages/types/tsconfig.test.json` for why that exclusion was a hole:
+  // the build correctly keeps tests out of `dist`, but nothing else compiled
+  // them, so a test could assert a contract the compiler never checked.
+  "extends": "../../tsconfig.json",
+  "compilerOptions": {
+    "noEmit": true,
+    // The package build emits `dist`; this project emits nothing, so it must
+    // not inherit `composite` / `declaration` from the build config.
+    "composite": false,
+    // Drop the root tsconfig's source-tree `paths` so `@object-ui/*` and
+    // `@objectstack/spec` resolve through the workspace dependency's built
+    // `.d.ts` instead of pulling sibling sources in as program inputs (TS6059).
+    "paths": {}
+  },
+  "include": ["src/**/*.test.ts", "src/**/*.test.tsx"]
+}

packages/plugin-kanban/package.json

@@ -27,7 +27,7 @@
     "build": "vite build",
     "test": "vitest run",
     "test:watch": "vitest",
-    "type-check": "tsc --noEmit",
+    "type-check": "tsc --noEmit && tsc -p tsconfig.test.json",
     "lint": "eslint ."
   },
   "dependencies": {

packages/plugin-kanban/tsconfig.test.json

@@ -0,0 +1,24 @@
+{
+  // Type-checks this package's TESTS, which `tsconfig.json` excludes.
+  // See `packages/types/tsconfig.test.json` for why that exclusion was a hole:
+  // the build correctly keeps tests out of `dist`, but nothing else compiled
+  // them, so a test could assert a contract the compiler never checked.
+  "extends": "../../tsconfig.json",
+  "compilerOptions": {
+    "noEmit": true,
+    // The package build emits `dist`; this project emits nothing, so it must
+    // not inherit `composite` / `declaration` from the build config.
+    "composite": false,
+    // The `toBeInTheDocument` / `toHaveTextContent` matchers these tests use are
+    // a global augmentation, not an import, and `@testing-library/jest-dom` does
+    // not live under `@types/` — so it is never picked up automatically and has
+    // to be named here. Naming `types` at all switches off automatic `@types/*`
+    // inclusion, which is fine: nothing in these tests touches Node globals.
+    "types": ["@testing-library/jest-dom"],
+    // Drop the root tsconfig's source-tree `paths` so `@object-ui/*` and
+    // `@objectstack/spec` resolve through the workspace dependency's built
+    // `.d.ts` instead of pulling sibling sources in as program inputs (TS6059).
+    "paths": {}
+  },
+  "include": ["src/**/*.test.ts", "src/**/*.test.tsx"]
+}

packages/plugin-markdown/package.json

@@ -27,7 +27,7 @@
     "build": "vite build",
     "test": "vitest run",
     "test:watch": "vitest",
-    "type-check": "tsc --noEmit",
+    "type-check": "tsc --noEmit && tsc -p tsconfig.test.json",
     "lint": "eslint ."
   },
   "dependencies": {

packages/plugin-markdown/tsconfig.test.json

@@ -0,0 +1,18 @@
+{
+  // Type-checks this package's TESTS, which `tsconfig.json` excludes.
+  // See `packages/types/tsconfig.test.json` for why that exclusion was a hole:
+  // the build correctly keeps tests out of `dist`, but nothing else compiled
+  // them, so a test could assert a contract the compiler never checked.
+  "extends": "../../tsconfig.json",
+  "compilerOptions": {
+    "noEmit": true,
+    // The package build emits `dist`; this project emits nothing, so it must
+    // not inherit `composite` / `declaration` from the build config.
+    "composite": false,
+    // Drop the root tsconfig's source-tree `paths` so `@object-ui/*` and
+    // `@objectstack/spec` resolve through the workspace dependency's built
+    // `.d.ts` instead of pulling sibling sources in as program inputs (TS6059).
+    "paths": {}
+  },
+  "include": ["src/**/*.test.ts", "src/**/*.test.tsx"]
+}