@aotter/mantle 0.1.5-alpha.1 → 0.2.0-alpha.1

package/dist/testing/cases/store.js

@@ -0,0 +1,100 @@
+import { createStore } from '../../core/store/createStore.js';
+import { encodeCursor } from '../../core/store/cursor.js';
+import { NOW, boot, program, schemas } from '../harness.js';
+const user = (subject) => ({ kind: 'user', subject, role: null, scopes: [], credential: 'session', credentialId: null, clientId: null });
+const fail = async (f) => { try {
+    await f();
+    return undefined;
+}
+catch (e) {
+    return e;
+} };
+const conflict = (e) => e?.diagnostic?.code === 'CONFLICT' ? e.diagnostic.conflict : undefined;
+const invalid = (e) => e?.diagnostic?.code === 'INPUT_VALIDATION_FAILED';
+/** createdAt is a date-time on the wire, like a `format: date-time` field. */
+const EPOCH = '1970-01-01T00:00:00.000000Z';
+export async function run(r, engine) {
+    r.section('Store: JSON select and write, OCC, set ops, cursor, scope, TTL');
+    const b = await boot(engine);
+    const view = await program('view', 'SELECT id, name FROM items ORDER BY name', {});
+    let n = 0;
+    const store = createStore({ executor: b.executor, dialect: b.dialect, schemas, views: { names: { ir: view.ir, inputs: {} } }, now: () => NOW, newId: () => `id${++n}` });
+    const me = store.as(user('o1'));
+    const stock = async (id) => (await b.d1.all('SELECT stock, version FROM items WHERE id = ?1', [id]))[0];
+    // ---- reads: scope, TTL, projection, decoding ---------------------------------------------------------------------
+    r.equal("o1 sees its unexpired items in name order; another owner's and the expired row are absent; json decodes, native columns are named as ADR-0030 does", (await me.select({ from: 'items', columns: ['id', 'name', 'tags', 'createdAt'], orderBy: { name: 'asc' } })).rows, [{ id: 'a', name: 'apple', tags: ['red', 'big'], createdAt: EPOCH }, { id: 'b', name: 'berry', tags: ['blue'], createdAt: EPOCH }, { id: 'c', name: 'cherry', tags: ['red'], createdAt: EPOCH }, { id: 'd', name: 'date', tags: ['red'], createdAt: EPOCH }]);
+    r.equal('the host store (runtime.store) sees every owner but still not the expired row; an anonymous caller sees nothing of a scoped Schema', [(await store.select({ from: 'items', columns: ['id'], orderBy: { id: 'asc' }, limit: 500 })).rows.map((x) => x.id), (await store.as({ kind: 'anonymous' }).select({ from: 'items', columns: ['id'] })).rows], [['X_z1', 'X_z2', 'a', 'b', 'c', 'd'], []]);
+    r.equal('where: eq, ne, gt, in, notIn, like, isNull, not, or, and, and an in-subquery that is scoped too', await Promise.all([
+        me.select({ from: 'items', columns: ['id'], where: { cat: 'y' }, orderBy: { id: 'asc' } }),
+        me.select({ from: 'items', columns: ['id'], where: { stock: { gt: 5 }, cat: { ne: 'y' } }, orderBy: { id: 'asc' } }),
+        me.select({ from: 'items', columns: ['id'], where: { id: { in: ['a', 'X_z1'] } }, orderBy: { id: 'asc' } }),
+        me.select({ from: 'items', columns: ['id'], where: { name: { like: '%rr%' }, note: { isNull: true } }, orderBy: { id: 'asc' } }),
+        me.select({ from: 'items', columns: ['id'], where: { or: [{ id: 'a' }, { not: { cat: 'x' } }] }, orderBy: { id: 'asc' } }),
+        me.select({ from: 'orders', columns: ['id'], where: { item_id: { in: { select: 'id', from: 'items', where: { cat: 'x' } } } }, orderBy: { id: 'asc' } }),
+    ]).then((x) => x.map((y) => y.rows.map((z) => z.id))), [['c'], ['d'], ['a'], ['b'], ['a', 'c'], ['oa', 'ob']]);
+    // ---- search (ADR-0035 decision 7): the declared search fields through mantle.search, or the id --------------------------
+    r.equal("search: a three-character Chinese substring through the trigram index, a two-character one by scan, an exact id, and the id alone on a Schema with no search fields; another owner's and the expired notes are absent", await Promise.all([
+        me.select({ from: 'notes', columns: ['id'], search: '小籠包', orderBy: { id: 'asc' } }),
+        me.select({ from: 'notes', columns: ['id'], search: '小籠', orderBy: { id: 'asc' } }),
+        me.select({ from: 'notes', columns: ['id'], search: 'n4', orderBy: { id: 'asc' } }),
+        me.select({ from: 'items', columns: ['id'], search: 'a', orderBy: { id: 'asc' } }),
+    ]).then((x) => x.map((y) => y.rows.map((z) => z.id))), [['n1'], ['n1'], ['n4'], ['a']]);
+    r.equal('search matches an id exactly: a LIKE wildcard or a prefix of an id matches nothing', await Promise.all(['%', '_', 'n'].map(async (q) => (await me.select({ from: 'items', columns: ['id'], search: q })).rows)), [[], [], []]);
+    r.check('search takes a non-empty string', invalid(await fail(() => me.select({ from: 'notes', search: ' ' }))) && invalid(await fail(() => me.select({ from: 'notes', search: 3 }))));
+    // ---- cursor: one opaque format, bound to the query ----------------------------------------------------------------------
+    const p1 = await me.select({ from: 'items', columns: ['id'], orderBy: { id: 'asc' }, limit: 3 });
+    const p2 = await me.select({ from: 'items', columns: ['id'], orderBy: { id: 'asc' }, limit: 3, cursor: p1.nextCursor });
+    r.equal('cursor: two pages of 3 then 1, no repeats; the last page has no cursor; the cursor is an opaque v1 string', [p1.rows.map((x) => x.id), p2.rows.map((x) => x.id), p2.nextCursor, /^v1\./.test(p1.nextCursor)], [['a', 'b', 'c'], ['d'], undefined, true]);
+    const stolen = await fail(() => me.select({ from: 'items', columns: ['id'], orderBy: { name: 'asc' }, limit: 3, cursor: p1.nextCursor }));
+    r.check("a cursor from another query (other sort column) is refused, and a made-up cursor is refused", invalid(stolen) && invalid(await fail(() => me.select({ from: 'items', cursor: 'v1.garbage' }))), stolen?.message);
+    const forged = await fail(() => me.select({ from: 'items', columns: ['id'], cursor: encodeCursor('items:updated_at:desc', [{ x: 1 }, 'a']) }));
+    r.check('a well-formed cursor whose keys are not scalars is refused as input, not as a driver error', invalid(forged), forged?.message);
+    const vp = await me.view('names', { limit: 2 });
+    r.equal('a View pages through the same cursor and returns rows in order', [vp.rows.map((x) => x.name), (await me.view('names', { limit: 2, cursor: vp.nextCursor })).rows.map((x) => x.name)], [['apple', 'berry'], ['cherry', 'date']]);
+    // ---- row ops: insert, update with lock, delete ---------------------------------------------------------------------------
+    const [ins] = await me.write([{ insert: 'items', values: { name: 'elder', cat: 'z', stock: 1, tags: ['x'] } }]);
+    r.check('insert returns { id, version: 1 } with a generated id (a scoped Schema generates its own), owned by the caller and stamped with author', /^[0-9a-f]{32}$/.test(ins.id) && ins.version === 1
+        && ((x) => JSON.stringify({ ...x, updated_at: Date.parse(b.dialect.codec.decode('timestamptz', x.updated_at)) * 1000 }))((await b.d1.all('SELECT owner, author_id, updated_at FROM items WHERE id = ?1', [ins.id]))[0]) === JSON.stringify({ owner: 'o1', author_id: 'o1', updated_at: NOW }), ins);
+    const [upd] = await me.write([{ update: 'items', set: { stock: 9 }, where: { id: ins.id }, lock: 1 }]);
+    r.equal('update with the observed version: { id, version: 2 }', [upd.version, (await stock(ins.id)).stock], [2, 9]);
+    const stale = await fail(() => me.write([{ update: 'items', set: { stock: 0 }, where: { id: ins.id }, lock: 1 }]));
+    r.equal('a stale lock: CONFLICT reason "lock" naming op 0; nothing written', [conflict(stale), (await stock(ins.id)).stock], [{ opIndex: 0, reason: 'lock' }, 9]);
+    const hidden = await fail(() => me.write([{ update: 'items', set: { stock: 0 }, where: { id: 'X_z1' }, lock: 1 }]));
+    r.equal("another owner's row: CONFLICT reason \"expect\" (an invisible row is a missing row, never \"lock\")", [conflict(hidden), (await stock('X_z1')).stock], [{ opIndex: 0, reason: 'expect' }, 50]);
+    const [del] = await me.write([{ delete: 'items', where: { id: ins.id }, lock: 2 }]);
+    r.equal('delete with lock returns { id, version }, and the row is gone', [del.version, (await stock(ins.id))], [2, undefined]);
+    // ---- set ops, expect, atomicity --------------------------------------------------------------------------------------------------
+    const [setOp] = await me.write([{ update: 'items', set: { note: 'bulk' }, where: { cat: 'x' } }]);
+    r.equal('a set op returns { affected } (a, b, d; the other owner\'s and the expired x rows are not touched)', [setOp, (await b.d1.all("SELECT id FROM items WHERE note = 'bulk' ORDER BY id")).map((x) => x.id)], [{ affected: 3 }, ['a', 'b', 'd']]);
+    const wrong = await fail(() => me.write([{ update: 'items', set: { stock: 1 }, where: { id: 'a' } }, { delete: 'items', where: { cat: 'x' }, expect: 2 }]));
+    r.equal('expect that does not hold fails the whole write with CONFLICT naming that op, and the first op is rolled back', [conflict(wrong), (await stock('a')).stock], [{ opIndex: 1, reason: 'expect' }, 5]);
+    const classes = await me.write([
+        { update: 'items', set: { note: 'c' }, where: { id: 'a', stock: { gte: 0 } } }, { update: 'items', set: { note: 'c' }, where: { id: { eq: 'b' } } }, { update: 'items', set: { note: 'c' }, where: { cat: 'x' } },
+    ]);
+    r.equal('classification: { id } alone, with more conditions, or as { eq } is a row op ({ id, version }); { cat } is a set op ({ affected }); a scoped rewrite does not change the class', classes.map((x) => ('version' in x ? 'row' : 'set')), ['row', 'row', 'set']);
+    const noMatch = await fail(() => me.write([{ update: 'items', set: { note: 'c' }, where: { id: 'a', stock: { gte: 9999 } } }]));
+    r.equal('a row op whose other conditions fail matches nothing: CONFLICT reason "expect"', conflict(noMatch), { opIndex: 0, reason: 'expect' });
+    const noRow = await me.write([{ update: 'items', set: { note: 'c' }, where: { id: 'X_z1' }, expect: 0 }]);
+    r.equal("expect: 0 on a row op that matches nothing (another owner's row) succeeds with { affected: 0 }", noRow, [{ affected: 0 }]);
+    // ---- upsert -------------------------------------------------------------------------------------------------------------------------
+    const up = await me.write([
+        { insert: 'settings', values: { key: 'theme', value: 'light' }, onConflict: { columns: ['key'], update: { value: 'light' } } },
+        { insert: 'settings', values: { key: 'theme', value: 'x' }, onConflict: 'ignore' },
+        { insert: 'settings', values: { key: 'fresh', value: 'v' }, onConflict: 'ignore' },
+    ]);
+    r.equal("upsert and ignore are set ops returning { affected }; the caller's own row is updated, another owner's same-key row is not", [up, (await b.d1.all("SELECT owner, value FROM settings WHERE key = 'theme' ORDER BY owner")).map((x) => x.value)], [[{ affected: 1 }, { affected: 0 }, { affected: 1 }], ['light', 'dark']]);
+    // ---- refusals -------------------------------------------------------------------------------------------------------------------------
+    const refused = await Promise.all([
+        () => me.select({ from: 'nope' }), () => me.select({ from: 'items', columns: ['nope'] }), () => me.select({ from: 'items', where: { tags: 'x' } }),
+        () => me.select({ from: 'items', limit: 501 }), () => me.select({ from: 'items', orderBy: { name: 'asc', id: 'asc' } }), () => me.select({ from: 'items', where: { status: 'x' } }),
+        () => me.write([{ insert: 'items', values: { id: 'mine', name: 'x' } }]), () => me.write([{ insert: 'items', values: { owner: 'o2', name: 'x' } }]),
+        () => me.write([{ update: 'items', set: { version: 9 }, where: { id: 'a' } }]), () => me.write([]),
+        () => me.select({ from: 'items', where: { stock: { gt: 'x' } } }), () => me.select({ from: 'items', where: {} }),
+    ].map(fail));
+    r.check('refused with INPUT_VALIDATION_FAILED: unknown Schema and column, non-scalar where, limit 501, two sort columns, status on a Schema without publishing, a caller-chosen id or the owner on a scoped insert, writing version, an empty write, a wrongly typed value, an empty where', refused.every(invalid), refused.map((e) => e?.message?.slice(0, 60)));
+    // ---- TTL sweep ------------------------------------------------------------------------------------------------------------------------
+    const dry = await store.sweepExpired({ collection: 'items', delete: false });
+    const swept = await store.sweepExpired({ collection: 'items' });
+    r.equal('sweepExpired: a dry run counts the one expired row, the sweep removes it (only it), and a second sweep finds nothing', [dry, swept, (await store.sweepExpired({ collection: 'items' })).scanned, (await b.d1.all("SELECT count(*) AS c FROM items WHERE id = 'X_e1'"))[0].c], [{ scanned: 1, removed: 0 }, { scanned: 1, removed: 1 }, 0, 0]);
+}
+//# sourceMappingURL=store.js.map

