@aotter/mantle 0.2.0-alpha.6 → 0.2.0-alpha.7

package/dist/testing/cases/search-places.js

@@ -1,60 +0,0 @@
-import { CENTER, boot, caller, isRefusal, north, program, site } from '../harness.js';
-import { runProcedure, runView } from '../harness.js';
-const R = 6_371_008.8;
-const haversine = (lat1, lng1, lat2, lng2) => {
-    const rad = (x) => (x * Math.PI) / 180;
-    const a = Math.sin(rad(lat2 - lat1) / 2) ** 2 + Math.cos(rad(lat1)) * Math.cos(rad(lat2)) * Math.sin(rad(lng2 - lng1) / 2) ** 2;
-    return 2 * R * Math.asin(Math.min(1, Math.sqrt(a)));
-};
-export async function run(r, engine) {
-    r.section('Case 8: search and places');
-    const b = await boot(engine);
-    const s = site(b);
-    const search = async (q, caller_ = 'o1') => (await runView(s, await program('view', 'SELECT id FROM notes WHERE mantle.search(notes, input.q) ORDER BY id', { q: 'text' }), caller({ q }, caller_))).rows.map((x) => x.id);
-    // ---- full-text: trigram, with a LIKE fallback under three characters -------------------------------------------------
-    r.equal('substrings match, including two- and one-character Chinese ones; ASCII is case-insensitive', [await search('小籠包'), await search('小籠'), await search('包'), await search('HELLO')], [['n1'], ['n1'], ['n1'], ['n2', 'n4', 'n5']]);
-    // the query is bound as a quoted phrase, never as FTS5 syntax; the fallback escapes LIKE wildcards
-    r.equal('query syntax is literal (OR, title:, NEAR(, *, -, a quote, an unbalanced quote) and wildcards are literal (5%, _b, a_)', [await search('hello OR world'), await search('title:hello'), await Promise.all(['NEAR(a b)', 'hel*', '-hello', 'say "hi"', '"unbalanced'].map((q) => search(q))), await search('5%'), await search('_b'), await search('a_')], [['n5'], ['n5'], [[], [], [], [], []], ['n4'], ['n4'], ['n4']]);
-    // ---- other owners and expired rows -----------------------------------------------------------------------------
-    const rank = await program('view', 'SELECT id FROM notes WHERE mantle.search(notes, input.q) ORDER BY mantle.search_rank(notes), id', { q: 'text' });
-    const pub = async (q) => (await runView({ ...s, mode: 'public' }, await program('view', 'SELECT id FROM posts WHERE mantle.search(posts, input.q) ORDER BY id', { q: 'text' }), caller({ q }))).rows.map((x) => x.id);
-    r.equal("another owner's and expired rows are absent from search(), mantle.search_rank() and a public View; the other owner finds their own", [await search('LEAK'), (await runView(s, rank, caller({ q: 'LEAK' }))).rows, await pub('LEAK'), await pub('public'), await search('小籠包', 'o2')], [[], [], [], ['p1'], ['X_n1']]);
-    r.equal('mantle.search_rank orders by relevance: the note with the most occurrences of apple first', (await runView(s, rank, caller({ q: 'apple' }))).rows.map((x) => x.id), ['n3', 'n2']);
-    // ---- triggers keep the index in step; D1's meta.changes counts them, changes() does not -------------------------------------
-    const res = await runProcedure(s, await program('procedure', "UPDATE notes SET title = 'renamed zebra' WHERE id = 'n3' RETURNING id", {}), caller());
-    const afterUpdate = [await search('zebra'), (await search('apple apple')).includes('n3')];
-    await runProcedure(s, await program('procedure', "DELETE FROM notes WHERE id = 'n3'"), caller());
-    const afterDelete = await search('zebra');
-    await runProcedure(s, await program('procedure', "INSERT INTO notes (title, body) VALUES ('fresh mango note', 'x')"), caller());
-    r.equal('the FTS index follows UPDATE (new text found, old not), DELETE and INSERT; the row op still passed its count check', [afterUpdate, afterDelete, (await search('mango')).length, res.rows], [[['n3'], false], [], 1, [[{ id: 'n3' }]]]);
-    // ---- places: R*Tree + haversine -----------------------------------------------------------------------------------
-    const near = async (meters, extra = '') => (await runView(s, await program('view', `SELECT id FROM places WHERE mantle.near(places.loc, input.lat, input.lng, ${meters}) ${extra} ORDER BY id`, { lat: 'float8', lng: 'float8' }), caller({ lat: CENTER.lat, lng: CENTER.lng }))).rows.map((x) => x.id);
-    const places = [['pl300', 300], ['pl1200', 1200], ['pl4900', 4900], ['pl5200', 5200], ['pl10000', 10000]];
-    const truth = (m) => places.filter(([, d]) => haversine(CENTER.lat, CENTER.lng, north(d), CENTER.lng) <= m).map(([id]) => id).sort();
-    r.equal('near 1 km / 5 km / 20 km: the places inside (4900 m in, 5200 m out of 5 km; no other owner\'s or expired place at 300 m), as an independent haversine says', [await near(1000), await near(5000), await near(20000)], [truth(1000), truth(5000), truth(20000)]);
-    r.equal('and the three sets are the ones the fixtures were built for', [truth(1000), truth(5000), truth(20000)], [['pl300'], ['pl1200', 'pl300', 'pl4900'], ['pl10000', 'pl1200', 'pl300', 'pl4900', 'pl5200']]);
-    const closest = await program('view', 'SELECT id, mantle.distance(places.loc, input.lat, input.lng) AS d FROM places WHERE mantle.near(places.loc, input.lat, input.lng, 50000) ORDER BY mantle.distance(places.loc, input.lat, input.lng) LIMIT 3', { lat: 'float8', lng: 'float8' });
-    const rows = (await runView(s, closest, caller({ lat: CENTER.lat, lng: CENTER.lng }))).rows;
-    const err = Math.max(...rows.map((x, i) => Math.abs(x.d - haversine(CENTER.lat, CENTER.lng, north([300, 1200, 4900][i]), CENTER.lng))));
-    r.check('closest K = 3 in order of distance, and distance() agrees with an independent haversine to under 1 m', JSON.stringify(rows.map((x) => x.id)) === '["pl300","pl1200","pl4900"]' && err < 1, `max error ${err.toExponential(2)} m`);
-    // triggers keep the R*Tree in step
-    await runProcedure(s, await program('procedure', "UPDATE places SET loc_lat = input.lat, loc_lng = input.lng WHERE id = 'pl10000'", { lat: 'float8', lng: 'float8' }), caller({ lat: north(100), lng: CENTER.lng }));
-    const moved = await near(1000);
-    await runProcedure(s, await program('procedure', "DELETE FROM places WHERE id = 'pl300'"), caller());
-    const deleted = await near(1000);
-    await runProcedure(s, await program('procedure', "INSERT INTO places (name, loc_lat, loc_lng) VALUES ('new', input.lat, input.lng)", { lat: 'float8', lng: 'float8' }), caller({ lat: north(50), lng: CENTER.lng }));
-    r.equal('the R*Tree follows a move (pl10000 now within 1 km), a delete, and an insert', [moved, deleted, (await near(1000)).length], [['pl10000', 'pl300'], ['pl10000'], 2]);
-    // limits
-    const across = [];
-    for (const input of [{ lat: 0, lng: 179.99 }, { lat: 89.99, lng: 0 }]) {
-        try {
-            await runView(s, await program('view', 'SELECT id FROM places WHERE mantle.near(places.loc, input.lat, input.lng, 5000)', { lat: 'float8', lng: 'float8' }), caller(input));
-            across.push('accepted');
-        }
-        catch (x) {
-            across.push(isRefusal(x) && /antimeridian or a pole/.test(x.message));
-        }
-    }
-    r.equal('a box across the antimeridian and a box across a pole are refused at run time', across, [true, true]);
-}
-//# sourceMappingURL=search-places.js.map

