@adobe/data-testing 0.9.96

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025-2026 Adobe, Inc.
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,44 @@
+# @adobe/data-testing
+
+Conformance-testing utilities for `@adobe/data` ECS features — the `Match` and
+`Conformance` namespaces used by the co-located conformance pattern (see
+`@adobe/data-ai`'s `features/data/state.md` and
+`features/services/main-service/conformance.md`).
+
+This package exists separately from `@adobe/data` so that installing
+`@adobe/data` never pulls in a `vitest` peer dependency — only projects that
+actually author conformance tests (and therefore already depend on `vitest`)
+need it.
+
+## Install
+
+```sh
+pnpm add -D @adobe/data-testing vitest
+```
+
+## Usage
+
+```ts
+// data/state/conformance-case.ts
+import { Conformance as ConformanceApi } from "@adobe/data-testing";
+import type { State } from "./state.js";
+
+export type Conformance<F extends (...args: never[]) => unknown> = ConformanceApi.Cases<State, F>;
+export const entity = ConformanceApi.entity;
+```
+
+```ts
+// data/state/spec.test.ts
+import { Conformance } from "@adobe/data-testing";
+import { State } from "./state.js";
+import { transitions } from "./transitions.js";
+
+Conformance.runSpec({ state: State, transitions });
+```
+
+`Match` provides tolerant, matcher-aware value comparison (`matches`, `ref`,
+`anyNumber`, `anyString`) used by the `after` side of a conformance case.
+`Conformance` provides the case types (`Cases`, `DerivationCases`, `Effects`)
+and the runner drivers (`runSpec`, `runTransactions`, `runActions`,
+`runComputeds`, `runFeature`) that drive vitest's `describe`/`it` against
+spec-owned cases.

package/dist/conformance/discover.d.ts

@@ -0,0 +1,7 @@
+export interface Discovered {
+    readonly fn: (...args: unknown[]) => unknown;
+    readonly cases: readonly Record<string, unknown>[];
+}
+export declare const discoverTransitions: (modules: Record<string, Record<string, unknown>>) => Map<string, Discovered>;
+export declare const discoverDerivations: (modules: Record<string, Record<string, unknown>>) => Map<string, Discovered>;
+export declare const discoverOps: (source: Record<string, unknown>) => Map<string, (...a: never[]) => unknown>;

package/dist/conformance/discover.js

@@ -0,0 +1,48 @@
+// © 2026 Adobe. MIT License. See /LICENSE for details.
+const scan = (modules, isKind) => {
+    const out = new Map();
+    for (const [path, module] of Object.entries(modules)) {
+        const names = Object.keys(module);
+        if (!names.includes("cases"))
+            continue;
+        const cases = module["cases"];
+        if (!Array.isArray(cases) || cases.length === 0)
+            continue;
+        const first = cases[0];
+        if (typeof first !== "object" || first === null || !isKind(first))
+            continue;
+        const fnName = names.find((key) => typeof module[key] === "function");
+        if (!fnName)
+            throw new Error(`${path} exports \`cases\` but no function to pair`);
+        out.set(fnName, { fn: module[fnName], cases: cases });
+    }
+    return out;
+};
+// Transitions — files whose cases are `{ before, args?, after }` — keyed by the
+// transform's function name (the name the ecs transaction/action must share).
+export const discoverTransitions = (modules) => scan(modules, (c) => "after" in c);
+// Derivations — files whose cases are `{ input, value }` — keyed by the
+// derivation's function name (the name the ecs computed must share).
+export const discoverDerivations = (modules) => scan(modules, (c) => "value" in c);
+// Normalize the ecs-op source to `name → fn`. Accepts EITHER a facet barrel
+// (`import * as x` — values are the functions, keyed by export name) OR a directory
+// glob (`import.meta.glob(..., { eager: true })` — values are modules, each
+// contributing its function exports). The glob form finds ops that live beside a
+// barrel but aren't registered in it (a conformance-only action kept out of the
+// plugin facet), so they still pair by name.
+export const discoverOps = (source) => {
+    const out = new Map();
+    for (const [key, value] of Object.entries(source)) {
+        if (typeof value === "function") {
+            out.set(key, value);
+        }
+        else if (value !== null && typeof value === "object") {
+            for (const [name, member] of Object.entries(value)) {
+                if (typeof member === "function")
+                    out.set(name, member);
+            }
+        }
+    }
+    return out;
+};
+//# sourceMappingURL=discover.js.map