package/dist/testing/cases/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../../src/testing/cases/store.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE5D,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AACzI,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC;IAAC,MAAM,CAAC,EAAE,CAAC;IAAC,OAAO,SAAS,CAAC;AAAC,CAAC;AAAC,OAAO,CAAC,EAAE,CAAC;IAAC,OAAO,CAAC,CAAC;AAAC,CAAC,CAAC,CAAC,CAAC;AAC3F,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/F,MAAM,OAAO,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,KAAK,yBAAyB,CAAC;AAEzE,8EAA8E;AAC9E,MAAM,KAAK,GAAG,6BAA6B,CAAC;AAE5C,MAAM,CAAC,KAAK,UAAU,GAAG,CAAC,CAAS,EAAE,MAAc;IACjD,CAAC,CAAC,OAAO,CAAC,gEAAgE,CAAC,CAAC;IAC5E,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,0CAA0C,EAAE,EAAE,CAAC,CAAC;IACnF,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACzK,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,gDAAgD,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAExG,qHAAqH;IACrH,CAAC,CAAC,KAAK,CAAC,oJAAoJ,EAC1J,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EACjH,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAChQ,CAAC,CAAC,KAAK,CAAC,oIAAoI,EAC1I,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAC7M,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,KAAK,CAAC,iGAAiG,EACvG,MAAM,OAAO,CAAC,GAAG,CAAC;QAChB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QAC1F,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QACpH,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3G,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QAChI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QAC1H,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;KACzJ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EACrD,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAE1D,4HAA4H;IAC5H,CAAC,CAAC,KAAK,CAAC,uNAAuN,EAC7N,MAAM,OAAO,CAAC,GAAG,CAAC;QAChB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QACpF,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QACnF,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QACnF,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;KACnF,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EACrD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,KAAK,CAAC,oFAAoF,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACxO,CAAC,CAAC,KAAK,CAAC,iCAAiC,EAAE,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvL,4HAA4H;IAC5H,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACjG,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC;IACxH,CAAC,CAAC,KAAK,CAAC,2GAA2G,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IAClQ,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC1I,CAAC,CAAC,KAAK,CAAC,6FAA6F,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1N,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,uBAAuB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/I,CAAC,CAAC,KAAK,CAAC,4FAA4F,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACxI,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,KAAK,CAAC,gEAAgE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAEzO,6HAA6H;IAC7H,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAChH,CAAC,CAAC,KAAK,CAAC,wIAAwI,EAAE,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC;WAC/L,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,8DAA8D,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACtS,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvG,CAAC,CAAC,KAAK,CAAC,sDAAsD,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpH,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnH,CAAC,CAAC,KAAK,CAAC,mEAAmE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAClK,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpH,CAAC,CAAC,KAAK,CAAC,qGAAqG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACxM,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACpF,CAAC,CAAC,KAAK,CAAC,+DAA+D,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IAE/H,qIAAqI;IACrI,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAClG,CAAC,CAAC,KAAK,CAAC,oGAAoG,EAAE,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,sDAAsD,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACtP,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5J,CAAC,CAAC,KAAK,CAAC,+GAA+G,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAE7M,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC;QAC7B,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;KAClN,CAAC,CAAC;IACH,CAAC,CAAC,KAAK,CAAC,gLAAgL,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACvQ,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAChI,CAAC,CAAC,KAAK,CAAC,gFAAgF,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAE/I,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1G,CAAC,CAAC,KAAK,CAAC,gGAAgG,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAEpI,wIAAwI;IACxI,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC;QACxB,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;QAC9H,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE;QAClF,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE;KACnF,CAAC,CAAC;IACH,CAAC,CAAC,KAAK,CAAC,4HAA4H,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,sEAAsE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAEpU,0IAA0I;IAC1I,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAChC,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;QAClJ,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QACnL,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACnJ,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QAClG,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;KACjH,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACb,CAAC,CAAC,KAAK,CAAC,mRAAmR,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAEnW,0IAA0I;IAC1I,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,KAAK,CAAC,sHAAsH,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,mDAAmD,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACzV,CAAC"}

