@workerstack/database 0.22.0 → 0.22.1

package/types/migrate/core/pg-replay-commit.d.ts

@@ -2,11 +2,13 @@
  * The replay's transactions and the reads around them (pg-replay.ts): a file's or comb's own
  * statement's transaction, refused before its COMMIT when this backend's counts show it wrote past
  * its database, and the server's shared catalogs read as committed around it and around
- * every bare statement, a change there the file's when it is to an object the file names;
+ * every bare statement, a change there the file's when it is to the replay's own database, or to an
+ * object the file names beside a statement that can run code comb cannot read;
  * a `txmode none` file's statement in a transaction of its own first, bare only when
  * Postgres runs it outside a block alone.
  */
 import { type Run } from "./pg-replay-roles.ts";
+import { type Hidden } from "./pg-replay-hidden.ts";
 import { type Snapshot } from "./pg-server-snapshot.ts";
 import { type Own } from "./pg-server-writes.ts";
 /**
@@ -16,23 +18,26 @@ import { type Own } from "./pg-server-writes.ts";
  */
 declare function begin(run: Run): Promise<void>;
 /**
- * Where a replayed transaction or bare statement is: its file's name and the names it spells, the
- * statement, if bare, and what a refusal stops; told each role the transaction adds that the replay
- * adopts
+ * Where a replayed transaction or bare statement is: its file's name and the names it spells, what
+ * its statements so far can run that comb cannot read (`hidden`), the statement, if bare, and what a
+ * refusal stops; told each role the transaction adds that the replay adopts
  */
 type At = {
     adopted?: ((role: string) => void) | undefined;
+    hidden: Hidden;
     name: string;
     names: ReadonlySet<string>;
     sent: string | undefined;
     stops: string;
 };
 /**
- * The server's shared catalogs read as committed against the last read: a change since to an object
- * the file `name` names (`names`), while `sent` or the whole file ran, is refused, and a role or
- * database it added is the cleanup's; a change to any other is another session's. The
- * replay's own database is the file's whatever it spells, as only this replay runs in it, and is
- * the cleanup's too. `read` is that read when the caller took it
+ * The server's shared catalogs read as committed against the last read: a change since to the
+ * replay's own database, or to what it holds, is the file's, as only this replay runs in it, and the
+ * cleanup drops it. A change to an object the file names is the file's when its statements so far
+ * can run code comb cannot read (pg-replay-hidden.ts), the one way a change past the database gets by
+ * the counts, and is refused, but no cleanup drops it: Postgres keeps no creator for a role or a
+ * database, and another session may have made it. A change to any other object, or beside statements
+ * that run only what their parse says, is another session's. `read` is that read when the caller took it
  */
 declare function window(run: Run, at: At, read?: Snapshot): Promise<void>;
 /**

package/types/migrate/core/pg-replay-commit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pg-replay-commit.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/pg-replay-commit.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAoB,KAAK,GAAG,EAAE,MAAM,sBAAsB,CAAA;AACjE,OAAO,EAAS,KAAK,QAAQ,EAA8C,MAAM,yBAAyB,CAAA;AAC1G,OAAO,EAIN,KAAK,GAAG,EAIR,MAAM,uBAAuB,CAAA;AAG9B;;;;GAIG;AACH,iBAAe,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAI5C;AAED;;;;GAIG;AACH,KAAK,EAAE,GAAG;IACT,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC,GAAG,SAAS,CAAA;IAC9C,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IAC1B,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;IACxB,KAAK,EAAE,MAAM,CAAA;CACb,CAAA;AAKD;;;;;;GAMG;AACH,iBAAe,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAEtE;AAsDD;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,GAAG,CAQxD;AAYD;;;;GAIG;AACH,iBAAe,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CA4BrD;AAKD;;;;;;GAMG;AACH,iBAAe,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAWjF;AAED,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA"}
+{"version":3,"file":"pg-replay-commit.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/pg-replay-commit.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAoB,KAAK,GAAG,EAAE,MAAM,sBAAsB,CAAA;AACjE,OAAO,EAAE,KAAK,MAAM,EAAc,MAAM,uBAAuB,CAAA;AAC/D,OAAO,EAAE,KAAK,QAAQ,EAA8C,MAAM,yBAAyB,CAAA;AACnG,OAAO,EAIN,KAAK,GAAG,EAIR,MAAM,uBAAuB,CAAA;AAG9B;;;;GAIG;AACH,iBAAe,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAI5C;AAED;;;;GAIG;AACH,KAAK,EAAE,GAAG;IACT,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC,GAAG,SAAS,CAAA;IAC9C,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IAC1B,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;IACxB,KAAK,EAAE,MAAM,CAAA;CACb,CAAA;AAYD;;;;;;;;GAQG;AACH,iBAAe,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAGtE;AA4CD;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,GAAG,CAQxD;AAYD;;;;GAIG;AACH,iBAAe,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CA4BrD;AAKD;;;;;;GAMG;AACH,iBAAe,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAWjF;AAED,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA"}

package/types/migrate/core/pg-replay-drops.d.ts

@@ -4,15 +4,10 @@ import { type Sql } from "./pg-replay-database.ts";
 import type { Run } from "./pg-replay-roles.ts";
 /** `step` run, its failure passed: one whose failure leaves something has it said by the drop that then fails (dropOr) */
 declare function settle(step: () => Promise<unknown>): Promise<void>;
-/** What a drop that failed left on devUrl's server, a database, role or slot by name, and whether a later sweep takes it */
-type Left = {
-    swept: boolean;
-    what: string;
-};
-/** How a drop that failed is said: what it `left`, with dev's error */
-type Leave = (left: Left, error: unknown) => void;
+/** How a drop that failed is said: what it left on devUrl's server, a database, role or slot by name, with dev's error */
+type Leave = (left: string, error: unknown) => void;
 /** `drop` run, a failure `leave`d: cleaning up never replaces the replay's verdict, and never leaves something unsaid */
