@substrat-run/contract-tests 0.87.0 → 0.89.0

package/dist/entity-version-suite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity-version-suite.js","sourceRoot":"","sources":["../src/entity-version-suite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EACL,aAAa,EACb,aAAa,EACb,eAAe,EACf,WAAW,EACX,OAAO,EACP,QAAQ,GAET,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,IAAI,EAAkC,MAAM,sBAAsB,CAAC;AAE5E,OAAO,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5D,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;AAEpD,MAAM,UAAU,0BAA0B,CACxC,WAAmB,EACnB,WAA4C;IAE5C,QAAQ,CAAC,mCAAmC,WAAW,EAAE,EAAE,GAAG,EAAE;QAC9D,IAAI,OAAyB,CAAC;QAC9B,IAAI,IAAe,CAAC;QACpB,IAAI,IAAe,CAAC;QACpB,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACjC,MAAM,KAAK,GAAgB,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAE5C,MAAM,SAAS,GAAG,CAAC,QAAgB,EAAE,UAAU,GAAG,YAAY,EAAE,EAAE,CAChE,IAAI,CAAC,MAAM,CAAgB,iBAAiB,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1E,MAAM,SAAS,GAAG,CAAC,QAAgB,EAAE,OAAgB,EAAE,EAAE,CACvD,IAAI,CAAC,MAAM,CAAC,iBAAiB,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAEhF,SAAS,CAAC,KAAK,IAAI,EAAE;YACnB,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;YAC9B,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;YACpB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAClE,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACtC,CAAC;YACD,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;YACjG,MAAM,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YACxD,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE;gBACrC,GAAG,EAAE,eAAe;gBACpB,WAAW,EAAE,CAAC,QAAQ,CAAC;gBACvB,MAAM,EAAE,UAAU;aACnB,CAAC,CAAC;YACH,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE;gBACjC,WAAW,EAAE,KAAK;gBAClB,OAAO,EAAE,eAAe;gBACxB,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;aACtC,CAAC,CAAC;YACH,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAAC,CAAC;YAC9F,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9C,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,QAAQ,CAAC,KAAK,IAAI,EAAE;YAClB,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;YACjE,0EAA0E;YAC1E,2EAA2E;YAC3E,4EAA4E;YAC5E,2CAA2C;YAC3C,MAAM,CAAC,MAAM,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;YACvE,MAAM,EAAE,GAAG,KAAK,IAAI,EAAE,EAAE,CAAC;YACzB,MAAM,CAAC,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YAEvC,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YACpB,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAE7B,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YACnC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC/B,uEAAuE;YACvE,4EAA4E;YAC5E,4EAA4E;YAC5E,oCAAoC;YACpC,MAAM,CAAC,MAAO,GAAG,KAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;YAC1D,MAAM,EAAE,GAAG,KAAK,IAAI,EAAE,EAAE,CAAC;YACzB,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YAC9B,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YAC9B,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YAC9B,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;YACxE,MAAM,IAAI,GAAG,KAAK,IAAI,EAAE,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,KAAK,IAAI,EAAE,EAAE,CAAC;YAC5B,MAAM,SAAS,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM,SAAS,CAAC,KAAK,CAAC,CAAC;YACvB,MAAM,UAAU,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,CAAC;YAEzC,MAAM,SAAS,CAAC,KAAK,CAAC,CAAC;YACvB,2EAA2E;YAC3E,0EAA0E;YAC1E,MAAM,CAAC,MAAM,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/C,MAAM,CAAC,MAAM,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;YACjF,MAAM,MAAM,GAAG,KAAK,IAAI,EAAE,EAAE,CAAC;YAC7B,MAAM,SAAS,CAAC,MAAM,CAAC,CAAC;YACxB,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YACtD,yEAAyE;YACzE,8CAA8C;YAC9C,MAAM,CAAC,MAAM,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC1D,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,KAAK,IAAI,EAAE;YACnE,MAAM,EAAE,GAAG,KAAK,IAAI,EAAE,EAAE,CAAC;YACzB,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,MAAM,CACzC,wBAAwB,EACxB,EAAE,QAAQ,EAAE,EAAE,EAAE,CACjB,CAAC;YACF,0EAA0E;YAC1E,4EAA4E;YAC5E,uEAAuE;YACvE,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACtE,MAAM,EAAE,GAAG,KAAK,IAAI,EAAE,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5C,MAAM,SAAS,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YAC7B,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YACnC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAE9B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;YACtE,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEvC,2EAA2E;YAC3E,6EAA6E;YAC7E,uEAAuE;YACvE,uDAAuD;YACvD,MAAM,CAAC,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;YAC/D,MAAM,EAAE,GAAG,KAAK,IAAI,EAAE,EAAE,CAAC;YACzB,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YAEnC,MAAM,IAAI,CAAC,MAAM,CAAC,sBAAsB,EAAE,EAAE,CAAC,CAAC;YAE9C,6EAA6E;YAC7E,4EAA4E;YAC5E,0EAA0E;YAC1E,wEAAwE;YACxE,4EAA4E;YAC5E,yEAAyE;YACzE,6CAA6C;YAC7C,MAAM,CAAC,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/idempotency-suite.d.ts