package/dist/testing/harness.d.ts

@@ -0,0 +1,94 @@
+/**
+ * Shared fixtures and the harness the conformance cases run through: Schemas, two owners' rows (o1 is the
+ * caller, o2 the other owner), rows that are expired or unpublished, and thin wrappers over the core runner.
+ *
+ * Every row the caller must never see has an id starting `X_` and text containing `LEAK`, so a probe can
+ * assert "no result contains LEAK" without knowing what it queried.
+ */
+import { type SqlDialect, type SqlNode } from "../spec/index.js";
+import type { DatabaseDriver, SqlStatement } from "../core/driver.js";
+import type { MantleDialect, StorageSchema, StoreCodec } from "../core/dialect.js";
+import type { MantleStorageAdapter } from "../core/service.js";
+import type { StoreExecutor } from "../core/store.js";
+import { type BindContext, type Compiled, type Mode } from "../core/sql/compile.js";
+import type { RelationPosition } from "../core/sql/positions.js";
+import { type Program } from "../core/sql/run.js";
+export type { Program } from "../core/sql/run.js";
+/** The driver plus the few conveniences the cases use. */
+export declare class Db {
+    readonly driver: DatabaseDriver;
+    constructor(driver: DatabaseDriver);
+    all(sql: string, binds?: unknown[]): Promise<any[]>;
+    batch(stmts: SqlStatement[]): Promise<readonly import("../core/driver.js").SqlResult[]>;
+    exec(stmts: (string | SqlStatement)[]): Promise<void>;
+    /** Rows, or the error text (for probes that expect a refusal). */
+    try(sql: string, binds?: unknown[]): Promise<{
+        rows: any[];
+    } | {
+        error: string;
+    }>;
+}
+export declare const NOW: number;
+export declare const caller: (input?: Record<string, unknown>, uid?: string) => BindContext;
+export declare const schemas: Record<string, StorageSchema>;
+/** a point and places at known distances north of it */
+export declare const CENTER: {
+    lat: number;
+    lng: number;
+};
+export declare const north: (m: number) => number;
+/** An instant as the wire gives it; the fixture encodes it through the dialect's codec. */
+export declare const iso: (us: number) => string;
+/** The fixture rows, typed values in the dialect's own storage encoding (the codec), so the seed is plain SQL on any engine. */
+export declare const seed: ({ encode }: StoreCodec) => SqlStatement[];
+/** What the engine under test is: its storage adapter (the dialect's runtime side) and a driver for fixture SQL. */
+export interface Engine {
+    readonly storage: MantleStorageAdapter;
+    readonly driver: DatabaseDriver;
+}
+export type Booted = {
+    d1: Db;
+    schemas: Record<string, StorageSchema>;
+    executor: StoreExecutor;
+    dialect: MantleDialect;
+};
+/** Converge the fixture Schemas through the dialect, then seed them with plain SQL. */
+export declare function boot(engine: Engine): Promise<Booted>;
+export declare const useCompileSide: (dialect: SqlDialect | undefined) => void;
+export declare function reset(b: Booted): Promise<void>;
+export type Verb = "insert" | "update" | "delete";
+export type Hooks = {
+    before?: Record<string, Partial<Record<Verb, (cause: {
+        row: any;
+    }) => unknown>>>;
+    after?: Record<string, Partial<Record<Verb, (cause: {
+        rows: [any, ...any[]];
+    }) => unknown>>>;
+};
+export type Site = Booted & {
+    hooks?: Hooks;
+    mode?: Mode;
+    seen?: Set<RelationPosition>;
+    unsafeNoVisibility?: boolean;
+};
+export declare const site: (b: Booted, hooks?: Hooks) => Site;
+/** SQL text to a Program, going through the CLI path (parse, validate with offsets, strip). */
+export declare function program(kind: "view" | "procedure", sql: string, inputs?: Record<string, string>, s?: Record<string, StorageSchema>): Promise<Program>;
+export declare function runProcedure(s: Site, p: Program, bind: BindContext): Promise<{
+    rows: any[][];
+    batch: {
+        ir: SqlNode;
+        binds: readonly unknown[];
+    }[];
+}>;
+export declare function runView(s: Site, p: Program, bind: BindContext, opts?: {
+    cursor?: unknown[];
+    pageSize?: number;
+}): Promise<import("../core/sql/run.js").ViewPage>;
+export declare const compileProgram: (s: Site, p: Program) => Compiled[];
+export declare const isConflict: (e: unknown) => boolean;
+export declare const opIndexOf: (e: unknown) => number | undefined;
+export declare const isCheck: (e: unknown) => boolean;
+/** A refusal of the IR or of the write: `INPUT_VALIDATION_FAILED` whose message starts with the SQL_* code. */
+export declare const isRefusal: (e: unknown, code?: string) => boolean;
+//# sourceMappingURL=harness.d.ts.map