package/dist/conformance/discover.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discover.js","sourceRoot":"","sources":["../../src/conformance/discover.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAQvD,MAAM,IAAI,GAAG,CACX,OAAgD,EAChD,MAAuD,EAC9B,EAAE;IAC3B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC1D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,KAAgC,CAAC;YAAE,SAAS;QACvG,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,4CAA4C,CAAC,CAAC;QAClF,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAqB,EAAE,KAAK,EAAE,KAA4B,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,gFAAgF;AAChF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAgD,EAA2B,EAAE,CAC/G,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;AAErC,wEAAwE;AACxE,qEAAqE;AACrE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAgD,EAA2B,EAAE,CAC/G,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;AAErC,4EAA4E;AAC5E,oFAAoF;AACpF,4EAA4E;AAC5E,iFAAiF;AACjF,gFAAgF;AAChF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAA+B,EAA2C,EAAE;IACtG,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsC,CAAC;IAC1D,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;YAChC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAmC,CAAC,CAAC;QACpD,CAAC;aAAM,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACvD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnD,IAAI,OAAO,MAAM,KAAK,UAAU;oBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,MAAoC,CAAC,CAAC;YACxF,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC"}

package/dist/conformance/effects.type-test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/conformance/effects.type-test.js

@@ -0,0 +1,39 @@
+// ===== POSITIVE — must compile =====
+const ordered = { analytics: [["todoCreated", { name: "a" }], ["todoToggled"]] };
+const anyOrder = {
+    analytics: new Set([["todoToggled"], ["allTodosCleared"]]),
+};
+const noArgMethod = { analytics: [["displayCompletedToggled"]] };
+const empty = {};
+void ordered;
+void anyOrder;
+void noArgMethod;
+void empty;
+// ===== NEGATIVE — each must error =====
+const badMethod = {
+    // @ts-expect-error - "noSuchMethod" is not a method of AnalyticsService
+    analytics: [["noSuchMethod", { name: "a" }]],
+};
+const badArgs = {
+    // @ts-expect-error - todoCreated takes { name: string }, not { count }
+    analytics: [["todoCreated", { count: 1 }]],
+};
+const missingArgs = {
+    // @ts-expect-error - todoCreated requires its args element
+    analytics: [["todoCreated"]],
+};
+const extraArg = {
+    // @ts-expect-error - todoToggled takes no args
+    analytics: [["todoToggled", { name: "a" }]],
+};
+const dataKey = {
+    // @ts-expect-error - "name" is a data arg, not a service
+    name: [["todoCreated", { name: "a" }]],
+};
+void badMethod;
+void badArgs;
+void missingArgs;
+void extraArg;
+void dataKey;
+export {};
+//# sourceMappingURL=effects.type-test.js.map

package/dist/conformance/effects.type-test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.type-test.js","sourceRoot":"","sources":["../../src/conformance/effects.type-test.ts"],"names":[],"mappings":"AAqBA,sCAAsC;AACtC,MAAM,OAAO,GAAkB,EAAE,SAAS,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;AAChG,MAAM,QAAQ,GAAkB;IAC9B,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,aAAa,CAAU,EAAE,CAAC,iBAAiB,CAAU,CAAC,CAAC;CAC7E,CAAC;AACF,MAAM,WAAW,GAAkB,EAAE,SAAS,EAAE,CAAC,CAAC,yBAAyB,CAAC,CAAC,EAAE,CAAC;AAChF,MAAM,KAAK,GAAkB,EAAE,CAAC;AAChC,KAAK,OAAO,CAAC;AACb,KAAK,QAAQ,CAAC;AACd,KAAK,WAAW,CAAC;AACjB,KAAK,KAAK,CAAC;AAEX,yCAAyC;AACzC,MAAM,SAAS,GAAkB;IAC/B,wEAAwE;IACxE,SAAS,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;CAC7C,CAAC;AACF,MAAM,OAAO,GAAkB;IAC7B,uEAAuE;IACvE,SAAS,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;CAC3C,CAAC;AACF,MAAM,WAAW,GAAkB;IACjC,2DAA2D;IAC3D,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;CAC7B,CAAC;AACF,MAAM,QAAQ,GAAkB;IAC9B,+CAA+C;IAC/C,SAAS,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;CAC5C,CAAC;AACF,MAAM,OAAO,GAAkB;IAC7B,yDAAyD;IACzD,IAAI,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;CACvC,CAAC;AACF,KAAK,SAAS,CAAC;AACf,KAAK,OAAO,CAAC;AACb,KAAK,WAAW,CAAC;AACjB,KAAK,QAAQ,CAAC;AACd,KAAK,OAAO,CAAC"}

package/dist/conformance/entity-ref.d.ts