@@ -0,0 +1,3 @@
+import type { ScopeHostFixture } from './scope-host-suite.js';
+export declare function idempotencyContractSuite(adapterName: string, makeFixture: () => Promise<ScopeHostFixture>): void;
+//# sourceMappingURL=idempotency-suite.d.ts.map

package/dist/idempotency-suite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"idempotency-suite.d.ts","sourceRoot":"","sources":["../src/idempotency-suite.ts"],"names":[],"mappings":"AA4CA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAU9D,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,OAAO,CAAC,gBAAgB,CAAC,GAC3C,IAAI,CA6PN"}

package/dist/idempotency-suite.js

@@ -0,0 +1,243 @@
+/**
+ * Contract suite for request idempotency — `Idempotency-Key` (#116).
+ *
+ * What it pins: **a retry does not do the work twice, and the host is what makes
+ * that true.** Everything else about this feature is a projection — the header
+ * name is a wire detail `vertical-host` owns, the opt-out is a model detail
+ * `contracts` owns, and neither is what makes a retry free. This is: a recording
+ * written in the same transaction as the work, and a second request answered
+ * from it without running anything.
+ *
+ * **Every case counts executions rather than comparing responses.** A suite that
+ * asserted only on the returned value would pass against a host that re-ran the
+ * operation and produced the same answer again — which is exactly the bug, since
+ * a duplicated work order looks a great deal like the original. So the fixture
+ * appends a row per invocation and `idem/runs` reports the count, and that count
+ * is the assertion.
+ *
+ * The cases that matter are not the happy path:
+ *
+ * - **A failed request leaves no recording.** The row is written inside the
+ *   operation's transaction, so a throw takes it with the writes it describes and
+ *   the retry executes — correctly, because nothing happened the first time.
+ * - **A key belongs to the subject that sent it.** Two principals choosing `1`
+ *   must each get their own execution; a lookup that crossed that boundary would
+ *   replay one caller's response to another.
+ * - **A reused key is refused, never served.** Same key, different request means
+ *   the client's assertion is false, and answering with the earlier response
+ *   would be a lie it acts on.
+ * - **An unrecordable response fails closed.** A replay that cannot be answered
+ *   is a 409, not a second execution.
+ */
+import { describe, it, expect, beforeAll, afterAll } from 'vitest';
+import { errorCodeOf, permissionKey, platformActorId, principalId, scopeId, tenantId, IDEMPOTENCY_REPLAY_UNAVAILABLE, IDEMPOTENCY_REUSED, } from '@substrat-run/contracts';
+import { ulid } from '@substrat-run/kernel';
+import { idempotencyMod } from './modules.js';
+const IDEM_USE = permissionKey.parse('idem:use');
+/** The `reason` slug a refusal carried, or undefined — read off the thrown error. */
+function reasonOf(err) {
+    return err?.extensions?.['reason'];
+}
+export function idempotencyContractSuite(adapterName, makeFixture) {
+    describe(`request idempotency (Idempotency-Key): ${adapterName}`, () => {
+        let fixture;
+        let host;
+        let stub;
+        /** A second principal, for the case that a key is one caller's and not another's. */
+        let otherStub;
+        const t1 = tenantId.parse(ulid());
+        const s1 = scopeId.parse(ulid());
+        const alice = principalId.parse(ulid());
+        const bob = principalId.parse(ulid());
+        const staff = platformActorId.parse(ulid());
+        /** Whether each invocation was answered from a recording, newest last. */
+        let replays = [];
+        const sink = () => {
+            let replayed = false;
+            return {
+                options: {
+                    onIdempotentReplay: () => {
+                        replayed = true;
+                    },
+                },
+                done: () => replays.push(replayed),
+            };
+        };
+        const create = async (thingId, key, label, as = () => stub) => {
+            const probe = sink();
+            try {
+                return await as().invoke('idem/create', { thingId, ...(label === undefined ? {} : { label }) }, { ...probe.options, ...(key === undefined ? {} : { idempotencyKey: key }) });
+            }
+            finally {
+                probe.done();
+            }
+        };
+        /** How many times a handler in this module has actually run. */
+        const runs = async () => (await stub.invoke('idem/runs', {})).count;
+        beforeAll(async () => {
+            fixture = await makeFixture();
+            host = fixture.host;
+            host.registerModule(idempotencyMod);
+            await host.admin.createTenant(staff, { id: t1, slug: 'idem-tenant', name: 'Idem Tenant' });
+            await host.admin.grantEntitlement(staff, t1, 'idem');
+            await host.admin.defineRole(staff, t1, {
+                key: 'idem-admin',
+                permissions: [IDEM_USE],
+                source: 'vertical',
+            });
+            for (const principal of [alice, bob]) {
+                await host.admin.assignRole(staff, {
+                    principalId: principal,
+                    roleKey: 'idem-admin',
+                    node: { tenantId: t1, scopeId: null },
+                });
+            }
+            await host.provisionScope(staff, { tenantId: t1, scopeId: s1, vertical: 'idem-vertical' });
+            await host.admin.activateScope(staff, t1, s1);
+            stub = await host.getScope(alice, t1, s1);
+            otherStub = await host.getScope(bob, t1, s1);
+        });
+        afterAll(async () => {
+            await fixture.cleanup();
+        });
+        it('runs twice for two identical requests carrying no key', async () => {
+            const before = await runs();
+            await create('baseline');
+            await create('baseline');
+            // The baseline the whole feature is measured against: without a key there is
+            // no dedupe, and identical requests are two requests. A suite that skipped
+            // this could not tell a working replay from an operation that happens to be
+            // naturally idempotent.
+            expect(await runs()).toBe(before + 2);
+        });
+        it('runs once for a repeated request under one key, and replays the response', async () => {
+            const key = `k-${ulid()}`;
+            const before = await runs();
+            replays = [];
+            const first = await create('once', key, 'hello');
+            const second = await create('once', key, 'hello');
+            // The assertion that matters is the count, not the equality below it.
+            expect(await runs()).toBe(before + 1);
+            // `run` is a fresh ULID per execution, so identical values here mean the
+            // second response came from the recording rather than from a second run
+            // that agreed by luck.
+            expect(second).toEqual(first);
+            expect(replays).toEqual([false, true]);
+        });
+        it('scopes a key to the subject that sent it', async () => {
+            const key = `shared-${ulid()}`;
+            const before = await runs();
+            replays = [];
+            const mine = await create('theirs', key, 'a', () => stub);
+            const theirs = await create('theirs', key, 'a', () => otherStub);
+            // Two principals will choose the same key — `1` is a key someone sends. A
+            // lookup that found the other's row would replay a response across a
+            // principal boundary, which is a disclosure and not a convenience.
+            expect(await runs()).toBe(before + 2);
+            expect(theirs).not.toEqual(mine);
+            expect(replays).toEqual([false, false]);
+        });
+        it('refuses a key reused for a different request, and runs nothing', async () => {
+            const key = `reuse-${ulid()}`;
+            await create('reused', key, 'original');
+            const before = await runs();
+            await expect(create('reused', key, 'CHANGED')).rejects.toSatisfy((err) => {
+                return errorCodeOf(err) === 'conflict' && reasonOf(err) === IDEMPOTENCY_REUSED;
+            });
+            // Refused, and refused BEFORE anything ran. Serving the first request's
+            // response would be worse — the client would act on an answer to a question
+            // it did not ask.
+            expect(await runs()).toBe(before);
+        });
+        it('treats a different key as a different request', async () => {
+            const before = await runs();
+            await create('twice', `k-${ulid()}`, 'same input');
+            await create('twice', `k-${ulid()}`, 'same input');
+            // Dedupe is by KEY, never by content: two deliberate identical writes are
+            // two writes, and a client that wanted one sends one key.
+            expect(await runs()).toBe(before + 2);
+        });
+        it('retries — does not replay — a request that failed', async () => {
+            const key = `fail-${ulid()}`;
+            const before = await runs();
+            await expect(stub.invoke('idem/fails', { thingId: 'nope' }, { idempotencyKey: key })).rejects.toThrow();
+            // The handler wrote a row before throwing and the transaction rolled it
+            // back, so the count has not moved — which is also why there is nothing to
+            // replay.
+            expect(await runs()).toBe(before);
+            await expect(stub.invoke('idem/fails', { thingId: 'nope' }, { idempotencyKey: key })).rejects.toThrow();
+            // Executed again rather than replaying the failure. Recording failures would
+            // have meant deciding which are permanent, and a retry after a 500 is the
+            // most ordinary thing a client does.
+            expect(await runs()).toBe(before);
+            // The same key is still free for the request that eventually succeeds: the
+            // first two attempts left no row, so this is a first request.
+            const ok = await stub.invoke('idem/create', { thingId: 'recovered' }, { idempotencyKey: key });
+            expect(ok).toMatchObject({ id: 'recovered' });
+        });
+        it('refuses a replay it cannot answer rather than executing again', async () => {
+            const key = `big-${ulid()}`;
+            const before = await runs();
+            await stub.invoke('idem/big', { thingId: 'large' }, { idempotencyKey: key });
+            expect(await runs()).toBe(before + 1);
+            await expect(stub.invoke('idem/big', { thingId: 'large' }, { idempotencyKey: key })).rejects.toSatisfy((err) => {
+                return errorCodeOf(err) === 'conflict' && reasonOf(err) === IDEMPOTENCY_REPLAY_UNAVAILABLE;
+            });
+            // Fail closed. An error the caller can act on beats the duplicate execution
+            // the key was sent to prevent — and the original did complete, so re-running
+            // is the one answer that is certainly wrong.
+            expect(await runs()).toBe(before + 1);
+        });
+        it('refuses a key on an operation that declared `idempotency: false`', async () => {
+            const before = await runs();
+            await expect(stub.invoke('idem/secret', { thingId: 's1' }, { idempotencyKey: `s-${ulid()}` })).rejects.toThrow(/idempotency: false|cannot honour an Idempotency-Key/i);
+            // Refused rather than ignored: a caller who sent a key and got a 200 would
+            // believe the retry is safe, and here the response was never recorded — the
+            // second request would mint a second secret.
+            expect(await runs()).toBe(before);
+            // The operation itself still works; it is the header it refuses.
+            await expect(stub.invoke('idem/secret', { thingId: 's1' })).resolves.toMatchObject({
+                id: 's1',
+            });
+        });
+        it('refuses a malformed key', async () => {
+            const before = await runs();
+            for (const bad of ['', 'has space', 'x'.repeat(256)]) {
+                await expect(stub.invoke('idem/create', { thingId: 'bad' }, { idempotencyKey: bad })).rejects.toSatisfy((err) => errorCodeOf(err) === 'validation_failed');
+            }
+            expect(await runs()).toBe(before);
+        });
+        it('replays the entity version alongside the body', async () => {
+            const key = `guard-${ulid()}`;
+            const tags = [];
+            const options = {
+                idempotencyKey: key,
+                onEntityVersion: (v) => tags.push(v),
+            };
+            const first = await stub.invoke('idem/create-guarded', { thingId: 'g1' }, options);
+            const second = await stub.invoke('idem/create-guarded', { thingId: 'g1' }, options);
+            expect(second).toEqual(first);
+            // The two seams compose or neither works: a replayed response with no `ETag`
+            // leaves the client holding no validator, so its next conditional write has
+            // nothing to send and the lost-update protection quietly switches off.
+            expect(tags).toHaveLength(2);
+            expect(tags[1]).toBe(tags[0]);
+            expect(tags[0]).not.toBeNull();
+        });
+        it('does not report a version for a replay of an unguarded operation', async () => {
+            const key = `plain-${ulid()}`;
+            const tags = [];
+            const options = {
+                idempotencyKey: key,
+                onEntityVersion: (v) => tags.push(v),
+            };
+            await stub.invoke('idem/create', { thingId: 'p1' }, options);
+            await stub.invoke('idem/create', { thingId: 'p1' }, options);
+            // #129's rule survives the replay path: an operation that declared no
+            // `concurrency` never reports a tag, and a recording must not become the
+            // route by which one appears.
+            expect(tags).toEqual([]);
+        });
+    });
+}
+//# sourceMappingURL=idempotency-suite.js.map

