fix(metadata-protocol): add the missing typecheck script and repair all 63 test-layer type errors, graduating the package out of the DEBT ledger

packages/metadata-protocol/package.json

@@ -27,6 +27,7 @@
  "build": "tsup && node ../../scripts/check-dts-emitted.mjs",
  "dev": "tsc --watch",
  "clean": "rm -rf dist",
+ "typecheck": "tsc --noEmit",
  "test": "vitest run",
  "test:watch": "vitest"
  },

packages/metadata-protocol/src/mutation-listeners.test.ts

@@ -20,7 +20,12 @@ function makeProtocol() {
  return new ObjectStackProtocolImplementation({} as any);
 }
 
-const evt = (over: Partial<MetadataMutationEvent> = {}): MetadataMutationEvent => ({
+// `body` mirrors `runMutationProjector`'s own declared parameter
+// (`MetadataMutationEvent & { body?: unknown }`) — the projector cases below
+// pass one, and the bare `Partial<MetadataMutationEvent>` rejected it.
+const evt = (
+ over: Partial<MetadataMutationEvent> & { body?: unknown } = {},
+): MetadataMutationEvent & { body?: unknown } => ({
  type: 'hook',
  name: 'rebind_probe_hook',
  state: 'active',

packages/metadata-protocol/src/protocol.batch-atomic.test.ts

@@ -38,7 +38,10 @@ function makeTransactionalEngine(opts: { driverCanTransact?: boolean } = {}) {
  const rollbacks: unknown[] = [];
  const handle = { id: 'trx-1' };
 
- const insert = vi.fn(async (_object: string, data: any) => {
+ // Third parameter declared because the write path PASSES it and the
+ // assertions below read `call[2]`: a 2-arity mock made that a tuple
+ // with no element at index 2.
+ const insert = vi.fn(async (_object: string, data: any, _options?: any) => {
  if (data?.title === POISON) throw new Error('insert exploded');
  return { id: `rec-${insert.mock.calls.length}`, ...data };
  });

packages/metadata-protocol/src/protocol.stored-conversions.test.ts

@@ -44,7 +44,12 @@ function matches(r: Row, where: Record<string, unknown>): boolean {
  return true;
 }
 
-function makeStubEngine(seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>) {
+// `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+// intersected over it: `string & unknown` is `string`, so a plain
+// intersection refuses every body written as an object literal.
+function makeStubEngine(
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
+) {
  let nextId = 0;
  const rows: Row[] = seedRows.map((r) => ({
  id: `r_${++nextId}`,

packages/metadata-protocol/src/protocol.stored-migration.test.ts

@@ -57,7 +57,12 @@ function matches(r: Record<string, any>, where: Record<string, unknown>): boolea
  * actually observable.
  */
 function makeStubEngine(
- seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>,
+ // `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+ // intersected over it: on the row `metadata` is the STORED string, and
+ // `string & unknown` is `string`, so a plain intersection refuses every
+ // body written as an object literal — which is the seeding convenience
+ // this harness exists for, and what it already does at runtime below.
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
 ) {
  let nextId = 0;
  const tables = new Map<string, Record<string, any>[]>();

packages/metadata-protocol/src/seed-loader-composite-external-id.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-dropped.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-failure.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-engine-schema-fallback.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-multi-value-reference.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-replay.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-retry.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-state-machine-exempt.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate, type EngineFindOneQueryInput } from '@objectstack/metadata-core';
 
@@ -193,7 +193,7 @@ describe('seed loader — state_machine initialStates exemption (#3433)', () =>
  // fallback), its options must carry the exemption flag — that is what the
  // engine reads to skip the state_machine rule.
  const writeCalls = [
- ...(engine.insertMany as any).mock.calls,
+ ...((engine as any).insertMany).mock.calls,
  ...(engine.insert as any).mock.calls,
  ].filter(([obj]) => obj === 'showcase_project');
  expect(writeCalls.length).toBeGreaterThan(0);

packages/metadata-protocol/src/seed-loader-summary-stale.test.ts

@@ -2,7 +2,7 @@
 
 import { describe, it, expect, vi } from 'vitest';
 import { SeedLoadResultSchema, SeedLoaderResultSchema } from '@objectstack/spec/data';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/sys-metadata-repository.history-counters.test.ts

@@ -334,7 +334,7 @@ describe('#4867 — history counters are never invented from a failed read', ()
  expect(infoSpy).toHaveBeenCalledTimes(1);
  expect((infoSpy.mock.calls[0] as [string])[0]).toMatch(/readable again/i);
  // Numbering resumes after the surviving max — never from 1 again.
- expect(engine.committed().at(-1)).toEqual({
+ expect(engine.committed().slice(-1)[0]).toEqual({
  name: 'case_grid',
  version: 3,
  event_seq: 4,

scripts/check-type-check-coverage.mjs

@@ -677,15 +677,6 @@ const DEBT = {
  + 'metadata.test.ts (34) and register-notifies-watchers.test.ts (16) do still hold 50 of the 89, '
  + 'but that is over HALF -- the "two thirds" claimed here was true at neither 92 nor 89.',
  },
- '@objectstack/metadata-protocol': {
- errors: 63,
- note: 'code-tier 40 (TS2322 x34, TS2532/TS2493 x2 each, TS2353, TS2339); config-tier 10 (TS2835 x9, '
- + 'TS2550); noise 13 (TS7006). Re-measured 63 at 5ab08428 -- the 2.25x drift that opened #5278, and '
- + 'the entry whose note was most misleading: it read "code-tier 9, the rest config-tier and noise", '
- + 'while code-tier alone is now 40. 27 of the TS2322 are in protocol.stored-migration.test.ts and 10 '
- + 'in seed-loader-multi-value-reference.test.ts, so this is concentrated debt in two files rather '
- + 'than a package-wide drizzle -- read it as two repairs, not as forty.',
- },
  '@objectstack/observability': {
  errors: 11,
  note: 'all code-tier (TS2554 wrong arity x10, TS2552).',
@@ -1898,9 +1889,12 @@ function workspacePackages() {
 // "the workspace root itself: code-tier 4 ..." qualifies);
 // * a tier counted twice, or a further `code-tier 9`-shaped count ANYWHERE
 // later in the note, means the note is quoting its own history and the
-// entry is skipped. metadata-protocol quotes the misleading note #5278
-// found ("code-tier 9, the rest config-tier and noise") and is skipped for
-// exactly that reason -- correct entry, no verdict;
+// entry is skipped. metadata-protocol's entry quoted the misleading note
+// #5278 found ("code-tier 9, the rest config-tier and noise") and was
+// skipped for exactly that reason -- correct entry, no verdict. That entry
+// has since GRADUATED (the package declares `typecheck` and its 63 errors
+// are repaired), so the rule's live example is the self-test case below
+// rather than a ledger row you can still read here;
 // * per-code tallies (`TS2835 x72, TS7006 x49, ...`) are NOT summed. They are
 // partial by construction, and the worked example this rule was written
 // against says why: `@objectstack/rest`'s tally summed to 147 while saying
@@ -4206,9 +4200,11 @@ function selfTest() {
  },
  {
  // The false-positive guard, and the reason the rule abstains rather than
- // reasons: metadata-protocol's real note quotes the misleading one #5278
- // found. Reading either count as the entry's own would red a correct
- // entry, which is worse than the silence this check replaces.
+ // reasons: metadata-protocol's real note quoted the misleading one #5278
+ // found (that entry has since graduated, which is why this synthetic case
+ // now carries the shape). Reading either count as the entry's own would
+ // red a correct entry, which is worse than the silence this check
+ // replaces.
  label: 'a note quoting its own history is SKIPPED, not guessed at',
  packages: [],
  root: { name: 'root', scripts: { typecheck: 'turbo run typecheck' } },

packages/metadata-protocol/package.json

@@ -27,6 +27,7 @@
  "build": "tsup && node ../../scripts/check-dts-emitted.mjs",
  "dev": "tsc --watch",
  "clean": "rm -rf dist",
+ "typecheck": "tsc --noEmit",
  "test": "vitest run",
  "test:watch": "vitest"
  },

packages/metadata-protocol/src/mutation-listeners.test.ts

@@ -20,7 +20,12 @@ function makeProtocol() {
  return new ObjectStackProtocolImplementation({} as any);
 }
 
-const evt = (over: Partial<MetadataMutationEvent> = {}): MetadataMutationEvent => ({
+// `body` mirrors `runMutationProjector`'s own declared parameter
+// (`MetadataMutationEvent & { body?: unknown }`) — the projector cases below
+// pass one, and the bare `Partial<MetadataMutationEvent>` rejected it.
+const evt = (
+ over: Partial<MetadataMutationEvent> & { body?: unknown } = {},
+): MetadataMutationEvent & { body?: unknown } => ({
  type: 'hook',
  name: 'rebind_probe_hook',
  state: 'active',

packages/metadata-protocol/src/protocol.batch-atomic.test.ts

@@ -38,7 +38,10 @@ function makeTransactionalEngine(opts: { driverCanTransact?: boolean } = {}) {
  const rollbacks: unknown[] = [];
  const handle = { id: 'trx-1' };
 
- const insert = vi.fn(async (_object: string, data: any) => {
+ // Third parameter declared because the write path PASSES it and the
+ // assertions below read `call[2]`: a 2-arity mock made that a tuple
+ // with no element at index 2.
+ const insert = vi.fn(async (_object: string, data: any, _options?: any) => {
  if (data?.title === POISON) throw new Error('insert exploded');
  return { id: `rec-${insert.mock.calls.length}`, ...data };
  });

packages/metadata-protocol/src/protocol.stored-conversions.test.ts

@@ -44,7 +44,12 @@ function matches(r: Row, where: Record<string, unknown>): boolean {
  return true;
 }
 
-function makeStubEngine(seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>) {
+// `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+// intersected over it: `string & unknown` is `string`, so a plain
+// intersection refuses every body written as an object literal.
+function makeStubEngine(
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
+) {
  let nextId = 0;
  const rows: Row[] = seedRows.map((r) => ({
  id: `r_${++nextId}`,

packages/metadata-protocol/src/protocol.stored-migration.test.ts

@@ -57,7 +57,12 @@ function matches(r: Record<string, any>, where: Record<string, unknown>): boolea
  * actually observable.
  */
 function makeStubEngine(
- seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>,
+ // `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+ // intersected over it: on the row `metadata` is the STORED string, and
+ // `string & unknown` is `string`, so a plain intersection refuses every
+ // body written as an object literal — which is the seeding convenience
+ // this harness exists for, and what it already does at runtime below.
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
 ) {
  let nextId = 0;
  const tables = new Map<string, Record<string, any>[]>();

packages/metadata-protocol/src/seed-loader-composite-external-id.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-dropped.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-failure.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-engine-schema-fallback.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-multi-value-reference.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-replay.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-retry.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-state-machine-exempt.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate, type EngineFindOneQueryInput } from '@objectstack/metadata-core';
 
@@ -193,7 +193,7 @@ describe('seed loader — state_machine initialStates exemption (#3433)', () =>
  // fallback), its options must carry the exemption flag — that is what the
  // engine reads to skip the state_machine rule.
  const writeCalls = [
- ...(engine.insertMany as any).mock.calls,
+ ...((engine as any).insertMany).mock.calls,
  ...(engine.insert as any).mock.calls,
  ].filter(([obj]) => obj === 'showcase_project');
  expect(writeCalls.length).toBeGreaterThan(0);

packages/metadata-protocol/src/seed-loader-summary-stale.test.ts

@@ -2,7 +2,7 @@
 
 import { describe, it, expect, vi } from 'vitest';
 import { SeedLoadResultSchema, SeedLoaderResultSchema } from '@objectstack/spec/data';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/sys-metadata-repository.history-counters.test.ts

@@ -334,7 +334,7 @@ describe('#4867 — history counters are never invented from a failed read', ()
  expect(infoSpy).toHaveBeenCalledTimes(1);
  expect((infoSpy.mock.calls[0] as [string])[0]).toMatch(/readable again/i);
  // Numbering resumes after the surviving max — never from 1 again.
- expect(engine.committed().at(-1)).toEqual({
+ expect(engine.committed().slice(-1)[0]).toEqual({
  name: 'case_grid',
  version: 3,
  event_seq: 4,

scripts/check-type-check-coverage.mjs

@@ -677,15 +677,6 @@ const DEBT = {
  + 'metadata.test.ts (34) and register-notifies-watchers.test.ts (16) do still hold 50 of the 89, '
  + 'but that is over HALF -- the "two thirds" claimed here was true at neither 92 nor 89.',
  },
- '@objectstack/metadata-protocol': {
- errors: 63,
- note: 'code-tier 40 (TS2322 x34, TS2532/TS2493 x2 each, TS2353, TS2339); config-tier 10 (TS2835 x9, '
- + 'TS2550); noise 13 (TS7006). Re-measured 63 at 5ab08428 -- the 2.25x drift that opened #5278, and '
- + 'the entry whose note was most misleading: it read "code-tier 9, the rest config-tier and noise", '
- + 'while code-tier alone is now 40. 27 of the TS2322 are in protocol.stored-migration.test.ts and 10 '
- + 'in seed-loader-multi-value-reference.test.ts, so this is concentrated debt in two files rather '
- + 'than a package-wide drizzle -- read it as two repairs, not as forty.',
- },
  '@objectstack/observability': {
  errors: 11,
  note: 'all code-tier (TS2554 wrong arity x10, TS2552).',
@@ -1898,9 +1889,12 @@ function workspacePackages() {
 // "the workspace root itself: code-tier 4 ..." qualifies);
 // * a tier counted twice, or a further `code-tier 9`-shaped count ANYWHERE
 // later in the note, means the note is quoting its own history and the
-// entry is skipped. metadata-protocol quotes the misleading note #5278
-// found ("code-tier 9, the rest config-tier and noise") and is skipped for
-// exactly that reason -- correct entry, no verdict;
+// entry is skipped. metadata-protocol's entry quoted the misleading note
+// #5278 found ("code-tier 9, the rest config-tier and noise") and was
+// skipped for exactly that reason -- correct entry, no verdict. That entry
+// has since GRADUATED (the package declares `typecheck` and its 63 errors
+// are repaired), so the rule's live example is the self-test case below
+// rather than a ledger row you can still read here;
 // * per-code tallies (`TS2835 x72, TS7006 x49, ...`) are NOT summed. They are
 // partial by construction, and the worked example this rule was written
 // against says why: `@objectstack/rest`'s tally summed to 147 while saying
@@ -4206,9 +4200,11 @@ function selfTest() {
  },
  {
  // The false-positive guard, and the reason the rule abstains rather than
- // reasons: metadata-protocol's real note quotes the misleading one #5278
- // found. Reading either count as the entry's own would red a correct
- // entry, which is worse than the silence this check replaces.
+ // reasons: metadata-protocol's real note quoted the misleading one #5278
+ // found (that entry has since graduated, which is why this synthetic case
+ // now carries the shape). Reading either count as the entry's own would
+ // red a correct entry, which is worse than the silence this check
+ // replaces.
  label: 'a note quoting its own history is SKIPPED, not guessed at',
  packages: [],
  root: { name: 'root', scripts: { typecheck: 'turbo run typecheck' } },

packages/metadata-protocol/package.json

@@ -27,6 +27,7 @@
  "build": "tsup && node ../../scripts/check-dts-emitted.mjs",
  "dev": "tsc --watch",
  "clean": "rm -rf dist",
+ "typecheck": "tsc --noEmit",
  "test": "vitest run",
  "test:watch": "vitest"
  },

packages/metadata-protocol/src/mutation-listeners.test.ts

@@ -20,7 +20,12 @@ function makeProtocol() {
  return new ObjectStackProtocolImplementation({} as any);
 }
 
-const evt = (over: Partial<MetadataMutationEvent> = {}): MetadataMutationEvent => ({
+// `body` mirrors `runMutationProjector`'s own declared parameter
+// (`MetadataMutationEvent & { body?: unknown }`) — the projector cases below
+// pass one, and the bare `Partial<MetadataMutationEvent>` rejected it.
+const evt = (
+ over: Partial<MetadataMutationEvent> & { body?: unknown } = {},
+): MetadataMutationEvent & { body?: unknown } => ({
  type: 'hook',
  name: 'rebind_probe_hook',
  state: 'active',

packages/metadata-protocol/src/protocol.batch-atomic.test.ts

@@ -38,7 +38,10 @@ function makeTransactionalEngine(opts: { driverCanTransact?: boolean } = {}) {
  const rollbacks: unknown[] = [];
  const handle = { id: 'trx-1' };
 
- const insert = vi.fn(async (_object: string, data: any) => {
+ // Third parameter declared because the write path PASSES it and the
+ // assertions below read `call[2]`: a 2-arity mock made that a tuple
+ // with no element at index 2.
+ const insert = vi.fn(async (_object: string, data: any, _options?: any) => {
  if (data?.title === POISON) throw new Error('insert exploded');
  return { id: `rec-${insert.mock.calls.length}`, ...data };
  });

packages/metadata-protocol/src/protocol.stored-conversions.test.ts

@@ -44,7 +44,12 @@ function matches(r: Row, where: Record<string, unknown>): boolean {
  return true;
 }
 
-function makeStubEngine(seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>) {
+// `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+// intersected over it: `string & unknown` is `string`, so a plain
+// intersection refuses every body written as an object literal.
+function makeStubEngine(
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
+) {
  let nextId = 0;
  const rows: Row[] = seedRows.map((r) => ({
  id: `r_${++nextId}`,

packages/metadata-protocol/src/protocol.stored-migration.test.ts

@@ -57,7 +57,12 @@ function matches(r: Record<string, any>, where: Record<string, unknown>): boolea
  * actually observable.
  */
 function makeStubEngine(
- seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>,
+ // `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+ // intersected over it: on the row `metadata` is the STORED string, and
+ // `string & unknown` is `string`, so a plain intersection refuses every
+ // body written as an object literal — which is the seeding convenience
+ // this harness exists for, and what it already does at runtime below.
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
 ) {
  let nextId = 0;
  const tables = new Map<string, Record<string, any>[]>();

packages/metadata-protocol/src/seed-loader-composite-external-id.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-dropped.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-failure.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-engine-schema-fallback.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-multi-value-reference.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-replay.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-retry.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-state-machine-exempt.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate, type EngineFindOneQueryInput } from '@objectstack/metadata-core';
 
@@ -193,7 +193,7 @@ describe('seed loader — state_machine initialStates exemption (#3433)', () =>
  // fallback), its options must carry the exemption flag — that is what the
  // engine reads to skip the state_machine rule.
  const writeCalls = [
- ...(engine.insertMany as any).mock.calls,
+ ...((engine as any).insertMany).mock.calls,
  ...(engine.insert as any).mock.calls,
  ].filter(([obj]) => obj === 'showcase_project');
  expect(writeCalls.length).toBeGreaterThan(0);

packages/metadata-protocol/src/seed-loader-summary-stale.test.ts

@@ -2,7 +2,7 @@
 
 import { describe, it, expect, vi } from 'vitest';
 import { SeedLoadResultSchema, SeedLoaderResultSchema } from '@objectstack/spec/data';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/sys-metadata-repository.history-counters.test.ts

@@ -334,7 +334,7 @@ describe('#4867 — history counters are never invented from a failed read', ()
  expect(infoSpy).toHaveBeenCalledTimes(1);
  expect((infoSpy.mock.calls[0] as [string])[0]).toMatch(/readable again/i);
  // Numbering resumes after the surviving max — never from 1 again.
- expect(engine.committed().at(-1)).toEqual({
+ expect(engine.committed().slice(-1)[0]).toEqual({
  name: 'case_grid',
  version: 3,
  event_seq: 4,

scripts/check-type-check-coverage.mjs

@@ -677,15 +677,6 @@ const DEBT = {
  + 'metadata.test.ts (34) and register-notifies-watchers.test.ts (16) do still hold 50 of the 89, '
  + 'but that is over HALF -- the "two thirds" claimed here was true at neither 92 nor 89.',
  },
- '@objectstack/metadata-protocol': {
- errors: 63,
- note: 'code-tier 40 (TS2322 x34, TS2532/TS2493 x2 each, TS2353, TS2339); config-tier 10 (TS2835 x9, '
- + 'TS2550); noise 13 (TS7006). Re-measured 63 at 5ab08428 -- the 2.25x drift that opened #5278, and '
- + 'the entry whose note was most misleading: it read "code-tier 9, the rest config-tier and noise", '
- + 'while code-tier alone is now 40. 27 of the TS2322 are in protocol.stored-migration.test.ts and 10 '
- + 'in seed-loader-multi-value-reference.test.ts, so this is concentrated debt in two files rather '
- + 'than a package-wide drizzle -- read it as two repairs, not as forty.',
- },
  '@objectstack/observability': {
  errors: 11,
  note: 'all code-tier (TS2554 wrong arity x10, TS2552).',
@@ -1898,9 +1889,12 @@ function workspacePackages() {
 // "the workspace root itself: code-tier 4 ..." qualifies);
 // * a tier counted twice, or a further `code-tier 9`-shaped count ANYWHERE
 // later in the note, means the note is quoting its own history and the
-// entry is skipped. metadata-protocol quotes the misleading note #5278
-// found ("code-tier 9, the rest config-tier and noise") and is skipped for
-// exactly that reason -- correct entry, no verdict;
+// entry is skipped. metadata-protocol's entry quoted the misleading note
+// #5278 found ("code-tier 9, the rest config-tier and noise") and was
+// skipped for exactly that reason -- correct entry, no verdict. That entry
+// has since GRADUATED (the package declares `typecheck` and its 63 errors
+// are repaired), so the rule's live example is the self-test case below
+// rather than a ledger row you can still read here;
 // * per-code tallies (`TS2835 x72, TS7006 x49, ...`) are NOT summed. They are
 // partial by construction, and the worked example this rule was written
 // against says why: `@objectstack/rest`'s tally summed to 147 while saying
@@ -4206,9 +4200,11 @@ function selfTest() {
  },
  {
  // The false-positive guard, and the reason the rule abstains rather than
- // reasons: metadata-protocol's real note quotes the misleading one #5278
- // found. Reading either count as the entry's own would red a correct
- // entry, which is worse than the silence this check replaces.
+ // reasons: metadata-protocol's real note quoted the misleading one #5278
+ // found (that entry has since graduated, which is why this synthetic case
+ // now carries the shape). Reading either count as the entry's own would
+ // red a correct entry, which is worse than the silence this check
+ // replaces.
  label: 'a note quoting its own history is SKIPPED, not guessed at',
  packages: [],
  root: { name: 'root', scripts: { typecheck: 'turbo run typecheck' } },

packages/metadata-protocol/package.json

@@ -27,6 +27,7 @@
  "build": "tsup && node ../../scripts/check-dts-emitted.mjs",
  "dev": "tsc --watch",
  "clean": "rm -rf dist",
+ "typecheck": "tsc --noEmit",
  "test": "vitest run",
  "test:watch": "vitest"
  },

packages/metadata-protocol/src/mutation-listeners.test.ts

@@ -20,7 +20,12 @@ function makeProtocol() {
  return new ObjectStackProtocolImplementation({} as any);
 }
 
-const evt = (over: Partial<MetadataMutationEvent> = {}): MetadataMutationEvent => ({
+// `body` mirrors `runMutationProjector`'s own declared parameter
+// (`MetadataMutationEvent & { body?: unknown }`) — the projector cases below
+// pass one, and the bare `Partial<MetadataMutationEvent>` rejected it.
+const evt = (
+ over: Partial<MetadataMutationEvent> & { body?: unknown } = {},
+): MetadataMutationEvent & { body?: unknown } => ({
  type: 'hook',
  name: 'rebind_probe_hook',
  state: 'active',

packages/metadata-protocol/src/protocol.batch-atomic.test.ts

@@ -38,7 +38,10 @@ function makeTransactionalEngine(opts: { driverCanTransact?: boolean } = {}) {
  const rollbacks: unknown[] = [];
  const handle = { id: 'trx-1' };
 
- const insert = vi.fn(async (_object: string, data: any) => {
+ // Third parameter declared because the write path PASSES it and the
+ // assertions below read `call[2]`: a 2-arity mock made that a tuple
+ // with no element at index 2.
+ const insert = vi.fn(async (_object: string, data: any, _options?: any) => {
  if (data?.title === POISON) throw new Error('insert exploded');
  return { id: `rec-${insert.mock.calls.length}`, ...data };
  });

packages/metadata-protocol/src/protocol.stored-conversions.test.ts

@@ -44,7 +44,12 @@ function matches(r: Row, where: Record<string, unknown>): boolean {
  return true;
 }
 
-function makeStubEngine(seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>) {
+// `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+// intersected over it: `string & unknown` is `string`, so a plain
+// intersection refuses every body written as an object literal.
+function makeStubEngine(
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
+) {
  let nextId = 0;
  const rows: Row[] = seedRows.map((r) => ({
  id: `r_${++nextId}`,

packages/metadata-protocol/src/protocol.stored-migration.test.ts

@@ -57,7 +57,12 @@ function matches(r: Record<string, any>, where: Record<string, unknown>): boolea
  * actually observable.
  */
 function makeStubEngine(
- seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>,
+ // `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+ // intersected over it: on the row `metadata` is the STORED string, and
+ // `string & unknown` is `string`, so a plain intersection refuses every
+ // body written as an object literal — which is the seeding convenience
+ // this harness exists for, and what it already does at runtime below.
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
 ) {
  let nextId = 0;
  const tables = new Map<string, Record<string, any>[]>();

packages/metadata-protocol/src/seed-loader-composite-external-id.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-dropped.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-failure.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-engine-schema-fallback.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-multi-value-reference.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-replay.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-retry.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-state-machine-exempt.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate, type EngineFindOneQueryInput } from '@objectstack/metadata-core';
 
@@ -193,7 +193,7 @@ describe('seed loader — state_machine initialStates exemption (#3433)', () =>
  // fallback), its options must carry the exemption flag — that is what the
  // engine reads to skip the state_machine rule.
  const writeCalls = [
- ...(engine.insertMany as any).mock.calls,
+ ...((engine as any).insertMany).mock.calls,
  ...(engine.insert as any).mock.calls,
  ].filter(([obj]) => obj === 'showcase_project');
  expect(writeCalls.length).toBeGreaterThan(0);

packages/metadata-protocol/src/seed-loader-summary-stale.test.ts

@@ -2,7 +2,7 @@
 
 import { describe, it, expect, vi } from 'vitest';
 import { SeedLoadResultSchema, SeedLoaderResultSchema } from '@objectstack/spec/data';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/sys-metadata-repository.history-counters.test.ts

@@ -334,7 +334,7 @@ describe('#4867 — history counters are never invented from a failed read', ()
  expect(infoSpy).toHaveBeenCalledTimes(1);
  expect((infoSpy.mock.calls[0] as [string])[0]).toMatch(/readable again/i);
  // Numbering resumes after the surviving max — never from 1 again.
- expect(engine.committed().at(-1)).toEqual({
+ expect(engine.committed().slice(-1)[0]).toEqual({
  name: 'case_grid',
  version: 3,
  event_seq: 4,

scripts/check-type-check-coverage.mjs

@@ -677,15 +677,6 @@ const DEBT = {
  + 'metadata.test.ts (34) and register-notifies-watchers.test.ts (16) do still hold 50 of the 89, '
  + 'but that is over HALF -- the "two thirds" claimed here was true at neither 92 nor 89.',
  },
- '@objectstack/metadata-protocol': {
- errors: 63,
- note: 'code-tier 40 (TS2322 x34, TS2532/TS2493 x2 each, TS2353, TS2339); config-tier 10 (TS2835 x9, '
- + 'TS2550); noise 13 (TS7006). Re-measured 63 at 5ab08428 -- the 2.25x drift that opened #5278, and '
- + 'the entry whose note was most misleading: it read "code-tier 9, the rest config-tier and noise", '
- + 'while code-tier alone is now 40. 27 of the TS2322 are in protocol.stored-migration.test.ts and 10 '
- + 'in seed-loader-multi-value-reference.test.ts, so this is concentrated debt in two files rather '
- + 'than a package-wide drizzle -- read it as two repairs, not as forty.',
- },
  '@objectstack/observability': {
  errors: 11,
  note: 'all code-tier (TS2554 wrong arity x10, TS2552).',
@@ -1898,9 +1889,12 @@ function workspacePackages() {
 // "the workspace root itself: code-tier 4 ..." qualifies);
 // * a tier counted twice, or a further `code-tier 9`-shaped count ANYWHERE
 // later in the note, means the note is quoting its own history and the
-// entry is skipped. metadata-protocol quotes the misleading note #5278
-// found ("code-tier 9, the rest config-tier and noise") and is skipped for
-// exactly that reason -- correct entry, no verdict;
+// entry is skipped. metadata-protocol's entry quoted the misleading note
+// #5278 found ("code-tier 9, the rest config-tier and noise") and was
+// skipped for exactly that reason -- correct entry, no verdict. That entry
+// has since GRADUATED (the package declares `typecheck` and its 63 errors
+// are repaired), so the rule's live example is the self-test case below
+// rather than a ledger row you can still read here;
 // * per-code tallies (`TS2835 x72, TS7006 x49, ...`) are NOT summed. They are
 // partial by construction, and the worked example this rule was written
 // against says why: `@objectstack/rest`'s tally summed to 147 while saying
@@ -4206,9 +4200,11 @@ function selfTest() {
  },
  {
  // The false-positive guard, and the reason the rule abstains rather than
- // reasons: metadata-protocol's real note quotes the misleading one #5278
- // found. Reading either count as the entry's own would red a correct
- // entry, which is worse than the silence this check replaces.
+ // reasons: metadata-protocol's real note quoted the misleading one #5278
+ // found (that entry has since graduated, which is why this synthetic case
+ // now carries the shape). Reading either count as the entry's own would
+ // red a correct entry, which is worse than the silence this check
+ // replaces.
  label: 'a note quoting its own history is SKIPPED, not guessed at',
  packages: [],
  root: { name: 'root', scripts: { typecheck: 'turbo run typecheck' } },

packages/metadata-protocol/package.json

@@ -27,6 +27,7 @@
  "build": "tsup && node ../../scripts/check-dts-emitted.mjs",
  "dev": "tsc --watch",
  "clean": "rm -rf dist",
+ "typecheck": "tsc --noEmit",
  "test": "vitest run",
  "test:watch": "vitest"
  },

packages/metadata-protocol/src/mutation-listeners.test.ts

@@ -20,7 +20,12 @@ function makeProtocol() {
  return new ObjectStackProtocolImplementation({} as any);
 }
 
-const evt = (over: Partial<MetadataMutationEvent> = {}): MetadataMutationEvent => ({
+// `body` mirrors `runMutationProjector`'s own declared parameter
+// (`MetadataMutationEvent & { body?: unknown }`) — the projector cases below
+// pass one, and the bare `Partial<MetadataMutationEvent>` rejected it.
+const evt = (
+ over: Partial<MetadataMutationEvent> & { body?: unknown } = {},
+): MetadataMutationEvent & { body?: unknown } => ({
  type: 'hook',
  name: 'rebind_probe_hook',
  state: 'active',

packages/metadata-protocol/src/protocol.batch-atomic.test.ts

@@ -38,7 +38,10 @@ function makeTransactionalEngine(opts: { driverCanTransact?: boolean } = {}) {
  const rollbacks: unknown[] = [];
  const handle = { id: 'trx-1' };
 
- const insert = vi.fn(async (_object: string, data: any) => {
+ // Third parameter declared because the write path PASSES it and the
+ // assertions below read `call[2]`: a 2-arity mock made that a tuple
+ // with no element at index 2.
+ const insert = vi.fn(async (_object: string, data: any, _options?: any) => {
  if (data?.title === POISON) throw new Error('insert exploded');
  return { id: `rec-${insert.mock.calls.length}`, ...data };
  });

packages/metadata-protocol/src/protocol.stored-conversions.test.ts

@@ -44,7 +44,12 @@ function matches(r: Row, where: Record<string, unknown>): boolean {
  return true;
 }
 
-function makeStubEngine(seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>) {
+// `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+// intersected over it: `string & unknown` is `string`, so a plain
+// intersection refuses every body written as an object literal.
+function makeStubEngine(
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
+) {
  let nextId = 0;
  const rows: Row[] = seedRows.map((r) => ({
  id: `r_${++nextId}`,

packages/metadata-protocol/src/protocol.stored-migration.test.ts

@@ -57,7 +57,12 @@ function matches(r: Record<string, any>, where: Record<string, unknown>): boolea
  * actually observable.
  */
 function makeStubEngine(
- seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>,
+ // `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+ // intersected over it: on the row `metadata` is the STORED string, and
+ // `string & unknown` is `string`, so a plain intersection refuses every
+ // body written as an object literal — which is the seeding convenience
+ // this harness exists for, and what it already does at runtime below.
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
 ) {
  let nextId = 0;
  const tables = new Map<string, Record<string, any>[]>();

packages/metadata-protocol/src/seed-loader-composite-external-id.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-dropped.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-failure.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-engine-schema-fallback.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-multi-value-reference.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-replay.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-retry.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-state-machine-exempt.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate, type EngineFindOneQueryInput } from '@objectstack/metadata-core';
 
@@ -193,7 +193,7 @@ describe('seed loader — state_machine initialStates exemption (#3433)', () =>
  // fallback), its options must carry the exemption flag — that is what the
  // engine reads to skip the state_machine rule.
  const writeCalls = [
- ...(engine.insertMany as any).mock.calls,
+ ...((engine as any).insertMany).mock.calls,
  ...(engine.insert as any).mock.calls,
  ].filter(([obj]) => obj === 'showcase_project');
  expect(writeCalls.length).toBeGreaterThan(0);

packages/metadata-protocol/src/seed-loader-summary-stale.test.ts

@@ -2,7 +2,7 @@
 
 import { describe, it, expect, vi } from 'vitest';
 import { SeedLoadResultSchema, SeedLoaderResultSchema } from '@objectstack/spec/data';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/sys-metadata-repository.history-counters.test.ts

@@ -334,7 +334,7 @@ describe('#4867 — history counters are never invented from a failed read', ()
  expect(infoSpy).toHaveBeenCalledTimes(1);
  expect((infoSpy.mock.calls[0] as [string])[0]).toMatch(/readable again/i);
  // Numbering resumes after the surviving max — never from 1 again.
- expect(engine.committed().at(-1)).toEqual({
+ expect(engine.committed().slice(-1)[0]).toEqual({
  name: 'case_grid',
  version: 3,
  event_seq: 4,

scripts/check-type-check-coverage.mjs

@@ -677,15 +677,6 @@ const DEBT = {
  + 'metadata.test.ts (34) and register-notifies-watchers.test.ts (16) do still hold 50 of the 89, '
  + 'but that is over HALF -- the "two thirds" claimed here was true at neither 92 nor 89.',
  },
- '@objectstack/metadata-protocol': {
- errors: 63,
- note: 'code-tier 40 (TS2322 x34, TS2532/TS2493 x2 each, TS2353, TS2339); config-tier 10 (TS2835 x9, '
- + 'TS2550); noise 13 (TS7006). Re-measured 63 at 5ab08428 -- the 2.25x drift that opened #5278, and '
- + 'the entry whose note was most misleading: it read "code-tier 9, the rest config-tier and noise", '
- + 'while code-tier alone is now 40. 27 of the TS2322 are in protocol.stored-migration.test.ts and 10 '
- + 'in seed-loader-multi-value-reference.test.ts, so this is concentrated debt in two files rather '
- + 'than a package-wide drizzle -- read it as two repairs, not as forty.',
- },
  '@objectstack/observability': {
  errors: 11,
  note: 'all code-tier (TS2554 wrong arity x10, TS2552).',
@@ -1898,9 +1889,12 @@ function workspacePackages() {
 // "the workspace root itself: code-tier 4 ..." qualifies);
 // * a tier counted twice, or a further `code-tier 9`-shaped count ANYWHERE
 // later in the note, means the note is quoting its own history and the
-// entry is skipped. metadata-protocol quotes the misleading note #5278
-// found ("code-tier 9, the rest config-tier and noise") and is skipped for
-// exactly that reason -- correct entry, no verdict;
+// entry is skipped. metadata-protocol's entry quoted the misleading note
+// #5278 found ("code-tier 9, the rest config-tier and noise") and was
+// skipped for exactly that reason -- correct entry, no verdict. That entry
+// has since GRADUATED (the package declares `typecheck` and its 63 errors
+// are repaired), so the rule's live example is the self-test case below
+// rather than a ledger row you can still read here;
 // * per-code tallies (`TS2835 x72, TS7006 x49, ...`) are NOT summed. They are
 // partial by construction, and the worked example this rule was written
 // against says why: `@objectstack/rest`'s tally summed to 147 while saying
@@ -4206,9 +4200,11 @@ function selfTest() {
  },
  {
  // The false-positive guard, and the reason the rule abstains rather than
- // reasons: metadata-protocol's real note quotes the misleading one #5278
- // found. Reading either count as the entry's own would red a correct
- // entry, which is worse than the silence this check replaces.
+ // reasons: metadata-protocol's real note quoted the misleading one #5278
+ // found (that entry has since graduated, which is why this synthetic case
+ // now carries the shape). Reading either count as the entry's own would
+ // red a correct entry, which is worse than the silence this check
+ // replaces.
  label: 'a note quoting its own history is SKIPPED, not guessed at',
  packages: [],
  root: { name: 'root', scripts: { typecheck: 'turbo run typecheck' } },

packages/metadata-protocol/package.json

@@ -27,6 +27,7 @@
  "build": "tsup && node ../../scripts/check-dts-emitted.mjs",
  "dev": "tsc --watch",
  "clean": "rm -rf dist",
+ "typecheck": "tsc --noEmit",
  "test": "vitest run",
  "test:watch": "vitest"
  },

packages/metadata-protocol/src/mutation-listeners.test.ts

@@ -20,7 +20,12 @@ function makeProtocol() {
  return new ObjectStackProtocolImplementation({} as any);
 }
 
-const evt = (over: Partial<MetadataMutationEvent> = {}): MetadataMutationEvent => ({
+// `body` mirrors `runMutationProjector`'s own declared parameter
+// (`MetadataMutationEvent & { body?: unknown }`) — the projector cases below
+// pass one, and the bare `Partial<MetadataMutationEvent>` rejected it.
+const evt = (
+ over: Partial<MetadataMutationEvent> & { body?: unknown } = {},
+): MetadataMutationEvent & { body?: unknown } => ({
  type: 'hook',
  name: 'rebind_probe_hook',
  state: 'active',

packages/metadata-protocol/src/protocol.batch-atomic.test.ts

@@ -38,7 +38,10 @@ function makeTransactionalEngine(opts: { driverCanTransact?: boolean } = {}) {
  const rollbacks: unknown[] = [];
  const handle = { id: 'trx-1' };
 
- const insert = vi.fn(async (_object: string, data: any) => {
+ // Third parameter declared because the write path PASSES it and the
+ // assertions below read `call[2]`: a 2-arity mock made that a tuple
+ // with no element at index 2.
+ const insert = vi.fn(async (_object: string, data: any, _options?: any) => {
  if (data?.title === POISON) throw new Error('insert exploded');
  return { id: `rec-${insert.mock.calls.length}`, ...data };
  });

packages/metadata-protocol/src/protocol.stored-conversions.test.ts

@@ -44,7 +44,12 @@ function matches(r: Row, where: Record<string, unknown>): boolean {
  return true;
 }
 
-function makeStubEngine(seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>) {
+// `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+// intersected over it: `string & unknown` is `string`, so a plain
+// intersection refuses every body written as an object literal.
+function makeStubEngine(
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
+) {
  let nextId = 0;
  const rows: Row[] = seedRows.map((r) => ({
  id: `r_${++nextId}`,

packages/metadata-protocol/src/protocol.stored-migration.test.ts

@@ -57,7 +57,12 @@ function matches(r: Record<string, any>, where: Record<string, unknown>): boolea
  * actually observable.
  */
 function makeStubEngine(
- seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>,
+ // `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+ // intersected over it: on the row `metadata` is the STORED string, and
+ // `string & unknown` is `string`, so a plain intersection refuses every
+ // body written as an object literal — which is the seeding convenience
+ // this harness exists for, and what it already does at runtime below.
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
 ) {
  let nextId = 0;
  const tables = new Map<string, Record<string, any>[]>();

packages/metadata-protocol/src/seed-loader-composite-external-id.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-dropped.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-failure.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-engine-schema-fallback.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-multi-value-reference.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-replay.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-retry.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-state-machine-exempt.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate, type EngineFindOneQueryInput } from '@objectstack/metadata-core';
 
@@ -193,7 +193,7 @@ describe('seed loader — state_machine initialStates exemption (#3433)', () =>
  // fallback), its options must carry the exemption flag — that is what the
  // engine reads to skip the state_machine rule.
  const writeCalls = [
- ...(engine.insertMany as any).mock.calls,
+ ...((engine as any).insertMany).mock.calls,
  ...(engine.insert as any).mock.calls,
  ].filter(([obj]) => obj === 'showcase_project');
  expect(writeCalls.length).toBeGreaterThan(0);

packages/metadata-protocol/src/seed-loader-summary-stale.test.ts

@@ -2,7 +2,7 @@
 
 import { describe, it, expect, vi } from 'vitest';
 import { SeedLoadResultSchema, SeedLoaderResultSchema } from '@objectstack/spec/data';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/sys-metadata-repository.history-counters.test.ts

@@ -334,7 +334,7 @@ describe('#4867 — history counters are never invented from a failed read', ()
  expect(infoSpy).toHaveBeenCalledTimes(1);
  expect((infoSpy.mock.calls[0] as [string])[0]).toMatch(/readable again/i);
  // Numbering resumes after the surviving max — never from 1 again.
- expect(engine.committed().at(-1)).toEqual({
+ expect(engine.committed().slice(-1)[0]).toEqual({
  name: 'case_grid',
  version: 3,
  event_seq: 4,

scripts/check-type-check-coverage.mjs

@@ -677,15 +677,6 @@ const DEBT = {
  + 'metadata.test.ts (34) and register-notifies-watchers.test.ts (16) do still hold 50 of the 89, '
  + 'but that is over HALF -- the "two thirds" claimed here was true at neither 92 nor 89.',
  },
- '@objectstack/metadata-protocol': {
- errors: 63,
- note: 'code-tier 40 (TS2322 x34, TS2532/TS2493 x2 each, TS2353, TS2339); config-tier 10 (TS2835 x9, '
- + 'TS2550); noise 13 (TS7006). Re-measured 63 at 5ab08428 -- the 2.25x drift that opened #5278, and '
- + 'the entry whose note was most misleading: it read "code-tier 9, the rest config-tier and noise", '
- + 'while code-tier alone is now 40. 27 of the TS2322 are in protocol.stored-migration.test.ts and 10 '
- + 'in seed-loader-multi-value-reference.test.ts, so this is concentrated debt in two files rather '
- + 'than a package-wide drizzle -- read it as two repairs, not as forty.',
- },
  '@objectstack/observability': {
  errors: 11,
  note: 'all code-tier (TS2554 wrong arity x10, TS2552).',
@@ -1898,9 +1889,12 @@ function workspacePackages() {
 // "the workspace root itself: code-tier 4 ..." qualifies);
 // * a tier counted twice, or a further `code-tier 9`-shaped count ANYWHERE
 // later in the note, means the note is quoting its own history and the
-// entry is skipped. metadata-protocol quotes the misleading note #5278
-// found ("code-tier 9, the rest config-tier and noise") and is skipped for
-// exactly that reason -- correct entry, no verdict;
+// entry is skipped. metadata-protocol's entry quoted the misleading note
+// #5278 found ("code-tier 9, the rest config-tier and noise") and was
+// skipped for exactly that reason -- correct entry, no verdict. That entry
+// has since GRADUATED (the package declares `typecheck` and its 63 errors
+// are repaired), so the rule's live example is the self-test case below
+// rather than a ledger row you can still read here;
 // * per-code tallies (`TS2835 x72, TS7006 x49, ...`) are NOT summed. They are
 // partial by construction, and the worked example this rule was written
 // against says why: `@objectstack/rest`'s tally summed to 147 while saying
@@ -4206,9 +4200,11 @@ function selfTest() {
  },
  {
  // The false-positive guard, and the reason the rule abstains rather than
- // reasons: metadata-protocol's real note quotes the misleading one #5278
- // found. Reading either count as the entry's own would red a correct
- // entry, which is worse than the silence this check replaces.
+ // reasons: metadata-protocol's real note quoted the misleading one #5278
+ // found (that entry has since graduated, which is why this synthetic case
+ // now carries the shape). Reading either count as the entry's own would
+ // red a correct entry, which is worse than the silence this check
+ // replaces.
  label: 'a note quoting its own history is SKIPPED, not guessed at',
  packages: [],
  root: { name: 'root', scripts: { typecheck: 'turbo run typecheck' } },

packages/metadata-protocol/package.json

@@ -27,6 +27,7 @@
  "build": "tsup && node ../../scripts/check-dts-emitted.mjs",
  "dev": "tsc --watch",
  "clean": "rm -rf dist",
+ "typecheck": "tsc --noEmit",
  "test": "vitest run",
  "test:watch": "vitest"
  },

packages/metadata-protocol/src/mutation-listeners.test.ts

@@ -20,7 +20,12 @@ function makeProtocol() {
  return new ObjectStackProtocolImplementation({} as any);
 }
 
-const evt = (over: Partial<MetadataMutationEvent> = {}): MetadataMutationEvent => ({
+// `body` mirrors `runMutationProjector`'s own declared parameter
+// (`MetadataMutationEvent & { body?: unknown }`) — the projector cases below
+// pass one, and the bare `Partial<MetadataMutationEvent>` rejected it.
+const evt = (
+ over: Partial<MetadataMutationEvent> & { body?: unknown } = {},
+): MetadataMutationEvent & { body?: unknown } => ({
  type: 'hook',
  name: 'rebind_probe_hook',
  state: 'active',

packages/metadata-protocol/src/protocol.batch-atomic.test.ts

@@ -38,7 +38,10 @@ function makeTransactionalEngine(opts: { driverCanTransact?: boolean } = {}) {
  const rollbacks: unknown[] = [];
  const handle = { id: 'trx-1' };
 
- const insert = vi.fn(async (_object: string, data: any) => {
+ // Third parameter declared because the write path PASSES it and the
+ // assertions below read `call[2]`: a 2-arity mock made that a tuple
+ // with no element at index 2.
+ const insert = vi.fn(async (_object: string, data: any, _options?: any) => {
  if (data?.title === POISON) throw new Error('insert exploded');
  return { id: `rec-${insert.mock.calls.length}`, ...data };
  });

packages/metadata-protocol/src/protocol.stored-conversions.test.ts

@@ -44,7 +44,12 @@ function matches(r: Row, where: Record<string, unknown>): boolean {
  return true;
 }
 
-function makeStubEngine(seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>) {
+// `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+// intersected over it: `string & unknown` is `string`, so a plain
+// intersection refuses every body written as an object literal.
+function makeStubEngine(
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
+) {
  let nextId = 0;
  const rows: Row[] = seedRows.map((r) => ({
  id: `r_${++nextId}`,

packages/metadata-protocol/src/protocol.stored-migration.test.ts

@@ -57,7 +57,12 @@ function matches(r: Record<string, any>, where: Record<string, unknown>): boolea
  * actually observable.
  */
 function makeStubEngine(
- seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>,
+ // `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+ // intersected over it: on the row `metadata` is the STORED string, and
+ // `string & unknown` is `string`, so a plain intersection refuses every
+ // body written as an object literal — which is the seeding convenience
+ // this harness exists for, and what it already does at runtime below.
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
 ) {
  let nextId = 0;
  const tables = new Map<string, Record<string, any>[]>();

packages/metadata-protocol/src/seed-loader-composite-external-id.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-dropped.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-failure.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-engine-schema-fallback.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-multi-value-reference.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-replay.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-retry.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-state-machine-exempt.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate, type EngineFindOneQueryInput } from '@objectstack/metadata-core';
 
@@ -193,7 +193,7 @@ describe('seed loader — state_machine initialStates exemption (#3433)', () =>
  // fallback), its options must carry the exemption flag — that is what the
  // engine reads to skip the state_machine rule.
  const writeCalls = [
- ...(engine.insertMany as any).mock.calls,
+ ...((engine as any).insertMany).mock.calls,
  ...(engine.insert as any).mock.calls,
  ].filter(([obj]) => obj === 'showcase_project');
  expect(writeCalls.length).toBeGreaterThan(0);

packages/metadata-protocol/src/seed-loader-summary-stale.test.ts

@@ -2,7 +2,7 @@
 
 import { describe, it, expect, vi } from 'vitest';
 import { SeedLoadResultSchema, SeedLoaderResultSchema } from '@objectstack/spec/data';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/sys-metadata-repository.history-counters.test.ts

@@ -334,7 +334,7 @@ describe('#4867 — history counters are never invented from a failed read', ()
  expect(infoSpy).toHaveBeenCalledTimes(1);
  expect((infoSpy.mock.calls[0] as [string])[0]).toMatch(/readable again/i);
  // Numbering resumes after the surviving max — never from 1 again.
- expect(engine.committed().at(-1)).toEqual({
+ expect(engine.committed().slice(-1)[0]).toEqual({
  name: 'case_grid',
  version: 3,
  event_seq: 4,

scripts/check-type-check-coverage.mjs

@@ -677,15 +677,6 @@ const DEBT = {
  + 'metadata.test.ts (34) and register-notifies-watchers.test.ts (16) do still hold 50 of the 89, '
  + 'but that is over HALF -- the "two thirds" claimed here was true at neither 92 nor 89.',
  },
- '@objectstack/metadata-protocol': {
- errors: 63,
- note: 'code-tier 40 (TS2322 x34, TS2532/TS2493 x2 each, TS2353, TS2339); config-tier 10 (TS2835 x9, '
- + 'TS2550); noise 13 (TS7006). Re-measured 63 at 5ab08428 -- the 2.25x drift that opened #5278, and '
- + 'the entry whose note was most misleading: it read "code-tier 9, the rest config-tier and noise", '
- + 'while code-tier alone is now 40. 27 of the TS2322 are in protocol.stored-migration.test.ts and 10 '
- + 'in seed-loader-multi-value-reference.test.ts, so this is concentrated debt in two files rather '
- + 'than a package-wide drizzle -- read it as two repairs, not as forty.',
- },
  '@objectstack/observability': {
  errors: 11,
  note: 'all code-tier (TS2554 wrong arity x10, TS2552).',
@@ -1898,9 +1889,12 @@ function workspacePackages() {
 // "the workspace root itself: code-tier 4 ..." qualifies);
 // * a tier counted twice, or a further `code-tier 9`-shaped count ANYWHERE
 // later in the note, means the note is quoting its own history and the
-// entry is skipped. metadata-protocol quotes the misleading note #5278
-// found ("code-tier 9, the rest config-tier and noise") and is skipped for
-// exactly that reason -- correct entry, no verdict;
+// entry is skipped. metadata-protocol's entry quoted the misleading note
+// #5278 found ("code-tier 9, the rest config-tier and noise") and was
+// skipped for exactly that reason -- correct entry, no verdict. That entry
+// has since GRADUATED (the package declares `typecheck` and its 63 errors
+// are repaired), so the rule's live example is the self-test case below
+// rather than a ledger row you can still read here;
 // * per-code tallies (`TS2835 x72, TS7006 x49, ...`) are NOT summed. They are
 // partial by construction, and the worked example this rule was written
 // against says why: `@objectstack/rest`'s tally summed to 147 while saying
@@ -4206,9 +4200,11 @@ function selfTest() {
  },
  {
  // The false-positive guard, and the reason the rule abstains rather than
- // reasons: metadata-protocol's real note quotes the misleading one #5278
- // found. Reading either count as the entry's own would red a correct
- // entry, which is worse than the silence this check replaces.
+ // reasons: metadata-protocol's real note quoted the misleading one #5278
+ // found (that entry has since graduated, which is why this synthetic case
+ // now carries the shape). Reading either count as the entry's own would
+ // red a correct entry, which is worse than the silence this check
+ // replaces.
  label: 'a note quoting its own history is SKIPPED, not guessed at',
  packages: [],
  root: { name: 'root', scripts: { typecheck: 'turbo run typecheck' } },

packages/metadata-protocol/package.json

@@ -27,6 +27,7 @@
  "build": "tsup && node ../../scripts/check-dts-emitted.mjs",
  "dev": "tsc --watch",
  "clean": "rm -rf dist",
+ "typecheck": "tsc --noEmit",
  "test": "vitest run",
  "test:watch": "vitest"
  },

packages/metadata-protocol/src/mutation-listeners.test.ts

@@ -20,7 +20,12 @@ function makeProtocol() {
  return new ObjectStackProtocolImplementation({} as any);
 }
 
-const evt = (over: Partial<MetadataMutationEvent> = {}): MetadataMutationEvent => ({
+// `body` mirrors `runMutationProjector`'s own declared parameter
+// (`MetadataMutationEvent & { body?: unknown }`) — the projector cases below
+// pass one, and the bare `Partial<MetadataMutationEvent>` rejected it.
+const evt = (
+ over: Partial<MetadataMutationEvent> & { body?: unknown } = {},
+): MetadataMutationEvent & { body?: unknown } => ({
  type: 'hook',
  name: 'rebind_probe_hook',
  state: 'active',

packages/metadata-protocol/src/protocol.batch-atomic.test.ts

@@ -38,7 +38,10 @@ function makeTransactionalEngine(opts: { driverCanTransact?: boolean } = {}) {
  const rollbacks: unknown[] = [];
  const handle = { id: 'trx-1' };
 
- const insert = vi.fn(async (_object: string, data: any) => {
+ // Third parameter declared because the write path PASSES it and the
+ // assertions below read `call[2]`: a 2-arity mock made that a tuple
+ // with no element at index 2.
+ const insert = vi.fn(async (_object: string, data: any, _options?: any) => {
  if (data?.title === POISON) throw new Error('insert exploded');
  return { id: `rec-${insert.mock.calls.length}`, ...data };
  });

packages/metadata-protocol/src/protocol.stored-conversions.test.ts

@@ -44,7 +44,12 @@ function matches(r: Row, where: Record<string, unknown>): boolean {
  return true;
 }
 
-function makeStubEngine(seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>) {
+// `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+// intersected over it: `string & unknown` is `string`, so a plain
+// intersection refuses every body written as an object literal.
+function makeStubEngine(
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
+) {
  let nextId = 0;
  const rows: Row[] = seedRows.map((r) => ({
  id: `r_${++nextId}`,

packages/metadata-protocol/src/protocol.stored-migration.test.ts

@@ -57,7 +57,12 @@ function matches(r: Record<string, any>, where: Record<string, unknown>): boolea
  * actually observable.
  */
 function makeStubEngine(
- seedRows: Array<Partial<Row> & { type: string; name: string; metadata: unknown }>,
+ // `metadata` is `Omit`-ed out of the `Partial<Row>` half, never merely
+ // intersected over it: on the row `metadata` is the STORED string, and
+ // `string & unknown` is `string`, so a plain intersection refuses every
+ // body written as an object literal — which is the seeding convenience
+ // this harness exists for, and what it already does at runtime below.
+ seedRows: Array<Omit<Partial<Row>, 'metadata'> & { type: string; name: string; metadata: unknown }>,
 ) {
  let nextId = 0;
  const tables = new Map<string, Record<string, any>[]>();

packages/metadata-protocol/src/seed-loader-composite-external-id.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-dropped.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-deferred-failure.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-engine-schema-fallback.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-multi-value-reference.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2026 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-replay.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-retry.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/seed-loader-state-machine-exempt.test.ts

@@ -1,7 +1,7 @@
 // Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
 
 import { describe, it, expect, vi } from 'vitest';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate, type EngineFindOneQueryInput } from '@objectstack/metadata-core';
 
@@ -193,7 +193,7 @@ describe('seed loader — state_machine initialStates exemption (#3433)', () =>
  // fallback), its options must carry the exemption flag — that is what the
  // engine reads to skip the state_machine rule.
  const writeCalls = [
- ...(engine.insertMany as any).mock.calls,
+ ...((engine as any).insertMany).mock.calls,
  ...(engine.insert as any).mock.calls,
  ].filter(([obj]) => obj === 'showcase_project');
  expect(writeCalls.length).toBeGreaterThan(0);

packages/metadata-protocol/src/seed-loader-summary-stale.test.ts

@@ -2,7 +2,7 @@
 
 import { describe, it, expect, vi } from 'vitest';
 import { SeedLoadResultSchema, SeedLoaderResultSchema } from '@objectstack/spec/data';
-import { SeedLoaderService } from './seed-loader';
+import { SeedLoaderService } from './seed-loader.js';
 import type { IDataEngine, IMetadataService } from '@objectstack/spec/contracts';
 import { assertEngineDeleteDispatch, assertEngineUpdateDispatch, assertEngineFindOnePredicate } from '@objectstack/metadata-core';
 

packages/metadata-protocol/src/sys-metadata-repository.history-counters.test.ts

@@ -334,7 +334,7 @@ describe('#4867 — history counters are never invented from a failed read', ()
  expect(infoSpy).toHaveBeenCalledTimes(1);
  expect((infoSpy.mock.calls[0] as [string])[0]).toMatch(/readable again/i);
  // Numbering resumes after the surviving max — never from 1 again.
- expect(engine.committed().at(-1)).toEqual({
+ expect(engine.committed().slice(-1)[0]).toEqual({
  name: 'case_grid',
  version: 3,
  event_seq: 4,

scripts/check-type-check-coverage.mjs

@@ -677,15 +677,6 @@ const DEBT = {
  + 'metadata.test.ts (34) and register-notifies-watchers.test.ts (16) do still hold 50 of the 89, '
  + 'but that is over HALF -- the "two thirds" claimed here was true at neither 92 nor 89.',
  },
- '@objectstack/metadata-protocol': {
- errors: 63,
- note: 'code-tier 40 (TS2322 x34, TS2532/TS2493 x2 each, TS2353, TS2339); config-tier 10 (TS2835 x9, '
- + 'TS2550); noise 13 (TS7006). Re-measured 63 at 5ab08428 -- the 2.25x drift that opened #5278, and '
- + 'the entry whose note was most misleading: it read "code-tier 9, the rest config-tier and noise", '
- + 'while code-tier alone is now 40. 27 of the TS2322 are in protocol.stored-migration.test.ts and 10 '
- + 'in seed-loader-multi-value-reference.test.ts, so this is concentrated debt in two files rather '
- + 'than a package-wide drizzle -- read it as two repairs, not as forty.',
- },
  '@objectstack/observability': {
  errors: 11,
  note: 'all code-tier (TS2554 wrong arity x10, TS2552).',
@@ -1898,9 +1889,12 @@ function workspacePackages() {
 // "the workspace root itself: code-tier 4 ..." qualifies);
 // * a tier counted twice, or a further `code-tier 9`-shaped count ANYWHERE
 // later in the note, means the note is quoting its own history and the
-// entry is skipped. metadata-protocol quotes the misleading note #5278
-// found ("code-tier 9, the rest config-tier and noise") and is skipped for
-// exactly that reason -- correct entry, no verdict;
+// entry is skipped. metadata-protocol's entry quoted the misleading note
+// #5278 found ("code-tier 9, the rest config-tier and noise") and was
+// skipped for exactly that reason -- correct entry, no verdict. That entry
+// has since GRADUATED (the package declares `typecheck` and its 63 errors
+// are repaired), so the rule's live example is the self-test case below
+// rather than a ledger row you can still read here;
 // * per-code tallies (`TS2835 x72, TS7006 x49, ...`) are NOT summed. They are
 // partial by construction, and the worked example this rule was written
 // against says why: `@objectstack/rest`'s tally summed to 147 while saying
@@ -4206,9 +4200,11 @@ function selfTest() {
  },
  {
  // The false-positive guard, and the reason the rule abstains rather than
- // reasons: metadata-protocol's real note quotes the misleading one #5278
- // found. Reading either count as the entry's own would red a correct
- // entry, which is worse than the silence this check replaces.
+ // reasons: metadata-protocol's real note quoted the misleading one #5278
+ // found (that entry has since graduated, which is why this synthetic case
+ // now carries the shape). Reading either count as the entry's own would
+ // red a correct entry, which is worse than the silence this check
+ // replaces.
  label: 'a note quoting its own history is SKIPPED, not guessed at',
  packages: [],
  root: { name: 'root', scripts: { typecheck: 'turbo run typecheck' } },