@@ -0,0 +1,5 @@
+import type { Entity } from "@adobe/data/ecs";
+import type { Resolve } from "./resolve.js";
+export declare const entity: <T>(specId: T) => T;
+export declare const adaptArgs: <Args>(args: Args, resolve?: Resolve<unknown>) => Args;
+export type { Entity };

package/dist/conformance/entity-ref.js

@@ -0,0 +1,28 @@
+// A spec entity reference inside a case's `args`: `{ id: entity(1) }` names "the
+// entity seeded for spec-id 1". It closes the one irreducible spec↔ecs vocabulary
+// gap — identity: the pure spec reads the data-id, the ecs reads the entity the
+// runner resolves. Typed as the id it stands in for, so it slots into the
+// transform's own arg type (`{ id: number }`), exactly like `Match.anyNumber`.
+const ENTITY_REF = Symbol.for("@adobe/data-testing:entity-ref");
+export const entity = (specId) => ({ [ENTITY_REF]: specId });
+const isEntityRef = (value) => typeof value === "object" && value !== null && ENTITY_REF in value;
+// Adapt a case's `args` for one side of the conformance. `resolve` present → the
+// ecs side (refs become seeded entities); absent → the pure-spec side (refs become
+// their data-id). Only the top-level arg values are inspected — a `ref` is always a
+// direct arg field. Non-ref values pass through untouched; a non-object `args`
+// (a scalar `dt`, or `undefined`) passes through whole.
+export const adaptArgs = (args, resolve) => {
+    if (args === null || typeof args !== "object" || Array.isArray(args))
+        return args;
+    let changed = false;
+    const next = { ...args };
+    for (const [key, value] of Object.entries(next)) {
+        if (isEntityRef(value)) {
+            const specId = value[ENTITY_REF];
+            next[key] = resolve ? resolve(specId) : specId;
+            changed = true;
+        }
+    }
+    return (changed ? next : args);
+};
+//# sourceMappingURL=entity-ref.js.map

package/dist/conformance/entity-ref.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity-ref.js","sourceRoot":"","sources":["../../src/conformance/entity-ref.ts"],"names":[],"mappings":"AAIA,iFAAiF;AACjF,kFAAkF;AAClF,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;AAEhE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,MAAS,EAAK,EAAE,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAiB,CAAC;AAEtF,MAAM,WAAW,GAAG,CAAC,KAAc,EAA+C,EAAE,CAClF,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,UAAU,IAAI,KAAK,CAAC;AAErE,iFAAiF;AACjF,mFAAmF;AACnF,oFAAoF;AACpF,+EAA+E;AAC/E,wDAAwD;AACxD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,IAAU,EAAE,OAA0B,EAAQ,EAAE;IAC9E,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClF,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,IAAI,GAA4B,EAAE,GAAI,IAAe,EAAE,CAAC;IAC9D,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;YACjC,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,OAAO,CAAC,MAAM,CAAa,CAAC,CAAC,CAAC,MAAM,CAAC;YAC5D,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAS,CAAC;AACzC,CAAC,CAAC"}

package/dist/conformance/public.d.ts

@@ -0,0 +1,7 @@
+export type { Case, Cases, DerivationCase, DerivationCases, Effects, ServiceCall } from "./types.js";
+export { entity } from "./entity-ref.js";
+export { runSpec, type SpecRunConfig } from "./run-spec.js";
+export { runTransactions, type TransactionRunConfig } from "./run-transactions.js";
+export { runActions, type ActionRunConfig } from "./run-actions.js";
+export { runComputeds, type ComputedRunConfig } from "./run-computeds.js";
+export { runFeature, type FeatureRunConfig, type Projection } from "./run-feature.js";

package/dist/conformance/public.js

@@ -0,0 +1,7 @@
+export { entity } from "./entity-ref.js";
+export { runSpec } from "./run-spec.js";
+export { runTransactions } from "./run-transactions.js";
+export { runActions } from "./run-actions.js";
+export { runComputeds } from "./run-computeds.js";
+export { runFeature } from "./run-feature.js";
+//# sourceMappingURL=public.js.map

package/dist/conformance/public.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"public.js","sourceRoot":"","sources":["../../src/conformance/public.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,OAAO,EAAsB,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,eAAe,EAA6B,MAAM,uBAAuB,CAAC;AACnF,OAAO,EAAE,UAAU,EAAwB,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,YAAY,EAA0B,MAAM,oBAAoB,CAAC;AAC1E,OAAO,EAAE,UAAU,EAA0C,MAAM,kBAAkB,CAAC"}

package/dist/conformance/record-effects.d.ts