package/dist/testing/harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../src/testing/harness.ts"],"names":[],"mappings":"AACA;;;;;;GAMG;AACH,OAAO,EAAuE,KAAK,UAAU,EAAE,KAAK,OAAO,EAAE,MAAM,kBAAkB,CAAC;AACtI,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACnF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAA+B,KAAK,WAAW,EAAE,KAAK,QAAQ,EAAE,KAAK,IAAI,EAAE,MAAM,wBAAwB,CAAC;AACjH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAA6D,KAAK,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAE7G,YAAY,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAUlD,0DAA0D;AAC1D,qBAAa,EAAE;IACD,QAAQ,CAAC,MAAM,EAAE,cAAc;gBAAtB,MAAM,EAAE,cAAc;IACrC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,GAAE,OAAO,EAAO,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAG7D,KAAK,CAAC,KAAK,EAAE,YAAY,EAAE;IAGrB,IAAI,CAAC,KAAK,EAAE,CAAC,MAAM,GAAG,YAAY,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAG3D,kEAAkE;IAC5D,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,GAAE,OAAO,EAAO,GAAG,OAAO,CAAC;QAAE,IAAI,EAAE,GAAG,EAAE,CAAA;KAAE,GAAG;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CAO5F;AAED,eAAO,MAAM,GAAG,QAA4C,CAAC;AAC7D,eAAO,MAAM,MAAM,GAAI,QAAO,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,EAAE,YAAU,KAAG,WAAyC,CAAC;AAEnH,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CASjD,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,MAAM;;;CAAiC,CAAC;AAErD,eAAO,MAAM,KAAK,GAAI,GAAG,MAAM,WAA2C,CAAC;AAE3E,2FAA2F;AAC3F,eAAO,MAAM,GAAG,GAAI,IAAI,MAAM,WAAsC,CAAC;AAMrE,gIAAgI;AAChI,eAAO,MAAM,IAAI,GAAI,YAAY,UAAU,KAAG,YAAY,EA2BzD,CAAC;AAGF,oHAAoH;AACpH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;CACjC;AACD,MAAM,MAAM,MAAM,GAAG;IAAE,EAAE,EAAE,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAAC,QAAQ,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,aAAa,CAAA;CAAE,CAAC;AAEzH,uFAAuF;AACvF,wBAAsB,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAS1D;AAID,eAAO,MAAM,cAAc,GAAI,SAAS,UAAU,GAAG,SAAS,SAA+B,CAAC;AAC9F,wBAAsB,KAAK,CAAC,CAAC,EAAE,MAAM,iBAGpC;AAGD,MAAM,MAAM,IAAI,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAClD,MAAM,MAAM,KAAK,GAAG;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE;QAAE,GAAG,EAAE,GAAG,CAAA;KAAE,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;IACjF,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE;QAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,CAAA;KAAE,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;CAC9F,CAAC;AAcF,MAAM,MAAM,IAAI,GAAG,MAAM,GAAG;IAC1B,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC7B,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B,CAAC;AACF,eAAO,MAAM,IAAI,GAAI,GAAG,MAAM,EAAE,QAAQ,KAAK,KAAG,IAAyB,CAAC;AAE1E,+FAA+F;AAC/F,wBAAsB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,EAAE,CAAC,gCAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAIzI;AAiBD,wBAAsB,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW;UAGhD,GAAG,EAAE,EAAE;;YAhBT,OAAO;eAAS,SAAS,OAAO,EAAE;;GAiBxD;AACD,wBAAsB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,kDAEzH;AACD,eAAO,MAAM,cAAc,GAAI,GAAG,IAAI,EAAE,GAAG,OAAO,KAAG,QAAQ,EACsG,CAAC;AAIpK,eAAO,MAAM,UAAU,GAAI,GAAG,OAAO,YAAiC,CAAC;AACvE,eAAO,MAAM,SAAS,GAAI,GAAG,OAAO,uBAA+B,CAAC;AACpE,eAAO,MAAM,OAAO,GAAI,GAAG,OAAO,YAAoF,CAAC;AACvH,+GAA+G;AAC/G,eAAO,MAAM,SAAS,GAAI,GAAG,OAAO,EAAE,OAAO,MAAM,YAA4J,CAAC"}

package/dist/testing/harness.js

