@substrat-run/contract-tests 0.147.0 → 0.149.0

package/dist/scope-store-runner-suite.d.ts

@@ -0,0 +1,46 @@
+import { type StoreRequest } from '@substrat-run/contracts';
+import { type ScopeStoreRunner } from '@substrat-run/kernel';
+/**
+ * What a driver hands the runner suite. The suite knows nothing about the driver beyond
+ * two calls of its own catalog.
+ */
+export interface ScopeStoreRunnerFixture {
+    /** A runner nobody has started. Called once per check. */
+    makeRunner(): ScopeStoreRunner | Promise<ScopeStoreRunner>;
+    /** A driver operation that changes the object. Each call must change what `read` answers. */
+    readonly write: StoreRequest;
+    /** A driver operation that reads the object back. Equal answers mean equal objects. */
+    readonly read: StoreRequest;
+}
+/** One check of the runner contract. It throws when the runner breaks it. */
+export interface ScopeStoreRunnerCheck {
+    readonly name: string;
+    run(): Promise<void>;
+}
+/**
+ * The runner contract (#2213, RFC §7) as a list of checks, so a broken runner can be
+ * shown to fail the one it breaks. {@link scopeStoreRunnerContractSuite} runs them all.
+ *
+ * Every call goes through the kernel's callers both hosts use (`callScopeStore`,
+ * `callReservedStoreOperation`), so an answer is held to the same envelope and result
+ * schema a host would hold it to.
+ *
+ * A restart is `stop()` then `start()` on the same runner instance: what a host does
+ * between a `close` and the next first store call. A driver's repositories must survive
+ * it. Blob cells in an export are not asserted (their spelling over JSON is not settled).
+ */
+export declare function scopeStoreRunnerChecks(fixture: ScopeStoreRunnerFixture): ScopeStoreRunnerCheck[];
+/**
+ * The runner contract a scope-store driver's runner passes (#2213). A driver runs it in its
+ * own repository, against its own runner: the platform runs only the trivial driver.
+ *
+ * ```ts
+ * scopeStoreRunnerContractSuite('graph', {
+ *   makeRunner: () => graphRunner({ dir }),
+ *   write: { operation: 'apply', input: { … } },
+ *   read: { operation: 'inspect' },
+ * });
+ * ```
+ */
+export declare function scopeStoreRunnerContractSuite(driver: string, fixture: ScopeStoreRunnerFixture): void;
+//# sourceMappingURL=scope-store-runner-suite.d.ts.map

package/dist/scope-store-runner-suite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-store-runner-suite.d.ts","sourceRoot":"","sources":["../src/scope-store-runner-suite.ts"],"names":[],"mappings":"AACA,OAAO,EAA8C,KAAK,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACxG,OAAO,EAKL,KAAK,gBAAgB,EACtB,MAAM,sBAAsB,CAAC;AAE9B;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,0DAA0D;IAC1D,UAAU,IAAI,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3D,6FAA6F;IAC7F,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,uFAAuF;IACvF,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;CAC7B;AAED,6EAA6E;AAC7E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACtB;AAUD;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,uBAAuB,GAAG,qBAAqB,EAAE,CAuJhG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,GAAG,IAAI,CAMpG"}

package/dist/scope-store-runner-suite.js