@@ -0,0 +1,16 @@
+import type { Effects } from "./types.js";
+export type RecordedCall = readonly [string, ...unknown[]];
+export declare const recordCalls: <S extends object>(service: S) => {
+    service: S;
+    calls: RecordedCall[];
+};
+export declare const recordArgServices: <Args>(args: Args) => {
+    args: Args;
+    calls: Record<string, RecordedCall[]>;
+};
+export declare const splitAndRecordServices: <Args>(args: Args) => {
+    services: Record<string, object>;
+    input: Record<string, unknown>;
+    calls: Record<string, RecordedCall[]>;
+};
+export declare const expectEffects: (calls: Record<string, readonly RecordedCall[]>, effects: Effects<Record<string, unknown>> | undefined) => void;

package/dist/conformance/record-effects.js

@@ -0,0 +1,93 @@
+// © 2026 Adobe. MIT License. See /LICENSE for details.
+import { equalsUnordered } from "@adobe/data";
+import { matches } from "../match/match.js";
+// A runtime service value: a non-array object with at least one method (mirrors
+// the compile-time service detection in `types.ts`).
+const isServiceValue = (value) => typeof value === "object" &&
+    value !== null &&
+    !Array.isArray(value) &&
+    Object.values(value).some((member) => typeof member === "function");
+// Wrap a plain-object service so each method call is recorded, then delegates.
+// No Proxy (services are plain objects with own enumerable methods), so we
+// enumerate and closure-wrap each function.
+export const recordCalls = (service) => {
+    const calls = [];
+    const wrapped = Object.fromEntries(Object.entries(service).map(([key, value]) => [
+        key,
+        typeof value === "function"
+            ? (...args) => {
+                calls.push([key, ...args]);
+                return value(...args);
+            }
+            : value,
+    ]));
+    return { service: wrapped, calls };
+};
+// Wrap the injected services IN PLACE within a case's `args` (leaving plain data
+// untouched), returning the args ready to pass to a pure transform plus the
+// per-service `calls` map. Used by the pure spec runner, which calls the transform
+// with its full args; the ecs action runner uses `splitAndRecordServices` instead.
+export const recordArgServices = (args) => {
+    const calls = {};
+    if (args === null || typeof args !== "object" || Array.isArray(args))
+        return { args, calls };
+    const next = { ...args };
+    for (const [key, value] of Object.entries(args)) {
+        if (isServiceValue(value)) {
+            const recorded = recordCalls(value);
+            next[key] = recorded.service;
+            calls[key] = recorded.calls;
+        }
+    }
+    return { args: next, calls };
+};
+// Split a case's `args` into the injected services (wrapped for recording) and
+// the remaining plain data. Keyed by the same arg name so `calls` matches against
+// `effects`. A no-arg case (`undefined` args) splits into nothing.
+export const splitAndRecordServices = (args) => {
+    const services = {};
+    const input = {};
+    const calls = {};
+    if (args !== null && typeof args === "object" && !Array.isArray(args)) {
+        for (const [key, value] of Object.entries(args)) {
+            if (isServiceValue(value)) {
+                const recorded = recordCalls(value);
+                services[key] = recorded.service;
+                calls[key] = recorded.calls;
+            }
+            else {
+                input[key] = value;
+            }
+        }
+    }
+    return { services, input, calls };
+};
+const showCalls = (calls) => {
+    try {
+        return JSON.stringify(calls) ?? String(calls);
+    }
+    catch {
+        return String(calls);
+    }
+};
+// Assert the calls recorded against one service match the case's expectation for
+// it: an Array expects exactly these calls in order; a Set expects the same calls
+// in any order (multiset). Absent expectation ⇒ no calls expected. Ordered calls
+// compare matcher-aware, so a call arg may itself use `anyNumber`.
+const expectServiceCalls = (key, recorded, expected) => {
+    const ok = expected instanceof Set ? equalsUnordered(recorded, [...expected]) : matches(recorded, expected ?? []);
+    if (!ok) {
+        throw new Error(`effects mismatch on "${key}":\n  recorded: ${showCalls(recorded)}\n  expected: ${showCalls(expected instanceof Set ? [...expected] : (expected ?? []))}`);
+    }
+};
+// Assert each service DECLARED in `effects` saw exactly its expected calls (an
+// extra or missing call on a declared service fails). Services not listed — e.g. a
+// value-returning read like `generateName` — are ignored, so `effects` captures the
+// fire-and-forget side effects a case chooses to assert.
+export const expectEffects = (calls, effects) => {
+    const expected = (effects ?? {});
+    for (const key of Object.keys(expected)) {
+        expectServiceCalls(key, calls[key] ?? [], expected[key]);
+    }
+};
+//# sourceMappingURL=record-effects.js.map