package/dist/testing/cases/search-places.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"search-places.js","sourceRoot":"","sources":["../../../src/testing/cases/search-places.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AACtF,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAGtD,MAAM,CAAC,GAAG,WAAW,CAAC;AACtB,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY,EAAE,IAAY,EAAE,EAAE;IAC3E,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;IAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IAChI,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,GAAG,CAAC,CAAS,EAAE,MAAc;IACjD,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACvC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,EAAE,CAAS,EAAE,OAAO,GAAG,IAAI,EAAE,EAAE,CACjD,CAAC,MAAM,OAAO,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,MAAM,EAAE,sEAAsE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAY,CAAC,CAAC;IAEhM,yHAAyH;IACzH,CAAC,CAAC,KAAK,CAAC,4FAA4F,EAClG,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACrI,mGAAmG;IACnG,CAAC,CAAC,KAAK,CAAC,wHAAwH,EAC9H,CAAC,MAAM,MAAM,CAAC,gBAAgB,CAAC,EAAE,MAAM,MAAM,CAAC,aAAa,CAAC,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC,EAC9N,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAElE,mHAAmH;IACnH,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,iGAAiG,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IACrJ,MAAM,GAAG,GAAG,KAAK,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,MAAM,OAAO,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,MAAM,OAAO,CAAC,MAAM,EAAE,sEAAsE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnO,CAAC,CAAC,KAAK,CAAC,oIAAoI,EAC1I,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnL,CAAC,CAAC,KAAK,CAAC,2FAA2F,EAAE,CAAC,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAEhM,gIAAgI;IAChI,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,uEAAuE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IACrJ,MAAM,WAAW,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1F,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,mCAAmC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IACjG,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,kEAAkE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IAChI,CAAC,CAAC,KAAK,CAAC,oHAAoH,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhP,sHAAsH;IACtH,MAAM,IAAI,GAAG,KAAK,EAAE,MAAc,EAAE,KAAK,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,MAAM,EAAE,6EAA6E,MAAM,KAAK,KAAK,cAAc,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAY,CAAC,CAAC;IAC/T,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAU,CAAC;IACnH,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7I,CAAC,CAAC,KAAK,CAAC,4JAA4J,EAClK,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACrG,CAAC,CAAC,KAAK,CAAC,6DAA6D,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAEjN,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,6MAA6M,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;IACvR,MAAM,IAAI,GAAG,CAAC,MAAM,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAa,CAAC;IACrG,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxI,CAAC,CAAC,KAAK,CAAC,sGAAsG,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,6BAA6B,IAAI,GAAG,GAAG,CAAC,EAAE,aAAa,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE3O,mCAAmC;IACnC,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,iFAAiF,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACrN,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,uCAAuC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IACrG,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,kFAAkF,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACrN,CAAC,CAAC,KAAK,CAAC,8EAA8E,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAE7K,SAAS;IACT,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACtE,IAAI,CAAC;YAAC,MAAM,OAAO,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,MAAM,EAAE,iFAAiF,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAAC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAAC,CAAC;IACpS,CAAC;IACD,CAAC,CAAC,KAAK,CAAC,+EAA+E,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AACjH,CAAC"}

