@substrat-run/contract-tests 0.138.0 → 0.139.0

package/dist/caused-by-suite.js

@@ -0,0 +1,179 @@
+import { describe, it, expect, beforeAll, afterAll } from 'vitest';
+import { orgId, platformActorId, principalId, scopeId, tenantId, } from '@substrat-run/contracts';
+import { ulid } from '@substrat-run/kernel';
+import { connectorMod } from './modules.js';
+import { CAUSED_BY_HOLD, causedByMod, tick } from './caused-by-module.js';
+/**
+ * #2055: an executor's admin rows name the event they are the effect of (K-22, `causedBy`),
+ * and no other admin row does — in particular not one some other caller writes on the same
+ * host while the handler is suspended. The SQLite host used to keep the event in a host-wide
+ * field set around the handler's `await`, so a staff call landing in that window was recorded
+ * as caused by an event it had nothing to do with.
+ *
+ * Each door an executor runs through is held here with a staff write landing inside the hold:
+ * a plain executor (`registerExecutor`, through the `admin` it is handed), an in-process
+ * connector (`registerConnector`, through `ctx.admin`), and a routed connector delivery
+ * (`dispatchConnector`). Every case asserts both halves — the staff row carries no cause, and
+ * the handler's own row still carries its event — because either alone is also what dropping
+ * `causedBy` everywhere looks like.
+ */
+export function causedByContractSuite(adapterName, makeFixture) {
+    describe(`causedBy is per call, never host-wide (#2055): ${adapterName}`, () => {
+        let fixture;
+        let host;
+        const staff = platformActorId.parse(ulid());
+        const alice = principalId.parse(ulid());
+        const t = tenantId.parse(ulid());
+        const s = scopeId.parse(ulid());
+        /** Every handler waits here, after it was entered and before it writes. */
+        let gate = Promise.resolve();
+        let release = () => undefined;
+        let entered = Promise.resolve();
+        let enter = () => undefined;
+        const shut = () => {
+            gate = new Promise((r) => (release = r));
+            entered = new Promise((r) => (enter = r));
+        };
+        /** The handlers' one write: an org named by the event's tag, so its row is findable. */
+        const heldWrite = async (admin, event) => {
+            enter();
+            await gate;
+            const tag = event.payload.tag;
+            await admin.createOrg(staff, { id: orgId.parse(ulid()), tenantId: event.tenantId, slug: tag, name: tag });
+        };
+        const tagOf = (kind) => `${kind}-${ulid().slice(-8).toLowerCase()}`;
+        /**
+         * Start a handler with `start` (handed a fresh tag; answers the id of the event the handler
+         * runs for once it is done), make a staff write while it is held, release it, and assert both
+         * halves: the staff row carries no cause, the handler's own row carries its event.
+         */
+        const expectCausedPerCall = async (start, kind) => {
+            shut();
+            const tag = tagOf(kind);
+            const done = start(tag);
+            await entered;
+            const staffSlug = tagOf('staff');
+            await host.admin.createOrg(staff, { id: orgId.parse(ulid()), tenantId: t, slug: staffSlug, name: staffSlug });
+            release();
+            const eventId = await done;
+            const created = await host.admin.auditLog(staff, { tenantId: t, action: 'createOrg', limit: 500 });
+            const causeOf = (slug) => created.find((r) => r.after?.slug === slug)?.causedBy;
+            expect(causeOf(staffSlug)).toBeNull();
+            expect(causeOf(tag)).toBe(eventId);
+        };
+        /** Invoke `operation` for `tag`; answers the event id the one executor delivered. */
+        const invoked = (operation) => async (tag) => {
+            const outcomes = [];
+            await (await host.getScope(alice, t, s)).invoke(operation, { tag }, { onExecutorOutcomes: (o) => outcomes.push(...o) });
+            expect(outcomes.map((o) => o.outcome)).toEqual(['delivered']);
+            return outcomes[0].eventId;
+        };
+        beforeAll(async () => {
+            fixture = await makeFixture();
+            host = fixture.host;
+            host.registerModule(connectorMod);
+            host.registerExecutor('held-effector', 'effect.requested', (admin, event) => heldWrite(admin, event));
+            host.registerConnector('held-caller', 'outbound.requested', (ctx, event) => heldWrite(ctx.admin, event));
+            await host.admin.createTenant(staff, { id: t, slug: `caused-${t.slice(-10).toLowerCase()}`, name: 'Caused' });
+            await host.admin.grantEntitlement(staff, t, 'connector');
+            await host.provisionScope(staff, { tenantId: t, scopeId: s, vertical: 'connector-vertical' });
+            await host.admin.activateScope(staff, t, s);
+        });
+        afterAll(async () => {
+            await fixture.cleanup();
+        });
+        it('an executor: a staff write while its handler awaits carries no cause; the handler\'s own row carries its event', async () => {
+            await expectCausedPerCall(invoked('connector/request-effect'), 'effect');
+        });
+        it('an in-process connector: the same, through `ctx.admin`', async () => {
+            await expectCausedPerCall(invoked('connector/request-outbound'), 'outbound');
+        });
+        it('a routed connector delivery (`dispatchConnector`): the same', async () => {
+            await expectCausedPerCall(async (tag) => {
+                const event = { id: ulid(), tenantId: t, type: 'outbound.requested', payload: { tag } };
+                await host.dispatchConnector(t, s, (ctx, e) => heldWrite(ctx.admin, e), event);
+                return event.id;
+            }, 'routed');
+        });
+        it('two views with two causes, their writes interleaved across awaits: each row carries its own', async () => {
+            // A null cause beside a non-null one cannot catch two causes trading places, so both are
+            // set here. Both views are made before either's admin is first read (it is built lazily),
+            // and each is written through twice.
+            const e1 = ulid();
+            const e2 = ulid();
+            const a = host.attributed({ principal: alice, tenantId: t }, { causedBy: e1 });
+            const b = host.attributed({ principal: alice, tenantId: t }, { causedBy: e2 });
+            const [a1, a2, b1, b2] = [tagOf('a1'), tagOf('a2'), tagOf('b1'), tagOf('b2')];
+            const write = (view, slug) => view.admin.createOrg(staff, { id: orgId.parse(ulid()), tenantId: t, slug, name: slug });
+            const first = write(a, a1); // A starts…
+            await write(b, b1); // …B writes while A's write is in flight…
+            await first;
+            await write(a, a2); // …A writes again…
+            await write(b, b2); // …and B again.
+            const created = await host.admin.auditLog(staff, { tenantId: t, action: 'createOrg', limit: 500 });
+            const causeOf = (slug) => created.find((r) => r.after?.slug === slug)?.causedBy;
+            expect([a1, a2, b1, b2].map(causeOf)).toEqual([e1, e1, e2, e2]);
+        });
+    });
+}
+/**
+ * #2055, the scope's half: what a consumer emits names the event it consumed (#1237), and no
+ * other emit in the scope does — in particular not one another call makes while the consumer
+ * awaits. Each adapter serializes a scope's emitting work (the SQLite `ScopeActor`, the
+ * Durable Object's `OperationQueue`), and the cause is passed into the consumer's context
+ * rather than read off a field, so neither guarantee leans on the other.
+ *
+ * The fixture's host must carry `causedByMod` in the scope it reaches: the suite registers it
+ * on the host, and a code-time module set (a Cloudflare ScopeDO's) must already include it.
+ */
+export function scopeCausedByContractSuite(adapterName, makeFixture) {
+    describe(`a consumer's cause stamps its own emits, never another call's (#2055): ${adapterName}`, () => {
+        let fixture;
+        let host;
+        const staff = platformActorId.parse(ulid());
+        const alice = principalId.parse(ulid());
+        const bob = principalId.parse(ulid());
+        const t = tenantId.parse(ulid());
+        const s = scopeId.parse(ulid());
+        beforeAll(async () => {
+            fixture = await makeFixture();
+            host = fixture.host;
+            host.registerModule(causedByMod);
+            await host.admin.createTenant(staff, { id: t, slug: `scope-caused-${t.slice(-10).toLowerCase()}`, name: 'Scope caused' });
+            await host.admin.grantEntitlement(staff, t, 'causedby');
+            await host.provisionScope(staff, { tenantId: t, scopeId: s });
+            await host.admin.activateScope(staff, t, s);
+        });
+        afterAll(async () => {
+            delete globalThis[CAUSED_BY_HOLD];
+            await fixture.cleanup();
+        });
+        it('a call emitting while a consumer awaits is caused by nothing; the consumer\'s own emit is caused by its event', async () => {
+            const hold = { shut: true, entered: false };
+            globalThis[CAUSED_BY_HOLD] = hold;
+            const tag = ulid().slice(-8).toLowerCase();
+            const starting = (await host.getScope(alice, t, s)).invoke('causedby/start', { tag });
+            while (!hold.entered)
+                await tick();
+            // Another caller, the same scope, while the consumer is suspended. Where the scope's
+            // work is serialized it waits for the consumer; either way, its event is its own.
+            // Not awaited before the release: on a host whose scope work is queued, reaching the
+            // scope at all waits for the consumer.
+            const other = host.getScope(bob, t, s).then((stub) => stub.invoke('causedby/other', { tag }));
+            await tick(20);
+            hold.shut = false;
+            await Promise.all([starting, other]);
+            const events = await host.admin.readUndrainedEvents(staff, t, s, 200);
+            const one = (type) => {
+                const found = events.filter((e) => e.type === type && e.entity.entityId === tag);
+                expect(found).toHaveLength(1);
+                return found[0];
+            };
+            const requested = one('causedby.requested');
+            expect(one('causedby.other').causedBy).toBeNull();
+            expect(one('causedby.effected').causedBy).toBe(requested.id);
+            expect(requested.causedBy).toBeNull();
+        });
+    });
+}
+//# sourceMappingURL=caused-by-suite.js.map

