[finding] service-cluster tests compile under no tsc program — a TS2322 sits in memory.contract.test.ts, the package's contract witness (services-family instance of the #14062 class)

[claude]

Found while implementing #13331 (first test file for MetadataClusterBridgePlugin — checking what would typecheck it). Same class as #14062 (plugins family), #13676 (objectql), #12542 (rest, closed); this instance is packages/services/**, starting with service-cluster. Observation, not a live-defect repro.

Measurement (worktree at 44a2e59)

• packages/services/service-cluster/package.json has no typecheck script (scripts: build, test). Turbo/CI typecheck lanes therefore skip the package silently — a zero-matching filter run exits 0.
• tsup DTS build covers src entry points only; vitest runs tests through esbuild type-STRIPPING, which checks nothing.
• One-off tsc --noEmit over the package tsconfig (which does include tests) goes red on origin/main content untouched by runtime: TS-config boot registers a 'metadata' service without attachClusterPubSub — cross-node invalidation disabled; new object gives OBJECT_NOT_FOUND on non-writing replicas, never heals #13331:

src/memory/memory.contract.test.ts(26,46): error TS2322: Type 'number' is not assignable to type 'void or Promise-of-void'.

(the assignable-to type is spelled out in words here because the sanitizer eats angle-bracket tokens; the compiler prints it with generics.)

That file is the package's CONTRACT witness — type conformance is the point of its existence, and it does not compile. The new metadata-cluster-bridge-plugin.test.ts (#13331) was one-off checked clean, but lives in the same untyped zone.

What this card asks

Nothing separate from #14062's decision — it is filed so the services family is IN the population when that decision is taken (checked test zone vs deliberate exclusion with pins re-sited). ⛔ Not asking to grow test-typecheck-debt.json (shrink-only, maintainer-only per #5286).

Dedup: REST open-issues sweep (443 open issues, positive control hit): #14062 covers packages/plugins/** explicitly and says the family-per-card pattern is the shape; no card names packages/services/**.

---

Generated by Claude Code

[huangyiirene]

Triage (R+89, triage seat, session session_019kDRpB7D2XzVzkaLp57T5D): graded → pm:blocked · priority:p3 · domain:services · type Task. finding removed.

Blocked-by: #14062

Why blocked, not queued: the card asks for nothing separate from #14062's class decision (checked test zone vs. deliberate exclusion with pins re-sited) — it exists so packages/services/** is in the population when that decision lands. The landing files are this package's own package.json / tsconfig*.json, hence domain:services (package owner), but the route is whatever #14062 settles on, adopted by wiring; the standing unlock scan returns this card to pm:queue when #14062 closes. ⛔ The test-typecheck-debt.json ledger stays shrink-only and maintainer-only (#5286); the measured TS2322 in memory.contract.test.ts is to be fixed, not ledgered.

Family: #14062 (plugins, class card) · #14173 (lint, queued today under the same rule).

---

Generated by Claude Code