@@ -0,0 +1,187 @@
+import { describe, expect, it } from 'vitest';
+import { storeResponse } from '@substrat-run/contracts';
+import { callReservedStoreOperation, callScopeStore, ulid, } from '@substrat-run/kernel';
+/** An address no other check, and no earlier run, has used. */
+function freshAddress() {
+    return { tenantId: ulid(), vertical: 'conformance', scopeId: ulid(), binding: 'STORE' };
+}
+/** An operation name no driver declares, and still a valid label. */
+const UNKNOWN_OPERATION = 'conformance-unknown-operation';
+/**
+ * The runner contract (#2213, RFC §7) as a list of checks, so a broken runner can be
+ * shown to fail the one it breaks. {@link scopeStoreRunnerContractSuite} runs them all.
+ *
+ * Every call goes through the kernel's callers both hosts use (`callScopeStore`,
+ * `callReservedStoreOperation`), so an answer is held to the same envelope and result
+ * schema a host would hold it to.
+ *
+ * A restart is `stop()` then `start()` on the same runner instance: what a host does
+ * between a `close` and the next first store call. A driver's repositories must survive
+ * it. Blob cells in an export are not asserted (their spelling over JSON is not settled).
+ */
+export function scopeStoreRunnerChecks(fixture) {
+    /** A started runner for one check, stopped after it whatever happens. */
+    const withRunner = async (body) => {
+        const runner = await fixture.makeRunner();
+        await runner.start();
+        try {
+            await body(runner);
+        }
+        finally {
+            await runner.stop();
+        }
+    };
+    const call = (runner, address, request) => callScopeStore((r) => runner.invoke(address, r), request.operation, request.input);
+    const read = (runner, address) => call(runner, address, fixture.read);
+    const write = (runner, address) => call(runner, address, fixture.write);
+    const reserved = (runner, address, operation, input) => callReservedStoreOperation((r) => runner.invoke(address, r), operation, input);
+    return [
+        {
+            name: 'a stop without a start resolves',
+            async run() {
+                const runner = await fixture.makeRunner();
+                await runner.stop();
+            },
+        },
+        {
+            name: 'a driver call answers the envelope, and an unknown operation answers its error',
+            async run() {
+                await withRunner(async (runner) => {
+                    const address = freshAddress();
+                    expect(storeResponse.safeParse(await runner.invoke(address, fixture.read)).success).toBe(true);
+                    const unknown = storeResponse.parse(await runner.invoke(address, { operation: UNKNOWN_OPERATION }));
+                    expect('error' in unknown).toBe(true);
+                });
+            },
+        },
+        {
+            name: 'a write is read back on its own address',
+            async run() {
+                await withRunner(async (runner) => {
+                    const address = freshAddress();
+                    const before = await read(runner, address);
+                    await write(runner, address);
+                    expect(await read(runner, address)).not.toEqual(before);
+                });
+            },
+        },
+        {
+            name: 'the object is keyed on the whole address: tenant, vertical, scope and binding',
+            async run() {
+                await withRunner(async (runner) => {
+                    const address = freshAddress();
+                    const empty = await read(runner, freshAddress());
+                    await write(runner, address);
+                    // Each neighbour differs from the written address in exactly one field.
+                    const neighbours = [
+                        { ...address, tenantId: ulid() },
+                        { ...address, vertical: 'conformance-other' },
+                        { ...address, scopeId: ulid() },
+                        { ...address, binding: 'OTHER' },
+                    ];
+                    for (const neighbour of neighbours) {
+                        expect(await read(runner, neighbour), JSON.stringify(neighbour)).toEqual(empty);
+                    }
+                });
+            },
+        },
+        {
+            name: 'a stop and a start serve the same repositories',
+            async run() {
+                await withRunner(async (runner) => {
+                    const address = freshAddress();
+                    await write(runner, address);
+                    const written = await read(runner, address);
+                    await runner.stop();
+                    await runner.start();
+                    expect(await read(runner, address)).toEqual(written);
+                });
+            },
+        },
+        {
+            name: 'substrat.size answers { bytes }',
+            async run() {
+                await withRunner(async (runner) => {
+                    const address = freshAddress();
+                    await write(runner, address);
+                    const { bytes } = await reserved(runner, address, 'substrat.size');
+                    expect(Number.isInteger(bytes)).toBe(true);
+                });
+            },
+        },
+        {
+            name: 'substrat.export answers { tables } in the scope-dump table shape',
+            async run() {
+                await withRunner(async (runner) => {
+                    const address = freshAddress();
+                    await write(runner, address);
+                    const { tables } = await reserved(runner, address, 'substrat.export');
+                    expect(tables.length).toBeGreaterThan(0);
+                });
+            },
+        },
+        {
+            name: 'substrat.import replaces the whole object and answers the tables it wrote',
+            async run() {
+                await withRunner(async (runner) => {
+                    const source = freshAddress();
+                    const target = freshAddress();
+                    await write(runner, source);
+                    await write(runner, target);
+                    await write(runner, target);
+                    // The target holds more than the source, so a merge cannot pass for a replace.
+                    expect(await read(runner, target)).not.toEqual(await read(runner, source));
+                    const { tables } = await reserved(runner, source, 'substrat.export');
+                    const imported = await reserved(runner, target, 'substrat.import', { tables });
+                    expect(imported.tables).toBe(tables.length);
+                    expect(await read(runner, target)).toEqual(await read(runner, source));
+                });
+            },
+        },
+        {
+            name: 'substrat.wipe answers {} and leaves an empty object, also where nothing was written',
+            async run() {
+                await withRunner(async (runner) => {
+                    const address = freshAddress();
+                    const empty = await read(runner, freshAddress());
+                    await write(runner, address);
+                    expect(await reserved(runner, address, 'substrat.wipe')).toEqual({});
+                    expect(await read(runner, address)).toEqual(empty);
+                    expect(await reserved(runner, freshAddress(), 'substrat.wipe')).toEqual({});
+                });
+            },
+        },
+        {
+            name: 'substrat.erase answers { erased }, and a repeat erases nothing more',
+            async run() {
+                await withRunner(async (runner) => {
+                    const address = freshAddress();
+                    const subjectId = ulid();
+                    await write(runner, address);
+                    await reserved(runner, address, 'substrat.erase', { subjectId });
+                    expect(await reserved(runner, address, 'substrat.erase', { subjectId })).toEqual({ erased: 0 });
+                });
+            },
+        },
+    ];
+}
+/**
+ * The runner contract a scope-store driver's runner passes (#2213). A driver runs it in its
+ * own repository, against its own runner: the platform runs only the trivial driver.
+ *
+ * ```ts
+ * scopeStoreRunnerContractSuite('graph', {
+ *   makeRunner: () => graphRunner({ dir }),
+ *   write: { operation: 'apply', input: { … } },
+ *   read: { operation: 'inspect' },
+ * });
+ * ```
+ */
+export function scopeStoreRunnerContractSuite(driver, fixture) {
+    describe(`scope-store runner (#2213): ${driver}`, () => {
+        for (const check of scopeStoreRunnerChecks(fixture)) {
+            it(check.name, () => check.run());
+        }
+    });
+}
+//# sourceMappingURL=scope-store-runner-suite.js.map