@@ -0,0 +1,168 @@
+// @ts-nocheck test code over loosely typed IR and rows
+/**
+ * Shared fixtures and the harness the conformance cases run through: Schemas, two owners' rows (o1 is the
+ * caller, o2 the other owner), rows that are expired or unpublished, and thin wrappers over the core runner.
+ *
+ * Every row the caller must never see has an id starting `X_` and text containing `LEAK`, so a probe can
+ * assert "no result contains LEAK" without knowing what it queried.
+ */
+import { compileSql, DiagnosticError, RUNTIME_PLAN_VERSION } from "../spec/index.js";
+import { compileProgram as compileIr } from "../core/sql/compile.js";
+import { runProcedure as run, runView as runV } from "../core/sql/run.js";
+/** `stock >= 0` as IR, compiled the way the CLI compiles a Schema check (`compilePlan` will emit it). */
+const ITEM_FIELDS = { name: "text", cat: "text", stock: "integer", tags: "json", note: "text" };
+const check = async (text) => {
+    const r = await compileSql(`SELECT 1 FROM items WHERE ${text}`, { schemas: { items: { scope: "owner", fields: ITEM_FIELDS } }, inputs: {}, kind: "view" });
+    if (!r.ok)
+        throw new Error(r.diagnostic.message);
+    return r.plan.stmts[0].SelectStmt.whereClause;
+};
+/** The driver plus the few conveniences the cases use. */
+export class Db {
+    driver;
+    constructor(driver) {
+        this.driver = driver;
+    }
+    async all(sql, binds = []) {
+        return [...(await this.driver.batch([{ sql, binds }]))[0].rows];
+    }
+    batch(stmts) {
+        return this.driver.batch(stmts);
+    }
+    async exec(stmts) {
+        for (const s of stmts)
+            await this.driver.batch([typeof s === "string" ? { sql: s } : s]);
+    }
+    /** Rows, or the error text (for probes that expect a refusal). */
+    async try(sql, binds = []) {
+        try {
+            return { rows: await this.all(sql, binds) };
+        }
+        catch (e) {
+            return { error: e.message };
+        }
+    }
+}
+export const NOW = Date.parse('2026-09-29T00:00:00Z') * 1000; // microseconds
+export const caller = (input = {}, uid = 'o1') => ({ uid, now: NOW, input });
+export const schemas = {
+    items: { scope: 'owner', indexes: [['owner']], ttl: 'expires_at', ttlSeconds: 3600, fields: { name: 'text', cat: 'text', stock: 'integer', tags: 'json', note: 'text', expires_at: 'timestamptz' }, checks: [await check('stock >= 0')] },
+    requisitions: { scope: 'owner', indexes: [['owner']], fields: { item_id: 'text', qty: 'integer', state: 'text' } },
+    orders: { scope: 'owner', indexes: [['owner']], fields: { item_id: 'text', qty: 'integer', total: 'numeric(12,2)' } },
+    settings: { scope: 'owner', fields: { key: 'text', value: 'text' }, unique: [['key']] },
+    posts: { publishing: true, ttl: 'expires_at', ttlSeconds: 3600, fields: { title: 'text', body: 'text', expires_at: 'timestamptz' }, search: ['title', 'body'] },
+    notes: { scope: 'owner', ttl: 'expires_at', ttlSeconds: 3600, fields: { title: 'text', body: 'text', expires_at: 'timestamptz' }, search: ['title', 'body'], unique: [['title']] },
+    places: { scope: 'owner', indexes: [['owner']], ttl: 'expires_at', ttlSeconds: 3600, fields: { name: 'text', loc: 'geo', expires_at: 'timestamptz' } },
+    events: { scope: 'owner', indexes: [['owner']], fields: { title: 'text', at: 'timestamptz', day: 'date', amount: 'numeric(12,2)', qty: 'integer' } },
+};
+/** a point and places at known distances north of it */
+export const CENTER = { lat: 25.033, lng: 121.5654 };
+const METERS_PER_DEGREE_LAT = (2 * Math.PI * 6_371_008.8) / 360;
+export const north = (m) => CENTER.lat + m / METERS_PER_DEGREE_LAT;
+/** An instant as the wire gives it; the fixture encodes it through the dialect's codec. */
+export const iso = (us) => new Date(us / 1000).toISOString();
+const FUTURE = iso(NOW + 1_000_000_000_000);
+const T0 = iso(0);
+const EXPIRED = T0;
+/** Fixture SQL whose `${values}` become numbered binds. */
+const q = (strings, ...binds) => ({ sql: strings.reduce((a, s, i) => `${a}?${i}${s}`), binds });
+/** The fixture rows, typed values in the dialect's own storage encoding (the codec), so the seed is plain SQL on any engine. */
+export const seed = ({ encode }) => {
+    const [t0, future, expired] = [T0, FUTURE, EXPIRED].map((v) => encode("timestamptz", v));
+    const tags = (...t) => encode("json", t);
+    const cents = (v) => encode("numeric(12,2)", v);
+    return [
+        q `INSERT INTO items (id, owner, created_at, expires_at, name, cat, stock, tags, note) VALUES
+    ('a','o1',${t0},NULL,'apple','x',5,${tags("red", "big")},NULL), ('b','o1',${t0},NULL,'berry','x',2,${tags("blue")},NULL),
+    ('c','o1',${t0},${future},'cherry','y',9,${tags("red")},'nc'), ('d','o1',${t0},NULL,'date','x',7,${tags("red")},'nd'),
+    ('X_e1','o1',${t0},${expired},'LEAK-expired','x',100,${tags("LEAK-tag")},NULL),
+    ('X_z1','o2',${t0},NULL,'LEAK-zeta','x',50,${tags("LEAK-tag")},NULL), ('X_z2','o2',${t0},NULL,'LEAK-zulu','y',60,${tags("LEAK-tag")},NULL)`,
+        q `INSERT INTO requisitions (id, owner, created_at, item_id, qty, state) VALUES ('r1','o1',${t0},'a',2,'pending'), ('r2','o1',${t0},'b',1,'pending'), ('X_rz','o2',${t0},'X_z1',1,'pending')`,
+        q `INSERT INTO orders (id, owner, created_at, item_id, qty, total) VALUES
+    ('oa','o1',${t0},'a',3,${cents("10.50")}), ('ob','o1',${t0},'a',1,${cents("3.50")}), ('oe','o1',${t0},'X_e1',9,${cents("9.00")}), ('X_oz','o2',${t0},'a',99,${cents("99.00")}), ('X_oz2','o2',${t0},'X_z1',5,${cents("5.00")})`,
+        q `INSERT INTO settings (id, owner, created_at, key, value) VALUES ('s1','o1',${t0},'theme','dark'), ('X_sz','o2',${t0},'theme','dark'), ('X_sz2','o2',${t0},'lang','xx')`,
+        q `INSERT INTO posts (id, created_at, expires_at, status, title, body) VALUES
+    ('p1',${t0},NULL,'published','Hello world','a public post'), ('X_p2',${t0},NULL,'draft','LEAK-draft','not yet'), ('X_p3',${t0},${expired},'published','LEAK-expired-post','gone')`,
+        q `INSERT INTO notes (id, owner, created_at, expires_at, title, body) VALUES
+    ('n1','o1',${t0},NULL,'台北小籠包推薦','best xiaolongbao in town'), ('n2','o1',${t0},NULL,'Hello World','apple pie recipe'),
+    ('n3','o1',${t0},NULL,'apple apple apple','apple'), ('n4','o1',${t0},NULL,'hello there','5% off, a_b literal'),
+    ('n5','o1',${t0},NULL,'title:hello OR world','operators are literal'),
+    ('X_n1','o2',${t0},NULL,'LEAK 小籠包 hello apple','LEAK'), ('X_n2','o1',${t0},${expired},'LEAK 小籠包 hello apple','LEAK')`,
+        q `INSERT INTO places (id, owner, created_at, expires_at, name, loc_lat, loc_lng) VALUES
+    ('pl300','o1',${t0},NULL,'near300',${north(300)},${CENTER.lng}), ('pl1200','o1',${t0},NULL,'near1200',${north(1200)},${CENTER.lng}),
+    ('pl4900','o1',${t0},NULL,'near4900',${north(4900)},${CENTER.lng}), ('pl5200','o1',${t0},NULL,'near5200',${north(5200)},${CENTER.lng}),
+    ('pl10000','o1',${t0},NULL,'near10000',${north(10000)},${CENTER.lng}),
+    ('X_pl1','o2',${t0},NULL,'LEAK-other-owner',${north(300)},${CENTER.lng}), ('X_pl2','o1',${t0},${expired},'LEAK-expired',${north(300)},${CENTER.lng})`,
+    ];
+};
+/** Converge the fixture Schemas through the dialect, then seed them with plain SQL. */
+export async function boot(engine) {
+    const d1 = new Db(engine.driver);
+    const { name, version } = engine.storage.dialect;
+    // a whole plan, so a dialect that reads more of it than the Schemas sees one; the fixture declares no Views or Procedures
+    const plan = { version: RUNTIME_PLAN_VERSION, dialect: { name, version }, fingerprint: "conformance", views: {}, procedures: {}, triggers: {},
+        schemas: Object.fromEntries(Object.entries(schemas).map(([n, d]) => [n, { ...d, name: n, names: {}, schema: { type: "object" } }])) };
+    const { executor } = await engine.storage.prepare(plan);
+    await d1.exec(seed(engine.storage.dialect.codec));
+    return { d1, schemas, executor, dialect: engine.storage.dialect };
+}
+/** The compile side the cases compile with; the suite sets it from its options (D1 when unset). */
+let compileSide;
+export const useCompileSide = (dialect) => { compileSide = dialect; };
+export async function reset(b) {
+    for (const t of Object.keys(schemas))
+        await b.d1.exec([`DELETE FROM ${t}`]);
+    await b.d1.exec(seed(b.dialect.codec));
+}
+const VERB = { create: "insert", update: "update", delete: "delete" };
+const keys = (h) => new Set(Object.entries(h ?? {}).flatMap(([s, v]) => Object.keys(v).map((verb) => `${s}.${verb}`)));
+function lifecycleOf(h) {
+    if (!h)
+        return undefined;
+    const call = async (stage, events) => {
+        for (const e of events) {
+            const verb = VERB[e.hook.split("_")[1]];
+            await h[stage]?.[e.schema]?.[verb]?.(stage === "before" ? { row: e.rows[0] } : { rows: e.rows });
+        }
+    };
+    return { dispatcher: { before: (e) => call("before", e), after: (e) => call("after", e) }, before: keys(h.before), after: keys(h.after) };
+}
+export const site = (b, hooks) => ({ ...b, hooks });
+/** SQL text to a Program, going through the CLI path (parse, validate with offsets, strip). */
+export async function program(kind, sql, inputs = {}, s = schemas) {
+    const r = await compileSql(sql, { schemas: s, inputs, kind }, compileSide);
+    if (!r.ok)
+        throw new Error(`${r.diagnostic.code}: ${r.diagnostic.message}`);
+    return { kind, inputs, ir: r.plan.stmts };
+}
+/** The dialect's executor, recording each applied statement (IR and binds). */
+const recording = (inner) => {
+    const batches = [];
+    const executor = { maxBindings: inner.maxBindings, select: (s) => inner.select(s), apply: (b) => (batches.push(...b.map((s) => ({ ir: s.ir, binds: s.binds }))), inner.apply(b)) };
+    return Object.assign(executor, { batches });
+};
+const envOf = (s, executor = recording(s.executor)) => ({
+    executor, dialect: s.dialect, schemas: s.schemas, mode: s.mode, seen: s.seen, unsafeNoVisibility: s.unsafeNoVisibility, lifecycle: lifecycleOf(s.hooks),
+});
+const asOf = (bind) => ({
+    bind,
+    caller: { kind: "user", subject: bind.uid, role: null, scopes: [], credential: "session", credentialId: null, clientId: null },
+    cause: { kind: "internal", id: "conformance" },
+});
+export async function runProcedure(s, p, bind) {
+    const env = envOf(s);
+    const { rows } = await run(env, p, asOf(bind));
+    return { rows: rows, batch: env.executor.batches };
+}
+export async function runView(s, p, bind, opts = {}) {
+    return runV(envOf(s), p, asOf(bind), opts);
+}
+export const compileProgram = (s, p) => compileIr(p.ir, { dialect: s.dialect, schemas: s.schemas, inputs: p.inputs, kind: p.kind, mode: s.mode, seen: s.seen, unsafeNoVisibility: s.unsafeNoVisibility });
+// ---- what the cases assert on ------------------------------------------------------------------------------------------------
+const diag = (e) => (e instanceof DiagnosticError ? e.diagnostic : undefined);
+export const isConflict = (e) => diag(e)?.code === "CONFLICT";
+export const opIndexOf = (e) => diag(e)?.conflict?.opIndex;
+export const isCheck = (e) => diag(e)?.code === "INPUT_VALIDATION_FAILED" && /^CHECK /.test(diag(e).message);
+/** A refusal of the IR or of the write: `INPUT_VALIDATION_FAILED` whose message starts with the SQL_* code. */
+export const isRefusal = (e, code) => diag(e)?.code === "INPUT_VALIDATION_FAILED" && (!code || diag(e).message.startsWith(`${code}:`) || new RegExp(`\\b${code}\\b`).test(diag(e).message));
+//# sourceMappingURL=harness.js.map

