@intentius/sql-yodeler 0.3.0 → 0.5.0

package/dist/testing/run.js

@@ -0,0 +1,328 @@
+/**
+ * `yodel test` (#54): the cases of a project's `tests/*.test.ts`
+ * (`./define.ts`), each run on a database built by replaying the
+ * migrations on a throwaway server.
+ *
+ * Per case, on the server the environment's profile binds:
+ *
+ * 1. the databases (ClickHouse) or schemas (Postgres) the history names are
+ *    emptied, so every case starts from nothing;
+ * 2. the migrations up to the case's `at` are replayed as `yodel lint
+ *    --replay` replays them: statements, and the rebuild and
+ *    PostgresMigrationOp steps apply runs, but not backfills, which would
+ *    find no rows;
+ * 3. the `seed` statements run;
+ * 4. the migrations after `at`, up to `through`, run with every step,
+ *    backfills included.
+ *
+ * A case's receipts, a backfill's batches and a ClickHouse rebuild's
+ * partitions, are kept in memory for that case alone (#112): nothing is
+ * written to the server's receipts table, and no case skips work because
+ * another case did it, or a run before this one.
+ * 5. each expectation is checked, every one even after one fails.
+ *
+ * A checkpoint (#63) is left out of the chain, as the replay leaves it out.
+ *
+ * It never runs against an environment yodel applies to: an environment
+ * whose history table holds a row is refused, `--reset` or not, and so is a
+ * target that already holds what the history names (unless `--reset`), and
+ * one another profile on the same server names (unless `--reset-shared`),
+ * as the replay refuses them. Nothing is written to a history. The
+ * databases are emptied again at the end unless `keep`.
+ */
+import { relative } from "node:path";
+import { pathToFileURL } from "node:url";
+import { YodelError } from "../project.js";
+import { EXIT_REFUSED } from "../exit.js";
+import { environmentSettings } from "../config/settings.js";
+import { isCheckpoint, readMigrations } from "../migrations/index.js";
+import { migrationsDir } from "../versioned/index.js";
+import { httpPort } from "../history/index.js";
+import { asBackfill, defaultStepRunner, planStep } from "../steps/index.js";
+import { NOT_FRESH, openReplay, refuseShared, sharedProfiles } from "../replay/index.js";
+import { testFiles } from "./files.js";
+export { TESTS_DIR, testFiles } from "./files.js";
+const message = (e) => (e instanceof Error ? e.message : String(e));
+const firstLine = (s) => s.split("\n")[0] ?? s;
+const isRecord = (v) => typeof v === "object" && v !== null;
+/** What is wrong with a case, if anything. */
+function caseProblems(c, i) {
+    if (!isRecord(c))
+        return [`case ${String(i)} is not an object`];
+    const name = typeof c.name === "string" && c.name !== "" ? c.name : undefined;
+    const at = name ?? `case ${String(i)}`;
+    const out = [];
+    if (!name)
+        out.push(`case ${String(i)} has no name`);
+    for (const k of ["at", "through"])
+        if (c[k] !== undefined && typeof c[k] !== "string")
+            out.push(`${at}: ${k} is a migration id`);
+    if (c.seed !== undefined && !(Array.isArray(c.seed) && c.seed.every((s) => typeof s === "string")))
+        out.push(`${at}: seed is a list of SQL statements`);
+    if (!Array.isArray(c.expect) || c.expect.length === 0)
+        out.push(`${at}: expect lists at least one expectation (expectRows, expectValue, expectError)`);
+    else if (!c.expect.every((e) => isRecord(e) && typeof e.sql === "string" && ["rows", "value", "error"].includes(String(e.kind))))
+        out.push(`${at}: every expectation is made with expectRows, expectValue or expectError`);
+    return out;
+}
+/** Imports each test file and returns its cases: the default export, or `tests`. Throws naming what is wrong. */
+export async function loadTests(projectDir, files = testFiles(projectDir)) {
+    const out = [];
+    for (const path of files) {
+        const file = relative(projectDir, path);
+        let mod;
+        try {
+            mod = (await import(`${pathToFileURL(path).href}?yodel=${String(Date.now())}`));
+        }
+        catch (e) {
+            throw new YodelError(`${file}: could not load it: ${message(e)}`);
+        }
+        const cases = mod.default ?? mod.tests;
+        if (!Array.isArray(cases))
+            throw new YodelError(`${file} exports no cases: export default defineTests([...])`);
+        const problems = cases.flatMap((c, i) => caseProblems(c, i));
+        if (problems.length > 0)
+            throw new YodelError(`${file}: ${problems.join("; ")}`);
+        out.push({ file, cases: cases });
+    }
+    return out;
+}
+/** A value as text, for comparing what a query returned with what a case expects. */
+export function asText(v) {
+    if (v === null || v === undefined)
+        return "NULL";
+    if (v instanceof Date)
+        return v.toISOString();
+    if (typeof v === "string")
+        return v;
+    if (typeof v === "number" || typeof v === "boolean" || typeof v === "bigint")
+        return String(v);
+    return JSON.stringify(v);
+}
+const show = (rows) => JSON.stringify(rows.map((r) => r.map(asText)));
+/** Why `e` does not hold for `outcome`, or undefined when it holds. */
+export function expectationFailure(e, outcome) {
+    const sql = firstLine(e.sql).slice(0, 120);
+    if (e.kind === "error") {
+        if (!("error" in outcome))
+            return `expected an error from ${sql}, and it succeeded`;
+        if (e.match === undefined)
+            return undefined;
+        const ok = typeof e.match === "string" ? outcome.error.includes(e.match) : new RegExp(e.match.source, e.match.flags.replace("g", "")).test(outcome.error);
+        return ok ? undefined : `${sql} failed, but not with ${String(e.match)}: ${firstLine(outcome.error)}`;
+    }
+    if ("error" in outcome)
+        return `${sql} failed: ${firstLine(outcome.error)}`;
+    const rows = outcome.rows.map((r) => Object.values(r));
+    if (e.kind === "value") {
+        const first = rows[0];
+        if (!first || first.length === 0)
+            return `${sql} returned no row; expected ${asText(e.value)}`;
+        return asText(first[0]) === asText(e.value) ? undefined : `${sql} returned ${asText(first[0])}; expected ${asText(e.value)}`;
+    }
+    return show(rows) === show(e.rows) ? undefined : `${sql} returned ${show(rows)}; expected ${show(e.rows)}`;
+}
+/**
+ * A receipt store for one case: a backfill's batches and a rebuild's
+ * partitions each run once in it, and nothing outlives the case.
+ *
+ * It keeps each receipt under its effect. A rebuild reads its receipts with
+ * `readAll(prefix)` and looks each up by address, the effect after the
+ * store's identity (`<stack>/<env>/`); the identity is the part of the
+ * prefix before the effects it asks for.
+ */
+export function memoryReceipts() {
+    const kept = new Map();
+    return {
+        read: (r) => Promise.resolve(kept.get(r.effect)),
+        readAll: (prefix) => {
+            const out = new Map();
+            for (const [effect, expectation] of kept) {
+                for (let i = 0; i < prefix.length; i++) {
+                    if ((i === 0 || prefix[i - 1] === "/") && effect.startsWith(prefix.slice(i))) {
+                        out.set(prefix.slice(0, i) + effect, expectation);
+                        break;
+                    }
+                }
+            }
+            return Promise.resolve(out);
+        },
+        write: (r, expectation) => {
+            kept.set(r.effect, expectation);
+            return Promise.resolve();
+        },
+    };
+}
+async function openSession(project, env, processEnv) {
+    const history = environmentSettings(project, env.name, processEnv).historyDatabase;
+    if (project.dialect === "postgres") {
+        const { resolvePostgresTarget, isUnresolvedTarget } = await import("@intentius/chant-lexicon-sql/postgres/live/bind");
+        const target = resolvePostgresTarget({ environment: env.name, config: project.config, env: processEnv });
+        if (isUnresolvedTarget(target))
+            throw new YodelError(target.detail);
+        const { connectPostgres } = await import("@intentius/chant-lexicon-sql/postgres/live/client");
+        const { DEFAULT_PG_TIMEOUTS } = await import("../versioned/postgres/executor.js");
+        const client = await connectPostgres(target.endpoint, { applicationName: "yodel test" });
+        const timeouts = { ...DEFAULT_PG_TIMEOUTS, ...(target.timeouts ?? {}) };
+        return {
+            query: (sql) => client.query(sql),
+            backfillContext: () => ({ postgres: { client, timeouts, receiptsSchema: history } }),
+            async historyRows() {
+                const [t] = await client.query(`SELECT to_regclass($1)::text AS t`, [`"${history.replace(/"/g, '""')}".history`]);
+                if (!t?.t)
+                    return 0;
+                const [n] = await client.query(`SELECT count(*)::text AS n FROM "${history.replace(/"/g, '""')}".history`);
+                return Number(n?.n ?? 0);
+            },
+            close: () => client.end(),
+        };
+    }
+    const { resolveClickHouseTarget, isUnresolvedTarget } = await import("@intentius/chant-lexicon-sql/clickhouse/live/bind");
+    const target = resolveClickHouseTarget({ environment: env.name, config: project.config, env: processEnv });
+    if (isUnresolvedTarget(target))
+        throw new YodelError(target.detail);
+    const port = await httpPort(target.endpoint);
+    const q = (s) => `'${s.replace(/\\/g, "\\\\").replace(/'/g, "\\'")}'`;
+    return {
+        query: (sql) => port.query(sql),
+        backfillContext: () => ({ port, endpoint: target.endpoint }),
+        async historyRows() {
+            const [t] = await port.query(`SELECT count() AS n FROM system.tables WHERE database = ${q(history)} AND name = 'history'`);
+            if (Number(t?.n ?? 0) === 0)
+                return 0;
+            const [n] = await port.query(`SELECT count() AS n FROM \`${history.replace(/`/g, "``")}\`.history`);
+            return Number(n?.n ?? 0);
+        },
+        close: () => Promise.resolve(),
+    };
+}
+/** Runs the project's test cases on `env`'s server; see the module comment. */
+export async function runTests(project, env, files, options = {}) {
+    const processEnv = options.processEnv ?? process.env;
+    const log = options.log ?? (() => undefined);
+    const runStep = options.runStep ?? defaultStepRunner;
+    const ordered = readMigrations(migrationsDir(project));
+    const chain = ordered.filter((m) => !isCheckpoint(m));
+    const ids = chain.map((m) => m.id);
+    const driver = await openReplay(project, env, ordered, { processEnv, log });
+    let session;
+    // Set once every refusal is behind: only then does anything empty the target.
+    let started = false;
+    try {
+        refuseShared(env, await sharedProfiles(project, env, driver.scope, processEnv), options.resetShared ?? [], project.dialect);
+        session = await openSession(project, env, processEnv);
+        const rows = await session.historyRows();
+        if (rows > 0) {
+            throw new YodelError(`refused: ${env.name} has a migration history (${String(rows)} rows in ${environmentSettings(project, env.name, processEnv).historyDatabase}.history): it is an environment yodel applies to, and yodel test empties what the history names. ` +
+                `Point --env at a throwaway server's profile (chant emulator up --lexicon sql). Nothing was run.`, EXIT_REFUSED);
+        }
+        const occupied = await driver.occupied();
+        if (occupied.length > 0 && options.reset !== true) {
+            throw new YodelError(`refused: yodel test needs a fresh database, and ${driver.where} already holds ${occupied.join(", ")}. ` +
+                `Point --env at a throwaway server, or pass --reset to drop ${occupied.length === 1 ? "it" : "them"} first. Nothing was run.`, NOT_FRESH);
+        }
+        started = true;
+        const s = session;
+        const results = [];
+        const runMigration = async (m, backfills, receipts) => {
+            for (const [i, step] of m.document.steps.entries()) {
+                const st = step;
+                if (st.kind === "statement") {
+                    await driver.statement(m, i, st);
+                    continue;
+                }
+                const backfill = asBackfill(st);
+                if (backfill) {
+                    if (!backfills)
+                        continue;
+                    const plan = planStep(st);
+                    if (plan.run !== "backfill")
+                        throw new Error(`${m.id} step ${String(i)}: not a backfill yodel runs`);
+                    await runStep({ environment: env.name, projectDir: project.dir, migration: m, index: i, plan, log: (l) => { log(`  ${l}`); }, receipts, ...s.backfillContext() });
+                    continue;
+                }
+                const plan = planStep(st);
+                if (plan.run === "refused")
+                    throw new Error(`${m.id} step ${String(i)} cannot run here: ${plan.reason}`);
+                const outcome = await driver.opStep(m, i, { receipts });
+                if ("refused" in outcome)
+                    throw new Error(`${m.id} step ${String(i)} cannot run here: ${outcome.refused}`);
+            }
+        };
+        const index = (id, what) => {
+            if (id === undefined)
+                return ids.length - 1;
+            const i = ids.indexOf(id);
+            if (i < 0)
+                throw new Error(`${what} ${id}: no such migration in the chain${ordered.some((m) => m.id === id) ? " (a checkpoint is left out of it)" : ""}`);
+            return i;
+        };
+        for (const f of files) {
+            for (const c of f.cases) {
+                if (options.run && !options.run.test(c.name))
+                    continue;
+                const t0 = Date.now();
+                const result = { file: f.file, name: c.name, status: "passed", ms: 0, failures: [], before: [], after: [] };
+                log(`${f.file}: ${c.name}`);
+                try {
+                    const at = index(c.at, "at");
+                    const through = index(c.through, "through");
+                    if (through < at)
+                        throw new Error(`through ${String(c.through)} comes before at ${String(c.at)}`);
+                    const receipts = memoryReceipts();
+                    await driver.clear();
+                    for (const m of chain.slice(0, at + 1)) {
+                        await runMigration(m, false, receipts);
+                        result.before.push(m.id);
+                    }
+                    for (const [i, sql] of (c.seed ?? []).entries()) {
+                        try {
+                            await s.query(sql);
+                        }
+                        catch (e) {
+                            throw new Error(`seed statement ${String(i)} failed: ${firstLine(message(e))}`, { cause: e });
+                        }
+                    }
+                    for (const m of chain.slice(at + 1, through + 1)) {
+                        try {
+                            await runMigration(m, true, receipts);
+                        }
+                        catch (e) {
+                            throw new Error(`${m.id} failed after the seed: ${firstLine(message(e))}`, { cause: e });
+                        }
+                        result.after.push(m.id);
+                    }
+                    for (const e of c.expect) {
+                        let outcome;
+                        try {
+                            outcome = { rows: await s.query(e.sql) };
+                        }
+                        catch (err) {
+                            outcome = { error: message(err) };
+                        }
+                        const failure = expectationFailure(e, outcome);
+                        if (failure !== undefined)
+                            result.failures.push(failure);
+                    }
+                    if (result.failures.length > 0)
+                        result.status = "failed";
+                }
+                catch (e) {
+                    result.status = "error";
+                    result.error = firstLine(message(e));
+                }
+                result.ms = Date.now() - t0;
+                log(`  ${result.status}${result.error ? `: ${result.error}` : ""}${result.failures.map((x) => `\n    ${x}`).join("")}`);
+                results.push(result);
+            }
+        }
+        return { environment: env.name, dialect: project.dialect, where: driver.where, scope: [...driver.scope], reset: occupied.length > 0, files: files.map((f) => f.file), cases: results };
+    }
+    finally {
+        if (started && options.keep !== true)
+            await driver.clear().catch((e) => { log(`could not empty ${driver.scope.join(", ")} afterwards: ${firstLine(message(e))}`); });
+        await session?.close();
+        await driver.close();
+    }
+}
+//# sourceMappingURL=run.js.map