-declare function dropOr(leave: Leave, left: Left, drop: () => Promise<unknown>): Promise<void>;
+declare function dropOr(leave: Leave, left: string, drop: () => Promise<unknown>): Promise<void>;
 /** How the drops reach devUrl's server: a session in `database`, which a subscription's drop needs, and how a failed drop is said */
 type Drops = {
     into: (database: string) => Sql;
@@ -52,10 +47,10 @@ declare function sweep(admin: Sql, now: number, drops: Drops): Promise<void>;
 declare function sweepDev(target: PgTarget, print: (line: string) => void, load?: () => Promise<Connect>): Promise<void>;
 /**
  * `run`'s cleanup, each drop that fails `leave`d: its connection closed, a query in flight with it,
- * any backend still in its database ended, the slots a refused window added, which a drop waits on,
- * the database's subscriptions and slots, which keep it from its drop, the database made no
- * template and dropped, forcing out a backend that came in since, each role it made, and that
- * window's roles and idle databases, which no sweep takes
+ * any backend still in its database ended, the database's subscriptions and slots, which keep it
+ * from its drop, the database made no template and dropped, forcing out a backend that came in
+ * since, and each role it made or adopted. It drops nothing else a refused window saw, as Postgres
+ * keeps no creator for a role, a database or a slot, and another session may have made it
  */
 declare function cleanUp(run: Run, drops: Drops): Promise<void>;
 export { cleanUp, type Drops, dropMade, dropOr, dropRole, dropSlot, type Leave, leaving, settle, sweep, sweepDev };

package/types/migrate/core/pg-replay-drops.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pg-replay-drops.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/pg-replay-drops.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AACjD,OAAO,EAAE,KAAK,OAAO,EAAE,SAAS,EAAgB,MAAM,sBAAsB,CAAA;AAC5E,OAAO,EAAqB,KAAK,GAAG,EAAE,MAAM,yBAAyB,CAAA;AACrE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAA;AAG/C,0HAA0H;AAC1H,iBAAe,MAAM,CAAC,IAAI,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAMjE;AAED,4HAA4H;AAC5H,KAAK,IAAI,GAAG;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAE5C,uEAAuE;AACvE,KAAK,KAAK,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAA;AAEjD,yHAAyH;AACzH,iBAAe,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAO3F;AAED,qIAAqI;AACrI,KAAK,KAAK,GAAG;IAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAA;AAE9D,mEAAmE;AACnE,iBAAS,OAAO,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAK9F;AAED,8DAA8D;AAC9D,iBAAe,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAI/D;AAkCD;;;;;GAKG;AACH,iBAAe,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAS/D;AAMD;;;GAGG;AACH,iBAAe,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAE/D;AAED;;;;GAIG;AACH,iBAAe,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAazE;AAQD;;;;;;;;GAQG;AACH,iBAAe,QAAQ,CACtB,MAAM,EAAE,QAAQ,EAChB,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,EAC7B,IAAI,GAAE,MAAM,OAAO,CAAC,OAAO,CAA8B,GACvD,OAAO,CAAC,IAAI,CAAC,CAkCf;AAED;;;;;;GAMG;AACH,iBAAe,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAwB5D;AAED,OAAO,EAAE,OAAO,EAAE,KAAK,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAA"}
+{"version":3,"file":"pg-replay-drops.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/pg-replay-drops.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AACjD,OAAO,EAAE,KAAK,OAAO,EAAE,SAAS,EAAgB,MAAM,sBAAsB,CAAA;AAC5E,OAAO,EAAqB,KAAK,GAAG,EAAE,MAAM,yBAAyB,CAAA;AACrE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAA;AAG/C,0HAA0H;AAC1H,iBAAe,MAAM,CAAC,IAAI,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAMjE;AAED,0HAA0H;AAC1H,KAAK,KAAK,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAA;AAEnD,yHAAyH;AACzH,iBAAe,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAO7F;AAED,qIAAqI;AACrI,KAAK,KAAK,GAAG;IAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAA;AAE9D,mEAAmE;AACnE,iBAAS,OAAO,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAK9F;AAED,8DAA8D;AAC9D,iBAAe,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAI/D;AAiCD;;;;;GAKG;AACH,iBAAe,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAS/D;AAMD;;;GAGG;AACH,iBAAe,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAE/D;AAED;;;;GAIG;AACH,iBAAe,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAWzE;AAQD;;;;;;;;GAQG;AACH,iBAAe,QAAQ,CACtB,MAAM,EAAE,QAAQ,EAChB,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,EAC7B,IAAI,GAAE,MAAM,OAAO,CAAC,OAAO,CAA8B,GACvD,OAAO,CAAC,IAAI,CAAC,CAkCf;AAED;;;;;;GAMG;AACH,iBAAe,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAe5D;AAED,OAAO,EAAE,OAAO,EAAE,KAAK,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAA"}

package/types/migrate/core/pg-replay-hidden.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Whether the statements a replay's window covers can run code comb cannot read, the only way one
+ * makes a change past its database that this backend's counts miss (pg-replay-commit.ts): a DO
+ * block, a CALL, an EXECUTE, or a call of a function outside pg_catalog, dblink's among them. A
+ * statement whose tree holds none of those runs only what its parse says, and BEYOND and SERVER_CALLS
+ * (pg-outside-transaction.ts, pg-server-calls.ts) leave out every such statement that reaches past
+ * the database, so a change the server's read shows beside it is another session's. A function
+ * called by a bare name is pg_catalog's only where the replay's database holds no other of that name,
+ * as an overload in a schema on the search path can take the call, and the file makes none of it.
+ * Code Postgres runs for a statement on its own, a trigger, a default, an operator or a cast that
+ * calls a function an earlier file defines, is no call in the tree, so it is not read here; what it
+ * writes in the replay's transaction its counts still see.
+ */
+import type { Sql } from "./pg-replay-database.ts";
+/**
+ * What the statements so far can run that comb cannot read: `code` when one surely can, the
+ * functions they call by a bare name (`calls`), which may be pg_catalog's, and those the file makes
+ * (`made`). A file's every later window counts what one ran, as a change a DO block makes in the
+ * file's own block commits at its COMMIT
+ */
+type Hidden = {
+    calls: Set<string>;
+    code: boolean;
+    made: Set<string>;
+};
+/** Nothing run yet */
+declare const nothingHidden: () => Hidden;
+/** A statement the replay runs, read `into`: one the parser cannot read may run anything */
+declare function readStatement(tree: unknown, into: Hidden): void;
+/**
+ * Whether what `hidden` holds can run code comb cannot read, a bare name resolved on `sql`, the
+ * replay's connection, which sees what its open transaction made
+ */
+declare function runsHidden(sql: Sql, { calls, code, made }: Hidden): Promise<boolean>;
+export { type Hidden, nothingHidden, readStatement, runsHidden };
+//# sourceMappingURL=pg-replay-hidden.d.ts.map

package/types/migrate/core/pg-replay-hidden.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pg-replay-hidden.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/pg-replay-hidden.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAElD;;;;;GAKG;AACH,KAAK,MAAM,GAAG;IAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAAE,CAAA;AAEtE,sBAAsB;AACtB,QAAA,MAAM,aAAa,QAAO,MAA8D,CAAA;AA0BxF,4FAA4F;AAC5F,iBAAS,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAGxD;AASD;;;GAGG;AACH,iBAAe,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAKnF;AAED,OAAO,EAAE,KAAK,MAAM,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,CAAA"}

package/types/migrate/core/pg-replay-roles.d.ts

@@ -1,13 +1,12 @@
 import { type Sql } from "./pg-replay-database.ts";
 import { type Rows, type Writes } from "./pg-server-writes.ts";
-import type { Snapshot, Strays } from "./pg-server-snapshot.ts";
+import type { Snapshot } from "./pg-server-snapshot.ts";
 /**
  * One replay's state: its connection, the server as committed (`admin`), its database, the backend
  * that owns it, its role (`role`, which CURRENT_USER and its kin name in a file), whether that role
  * is a superuser, which reads pg_authid, whether it has CREATEROLE (`createrole`), and the roles it made; the
  * open transaction's own writes, comb's CREATE ROLEs', with the rows they left; the shared catalogs
- * as last read committed (`seen`), and the roles, databases and replication slots a refused window
- * added (`strays`), which the cleanup drops
+ * as last read committed (`seen`)
  */
 type Run = {
     admin: Sql;
@@ -22,7 +21,6 @@ type Run = {
     role: string;
     seen: Snapshot;
     sql: Sql;
-    strays: Strays;
     /** the tablespaces it left out the CREATE of, which a statement then runs in pg_default instead */
     tablespaces: Set<string>;
     superuser: boolean;

package/types/migrate/core/pg-replay-roles.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pg-replay-roles.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/pg-replay-roles.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAmB,KAAK,GAAG,EAAO,MAAM,yBAAyB,CAAA;AACxE,OAAO,EAAiC,KAAK,IAAI,EAAe,KAAK,MAAM,EAAe,MAAM,uBAAuB,CAAA;AACvH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AAG/D;;;;;;;GAOG;AACH,KAAK,GAAG,GAAG;IACV,KAAK,EAAE,GAAG,CAAA;IACV,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,UAAU,EAAE,OAAO,CAAA;IACnB,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IACpC,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,EAAE,GAAG,CAAA;IACR,MAAM,EAAE,MAAM,CAAA;IACd,mGAAmG;IACnG,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACxB,SAAS,EAAE,OAAO,CAAA;CAClB,CAAA;AAED,sIAAsI;AACtI,iBAAe,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC;IAAE,UAAU,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAAC,CAUrG;AAED,gHAAgH;AAChH,iBAAe,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAOxG;AA0BD;;;GAGG;AACH,iBAAS,QAAQ,CAChB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,IAAI,EAAE,SAAS,MAAM,EAAE,GACrB;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAmBnD;AAED;;;;;;;GAOG;AACH,iBAAe,UAAU,CACxB,GAAG,EAAE,GAAG,EACR,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9F,OAAO,CAAC,OAAO,CAAC,CAyBlB;AAED;;;GAGG;AACH,iBAAe,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAiBhF;AAED;;;;GAIG;AACH,iBAAe,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAc1E;AAED;;;GAGG;AACH,iBAAe,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAMtE;AAKD,6GAA6G;AAC7G,iBAAe,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAEjF;AAED,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,GAAG,EAAE,CAAA"}
+{"version":3,"file":"pg-replay-roles.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/pg-replay-roles.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAmB,KAAK,GAAG,EAAO,MAAM,yBAAyB,CAAA;AACxE,OAAO,EAAiC,KAAK,IAAI,EAAe,KAAK,MAAM,EAAe,MAAM,uBAAuB,CAAA;AACvH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AAGvD;;;;;;GAMG;AACH,KAAK,GAAG,GAAG;IACV,KAAK,EAAE,GAAG,CAAA;IACV,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,UAAU,EAAE,OAAO,CAAA;IACnB,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IACpC,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,EAAE,GAAG,CAAA;IACR,mGAAmG;IACnG,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACxB,SAAS,EAAE,OAAO,CAAA;CAClB,CAAA;AAED,sIAAsI;AACtI,iBAAe,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC;IAAE,UAAU,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAAC,CAUrG;AAED,gHAAgH;AAChH,iBAAe,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAOxG;AA0BD;;;GAGG;AACH,iBAAS,QAAQ,CAChB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,IAAI,EAAE,SAAS,MAAM,EAAE,GACrB;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAmBnD;AAED;;;;;;;GAOG;AACH,iBAAe,UAAU,CACxB,GAAG,EAAE,GAAG,EACR,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9F,OAAO,CAAC,OAAO,CAAC,CAyBlB;AAED;;;GAGG;AACH,iBAAe,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAiBhF;AAED;;;;GAIG;AACH,iBAAe,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAc1E;AAED;;;GAGG;AACH,iBAAe,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAMtE;AAKD,6GAA6G;AAC7G,iBAAe,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAEjF;AAED,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,GAAG,EAAE,CAAA"}

package/types/migrate/core/pg-replay.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pg-replay.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/pg-replay.ts"],"names":[],"mappings":"AA8CA,OAAO,EAAE,KAAK,QAAQ,EAAqB,MAAM,mBAAmB,CAAA;AAKpE,OAAO,EAAE,KAAK,OAAO,EAAwC,MAAM,sBAAsB,CAAA;AACzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAErD,OAAO,EAAoE,KAAK,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAKpH,OAAO,EAAe,KAAK,MAAM,EAAgC,MAAM,0BAA0B,CAAA;AASjG,0CAA0C;AAC1C,KAAK,WAAW,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAA;AAEhD,sHAAsH;AACtH,KAAK,aAAa,CAAC,CAAC,IAAI;IACvB,KAAK,EAAE,SAAS,WAAW,EAAE,CAAA;IAC7B,OAAO,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACrC,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IACzB,UAAU,EAAE,MAAM,CAAA;CAClB,CAAA;AA0ID;;;;GAIG;AACH,iBAAe,KAAK,CAAC,CAAC,EACrB,MAAM,EAAE,QAAQ,EAChB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,EACC,KAAK,EACL,IAAI,EACJ,KAAK,EACL,GAAG,MAAM,EACT,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG;IAC5B,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,CAAA;IACjD,OAAO,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,SAAS,CAAA;IACvC,IAAI,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAA;IAC5B,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAA;CAC7B,GACC,OAAO,CAAC,CAAC,CAAC,CAqCZ;AAED;;;;;;GAMG;AACH,iBAAe,aAAa,CAAC,CAAC,EAC7B,MAAM,EAAE,QAAQ,EAChB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC,EACvD,IAAI,GAAE,MAAM,OAAO,CAAC,OAAO,CAA+B,GACxD,OAAO,CAAC;IAAE,OAAO,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,CAAC,CAAA;CAAE,CAAC,CAWjD;AAED,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE,CAAA"}
+{"version":3,"file":"pg-replay.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/pg-replay.ts"],"names":[],"mappings":"AA6CA,OAAO,EAAE,KAAK,QAAQ,EAAqB,MAAM,mBAAmB,CAAA;AAKpE,OAAO,EAAE,KAAK,OAAO,EAAwC,MAAM,sBAAsB,CAAA;AACzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAErD,OAAO,EAAoE,KAAK,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAKpH,OAAO,EAAe,KAAK,MAAM,EAAgC,MAAM,0BAA0B,CAAA;AAUjG,0CAA0C;AAC1C,KAAK,WAAW,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAA;AAEhD,sHAAsH;AACtH,KAAK,aAAa,CAAC,CAAC,IAAI;IACvB,KAAK,EAAE,SAAS,WAAW,EAAE,CAAA;IAC7B,OAAO,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACrC,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IACzB,UAAU,EAAE,MAAM,CAAA;CAClB,CAAA;AA4ID;;;;GAIG;AACH,iBAAe,KAAK,CAAC,CAAC,EACrB,MAAM,EAAE,QAAQ,EAChB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,EACC,KAAK,EACL,IAAI,EACJ,KAAK,EACL,GAAG,MAAM,EACT,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG;IAC5B,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,CAAA;IACjD,OAAO,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,SAAS,CAAA;IACvC,IAAI,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAA;IAC5B,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAA;CAC7B,GACC,OAAO,CAAC,CAAC,CAAC,CAqCZ;AAED;;;;;;GAMG;AACH,iBAAe,aAAa,CAAC,CAAC,EAC7B,MAAM,EAAE,QAAQ,EAChB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC,EACvD,IAAI,GAAE,MAAM,OAAO,CAAC,OAAO,CAA+B,GACxD,OAAO,CAAC;IAAE,OAAO,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,CAAC,CAAA;CAAE,CAAC,CAWjD;AAED,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE,CAAA"}

package/types/migrate/core/pg-server-snapshot.d.ts

@@ -2,8 +2,9 @@
  * The server's shared catalogs read as committed, in one query: what a bare
  * statement changed, which no transaction counts, and what a second connection committed, which this
  * backend's counts never see (pg-server-writes.ts). The read is the server's, another session's work
- * in it too, so each row carries the names of the objects it is about, and a change is a file's only
- * when one is a name the file spells (namesIn in sql-code.ts). A replay's own rows are left out, but
+ * in it too, so each row carries the names of the objects it is about: a change is a file's when it
+ * is to the replay's own database, or to a name the file spells (namesIn in sql-code.ts) beside a
+ * statement that can run code comb cannot read (pg-replay-hidden.ts). A replay's own rows are left out, but
  * for the fields of its own database's row that keep the cleanup from dropping it, which only that
  * replay changes. Beside the catalogs, the server's replication slots, which no catalog
  * holds.
@@ -33,15 +34,7 @@ declare function snapshot(admin: Sql): Promise<Snapshot>;
  * name in `names`, the names a file spells, when given
  */
 declare function snapshotChanges(before: Snapshot, after: Snapshot, names?: ReadonlySet<string>): string[];
-/** What the cleanup drops, by the noun its subject starts with */
-type Strays = {
-    databases: string[];
-    roles: string[];
-    slots: string[];
-};
-/** The roles, databases and replication slots named in `names` that `after` holds and `before` does not */
-declare function added(before: Snapshot, after: Snapshot, names: ReadonlySet<string>): Strays;
 /** The subscriptions `after` holds in `database` and `before` does not, by subject: its drop takes them */
 declare const subscriptionsIn: (before: Snapshot, after: Snapshot, database: string) => string[];
-export { added, prepareSnapshot, type Snapshot, snapshot, snapshotChanges, type Strays, subscriptionsIn };
+export { prepareSnapshot, type Snapshot, snapshot, snapshotChanges, subscriptionsIn };
 //# sourceMappingURL=pg-server-snapshot.d.ts.map

package/types/migrate/core/pg-server-snapshot.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pg-server-snapshot.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/pg-server-snapshot.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AA6ElD;;;GAGG;AACH,KAAK,QAAQ,GAAG,GAAG,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAC,CAAA;AAEvF;;;;GAIG;AACH,iBAAe,eAAe,CAC7B,KAAK,EAAE,GAAG,EACV,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,GAC/D,OAAO,CAAC,IAAI,CAAC,CAEf;AAED,gIAAgI;AAChI,iBAAe,QAAQ,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAQrD;AAWD;;;GAGG;AACH,iBAAS,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAajG;AAED,kEAAkE;AAClE,KAAK,MAAM,GAAG;IAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CAAA;AASvE,2GAA2G;AAC3G,iBAAS,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,MAAM,CAQpF;AAED,2GAA2G;AAC3G,QAAA,MAAM,eAAe,WAAY,QAAQ,SAAS,QAAQ,YAAY,MAAM,KAAG,MAAM,EAKvD,CAAA;AAE9B,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,MAAM,EAAE,eAAe,EAAE,CAAA"}
+{"version":3,"file":"pg-server-snapshot.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/pg-server-snapshot.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AA6ElD;;;GAGG;AACH,KAAK,QAAQ,GAAG,GAAG,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAC,CAAA;AAEvF;;;;GAIG;AACH,iBAAe,eAAe,CAC7B,KAAK,EAAE,GAAG,EACV,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,GAC/D,OAAO,CAAC,IAAI,CAAC,CAEf;AAED,gIAAgI;AAChI,iBAAe,QAAQ,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAQrD;AAWD;;;GAGG;AACH,iBAAS,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAajG;AAED,2GAA2G;AAC3G,QAAA,MAAM,eAAe,WAAY,QAAQ,SAAS,QAAQ,YAAY,MAAM,KAAG,MAAM,EAKvD,CAAA;AAE9B,OAAO,EAAE,eAAe,EAAE,KAAK,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,eAAe,EAAE,CAAA"}

package/types/migrate/core/proof-readers.d.ts

@@ -0,0 +1,19 @@
+/**
+ * What a file leaves unable to run: SQLite's DROP TABLE and DROP VIEW check no view or trigger that names what they
+ * drop, and SQLite, D1 and libsql resolve those names only when a statement runs. So a file can apply and leave every
+ * read of a view, or every write a trigger fires on, failing. After a file applies to the proof's copy, each view and
+ * trigger that survives it and names an object the file dropped or changed is compiled: a view's read, a trigger's
+ * own write on its table or view (trigger-write.mjs). SQLite resolves a name only by name, and the copy holds every
+ * reader that names a table a file reaches (proof-scope.ts), so this finds every reader the file breaks.
+ */
+import type { LocalDb } from "../drivers/local-db.ts";
+import type { LiveObject } from "./proof-copy.ts";
+/** The copy's schema, each object by type and folded name */
+declare function schemaOf(db: LocalDb): Map<string, LiveObject>;
+/**
+ * Throws when a file that turned the copy's schema `before` into `db`'s leaves a view or trigger unable to run,
+ * naming it and SQLite's error: no approval overrides, since every read or write through it would fail
+ */
+declare function refuseBrokenReaders(db: LocalDb, before: ReadonlyMap<string, LiveObject>): void;
+export { refuseBrokenReaders, schemaOf };
+//# sourceMappingURL=proof-readers.d.ts.map

package/types/migrate/core/proof-readers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-readers.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/proof-readers.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAKjD,6DAA6D;AAC7D,iBAAS,QAAQ,CAAC,EAAE,EAAE,OAAO,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAatD;AA8BD;;;GAGG;AACH,iBAAS,mBAAmB,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,IAAI,CAevF;AAED,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAA"}

package/types/migrate/core/proof-run.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"proof-run.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/proof-run.ts"],"names":[],"mappings":"AAiBA,OAAO,EAA6B,KAAK,aAAa,EAAE,MAAM,wBAAwB,CAAA;AACtF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAG7C,OAAO,EAAwD,KAAK,UAAU,EAAe,MAAM,iBAAiB,CAAA;AAMpH,4CAA4C;AAC5C,KAAK,KAAK,GAAG;IACZ,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,4EAA4E;IAC5E,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC3B,+EAA+E;IAC/E,QAAQ,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC/C,MAAM,EAAE,MAAM,EAAE,CAAA;CAChB,CAAA;AAwKD;;;;;;;;GAQG;AACH,iBAAe,YAAY,CAC1B,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,EACnD,EAAE,MAAkB,EAAE,IAAI,EAAE,GAAE;IAAE,MAAM,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,CAAA;CAAO,GACjH,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAuD7B;AAKD,OAAO,EAAE,KAAK,KAAK,EAAE,YAAY,EAAE,CAAA"}
+{"version":3,"file":"proof-run.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/proof-run.ts"],"names":[],"mappings":"AAkBA,OAAO,EAA6B,KAAK,aAAa,EAAE,MAAM,wBAAwB,CAAA;AACtF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAG7C,OAAO,EAAwD,KAAK,UAAU,EAAe,MAAM,iBAAiB,CAAA;AAOpH,4CAA4C;AAC5C,KAAK,KAAK,GAAG;IACZ,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,4EAA4E;IAC5E,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC3B,+EAA+E;IAC/E,QAAQ,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC/C,MAAM,EAAE,MAAM,EAAE,CAAA;CAChB,CAAA;AAoLD;;;;;;;;GAQG;AACH,iBAAe,YAAY,CAC1B,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,EACnD,EAAE,MAAkB,EAAE,IAAI,EAAE,GAAE;IAAE,MAAM,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,CAAA;CAAO,GACjH,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAuD7B;AAKD,OAAO,EAAE,KAAK,KAAK,EAAE,YAAY,EAAE,CAAA"}