package/dist/testing/harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.js","sourceRoot":"","sources":["../../src/testing/harness.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD;;;;;;GAMG;AACH,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,oBAAoB,EAAmD,MAAM,kBAAkB,CAAC;AAKtI,OAAO,EAAE,cAAc,IAAI,SAAS,EAA8C,MAAM,wBAAwB,CAAC;AAEjH,OAAO,EAAE,YAAY,IAAI,GAAG,EAAE,OAAO,IAAI,IAAI,EAAqC,MAAM,oBAAoB,CAAC;AAI7G,yGAAyG;AACzG,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAChG,MAAM,KAAK,GAAG,KAAK,EAAE,IAAY,EAAoB,EAAE;IACrD,MAAM,CAAC,GAAG,MAAM,UAAU,CAAC,6BAA6B,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3J,IAAI,CAAC,CAAC,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACjD,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,WAAW,CAAC;AACjD,CAAC,CAAC;AAEF,0DAA0D;AAC1D,MAAM,OAAO,EAAE;IACQ;IAArB,YAAqB,MAAsB;QAAtB,WAAM,GAAN,MAAM,CAAgB;IAAG,CAAC;IAC/C,KAAK,CAAC,GAAG,CAAC,GAAW,EAAE,QAAmB,EAAE;QAC1C,OAAO,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC;IACD,KAAK,CAAC,KAAqB;QACzB,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,KAAgC;QACzC,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,kEAAkE;IAClE,KAAK,CAAC,GAAG,CAAC,GAAW,EAAE,QAAmB,EAAE;QAC1C,IAAI,CAAC;YACH,OAAO,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;QAC9C,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YAChB,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QAC9B,CAAC;IACH,CAAC;CACF;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,GAAG,IAAI,CAAC,CAAC,eAAe;AAC7E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,QAAiC,EAAE,EAAE,GAAG,GAAG,IAAI,EAAe,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;AAEnH,MAAM,CAAC,MAAM,OAAO,GAAkC;IACpD,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE;IACzO,YAAY,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;IAClH,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE;IACrH,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE;IACvF,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE;IAC/J,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE;IAClL,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,EAAE;IACtJ,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;CACrJ,CAAC;AAEF,wDAAwD;AACxD,MAAM,CAAC,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AACrD,MAAM,qBAAqB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC,GAAG,GAAG,CAAC;AAChE,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,qBAAqB,CAAC;AAE3E,2FAA2F;AAC3F,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;AACrE,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,iBAAiB,CAAC,CAAC;AAC5C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AAClB,MAAM,OAAO,GAAG,EAAE,CAAC;AACnB,2DAA2D;AAC3D,MAAM,CAAC,GAAG,CAAC,OAA6B,EAAE,GAAG,KAAgB,EAAgB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/I,gIAAgI;AAChI,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,EAAE,MAAM,EAAc,EAAkB,EAAE;IAC7D,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,IAAI,GAAG,CAAC,GAAG,CAAW,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;IACxD,OAAO;QACL,CAAC,CAAA;gBACW,EAAE,uBAAuB,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,qBAAqB,EAAE,uBAAuB,IAAI,CAAC,MAAM,CAAC;gBACrG,EAAE,IAAI,MAAM,mBAAmB,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,sBAAsB,IAAI,CAAC,KAAK,CAAC;mBAC/F,EAAE,IAAI,OAAO,2BAA2B,IAAI,CAAC,UAAU,CAAC;mBACxD,EAAE,4BAA4B,IAAI,CAAC,UAAU,CAAC,wBAAwB,EAAE,4BAA4B,IAAI,CAAC,UAAU,CAAC,QAAQ;QAC3I,CAAC,CAAA,2FAA2F,EAAE,iCAAiC,EAAE,mCAAmC,EAAE,sBAAsB;QAC5L,CAAC,CAAA;iBACY,EAAE,UAAU,KAAK,CAAC,OAAO,CAAC,iBAAiB,EAAE,UAAU,KAAK,CAAC,MAAM,CAAC,iBAAiB,EAAE,aAAa,KAAK,CAAC,MAAM,CAAC,mBAAmB,EAAE,WAAW,KAAK,CAAC,OAAO,CAAC,oBAAoB,EAAE,aAAa,KAAK,CAAC,MAAM,CAAC,GAAG;QAC/N,CAAC,CAAA,8EAA8E,EAAE,kCAAkC,EAAE,mCAAmC,EAAE,eAAe;QACzK,CAAC,CAAA;YACO,EAAE,6DAA6D,EAAE,kDAAkD,EAAE,IAAI,OAAO,0CAA0C;QAClL,CAAC,CAAA;iBACY,EAAE,2DAA2D,EAAE;iBAC/D,EAAE,kDAAkD,EAAE;iBACtD,EAAE;mBACA,EAAE,sDAAsD,EAAE,IAAI,OAAO,iCAAiC;QACrH,CAAC,CAAA;oBACe,EAAE,mBAAmB,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,qBAAqB,EAAE,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG;qBAChH,EAAE,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,qBAAqB,EAAE,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG;sBAClH,EAAE,qBAAqB,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,GAAG;oBACnD,EAAE,4BAA4B,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,oBAAoB,EAAE,IAAI,OAAO,mBAAmB,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,GAAG;KACtJ,CAAC;AACJ,CAAC,CAAC;AAUF,uFAAuF;AACvF,MAAM,CAAC,KAAK,UAAU,IAAI,CAAC,MAAc;IACvC,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;IACjD,0HAA0H;IAC1H,MAAM,IAAI,GAAgB,EAAE,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE;QACxJ,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxI,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAClD,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;AACpE,CAAC;AAED,mGAAmG;AACnG,IAAI,WAAmC,CAAC;AACxC,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,OAA+B,EAAE,EAAE,GAAG,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAC9F,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,CAAS;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AACzC,CAAC;AAQD,MAAM,IAAI,GAAyB,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC5F,MAAM,IAAI,GAAG,CAAC,CAAkB,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACxI,SAAS,WAAW,CAAC,CAAoB;IACvC,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzB,MAAM,IAAI,GAAG,KAAK,EAAE,KAAyB,EAAE,MAAsB,EAAE,EAAE;QACvE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC;YACzC,MAAO,CAAC,CAAC,KAAK,CAAS,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5G,CAAC;IACH,CAAC,CAAC;IACF,OAAO,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;AAC5I,CAAC;AAQD,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,KAAa,EAAQ,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAE1E,+FAA+F;AAC/F,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,IAA0B,EAAE,GAAW,EAAE,SAAiC,EAAE,EAAE,CAAC,GAAG,OAAO;IACrH,MAAM,CAAC,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,WAAW,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;AAC5C,CAAC;AAED,+EAA+E;AAC/E,MAAM,SAAS,GAAG,CAAC,KAAoB,EAAE,EAAE;IACzC,MAAM,OAAO,GAAiD,EAAE,CAAC;IACjE,MAAM,QAAQ,GAAkB,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClM,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;AAC9C,CAAC,CAAC;AACF,MAAM,KAAK,GAAG,CAAC,CAAO,EAAE,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5D,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC;CACxJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,IAAiB,EAAE,EAAE,CAAC,CAAC;IACnC,IAAI;IACJ,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAW;IACvI,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAW;CACxD,CAAC,CAAC;AAEH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,CAAO,EAAE,CAAU,EAAE,IAAiB;IACvE,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/C,OAAO,EAAE,IAAI,EAAE,IAAe,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;AAChE,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,CAAO,EAAE,CAAU,EAAE,IAAiB,EAAE,OAAkD,EAAE;IACxH,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;AAC7C,CAAC;AACD,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAO,EAAE,CAAU,EAAc,EAAE,CAChE,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC;AAEpK,iIAAiI;AACjI,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AACvF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,UAAU,CAAC;AACvE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC;AACpE,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,yBAAyB,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC;AACvH,+GAA+G;AAC/G,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAU,EAAE,IAAa,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,yBAAyB,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC"}