package/dist/conformance/record-effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-effects.js","sourceRoot":"","sources":["../../src/conformance/record-effects.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAK5C,gFAAgF;AAChF,qDAAqD;AACrD,MAAM,cAAc,GAAG,CAAC,KAAc,EAAmB,EAAE,CACzD,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACd,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IACrB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,MAAM,KAAK,UAAU,CAAC,CAAC;AAEtE,+EAA+E;AAC/E,2EAA2E;AAC3E,4CAA4C;AAC5C,MAAM,CAAC,MAAM,WAAW,GAAG,CAAmB,OAAU,EAAyC,EAAE;IACjG,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAChC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QAC5C,GAAG;QACH,OAAO,KAAK,KAAK,UAAU;YACzB,CAAC,CAAC,CAAC,GAAG,IAAe,EAAW,EAAE;gBAC9B,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;gBAC3B,OAAQ,KAAsC,CAAC,GAAG,IAAI,CAAC,CAAC;YAC1D,CAAC;YACH,CAAC,CAAC,KAAK;KACV,CAAC,CACE,CAAC;IACP,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACrC,CAAC,CAAC;AAEF,iFAAiF;AACjF,4EAA4E;AAC5E,mFAAmF;AACnF,mFAAmF;AACnF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAU,EAC6C,EAAE;IACzD,MAAM,KAAK,GAAmC,EAAE,CAAC;IACjD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC7F,MAAM,IAAI,GAAG,EAAE,GAAI,IAAe,EAA6B,CAAC;IAChE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAc,CAAC,EAAE,CAAC;QAC1D,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC;YAC7B,KAAK,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAY,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC,CAAC;AAEF,+EAA+E;AAC/E,kFAAkF;AAClF,mEAAmE;AACnE,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAU,EACmG,EAAE;IAC/G,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAmC,EAAE,CAAC;IACjD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBACpC,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC;gBACjC,KAAK,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,KAAc,EAAU,EAAE;IAC3C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;AACH,CAAC,CAAC;AAEF,iFAAiF;AACjF,kFAAkF;AAClF,iFAAiF;AACjF,mEAAmE;AACnE,MAAM,kBAAkB,GAAG,CACzB,GAAW,EACX,QAAiC,EACjC,QAAyE,EACnE,EAAE;IACR,MAAM,EAAE,GACN,QAAQ,YAAY,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IACzG,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,MAAM,IAAI,KAAK,CACb,wBAAwB,GAAG,mBAAmB,SAAS,CAAC,QAAQ,CAAC,iBAAiB,SAAS,CACzF,QAAQ,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAC3D,EAAE,CACJ,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,+EAA+E;AAC/E,mFAAmF;AACnF,oFAAoF;AACpF,yDAAyD;AACzD,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAA8C,EAC9C,OAAqD,EAC/C,EAAE;IACR,MAAM,QAAQ,GAAG,CAAC,OAAO,IAAI,EAAE,CAAwE,CAAC;IACxG,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC,CAAC"}

package/dist/conformance/resolve.d.ts

@@ -0,0 +1,3 @@
+import { Entity } from "@adobe/data/ecs";
+export type Resolve<Id> = (id: Id) => Entity;
+export declare const resolver: <Id>(seeded: ReadonlyMap<Id, Entity> | void) => Resolve<Id>;

package/dist/conformance/resolve.js

@@ -0,0 +1,8 @@
+// © 2026 Adobe. MIT License. See /LICENSE for details.
+import { Entity } from "@adobe/data/ecs";
+// Build a resolver from a `fromState` seed map. A feature whose transactions are
+// addressed by index or are singleton (no id → entity mapping) returns `void`
+// from `fromState`; its resolver is then never called, and any id resolves to
+// `Entity.none`.
+export const resolver = (seeded) => (id) => (seeded ? seeded.get(id) : undefined) ?? Entity.none;
+//# sourceMappingURL=resolve.js.map

package/dist/conformance/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../../src/conformance/resolve.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AASzC,iFAAiF;AACjF,8EAA8E;AAC9E,8EAA8E;AAC9E,iBAAiB;AACjB,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAK,MAAsC,EAAe,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAC1F,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC"}

package/dist/conformance/run-actions.d.ts