package/dist/testing/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/testing/run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,UAAU,EAAkC,MAAM,eAAe,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,cAAc,EAAkB,MAAM,wBAAwB,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,QAAQ,EAA6C,MAAM,mBAAmB,CAAC;AAEvH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,cAAc,EAAqB,MAAM,oBAAoB,CAAC;AAE5G,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAmClD,MAAM,OAAO,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACrF,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAE/D,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAgC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC;AAEnG,8CAA8C;AAC9C,SAAS,YAAY,CAAC,CAAU,EAAE,CAAS;IACzC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,QAAQ,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9E,MAAM,EAAE,GAAG,IAAI,IAAI,QAAQ,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACvC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAU;QAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAC1I,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,oCAAoC,CAAC,CAAC;IACxJ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,gFAAgF,CAAC,CAAC;SAClJ,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,yEAAyE,CAAC,CAAC;IAC3N,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iHAAiH;AACjH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,UAAkB,EAAE,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC;IAC/E,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACxC,IAAI,GAA4B,CAAC;QACjC,IAAI,CAAC;YACH,GAAG,GAAG,CAAC,MAAM,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,UAAU,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAA4B,CAAC;QAC7G,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,UAAU,CAAC,GAAG,IAAI,wBAAwB,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC;QACvC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,UAAU,CAAC,GAAG,IAAI,sDAAsD,CAAC,CAAC;QAC/G,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,UAAU,CAAC,GAAG,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjF,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAmB,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,MAAM,CAAC,CAAU;IAC/B,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACjD,IAAI,CAAC,YAAY,IAAI;QAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;IAC9C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/F,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAKD,MAAM,IAAI,GAAG,CAAC,IAAiB,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAE3F,uEAAuE;AACvE,MAAM,UAAU,kBAAkB,CAAC,CAAc,EAAE,OAAgB;IACjE,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC;YAAE,OAAO,0BAA0B,GAAG,oBAAoB,CAAC;QACpF,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC5C,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC1J,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,yBAAyB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;IACxG,CAAC;IACD,IAAI,OAAO,IAAI,OAAO;QAAE,OAAO,GAAG,GAAG,YAAY,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5E,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,GAAG,GAAG,8BAA8B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/F,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,aAAa,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/H,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,aAAa,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;AAC7G,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc;IAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChD,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE;YAClB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;YACtC,KAAK,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,IAAI,EAAE,CAAC;gBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACvC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC7E,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,EAAE,WAAW,CAAC,CAAC;wBAClD,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;QACD,KAAK,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE;YACxB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YAChC,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC3B,CAAC;KACF,CAAC;AACJ,CAAC;AAWD,KAAK,UAAU,WAAW,CAAC,OAAgB,EAAE,GAAgB,EAAE,UAA6B;IAC1F,MAAM,OAAO,GAAG,mBAAmB,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,eAAe,CAAC;IACnF,IAAI,OAAO,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QACnC,MAAM,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,GAAG,MAAM,MAAM,CAAC,iDAAiD,CAAC,CAAC;QACtH,MAAM,MAAM,GAAG,qBAAqB,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;QACzG,IAAI,kBAAkB,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACpE,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,mDAAmD,CAAC,CAAC;QAC9F,MAAM,EAAE,mBAAmB,EAAE,GAAG,MAAM,MAAM,CAAC,mCAAmC,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,eAAe,EAAE,YAAY,EAAE,CAAC,CAAC;QACzF,MAAM,QAAQ,GAAG,EAAE,GAAG,mBAAmB,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;QACxE,OAAO;YACL,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;YACjC,eAAe,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,CAAC;YACpF,KAAK,CAAC,WAAW;gBACf,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAuB,mCAAmC,EAAE,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;gBACxI,IAAI,CAAC,CAAC,EAAE,CAAC;oBAAE,OAAO,CAAC,CAAC;gBACpB,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAgB,oCAAoC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC1H,OAAO,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3B,CAAC;YACD,KAAK,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE;SAC1B,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,GAAG,MAAM,MAAM,CAAC,mDAAmD,CAAC,CAAC;IAC1H,MAAM,MAAM,GAAG,uBAAuB,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAC3G,IAAI,kBAAkB,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACpE,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;IAC9E,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QAC/B,eAAe,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC5D,KAAK,CAAC,WAAW;YACf,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,KAAK,CAAyB,2DAA2D,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;YACnJ,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC;YACtC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,KAAK,CAAyB,8BAA8B,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;YAC5H,OAAO,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3B,CAAC;QACD,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE;KAC/B,CAAC;AACJ,CAAC;AAiBD,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,OAAgB,EAAE,GAAgB,EAAE,KAA0B,EAAE,UAA2B,EAAE;IAC1H,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC;IACrD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IACrD,MAAM,OAAO,GAAG,cAAc,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAEnC,MAAM,MAAM,GAAiB,MAAM,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1F,IAAI,OAA4B,CAAC;IACjC,8EAA8E;IAC9E,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,CAAC;QACH,YAAY,CAAC,GAAG,EAAE,MAAM,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC5H,OAAO,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,EAAE,CAAC;QACzC,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACb,MAAM,IAAI,UAAU,CAClB,YAAY,GAAG,CAAC,IAAI,6BAA6B,MAAM,CAAC,IAAI,CAAC,YAAY,mBAAmB,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,eAAe,mGAAmG;gBAC5O,iGAAiG,EACnG,YAAY,CACb,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,CAAC;QACzC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAClD,MAAM,IAAI,UAAU,CAClB,mDAAmD,MAAM,CAAC,KAAK,kBAAkB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBACtG,8DAA8D,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,0BAA0B,EAC/H,SAAS,CACV,CAAC;QACJ,CAAC;QAED,OAAO,GAAG,IAAI,CAAC;QACf,MAAM,CAAC,GAAG,OAAO,CAAC;QAClB,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,MAAM,YAAY,GAAG,KAAK,EAAE,CAAY,EAAE,SAAkB,EAAE,QAA6B,EAAE,EAAE;YAC7F,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBACnD,MAAM,EAAE,GAAG,IAAkC,CAAC;gBAC9C,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAC5B,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;oBACjC,SAAS;gBACX,CAAC;gBACD,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;gBAChC,IAAI,QAAQ,EAAE,CAAC;oBACb,IAAI,CAAC,SAAS;wBAAE,SAAS;oBACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;oBAC1B,IAAI,IAAI,CAAC,GAAG,KAAK,UAAU;wBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;oBACrG,MAAM,OAAO,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;oBAClK,SAAS;gBACX,CAAC;gBACD,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC1B,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,MAAM,CAAC,CAAC,CAAC,qBAAqB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;gBACzG,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACxD,IAAI,SAAS,IAAI,OAAO;oBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,MAAM,CAAC,CAAC,CAAC,qBAAqB,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;YAC7G,CAAC;QACH,CAAC,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,EAAsB,EAAE,IAAY,EAAU,EAAE;YAC7D,IAAI,EAAE,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;YAC5C,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC1B,IAAI,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,EAAE,mCAAmC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1J,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACxB,IAAI,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACvD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAe,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;gBACxH,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5B,IAAI,CAAC;oBACH,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;oBAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;oBAC5C,IAAI,OAAO,GAAG,EAAE;wBAAE,MAAM,IAAI,KAAK,CAAC,WAAW,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBAClG,MAAM,QAAQ,GAAG,cAAc,EAAE,CAAC;oBAClC,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;oBACrB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;wBACvC,MAAM,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;wBACvC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC3B,CAAC;oBACD,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;wBAChD,IAAI,CAAC;4BACH,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;wBACrB,CAAC;wBAAC,OAAO,CAAC,EAAE,CAAC;4BACX,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,CAAC,CAAC,CAAC,YAAY,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;wBAChG,CAAC;oBACH,CAAC;oBACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC;wBACjD,IAAI,CAAC;4BACH,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;wBACxC,CAAC;wBAAC,OAAO,CAAC,EAAE,CAAC;4BACX,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,2BAA2B,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;wBAC3F,CAAC;wBACD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC1B,CAAC;oBACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;wBACzB,IAAI,OAAgB,CAAC;wBACrB,IAAI,CAAC;4BACH,OAAO,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC3C,CAAC;wBAAC,OAAO,GAAG,EAAE,CAAC;4BACb,OAAO,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;wBACpC,CAAC;wBACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;wBAC/C,IAAI,OAAO,KAAK,SAAS;4BAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC3D,CAAC;oBACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;wBAAE,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC;gBAC3D,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,MAAM,CAAC,MAAM,GAAG,OAAO,CAAC;oBACxB,MAAM,CAAC,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvC,CAAC;gBACD,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;gBAC5B,GAAG,CAAC,KAAK,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACxH,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QACD,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACzL,CAAC;YAAS,CAAC;QACT,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;YAAE,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,GAAG,GAAG,CAAC,mBAAmB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9K,MAAM,OAAO,EAAE,KAAK,EAAE,CAAC;QACvB,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;AACH,CAAC"}

