@substrat-run/contract-tests 0.142.0 → 0.144.0

package/dist/modules.js

@@ -11,9 +11,12 @@ import { dataSubjectId, moduleManifest, operationInputsOf, operationConcurrencyO
 import { membershipFixtureMod } from './membership-module.js';
 import { rebuildMod, stateMod } from './entity-state-module.js';
 import { trashMod } from './entity-trash-module.js';
+import { derivedMod } from './derived-module.js';
 import { erasureMod, erasureOtherMod } from './erasure-module.js';
+import { bindMod } from './bind-module.js';
 import { commentedDdlMod } from './migration-comments.js';
 import { assertAllowed, readAttachmentText, readHistory, readTimeline, readScopeTimeline, readScopeHistory, ulid, } from '@substrat-run/kernel';
+import { testOperations } from './test-operations.js';
 /**
  * #1744: the machine `test/move` walks, in the form `model.json` emits — what the suite
  * hands `lifecycleFlow`. #1745: also the one `test/refuse` asserts against, where
@@ -129,7 +132,7 @@ export const freshnessModManifest = moduleManifest.parse({
 export const freshnessMod = {
     manifest: freshnessModManifest,
     migrations: [],
-    operations: {},
+    ...testOperations({}),
 };
 /**
  * #1577: the module a resumable RUN acts through.
@@ -163,7 +166,7 @@ export const jobsMod = {
     migrations: [
         { version: '0001-init', sql: 'CREATE TABLE job_items (item TEXT NOT NULL)' },
     ],
-    operations: {
+    ...testOperations({
         // Deliberately NOT idempotent and NOT unique-keyed: a repeated step shows up as
         // a DUPLICATE ROW rather than being silently absorbed, which is the only way the
         // resume assertion can fail loudly when the memo stops working.
@@ -174,7 +177,7 @@ export const jobsMod = {
         'jobs/items': ((ctx) => ctx.sql
             .query('SELECT item FROM job_items ORDER BY rowid')
             .map((r) => r.item)),
-    },
+    }),
 };
 export const flowModManifest = moduleManifest.parse({
     id: '@test/flow',
@@ -1075,7 +1078,7 @@ export const testMod = {
       `,
         },
     ],
-    operations: {
+    ...testOperations({
         'testmod/add': addItem,
         'testmod/link-again': linkItemAgain,
         'testmod/link-undeclared': linkUndeclared,
@@ -1104,14 +1107,14 @@ export const testMod = {
         'testmod/project-journal': projectJournal,
         'testmod/read-items': readItems,
         'testmod/read-notes': readNotes,
-    },
+    }),
 };
 export const atomicMod = {
     manifest: atomicModManifest,
     migrations: [
         { version: '0001-init', sql: 'CREATE TABLE atomic_rows (id TEXT PRIMARY KEY, tag TEXT NOT NULL)' },
     ],
-    operations: {
+    ...testOperations({
         'atomic/rollback': atomicRollback,
         'atomic/success': atomicSuccess,
         'atomic/stacked': atomicStacked,
@@ -1123,14 +1126,14 @@ export const atomicMod = {
         'atomic/read-outbox': atomicReadOutbox,
         'atomic/read-tuples': atomicReadTuples,
         'atomic/read-intents': atomicReadIntents,
-    },
+    }),
 };
 export const scheduleMod = {
     manifest: scheduleModManifest,
     migrations: [
         { version: '0001-init', sql: 'CREATE TABLE sched_ticks (n INTEGER NOT NULL)' },
     ],
-    operations: {
+    ...testOperations({
         // The scheduled operation: check the granted permission, then emit + record a
         // tick. Under a system caller its emitted event's actor must be { system: … }.
         'sched/tick': (async (ctx) => {
@@ -1177,7 +1180,7 @@ export const scheduleMod = {
         // on `sched/schedule-state` — proving a FAILED run carries the identical id, not
         // just a fired one.
         'sched/read-denials': readDenialsOp,
-    },
+    }),
 };
 /**
  * #1525: the failure twin of `scheduleMod` itself — a SEPARATE module so registering
@@ -1207,11 +1210,11 @@ export const deniedScheduleModManifest = moduleManifest.parse({
 });
 export const deniedScheduleMod = {
     manifest: deniedScheduleModManifest,
-    operations: {
+    ...testOperations({
         'sched-denied/tick': (async (ctx) => {
             assertAllowed(await ctx.check('sched-denied:admin'));
         }),
-    },
+    }),
 };
 // -- #1654: a composed engine's own schedule, on a tenant holding only the vertical's key --
 /**
@@ -1246,7 +1249,7 @@ export function countComposedSweeps(ctx) {
 export const composedEngineMod = {
     manifest: composedEngineModManifest,
     migrations: [{ version: '0001-init', sql: 'CREATE TABLE composed_engine_sweeps (n INTEGER NOT NULL)' }],
-    operations: {
+    ...testOperations({
         'composed-engine/sweep': (async (ctx) => {
             assertAllowed(await ctx.check('composed-engine:sweep'));
             ctx.sql.exec('INSERT INTO composed_engine_sweeps (n) VALUES (1)');
@@ -1262,7 +1265,7 @@ export const composedEngineMod = {
             assertAllowed(await ctx.check('composed-engine:sweep'));
             ctx.sql.exec('INSERT INTO composed_engine_sweeps (n) VALUES (1)');
         }),
-    },
+    }),
 };
 /**
  * #1654's VERTICAL: holds the key a standard install grants (`composer`), and reads the
@@ -1282,9 +1285,9 @@ export const composerModManifest = moduleManifest.parse({
 });
 export const composerMod = {
     manifest: composerModManifest,
-    operations: {
+    ...testOperations({
         'composer/sweeps': ((ctx) => countComposedSweeps(ctx)),
-    },
+    }),
 };
 export const flowMod = {
     manifest: flowModManifest,
@@ -1294,7 +1297,7 @@ export const flowMod = {
             sql: 'CREATE TABLE flow_log (event_id TEXT PRIMARY KEY, type TEXT NOT NULL)',
         },
     ],
-    operations: {
+    ...testOperations({
         'flow/produce': ((ctx) => {
             ctx.emit({
                 type: 'flow.step1',
@@ -1317,7 +1320,7 @@ export const flowMod = {
          WHERE type IN ('flow.step1', 'flow.step2') ORDER BY id`)),
         'flow/causes': ((ctx) => ctx.sql.query(`SELECT id, type, operation, caused_by FROM _substrat_outbox
          WHERE type IN ('flow.step1', 'flow.step2') ORDER BY id`)),
-    },
+    }),
     consumers: {
         'flow.step1': flowStep1Consumer,
         'flow.step2': flowStep2Consumer,
@@ -1326,7 +1329,7 @@ export const flowMod = {
 export const guardedMod = {
     manifest: guardedModManifest,
     migrations: [{ version: '0001-init', sql: 'CREATE TABLE guarded_t (v TEXT NOT NULL)' }],
-    operations: {
+    ...testOperations({
         'guarded/act': ((ctx, input) => {
             ctx.sql.exec('INSERT INTO guarded_t (v) VALUES (?)', [input?.flag ?? 'none']);
             ctx.emit({
@@ -1344,7 +1347,7 @@ export const guardedMod = {
         'guarded/rows': ((ctx) => ctx.sql.query('SELECT v FROM guarded_t').map((r) => r.v)),
         'guarded/events': ((ctx) => ctx.sql.query('SELECT id FROM _substrat_outbox WHERE type = ?', ['guarded.acted'])
             .length),
-    },
+    }),
 };
 export const gateMod = {
     manifest: gateModManifest,
@@ -1374,31 +1377,31 @@ export const gateMod = {
 export const withdrawEarlyMod = { manifest: withdrawEarlyManifest };
 export const victimMod = {
     manifest: victimModManifest,
-    operations: {
+    ...testOperations({
         'victim/a': (() => 'a'),
         'victim/b': (() => 'b'),
         'victim/c': (() => 'c'),
-    },
+    }),
 };
 export const withdrawLateMod = { manifest: withdrawLateManifest };
 export const lateMod = {
     manifest: lateModManifest,
     migrations: [{ version: '0001-init', sql: 'CREATE TABLE late_t (id TEXT PRIMARY KEY)' }],
-    operations: {
+    ...testOperations({
         'late/check': ((ctx) => ctx.sql.query(`SELECT name FROM sqlite_master WHERE name = 'late_t'`)
             .length),
-    },
+    }),
 };
 export const billedMod = {
     manifest: billedModManifest,
-    operations: {
+    ...testOperations({
         'billed/act': (() => 'ran'),
         // #304: read the request-time entitlement view. Gated on 'billed' like every op in this
         // module, so the tenant holds 'billed' when it runs; the KEY read is the operation input,
         // letting a test read a held key, an absent key (→ null), or an expired one (→ null).
         'billed/read-entitlement': (async (ctx, key) => ctx.entitlement(key)),
         'billed/list-entitlements': (async (ctx) => ctx.entitlements()),
-    },
+    }),
 };
 export const impersonationEchoMod = {
     manifest: impersonationEchoManifest,
@@ -1408,9 +1411,9 @@ export const impersonationEchoMod = {
             sql: 'CREATE TABLE imp_echo (event_id TEXT PRIMARY KEY, impersonation TEXT)',
         },
     ],
-    operations: {
+    ...testOperations({
         'imp-echo/seen': ((ctx) => ctx.sql.query('SELECT event_id, impersonation FROM imp_echo ORDER BY event_id')),
-    },
+    }),
     consumers: {
         // The stamp as the CONSUMER received it, JSON-encoded so an absent one and a
         // null one stay distinguishable in the assertion.
@@ -1424,7 +1427,7 @@ export const impersonationEchoMod = {
 };
 export const permMod = {
     manifest: permModManifest,
-    operations: {
+    ...testOperations({
         'perm/link': linkOp,
         'perm/relink': relinkOp,
         'perm/probe': probeOp,
@@ -1499,7 +1502,7 @@ export const permMod = {
             await ctx.revoke(principalId.parse(i.principal), permissionKey.parse(i.permission), i.entity);
             return { revoked: true };
         }),
-    },
+    }),
     consumers: {
         'perm.check-requested': checkRequestedConsumer,
     },
@@ -1541,7 +1544,7 @@ export const connectorMod = {
             sql: 'CREATE TABLE connector_requests (id TEXT PRIMARY KEY, principal TEXT NOT NULL)',
         },
     ],
-    operations: {
+    ...testOperations({
         'connector/request-member': ((ctx, input) => {
             ctx.sql.exec('INSERT INTO connector_requests (id, principal) VALUES (?, ?)', [
                 input.principal,
@@ -1602,7 +1605,7 @@ export const connectorMod = {
             });
         }),
         'connector/requests': ((ctx) => ctx.sql.query('SELECT id FROM connector_requests')),
-    },
+    }),
 };
 /**
  * The modules the scope-host suite's `beforeAll` registers, in the exact order
@@ -1670,7 +1673,6 @@ export const listDeclaredOps = {
 };
 export const listMod = {
     manifest: listModManifest,
-    operationInputs: operationInputsOf(listDeclaredOps),
     migrations: [
         {
             version: '0001-init',
@@ -1680,7 +1682,7 @@ export const listMod = {
         },
         { version: '0002-hold', sql: 'ALTER TABLE list_orders ADD COLUMN hold TEXT;' },
     ],
-    operations: {
+    ...testOperations({
         'list/add': (async (ctx, input) => {
             const i = input;
             ctx.sql.exec('INSERT INTO list_orders (id, number, status, kind, hold) VALUES (?, ?, ?, ?, ?)', [
@@ -1748,7 +1750,7 @@ export const listMod = {
             ]);
             return ctx.page('listorder', { limit: 50 });
         }),
-    },
+    }, { inputs: operationInputsOf(listDeclaredOps) }),
 };
 export const searchModManifest = moduleManifest.parse({
     id: '@test/search',
@@ -1775,7 +1777,7 @@ export const searchMod = {
             CREATE TABLE search_notes (id TEXT PRIMARY KEY, body TEXT NOT NULL);`,
         },
     ],
-    operations: {
+    ...testOperations({
         'search/add': (async (ctx, input) => {
             const i = input;
             ctx.sql.exec('INSERT INTO search_customers (id, number, name) VALUES (?, ?, ?)', [
@@ -1816,7 +1818,7 @@ export const searchMod = {
             ]);
             return ctx.search('searchcustomer', i.term);
         }),
-    },
+    }),
 };
 // -- #893: the declared input the HOST parses ---------------------------------
 export const parseModManifest = moduleManifest.parse({
@@ -1873,12 +1875,11 @@ const parseDeclaration = {
 };
 export const parseMod = {
     manifest: parseModManifest,
-    operations: {
+    ...testOperations({
         'parse/echo': echo,
         'parse/paged': echo,
         'parse/bare': echo,
-    },
-    operationInputs: operationInputsOf(parseDeclaration),
+    }, { inputs: operationInputsOf(parseDeclaration) }),
 };
 // -- #129: the precondition the HOST compares ---------------------------------
 export const concurrencyModManifest = moduleManifest.parse({
@@ -1980,16 +1981,17 @@ const concurrencyDeclaration = {
 };
 export const concurrencyMod = {
     manifest: concurrencyModManifest,
-    operations: {
+    ...testOperations({
         'conc/update': concUpdate,
         'conc/read': concRead,
         'conc/silent': concSilent,
         'conc/keyless': concRead,
         'conc/forbidden': concForbidden,
         'conc/unguarded': concUnguarded,
-    },
-    operationInputs: operationInputsOf(concurrencyDeclaration),
-    operationConcurrency: operationConcurrencyOf(concurrencyDeclaration),
+    }, {
+        inputs: operationInputsOf(concurrencyDeclaration),
+        concurrency: operationConcurrencyOf(concurrencyDeclaration),
+    }),
 };
 // -- #116: request idempotency ------------------------------------------------
 export const idempotencyModManifest = moduleManifest.parse({
@@ -2080,17 +2082,18 @@ const idempotencyDeclaration = {
 };
 export const idempotencyMod = {
     manifest: idempotencyModManifest,
-    operations: {
+    ...testOperations({
         'idem/create': idemCreate,
         'idem/create-guarded': idemCreate,
         'idem/runs': idemRuns,
         'idem/fails': idemFails,
         'idem/big': idemBig,
         'idem/secret': idemSecret,
-    },
-    operationInputs: operationInputsOf(idempotencyDeclaration),
-    operationConcurrency: operationConcurrencyOf(idempotencyDeclaration),
-    operationIdempotencyOptOuts: operationIdempotencyOptOutsOf(idempotencyDeclaration),
+    }, {
+        inputs: operationInputsOf(idempotencyDeclaration),
+        concurrency: operationConcurrencyOf(idempotencyDeclaration),
+        idempotencyOptOuts: operationIdempotencyOptOutsOf(idempotencyDeclaration),
+    }),
 };
 // -- capabilities (#1672) ------------------------------------------------------
 /**
@@ -2146,7 +2149,7 @@ export const capMod = {
     migrations: [
         { version: '0001-init', sql: 'CREATE TABLE cap_notes (id TEXT PRIMARY KEY, body TEXT NOT NULL)' },
     ],
-    operations: {
+    ...testOperations({
         'cap/link': linkOp,
         'cap/share': ((ctx, input) => ctx.capabilities.mint(input)),
         // The link a vertical would hand back — the secret spliced into a URL fragment, so the
@@ -2269,7 +2272,7 @@ export const capMod = {
             }
             return out;
         }),
-    },
+    }),
     consumers: {
         // Records what the mint answered rather than letting the delivery fail, so the test
         // reads an outcome instead of inferring one from a dead letter.
@@ -2329,7 +2332,7 @@ export const peerMod = {
     migrations: [
         { version: '0001-init', sql: 'CREATE TABLE peer_notes (id TEXT PRIMARY KEY, body TEXT NOT NULL)' },
     ],
-    operations: {
+    ...testOperations({
         'peer/note': (async (ctx, input) => {
             assertAllowed(await ctx.check(PEER_WRITE));
             const { id, body } = input;
@@ -2366,7 +2369,7 @@ export const peerMod = {
         'peer/outbox': ((ctx) => ctx.sql.query("SELECT actor, authorization, operation, entity_id FROM _substrat_outbox WHERE type = 'peer.noted' ORDER BY id")),
         'peer/denials': readDenialsOp,
         'peer/tuples': ((ctx) => ctx.sql.query("SELECT subject, relation, object, revoked_at FROM _substrat_tuples WHERE substr(subject, 1, 9) = 'vertical:' ORDER BY subject, relation")),
-    },
+    }),
 };
 // -- #1746: what an invocation emitted ----------------------------------------
 export const emittedModManifest = moduleManifest.parse({
@@ -2404,7 +2407,7 @@ const touchAll = (ctx, ids) => {
  */
 export const emittedMod = {
     manifest: emittedModManifest,
-    operations: {
+    ...testOperations({
         'emitted/touch': ((ctx, input) => {
             touchAll(ctx, input.ids);
             return { touched: input.ids.length };
@@ -2428,7 +2431,7 @@ export const emittedMod = {
             }
             return { ok: true };
         }),
-    },
+    }),
     consumers: {
         'emitted.touched': ((ctx, event) => {
             ctx.emit({
@@ -2462,7 +2465,7 @@ export const loggedModManifest = moduleManifest.parse({
  */
 export const loggedMod = {
     manifest: loggedModManifest,
-    operations: {
+    ...testOperations({
         'logged/act': ((ctx, input) => {
             // `tenantId` and `operation` in the fields are the caller's own values: they stay
             // fields and never replace what the host stamps.
@@ -2480,7 +2483,7 @@ export const loggedMod = {
             ctx.log.error('could not reach {ticketId}', { ticketId: input.ticketId });
             throw new Error('logged/fail: refused after logging');
         }),
-    },
+    }),
     consumers: {
         'logged.acted': ((ctx, event) => {
             ctx.log.warn('saw {type}', { type: event.type });
@@ -2517,7 +2520,7 @@ export const ASYNC_LOG_SECRET_ENTITY = 'alice@example.com';
  */
 export const asyncLogMod = {
     manifest: asyncLogModManifest,
-    operations: {
+    ...testOperations({
         'asynclog/act': ((ctx, input) => {
             for (const tag of input.tags) {
                 ctx.emit({
@@ -2548,7 +2551,7 @@ export const asyncLogMod = {
             ctx.log.info('ticking, about to refuse');
             throw substratError('conflict', `tick refused: ${ASYNC_LOG_SECRET_TEXT}`);
         }),
-    },
+    }),
     consumers: {
         'asynclog.acted': ((ctx, event) => {
             const { tag, fail } = event.payload;
@@ -2594,6 +2597,9 @@ export const contractTestModules = [
     // its tables or invokes a `state/*` operation.
     stateMod,
     trashMod,
+    // #1773: the derived-handler suite's module. Inert for every other suite — nothing else reads
+    // its tables or invokes a `derived/*` operation.
+    derivedMod,
     // #2068: the subject-erasure suite's modules. Every scope in the kit carries them, so every
     // `shredSubject` in every suite runs their declared erasure and their hook — which reaches
     // only `er_*` tables nothing else writes, and misbehaves only for a subject the erasure suite
@@ -2601,6 +2607,10 @@ export const contractTestModules = [
     // module half is harmless where it holds nothing.
     erasureMod,
     erasureOtherMod,
+    // #1686: the binding-invite suite's record type. Every scope carries it, so every erasure in
+    // every suite also runs its capture and release — over no recorded binding unless the binding
+    // suite reconciled one onto that scope, and a hook that touches only `bind_*` tables.
+    bindMod,
     // #2068 r5: a module whose migrations comment their DDL and then drop the last column. Every
     // scope in the kit migrates it, so a regression fails loudly everywhere.
     commentedDdlMod,
@@ -2764,7 +2774,7 @@ const liveReshelveOp = async (ctx, input) => {
 export const liveMod = {
     manifest: liveModManifest,
     migrations: [],
-    operations: {
+    ...testOperations({
         'live/touch': liveTouchOp,
         'live/touch-ledger': liveTouchLedgerOp,
         'live/unshare': liveUnshareOp,
@@ -2773,7 +2783,7 @@ export const liveMod = {
         'live/touch-each': liveTouchEachOp,
         'live/shelve': liveShelveOp,
         'live/reshelve': liveReshelveOp,
-    },
+    }),
 };
 export const brokenModManifest = moduleManifest.parse({
     id: '@test/broken',
@@ -2801,9 +2811,9 @@ export const brokenMod = {
         { version: '0001-ok', sql: 'CREATE TABLE broken_ok (id TEXT PRIMARY KEY)' },
         { version: '0002-broken', sql: 'CREATE TABLE broken_t (' },
     ],
-    operations: {
+    ...testOperations({
         'broken/act': (() => 'ran'),
-    },
+    }),
 };
 /**
  * #1898: a module whose migration declares a foreign key to a spine table, and its twin whose
@@ -2832,7 +2842,7 @@ export const spineParentMod = {
             sql: 'CREATE TABLE lists (id TEXT PRIMARY KEY);\nCREATE TABLE notes (t TEXT REFERENCES/**/"_Substrat_Tuples"(subject));',
         },
     ],
-    operations: {},
+    ...testOperations({}),
 };
 /**
  * #2066: migrations that reach for the migration journal — one drops its digest fence, one writes
@@ -2845,14 +2855,14 @@ export const journalFenceDropMod = {
     migrations: [
         { version: '0001-init', sql: 'CREATE TABLE jt (id TEXT PRIMARY KEY);\nDROP TRIGGER "_Substrat_Migrations_Digest_Required";' },
     ],
-    operations: {},
+    ...testOperations({}),
 };
 export const journalWriteMod = {
     manifest: foreignKeyModManifest('@test/journal-write'),
     migrations: [
         { version: '0001-init', sql: "CREATE TABLE jt (id TEXT PRIMARY KEY);\nDELETE FROM main._substrat_migrations WHERE module_id = 'x';" },
     ],
-    operations: {},
+    ...testOperations({}),
 };
 /**
  * #2066 r3: authored migrations that reach for the rest of the spine — one shadows
@@ -2864,18 +2874,18 @@ export const spineShadowMod = {
     migrations: [
         { version: '0001-init', sql: 'CREATE TABLE jt (id TEXT PRIMARY KEY);\nCREATE TEMP TABLE "_Substrat_Tuples" (subject TEXT);' },
     ],
-    operations: {},
+    ...testOperations({}),
 };
 export const spineDropMod = {
     manifest: foreignKeyModManifest('@test/spine-drop'),
     migrations: [{ version: '0001-init', sql: 'CREATE TABLE jt (id TEXT PRIMARY KEY);\nDROP TABLE main._substrat_outbox;' }],
-    operations: {},
+    ...testOperations({}),
 };
 export const ownParentMod = {
     manifest: foreignKeyModManifest('@test/own-parent'),
     migrations: [
         { version: '0001-init', sql: 'CREATE TABLE lists (id TEXT PRIMARY KEY);\nCREATE TABLE notes (t TEXT REFERENCES lists(id));' },
     ],
-    operations: {},
+    ...testOperations({}),
 };
 //# sourceMappingURL=modules.js.map