@@ -0,0 +1,14 @@
+import type { Entity } from "@adobe/data/ecs";
+import type { MatchOptions } from "../match/match.js";
+export interface ActionRunConfig<Db, Store, State> {
+    readonly makeDb: (services: Record<string, object>) => Db;
+    readonly store: (db: Db) => Store;
+    readonly fromState: (store: Store, before: State) => ReadonlyMap<unknown, Entity> | void;
+    readonly toState: (store: Store) => State;
+    readonly transitions: Record<string, Record<string, unknown>>;
+    readonly actions: Record<string, unknown>;
+    readonly initial?: State;
+    readonly seedContext?: (db: Db, before: State, args: unknown) => void;
+    readonly match?: MatchOptions;
+}
+export declare function runActions<Db, Store, State>(config: ActionRunConfig<Db, Store, State>): void;

package/dist/conformance/run-actions.js

@@ -0,0 +1,34 @@
+// © 2026 Adobe. MIT License. See /LICENSE for details.
+import { describe, it } from "vitest";
+import { assert } from "../match/assert.js";
+import { adaptArgs } from "./entity-ref.js";
+import { discoverTransitions, discoverOps } from "./discover.js";
+import { splitAndRecordServices, expectEffects } from "./record-effects.js";
+import { resolver } from "./resolve.js";
+// The single conformance test for every ecs action: each transition's cases run
+// against its same-named action, asserting state and the declared effects.
+export function runActions(config) {
+    const transitions = discoverTransitions(config.transitions);
+    for (const [name, action] of discoverOps(config.actions)) {
+        const paired = transitions.get(name);
+        if (!paired)
+            continue; // action with no transition (e.g. a streaming port) — not conformed here
+        describe(`${name} action conforms`, () => {
+            for (const testCase of paired.cases) {
+                it(testCase.name, async () => {
+                    const { services, input, calls } = splitAndRecordServices(testCase.args);
+                    // Case `before` is a delta over the feature default.
+                    const before = { ...(config.initial ?? {}), ...testCase.before };
+                    const db = config.makeDb(services);
+                    const resolve = resolver(config.fromState(config.store(db), before));
+                    config.seedContext?.(db, before, testCase.args);
+                    await action(db, adaptArgs(input, resolve));
+                    // `after` is a writes patch — compare `toState` against it merged over `before`.
+                    assert(config.toState(config.store(db)), { ...before, ...testCase.after }, config.match);
+                    expectEffects(calls, testCase.effects);
+                });
+            }
+        });
+    }
+}
+//# sourceMappingURL=run-actions.js.map

package/dist/conformance/run-actions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-actions.js","sourceRoot":"","sources":["../../src/conformance/run-actions.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEtC,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjE,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC5E,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAwBxC,gFAAgF;AAChF,2EAA2E;AAC3E,MAAM,UAAU,UAAU,CAAmB,MAAyC;IACpF,MAAM,WAAW,GAAG,mBAAmB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM;YAAE,SAAS,CAAC,yEAAyE;QAChG,QAAQ,CAAC,GAAG,IAAI,kBAAkB,EAAE,GAAG,EAAE;YACvC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACpC,EAAE,CAAC,QAAQ,CAAC,IAAc,EAAE,KAAK,IAAI,EAAE;oBACrC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;oBACzE,qDAAqD;oBACrD,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,GAAI,QAAQ,CAAC,MAAiB,EAAW,CAAC;oBACtF,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;oBACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;oBACrE,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;oBAChD,MAAO,MAAuD,CAAC,EAAE,EAAE,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;oBAC9F,iFAAiF;oBACjF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,GAAI,MAAiB,EAAE,GAAI,QAAQ,CAAC,KAAgB,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;oBACjH,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAgB,CAAC,CAAC;gBAClD,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/conformance/run-computeds.d.ts

@@ -0,0 +1,14 @@
+import type { Entity } from "@adobe/data/ecs";
+import type { MatchOptions } from "../match/match.js";
+export interface ComputedRunConfig<Db, Store, State> {
+    readonly makeDb: () => Db;
+    readonly store: (db: Db) => Store;
+    readonly fromState: (store: Store, input: State) => unknown;
+    readonly toData?: (store: Store, entity: Entity) => unknown;
+    readonly derivations: Record<string, Record<string, unknown>>;
+    readonly computeds: Record<string, unknown>;
+    readonly hydrate?: readonly string[];
+    readonly initial?: State;
+    readonly match?: MatchOptions;
+}
+export declare function runComputeds<Db, Store, State>(config: ComputedRunConfig<Db, Store, State>): void;

package/dist/conformance/run-computeds.js