package/dist/versioned/approval.d.ts

@@ -30,6 +30,12 @@ export declare const NOT_APPROVED = 3;
 export declare function verifyApproval(port: GateLedgerPort, op: MigrateOpRef, digest: string): Promise<{
     resolvedBy: string;
     timestamp: string;
+    review?: {
+        pr: number;
+        head: string;
+        approvers: string[];
+    };
+    signer?: string;
 }>;
 /** The ledger as the gate step reads it, in the project's checkout. */
 export declare function gitLedger(cwd: string): Promise<GateLedgerPort>;

package/dist/versioned/approval.js

@@ -37,11 +37,17 @@ export async function verifyApproval(port, op, digest) {
     const resolutions = ledger.resolutions.filter((r) => r.gate !== op.gate || rule === null || rule.refuses(r) === null);
     const since = latestPendingGate(ledger.pending, op.gate)?.timestamp ?? EPOCH;
     const found = latestResolutionForPlan(resolutions, op.gate, since, digest);
-    if (found.resolution)
-        return { resolvedBy: found.resolution.resolvedBy, timestamp: found.resolution.timestamp };
-    const other = found.mismatched
-        ? ` (the newest approval of that gate is for ${found.mismatched.planDigest ?? "no plan"}, by ${found.mismatched.resolvedBy} at ${found.mismatched.timestamp})`
-        : "";
+    const r = found.resolution;
+    if (r)
+        return { resolvedBy: r.resolvedBy, timestamp: r.timestamp, ...(r.review ? { review: r.review } : {}), ...(r.seal ? { signer: r.seal.signer } : {}) };
+    // An approval of this digest the gate's rule does not count (#48: one not sealed by a signer at base), and why.
+    const uncounted = rule === null ? undefined : latestResolutionForPlan(ledger.resolutions, op.gate, since, digest).resolution;
+    const why = uncounted ? rule?.refuses(uncounted) : null;
+    const other = why
+        ? ` (the approval by ${uncounted?.resolvedBy ?? "?"} at ${uncounted?.timestamp ?? "?"} does not count: ${why})`
+        : found.mismatched
+            ? ` (the newest approval of that gate is for ${found.mismatched.planDigest ?? "no plan"}, by ${found.mismatched.resolvedBy} at ${found.mismatched.timestamp})`
+            : "";
     throw new YodelError(`refused: chant's gate ledger holds no approval of ${op.name} / ${op.gate} for plan ${digest}${other}. Nothing was applied. ` +
         `Run yodel apply without --execute; it stops at the gate and prints the chant approve command.`, NOT_APPROVED);
 }