package/dist/testing/index.d.ts

@@ -0,0 +1,37 @@
+/**
+ * `@aotter/mantle/testing`: the dialect compliance suite (ADR-0035 decision 8). A dialect author calls
+ * `runStorageConformance({ create, compile })` with their dialect's storage adapter on a real engine and asserts `report.ok`;
+ * no test framework is imported. Behavior runs through the dialect (convergence, executor, policy, codec); fixtures are
+ * seeded and read with plain SQL, typed values through the dialect's codec. A printer-corpus item the compile side refuses as
+ * unsupported passes by that refusal; in every other case a refusal fails the case. The cases compile their SQL
+ * with the CLI's parser, so they run in Node, not in a Worker.
+ */
+import type { DatabaseDriver } from "../core/driver.js";
+import type { MantleStorageAdapter } from "../core/service.js";
+import type { SqlDialect } from "../spec/index.js";
+export interface StorageConformanceFixture {
+    /** The dialect's runtime side over the fresh database: `prepare` converges it and returns the executor. */
+    readonly storage: MantleStorageAdapter;
+    /** The same database, for the fixture's own plain-SQL seeding and reads. */
+    readonly driver: DatabaseDriver;
+    /** Release the database, even after a failure. */
+    readonly cleanup: () => void | Promise<void>;
+}
+export interface StorageConformanceOptions {
+    /** A fresh, empty database on the engine under test, for each case. Never supply a live database. */
+    readonly create: () => Promise<StorageConformanceFixture>;
+    /** The dialect's compile side (`<dialect>/compile`); D1 when omitted. */
+    readonly compile?: SqlDialect;
+}
+export interface StorageConformanceReport {
+    readonly ok: boolean;
+    /** Every check that ran, with its case, in order. */
+    readonly checks: readonly string[];
+    readonly failures: readonly {
+        readonly check: string;
+        readonly message: string;
+    }[];
+}
+/** Runs every case on its own database. A failing case never suppresses cleanup or the cases after it. */
+export declare function runStorageConformance(options: StorageConformanceOptions): Promise<StorageConformanceReport>;
+//# sourceMappingURL=index.d.ts.map

