Type-axis remediation worklist: 51 packages resolve a workspace dep's declarations through dist, per check:type-source-resolution's landing registry #8249

Filed by the agent that landed check:type-source-resolution (PR #8248 for #8180), as that card's declared follow-up. Not worked here — the gate's scope was explicitly the finite audited list, not fixing entries.

What this tracks

KNOWN_DIST_RESOLVED_TYPE_IMPORTS in scripts/check-type-source-resolution.mjs is the measured state of the repo on the day the gate landed: 51 of 76 packages with a tsconfig.json, 222 package-dependency pairs, 25 clean. Each listed package's tsc program imports a workspace package whose declarations resolve under dist/, with no paths rule pointing at source — so every type verdict in it, including whatever typecheck reports, is currently a function of build state.

The registry is shrink-only and audited for set equality in both directions, so this list cannot grow behind anyone's back and an entry that stops being needed fails the gate and names itself for deletion. Remediating a package is therefore a self-closing change: add the rules, delete (or narrow) the entry, gate goes green.

Why one card per package, cut from here

Remediation is not free and it is not uniform, which is why it is per-package rather than one repo-wide diff. Putting a dependency's source into a consumer's program makes tsc check that source under the consumer's compilerOptions. Measured on packages/qa/downstream-contract, the one package already remediated on this axis (#8021): 2 TS2591 (spec source needs types: ["node"]) and 247 TS6059 from a rootDir that emits nothing under noEmit and is still enforced. Both were config consequences, not spec bugs, and both had to be resolved in that package's own tsconfig.json.

So each package's error classes have to be measured on that package before its change can be scoped — which is the work of its own card, and why cutting 51 cards up front would produce 51 content-free duplicates of the table below. Cut a card when a package is picked up, carrying that package's measured error classes; #8104 is the runtime-axis precedent for the shape.

A repo-wide remediation diff is also the wrong shape for a second reason: it would collide with every in-flight lane in a shared merge queue.

The two rules, and the spelling that must never be used

"paths": {
  "@objectstack/spec": ["../../spec/src/index.ts"],
  "@objectstack/spec/*": ["../../spec/src/*/index.ts"]
}

Both rules are load-bearing and they fail independently — measured: with the subpath rule kept and only the bare-entry rule deleted, tsc stayed clean while src/stack.ts's defineStack types came from dist.

⛔ Never collapse them into @objectstack/spec* — star not preceded by a separator. That key matches the bare name, every namespace and every prefix-sharing sibling package, folding all of it onto one target. Unlike the Vite-side trap it does not crash: the target re-exports most of the surface, so the program type-checks against the wrong module and stays green. The gate refuses that spelling outright.

The list

Generated by Claude Code