@substrat-run/contract-tests 0.142.0 → 0.143.0

package/dist/caused-by-module.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"caused-by-module.d.ts","sourceRoot":"","sources":["../src/caused-by-module.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAmB,kBAAkB,EAAsC,MAAM,sBAAsB,CAAC;AAEpH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,cAAc,2BAA2B,CAAC;AAEvD,oGAAoG;AACpG,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,4BAA4B;AAC5B,eAAO,MAAM,IAAI,mCAAoD,CAAC;AAwBtE,eAAO,MAAM,WAAW,EAAE,kBAmBzB,CAAC"}
+{"version":3,"file":"caused-by-module.d.ts","sourceRoot":"","sources":["../src/caused-by-module.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAmB,kBAAkB,EAAsC,MAAM,sBAAsB,CAAC;AAGpH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,cAAc,2BAA2B,CAAC;AAEvD,oGAAoG;AACpG,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,4BAA4B;AAC5B,eAAO,MAAM,IAAI,mCAAoD,CAAC;AAwBtE,eAAO,MAAM,WAAW,EAAE,kBAmBzB,CAAC"}

package/dist/caused-by-module.js

@@ -1,4 +1,5 @@
 import { moduleManifest } from '@substrat-run/contracts';
+import { testOperations } from './test-operations.js';
 /**
  * #2055: a consumer that can be held mid-handler, for `scopeCausedByContractSuite`.
  *
@@ -37,10 +38,10 @@ const emitTagged = (ctx, type, tag) => {
 export const causedByMod = {
     manifest,
     migrations: [],
-    operations: {
+    ...testOperations({
         'causedby/start': ((ctx, input) => emitTagged(ctx, 'causedby.requested', input.tag)),
         'causedby/other': ((ctx, input) => emitTagged(ctx, 'causedby.other', input.tag)),
-    },
+    }),
     consumers: {
         'causedby.requested': (async (ctx, event) => {
             const hold = globalThis[CAUSED_BY_HOLD];

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

@@ -1 +1 @@
-{"version":3,"file":"caused-by-module.js","sourceRoot":"","sources":["../src/caused-by-module.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAGzD;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,wBAAwB,CAAC;AAQvD,4BAA4B;AAC5B,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAEtE,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC;IACpC,EAAE,EAAE,iBAAiB;IACrB,OAAO,EAAE,OAAO;IAChB,cAAc,EAAE,QAAQ;IACxB,WAAW,EAAE,EAAE;IACf,MAAM,EAAE;QACN,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,oBAAoB,EAAE,aAAa,EAAE,CAAC,EAAE;YAChD,EAAE,IAAI,EAAE,mBAAmB,EAAE,aAAa,EAAE,CAAC,EAAE;YAC/C,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,CAAC,EAAE;SAC7C;QACD,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;KAC7D;IACD,UAAU,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,OAAO,EAAE;IACnE,iBAAiB,EAAE,EAAE;IACrB,cAAc,EAAE,UAAU;CAC3B,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,CAAC,GAAqB,EAAE,IAAY,EAAE,GAAW,EAAQ,EAAE;IAC5E,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;AACzH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAuB;IAC7C,QAAQ;IACR,UAAU,EAAE,EAAE;IACd,UAAU,EAAE;QACV,gBAAgB,EAAE,CAAC,CAAC,GAAqB,EAAE,KAAsB,EAAE,EAAE,CACnE,UAAU,CAAC,GAAG,EAAE,oBAAoB,EAAE,KAAK,CAAC,GAAG,CAAC,CAAgD;QAClG,gBAAgB,EAAE,CAAC,CAAC,GAAqB,EAAE,KAAsB,EAAE,EAAE,CACnE,UAAU,CAAC,GAAG,EAAE,gBAAgB,EAAE,KAAK,CAAC,GAAG,CAAC,CAAgD;KAC/F;IACD,SAAS,EAAE;QACT,oBAAoB,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YAC1C,MAAM,IAAI,GAAI,UAAsC,CAAC,cAAc,CAA6B,CAAC;YACjG,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO,IAAI,CAAC,IAAI;oBAAE,MAAM,IAAI,EAAE,CAAC;YACjC,CAAC;YACD,UAAU,CAAC,GAAG,EAAE,mBAAmB,EAAG,KAAK,CAAC,OAA2B,CAAC,GAAG,CAAC,CAAC;QAC/E,CAAC,CAAoB;KACtB;CACF,CAAC"}
+{"version":3,"file":"caused-by-module.js","sourceRoot":"","sources":["../src/caused-by-module.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,wBAAwB,CAAC;AAQvD,4BAA4B;AAC5B,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAEtE,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC;IACpC,EAAE,EAAE,iBAAiB;IACrB,OAAO,EAAE,OAAO;IAChB,cAAc,EAAE,QAAQ;IACxB,WAAW,EAAE,EAAE;IACf,MAAM,EAAE;QACN,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,oBAAoB,EAAE,aAAa,EAAE,CAAC,EAAE;YAChD,EAAE,IAAI,EAAE,mBAAmB,EAAE,aAAa,EAAE,CAAC,EAAE;YAC/C,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,CAAC,EAAE;SAC7C;QACD,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;KAC7D;IACD,UAAU,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,OAAO,EAAE;IACnE,iBAAiB,EAAE,EAAE;IACrB,cAAc,EAAE,UAAU;CAC3B,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,CAAC,GAAqB,EAAE,IAAY,EAAE,GAAW,EAAQ,EAAE;IAC5E,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;AACzH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAuB;IAC7C,QAAQ;IACR,UAAU,EAAE,EAAE;IACd,GAAG,cAAc,CAAC;QAChB,gBAAgB,EAAE,CAAC,CAAC,GAAqB,EAAE,KAAsB,EAAE,EAAE,CACnE,UAAU,CAAC,GAAG,EAAE,oBAAoB,EAAE,KAAK,CAAC,GAAG,CAAC,CAAgD;QAClG,gBAAgB,EAAE,CAAC,CAAC,GAAqB,EAAE,KAAsB,EAAE,EAAE,CACnE,UAAU,CAAC,GAAG,EAAE,gBAAgB,EAAE,KAAK,CAAC,GAAG,CAAC,CAAgD;KAC/F,CAAC;IACF,SAAS,EAAE;QACT,oBAAoB,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;YAC1C,MAAM,IAAI,GAAI,UAAsC,CAAC,cAAc,CAA6B,CAAC;YACjG,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO,IAAI,CAAC,IAAI;oBAAE,MAAM,IAAI,EAAE,CAAC;YACjC,CAAC;YACD,UAAU,CAAC,GAAG,EAAE,mBAAmB,EAAG,KAAK,CAAC,OAA2B,CAAC,GAAG,CAAC,CAAC;QAC/E,CAAC,CAAoB;KACtB;CACF,CAAC"}

package/dist/derived-module.d.ts

@@ -0,0 +1,350 @@
+/**
+ * The fixture behind `derivedHandlersContractSuite` (#1773): one module whose get, list, update
+ * and delete are DERIVED — declared with `derive` and handed no handler — bound through
+ * `operationsFor`, the path a vertical takes. So the suite holds the handlers the platform writes,
+ * on each adapter's SQL, to the behaviour a hand-written one owes: the check first, `not_found`,
+ * the partial PATCH, the 412, the event and its payload, the paged walk scoped to its parent.
+ *
+ * - `dfolder` — the parent a page is scoped to.
+ * - `dnote` — its child: derived get / list / update / delete. The writes that seed it, and the
+ *   read of its history, are authored — none of them is a derivable shape.
+ */
+import { z } from 'zod';
+import { type ModuleRegistration } from '@substrat-run/kernel';
+export declare const DERIVED_MODULE_ID = "@test/derived";
+export declare const derivedEntities: {
+    readonly dfolder: {
+        readonly table: "derived_folders";
+        readonly fields: z.ZodObject<{
+            id: z.ZodString;
+            name: z.ZodString;
+        }, z.core.$strip>;
+    };
+    readonly dnote: {
+        readonly table: "derived_notes";
+        readonly fields: z.ZodObject<{
+            id: z.ZodString;
+            dfolder_id: z.ZodString;
+            title: z.ZodString;
+            body: z.ZodNullable<z.ZodString>;
+            rank: z.ZodNumber;
+        }, z.core.$strip>;
+        readonly parents: readonly ["dfolder"];
+    };
+};
+export declare const derivedOperations: {
+    readonly 'derived/add-folder': {
+        readonly summary: "Add a folder";
+        readonly permission: "dnote:write";
+        readonly input: z.ZodObject<{
+            id: z.ZodString;
+            name: z.ZodString;
+        }, z.core.$strip>;
+        readonly output: z.ZodObject<{
+            ok: z.ZodBoolean;
+        }, z.core.$strip>;
+    };
+    readonly 'derived/add-note': {
+        readonly summary: "Add a note — authored, and emitting, so the note has a version to hold";
+        readonly permission: "dnote:write";
+        readonly input: z.ZodObject<{
+            id: z.ZodString;
+            folderId: z.ZodString;
+            title: z.ZodString;
+            body: z.ZodNullable<z.ZodString>;
+            rank: z.ZodNumber;
+        }, z.core.$strip>;
+        readonly output: z.ZodObject<{
+            id: z.ZodString;
+        }, z.core.$strip>;
+        readonly emits: {
+            readonly entity: "dnote";
+            readonly entityIdFrom: "id";
+            readonly type: "dnote.added";
+            readonly schemaVersion: 1;
+            readonly piiClass: "none";
+            readonly payload: readonly ["id"];
+        };
+    };
+    readonly 'derived/get-note': {
+        readonly summary: "One note";
+        readonly derive: "get";
+        readonly permission: {
+            readonly key: "dnote:read" | "dnote:write";
+            readonly entity: 'dnote';
+            readonly idFrom: 'noteId';
+        };
+        readonly input: z.ZodObject<{
+            noteId: z.ZodString;
+        }, z.core.$strip>;
+        readonly output: z.ZodObject<{
+            id: z.ZodString;
+            dfolder_id: z.ZodString;
+            title: z.ZodString;
+            body: z.ZodNullable<z.ZodString>;
+            rank: z.ZodNumber;
+        }, z.core.$strip>;
+        readonly http: {
+            readonly method: "GET";
+            readonly path: "/notes/{noteId}";
+        };
+    };
+    readonly 'derived/list-notes': {
+        readonly summary: "A folder's notes";
+        readonly derive: "list";
+        readonly permission: {
+            readonly key: "dnote:read";
+            readonly entity: "dfolder";
+            readonly idFrom: "dfolderId";
+        };
+        readonly input: z.ZodObject<{
+            dfolderId: z.ZodString;
+            title: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+        readonly output: z.ZodObject<{
+            id: z.ZodString;
+            dfolder_id: z.ZodString;
+            title: z.ZodString;
+            body: z.ZodNullable<z.ZodString>;
+            rank: z.ZodNumber;
+        }, z.core.$strip>;
+        readonly paged: {
+            readonly over: {
+                readonly entity: "dnote";
+                readonly sortable: readonly ["rank"];
+                readonly filterable: readonly ["dfolder_id", "title"];
+            };
+            readonly total: true;
+        };
+        readonly http: {
+            readonly method: "GET";
+            readonly path: "/folders/{dfolderId}/notes";
+        };
+    };
+    readonly 'derived/update-note': {
+        readonly summary: "Change a note";
+        readonly derive: "update";
+        readonly permission: {
+            readonly key: "dnote:read" | "dnote:write";
+            readonly entity: 'dnote';
+            readonly idFrom: 'noteId';
+        };
+        readonly input: z.ZodObject<{
+            noteId: z.ZodString;
+            title: z.ZodOptional<z.ZodString>;
+            body: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            rank: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>;
+        readonly output: z.ZodObject<{
+            id: z.ZodString;
+            dfolder_id: z.ZodString;
+            title: z.ZodString;
+            body: z.ZodNullable<z.ZodString>;
+            rank: z.ZodNumber;
+        }, z.core.$strip>;
+        readonly http: {
+            readonly method: "PATCH";
+            readonly path: "/notes/{noteId}";
+        };
+        readonly concurrency: {
+            readonly over: "dnote";
+            readonly idFrom: "noteId";
+        };
+        readonly emits: {
+            readonly entity: "dnote";
+            readonly entityIdFrom: "id";
+            readonly type: "dnote.updated";
+            readonly schemaVersion: 1;
+            readonly piiClass: "none";
+            readonly payload: readonly ["id", "title", "body", "rank"];
+        };
+    };
+    readonly 'derived/delete-note': {
+        readonly summary: "Remove a note";
+        readonly derive: "delete";
+        readonly permission: {
+            readonly key: "dnote:read" | "dnote:write";
+            readonly entity: 'dnote';
+            readonly idFrom: 'noteId';
+        };
+        readonly input: z.ZodObject<{
+            noteId: z.ZodString;
+        }, z.core.$strip>;
+        readonly output: z.ZodObject<{
+            id: z.ZodString;
+            deleted: z.ZodBoolean;
+        }, z.core.$strip>;
+        readonly http: {
+            readonly method: "DELETE";
+            readonly path: "/notes/{noteId}";
+        };
+        readonly emits: {
+            readonly entity: "dnote";
+            readonly entityIdFrom: "id";
+            readonly type: "dnote.deleted";
+            readonly schemaVersion: 1;
+            readonly piiClass: "none";
+            readonly payload: readonly ["id"];
+        };
+    };
+    readonly 'derived/history': {
+        readonly summary: "A note's events, after it is gone too";
+        readonly permission: "dnote:read";
+        readonly input: z.ZodObject<{
+            noteId: z.ZodString;
+        }, z.core.$strip>;
+        readonly output: z.ZodObject<{
+            entries: z.ZodArray<z.ZodUnknown>;
+        }, z.core.$strip>;
+    };
+};
+export declare const derivedModManifest: {
+    id: string & z.$brand<"ModuleId">;
+    version: string;
+    kernelContract: string;
+    permissions: {
+        key: string & z.$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 & z.$brand<"PermissionKey">;
+        }[] | undefined;
+    };
+    migrations: {
+        journalDir: string;
+        compatibleFrom: string;
+    };
+    attachmentTargets: {
+        entityType: string;
+        readPermission: string & z.$brand<"PermissionKey">;
+        writePermission?: (string & z.$brand<"PermissionKey">) | undefined;
+    }[];
+    liveTargets?: {
+        entityType: string;
+        readPermission: string & z.$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 & z.$brand<"PermissionKey">)[];
+        purge?: {
+            entityType: string;
+        } | undefined;
+    }[] | undefined;
+    peers?: {
+        vertical: string;
+        operations: string[];
+        permissions: (string & z.$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 & z.$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 & z.$brand<"PermissionKey">) | undefined;
+        trashPermission?: (string & z.$brand<"PermissionKey">) | undefined;
+        purgeAfterDays?: number | undefined;
+        table?: string | undefined;
+        idColumn?: string | undefined;
+        entityType: string;
+    }[] | undefined;
+    erasure?: {
+        tables: string[];
+        entities: {
+            entityType: string;
+            table: string;
+            mode: "blank" | "custom" | "delete" | "unreached";
+            subjects?: string[] | undefined;
+            fields: {
+                name: string;
+                blank: "" | null;
+            }[];
+        }[];
+    } | undefined;
+    ui?: {
+        routes?: {
+            path: string;
+            screen: string;
+            permission: string & z.$brand<"PermissionKey">;
+        }[] | undefined;
+        nav?: {
+            label: string;
+            icon?: string | undefined;
+            to: string;
+            permission: string & z.$brand<"PermissionKey">;
+        }[] | undefined;
+        entityViews?: {
+            entityType: string;
+            view: string;
+        }[] | undefined;
+        widgets?: {
+            slot: string;
+            component: string;
+            permission: string & z.$brand<"PermissionKey">;
+        }[] | undefined;
+        settingsPanels?: {
+            label: string;
+            component: string;
+            permission: string & z.$brand<"PermissionKey">;
+        }[] | undefined;
+    } | undefined;
+};
+export declare const derivedMod: ModuleRegistration;
+//# sourceMappingURL=derived-module.d.ts.map

package/dist/derived-module.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derived-module.d.ts","sourceRoot":"","sources":["../src/derived-module.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAWxB,OAAO,EAA6C,KAAK,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1G,eAAO,MAAM,iBAAiB,kBAAkB,CAAC;AAEjD,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;CAa1B,CAAC;AAMH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6BAHsC,OAAO;6BAAU,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuE3F,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAY7B,CAAC;AAMH,eAAO,MAAM,UAAU,EAAE,kBAkCxB,CAAC"}

package/dist/derived-module.js

@@ -0,0 +1,153 @@
+/**
+ * The fixture behind `derivedHandlersContractSuite` (#1773): one module whose get, list, update
+ * and delete are DERIVED — declared with `derive` and handed no handler — bound through
+ * `operationsFor`, the path a vertical takes. So the suite holds the handlers the platform writes,
+ * on each adapter's SQL, to the behaviour a hand-written one owes: the check first, `not_found`,
+ * the partial PATCH, the 412, the event and its payload, the paged walk scoped to its parent.
+ *
+ * - `dfolder` — the parent a page is scoped to.
+ * - `dnote` — its child: derived get / list / update / delete. The writes that seed it, and the
+ *   read of its history, are authored — none of them is a derivable shape.
+ */
+import { z } from 'zod';
+import { defineEntities, defineOperations, listsDeclaredBy, manifestEntities, manifestOperations, moduleManifest, permissionKey, } from '@substrat-run/contracts';
+import { assertAllowed, operationsFor, readHistory } from '@substrat-run/kernel';
+export const DERIVED_MODULE_ID = '@test/derived';
+export const derivedEntities = defineEntities({
+    dfolder: { table: 'derived_folders', fields: z.object({ id: z.string(), name: z.string() }) },
+    dnote: {
+        table: 'derived_notes',
+        fields: z.object({
+            id: z.string(),
+            dfolder_id: z.string(),
+            title: z.string(),
+            body: z.string().nullable(),
+            rank: z.number(),
+        }),
+        parents: ['dfolder'],
+    },
+});
+const PERMISSIONS = ['dnote:read', 'dnote:write'];
+const note = (key) => ({ key, entity: 'dnote', idFrom: 'noteId' });
+const ok = z.object({ ok: z.boolean() });
+export const derivedOperations = defineOperations(derivedEntities, PERMISSIONS)({
+    'derived/add-folder': {
+        summary: 'Add a folder',
+        permission: 'dnote:write',
+        input: z.object({ id: z.string(), name: z.string() }),
+        output: ok,
+    },
+    'derived/add-note': {
+        summary: 'Add a note — authored, and emitting, so the note has a version to hold',
+        permission: 'dnote:write',
+        input: z.object({ id: z.string(), folderId: z.string(), title: z.string(), body: z.string().nullable(), rank: z.number() }),
+        output: z.object({ id: z.string() }),
+        emits: { entity: 'dnote', entityIdFrom: 'id', type: 'dnote.added', schemaVersion: 1, piiClass: 'none', payload: ['id'] },
+    },
+    'derived/get-note': {
+        summary: 'One note',
+        derive: 'get',
+        permission: note('dnote:read'),
+        input: z.object({ noteId: z.string() }),
+        output: derivedEntities.dnote.fields,
+        http: { method: 'GET', path: '/notes/{noteId}' },
+    },
+    'derived/list-notes': {
+        summary: "A folder's notes",
+        derive: 'list',
+        permission: { key: 'dnote:read', entity: 'dfolder', idFrom: 'dfolderId' },
+        input: z.object({ dfolderId: z.string(), title: z.string().optional() }),
+        output: derivedEntities.dnote.fields,
+        paged: { over: { entity: 'dnote', sortable: ['rank'], filterable: ['dfolder_id', 'title'] }, total: true },
+        http: { method: 'GET', path: '/folders/{dfolderId}/notes' },
+    },
+    'derived/update-note': {
+        summary: 'Change a note',
+        derive: 'update',
+        permission: note('dnote:write'),
+        input: z.object({
+            noteId: z.string(),
+            title: z.string().optional(),
+            body: z.string().nullable().optional(),
+            rank: z.number().optional(),
+        }),
+        output: derivedEntities.dnote.fields,
+        http: { method: 'PATCH', path: '/notes/{noteId}' },
+        concurrency: { over: 'dnote', idFrom: 'noteId' },
+        emits: {
+            entity: 'dnote',
+            entityIdFrom: 'id',
+            type: 'dnote.updated',
+            schemaVersion: 1,
+            piiClass: 'none',
+            payload: ['id', 'title', 'body', 'rank'],
+        },
+    },
+    'derived/delete-note': {
+        summary: 'Remove a note',
+        derive: 'delete',
+        permission: note('dnote:write'),
+        input: z.object({ noteId: z.string() }),
+        output: z.object({ id: z.string(), deleted: z.boolean() }),
+        http: { method: 'DELETE', path: '/notes/{noteId}' },
+        emits: { entity: 'dnote', entityIdFrom: 'id', type: 'dnote.deleted', schemaVersion: 1, piiClass: 'none', payload: ['id'] },
+    },
+    'derived/history': {
+        summary: "A note's events, after it is gone too",
+        permission: 'dnote:read',
+        input: z.object({ noteId: z.string() }),
+        output: z.object({ entries: z.array(z.unknown()) }),
+    },
+});
+export const derivedModManifest = moduleManifest.parse({
+    id: DERIVED_MODULE_ID,
+    version: '1.0.0',
+    kernelContract: '^0.0.1',
+    migrations: { journalDir: './migrations', compatibleFrom: '1.0.0' },
+    ...manifestOperations(derivedOperations, {
+        permissions: { 'dnote:read': 'read notes', 'dnote:write': 'write notes' },
+        consumes: [],
+    }),
+    ...manifestEntities(derivedEntities, {}),
+    lists: listsDeclaredBy(derivedOperations, derivedEntities),
+    entitlementKey: 'derived',
+});
+const WRITE = permissionKey.parse('dnote:write');
+const READ = permissionKey.parse('dnote:read');
+const noteRef = (id) => ({ entityType: 'dnote', entityId: id });
+export const derivedMod = {
+    manifest: derivedModManifest,
+    migrations: [
+        {
+            version: '0001-init',
+            sql: `CREATE TABLE derived_folders (id TEXT PRIMARY KEY, name TEXT NOT NULL);
+            CREATE TABLE derived_notes (id TEXT PRIMARY KEY, dfolder_id TEXT NOT NULL, title TEXT NOT NULL,
+                                        body TEXT, rank INTEGER NOT NULL);`,
+        },
+    ],
+    // The four derived operations are absent here — and could not be present: the type refuses them.
+    ...operationsFor(derivedOperations)({
+        'derived/add-folder': async (ctx, i) => {
+            assertAllowed(await ctx.check(WRITE));
+            ctx.sql.exec('INSERT INTO derived_folders (id, name) VALUES (?, ?)', [i.id, i.name]);
+            return { ok: true };
+        },
+        'derived/add-note': async (ctx, i) => {
+            assertAllowed(await ctx.check(WRITE));
+            ctx.sql.exec('INSERT INTO derived_notes (id, dfolder_id, title, body, rank) VALUES (?, ?, ?, ?, ?)', [
+                i.id,
+                i.folderId,
+                i.title,
+                i.body,
+                i.rank,
+            ]);
+            ctx.emit({ type: 'dnote.added', schemaVersion: 1, entity: noteRef(i.id), piiClass: 'none', payload: { id: i.id } });
+            return { id: i.id };
+        },
+        'derived/history': async (ctx, i) => {
+            assertAllowed(await ctx.check(READ));
+            return { entries: readHistory({ sql: ctx.sql }, noteRef(i.noteId)).entries };
+        },
+    }),
+};
+//# sourceMappingURL=derived-module.js.map

package/dist/derived-module.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derived-module.js","sourceRoot":"","sources":["../src/derived-module.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,cAAc,EACd,aAAa,GAEd,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,WAAW,EAA2B,MAAM,sBAAsB,CAAC;AAE1G,MAAM,CAAC,MAAM,iBAAiB,GAAG,eAAe,CAAC;AAEjD,MAAM,CAAC,MAAM,eAAe,GAAG,cAAc,CAAC;IAC5C,OAAO,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE;IAC7F,KAAK,EAAE;QACL,KAAK,EAAE,eAAe;QACtB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;YACf,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;YACd,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;YACtB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;YACjB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;SACjB,CAAC;QACF,OAAO,EAAE,CAAC,SAAS,CAAC;KACrB;CACF,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,CAAC,YAAY,EAAE,aAAa,CAAU,CAAC;AAC3D,MAAM,IAAI,GAAG,CAAC,GAAiC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAU,CAAC;AAC1G,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAEzC,MAAM,CAAC,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;IAC9E,oBAAoB,EAAE;QACpB,OAAO,EAAE,cAAc;QACvB,UAAU,EAAE,aAAa;QACzB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QACrD,MAAM,EAAE,EAAE;KACX;IACD,kBAAkB,EAAE;QAClB,OAAO,EAAE,wEAAwE;QACjF,UAAU,EAAE,aAAa;QACzB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3H,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;KACzH;IACD,kBAAkB,EAAE;QAClB,OAAO,EAAE,UAAU;QACnB,MAAM,EAAE,KAAK;QACb,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC;QAC9B,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM;QACpC,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE;KACjD;IACD,oBAAoB,EAAE;QACpB,OAAO,EAAE,kBAAkB;QAC3B,MAAM,EAAE,MAAM;QACd,UAAU,EAAE,EAAE,GAAG,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE;QACzE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;QACxE,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM;QACpC,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;QAC1G,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,4BAA4B,EAAE;KAC5D;IACD,qBAAqB,EAAE;QACrB,OAAO,EAAE,eAAe;QACxB,MAAM,EAAE,QAAQ;QAChB,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC;QAC/B,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;YACd,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;YAClB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC5B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;YACtC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;SAC5B,CAAC;QACF,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM;QACpC,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE;QAClD,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE;QAChD,KAAK,EAAE;YACL,MAAM,EAAE,OAAO;YACf,YAAY,EAAE,IAAI;YAClB,IAAI,EAAE,eAAe;YACrB,aAAa,EAAE,CAAC;YAChB,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;SACzC;KACF;IACD,qBAAqB,EAAE;QACrB,OAAO,EAAE,eAAe;QACxB,MAAM,EAAE,QAAQ;QAChB,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC;QAC/B,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1D,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,iBAAiB,EAAE;QACnD,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;KAC3H;IACD,iBAAiB,EAAE;QACjB,OAAO,EAAE,uCAAuC;QAChD,UAAU,EAAE,YAAY;QACxB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;KACpD;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAc,CAAC,KAAK,CAAC;IACrD,EAAE,EAAE,iBAAiB;IACrB,OAAO,EAAE,OAAO;IAChB,cAAc,EAAE,QAAQ;IACxB,UAAU,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,OAAO,EAAE;IACnE,GAAG,kBAAkB,CAAC,iBAAiB,EAAE;QACvC,WAAW,EAAE,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE;QACzE,QAAQ,EAAE,EAAE;KACb,CAAC;IACF,GAAG,gBAAgB,CAAC,eAAe,EAAE,EAAE,CAAC;IACxC,KAAK,EAAE,eAAe,CAAC,iBAAiB,EAAE,eAAe,CAAC;IAC1D,cAAc,EAAE,SAAS;CAC1B,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;AACjD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;AAC/C,MAAM,OAAO,GAAG,CAAC,EAAU,EAAa,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;AAEnF,MAAM,CAAC,MAAM,UAAU,GAAuB;IAC5C,QAAQ,EAAE,kBAAkB;IAC5B,UAAU,EAAE;QACV;YACE,OAAO,EAAE,WAAW;YACpB,GAAG,EAAE;;2EAEgE;SACtE;KACF;IACD,iGAAiG;IACjG,GAAG,aAAa,CAAC,iBAAiB,CAAC,CAAC;QAClC,oBAAoB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;YACrC,aAAa,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YACtC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,sDAAsD,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACrF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;QACtB,CAAC;QACD,kBAAkB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;YACnC,aAAa,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YACtC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,sFAAsF,EAAE;gBACnG,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,IAAI;aACP,CAAC,CAAC;YACH,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACpH,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QACtB,CAAC;QACD,iBAAiB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;YAClC,aAAa,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACrC,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC/E,CAAC;KACF,CAAC;CACH,CAAC"}

package/dist/derived-suite.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"derived-suite.d.ts","sourceRoot":"","sources":["../src/derived-suite.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAM9D,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,OAAO,CAAC,gBAAgB,CAAC,GAAG,IAAI,CAuPpH"}