package/dist/idempotency-suite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"idempotency-suite.js","sourceRoot":"","sources":["../src/idempotency-suite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EACL,WAAW,EACX,aAAa,EACb,eAAe,EACf,WAAW,EACX,OAAO,EACP,QAAQ,EACR,8BAA8B,EAC9B,kBAAkB,GAEnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,IAAI,EAAkC,MAAM,sBAAsB,CAAC;AAE5E,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;AAEjD,qFAAqF;AACrF,SAAS,QAAQ,CAAC,GAAY;IAC5B,OAAQ,GAAgD,EAAE,UAAU,EAAE,CAAC,QAAQ,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,WAAmB,EACnB,WAA4C;IAE5C,QAAQ,CAAC,0CAA0C,WAAW,EAAE,EAAE,GAAG,EAAE;QACrE,IAAI,OAAyB,CAAC;QAC9B,IAAI,IAAe,CAAC;QACpB,IAAI,IAAe,CAAC;QACpB,qFAAqF;QACrF,IAAI,SAAoB,CAAC;QACzB,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACjC,MAAM,KAAK,GAAgB,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACrD,MAAM,GAAG,GAAgB,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAE5C,0EAA0E;QAC1E,IAAI,OAAO,GAAc,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,GAAG,EAAE;YAChB,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,OAAO;gBACL,OAAO,EAAE;oBACP,kBAAkB,EAAE,GAAG,EAAE;wBACvB,QAAQ,GAAG,IAAI,CAAC;oBAClB,CAAC;iBACF;gBACD,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;aACnC,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,MAAM,GAAG,KAAK,EAClB,OAAe,EACf,GAAY,EACZ,KAAc,EACd,EAAE,GAAoB,GAAG,EAAE,CAAC,IAAI,EAChC,EAAE;YACF,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC;gBACH,OAAO,MAAM,EAAE,EAAE,CAAC,MAAM,CACtB,aAAa,EACb,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EACtD,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE,CAC5E,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,CAAC;QACH,CAAC,CAAC;QAEF,gEAAgE;QAChE,MAAM,IAAI,GAAG,KAAK,IAAqB,EAAE,CACtC,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAuB,CAAC,KAAK,CAAC;QAEpE,SAAS,CAAC,KAAK,IAAI,EAAE;YACnB,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;YAC9B,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;YACpB,IAAI,CAAC,cAAc,CAAC,cAAc,CAAC,CAAC;YACpC,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;YAC3F,MAAM,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;YACrD,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE;gBACrC,GAAG,EAAE,YAAY;gBACjB,WAAW,EAAE,CAAC,QAAQ,CAAC;gBACvB,MAAM,EAAE,UAAU;aACnB,CAAC,CAAC;YACH,KAAK,MAAM,SAAS,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE;oBACjC,WAAW,EAAE,SAAS;oBACtB,OAAO,EAAE,YAAY;oBACrB,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;iBACtC,CAAC,CAAC;YACL,CAAC;YACD,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC;YAC3F,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9C,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1C,SAAS,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,QAAQ,CAAC,KAAK,IAAI,EAAE;YAClB,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;YACrE,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;YAC5B,MAAM,MAAM,CAAC,UAAU,CAAC,CAAC;YACzB,MAAM,MAAM,CAAC,UAAU,CAAC,CAAC;YACzB,6EAA6E;YAC7E,2EAA2E;YAC3E,4EAA4E;YAC5E,wBAAwB;YACxB,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;YACxF,MAAM,GAAG,GAAG,KAAK,IAAI,EAAE,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;YAC5B,OAAO,GAAG,EAAE,CAAC;YAEb,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAElD,sEAAsE;YACtE,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACtC,yEAAyE;YACzE,wEAAwE;YACxE,uBAAuB;YACvB,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC9B,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;YACxD,MAAM,GAAG,GAAG,UAAU,IAAI,EAAE,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;YAC5B,OAAO,GAAG,EAAE,CAAC;YAEb,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;YAEjE,0EAA0E;YAC1E,qEAAqE;YACrE,mEAAmE;YACnE,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;YAC9E,MAAM,GAAG,GAAG,SAAS,IAAI,EAAE,EAAE,CAAC;YAC9B,MAAM,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;YAE5B,MAAM,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAY,EAAE,EAAE;gBAChF,OAAO,WAAW,CAAC,GAAG,CAAC,KAAK,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,kBAAkB,CAAC;YACjF,CAAC,CAAC,CAAC;YAEH,wEAAwE;YACxE,4EAA4E;YAC5E,kBAAkB;YAClB,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;YAC7D,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;YAC5B,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;YACnD,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;YACnD,0EAA0E;YAC1E,0DAA0D;YAC1D,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;YACjE,MAAM,GAAG,GAAG,QAAQ,IAAI,EAAE,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;YAE5B,MAAM,MAAM,CACV,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CACxE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,wEAAwE;YACxE,2EAA2E;YAC3E,UAAU;YACV,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,MAAM,CACV,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CACxE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,6EAA6E;YAC7E,0EAA0E;YAC1E,qCAAqC;YACrC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAElC,2EAA2E;YAC3E,8DAA8D;YAC9D,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,MAAM,CAC1B,aAAa,EACb,EAAE,OAAO,EAAE,WAAW,EAAE,EACxB,EAAE,cAAc,EAAE,GAAG,EAAE,CACxB,CAAC;YACF,MAAM,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;YAC7E,MAAM,GAAG,GAAG,OAAO,IAAI,EAAE,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;YAC5B,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC;YAC7E,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAEtC,MAAM,MAAM,CACV,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CACvE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAY,EAAE,EAAE;gBACnC,OAAO,WAAW,CAAC,GAAG,CAAC,KAAK,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,8BAA8B,CAAC;YAC7F,CAAC,CAAC,CAAC;YAEH,4EAA4E;YAC5E,6EAA6E;YAC7E,6CAA6C;YAC7C,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;YAChF,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;YAC5B,MAAM,MAAM,CACV,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,IAAI,EAAE,EAAE,EAAE,CAAC,CACjF,CAAC,OAAO,CAAC,OAAO,CAAC,sDAAsD,CAAC,CAAC;YAC1E,2EAA2E;YAC3E,4EAA4E;YAC5E,6CAA6C;YAC7C,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAElC,iEAAiE;YACjE,MAAM,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC;gBACjF,EAAE,EAAE,IAAI;aACT,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;YACvC,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;YAC5B,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACrD,MAAM,MAAM,CACV,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CACxE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAY,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,mBAAmB,CAAC,CAAC;YAClF,CAAC;YACD,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;YAC7D,MAAM,GAAG,GAAG,SAAS,IAAI,EAAE,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAsB,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG;gBACd,cAAc,EAAE,GAAG;gBACnB,eAAe,EAAE,CAAC,CAAgB,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;aACpD,CAAC;YACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;YACnF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;YAEpF,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC9B,6EAA6E;YAC7E,4EAA4E;YAC5E,uEAAuE;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;YAChF,MAAM,GAAG,GAAG,SAAS,IAAI,EAAE,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAsB,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG;gBACd,cAAc,EAAE,GAAG;gBACnB,eAAe,EAAE,CAAC,CAAgB,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;aACpD,CAAC;YACF,MAAM,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;YAC7D,MAAM,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;YAC7D,sEAAsE;YACtE,yEAAyE;YACzE,8BAA8B;YAC9B,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/index.d.ts

@@ -3,12 +3,19 @@ export type { ScopeHostFixture, ScopeHostSuiteOptions } from './scope-host-suite
 export { permissionContractSuite } from './permission-suite.js';
 export { atomicContractSuite } from './atomic-suite.js';
 export { searchContractSuite } from './search-suite.js';
+export { entityVersionContractSuite } from './entity-version-suite.js';
+export { timelineContractSuite } from './timeline-suite.js';
+export { concurrencyContractSuite } from './concurrency-suite.js';
+export { idempotencyContractSuite } from './idempotency-suite.js';
 export { listContractSuite } from './list-suite.js';
 export { scheduleContractSuite } from './schedule-suite.js';
+export { inputParseContractSuite } from './input-parse-suite.js';
 export { entityCheckConformanceSuite, planEntityCheckCoverage } from './entity-check-suite.js';
 export type { EntityCheckFixture, EntityCheckSuiteOptions, PlannedCheck } from './entity-check-suite.js';
-export { nodeOnlySuite } from './node-only-suite.js';
+export { nodeOnlySuite, declaredNodeOnlySuite } from './node-only-suite.js';
 export type { NodeOnlyOptions } from './node-only-suite.js';
-export { atomicMod, billedMod, brokenMod, connectorMod, contractTestBareOps, contractTestInitialModules, contractTestModules, permMod, scheduleMod, searchMod, searchModManifest, listMod, listModManifest, } from './modules.js';
+export { declareEntityChecks, declareNodeOnly, assertNodeOnly } from './conformance.js';
+export type { ConformanceDeclaration, DrivenConformance, DeclaredNodeOnlyConformance, AssertedNodeOnlyConformance, } from './conformance.js';
+export { atomicMod, billedMod, brokenMod, connectorMod, contractTestBareOps, contractTestInitialModules, contractTestModules, permMod, scheduleMod, searchMod, searchModManifest, listMod, listModManifest, parseMod, parseModManifest, } from './modules.js';
 export { connectorCalls, connectorTestFetch, resetConnectorCalls, type ConnectorCall, } from './connector-fixture.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAC/F,YAAY,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACzG,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,YAAY,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EACL,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,mBAAmB,EACnB,OAAO,EACP,WAAW,EACX,SAAS,EACT,iBAAiB,EACjB,OAAO,EACP,eAAe,GAChB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,mBAAmB,EACnB,KAAK,aAAa,GACnB,MAAM,wBAAwB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAC/F,YAAY,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACzG,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,YAAY,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACxF,YAAY,EACV,sBAAsB,EACtB,iBAAiB,EACjB,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,mBAAmB,EACnB,OAAO,EACP,WAAW,EACX,SAAS,EACT,iBAAiB,EACjB,OAAO,EACP,eAAe,EACf,QAAQ,EACR,gBAAgB,GACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,mBAAmB,EACnB,KAAK,aAAa,GACnB,MAAM,wBAAwB,CAAC"}

package/dist/index.js

@@ -2,10 +2,16 @@ export { scopeHostContractSuite } from './scope-host-suite.js';
 export { permissionContractSuite } from './permission-suite.js';
 export { atomicContractSuite } from './atomic-suite.js';
 export { searchContractSuite } from './search-suite.js';
+export { entityVersionContractSuite } from './entity-version-suite.js';
+export { timelineContractSuite } from './timeline-suite.js';
+export { concurrencyContractSuite } from './concurrency-suite.js';
+export { idempotencyContractSuite } from './idempotency-suite.js';
 export { listContractSuite } from './list-suite.js';
 export { scheduleContractSuite } from './schedule-suite.js';
+export { inputParseContractSuite } from './input-parse-suite.js';
 export { entityCheckConformanceSuite, planEntityCheckCoverage } from './entity-check-suite.js';
-export { nodeOnlySuite } from './node-only-suite.js';
-export { atomicMod, billedMod, brokenMod, connectorMod, contractTestBareOps, contractTestInitialModules, contractTestModules, permMod, scheduleMod, searchMod, searchModManifest, listMod, listModManifest, } from './modules.js';
+export { nodeOnlySuite, declaredNodeOnlySuite } from './node-only-suite.js';
+export { declareEntityChecks, declareNodeOnly, assertNodeOnly } from './conformance.js';
+export { atomicMod, billedMod, brokenMod, connectorMod, contractTestBareOps, contractTestInitialModules, contractTestModules, permMod, scheduleMod, searchMod, searchModManifest, listMod, listModManifest, parseMod, parseModManifest, } from './modules.js';
 export { connectorCalls, connectorTestFetch, resetConnectorCalls, } from './connector-fixture.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAE/F,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD,OAAO,EACL,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,mBAAmB,EACnB,OAAO,EACP,WAAW,EACX,SAAS,EACT,iBAAiB,EACjB,OAAO,EACP,eAAe,GAChB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,mBAAmB,GAEpB,MAAM,wBAAwB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAE/F,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE5E,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAOxF,OAAO,EACL,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,mBAAmB,EACnB,OAAO,EACP,WAAW,EACX,SAAS,EACT,iBAAiB,EACjB,OAAO,EACP,eAAe,EACf,QAAQ,EACR,gBAAgB,GACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,mBAAmB,GAEpB,MAAM,wBAAwB,CAAC"}

package/dist/input-parse-suite.d.ts

@@ -0,0 +1,3 @@
+import type { ScopeHostFixture } from './scope-host-suite.js';
+export declare function inputParseContractSuite(adapterName: string, makeFixture: () => Promise<ScopeHostFixture>): void;
+//# sourceMappingURL=input-parse-suite.d.ts.map

package/dist/input-parse-suite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"input-parse-suite.d.ts","sourceRoot":"","sources":["../src/input-parse-suite.ts"],"names":[],"mappings":"AAmDA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAK9D,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,OAAO,CAAC,gBAAgB,CAAC,GAC3C,IAAI,CA4HN"}