@@ -0,0 +1,45 @@
+// © 2026 Adobe. MIT License. See /LICENSE for details.
+import { describe, it } from "vitest";
+import { assert } from "../match/assert.js";
+import { discoverDerivations, discoverOps } from "./discover.js";
+// Read a computed's synchronous emission: subscribe once, capture, unsubscribe.
+const readComputed = (observe) => {
+    let value;
+    let read = false;
+    const unsubscribe = observe((next) => {
+        value = next;
+        read = true;
+    });
+    unsubscribe();
+    if (!read)
+        throw new Error("computed did not emit synchronously on subscribe");
+    return value;
+};
+// The single conformance test for every ecs computed backing a `data/state`
+// derivation. Build `makeDb` from the `ComputedDatabase` layer (not the assembled
+// db): a behaviour layer above may `withCache` a pre-seed value that a direct
+// `fromState` seed cannot invalidate.
+export function runComputeds(config) {
+    const derivations = discoverDerivations(config.derivations);
+    const hydrate = new Set(config.hydrate ?? []);
+    for (const [name, computed] of discoverOps(config.computeds)) {
+        const paired = derivations.get(name);
+        if (!paired)
+            continue; // computed with no `state/` derivation — covered by its data/<type> helper
+        describe(`${name} computed conforms`, () => {
+            for (const testCase of paired.cases) {
+                it(testCase.name, () => {
+                    const db = config.makeDb();
+                    const input = { ...(config.initial ?? {}), ...testCase.input };
+                    config.fromState(config.store(db), input);
+                    const raw = readComputed(computed(db));
+                    const value = hydrate.has(name) && config.toData
+                        ? raw.map((e) => config.toData(config.store(db), e))
+                        : raw;
+                    assert(value, testCase.value, config.match);
+                });
+            }
+        });
+    }
+}
+//# sourceMappingURL=run-computeds.js.map

package/dist/conformance/run-computeds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-computeds.js","sourceRoot":"","sources":["../../src/conformance/run-computeds.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAGtC,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE5C,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEjE,gFAAgF;AAChF,MAAM,YAAY,GAAG,CAAI,OAAmB,EAAK,EAAE;IACjD,IAAI,KAAS,CAAC;IACd,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACnC,KAAK,GAAG,IAAI,CAAC;QACb,IAAI,GAAG,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,WAAW,EAAE,CAAC;IACd,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAsBF,4EAA4E;AAC5E,kFAAkF;AAClF,8EAA8E;AAC9E,sCAAsC;AACtC,MAAM,UAAU,YAAY,CAAmB,MAA2C;IACxF,MAAM,WAAW,GAAG,mBAAmB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM;YAAE,SAAS,CAAC,2EAA2E;QAClG,QAAQ,CAAC,GAAG,IAAI,oBAAoB,EAAE,GAAG,EAAE;YACzC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACpC,EAAE,CAAC,QAAQ,CAAC,IAAc,EAAE,GAAG,EAAE;oBAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;oBAC3B,MAAM,KAAK,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,GAAI,QAAQ,CAAC,KAAgB,EAAW,CAAC;oBACpF,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;oBAC1C,MAAM,GAAG,GAAG,YAAY,CAAE,QAAwC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACxE,MAAM,KAAK,GACT,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM;wBAChC,CAAC,CAAE,GAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;wBAC5E,CAAC,CAAC,GAAG,CAAC;oBACV,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC9C,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/conformance/run-feature.d.ts

@@ -0,0 +1,30 @@
+import { Database } from "@adobe/data/ecs";
+import type { Entity } from "@adobe/data/ecs";
+import type { MatchOptions } from "../match/match.js";
+export interface Projection<Store, State> {
+    readonly fromState: (store: Store, state: State) => ReadonlyMap<unknown, Entity> | void;
+    readonly toState: (store: Store) => State;
+    readonly toData?: (store: Store, entity: Entity) => unknown;
+}
+export interface FeatureRunConfig<State, StoreT, Db extends {
+    store: StoreT;
+}> {
+    readonly state: {
+        create(): State;
+        readonly samples?: readonly State[];
+    };
+    readonly transitions: Record<string, Record<string, unknown>>;
+    readonly plugin: Database.Plugin;
+    readonly computedPlugin?: Database.Plugin;
+    readonly projection: Projection<StoreT, State>;
+    readonly hydrate?: readonly string[];
+    readonly match?: MatchOptions;
+    readonly ops?: {
+        readonly transactions?: Record<string, unknown>;
+        readonly actions?: Record<string, unknown>;
+        readonly computeds?: Record<string, unknown>;
+    };
+}
+export declare function runFeature<State, StoreT, Db extends {
+    store: StoreT;
+}>(config: FeatureRunConfig<State, StoreT, Db>): void;