package/dist/scope-store-runner-suite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-store-runner-suite.js","sourceRoot":"","sources":["../src/scope-store-runner-suite.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAkD,MAAM,yBAAyB,CAAC;AACxG,OAAO,EACL,0BAA0B,EAC1B,cAAc,EACd,IAAI,GAGL,MAAM,sBAAsB,CAAC;AAqB9B,+DAA+D;AAC/D,SAAS,YAAY;IACnB,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC1F,CAAC;AAED,qEAAqE;AACrE,MAAM,iBAAiB,GAAG,+BAA+B,CAAC;AAE1D;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAgC;IACrE,yEAAyE;IACzE,MAAM,UAAU,GAAG,KAAK,EAAE,IAAiD,EAAiB,EAAE;QAC5F,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;gBAAS,CAAC;YACT,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;QACtB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,MAAwB,EAAE,OAA0B,EAAE,OAAqB,EAAE,EAAE,CAC3F,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACrF,MAAM,IAAI,GAAG,CAAC,MAAwB,EAAE,OAA0B,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3G,MAAM,KAAK,GAAG,CAAC,MAAwB,EAAE,OAA0B,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7G,MAAM,QAAQ,GAAG,CACf,MAAwB,EACxB,OAA0B,EAC1B,SAAY,EACZ,KAAe,EACf,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAEpF,OAAO;QACL;YACE,IAAI,EAAE,iCAAiC;YACvC,KAAK,CAAC,GAAG;gBACP,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC1C,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;YACtB,CAAC;SACF;QACD;YACE,IAAI,EAAE,gFAAgF;YACtF,KAAK,CAAC,GAAG;gBACP,MAAM,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;oBAChC,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;oBAC/B,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC/F,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC;oBACpG,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxC,CAAC,CAAC,CAAC;YACL,CAAC;SACF;QACD;YACE,IAAI,EAAE,yCAAyC;YAC/C,KAAK,CAAC,GAAG;gBACP,MAAM,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;oBAChC,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;oBAC/B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;oBAC3C,MAAM,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;oBAC7B,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1D,CAAC,CAAC,CAAC;YACL,CAAC;SACF;QACD;YACE,IAAI,EAAE,+EAA+E;YACrF,KAAK,CAAC,GAAG;gBACP,MAAM,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;oBAChC,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;oBAC/B,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;oBACjD,MAAM,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;oBAC7B,wEAAwE;oBACxE,MAAM,UAAU,GAAwB;wBACtC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE;wBAChC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE;wBAC7C,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE;wBAC/B,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE;qBACjC,CAAC;oBACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;wBACnC,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBAClF,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;SACF;QACD;YACE,IAAI,EAAE,gDAAgD;YACtD,KAAK,CAAC,GAAG;gBACP,MAAM,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;oBAChC,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;oBAC/B,MAAM,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;oBAC7B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;oBAC5C,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;oBACpB,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;oBACrB,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBACvD,CAAC,CAAC,CAAC;YACL,CAAC;SACF;QACD;YACE,IAAI,EAAE,iCAAiC;YACvC,KAAK,CAAC,GAAG;gBACP,MAAM,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;oBAChC,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;oBAC/B,MAAM,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;oBAC7B,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;oBACnE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7C,CAAC,CAAC,CAAC;YACL,CAAC;SACF;QACD;YACE,IAAI,EAAE,kEAAkE;YACxE,KAAK,CAAC,GAAG;gBACP,MAAM,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;oBAChC,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;oBAC/B,MAAM,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;oBAC7B,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC;oBACtE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAC3C,CAAC,CAAC,CAAC;YACL,CAAC;SACF;QACD;YACE,IAAI,EAAE,2EAA2E;YACjF,KAAK,CAAC,GAAG;gBACP,MAAM,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;oBAChC,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;oBAC9B,MAAM,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;oBAC5B,MAAM,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;oBAC5B,MAAM,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;oBAC5B,+EAA+E;oBAC/E,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;oBAC3E,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;oBACrE,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,iBAAiB,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;oBAC/E,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;oBAC5C,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;gBACzE,CAAC,CAAC,CAAC;YACL,CAAC;SACF;QACD;YACE,IAAI,EAAE,qFAAqF;YAC3F,KAAK,CAAC,GAAG;gBACP,MAAM,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;oBAChC,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;oBAC/B,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;oBACjD,MAAM,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;oBAC7B,MAAM,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBACrE,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBACnD,MAAM,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,YAAY,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBAC9E,CAAC,CAAC,CAAC;YACL,CAAC;SACF;QACD;YACE,IAAI,EAAE,qEAAqE;YAC3E,KAAK,CAAC,GAAG;gBACP,MAAM,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;oBAChC,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;oBAC/B,MAAM,SAAS,GAAG,IAAI,EAAE,CAAC;oBACzB,MAAM,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;oBAC7B,MAAM,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;oBACjE,MAAM,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;gBAClG,CAAC,CAAC,CAAC;YACL,CAAC;SACF;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,6BAA6B,CAAC,MAAc,EAAE,OAAgC;IAC5F,QAAQ,CAAC,+BAA+B,MAAM,EAAE,EAAE,GAAG,EAAE;QACrD,KAAK,MAAM,KAAK,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpD,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/scope-store-suite.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scope-store-suite.d.ts","sourceRoot":"","sources":["../src/scope-store-suite.ts"],"names":[],"mappings":"AAEA,OAAO,EAAgD,KAAK,gBAAgB,EAAwB,MAAM,sBAAsB,CAAC;AAEjI,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAuG9D;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,CACX,WAAW,EAAE;IAAE,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,gBAAgB,CAAA;KAAE,EAAE,CAAA;CAAE,KACtE,OAAO,CAAC,gBAAgB,CAAC,GAC7B,IAAI,CA2jBN"}
+{"version":3,"file":"scope-store-suite.d.ts","sourceRoot":"","sources":["../src/scope-store-suite.ts"],"names":[],"mappings":"AAEA,OAAO,EAAwB,KAAK,gBAAgB,EAAwB,MAAM,sBAAsB,CAAC;AAGzG,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAiD9D;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,CACX,WAAW,EAAE;IAAE,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,gBAAgB,CAAA;KAAE,EAAE,CAAA;CAAE,KACtE,OAAO,CAAC,gBAAgB,CAAC,GAC7B,IAAI,CA8jBN"}