package/types/migrate/core/proof-scope.d.ts

@@ -3,15 +3,17 @@
  * can observe, created, and the tables whose rows they can observe, seeded, so the copy refuses what the whole
  * schema would and costs what the files reach.
  *
- * - An object's references are every name its text spells (sql-code's lexer, compared folded, never as a substring)
- *   and, for a virtual table, each string and quoted name among its module's arguments, whole. A table's FK parents
- *   are the other tables it references; a reader is a view, a trigger or a virtual table, and reads what it references.
+ * - An object's references are every name its text spells where SQLite's grammar takes a name (sql-code's lexer,
+ *   compared folded, never as a substring: the `TABLE` of `CREATE TABLE` is no name) and, for a virtual table, each
+ *   word, string and quoted name among its module's arguments, whole. A table's FK parents are the other tables it
+ *   references; a reader is a view, a trigger or a virtual table, and reads what it references.
  * - N: each live object whose name a file spells, and the history table; S is N's tables, which a file creates,
  *   alters, drops, renames or writes.
  * - Rows go to S, each table a reader reached from S references (to a fixpoint), D (their FK descendants: a cascade
  *   reaches them) and A (the FK ancestors of all those: their keys must be met).
  * - The copy creates N, the seeded tables, and each reader that references an S table (SQLite checks views and
- *   triggers on DROP COLUMN and RENAME COLUMN, and a rename rewrites them). Then to a fixpoint each index and trigger
+ *   triggers on DROP COLUMN and RENAME COLUMN, and a rename rewrites them) or a view of N (a file that drops the
+ *   view leaves the reader unable to run, which the proof compiles it to see). Then to a fixpoint each index and trigger
  *   on a created table or view (a view's INSTEAD OF triggers carry out a write through it), each table and view a
  *   created reader references, and each created table's FK ancestors, which a write to it compiles checks against.
  * - Reflection reads the schema itself: a name with SQLite's reserved `sqlite_` prefix (its catalogs, sqlite_sequence,
@@ -27,15 +29,21 @@
 import type { LiveObject } from "./proof-copy.ts";
 declare const isVirtual: (object: LiveObject) => boolean;
 /**
- * Virtual table `object`'s module, the name after USING however it is written, and each string and quoted name among
- * the module's arguments, which the module may read as a table's name (fts5vocab, content=)
+ * Virtual table `object`'s module, the name after USING however it is written, each string and quoted name among
+ * the module's arguments, which the module may read as a table's name (fts5vocab, content=), and each bare word there
  */
 declare function virtualOf(object: LiveObject): {
     args: string[];
     module: string;
+    words: string[];
 } | undefined;
 /** The folded names of the shadow tables virtual table `object`'s module makes */
 declare const shadowsOf: (object: LiveObject) => string[];
+/**
+ * Every name `object` references, folded (see the module's comment). A virtual table's module reads its own arguments,
+ * not SQL, so each bare word among them may name a table, `group` in `content=group` among them
+ */
+declare const referencesOf: (object: LiveObject) => Set<string>;
 /** What a copy scoped to pending files holds: the live objects it creates, in their order, and the tables it seeds, folded */
 type Scope = {
     objects: LiveObject[];
@@ -48,5 +56,5 @@ type Scope = {
 declare function observable(objects: readonly LiveObject[], files: ReadonlyArray<{
     sql: string;
 }>, history?: string | undefined): Scope;
-export { isVirtual, observable, type Scope, shadowsOf, virtualOf };
+export { isVirtual, observable, referencesOf, type Scope, shadowsOf, virtualOf };
 //# sourceMappingURL=proof-scope.d.ts.map

package/types/migrate/core/proof-scope.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"proof-scope.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/proof-scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAgBjD,QAAA,MAAM,SAAS,WAAY,UAAU,KAAG,OAAsD,CAAA;AAyB9F;;;GAGG;AACH,iBAAS,SAAS,CAAC,MAAM,EAAE,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAMrF;AAED,kFAAkF;AAClF,QAAA,MAAM,SAAS,WAAY,UAAU,KAAG,MAAM,EAC8D,CAAA;AA6B5G,8HAA8H;AAC9H,KAAK,KAAK,GAAG;IAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAAE,CAAA;AA6E3D;;;GAGG;AACH,iBAAS,UAAU,CAClB,OAAO,EAAE,SAAS,UAAU,EAAE,EAC9B,KAAK,EAAE,aAAa,CAAC;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,EACrC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAC1B,KAAK,CA4CP;AAED,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA"}
+{"version":3,"file":"proof-scope.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/proof-scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAgBjD,QAAA,MAAM,SAAS,WAAY,UAAU,KAAG,OAAsD,CAAA;AAyB9F;;;GAGG;AACH,iBAAS,SAAS,CAAC,MAAM,EAAE,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,SAAS,CAUtG;AAED,kFAAkF;AAClF,QAAA,MAAM,SAAS,WAAY,UAAU,KAAG,MAAM,EAC8D,CAAA;AAE5G;;;GAGG;AACH,QAAA,MAAM,YAAY,WAAY,UAAU,KAAG,GAAG,CAAC,MAAM,CAC0D,CAAA;AAyB/G,8HAA8H;AAC9H,KAAK,KAAK,GAAG;IAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAAE,CAAA;AA6E3D;;;GAGG;AACH,iBAAS,UAAU,CAClB,OAAO,EAAE,SAAS,UAAU,EAAE,EAC9B,KAAK,EAAE,aAAa,CAAC;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,EACrC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAC1B,KAAK,CAgDP;AAED,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA"}

package/types/migrate/core/sql-code.d.ts

@@ -50,9 +50,13 @@ declare function pragmaOf(code: string): Pragma | undefined;
 /** A whole name as SQLite resolves it, each part folded, with the schema it was written with (`main."Post"` is `main.post`) */
 declare const qualifiedKey: (name: string) => string;
 /**
- * Every name SQLite code can spell, as SQLite resolves one: each bare word and each quoted name unquoted, and each
- * word of a string, which SQLite reads as a name where one stands (`FROM 'post'`) and a module as its option's
- * (`content='post'`), folded by asciiFold; never a word of a comment
+ * Every name SQLite code can spell, as SQLite resolves one: each quoted name unquoted, each word of a string, which
+ * SQLite reads as a name where one stands (`FROM 'post'`) and a module as its option's (`content='post'`), and each
+ * bare word that can be one, all folded by asciiFold; never a word of a comment. A bare keyword is no name
+ * where SQLite's grammar takes none: `TABLE`, `CREATE`, `NULL` and the rest of NEVER_NAMES whenever it is bare, and
+ * `KEY` after `PRIMARY` or `FOREIGN`, which no name can follow. So a table named `table` is named by `"table"` and
+ * not by the `CREATE TABLE` of every file. Any other bare word may be a name and is read as one: a name read
+ * where there is none only widens what a proof copies, a name missed would narrow it
  */
 declare function sqliteNames(sql: string): Set<string>;
 /**

package/types/migrate/core/sql-code.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sql-code.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/sql-code.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AAG1C,wEAAwE;AACxE,QAAA,MAAM,KAAK,EAAE,MAAqG,CAAA;AAClH,uCAAuC;AACvC,QAAA,MAAM,KAAK,EAAE,MAA2C,CAAA;AAWxD,kEAAkE;AAClE,QAAA,MAAM,OAAO,SAAU,MAAM,KAAG,MAAmF,CAAA;AAEnH,wEAAwE;AACxE,QAAA,MAAM,QAAQ,SAAU,MAAM,KAAG,MAAmD,CAAA;AAEpF;;;GAGG;AACH,KAAK,MAAM,GAAG,QAAQ,GAAG;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAE3C,6DAA6D;AAC7D,QAAA,MAAM,QAAQ,YAAa,OAAO,sBAAsB,MAAwD,CAAA;AAEhH,0CAA0C;AAC1C,QAAA,MAAM,SAAS,WAAY,MAAM,KAAG,OAAwD,CAAA;AAE5F;;;;;GAKG;AACH,iBAAS,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAMrD;AAED;;;GAGG;AACH,QAAA,MAAM,SAAS,SAAU,MAAM,KAAG,MAAqE,CAAA;AAQvG;;;GAGG;AACH,KAAK,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAA;AAetG,6GAA6G;AAC7G,iBAAS,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAUlD;AAED,+HAA+H;AAC/H,QAAA,MAAM,YAAY,SAAU,MAAM,KAAG,MAC2C,CAAA;AAEhF;;;;GAIG;AACH,iBAAS,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAE7C;AAcD;;;;GAIG;AACH,iBAAS,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,GAAG,CAAC,MAAM,CAAC,CAWzE;AAED,wEAAwE;AACxE,iBAAS,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAa7C;AAED,uFAAuF;AACvF,iBAAS,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAStC;AAED,OAAO,EACN,SAAS,EACT,SAAS,EACT,KAAK,EACL,QAAQ,EACR,OAAO,EACP,OAAO,EACP,KAAK,MAAM,EACX,QAAQ,EACR,KAAK,MAAM,EACX,QAAQ,EACR,KAAK,EACL,YAAY,EACZ,aAAa,EACb,WAAW,EACX,QAAQ,EACR,OAAO,GACP,CAAA"}
+{"version":3,"file":"sql-code.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/sql-code.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AAI1C,wEAAwE;AACxE,QAAA,MAAM,KAAK,EAAE,MAAqG,CAAA;AAClH,uCAAuC;AACvC,QAAA,MAAM,KAAK,EAAE,MAA2C,CAAA;AAWxD,kEAAkE;AAClE,QAAA,MAAM,OAAO,SAAU,MAAM,KAAG,MAAmF,CAAA;AAEnH,wEAAwE;AACxE,QAAA,MAAM,QAAQ,SAAU,MAAM,KAAG,MAAmD,CAAA;AAEpF;;;GAGG;AACH,KAAK,MAAM,GAAG,QAAQ,GAAG;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAE3C,6DAA6D;AAC7D,QAAA,MAAM,QAAQ,YAAa,OAAO,sBAAsB,MAAwD,CAAA;AAEhH,0CAA0C;AAC1C,QAAA,MAAM,SAAS,WAAY,MAAM,KAAG,OAAwD,CAAA;AAE5F;;;;;GAKG;AACH,iBAAS,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAMrD;AAED;;;GAGG;AACH,QAAA,MAAM,SAAS,SAAU,MAAM,KAAG,MAAqE,CAAA;AAQvG;;;GAGG;AACH,KAAK,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAA;AAetG,6GAA6G;AAC7G,iBAAS,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAUlD;AAED,+HAA+H;AAC/H,QAAA,MAAM,YAAY,SAAU,MAAM,KAAG,MAC2C,CAAA;AAKhF;;;;;;;;GAQG;AACH,iBAAS,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAyB7C;AAcD;;;;GAIG;AACH,iBAAS,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,GAAG,CAAC,MAAM,CAAC,CAWzE;AAED,wEAAwE;AACxE,iBAAS,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAa7C;AAED,uFAAuF;AACvF,iBAAS,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAStC;AAED,OAAO,EACN,SAAS,EACT,SAAS,EACT,KAAK,EACL,QAAQ,EACR,OAAO,EACP,OAAO,EACP,KAAK,MAAM,EACX,QAAQ,EACR,KAAK,MAAM,EACX,QAAQ,EACR,KAAK,EACL,YAAY,EACZ,aAAa,EACb,WAAW,EACX,QAAQ,EACR,OAAO,GACP,CAAA"}

package/types/migrate/core/sql-scan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sql-scan.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/sql-scan.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AA2E1C;;;;;GAKG;AACH,iBAAS,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,GAAE,OAAkB,GAAG,MAAM,EAAE,CAc9E;AAKD;;;;;;;GAOG;AACH,iBAAS,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,UAAQ,GAAG,MAAM,CAEvD;AAED;;;;GAIG;AACH,iBAAS,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAEzC;AAkBD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,kBAAkB,EAAE,CAAA"}
+{"version":3,"file":"sql-scan.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/sql-scan.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AAiF1C;;;;;GAKG;AACH,iBAAS,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,GAAE,OAAkB,GAAG,MAAM,EAAE,CAc9E;AAKD;;;;;;;GAOG;AACH,iBAAS,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,UAAQ,GAAG,MAAM,CAEvD;AAED;;;;GAIG;AACH,iBAAS,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAEzC;AAkBD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,kBAAkB,EAAE,CAAA"}

package/types/migrate/core/sqlite-keywords.d.ts

@@ -0,0 +1,11 @@
+/**
+ * The words SQLite reads only as keywords when they stand bare in code: no table, column, index, view,
+ * trigger or alias can be named by one unless it is quoted. The other keywords (`key`, `end`, `action`, `left`,
+ * `if`) SQLite takes as a name where its grammar wants one, so a bare one may be a name and is read as one.
+ * The list is the engine's: tests/sqlite-keywords.test.ts holds every word here to SQLite's refusal as each kind of
+ * name, in node:sqlite's SQLite and libsql's. `nothing` and `returning` are left out, as an SQLite before 3.24 and
+ * 3.35 reads them as plain names.
+ */
+declare const NEVER_NAMES: ReadonlySet<string>;
+export { NEVER_NAMES };
+//# sourceMappingURL=sqlite-keywords.d.ts.map

package/types/migrate/core/sqlite-keywords.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-keywords.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/sqlite-keywords.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,QAAA,MAAM,WAAW,EAAE,WAAW,CAAC,MAAM,CAyDnC,CAAA;AAEF,OAAO,EAAE,WAAW,EAAE,CAAA"}

package/types/migrate/core/stopped.d.ts

@@ -0,0 +1,23 @@
+import { Refused } from "./refused.ts";
+/** The files a stop found applied by the run, and left pending */
+type Found = {
+    applied: string[];
+    pending: string[];
+};
+/** A run a signal stopped: the signal, and as a Refused the files it applied, left, or may have applied */
+export declare class Stopped extends Refused {
+    readonly signal: NodeJS.Signals;
+    constructor(signal: NodeJS.Signals, message: string, files: ConstructorParameters<typeof Refused>[1]);
+}
+/**
+ * `work`, with a step held while it runs that, on a signal, says on `print` which of `names` the run
+ * applied and which it did not, as `read` finds them once the work in flight has ended (cleanup.ts
+ * runs a child's own step before this one), and returns the report. The process then ends by the signal.
+ */
+export declare function whileStoppable<T>({ names, print, read }: {
+    names: readonly string[];
+    print: (line: string) => void;
+    read: () => Promise<Found>;
+}, work: () => Promise<T>): Promise<T>;
+export {};
+//# sourceMappingURL=stopped.d.ts.map

package/types/migrate/core/stopped.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stopped.d.ts","sourceRoot":"","sources":["../../../src/migrate/core/stopped.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAEtC,kEAAkE;AAClE,KAAK,KAAK,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAAA;AAErD,2GAA2G;AAC3G,qBAAa,OAAQ,SAAQ,OAAO;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAA;IAE/B,YAAY,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,EAInG;CACD;AA2BD;;;;GAIG;AACH,wBAAsB,cAAc,CAAC,CAAC,EACrC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;IAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,CAAA;CAAE,EAC/G,IAAI,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GACpB,OAAO,CAAC,CAAC,CAAC,CAWZ"}

package/types/query/cursor-mint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cursor-mint.d.ts","sourceRoot":"","sources":["../../src/query/cursor-mint.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,KAAK,aAAa,EAAsB,MAAM,kBAAkB,CAAA;AAEzE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAE3C;;;GAGG;AACH,KAAK,WAAW,GAAG,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,KAAK,MAAM,CAAA;AAE9F,+GAA+G;AAC/G,KAAK,UAAU,GAAG,SAAS,GAAG,QAAQ,GAAG,OAAO,CAAA;AAoChD;;;;;GAKG;AACH,iBAAS,YAAY,CACpB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,OAAO,EAAE,aAAa,GAAG;IACxB,yHAAyH;IACzH,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IACxC,+FAA+F;IAC/F,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IAC7C,yGAAyG;IACzG,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IACzC,kEAAkE;IAClE,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,qIAAqI;IACrI,MAAM,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CAC/B,GACC,MAAM,CAER;AAGD;;;GAGG;AACH,iBAAS,SAAS,CACjB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,OAAO,EAAE,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAA;CAAE,GAC1F,MAAM,CAER;AAGD;;;GAGG;AACH,iBAAS,YAAY,CACpB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,OAAO,EAAE,UAAU,CAAC,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG;IAC1C,uFAAuF;IACvF,KAAK,CAAC,EAAE,WAAW,GAAG,SAAS,CAAA;CAC/B,GACC,MAAM,MAAM,CA2Cd;AAuCD,OAAO,EAAE,KAAK,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,CAAA"}
+{"version":3,"file":"cursor-mint.d.ts","sourceRoot":"","sources":["../../src/query/cursor-mint.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,KAAK,aAAa,EAAsB,MAAM,kBAAkB,CAAA;AAEzE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAG3C;;;GAGG;AACH,KAAK,WAAW,GAAG,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,KAAK,MAAM,CAAA;AAE9F,+GAA+G;AAC/G,KAAK,UAAU,GAAG,SAAS,GAAG,QAAQ,GAAG,OAAO,CAAA;AAkChD;;;;;GAKG;AACH,iBAAS,YAAY,CACpB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,OAAO,EAAE,aAAa,GAAG;IACxB,yHAAyH;IACzH,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IACxC,+FAA+F;IAC/F,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IAC7C,yGAAyG;IACzG,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IACzC,kEAAkE;IAClE,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,qIAAqI;IACrI,MAAM,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CAC/B,GACC,MAAM,CAER;AAGD;;;GAGG;AACH,iBAAS,SAAS,CACjB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,OAAO,EAAE,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAA;CAAE,GAC1F,MAAM,CAER;AAGD;;;GAGG;AACH,iBAAS,YAAY,CACpB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,OAAO,EAAE,UAAU,CAAC,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG;IAC1C,uFAAuF;IACvF,KAAK,CAAC,EAAE,WAAW,GAAG,SAAS,CAAA;CAC/B,GACC,MAAM,MAAM,CA2Cd;AAmCD,OAAO,EAAE,KAAK,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,CAAA"}

package/types/query/cursor-refusals.d.ts

@@ -1,4 +1,20 @@
+/**
+ * What no cursor resumes after, refused by name when a cursor is minted: a computed sort, a tiebreak
+ * id a JS number rounds, and a row without a sort value or its id, or with one no cursor carries.
+ * UnmintableRow tells a refusal of a row's own value from one of the list's wiring.
+ */
+import { CombError } from "../error.ts";
 import type { SortField } from "./types.ts";
+/**
+ * A 500 naming a row's value no cursor holds: a key too long for the cap, an Invalid Date or a rounded
+ * number as read, a value the cursor would not read back as itself, a class its column's mode reads as
+ * another. A page by cursor answers it on the page that serves the row; a page by number serves the row
+ * and, when its next cursor would be minted from it, answers `nextCursor: null` with `hasMore` still
+ * true. Any other mint refusal is the list's wiring or config, and every page answers it
+ */
+declare class UnmintableRow extends CombError {
+    constructor(cause: string);
+}
 /** Whether `value` is an integer a JS number rounds: past ±(2^53 − 1), a lossy read of the row's key */
 declare const lossy: (value: unknown) => value is number;
 /**
@@ -21,5 +37,5 @@ declare function refuseComputedSort(parsedSort: readonly SortField[]): void;
  * the next page refused as invalid
  */
 declare function refuseUncarried(record: Record<string, unknown>, parsedSort: readonly SortField[], idField: string): void;
-export { lossy, NO_KEYSET_CAUSE, refuseComputedSort, refuseRoundedId, refuseUncarried };
+export { lossy, NO_KEYSET_CAUSE, refuseComputedSort, refuseRoundedId, refuseUncarried, UnmintableRow };
 //# sourceMappingURL=cursor-refusals.d.ts.map

package/types/query/cursor-refusals.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cursor-refusals.d.ts","sourceRoot":"","sources":["../../src/query/cursor-refusals.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAE3C,wGAAwG;AACxG,QAAA,MAAM,KAAK,UAAW,OAAO,KAAG,KAAK,IAAI,MAC4C,CAAA;AAErF;;;GAGG;AACH,iBAAS,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAO/E;AAED,6HAA6H;AAC7H,QAAA,MAAM,eAAe,4EAA4E,CAAA;AAEjG;;;;GAIG;AACH,iBAAS,kBAAkB,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI,CAOlE;AAcD;;;;;GAKG;AACH,iBAAS,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,UAAU,EAAE,SAAS,SAAS,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAwBjH;AAED,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,eAAe,EAAE,eAAe,EAAE,CAAA"}
+{"version":3,"file":"cursor-refusals.d.ts","sourceRoot":"","sources":["../../src/query/cursor-refusals.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAGvC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAE3C;;;;;;GAMG;AACH,cAAM,aAAc,SAAQ,SAAS;IACpC,YAAY,KAAK,EAAE,MAAM,EAExB;CACD;AAED,wGAAwG;AACxG,QAAA,MAAM,KAAK,UAAW,OAAO,KAAG,KAAK,IAAI,MAC4C,CAAA;AAErF;;;GAGG;AACH,iBAAS,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAQ/E;AAED,6HAA6H;AAC7H,QAAA,MAAM,eAAe,4EAA4E,CAAA;AAEjG;;;;GAIG;AACH,iBAAS,kBAAkB,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI,CAOlE;AAcD;;;;;GAKG;AACH,iBAAS,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,UAAU,EAAE,SAAS,SAAS,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAoBjH;AAED,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,eAAe,EAAE,eAAe,EAAE,aAAa,EAAE,CAAA"}

package/types/query/descriptions.d.ts

@@ -7,7 +7,7 @@
  * same config that validates the request, so the text cannot drift from what
  * the parser accepts — and stays when a publisher strips `x-*` extensions.
  */
-import type { FilterLimits } from "./filter.ts";
+import { type FilterLimits } from "./filter.ts";
 import type { FieldsConfig } from "./schema-types.ts";
 import type { FieldType, FilterOperator } from "./types.ts";
 /** The OpenAPI description of the `cursor` param */

package/types/query/descriptions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"descriptions.d.ts","sourceRoot":"","sources":["../../src/query/descriptions.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAE/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAE3D,oDAAoD;AACpD,QAAA,MAAM,kBAAkB,6JACmI,CAAA;AAE3J,kDAAkD;AAClD,QAAA,MAAM,gBAAgB,yUACiT,CAAA;AACvU,+CAA+C;AAC/C,QAAA,MAAM,aAAa,EAAE,MAAM,EAAW,CAAA;AAEtC,kDAAkD;AAClD,QAAA,MAAM,gBAAgB,oGAC4E,CAAA;AAClG,+CAA+C;AAC/C,QAAA,MAAM,aAAa,EAAE,MAAM,EAAuB,CAAA;AAElD,sHAAsH;AACtH,QAAA,MAAM,kBAAkB,oNAC0L,CAAA;AAElN,oEAAoE;AACpE,MAAM,MAAM,SAAS,GAAG;IACvB,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAA;IACnB,+BAA+B;IAC/B,QAAQ,EAAE,MAAM,EAAE,CAAA;CAClB,CAAA;AAOD,uGAAuG;AACvG,iBAAS,cAAc,CACtB,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACd;IACF,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAA;IACnB,yCAAyC;IACzC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAClB,CAKA;AAED;;;GAGG;AACH,iBAAS,eAAe,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,CAsBxD;AAkBD;;;GAGG;AACH,iBAAS,eAAe,CACvB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,EACjC,YAAY,EAAE,CAAC,IAAI,EAAE,SAAS,KAAK,SAAS,cAAc,EAAE,EAC5D,MAAM,EAAE,YAAY,GAClB,SAAS,CAkBX;AAMD,yHAAyH;AACzH,iBAAS,cAAc,CACtB,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,WAAW,EAAE,MAAM,GACjB,SAAS,GAAG;IACd,gGAAgG;IAChG,OAAO,EAAE,MAAM,CAAA;CACf,CAeA;AAED,8FAA8F;AAC9F,iBAAS,eAAe,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,CAK/E;AAED,OAAO,EACN,kBAAkB,EAClB,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,eAAe,GACf,CAAA"}
+{"version":3,"file":"descriptions.d.ts","sourceRoot":"","sources":["../../src/query/descriptions.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,KAAK,YAAY,EAAgB,MAAM,aAAa,CAAA;AAE7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAE3D,oDAAoD;AACpD,QAAA,MAAM,kBAAkB,6JACmI,CAAA;AAE3J,kDAAkD;AAClD,QAAA,MAAM,gBAAgB,yUACiT,CAAA;AACvU,+CAA+C;AAC/C,QAAA,MAAM,aAAa,EAAE,MAAM,EAAW,CAAA;AAEtC,kDAAkD;AAClD,QAAA,MAAM,gBAAgB,oGAC4E,CAAA;AAClG,+CAA+C;AAC/C,QAAA,MAAM,aAAa,EAAE,MAAM,EAAuB,CAAA;AAElD,sHAAsH;AACtH,QAAA,MAAM,kBAAkB,oNAC0L,CAAA;AAElN,oEAAoE;AACpE,MAAM,MAAM,SAAS,GAAG;IACvB,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAA;IACnB,+BAA+B;IAC/B,QAAQ,EAAE,MAAM,EAAE,CAAA;CAClB,CAAA;AAOD,uGAAuG;AACvG,iBAAS,cAAc,CACtB,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACd;IACF,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAA;IACnB,yCAAyC;IACzC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAClB,CAKA;AAED;;;GAGG;AACH,iBAAS,eAAe,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,CAsBxD;AAkBD;;;GAGG;AACH,iBAAS,eAAe,CACvB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,EACjC,YAAY,EAAE,CAAC,IAAI,EAAE,SAAS,KAAK,SAAS,cAAc,EAAE,EAC5D,MAAM,EAAE,YAAY,GAClB,SAAS,CAkBX;AAED,yHAAyH;AACzH,iBAAS,cAAc,CACtB,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,WAAW,EAAE,MAAM,GACjB,SAAS,GAAG;IACd,gGAAgG;IAChG,OAAO,EAAE,MAAM,CAAA;CACf,CAcA;AAED,8FAA8F;AAC9F,iBAAS,eAAe,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,CAK/E;AAED,OAAO,EACN,kBAAkB,EAClB,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,eAAe,GACf,CAAA"}

package/types/query/filter-parse.d.ts

@@ -4,7 +4,7 @@
  *
  * - `field.op.value`: one condition; `,` joins conditions with AND
  * - `or(...)`, `and(...)`: groups, nestable
- * - `in.(a,b)`, `nin.(a,b)`: lists
+ * - `in.(a,b)`, `nin.(a,b)`: lists; `in.()` is the one empty list, and a comma beside no member is malformed
  * - `"..."`: a quoted value may hold `,` `(` `)` and `.`; `\"` and `\\` escape inside it
  * - `@name`: a computed field
  */
@@ -12,10 +12,21 @@ import type { FilterAST, FilterOperator } from "./types.ts";
 /** Every operator the filter grammar parses; `validateFilter` holds each field to its type's */
 declare const FILTER_OPERATORS: readonly [FilterOperator, ...FilterOperator[]];
 /**
- * The AST of a filter string, or null when there is none or any part of it cannot be read: a
+ * The AST of a non-blank filter string, or why it cannot be read, in words for a caller to show: a
  * filter the parser does not fully understand is refused, never reduced to "no filter", which
- * would widen the result to the whole table on a typo.
+ * would widen the result to the whole table on a typo. A group nested past `maxDepth`, or past
+ * FILTER_MAX_DEPTH whatever `maxDepth` is, is refused where it opens.
+ */
+declare function readFilter(input: string, maxDepth: number): {
+    ast: FilterAST;
+} | {
+    error: string;
+};
+/**
+ * The AST of a filter string, or null when there is none or any part of it cannot be read, or it
+ * nests past FILTER_MAX_DEPTH: a filter the parser does not fully understand is refused, never
+ * reduced to "no filter", which would widen the result to the whole table on a typo.
  */
 declare function parseFilter(input: string | null | undefined): FilterAST | null;
-export { FILTER_OPERATORS, parseFilter };
+export { FILTER_OPERATORS, parseFilter, readFilter };
 //# sourceMappingURL=filter-parse.d.ts.map

package/types/query/filter-parse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"filter-parse.d.ts","sourceRoot":"","sources":["../../src/query/filter-parse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,SAAS,EAAgC,cAAc,EAAE,MAAM,YAAY,CAAA;AAGzF,gGAAgG;AAChG,QAAA,MAAM,gBAAgB,EAAE,SAAS,CAAC,cAAc,EAAE,GAAG,cAAc,EAAE,CAcpE,CAAA;AAuJD;;;;GAIG;AACH,iBAAS,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,SAAS,GAAG,IAAI,CAKvE;AAED,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAA"}
+{"version":3,"file":"filter-parse.d.ts","sourceRoot":"","sources":["../../src/query/filter-parse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,SAAS,EAAgC,cAAc,EAAE,MAAM,YAAY,CAAA;AAGzF,gGAAgG;AAChG,QAAA,MAAM,gBAAgB,EAAE,SAAS,CAAC,cAAc,EAAE,GAAG,cAAc,EAAE,CAcpE,CAAA;AAsMD;;;;;GAKG;AACH,iBAAS,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG;IAAE,GAAG,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAI3F;AAED;;;;GAIG;AACH,iBAAS,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,SAAS,GAAG,IAAI,CAIvE;AAED,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,UAAU,EAAE,CAAA"}

package/types/query/filter-validate.d.ts

@@ -32,7 +32,7 @@ type FilterValidationResult = {
 type FilterLimits = {
     /** Conditions in the whole filter, every group counted */
     maxConditions: number;
-    /** Nested or()/and() groups below the top level */
+    /** Nested or()/and() groups below the top level; the parser reads no more than 256, whatever this is */
     maxDepth: number;
     /** Members of one in/nin list */
     maxInValues: number;

package/types/query/filter-validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"filter-validate.d.ts","sourceRoot":"","sources":["../../src/query/filter-validate.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAgC,cAAc,EAAE,MAAM,YAAY,CAAA;AAEpG,8GAA8G;AAC9G,QAAA,MAAM,iBAAiB,EAAE,MAAM,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAM1D,CAAA;AAeV;;;;GAIG;AACH,KAAK,eAAe,GAAG;IACtB,oFAAoF;IACpF,MAAM,CAAC,EAAE,KAAK,GAAG,SAAS,CAAA;IAC1B,2HAA2H;IAC3H,SAAS,CAAC,EAAE,SAAS,cAAc,EAAE,GAAG,SAAS,CAAA;IACjD,kDAAkD;IAClD,IAAI,EAAE,SAAS,CAAA;CACf,CAAA;AAED,gEAAgE;AAChE,KAAK,WAAW,GAAG,SAAS,GAAG,eAAe,CAAA;AAE9C,uDAAuD;AACvD,KAAK,sBAAsB,GACxB;IACA,yDAAyD;IACzD,GAAG,EAAE,SAAS,CAAA;IACd,0CAA0C;IAC1C,KAAK,EAAE,IAAI,CAAA;CACV,GACD;IACA,yEAAyE;IACzE,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,oCAAoC;IACpC,KAAK,EAAE,KAAK,CAAA;CACX,CAAA;AAEJ,+FAA+F;AAC/F,KAAK,YAAY,GAAG;IACnB,0DAA0D;IAC1D,aAAa,EAAE,MAAM,CAAA;IACrB,mDAAmD;IACnD,QAAQ,EAAE,MAAM,CAAA;IAChB,iCAAiC;IACjC,WAAW,EAAE,MAAM,CAAA;IACnB,yGAAyG;IACzG,eAAe,EAAE,MAAM,CAAA;IACvB,qGAAqG;IACrG,SAAS,EAAE,MAAM,CAAA;CACjB,CAAA;AAED,mHAAmH;AACnH,QAAA,MAAM,aAAa,EAAE,YAMpB,CAAA;AAED,kIAAkI;AAClI,KAAK,WAAW,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS;CAAE,CAAA;AAE7D;;;;GAIG;AACH,iBAAS,UAAU,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACnD,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,CAAC,EACX,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,GAC/B,CAAC,CAOH;AAoFD;;;;GAIG;AACH,iBAAS,cAAc,CACtB,YAAY,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EACvC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,EAC1C,MAAM,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,GAAG,SAAS,GAC5C,sBAAsB,GAAG,IAAI,CAmB/B;AAED,OAAO,EACN,aAAa,EACb,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,sBAAsB,GAC3B,CAAA"}
+{"version":3,"file":"filter-validate.d.ts","sourceRoot":"","sources":["../../src/query/filter-validate.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAgC,cAAc,EAAE,MAAM,YAAY,CAAA;AAEpG,8GAA8G;AAC9G,QAAA,MAAM,iBAAiB,EAAE,MAAM,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAM1D,CAAA;AAeV;;;;GAIG;AACH,KAAK,eAAe,GAAG;IACtB,oFAAoF;IACpF,MAAM,CAAC,EAAE,KAAK,GAAG,SAAS,CAAA;IAC1B,2HAA2H;IAC3H,SAAS,CAAC,EAAE,SAAS,cAAc,EAAE,GAAG,SAAS,CAAA;IACjD,kDAAkD;IAClD,IAAI,EAAE,SAAS,CAAA;CACf,CAAA;AAED,gEAAgE;AAChE,KAAK,WAAW,GAAG,SAAS,GAAG,eAAe,CAAA;AAE9C,uDAAuD;AACvD,KAAK,sBAAsB,GACxB;IACA,yDAAyD;IACzD,GAAG,EAAE,SAAS,CAAA;IACd,0CAA0C;IAC1C,KAAK,EAAE,IAAI,CAAA;CACV,GACD;IACA,yEAAyE;IACzE,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,oCAAoC;IACpC,KAAK,EAAE,KAAK,CAAA;CACX,CAAA;AAEJ,+FAA+F;AAC/F,KAAK,YAAY,GAAG;IACnB,0DAA0D;IAC1D,aAAa,EAAE,MAAM,CAAA;IACrB,wGAAwG;IACxG,QAAQ,EAAE,MAAM,CAAA;IAChB,iCAAiC;IACjC,WAAW,EAAE,MAAM,CAAA;IACnB,yGAAyG;IACzG,eAAe,EAAE,MAAM,CAAA;IACvB,qGAAqG;IACrG,SAAS,EAAE,MAAM,CAAA;CACjB,CAAA;AAED,mHAAmH;AACnH,QAAA,MAAM,aAAa,EAAE,YAMpB,CAAA;AAED,kIAAkI;AAClI,KAAK,WAAW,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS;CAAE,CAAA;AAE7D;;;;GAIG;AACH,iBAAS,UAAU,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACnD,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,CAAC,EACX,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,GAC/B,CAAC,CAOH;AAmFD;;;;GAIG;AACH,iBAAS,cAAc,CACtB,YAAY,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EACvC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,EAC1C,MAAM,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,GAAG,SAAS,GAC5C,sBAAsB,GAAG,IAAI,CAiB/B;AAED,OAAO,EACN,aAAa,EACb,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,sBAAsB,GAC3B,CAAA"}

package/types/query/filter.d.ts

@@ -6,6 +6,14 @@ import { FILTER_OPERATORS, parseFilter } from "./filter-parse.ts";
 import { parseFilterNumber } from "./filter-typed.ts";
 import { FILTER_LIMITS, OPERATORS_BY_TYPE, type FilterField, type FilterFieldSpec, type FilterLimits, type FilterValidationResult, type LimitsGiven, validateFilter } from "./filter-validate.ts";
 import type { SortField } from "./types.ts";
+/**
+ * A regular expression taking every `order` parseOrder reads over the fields in `sort`, up to
+ * `maxSortKeys` entries: the empty value, which reads as the default order, and each entry the field
+ * and the suffixes orderEntries reads off it. A field named twice is refused, so no order holds more
+ * entries than `sort` has fields; which field repeats needs a lookahead, which RE2 lacks, so the
+ * pattern leaves that to the description
+ */
+declare function orderPattern(sort: readonly string[], maxSortKeys: number): string;
 /**
  * Parse PostgREST-style `order` string into SortField array.
  *
@@ -36,5 +44,5 @@ declare function namedTwice(fields: readonly SortField[]): string[];
  * has whitespace around it, which the published pattern refuses too
  */
 declare function orderEntries(input: string | null | undefined): Array<SortField | string>;
-export { FILTER_LIMITS, FILTER_OPERATORS, OPERATORS_BY_TYPE, parseFilter, parseFilterNumber, namedTwice, orderEntries, parseOrder, validateFilter, type FilterField, type FilterFieldSpec, type FilterLimits, type FilterValidationResult, type LimitsGiven, };
+export { FILTER_LIMITS, FILTER_OPERATORS, OPERATORS_BY_TYPE, parseFilter, parseFilterNumber, namedTwice, orderEntries, orderPattern, parseOrder, validateFilter, type FilterField, type FilterFieldSpec, type FilterLimits, type FilterValidationResult, type LimitsGiven, };
 //# sourceMappingURL=filter.d.ts.map

package/types/query/filter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"filter.d.ts","sourceRoot":"","sources":["../../src/query/filter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,EACN,aAAa,EACb,iBAAiB,EACjB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,sBAAsB,EAC3B,KAAK,WAAW,EAChB,cAAc,EACd,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAiB,SAAS,EAAE,MAAM,YAAY,CAAA;AAE1D;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,iBAAS,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,SAAS,EAAE,GAAG,IAAI,CAIxE;AAED,0DAA0D;AAC1D,iBAAS,UAAU,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,GAAG,MAAM,EAAE,CAK1D;AAED;;;GAGG;AACH,iBAAS,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,CA0CjF;AAED,OAAO,EACN,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,WAAW,EACX,iBAAiB,EACjB,UAAU,EACV,YAAY,EACZ,UAAU,EACV,cAAc,EACd,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,sBAAsB,EAC3B,KAAK,WAAW,GAChB,CAAA"}
+{"version":3,"file":"filter.d.ts","sourceRoot":"","sources":["../../src/query/filter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,EACN,aAAa,EACb,iBAAiB,EACjB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,sBAAsB,EAC3B,KAAK,WAAW,EAChB,cAAc,EACd,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAiB,SAAS,EAAE,MAAM,YAAY,CAAA;AA0B1D;;;;;;GAMG;AACH,iBAAS,YAAY,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAI1E;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,iBAAS,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,SAAS,EAAE,GAAG,IAAI,CAIxE;AAED,0DAA0D;AAC1D,iBAAS,UAAU,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,GAAG,MAAM,EAAE,CAK1D;AAED;;;GAGG;AACH,iBAAS,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,CA0BjF;AAED,OAAO,EACN,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,WAAW,EACX,iBAAiB,EACjB,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,cAAc,EACd,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,sBAAsB,EAC3B,KAAK,WAAW,GAChB,CAAA"}

package/types/query/list-extras.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"list-extras.d.ts","sourceRoot":"","sources":["../../src/query/list-extras.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAE3C,qGAAqG;AACrG,QAAA,MAAM,OAAO,EAAG,SAAkB,CAAA;AAKlC,QAAA,MAAM,YAAY,EAAE,MAA6B,CAAA;AAkBjD;;;GAGG;AACH,KAAK,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;AAKtH,wGAAwG;AACxG,QAAA,MAAM,SAAS,UAAW,OAAO,KAAG,OACqC,CAAA;AAoBzE;;;GAGG;AACH,iBAAS,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,QAAQ,EAAE,GAAG,SAAS,CAGpF;AA0CD;;;GAGG;AACH,iBAAS,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,MAAM,GAAG,SAAS,CAI9E;AAiDD;;;;;GAKG;AACH,iBAAS,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI,CAGpF;AA0BD;;;;;;;;;GASG;AACH,iBAAS,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAgBpG;AAED;;;;GAIG;AACH,iBAAS,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAW3F;AAED;;;;GAIG;AACH,iBAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAerG;AAED,OAAO,EACN,YAAY,EACZ,UAAU,EACV,OAAO,EACP,YAAY,EACZ,KAAK,QAAQ,EACb,SAAS,EACT,YAAY,EACZ,aAAa,EACb,SAAS,EACT,SAAS,GACT,CAAA"}
+{"version":3,"file":"list-extras.d.ts","sourceRoot":"","sources":["../../src/query/list-extras.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAG3C,qGAAqG;AACrG,QAAA,MAAM,OAAO,EAAG,SAAkB,CAAA;AAKlC,QAAA,MAAM,YAAY,EAAE,MAA6B,CAAA;AAkBjD;;;GAGG;AACH,KAAK,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;AAKtH,wGAAwG;AACxG,QAAA,MAAM,SAAS,UAAW,OAAO,KAAG,OACqC,CAAA;AAoBzE;;;GAGG;AACH,iBAAS,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,QAAQ,EAAE,GAAG,SAAS,CAGpF;AA0CD;;;GAGG;AACH,iBAAS,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,MAAM,GAAG,SAAS,CAI9E;AA6CD;;;;;GAKG;AACH,iBAAS,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI,CAGpF;AA0BD;;;;;;;;;GASG;AACH,iBAAS,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAgBpG;AAED;;;;GAIG;AACH,iBAAS,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAW3F;AAED;;;;GAIG;AACH,iBAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAerG;AAED,OAAO,EACN,YAAY,EACZ,UAAU,EACV,OAAO,EACP,YAAY,EACZ,KAAK,QAAQ,EACb,SAAS,EACT,YAAY,EACZ,aAAa,EACb,SAAS,EACT,SAAS,GACT,CAAA"}