package/dist/caused-by-suite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"caused-by-suite.js","sourceRoot":"","sources":["../src/caused-by-suite.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EACL,KAAK,EACL,eAAe,EACf,WAAW,EACX,OAAO,EACP,QAAQ,GAGT,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,IAAI,EAAkC,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,IAAI,EAAqB,MAAM,uBAAuB,CAAC;AAG7F;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,qBAAqB,CAAC,WAAmB,EAAE,WAA4C;IACrG,QAAQ,CAAC,kDAAkD,WAAW,EAAE,EAAE,GAAG,EAAE;QAC7E,IAAI,OAAyB,CAAC;QAC9B,IAAI,IAAe,CAAC;QACpB,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAEhC,2EAA2E;QAC3E,IAAI,IAAI,GAAkB,OAAO,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAI,OAAO,GAAe,GAAG,EAAE,CAAC,SAAS,CAAC;QAC1C,IAAI,OAAO,GAAkB,OAAO,CAAC,OAAO,EAAE,CAAC;QAC/C,IAAI,KAAK,GAAe,GAAG,EAAE,CAAC,SAAS,CAAC;QACxC,MAAM,IAAI,GAAG,GAAG,EAAE;YAChB,IAAI,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;YACzC,OAAO,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC,CAAC;QAEF,wFAAwF;QACxF,MAAM,SAAS,GAAG,KAAK,EAAE,KAAgB,EAAE,KAAkB,EAAiB,EAAE;YAC9E,KAAK,EAAE,CAAC;YACR,MAAM,IAAI,CAAC;YACX,MAAM,GAAG,GAAI,KAAK,CAAC,OAA2B,CAAC,GAAG,CAAC;YACnD,MAAM,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAoB,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACxH,CAAC,CAAC;QAEF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QAE5E;;;;WAIG;QACH,MAAM,mBAAmB,GAAG,KAAK,EAAE,KAAuC,EAAE,IAAY,EAAiB,EAAE;YACzG,IAAI,EAAE,CAAC;YACP,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YACxB,MAAM,OAAO,CAAC;YACd,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;YACjC,MAAM,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YAC9G,OAAO,EAAE,CAAC;YACV,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC;YAC3B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YACnG,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAC,CAAC,KAAkC,EAAE,IAAI,KAAK,IAAI,CAAC,EAAE,QAAQ,CAAC;YACtH,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YACtC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,CAAC,CAAC;QAEF,qFAAqF;QACrF,MAAM,OAAO,GAAG,CAAC,SAAiB,EAAE,EAAE,CAAC,KAAK,EAAE,GAAW,EAAmB,EAAE;YAC5E,MAAM,QAAQ,GAA2C,EAAE,CAAC;YAC5D,MAAM,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,kBAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACxH,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YAC9D,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;QAC9B,CAAC,CAAC;QAEF,SAAS,CAAC,KAAK,IAAI,EAAE;YACnB,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;YAC9B,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;YACpB,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;YAClC,IAAI,CAAC,gBAAgB,CAAC,eAAe,EAAE,kBAAkB,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YACtG,IAAI,CAAC,iBAAiB,CAAC,aAAa,EAAE,oBAAoB,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YACzG,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC9G,MAAM,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;YACzD,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC;YAC9F,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QACH,QAAQ,CAAC,KAAK,IAAI,EAAE;YAClB,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gHAAgH,EAAE,KAAK,IAAI,EAAE;YAC9H,MAAM,mBAAmB,CAAC,OAAO,CAAC,0BAA0B,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACtE,MAAM,mBAAmB,CAAC,OAAO,CAAC,4BAA4B,CAAC,EAAE,UAAU,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;YAC3E,MAAM,mBAAmB,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;gBACtC,MAAM,KAAK,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,EAA4B,CAAC;gBAClH,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC/E,OAAO,KAAK,CAAC,EAAE,CAAC;YAClB,CAAC,EAAE,QAAQ,CAAC,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6FAA6F,EAAE,KAAK,IAAI,EAAE;YAC3G,yFAAyF;YACzF,0FAA0F;YAC1F,qCAAqC;YACrC,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC;YAClB,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,UAAW,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;YAChF,MAAM,CAAC,GAAG,IAAI,CAAC,UAAW,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;YAChF,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9E,MAAM,KAAK,GAAG,CAAC,IAAe,EAAE,IAAY,EAAE,EAAE,CAC9C,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAE1F,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY;YACxC,MAAM,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,0CAA0C;YAC9D,MAAM,KAAK,CAAC;YACZ,MAAM,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB;YACvC,MAAM,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB;YAEpC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YACnG,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAC,CAAC,KAAkC,EAAE,IAAI,KAAK,IAAI,CAAC,EAAE,QAAQ,CAAC;YACtH,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CAAC,WAAmB,EAAE,WAA4C;IAC1G,QAAQ,CAAC,0EAA0E,WAAW,EAAE,EAAE,GAAG,EAAE;QACrG,IAAI,OAAyB,CAAC;QAC9B,IAAI,IAAe,CAAC;QACpB,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAEhC,SAAS,CAAC,KAAK,IAAI,EAAE;YACnB,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;YAC9B,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;YACpB,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC;YACjC,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC;YAC1H,MAAM,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;YACxD,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;YAC9D,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QACH,QAAQ,CAAC,KAAK,IAAI,EAAE;YAClB,OAAQ,UAAsC,CAAC,cAAc,CAAC,CAAC;YAC/D,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+GAA+G,EAAE,KAAK,IAAI,EAAE;YAC7H,MAAM,IAAI,GAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACzD,UAAsC,CAAC,cAAc,CAAC,GAAG,IAAI,CAAC;YAC/D,MAAM,GAAG,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;YACtF,OAAO,CAAC,IAAI,CAAC,OAAO;gBAAE,MAAM,IAAI,EAAE,CAAC;YACnC,qFAAqF;YACrF,kFAAkF;YAClF,qFAAqF;YACrF,uCAAuC;YACvC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAC9F,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC;YAClB,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;YAErC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YACtE,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAE;gBAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC;gBACjF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC9B,OAAO,KAAK,CAAC,CAAC,CAAE,CAAC;YACnB,CAAC,CAAC;YACF,MAAM,SAAS,GAAG,GAAG,CAAC,oBAAoB,CAAC,CAAC;YAC5C,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC;YAClD,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC7D,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/entity-state-module.d.ts

@@ -0,0 +1,134 @@
+import { type ModuleRegistration } from '@substrat-run/kernel';
+export declare const stateModManifest: {
+    id: string & import("zod").$brand<"ModuleId">;
+    version: string;
+    kernelContract: string;
+    permissions: {
+        key: string & import("zod").$brand<"PermissionKey">;
+        description: string;
+    }[];
+    events: {
+        emits: {
+            type: string;
+            schemaVersion: number;
+        }[];
+        consumes: {
+            type: string;
+            schemaVersion: number;
+            from?: string | undefined;
+        }[];
+        exports?: {
+            type: string;
+            schemaVersion: number;
+            readPermission: string & import("zod").$brand<"PermissionKey">;
+        }[] | undefined;
+    };
+    migrations: {
+        journalDir: string;
+        compatibleFrom: string;
+    };
+    attachmentTargets: {
+        entityType: string;
+        readPermission: string & import("zod").$brand<"PermissionKey">;
+        writePermission?: (string & import("zod").$brand<"PermissionKey">) | undefined;
+    }[];
+    liveTargets?: {
+        entityType: string;
+        readPermission: string & import("zod").$brand<"PermissionKey">;
+    }[] | undefined;
+    entityRelations?: {
+        entityType: string;
+        parentType: string;
+    }[] | undefined;
+    guards?: {
+        before: string;
+        predicate: string;
+        config: Record<string, unknown>;
+    }[] | undefined;
+    schedules?: {
+        operation: string;
+        cadence: {
+            everyMinutes: number;
+        };
+        input?: Record<string, unknown> | undefined;
+        permissions: (string & import("zod").$brand<"PermissionKey">)[];
+    }[] | undefined;
+    peers?: {
+        vertical: string;
+        operations: string[];
+        permissions: (string & import("zod").$brand<"PermissionKey">)[];
+    }[] | undefined;
+    freshness?: {
+        eventType: string;
+        within: {
+            hours: number;
+        };
+    }[] | undefined;
+    withdraws?: string[] | undefined;
+    entitlementKey: string;
+    envSpec?: {
+        key: string;
+        label?: string | undefined;
+        description: string;
+        placeholder?: string | undefined;
+        required: boolean;
+        secret: boolean;
+        default?: string | undefined;
+        group?: string | undefined;
+    }[] | undefined;
+    ownerGrants?: (string & import("zod").$brand<"PermissionKey">)[] | undefined;
+    entitlements?: string[] | undefined;
+    provides?: string[] | undefined;
+    requires?: string[] | undefined;
+    api?: string | undefined;
+    searchables?: {
+        entityType: string;
+        fields: string[];
+        table?: string | undefined;
+        idColumn?: string | undefined;
+        tokenizer?: "prefix" | "substring" | undefined;
+    }[] | undefined;
+    lists?: {
+        entityType: string;
+        sortable: string[];
+        filterable?: string[] | undefined;
+        table?: string | undefined;
+        idColumn?: string | undefined;
+    }[] | undefined;
+    entityStates?: {
+        archivePermission?: (string & import("zod").$brand<"PermissionKey">) | undefined;
+        trashPermission?: (string & import("zod").$brand<"PermissionKey">) | undefined;
+        table?: string | undefined;
+        idColumn?: string | undefined;
+        entityType: string;
+    }[] | undefined;
+    ui?: {
+        routes?: {
+            path: string;
+            screen: string;
+            permission: string & import("zod").$brand<"PermissionKey">;
+        }[] | undefined;
+        nav?: {
+            label: string;
+            icon?: string | undefined;
+            to: string;
+            permission: string & import("zod").$brand<"PermissionKey">;
+        }[] | undefined;
+        entityViews?: {
+            entityType: string;
+            view: string;
+        }[] | undefined;
+        widgets?: {
+            slot: string;
+            component: string;
+            permission: string & import("zod").$brand<"PermissionKey">;
+        }[] | undefined;
+        settingsPanels?: {
+            label: string;
+            component: string;
+            permission: string & import("zod").$brand<"PermissionKey">;
+        }[] | undefined;
+    } | undefined;
+};
+export declare const stateMod: ModuleRegistration;
+//# sourceMappingURL=entity-state-module.d.ts.map

package/dist/entity-state-module.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity-state-module.d.ts","sourceRoot":"","sources":["../src/entity-state-module.ts"],"names":[],"mappings":"AAaA,OAAO,EAIL,KAAK,kBAAkB,EAExB,MAAM,sBAAsB,CAAC;AAE9B,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6B3B,CAAC;AAQH,eAAO,MAAM,QAAQ,EAAE,kBA2FtB,CAAC"}

package/dist/entity-state-module.js

@@ -0,0 +1,140 @@
+/**
+ * The fixture behind `entityStateContractSuite` (#119): a module whose entities differ in
+ * exactly what they declare.
+ *
+ * - `stdoc` — archive AND trash, each with its own key; paged, filterable and searchable.
+ * - `stnote` — archive only, so the suite can see a trash refused on it and a one-column
+ *   partial index.
+ * - `stplain` — neither, so the verbs and the views are refused on it rather than guessed at.
+ *
+ * Every operation is a thin pass-through to the verb or read under test, and checks nothing
+ * itself: the KERNEL's check of the declared key is what the suite is asserting on.
+ */
+import { moduleManifest } from '@substrat-run/contracts';
+import { listIndexPlans, listQuery, readHistory, } from '@substrat-run/kernel';
+export const stateModManifest = moduleManifest.parse({
+    id: '@test/state',
+    version: '1.0.0',
+    kernelContract: '^0.0.1',
+    permissions: [
+        { key: 'doc:read', description: 'read the documents' },
+        { key: 'doc:archive', description: 'archive a document or bring it back' },
+        { key: 'doc:trash', description: 'bin a document or restore it' },
+    ],
+    events: { emits: [], consumes: [] },
+    migrations: { journalDir: './migrations', compatibleFrom: '1.0.0' },
+    attachmentTargets: [],
+    entitlementKey: 'state',
+    searchables: [{ entityType: 'stdoc', fields: ['title'], table: 'state_docs', idColumn: 'id' }],
+    lists: [
+        { entityType: 'stdoc', sortable: ['title', 'id'], filterable: ['owner'], table: 'state_docs', idColumn: 'id' },
+        { entityType: 'stnote', sortable: ['title'], table: 'state_notes', idColumn: 'id' },
+        { entityType: 'stplain', sortable: ['title'], table: 'state_plain', idColumn: 'id' },
+    ],
+    entityStates: [
+        {
+            entityType: 'stdoc',
+            archivePermission: 'doc:archive',
+            trashPermission: 'doc:trash',
+            table: 'state_docs',
+            idColumn: 'id',
+        },
+        { entityType: 'stnote', archivePermission: 'doc:archive', table: 'state_notes', idColumn: 'id' },
+    ],
+});
+const ref = (input) => {
+    const i = input;
+    return { entityType: i.entityType ?? 'stdoc', entityId: i.id };
+};
+export const stateMod = {
+    manifest: stateModManifest,
+    migrations: [
+        {
+            version: '0001-init',
+            sql: `CREATE TABLE state_docs (id TEXT PRIMARY KEY, title TEXT NOT NULL, owner TEXT NOT NULL);
+            CREATE TABLE state_notes (id TEXT PRIMARY KEY, title TEXT NOT NULL);
+            CREATE TABLE state_plain (id TEXT PRIMARY KEY, title TEXT NOT NULL);`,
+        },
+    ],
+    operations: {
+        'state/add': (async (ctx, input) => {
+            const i = input;
+            const table = { stdoc: 'state_docs', stnote: 'state_notes', stplain: 'state_plain' }[i.entityType ?? 'stdoc'];
+            if (table === 'state_docs') {
+                ctx.sql.exec('INSERT INTO state_docs (id, title, owner) VALUES (?, ?, ?)', [i.id, i.title, i.owner ?? 'o1']);
+            }
+            else {
+                ctx.sql.exec(`INSERT INTO ${table} (id, title) VALUES (?, ?)`, [i.id, i.title]);
+            }
+            return { id: i.id };
+        }),
+        'state/archive': (async (ctx, input) => {
+            await ctx.archive(ref(input));
+            return ctx.entityState(ref(input));
+        }),
+        'state/unarchive': (async (ctx, input) => {
+            await ctx.unarchive(ref(input));
+            return ctx.entityState(ref(input));
+        }),
+        'state/trash': (async (ctx, input) => {
+            await ctx.trash(ref(input));
+            return ctx.entityState(ref(input));
+        }),
+        'state/restore': (async (ctx, input) => {
+            await ctx.restore(ref(input));
+            return ctx.entityState(ref(input));
+        }),
+        // Transactional with the operation: an archive whose operation then throws never happened.
+        'state/archive-then-throw': (async (ctx, input) => {
+            await ctx.archive(ref(input));
+            throw new Error('the operation failed after archiving');
+        }),
+        'state/state': (async (ctx, input) => ctx.entityState(ref(input))),
+        'state/page': (async (ctx, input) => {
+            const i = input;
+            return ctx.page(i.entityType ?? 'stdoc', {
+                limit: i.limit ?? 50,
+                cursor: i.cursor,
+                filters: i.filters,
+                total: i.total,
+                view: i.view,
+            });
+        }),
+        'state/page-trashed': (async (ctx, input) => {
+            const i = input;
+            return ctx.pageTrashed(i.entityType ?? 'stdoc', {
+                limit: i.limit ?? 50,
+                cursor: i.cursor,
+                ...(i.total ? { total: true } : {}),
+            });
+        }),
+        'state/search': (async (ctx, input) => {
+            const i = input;
+            return ctx.search('stdoc', i.term, i.view ? { view: i.view } : undefined);
+        }),
+        'state/search-trashed': (async (ctx, input) => ctx.searchTrashed('stdoc', input.term)),
+        'state/history': (async (ctx, input) => readHistory({ sql: ctx.sql }, ref(input)).entries),
+        // The guard's subject: any statement, run through the module's own `ctx.sql`.
+        'state/sql': (async (ctx, input) => {
+            const i = input;
+            // A write goes through `exec`, as module code would send it; a read through `query`.
+            if (!/^\s*select\b/i.test(i.sql))
+                return ctx.sql.exec(i.sql, i.params ?? []);
+            return ctx.sql.query(i.sql, i.params ?? []);
+        }),
+        /**
+         * The plan SQLite chooses for the walk `ctx.page` composes — the same `listQuery`, over the
+         * same plan, so the suite reads which index the real query uses rather than trusting that
+         * the partial index exists.
+         */
+        'state/explain': (async (ctx, input) => {
+            const i = input;
+            const plan = listIndexPlans(stateModManifest.id, stateModManifest.lists, stateModManifest.entityStates).find((p) => p.entityType === (i.entityType ?? 'stdoc'));
+            const q = listQuery(plan, { limit: 10, view: i.view, filters: i.filters });
+            return ctx.sql
+                .query(`EXPLAIN QUERY PLAN ${q.sql}`, q.params)
+                .map((row) => row.detail);
+        }),
+    },
+};
+//# sourceMappingURL=entity-state-module.js.map

package/dist/entity-state-module.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity-state-module.js","sourceRoot":"","sources":["../src/entity-state-module.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,cAAc,EAAkB,MAAM,yBAAyB,CAAC;AACzE,OAAO,EACL,cAAc,EACd,SAAS,EACT,WAAW,GAGZ,MAAM,sBAAsB,CAAC;AAE9B,MAAM,CAAC,MAAM,gBAAgB,GAAG,cAAc,CAAC,KAAK,CAAC;IACnD,EAAE,EAAE,aAAa;IACjB,OAAO,EAAE,OAAO;IAChB,cAAc,EAAE,QAAQ;IACxB,WAAW,EAAE;QACX,EAAE,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,oBAAoB,EAAE;QACtD,EAAE,GAAG,EAAE,aAAa,EAAE,WAAW,EAAE,qCAAqC,EAAE;QAC1E,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,EAAE,8BAA8B,EAAE;KAClE;IACD,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;IACnC,UAAU,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,OAAO,EAAE;IACnE,iBAAiB,EAAE,EAAE;IACrB,cAAc,EAAE,OAAO;IACvB,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC9F,KAAK,EAAE;QACL,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC9G,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;QACnF,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;KACrF;IACD,YAAY,EAAE;QACZ;YACE,UAAU,EAAE,OAAO;YACnB,iBAAiB,EAAE,aAAa;YAChC,eAAe,EAAE,WAAW;YAC5B,KAAK,EAAE,YAAY;YACnB,QAAQ,EAAE,IAAI;SACf;QACD,EAAE,UAAU,EAAE,QAAQ,EAAE,iBAAiB,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;KACjG;CACF,CAAC,CAAC;AAGH,MAAM,GAAG,GAAG,CAAC,KAAc,EAAa,EAAE;IACxC,MAAM,CAAC,GAAG,KAA4C,CAAC;IACvD,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAuB;IAC1C,QAAQ,EAAE,gBAAgB;IAC1B,UAAU,EAAE;QACV;YACE,OAAO,EAAE,WAAW;YACpB,GAAG,EAAE;;iFAEsE;SAC5E;KACF;IACD,UAAU,EAAE;QACV,WAAW,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YACjC,MAAM,CAAC,GAAG,KAA2E,CAAC;YACtF,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,OAAO,CAAC,CAAC;YAC9G,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;gBAC3B,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,4DAA4D,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC;YAC/G,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,4BAA4B,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAClF,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QACtB,CAAC,CAAY;QACb,eAAe,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YACrC,MAAM,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9B,OAAO,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACrC,CAAC,CAAY;QACb,iBAAiB,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YACvC,MAAM,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAChC,OAAO,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACrC,CAAC,CAAY;QACb,aAAa,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YACnC,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAC5B,OAAO,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACrC,CAAC,CAAY;QACb,eAAe,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YACrC,MAAM,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9B,OAAO,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACrC,CAAC,CAAY;QACb,2FAA2F;QAC3F,0BAA0B,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YAChD,MAAM,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC1D,CAAC,CAAY;QACb,aAAa,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAY;QAC7E,YAAY,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YAClC,MAAM,CAAC,GAAG,KAAmJ,CAAC;YAC9J,OAAO,GAAG,CAAC,IAAI,CAA0B,CAAC,CAAC,UAAU,IAAI,OAAO,EAAE;gBAChE,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE;gBACpB,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC,CAAY;QACb,oBAAoB,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YAC1C,MAAM,CAAC,GAAG,KAAkF,CAAC;YAC7F,OAAO,GAAG,CAAC,WAAW,CAA0B,CAAC,CAAC,UAAU,IAAI,OAAO,EAAE;gBACvE,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE;gBACpB,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACpC,CAAC,CAAC;QACL,CAAC,CAAY;QACb,cAAc,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YACpC,MAAM,CAAC,GAAG,KAAuD,CAAC;YAClE,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC5E,CAAC,CAAY;QACb,sBAAsB,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAC5C,GAAG,CAAC,aAAa,CAAC,OAAO,EAAG,KAA0B,CAAC,IAAI,CAAC,CAAY;QAC1E,eAAe,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAY;QACrG,8EAA8E;QAC9E,WAAW,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YACjC,MAAM,CAAC,GAAG,KAA6D,CAAC;YACxE,qFAAqF;YACrF,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;gBAAE,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;YAC7E,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC9C,CAAC,CAAY;QACb;;;;WAIG;QACH,eAAe,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YACrC,MAAM,CAAC,GAAG,KAA6G,CAAC;YACxH,MAAM,IAAI,GAAG,cAAc,CAAC,gBAAgB,CAAC,EAAE,EAAE,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,CAAC,YAAY,CAAC,CAAC,IAAI,CAC1G,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,UAAU,IAAI,OAAO,CAAC,CACjD,CAAC;YACH,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC3E,OAAO,GAAG,CAAC,GAAG;iBACX,KAAK,CAAqB,sBAAsB,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAA6B,CAAC;iBACzF,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC,CAAY;KACd;CACF,CAAC"}

package/dist/entity-state-suite.d.ts

@@ -0,0 +1,9 @@
+import { type ScopeId, type TenantId } from '@substrat-run/contracts';
+import type { ScopeHostFixture } from './scope-host-suite.js';
+/**
+ * Raw SQL on one scope's own database, past `ctx.sql` and its guard — the adapter's test
+ * harness supplies it. Used once: to prove the trigger under the guard holds on its own.
+ */
+export type RawScopeSql = (tenant: TenantId, scope: ScopeId, sql: string, params?: readonly unknown[]) => Promise<void>;
+export declare function entityStateContractSuite(adapterName: string, makeFixture: () => Promise<ScopeHostFixture>, raw: RawScopeSql): void;
+//# sourceMappingURL=entity-state-suite.d.ts.map

package/dist/entity-state-suite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity-state-suite.d.ts","sourceRoot":"","sources":["../src/entity-state-suite.ts"],"names":[],"mappings":"AAYA,OAAO,EAYL,KAAK,OAAO,EACZ,KAAK,QAAQ,EACd,MAAM,yBAAyB,CAAC;AAEjC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAS9D;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;AAExH,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,OAAO,CAAC,gBAAgB,CAAC,EAC5C,GAAG,EAAE,WAAW,GACf,IAAI,CA0lBN"}