package/dist/testing/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAYnD,MAAM,WAAW,yBAAyB;IACxC,2GAA2G;IAC3G,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;IACvC,4EAA4E;IAC5E,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC9C;AAED,MAAM,WAAW,yBAAyB;IACxC,qGAAqG;IACrG,QAAQ,CAAC,MAAM,EAAE,MAAM,OAAO,CAAC,yBAAyB,CAAC,CAAC;IAC1D,yEAAyE;IACzE,QAAQ,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC;CAC/B;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,qDAAqD;IACrD,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACpF;AAOD,0GAA0G;AAC1G,wBAAsB,qBAAqB,CAAC,OAAO,EAAE,yBAAyB,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAuBjH"}

package/dist/testing/index.js

@@ -0,0 +1,43 @@
+import { useCompileSide } from "./harness.js";
+import { Report } from "./report.js";
+import * as requisition from "./cases/requisition.js";
+import * as stock from "./cases/stock.js";
+import * as reportView from "./cases/report-view.js";
+import * as beforeHook from "./cases/before-hook.js";
+import * as policy from "./cases/policy.js";
+import * as searchPlaces from "./cases/search-places.js";
+import * as printer from "./cases/printer.js";
+import * as store from "./cases/store.js";
+const CASES = [
+    ["requisition", requisition], ["stock", stock], ["report-view", reportView], ["before-hook", beforeHook],
+    ["policy", policy], ["search-places", searchPlaces], ["printer", printer], ["store", store],
+];
+/** Runs every case on its own database. A failing case never suppresses cleanup or the cases after it. */
+export async function runStorageConformance(options) {
+    const r = new Report();
+    useCompileSide(options.compile);
+    try {
+        for (const [name, c] of CASES) {
+            const fixture = await options.create();
+            try {
+                await c.run(r, fixture);
+            }
+            catch (e) {
+                r.section(`${name} (crashed)`);
+                r.check("case ran to the end", false, e instanceof Error ? (e.stack ?? e.message) : String(e));
+            }
+            finally {
+                await fixture.cleanup();
+            }
+        }
+    }
+    finally {
+        useCompileSide(undefined);
+    }
+    return {
+        ok: r.failed.length === 0,
+        checks: r.checks.map((c) => `${c.case}: ${c.name}`),
+        failures: r.failed.map((c) => ({ check: `${c.case}: ${c.name}`, message: c.detail ?? "" })),
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/testing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,cAAc,EAAe,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAyB1C,MAAM,KAAK,GAA8E;IACvF,CAAC,aAAa,EAAE,WAAW,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,aAAa,EAAE,UAAU,CAAC,EAAE,CAAC,aAAa,EAAE,UAAU,CAAC;IACxG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,eAAe,EAAE,YAAY,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;CAC5F,CAAC;AAEF,0GAA0G;AAC1G,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,OAAkC;IAC5E,MAAM,CAAC,GAAG,IAAI,MAAM,EAAE,CAAC;IACvB,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAChC,IAAI,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;YACvC,IAAI,CAAC;gBACH,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YAC1B,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,YAAY,CAAC,CAAC;gBAC/B,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACjG,CAAC;oBAAS,CAAC;gBACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,cAAc,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO;QACL,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QACzB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACnD,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC;KAC5F,CAAC;AACJ,CAAC"}

package/dist/testing/report.d.ts

@@ -0,0 +1,15 @@
+export type Check = {
+    case: string;
+    name: string;
+    ok: boolean;
+    detail?: string;
+};
+export declare class Report {
+    checks: Check[];
+    current: string;
+    section(title: string): void;
+    check(name: string, ok: boolean, detail?: unknown): void;
+    equal(name: string, actual: unknown, expected: unknown): void;
+    get failed(): Check[];
+}
+//# sourceMappingURL=report.d.ts.map

package/dist/testing/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/testing/report.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,KAAK,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjF,qBAAa,MAAM;IACjB,MAAM,EAAE,KAAK,EAAE,CAAM;IACrB,OAAO,SAAM;IACb,OAAO,CAAC,KAAK,EAAE,MAAM;IAGrB,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,OAAO;IAIjD,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO;IAItD,IAAI,MAAM,YAET;CACF"}

package/dist/testing/report.js

@@ -0,0 +1,22 @@
+// A tiny recorder: every claim in the report is a `check` that ran, with its evidence.
+// @ts-nocheck test code over loosely typed IR and rows
+import { isDeepStrictEqual } from 'node:util';
+export class Report {
+    checks = [];
+    current = '';
+    section(title) {
+        this.current = title;
+    }
+    check(name, ok, detail) {
+        const d = detail === undefined ? undefined : typeof detail === 'string' ? detail : JSON.stringify(detail);
+        this.checks.push({ case: this.current, name, ok, detail: d });
+    }
+    equal(name, actual, expected) {
+        const ok = isDeepStrictEqual(JSON.parse(JSON.stringify(actual)), JSON.parse(JSON.stringify(expected)));
+        this.check(name, ok, ok ? JSON.stringify(actual) : { expected, actual });
+    }
+    get failed() {
+        return this.checks.filter((c) => !c.ok);
+    }
+}
+//# sourceMappingURL=report.js.map

package/dist/testing/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../src/testing/report.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,uDAAuD;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAI9C,MAAM,OAAO,MAAM;IACjB,MAAM,GAAY,EAAE,CAAC;IACrB,OAAO,GAAG,EAAE,CAAC;IACb,OAAO,CAAC,KAAa;QACnB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;IACvB,CAAC;IACD,KAAK,CAAC,IAAY,EAAE,EAAW,EAAE,MAAgB;QAC/C,MAAM,CAAC,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC1G,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,KAAK,CAAC,IAAY,EAAE,MAAe,EAAE,QAAiB;QACpD,MAAM,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC;CACF"}

package/dist/web/createRestSurface.d.ts

@@ -0,0 +1,7 @@
+import type { MantleRuntime, Surface } from "../core/index.js";
+export interface RestSurfaceOptions {
+    /** Where the Views are mounted, e.g. `/api`. HTTP Trigger paths are absolute. */
+    readonly basePath: string;
+}
+export declare function createRestSurface(runtime: MantleRuntime, options: RestSurfaceOptions): Surface;
+//# sourceMappingURL=createRestSurface.d.ts.map

package/dist/web/createRestSurface.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"createRestSurface.d.ts","sourceRoot":"","sources":["../../src/web/createRestSurface.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAG/D,MAAM,WAAW,kBAAkB;IACjC,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAkC9F"}