package/dist/testing/cases/stock.d.ts

@@ -1,4 +0,0 @@
-import type { Report } from '../report.js';
-import type { Engine } from '../harness.js';
-export declare function run(r: Report, engine: Engine): Promise<void>;
-//# sourceMappingURL=stock.d.ts.map

package/dist/testing/cases/stock.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"stock.d.ts","sourceRoot":"","sources":["../../../src/testing/cases/stock.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAI5C,wBAAsB,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,iBA8BlD"}

package/dist/testing/cases/stock.js

@@ -1,35 +0,0 @@
-import { boot, caller, program, site } from '../harness.js';
-import { isCheck, isConflict, runProcedure } from '../harness.js';
-export async function run(r, engine) {
-    r.section('Case 2: stock');
-    const b = await boot(engine);
-    const s = site(b);
-    const stock = async (id) => (await b.d1.all('SELECT stock FROM items WHERE id = ?1', [id]))[0]?.stock;
-    const take = await program('procedure', 'UPDATE items SET stock = stock - input.qty WHERE id = input.id RETURNING id, stock', { id: 'text', qty: 'int8' });
-    const fails = async (p, input) => { try {
-        await runProcedure(s, p, caller(input));
-        return undefined;
-    }
-    catch (e) {
-        return e;
-    } };
-    r.equal('take 3 of a (stock 5): RETURNING shows 2', (await runProcedure(s, take, caller({ id: 'a', qty: 3 }))).rows, [[{ id: 'a', stock: 2 }]]);
-    const over = await fails(take, { id: 'b', qty: 10 });
-    r.check('oversell b (stock 2, qty 10): CheckViolation naming the check, stock unchanged', isCheck(over) && /CHECK items: stock >= 0/.test(over.message) && (await stock('b')) === 2, String(over?.message));
-    // the whole batch fails: an earlier statement is rolled back; a set op fails as a whole; an insert is checked on its own trigger
-    const both = await program('procedure', "UPDATE items SET stock = stock - 1 WHERE id = 'a'; UPDATE items SET stock = stock - 10 WHERE id = 'b'");
-    const set = await program('procedure', "UPDATE items SET stock = stock - 6 WHERE cat = 'x'");
-    const ins = await program('procedure', "INSERT INTO items (name, cat, stock) VALUES ('n', 'x', -1)");
-    const errs = [await fails(both, {}), await fails(set, {}), await fails(ins, {})];
-    r.check('two updates (second oversells), a set op (one row would go negative), an insert of -1: each CheckViolation, nothing changed', errs.every((e) => isCheck(e)) && JSON.stringify(await Promise.all(['a', 'b', 'd'].map(stock))) === '[2,2,7]', errs.map((e) => e?.message));
-    // SQL CHECK semantics: NULL passes, exactly as in PostgreSQL
-    await runProcedure(s, await program('procedure', "UPDATE items SET stock = NULL WHERE id = 'd'"), caller());
-    r.equal('CHECK (stock >= 0) passes for NULL', await stock('d'), null);
-    // the check does not reveal another owner's row: an invisible row is a CONFLICT, not a CHECK error
-    const hidden = [await fails(take, { id: 'X_z1', qty: 1000 }), await fails(take, { id: 'X_e1', qty: 1000 })];
-    r.check("another owner's and an expired row with qty 1000: CONFLICT (not a check error), stock unchanged", hidden.every((e) => isConflict(e)) && JSON.stringify(await Promise.all(['X_z1', 'X_e1'].map(stock))) === '[50,100]', hidden.map((e) => e?.message));
-    // exact boundary: taking exactly what is left is allowed
-    await runProcedure(s, take, caller({ id: 'a', qty: 2 }));
-    r.equal('taking the last 2 leaves 0, which the check allows', await stock('a'), 0);
-}
-//# sourceMappingURL=stock.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"stock.js","sourceRoot":"","sources":["../../../src/testing/cases/stock.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAElE,MAAM,CAAC,KAAK,UAAU,GAAG,CAAC,CAAS,EAAE,MAAc;IACjD,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC3B,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,MAAM,KAAK,GAAG,KAAK,EAAE,EAAU,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,uCAAuC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;IAC9G,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,EAAE,oFAAoF,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3J,MAAM,KAAK,GAAG,KAAK,EAAE,CAAc,EAAE,KAA8B,EAAE,EAAE,GAAG,IAAI,CAAC;QAAC,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAAC,OAAO,SAAS,CAAC;IAAC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,OAAO,CAAU,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC;IAEhL,CAAC,CAAC,KAAK,CAAC,0CAA0C,EAAE,CAAC,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChJ,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,KAAK,CAAC,gFAAgF,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAE5M,iIAAiI;IACjI,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,EAAE,uGAAuG,CAAC,CAAC;IACjJ,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,WAAW,EAAE,oDAAoD,CAAC,CAAC;IAC7F,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,WAAW,EAAE,4DAA4D,CAAC,CAAC;IACrG,MAAM,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IACjF,CAAC,CAAC,KAAK,CAAC,6HAA6H,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAElR,6DAA6D;IAC7D,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,8CAA8C,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IAC5G,CAAC,CAAC,KAAK,CAAC,oCAAoC,EAAE,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IAEtE,mGAAmG;IACnG,MAAM,MAAM,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5G,CAAC,CAAC,KAAK,CAAC,iGAAiG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAE/P,yDAAyD;IACzD,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,KAAK,CAAC,oDAAoD,EAAE,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACrF,CAAC"}

package/dist/testing/cases/store.d.ts

@@ -1,4 +0,0 @@
-import type { Report } from '../report.js';
-import type { Engine } from '../harness.js';
-export declare function run(r: Report, engine: Engine): Promise<void>;
-//# sourceMappingURL=store.d.ts.map

package/dist/testing/cases/store.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../../src/testing/cases/store.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAa5C,wBAAsB,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,iBAqGlD"}

package/dist/testing/cases/store.js

@@ -1,100 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,94 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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

@@ -1,168 +0,0 @@
-// @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

@@ -1 +0,0 @@
-{"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"}