package/dist/input-parse-suite.js

@@ -0,0 +1,149 @@
+/**
+ * Contract suite for the declared-input parse at the scope door (#893).
+ *
+ * What it pins is one sentence: **an operation's declared `input` is parsed by
+ * the HOST, before the guards and the handler, on every path into a scope.**
+ *
+ * ## Why this is a host contract and not a house rule
+ *
+ * `OperationShape.input` has always described itself as *"the SAME Zod object
+ * the handler parses"*. Across the fleet it mostly was not: of ~85 declared
+ * inputs, 40 were parsed, and `demos/rally` declared 32 and parsed 2. The
+ * declaration was true about the shape — the compiler holds `idFrom` and
+ * `entityIdFrom` to it — and false about the parsing, which is the half that
+ * refuses a malformed call. Every operation authored after the fix would have
+ * had to remember, forever, in every vertical.
+ *
+ * The alternative was a lint rule, and it is strictly weaker: it can ask only
+ * whether *some* `.parse` appears in a handler body, never whether it is the
+ * declared schema at the boundary. It also cannot be satisfied at all where the
+ * schema is declared inline (`input: z.object({…})`) — callout, handlebar and
+ * todo declare 25 such inputs between them, the reference implementation among
+ * them. So the host parses, from the declaration that already produces the
+ * manifest, the routes and the OpenAPI document. `mountOperations` had already
+ * made this argument for the page trio, in those words.
+ *
+ * ## Why it belongs to every adapter
+ *
+ * A vertical's isolation now depends on it. If one host parses and another does
+ * not, the same operation refuses a malformed call on SQLite and accepts it on
+ * the DO — and "parse, don't trust" becomes a fact about which substrate a
+ * tenant landed on. That is exactly the class of divergence `atomicContractSuite`
+ * exists to close for `ctx.atomic`.
+ *
+ * The suite deliberately drives operations through `stub.invoke` rather than
+ * over HTTP. Parsing at the HTTP mount alone would leave every scenario test,
+ * seed and schedule on an unparsed path — the demos' own suites would exercise
+ * the one route the fix did not cover.
+ */
+import { describe, it, expect, beforeAll, afterAll } from 'vitest';
+import { errorCodeOf, moduleId, permissionKey, platformActorId, principalId, scopeId, tenantId, toProblem, } from '@substrat-run/contracts';
+import { ulid } from '@substrat-run/kernel';
+import { parseMod, parseModManifest } from './modules.js';
+const PARSE_USE = permissionKey.parse('parse:use');
+export function inputParseContractSuite(adapterName, makeFixture) {
+    describe(`declared input is parsed at the door (#893): ${adapterName}`, () => {
+        let fixture;
+        let host;
+        let stub;
+        const t1 = tenantId.parse(ulid());
+        const s1 = scopeId.parse(ulid());
+        const alice = principalId.parse(ulid());
+        const staff = platformActorId.parse(ulid());
+        beforeAll(async () => {
+            fixture = await makeFixture();
+            host = fixture.host;
+            host.registerModule(parseMod);
+            await host.admin.createTenant(staff, { id: t1, slug: 'parse-tenant', name: 'Parse Tenant' });
+            await host.admin.grantEntitlement(staff, t1, 'parse');
+            await host.admin.defineRole(staff, t1, {
+                key: 'parser',
+                permissions: [PARSE_USE],
+                source: 'vertical',
+            });
+            await host.admin.assignRole(staff, {
+                principalId: alice,
+                roleKey: 'parser',
+                node: { tenantId: t1, scopeId: null },
+            });
+            await host.provisionScope(staff, { tenantId: t1, scopeId: s1, vertical: 'parse-vertical' });
+            await host.admin.activateScope(staff, t1, s1);
+            stub = await host.getScope(alice, t1, s1);
+        });
+        afterAll(async () => {
+            await fixture.cleanup();
+        });
+        const received = async (op, input) => (await stub.invoke(op, input)).received;
+        it('refuses an invocation whose declared field has the wrong type', async () => {
+            // The handler never runs: a `name` of the wrong type is not a domain
+            // decision the module gets to make badly, it is a call that never had a
+            // meaning. Refused before the transaction opens.
+            await expect(stub.invoke('parse/echo', { name: 42 })).rejects.toThrow();
+        });
+        it('refuses an invocation missing a required declared field', async () => {
+            await expect(stub.invoke('parse/echo', { tag: 'x' })).rejects.toThrow();
+        });
+        /**
+         * #831. Refusing is half a contract; saying WHICH field was wrong is the half a
+         * client — or a build agent — recovers from without a person reading a log.
+         *
+         * This belongs beside the refusals above rather than in `contracts` alone, because
+         * the two substrates lose the answer differently. Under `adapter-sqlite` the parse
+         * throws in-process and the `ZodError` arrives with `issues` intact. Under
+         * `adapter-cloudflare` it is raised INSIDE the ScopeDO and crosses the hop, where a
+         * throw carries only its message — so the field list used to survive nowhere but as
+         * JSON inside that message, and every vertical re-parsed the string to get it back.
+         *
+         * A suite that ran on one adapter would have called that fixed.
+         */
+        it('names the field that was wrong, whichever substrate refused it', async () => {
+            const err = await stub.invoke('parse/echo', { name: 42 }).then(() => {
+                throw new Error('the invoke should have been refused');
+            }, (e) => e);
+            expect(errorCodeOf(err)).toBe('validation_failed');
+            const body = toProblem(err);
+            expect(body.status).toBe(400);
+            expect(body.errors?.map((issue) => issue.path)).toContain('name');
+        });
+        it('strips a field the declaration does not name', async () => {
+            // The undeclared key is gone before module code sees it — so a caller
+            // cannot smuggle a field past a handler that reads more than it declared.
+            const out = await received('parse/echo', { name: 'a', unexpected: 'smuggled' });
+            expect(out).not.toHaveProperty('unexpected');
+            expect(out).toMatchObject({ name: 'a' });
+        });
+        it("applies the declaration's own default", async () => {
+            // The case a handler cannot fake by being careful: `size` arrives SET on a
+            // call that never sent it, which only a parse against the declaration does.
+            expect(await received('parse/echo', { name: 'a' })).toMatchObject({ size: 7 });
+        });
+        it('keeps an optional declared field absent rather than inventing it', async () => {
+            const out = await received('parse/echo', { name: 'a' });
+            expect(out).not.toHaveProperty('tag');
+        });
+        it('lets the platform page trio through a paged operation (#811)', async () => {
+            // A strict parse against `input` alone would strip these back out and hand
+            // every paged read an unpaged request.
+            const out = await received('parse/paged', { q: 'find', limit: 5, cursor: 'c1', order: 'desc', sort: 'name' });
+            expect(out).toMatchObject({ q: 'find', limit: 5, cursor: 'c1', order: 'desc', sort: 'name' });
+        });
+        it('rejects a page value outside the platform ceiling', async () => {
+            await expect(stub.invoke('parse/paged', { limit: 10_000 })).rejects.toThrow();
+        });
+        it('hands an operation that declares no input its `undefined` unchanged', async () => {
+            // `z.object({})` cannot say "no body", so the host must not invent one:
+            // a handler typed for `undefined` is not one accepting `{}`.
+            expect(await received('parse/bare')).toBeNull();
+        });
+        it('refuses a schema declared for an operation the module does not bind', () => {
+            // A schema on nothing enforces nothing while reading as coverage — the
+            // same reasoning `checksDeclaredElsewhere` applies to a stale exemption.
+            expect(() => host.registerModule({
+                manifest: { ...parseModManifest, id: moduleId.parse('@test/parse-unbound') },
+                operations: { 'unbound/act': (() => 'ran') },
+                operationInputs: { 'unbound/nope': { parse: (v) => v } },
+            })).toThrow(/unbound/i);
+        });
+    });
+}
+//# sourceMappingURL=input-parse-suite.js.map