package/dist/conformance/run-feature.js

@@ -0,0 +1,61 @@
+// © 2026 Adobe. MIT License. See /LICENSE for details.
+import { describe, it } from "vitest";
+import { Database, Store } from "@adobe/data/ecs";
+import { assert } from "../match/assert.js";
+import { runTransactions } from "./run-transactions.js";
+import { runActions } from "./run-actions.js";
+import { runComputeds } from "./run-computeds.js";
+export function runFeature(config) {
+    const initial = config.state.create();
+    const { fromState, toState, toData } = config.projection;
+    const facets = config.plugin;
+    // A plugin carries the schema facets, so `Store.create` / `Database.create`
+    // accept it; the resulting store/db is the projection's `StoreT`/`Db`.
+    const makeStore = () => Store.create(config.plugin);
+    runTransactions({
+        createStore: makeStore,
+        fromState,
+        toState,
+        initial,
+        transitions: config.transitions,
+        transactions: config.ops?.transactions ?? facets.transactions,
+        match: config.match,
+    });
+    runActions({
+        makeDb: (services) => Database.toSystemDatabase(Database.create(config.plugin, { services })),
+        store: (db) => db.store,
+        fromState,
+        toState,
+        initial,
+        transitions: config.transitions,
+        actions: config.ops?.actions ?? facets.actions,
+        match: config.match,
+    });
+    if (config.computedPlugin) {
+        const computedFacets = config.computedPlugin;
+        runComputeds({
+            makeDb: () => Database.toSystemDatabase(Database.create(config.computedPlugin)),
+            store: (db) => db.store,
+            fromState,
+            toData,
+            initial,
+            derivations: config.transitions,
+            computeds: config.ops?.computeds ?? computedFacets.computed,
+            hydrate: config.hydrate,
+            match: config.match,
+        });
+    }
+    const samples = config.state.samples ?? [];
+    if (samples.length > 0) {
+        describe("projection round-trips (toState ∘ fromState ≡ identity)", () => {
+            samples.forEach((sample, index) => {
+                it(`sample ${index}`, () => {
+                    const store = makeStore();
+                    fromState(store, sample);
+                    assert(toState(store), sample, config.match);
+                });
+            });
+        });
+    }
+}
+//# sourceMappingURL=run-feature.js.map

package/dist/conformance/run-feature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-feature.js","sourceRoot":"","sources":["../../src/conformance/run-feature.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE5C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAkDlD,MAAM,UAAU,UAAU,CACxB,MAA2C;IAE3C,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;IACtC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC;IACzD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAiC,CAAC;IACxD,4EAA4E;IAC5E,uEAAuE;IACvE,MAAM,SAAS,GAAG,GAAW,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAe,CAAW,CAAC;IAE/E,eAAe,CAAgB;QAC7B,WAAW,EAAE,SAAS;QACtB,SAAS;QACT,OAAO;QACP,OAAO;QACP,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,YAAY,EAAE,MAAM,CAAC,GAAG,EAAE,YAAY,IAAI,MAAM,CAAC,YAAY;QAC7D,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC,CAAC;IAEH,UAAU,CAAoB;QAC5B,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAkB;QACvH,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK;QACvB,SAAS;QACT,OAAO;QACP,OAAO;QACP,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,OAAO,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,IAAI,MAAM,CAAC,OAAO;QAC9C,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAC1B,MAAM,cAAc,GAAG,MAAM,CAAC,cAAyC,CAAC;QACxE,YAAY,CAAoB;YAC9B,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,cAAuB,CAAC,CAAkB;YACzG,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK;YACvB,SAAS;YACT,MAAM;YACN,OAAO;YACP,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,SAAS,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,IAAI,cAAc,CAAC,QAAQ;YAC3D,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,KAAK,EAAE,MAAM,CAAC,KAAK;SACpB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACvE,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;gBAChC,EAAE,CAAC,UAAU,KAAK,EAAE,EAAE,GAAG,EAAE;oBACzB,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;oBAC1B,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;oBACzB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC/C,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/conformance/run-spec.d.ts

@@ -0,0 +1,10 @@
+import type { MatchOptions } from "../match/match.js";
+export interface SpecRunConfig {
+    readonly state?: {
+        create(): object;
+    };
+    readonly transitions: Record<string, Record<string, unknown>>;
+    readonly match?: MatchOptions;
+    readonly label?: (path: string, fnName: string | undefined) => string;
+}
+export declare const runSpec: (config: SpecRunConfig) => void;

package/dist/conformance/run-spec.empty-cases.test.d.ts

@@ -0,0 +1 @@
+export {};