package/dist/scope-store-suite.js

@@ -1,104 +1,53 @@
 import { describe, it, expect, beforeAll, afterAll } from 'vitest';
-import { errorCodeOf, platformActorId, principalId, scopeId, tenantId } from '@substrat-run/contracts';
+import { errorCodeOf, platformActorId, principalId, scopeId, storeEraseInput, tenantId } from '@substrat-run/contracts';
 import { ulid } from '@substrat-run/kernel';
 import { STORE_CALL_SINK_KEY, tallyStoreCall } from '@substrat-run/kernel/invocation-line';
+import { counterScopeStoreRunner, invalidStoreInput, objectNameOf } from './counter-runner.js';
 /**
- * A counter in the process. One number per address, so two scopes and two
- * verticals stay apart when the host passes the address it built.
+ * The trivial driver, with what this suite reads back about the host's calls:
+ * `address` (what the host handed in), `erased` (the subjects erased on this object),
+ * `wiped` (every object wiped), and `fail-wipe` (`true` makes each later `substrat.wipe`
+ * answer 503, until `false`).
  */
-function counterRunner() {
-    const objects = new Map();
+function instrumentedCounterRunner() {
+    const counter = counterScopeStoreRunner();
     const erased = new Map();
     const wiped = new Set();
-    // `fail-wipe` makes every later `substrat.wipe` fail, until it is turned off again.
     let failWipe = false;
-    const key = (address) => `${address.tenantId}/${address.vertical}/${address.scopeId}/${address.binding}`;
     return {
-        kind: 'counter',
-        async start() { },
-        async stop() { },
+        ...counter,
         async invoke(address, request) {
-            const current = objects.get(key(address)) ?? 0;
-            if (request.operation === 'read')
-                return { result: current };
-            if (request.operation === 'address') {
-                return {
-                    result: {
-                        tenantId: address.tenantId,
-                        vertical: address.vertical,
-                        scopeId: address.scopeId,
-                        binding: address.binding,
-                    },
-                };
-            }
-            if (request.operation === 'increment') {
-                const by = typeof request.input === 'object' &&
-                    request.input !== null &&
-                    typeof Reflect.get(request.input, 'by') === 'number'
-                    ? Number(Reflect.get(request.input, 'by'))
-                    : 1;
-                const next = current + by;
-                objects.set(key(address), next);
-                return { result: next };
-            }
-            if (request.operation === 'substrat.size')
-                return { result: { bytes: current } };
-            if (request.operation === 'fail-wipe') {
-                failWipe = request.input === true;
-                return { result: failWipe };
-            }
-            if (request.operation === 'substrat.wipe') {
-                if (failWipe)
-                    return { error: { code: 'unavailable', status: 503 } };
-                objects.set(key(address), 0);
-                wiped.add(key(address));
-                return { result: {} };
-            }
-            if (request.operation === 'wiped')
-                return { result: [...wiped] };
-            if (request.operation === 'substrat.erase') {
-                const subjectId = typeof request.input === 'object' && request.input !== null
-                    ? Reflect.get(request.input, 'subjectId')
-                    : undefined;
-                if (typeof subjectId !== 'string' || subjectId.length === 0) {
-                    return { error: { code: 'validation_failed', status: 400 } };
+            const id = objectNameOf(address);
+            switch (request.operation) {
+                case 'address': {
+                    const { tenantId, vertical, scopeId, binding } = address;
+                    return { result: { tenantId, vertical, scopeId, binding } };
                 }
-                const subjects = erased.get(key(address)) ?? new Set();
-                const already = subjects.has(subjectId);
-                subjects.add(subjectId);
-                erased.set(key(address), subjects);
-                return { result: { erased: already ? 0 : 1 } };
-            }
-            if (request.operation === 'erased') {
-                return { result: [...(erased.get(key(address)) ?? [])] };
-            }
-            if (request.operation === 'substrat.export') {
-                return {
-                    result: {
-                        tables: [
-                            {
-                                name: 'counter',
-                                ddl: 'CREATE TABLE counter (n INTEGER NOT NULL)',
-                                columns: ['n'],
-                                rows: [[current]],
-                            },
-                        ],
-                    },
-                };
-            }
-            if (request.operation === 'substrat.import') {
-                const tables = typeof request.input === 'object' && request.input !== null
-                    ? Reflect.get(request.input, 'tables')
-                    : undefined;
-                const count = Array.isArray(tables) ? tables.length : 0;
-                const first = Array.isArray(tables) ? tables[0] : undefined;
-                const rows = typeof first === 'object' && first !== null ? Reflect.get(first, 'rows') : undefined;
-                const row = Array.isArray(rows) ? rows[0] : undefined;
-                const cell = Array.isArray(row) ? row[0] : undefined;
-                objects.set(key(address), typeof cell === 'number' ? cell : 0);
-                return { result: { tables: count } };
+                case 'erased':
+                    return { result: [...(erased.get(id) ?? [])] };
+                case 'wiped':
+                    return { result: [...wiped] };
+                case 'fail-wipe':
+                    if (typeof request.input !== 'boolean')
+                        return invalidStoreInput('fail-wipe takes a boolean');
+                    failWipe = request.input;
+                    return { result: failWipe };
+                case 'substrat.wipe':
+                    if (failWipe)
+                        return { error: { code: 'unavailable', status: 503 } };
+                    wiped.add(id);
+                    return counter.invoke(address, request);
+                case 'substrat.erase': {
+                    const answer = await counter.invoke(address, request);
+                    if ('result' in answer) {
+                        const { subjectId } = storeEraseInput.parse(request.input);
+                        erased.set(id, (erased.get(id) ?? new Set()).add(subjectId));
+                    }
+                    return answer;
+                }
+                default:
+                    return counter.invoke(address, request);
             }
-            return { error: { code: 'unknown_operation', status: 400 } };
         },
     };
 }
@@ -117,7 +66,7 @@ export function scopeStoreContractSuite(adapterName, makeFixture) {
         const scopeB = scopeId.parse(ulid());
         const otherVertical = scopeId.parse(ulid());
         beforeAll(async () => {
-            fixture = await makeFixture({ runners: [{ binding: 'GRAPH', runner: counterRunner() }] });
+            fixture = await makeFixture({ runners: [{ binding: 'GRAPH', runner: instrumentedCounterRunner() }] });
             host = fixture.host;
             await host.admin.createTenant(staff, { id: tenant, slug: `t-${tenant.toLowerCase()}`, name: 'T' });
             await host.provisionScope(staff, { tenantId: tenant, scopeId: scopeA, vertical: 'docs' });
@@ -149,7 +98,7 @@ export function scopeStoreContractSuite(adapterName, makeFixture) {
                 release = resolve;
             });
             const slow = {
-                kind: 'slow',
+                driver: 'slow',
                 async start() {
                     started += 1;
                     await gate;
@@ -222,12 +171,15 @@ export function scopeStoreContractSuite(adapterName, makeFixture) {
             const refusal = await host.admin.scopeStoreSizes(staff, tenant, scopeId.parse(ulid())).then(() => undefined, (err) => err);
             expect(errorCodeOf(refusal)).toBe('not_found');
         });
-        it('an erasure reaches the store, and a second one counts zero', async () => {
+        it("an erasure reaches the store and takes the subject's part, and a second one counts zero", async () => {
             const subject = ulid();
+            const store = await host.getScopeStore(principal, tenant, scopeA, 'GRAPH');
+            const before = Number(await store.invoke('read'));
+            await store.invoke('increment', { by: 2, subjectId: subject });
             const first = await host.admin.shredSubject(staff, tenant, scopeA, subject);
             expect(first.storeErasures).toEqual([{ binding: 'GRAPH', erased: 1 }]);
-            const store = await host.getScopeStore(principal, tenant, scopeA, 'GRAPH');
             expect(await store.invoke('erased')).toEqual([subject]);
+            expect(await store.invoke('read')).toBe(before);
             const again = await host.admin.shredSubject(staff, tenant, scopeA, subject);
             expect(again.storeErasures).toEqual([{ binding: 'GRAPH', erased: 0 }]);
         });
@@ -246,7 +198,7 @@ export function scopeStoreContractSuite(adapterName, makeFixture) {
             await store.invoke('increment', { by: 4 });
             const dump = await host.admin.exportScope(staff, tenant, scopeB);
             expect(dump.stores).toEqual([
-                expect.objectContaining({ binding: 'GRAPH', kind: 'counter' }),
+                expect.objectContaining({ binding: 'GRAPH', driver: 'counter' }),
             ]);
             await store.invoke('increment', { by: 1 });
             await host.restoreScope(staff, tenant, scopeB, dump);
@@ -262,16 +214,16 @@ export function scopeStoreContractSuite(adapterName, makeFixture) {
             const refusal = await host.restoreScope(staff, tenant, scopeB, {
                 ...dump,
                 tables: [...dump.tables, PROBE_TABLE],
-                stores: [...dump.stores, { binding: 'MISSING', kind: 'counter', tables: [] }],
+                stores: [...dump.stores, { binding: 'MISSING', driver: 'counter', tables: [] }],
             }).then(() => undefined, (err) => err);
             expect(errorCodeOf(refusal)).toBe('not_found');
             // Neither the restore of the dump's GRAPH (before + 3) nor its tables were written.
             expect(await store.invoke('read')).toBe(before + 4);
             expect(await tableNames(scopeB)).not.toContain(PROBE_TABLE.name);
         });
-        // L8: a store of another kind would be handed to this kind's import, and a destination
+        // L8: a store of another driver would be handed to this driver's import, and a destination
         // with no vertical has no store object to load into. Both refuse before any write.
-        it('a restore whose store is of another kind writes nothing', async () => {
+        it('a restore whose store is of another driver writes nothing', async () => {
             const store = await host.getScopeStore(principal, tenant, scopeB, 'GRAPH');
             const before = Number(await store.invoke('read'));
             const dump = await host.admin.exportScope(staff, tenant, scopeB);
@@ -279,15 +231,15 @@ export function scopeStoreContractSuite(adapterName, makeFixture) {
             const refusal = await host.restoreScope(staff, tenant, scopeB, {
                 ...dump,
                 tables: [...dump.tables, PROBE_TABLE],
-                stores: dump.stores.map((one) => ({ ...one, kind: 'other' })),
+                stores: dump.stores.map((one) => ({ ...one, driver: 'other' })),
             }).then(() => undefined, (err) => err);
             expect(errorCodeOf(refusal)).toBe('conflict');
             expect(await store.invoke('read')).toBe(before + 2);
             expect(await tableNames(scopeB)).not.toContain(PROBE_TABLE.name);
         });
         // CodeRabbit on #2244: the host does not parse the dump it is handed, so a store with no
-        // kind skipped the kind comparison above and was imported.
-        it('a restore whose store names no kind writes nothing', async () => {
+        // driver skipped the driver comparison above and was imported.
+        it('a restore whose store names no driver writes nothing', async () => {
             const store = await host.getScopeStore(principal, tenant, scopeB, 'GRAPH');
             const before = Number(await store.invoke('read'));
             const dump = await host.admin.exportScope(staff, tenant, scopeB);
@@ -336,7 +288,7 @@ export function scopeStoreContractSuite(adapterName, makeFixture) {
                 tenantId: tenant,
                 scopeId: dest,
                 vertical: 'docs',
-            }, { ...dump, stores: [...dump.stores, { binding: 'MISSING', kind: 'counter', tables: [] }] }).then(() => undefined, (err) => err);
+            }, { ...dump, stores: [...dump.stores, { binding: 'MISSING', driver: 'counter', tables: [] }] }).then(() => undefined, (err) => err);
             expect(errorCodeOf(refusal)).toBe('not_found');
             expect(await host.admin.getScopeRecord(staff, tenant, dest)).toBeUndefined();
         });
@@ -383,7 +335,7 @@ export function scopeStoreContractSuite(adapterName, makeFixture) {
                 expect(refusal).toBeDefined();
                 expect((await host.admin.getScopeRecord(staff, tenant, doomed))?.status).toBe('archived');
                 const dump = await host.admin.exportScope(staff, tenant, doomed);
-                expect(dump.stores.find((one) => one.binding === 'GRAPH')?.tables[0]?.rows).toEqual([[7]]);
+                expect(dump.stores.find((one) => one.binding === 'GRAPH')?.tables[0]?.rows).toEqual([[null, 7]]);
                 expect(dump.tables.map((table) => table.name)).toContain(PROBE_TABLE.name);
             }
             finally {
@@ -423,7 +375,7 @@ export function scopeStoreContractSuite(adapterName, makeFixture) {
             expect(await loud.invoke('read')).toEqual(expect.any(Number));
         });
         it('with no observer, a call lands on the request now running; a passed one wins (#2245)', async () => {
-            // The platform entry installs this slot (vertical-host's `runRecordingStoreCalls`);
+            // The platform entry installs this slot (vertical-host's `runRecording`);
             // here a fixed tally stands in for the request's record.
             const key = Symbol.for(STORE_CALL_SINK_KEY);
             const g = globalThis;