package/dist/input-parse-suite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"input-parse-suite.js","sourceRoot":"","sources":["../src/input-parse-suite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EACL,WAAW,EACX,QAAQ,EACR,aAAa,EACb,eAAe,EACf,WAAW,EACX,OAAO,EACP,QAAQ,EACR,SAAS,GAEV,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,IAAI,EAAkC,MAAM,sBAAsB,CAAC;AAE5E,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAE1D,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;AAEnD,MAAM,UAAU,uBAAuB,CACrC,WAAmB,EACnB,WAA4C;IAE5C,QAAQ,CAAC,gDAAgD,WAAW,EAAE,EAAE,GAAG,EAAE;QAC3E,IAAI,OAAyB,CAAC;QAC9B,IAAI,IAAe,CAAC;QACpB,IAAI,IAAe,CAAC;QACpB,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACjC,MAAM,KAAK,GAAgB,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAE5C,SAAS,CAAC,KAAK,IAAI,EAAE;YACnB,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;YAC9B,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;YACpB,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;YAC9B,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC;YAC7F,MAAM,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;YACtD,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE;gBACrC,GAAG,EAAE,QAAQ;gBACb,WAAW,EAAE,CAAC,SAAS,CAAC;gBACxB,MAAM,EAAE,UAAU;aACnB,CAAC,CAAC;YACH,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE;gBACjC,WAAW,EAAE,KAAK;gBAClB,OAAO,EAAE,QAAQ;gBACjB,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;aACtC,CAAC,CAAC;YACH,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC5F,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9C,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,QAAQ,CAAC,KAAK,IAAI,EAAE;YAClB,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,MAAM,QAAQ,GAAG,KAAK,EAAE,EAAU,EAAE,KAAe,EAAE,EAAE,CACrD,CAAC,MAAM,IAAI,CAAC,MAAM,CAAwB,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,QAA0C,CAAC;QAEnG,EAAE,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;YAC7E,qEAAqE;YACrE,wEAAwE;YACxE,iDAAiD;YACjD,MAAM,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;YACvE,MAAM,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH;;;;;;;;;;;;WAYG;QACH,EAAE,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;YAC9E,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAC5D,GAAG,EAAE;gBACH,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;YACzD,CAAC,EACD,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAClB,CAAC;YAEF,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YACnD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;YAC5D,sEAAsE;YACtE,0EAA0E;YAC1E,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC;YAChF,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;YAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;YACrD,2EAA2E;YAC3E,4EAA4E;YAC5E,MAAM,CAAC,MAAM,QAAQ,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;YAChF,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;YACxD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;YAC5E,2EAA2E;YAC3E,uCAAuC;YACvC,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YAC9G,MAAM,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAChG,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;YACjE,MAAM,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAChF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;YACnF,wEAAwE;YACxE,6DAA6D;YAC7D,MAAM,CAAC,MAAM,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,uEAAuE;YACvE,yEAAyE;YACzE,MAAM,CAAC,GAAG,EAAE,CACV,IAAI,CAAC,cAAc,CAAC;gBAClB,QAAQ,EAAE,EAAE,GAAG,gBAAgB,EAAE,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,qBAAqB,CAAC,EAAE;gBAC5E,UAAU,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAU,EAAE;gBACrD,eAAe,EAAE,EAAE,cAAc,EAAE,EAAE,KAAK,EAAE,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;aAClE,CAAC,CACH,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}