package/dist/versioned/approval.js.map

@@ -1 +1 @@
-{"version":3,"file":"approval.js","sourceRoot":"","sources":["../../src/versioned/approval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;AAExC,6FAA6F;AAC7F,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC;AAE9B,uGAAuG;AACvG,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAoB,EAAE,EAAgB,EAAE,MAAc;IACzF,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,MAAM,IAAI,UAAU,CAAC,gCAAgC,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC,IAAI,gHAAgH,EAAE,YAAY,CAAC,CAAC;IAC7M,CAAC;IACD,MAAM,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,GAAG,MAAM,MAAM,CAAC,wCAAwC,CAAC,CAAC;IAC9G,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC;IAC1D,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IACtH,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,IAAI,KAAK,CAAC;IAC7E,MAAM,KAAK,GAAG,uBAAuB,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3E,IAAI,KAAK,CAAC,UAAU;QAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;IAChH,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU;QAC5B,CAAC,CAAC,6CAA6C,KAAK,CAAC,UAAU,CAAC,UAAU,IAAI,SAAS,QAAQ,KAAK,CAAC,UAAU,CAAC,UAAU,OAAO,KAAK,CAAC,UAAU,CAAC,SAAS,GAAG;QAC9J,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,IAAI,UAAU,CAClB,qDAAqD,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,IAAI,aAAa,MAAM,GAAG,KAAK,yBAAyB;QAC3H,+FAA+F,EACjG,YAAY,CACb,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAW;IACzC,MAAM,EAAE,iBAAiB,EAAE,GAAG,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;IACvE,OAAO,iBAAiB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AACpC,CAAC"}
+{"version":3,"file":"approval.js","sourceRoot":"","sources":["../../src/versioned/approval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;AAExC,6FAA6F;AAC7F,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC;AAE9B,uGAAuG;AACvG,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAoB,EAAE,EAAgB,EAAE,MAAc;IACzF,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,MAAM,IAAI,UAAU,CAAC,gCAAgC,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC,IAAI,gHAAgH,EAAE,YAAY,CAAC,CAAC;IAC7M,CAAC;IACD,MAAM,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,GAAG,MAAM,MAAM,CAAC,wCAAwC,CAAC,CAAC;IAC9G,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC;IAC1D,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IACtH,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,IAAI,KAAK,CAAC;IAC7E,MAAM,KAAK,GAAG,uBAAuB,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3E,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;IAC3B,IAAI,CAAC;QAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC5J,gHAAgH;IAChH,MAAM,SAAS,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC;IAC7H,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,MAAM,KAAK,GAAG,GAAG;QACf,CAAC,CAAC,qBAAqB,SAAS,EAAE,UAAU,IAAI,GAAG,OAAO,SAAS,EAAE,SAAS,IAAI,GAAG,oBAAoB,GAAG,GAAG;QAC/G,CAAC,CAAC,KAAK,CAAC,UAAU;YAChB,CAAC,CAAC,6CAA6C,KAAK,CAAC,UAAU,CAAC,UAAU,IAAI,SAAS,QAAQ,KAAK,CAAC,UAAU,CAAC,UAAU,OAAO,KAAK,CAAC,UAAU,CAAC,SAAS,GAAG;YAC9J,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,IAAI,UAAU,CAClB,qDAAqD,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,IAAI,aAAa,MAAM,GAAG,KAAK,yBAAyB;QAC3H,+FAA+F,EACjG,YAAY,CACb,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAW;IACzC,MAAM,EAAE,iBAAiB,EAAE,GAAG,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;IACvE,OAAO,iBAAiB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AACpC,CAAC"}

package/dist/versioned/checks.d.ts

@@ -14,6 +14,12 @@
  *
  * A migration resuming part way (a statement of it already succeeded) does
  * not run its checks again: they held before its first statement.
+ *
+ * Each statement's pre-check (#51, `migrationChecks`) runs with them, the
+ * same way: a count of the rows the statement would fail on, which must be
+ * 0. A refusal names the statement and the count. A pre-check whose table
+ * or column an earlier statement of the same migration makes cannot run
+ * before the first statement; it is passed, since no row of it exists yet.
  */
 import { YodelError } from "../project.js";
 import { type CheckOutcome, type Migration } from "../migrations/index.js";
@@ -21,9 +27,9 @@ import type { VersionedDriver } from "./driver.js";
 import type { PendingMigration } from "./state.js";
 /** Whether `p`'s checks run before it: it has some, and no statement of it has succeeded yet. */
 export declare const checksDue: (p: PendingMigration) => boolean;
-/** Runs each of `m`'s checks; a query the server refuses is a failed check. */
+/** Runs each of `m`'s checks and pre-checks; a query the server refuses is a failed check. */
 export declare function runChecks(driver: VersionedDriver, m: Migration): Promise<CheckOutcome[]>;
-/** The checks that failed, one line each. */
+/** The checks that failed, one line each; a pre-check's names its statement and the count. */
 export declare function failedChecks(m: Migration, outcomes: readonly CheckOutcome[]): string[];
 /** The refusal when a check of `m` failed, or `undefined`. */
 export declare function checksRefusal(m: Migration, outcomes: readonly CheckOutcome[], when: string): YodelError | undefined;

package/dist/versioned/checks.js

@@ -14,34 +14,54 @@
  *
  * A migration resuming part way (a statement of it already succeeded) does
  * not run its checks again: they held before its first statement.
+ *
+ * Each statement's pre-check (#51, `migrationChecks`) runs with them, the
+ * same way: a count of the rows the statement would fail on, which must be
+ * 0. A refusal names the statement and the count. A pre-check whose table
+ * or column an earlier statement of the same migration makes cannot run
+ * before the first statement; it is passed, since no row of it exists yet.
  */
 import { YodelError } from "../project.js";
 import { EXIT_REFUSED } from "../exit.js";
-import { describeExpect, judgeCheck } from "../migrations/index.js";
+import { describeExpect, judgeCheck, migrationChecks } from "../migrations/index.js";
 /** Whether `p`'s checks run before it: it has some, and no statement of it has succeeded yet. */
-export const checksDue = (p) => (p.migration.document.checks?.length ?? 0) > 0 && (p.partWay?.done.length ?? 0) === 0;
-/** Runs each of `m`'s checks; a query the server refuses is a failed check. */
+export const checksDue = (p) => migrationChecks(p.migration.document).length > 0 && (p.partWay?.done.length ?? 0) === 0;
+/** The server's refusal of a query over a table or column that does not exist yet. */
+const NOT_THERE = /\b(relation|column) "[^"]+"( of relation "[^"]+")? does not exist\b/;
+/** Runs each of `m`'s checks and pre-checks; a query the server refuses is a failed check. */
 export async function runChecks(driver, m) {
     const where = { defaultDatabase: m.document.defaultDatabase, defaultSchema: m.document.defaultSchema };
     const out = [];
-    for (const check of m.document.checks ?? []) {
+    for (const check of migrationChecks(m.document)) {
         try {
             out.push(judgeCheck(check, await driver.readCheck(check.sql, where)));
         }
         catch (e) {
-            out.push({ name: check.name, passed: false, detail: `the query failed: ${(e instanceof Error ? e.message : String(e)).split("\n")[0] ?? ""}` });
+            const message = (e instanceof Error ? e.message : String(e)).split("\n")[0] ?? "";
+            if (check.step && check.step.index > 0 && NOT_THERE.test(message)) {
+                out.push({ name: check.name, passed: true, detail: `not run: ${message}, which an earlier statement of ${m.id} makes` });
+                continue;
+            }
+            out.push({ name: check.name, passed: false, detail: `the query failed: ${message}` });
         }
     }
     return out;
 }
-/** The checks that failed, one line each. */
+const firstLine = (sql) => {
+    const line = sql.trim().split("\n")[0] ?? "";
+    return line.length > 120 ? `${line.slice(0, 117)}...` : line;
+};
+function failedLine(check, o) {
+    if (check?.step) {
+        const count = /^\d+$/.test(o.detail) ? `${o.detail} ${check.step.detail}` : `its pre-check ${o.detail}`;
+        return `step ${String(check.step.index)}, ${firstLine(check.step.sql)}, would fail: ${count} (pre-check ${o.name}: ${check.sql})`;
+    }
+    return `check ${o.name} failed: it must ${check ? describeExpect(check).replace(/^returns/, "return") : "pass"}, and returned ${o.detail}`;
+}
+/** The checks that failed, one line each; a pre-check's names its statement and the count. */
 export function failedChecks(m, outcomes) {
-    return outcomes
-        .filter((o) => !o.passed)
-        .map((o) => {
-        const check = m.document.checks?.find((c) => c.name === o.name);
-        return `check ${o.name} failed: it must ${check ? describeExpect(check).replace(/^returns/, "return") : "pass"}, and returned ${o.detail}`;
-    });
+    const checks = migrationChecks(m.document);
+    return outcomes.filter((o) => !o.passed).map((o) => failedLine(checks.find((c) => c.name === o.name), o));
 }
 /** The refusal when a check of `m` failed, or `undefined`. */
 export function checksRefusal(m, outcomes, when) {
@@ -49,6 +69,7 @@ export function checksRefusal(m, outcomes, when) {
     if (failed.length === 0)
         return undefined;
     return new YodelError(`refused: a pre-migration check of ${m.id} failed ${when}. Nothing of ${m.id} was applied:\n${failed.map((f) => `  ${f}`).join("\n")}\n` +
-        `Fix the data, then run yodel apply again; if the check is wrong, edit it in migration.json and run yodel lint --update-checksum ${m.id} (the plan digest moves, so the plan is approved again).`, EXIT_REFUSED);
+        `Fix the data, then run yodel apply again; if the check is wrong, edit it in migration.json and run yodel lint --update-checksum ${m.id} (the plan digest moves, so the plan is approved again).` +
+        (failed.some((f) => f.startsWith("step ")) ? ` A statement's pre-check is chant's count of the rows the statement fails on: fix those rows, or change the declaration.` : ""), EXIT_REFUSED);
 }
 //# sourceMappingURL=checks.js.map

package/dist/versioned/checks.js.map

@@ -1 +1 @@
-{"version":3,"file":"checks.js","sourceRoot":"","sources":["../../src/versioned/checks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,UAAU,EAAqC,MAAM,wBAAwB,CAAC;AAIvG,iGAAiG;AACjG,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAmB,EAAW,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;AAEjJ,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,MAAuB,EAAE,CAAY;IACnE,MAAM,KAAK,GAAG,EAAE,eAAe,EAAE,CAAC,CAAC,QAAQ,CAAC,eAAe,EAAE,aAAa,EAAE,CAAC,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;IACvG,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC;YACH,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACxE,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAClJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,YAAY,CAAC,CAAY,EAAE,QAAiC;IAC1E,OAAO,QAAQ;SACZ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;QAChE,OAAO,SAAS,CAAC,CAAC,IAAI,oBAAoB,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,kBAAkB,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7I,CAAC,CAAC,CAAC;AACP,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,aAAa,CAAC,CAAY,EAAE,QAAiC,EAAE,IAAY;IACzF,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACzC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,OAAO,IAAI,UAAU,CACnB,qCAAqC,CAAC,CAAC,EAAE,WAAW,IAAI,gBAAgB,CAAC,CAAC,EAAE,kBAAkB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QACtI,mIAAmI,CAAC,CAAC,EAAE,0DAA0D,EACnM,YAAY,CACb,CAAC;AACJ,CAAC"}
+{"version":3,"file":"checks.js","sourceRoot":"","sources":["../../src/versioned/checks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,eAAe,EAAyD,MAAM,wBAAwB,CAAC;AAI5I,iGAAiG;AACjG,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAmB,EAAW,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;AAEnJ,sFAAsF;AACtF,MAAM,SAAS,GAAG,qEAAqE,CAAC;AAExF,8FAA8F;AAC9F,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,MAAuB,EAAE,CAAY;IACnE,MAAM,KAAK,GAAG,EAAE,eAAe,EAAE,CAAC,CAAC,QAAQ,CAAC,eAAe,EAAE,aAAa,EAAE,CAAC,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;IACvG,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChD,IAAI,CAAC;YACH,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACxE,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,OAAO,GAAG,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAClF,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAClE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,OAAO,mCAAmC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACzH,SAAS;YACX,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB,OAAO,EAAE,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,GAAW,EAAU,EAAE;IACxC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7C,OAAO,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/D,CAAC,CAAC;AAEF,SAAS,UAAU,CAAC,KAAgC,EAAE,CAAe;IACnE,IAAI,KAAK,EAAE,IAAI,EAAE,CAAC;QAChB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,MAAM,EAAE,CAAC;QACxG,OAAO,QAAQ,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,KAAK,eAAe,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG,GAAG,CAAC;IACpI,CAAC;IACD,OAAO,SAAS,CAAC,CAAC,IAAI,oBAAoB,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,kBAAkB,CAAC,CAAC,MAAM,EAAE,CAAC;AAC7I,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,YAAY,CAAC,CAAY,EAAE,QAAiC;IAC1E,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC3C,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC5G,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,aAAa,CAAC,CAAY,EAAE,QAAiC,EAAE,IAAY;IACzF,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACzC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,OAAO,IAAI,UAAU,CACnB,qCAAqC,CAAC,CAAC,EAAE,WAAW,IAAI,gBAAgB,CAAC,CAAC,EAAE,kBAAkB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QACtI,mIAAmI,CAAC,CAAC,EAAE,0DAA0D;QACjM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,0HAA0H,CAAC,CAAC,CAAC,EAAE,CAAC,EAC/K,YAAY,CACb,CAAC;AACJ,CAAC"}

package/dist/versioned/driver.d.ts

@@ -44,8 +44,8 @@ export interface VersionedDriver {
     }): Promise<Array<Record<string, unknown>>>;
     /** Sends one statement and writes its `succeeded` row through `run`; throws with the server's message when it fails. */
     runStatement(step: StatementStep, run: StatementRun): Promise<void>;
-    /** What an Op step's runner gets from the dialect: the ClickHouse port and endpoint; the Postgres lock timeout, and the connection, timeouts and receipts schema a backfill uses. */
-    stepContext(): Pick<StepContext, "port" | "endpoint" | "lockTimeoutMs" | "postgres">;
+    /** What an Op step's runner gets from the dialect: the ClickHouse port and endpoint; the Postgres lock timeout, and the connection, timeouts and receipts schema a backfill uses; and on a tenant (#56), which tenant. */
+    stepContext(): Pick<StepContext, "port" | "endpoint" | "lockTimeoutMs" | "postgres" | "tenant">;
     /** Closes what the driver opened (a Postgres connection). Safe to call twice. */
     close(): Promise<void>;
 }

package/dist/versioned/engine.d.ts

@@ -162,6 +162,16 @@ export interface ExecuteOptions {
      * through (`wave`, ../waves/index.ts).
      */
     runNote?: () => Record<string, unknown> | undefined;
+    /**
+     * The `after` steps (#64): run under the lock once the last migration's
+     * statements succeeded, before its `succeeded` row, whose note records
+     * what they return. An error they return is thrown once that row is
+     * written: the migrations stay applied.
+     */
+    after?: () => Promise<{
+        note: Record<string, unknown>;
+        error?: Error;
+    }>;
 }
 /** How long a run waited for the lock, and who held it. */
 export interface LockWait {

package/dist/versioned/engine.js

@@ -271,14 +271,16 @@ export async function executeApply(venv, ordered, options) {
         const overrides = options.policy ? await options.policy(digest, toApply) : [];
         const recorder = new HistoryRecorder(venv.store, newRunContext(options.approvedDigest, options.processEnv), state.maxSeq);
         const result = { applied: [], skipped: [], lock: lockDoc };
-        for (const p of toApply) {
-            await applyMigration(venv, p, state.byId.get(p.id), recorder, beat, options, result, overrides);
+        for (const [i, p] of toApply.entries()) {
+            const after = await applyMigration(venv, p, state.byId.get(p.id), recorder, beat, options, result, overrides, i === toApply.length - 1);
             result.applied.push(p.id);
+            if (after)
+                throw after;
         }
         return result;
     });
 }
-async function applyMigration(venv, p, rec, recorder, beat, options, result, overrides = []) {
+async function applyMigration(venv, p, rec, recorder, beat, options, result, overrides = [], last = false) {
     const m = p.migration;
     const silences = options.silences?.(m) ?? "[]";
     const base = { migration_id: m.id, parent: m.parent ?? "", checksum: p.checksum, silences };
@@ -334,8 +336,10 @@ async function applyMigration(venv, p, rec, recorder, beat, options, result, ove
         }
         options.log(`  statement ${String(i)}: ok (${step.rule} ${step.class}, ${step.name})`);
     }
-    await recorder.record({ ...base, kind: "migration", statement_index: MIGRATION_ROW, statement_sha: "", status: "succeeded" });
+    const after = last && options.after ? await options.after() : undefined;
+    await recorder.record({ ...base, kind: "migration", statement_index: MIGRATION_ROW, statement_sha: "", status: "succeeded", ...(after ? { note: JSON.stringify(after.note) } : {}) });
     options.log(`${m.id}: applied`);
+    return after?.error;
 }
 /** Runs Op step `i` of `p`, recording its start and outcome. */
 async function runOpStep(venv, p, i, recorder, base, options) {