@rocicorp/zero 1.12.0-canary.2 → 1.12.0-canary.4

package/out/zero-cache/src/services/change-source/pg/schema/ddl.js.map

@@ -1 +1 @@
-{"version":3,"file":"ddl.js","names":[],"sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/ddl.ts"],"sourcesContent":["import {literal as lit} from 'pg-format';\nimport {assert} from '../../../../../../shared/src/asserts.ts';\nimport * as v from '../../../../../../shared/src/valita.ts';\nimport {upstreamSchema, type ShardConfig} from '../../../../types/shards.ts';\nimport {id} from '../../../../types/sql.ts';\nimport {publishedSchema, publishedSchemaQuery} from './published.ts';\n\n// Sent in the 'version' tag of \"ddlStart\" and \"ddlUpdate\" event messages.\n// This is used to ensure that the message constructed in the upstream\n// Trigger function is compatible with the code processing it in the zero-cache.\n//\n// Increment this when changing the format of the contents of the \"ddl\" events.\n// This will allow old / incompatible code to detect the change and abort.\nexport const PROTOCOL_VERSION = 1;\n\n// In protocol v2 (planned, not yet emitted), \"ddlStart\" events that are not\n// associated with a schema change will be context-only, omitting the\n// `schema` snapshot entirely. This avoids bloating the WAL with (large)\n// redundant schema snapshots for DDL commands that do not affect the\n// published schema, e.g. the CREATE/ALTER/DROP TABLE sub-commands executed\n// by REFRESH MATERIALIZED VIEW CONCURRENTLY.\n//\n// This release already accepts v2 events so that the (subsequent) release\n// that upgrades the triggers to emit them remains rollback safe with respect\n// to this one.\nconst versionSchema = v.literalUnion(PROTOCOL_VERSION, 2);\n\nconst triggerEvent = v.object({\n  context: v.object({query: v.string()}).rest(v.string()),\n});\n\nexport const ddlEventSchema = triggerEvent.extend({\n  version: versionSchema,\n  event: v.object({tag: v.string()}),\n  // Maps the OID of each published table to the `attnum`s of published\n  // columns that were created in the (upstream) transaction that emitted\n  // the event. Such columns are guaranteed to have the column default in\n  // all pre-existing rows, and can thus be replicated without backfill if\n  // the default value itself is replicable. Tables whose publication\n  // entries (e.g. column lists) were modified in the same transaction are\n  // excluded, since a newly *published* (as opposed to newly *created*)\n  // column may hold arbitrary values in existing rows.\n  //\n  // The field is absent in messages from older versions of the upstream\n  // functions (in which case backfill decisions fall back to the command\n  // tag heuristic), and `null` when there are no such columns.\n  newColumns: v.record(v.array(v.number())).nullable().optional(),\n});\n\n/**\n * A {@link DdlStartEvent} message is emitted before every DDL event,\n * containing the command `tag`.\n *\n * In most cases, the `DdlStartEvent` itself will not be associated with a\n * schema change, in which case the event is context-only (in protocol v2,\n * planned, both `previousSchema` and `schema` will be absent; in v1,\n * `schema` is set and `previousSchema` is `null`). The message is still\n * emitted to provide the command `tag` context in case an immediately\n * following `DdlStartEvent` tag is emitted with a schema change (which can\n * happen when another event trigger results in a nested ddl statement).\n *\n * In such cases, the `previousSchema` and `schema` fields of the latter event\n * are used to determine the necessary schema change operations (as they are\n * with `ddlUpdate` and `schemaSnapshot` events), and the `tag` of the\n * preceding start event indicates the command that precipitated the schema\n * change (e.g. a CREATE vs ALTER) to determine whether a backfill is\n * necessary.\n */\nexport const ddlStartEventSchema = ddlEventSchema.extend({\n  type: v.literal('ddlStart'),\n  // Set (along with `previousSchema`) only if the ddlStart event itself is\n  // associated with a schema change. Absent in context-only (protocol v2,\n  // planned) events. v1 events always contain the current `schema`.\n  schema: publishedSchema.optional(),\n  // For ddlStart messages, previousSchema is `null` (v1) or absent\n  // (protocol v2, planned) if there was no change in schema detected.\n  previousSchema: publishedSchema.nullable().optional(),\n  // For backwards compatibility with previous versions of the trigger,\n  // default an absent `event` field with a semantic equivalent. This\n  // field override can be removed in a version that is rollback safe\n  // with 1.4.0.\n  event: v.object({tag: v.string()}).optional(() => ({tag: 'UNKNOWN'})),\n});\n\nexport type DdlStartEvent = v.Infer<typeof ddlStartEventSchema>;\n\n/**\n * A {@link DdlUpdateEvent} is emitted if there was a change in the schema.\n * It always contains `previousSchema` and (current) `schema` fields, leaving\n * it to the receiver to compute the necessary schema change operations.\n */\nexport const ddlUpdateEventSchema = ddlEventSchema.extend({\n  type: v.literal('ddlUpdate'),\n  // ddlUpdate messages are only emitted if the schema changed. `schema`\n  // contains the current (i.e. post-change) snapshot.\n  schema: publishedSchema,\n  // The `previousSchema` contains the schema before the change.\n  //\n  // In 1.5.0 it is always set, and can be made non-optional when\n  // rollback safe.\n  previousSchema: publishedSchema.optional(),\n});\n\nexport type DdlUpdateEvent = v.Infer<typeof ddlUpdateEventSchema>;\n\n/**\n * The `schemaSnapshot` message is a snapshot of a schema taken in response to\n * a `COMMENT ON PUBLICATION` command, which is a hook recognized by zero\n * to manually emit `previousSchema` and `schema` snapshots when a difference\n * is detected. This is a workaround provided to support detection of schema\n * changes from `ALTER PUBLICATION` commands on supabase, which does not fire\n * event triggers for them (https://github.com/supabase/supautils/issues/123).\n *\n * The hook is exercised by trailing the publication change with a\n * `COMMENT ON PUBLICATION` statement, e.g.\n *\n * ```sql\n * BEGIN;\n * ALTER PUBLICATION my_publication ...;\n * COMMENT ON PUBLICATION my_publication IS 'whatever';\n * COMMIT;\n * ```\n *\n * Note that it is fine to invoke `COMMENT ON PUBLICATION` statements\n * on a database that *does* support event triggers on\n * `ALTER PUBLICATION` statements, as it will simply be a no-op.\n */\nexport const schemaSnapshotEventSchema = ddlEventSchema.extend({\n  type: v.literal('schemaSnapshot'),\n  schema: publishedSchema,\n  previousSchema: publishedSchema.optional(),\n});\n\nexport type SchemaSnapshotEvent = v.Infer<typeof schemaSnapshotEventSchema>;\n\nexport const replicationEventSchema = v.union(\n  ddlStartEventSchema,\n  ddlUpdateEventSchema,\n  schemaSnapshotEventSchema,\n);\n\nexport type ReplicationEvent = v.Infer<typeof replicationEventSchema>;\n\n// Creates a function that appends `_{shard-num}` to the input and\n// quotes the result to be a valid identifier.\nfunction append(shardNum: number) {\n  return (name: string) => id(name + '_' + String(shardNum));\n}\n\n// pg_advisory_xact_lock key for serializing ddl statements in order to\n// produce correct schema change diffs.\nconst DDL_SERIALIZATION_LOCK = 0x3c6b8468f1bac0b0n;\n\n/**\n * Event trigger functions contain the core logic that are invoked by triggers.\n *\n * Note that although many of these functions can theoretically be parameterized and\n * shared across shards, it is advantageous to keep the functions in each shard\n * isolated from each other in order to avoid the complexity of shared-function\n * versioning.\n *\n * In a sense, shards (and their triggers and functions) should be thought of as\n * execution environments that can be updated at different schedules. If per-shard\n * triggers called into shared functions, we would have to consider versioning the\n * functions when changing their behavior, backwards compatibility, removal of\n * unused versions, etc. (not unlike versioning of npm packages).\n *\n * Instead, we opt for the simplicity and isolation of having each shard\n * completely own (and maintain) the entirety of its trigger/function stack.\n */\nexport function createEventFunctionStatements(shard: ShardConfig) {\n  const {appID, shardNum, publications} = shard;\n  const schema = id(upstreamSchema(shard)); // e.g. \"{APP_ID}_{SHARD_ID}\"\n  return /*sql*/ `\nCREATE SCHEMA IF NOT EXISTS ${schema};\n\nCREATE OR REPLACE FUNCTION ${schema}.get_trigger_context()\nRETURNS record AS $$\nDECLARE\n  result record;\nBEGIN\n  SELECT COALESCE(current_query(), 'current_query() returned NULL') AS \"query\" into result;\n  RETURN result;\nEND\n$$ LANGUAGE plpgsql;\n\n\nCREATE OR REPLACE FUNCTION ${schema}.notice_ignore(reason TEXT, tag TEXT, target record)\nRETURNS void AS $$\nBEGIN\n  RAISE NOTICE '${appID}_${shardNum} ignoring % % %', reason, tag, \n    COALESCE(row_to_json(target)::text, '');\nEND\n$$ LANGUAGE plpgsql;\n\n\n-- Note: DROP and CREATE to upgrade from v20 to v21 because the\n-- return type has changed. This can be simplified to CREATE OR REPLACE\n-- once 1.5.0 is rollback safe.\nDROP FUNCTION IF EXISTS ${schema}.schema_specs();\nCREATE FUNCTION ${schema}.schema_specs()\nRETURNS JSON \nSTABLE\nAS $$\n  ${publishedSchemaQuery(publications)}\n$$ LANGUAGE sql;\n\n\n-- Stores the most recent published schema\nCREATE TABLE IF NOT EXISTS ${schema}.\"publishedSchema\" (\n  current JSON,\n  exists BOOL PRIMARY KEY DEFAULT true CHECK (exists)\n);\n\nINSERT INTO ${schema}.\"publishedSchema\" (current) VALUES (${schema}.schema_specs())\n  ON CONFLICT (exists) DO \n  UPDATE SET current = excluded.current;\n\n\nCREATE OR REPLACE FUNCTION ${schema}.update_schemas(event_type text, tag text, target record)\nRETURNS void AS $$\nDECLARE\n  prev_schema_specs JSON;\n  schema_specs JSON;\n  message TEXT;\nBEGIN\n  SELECT current FROM ${schema}.\"publishedSchema\" INTO prev_schema_specs;\n  SELECT ${schema}.schema_specs() INTO schema_specs;\n  \n  IF prev_schema_specs::text != schema_specs::text THEN\n    UPDATE ${schema}.\"publishedSchema\" SET current = schema_specs;\n  ELSIF event_type = 'ddlStart' THEN\n    -- ddlStart events are always be emitted to allow the zero-cache\n    -- to track the context of the current command tag in the face of\n    -- nested event triggers (e.g. start->start->end->end).\n    prev_schema_specs = NULL;\n  ELSIF event_type = 'ddlUpdate' THEN\n    -- TODO: fold 'schemaSnapshot' into this condition too (i.e. make it \"ELSE\")\n    -- when 1.5.0 is rollback safe. Until then, noop schemaSnapshots are sent\n    -- for compatibility with 1.0.0 ~ 1.4.0.\n    PERFORM ${schema}.notice_ignore('noop', tag, target);\n    RETURN;\n  END IF;\n\n  SELECT json_build_object(\n    'type', event_type,\n    'version', ${PROTOCOL_VERSION},\n    'previousSchema', prev_schema_specs,\n    'schema', schema_specs,\n    'event', json_build_object('tag', tag),\n    'context', ${schema}.get_trigger_context()\n  ) INTO message;\n\n  PERFORM pg_logical_emit_message(true, '${appID}/${shardNum}/ddl', message);\n\n  RAISE NOTICE 'Emitted ${appID}_${shardNum} % for % %', event_type, tag,\n    COALESCE(row_to_json(target)::text, '');\nEND\n$$ LANGUAGE plpgsql;\n\n\n-- Hook/workaround to manually trigger replication of schema changes on DBs \n-- that do not support/allow event triggers.\nCREATE OR REPLACE FUNCTION ${schema}.update_schemas()\nRETURNS void AS $$\nBEGIN\n  PERFORM ${schema}.update_schemas('schemaSnapshot', 'MANUAL', NULL);\nEND\n$$ LANGUAGE plpgsql;\n\n\nCREATE OR REPLACE FUNCTION ${schema}.emit_ddl_start()\nRETURNS event_trigger AS $$\nDECLARE\n  schema_specs JSON;\n  message TEXT;\nBEGIN\n  -- serialize DDL statements to compute correct schema change diffs\n  PERFORM pg_advisory_xact_lock(${DDL_SERIALIZATION_LOCK});\n  PERFORM ${schema}.update_schemas('ddlStart', TG_TAG, NULL);\nEND\n$$ LANGUAGE plpgsql;\n\n\nCREATE OR REPLACE FUNCTION ${schema}.emit_ddl_end()\nRETURNS event_trigger AS $$\nDECLARE\n  publications TEXT[];\n  target RECORD;\n  relevant RECORD;\n  schema_specs JSON;\n  message TEXT;\n  event TEXT;\nBEGIN\n  publications := ARRAY[${lit(publications)}];\n\n  SELECT objid, object_type, object_identity \n    FROM pg_event_trigger_ddl_commands() \n    LIMIT 1 INTO target;\n\n  -- Filter DDL updates that are not relevant to the shard (i.e. publications) when possible.\n  SELECT true INTO relevant;\n\n  -- Note: ALTER TABLE statements may *remove* the table from the set of published\n  --       tables, and there is no way to determine if the table \"used to be\" in the\n  --       set. Thus, all ALTER TABLE statements must produce a ddl update, similar to\n  --       any DROP * statement.\n  IF (target.object_type = 'table' AND TG_TAG != 'ALTER TABLE') \n     OR target.object_type = 'table column' THEN\n    SELECT ns.nspname AS \"schema\", c.relname AS \"name\" FROM pg_class AS c\n      JOIN pg_namespace AS ns ON c.relnamespace = ns.oid\n      JOIN pg_publication_tables AS pb ON pb.schemaname = ns.nspname AND pb.tablename = c.relname\n      WHERE c.oid = target.objid AND pb.pubname = ANY (publications)\n      INTO relevant;\n\n  ELSIF target.object_type = 'index' THEN\n    SELECT ns.nspname AS \"schema\", c.relname AS \"name\" FROM pg_class AS c\n      JOIN pg_namespace AS ns ON c.relnamespace = ns.oid\n      JOIN pg_indexes as ind ON ind.schemaname = ns.nspname AND ind.indexname = c.relname\n      JOIN pg_publication_tables AS pb ON pb.schemaname = ns.nspname AND pb.tablename = ind.tablename\n      WHERE c.oid = target.objid AND pb.pubname = ANY (publications)\n      INTO relevant;\n\n  ELSIF target.object_type = 'publication relation' THEN\n    SELECT pb.pubname FROM pg_publication_rel AS rel\n      JOIN pg_publication AS pb ON pb.oid = rel.prpubid\n      WHERE rel.oid = target.objid AND pb.pubname = ANY (publications) \n      INTO relevant;\n\n  ELSIF target.object_type = 'publication namespace' THEN\n    SELECT pb.pubname FROM pg_publication_namespace AS ns\n      JOIN pg_publication AS pb ON pb.oid = ns.pnpubid\n      WHERE ns.oid = target.objid AND pb.pubname = ANY (publications) \n      INTO relevant;\n\n  ELSIF target.object_type = 'schema' THEN\n    SELECT ns.nspname AS \"schema\", c.relname AS \"name\" FROM pg_class AS c\n      JOIN pg_namespace AS ns ON c.relnamespace = ns.oid\n      JOIN pg_publication_tables AS pb ON pb.schemaname = ns.nspname AND pb.tablename = c.relname\n      WHERE ns.oid = target.objid AND pb.pubname = ANY (publications)\n      INTO relevant;\n\n  ELSIF target.object_type = 'publication' THEN\n    SELECT 1 WHERE target.object_identity = ANY (publications)\n      INTO relevant;\n\n  -- no-op CREATE IF NOT EXIST statements\n  ELSIF TG_TAG LIKE 'CREATE %' AND target.object_type IS NULL THEN\n    relevant := NULL;\n  END IF;\n\n  IF relevant IS NULL THEN\n    PERFORM ${schema}.notice_ignore('irrelevant', TG_TAG, target);\n    RETURN;\n  END IF;\n\n  IF TG_TAG = 'COMMENT' THEN\n    -- Only make schemaSnapshots for COMMENT ON PUBLICATION\n    IF target.object_type != 'publication' THEN\n      PERFORM ${schema}.notice_ignore('irrelevant', TG_TAG, target);\n      RETURN;\n    END IF;\n    PERFORM ${schema}.update_schemas('schemaSnapshot', TG_TAG, target);\n  ELSE\n    PERFORM ${schema}.update_schemas('ddlUpdate', TG_TAG, target);\n  END IF;\n\nEND\n$$ LANGUAGE plpgsql;\n`;\n}\n\n// Exported for testing.\nexport const TAGS = [\n  'CREATE TABLE',\n  'ALTER TABLE',\n  'CREATE INDEX',\n  'DROP TABLE',\n  'DROP INDEX',\n  'ALTER PUBLICATION',\n  'ALTER SCHEMA',\n] as const;\n\nexport function createEventTriggerStatements(shard: ShardConfig) {\n  // Better to assert here than get a cryptic syntax error from Postgres.\n  assert(shard.publications.length, `shard publications must be non-empty`);\n\n  // Unlike functions, which are namespaced in shard-specific schemas,\n  // EVENT TRIGGER names are in the global namespace and thus must include\n  // the appID and shardNum.\n  const {appID, shardNum} = shard;\n  const sharded = append(shardNum);\n  const schema = id(upstreamSchema(shard));\n\n  const triggers = [\n    dropEventTriggerStatements(shard.appID, shard.shardNum),\n    /*sql*/ `\nCREATE EVENT TRIGGER ${sharded(`${appID}_ddl_start`)}\n  ON ddl_command_start\n  WHEN TAG IN (${lit(TAGS)})\n  EXECUTE PROCEDURE ${schema}.emit_ddl_start();\n\nCREATE EVENT TRIGGER ${sharded(`${appID}_ddl_end`)}\n  ON ddl_command_end\n  WHEN TAG IN (${lit([...TAGS, 'COMMENT'])})\n  EXECUTE PROCEDURE ${schema}.emit_ddl_end();\n`,\n  ];\n\n  // Drop legacy functions / triggers.\n  triggers.push(\n    `DROP FUNCTION IF EXISTS ${schema}.emit_ddl_end(text) CASCADE;`,\n    `DROP FUNCTION IF EXISTS ${schema}.notice_ignore(text, record);`,\n  );\n  for (const tag of [...TAGS, 'COMMENT']) {\n    const tagID = tag.toLowerCase().replace(' ', '_');\n    triggers.push(`DROP FUNCTION IF EXISTS ${schema}.emit_${tagID}() CASCADE;`);\n  }\n  return triggers.join('');\n}\n\n// Exported for testing.\nexport function dropEventTriggerStatements(\n  appID: string,\n  shardID: string | number,\n) {\n  return /*sql*/ `\n    DROP EVENT TRIGGER IF EXISTS ${id(`${appID}_ddl_start_${shardID}`)};\n    DROP EVENT TRIGGER IF EXISTS ${id(`${appID}_ddl_end_${shardID}`)};\n  `;\n}\n"],"mappings":";;;;;;AAyBA,IAAM,gBAAgB,aAAA,GAAiC,CAAC;AAMxD,IAAa,iBAJQ,eAAE,OAAO,EAC5B,SAAS,eAAE,OAAO,EAAC,OAAO,eAAE,OAAO,EAAC,CAAC,EAAE,KAAK,eAAE,OAAO,CAAC,EACxD,CAE8B,EAAa,OAAO;CAChD,SAAS;CACT,OAAO,eAAE,OAAO,EAAC,KAAK,eAAE,OAAO,EAAC,CAAC;CAajC,YAAY,eAAE,OAAO,eAAE,MAAM,eAAE,OAAO,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS;AAChE,CAAC;;;;;;;;;;;;;;;;;;;;AAqBD,IAAa,sBAAsB,eAAe,OAAO;CACvD,MAAM,eAAE,QAAQ,UAAU;CAI1B,QAAQ,gBAAgB,SAAS;CAGjC,gBAAgB,gBAAgB,SAAS,EAAE,SAAS;CAKpD,OAAO,eAAE,OAAO,EAAC,KAAK,eAAE,OAAO,EAAC,CAAC,EAAE,gBAAgB,EAAC,KAAK,UAAS,EAAE;AACtE,CAAC;;;;;;AASD,IAAa,uBAAuB,eAAe,OAAO;CACxD,MAAM,eAAE,QAAQ,WAAW;CAG3B,QAAQ;CAKR,gBAAgB,gBAAgB,SAAS;AAC3C,CAAC;;;;;;;;;;;;;;;;;;;;;;;AA0BD,IAAa,4BAA4B,eAAe,OAAO;CAC7D,MAAM,eAAE,QAAQ,gBAAgB;CAChC,QAAQ;CACR,gBAAgB,gBAAgB,SAAS;AAC3C,CAAC;AAID,IAAa,yBAAyB,eAAE,MACtC,qBACA,sBACA,yBACF;AAMA,SAAS,OAAO,UAAkB;CAChC,QAAQ,SAAiB,GAAG,OAAO,MAAM,OAAO,QAAQ,CAAC;AAC3D;AAIA,IAAM,yBAAyB;;;;;;;;;;;;;;;;;;AAmB/B,SAAgB,8BAA8B,OAAoB;CAChE,MAAM,EAAC,OAAO,UAAU,iBAAgB;CACxC,MAAM,SAAS,GAAG,eAAe,KAAK,CAAC;CACvC,OAAe;8BACa,OAAO;;6BAER,OAAO;;;;;;;;;;;6BAWP,OAAO;;;kBAGlB,MAAM,GAAG,SAAS;;;;;;;;;0BASV,OAAO;kBACf,OAAO;;;;IAIrB,qBAAqB,YAAY,EAAE;;;;;6BAKV,OAAO;;;;;cAKtB,OAAO,uCAAuC,OAAO;;;;;6BAKtC,OAAO;;;;;;;wBAOZ,OAAO;WACpB,OAAO;;;aAGL,OAAO;;;;;;;;;;cAUN,OAAO;;;;;;;;;;iBAUJ,OAAO;;;2CAGmB,MAAM,GAAG,SAAS;;0BAEnC,MAAM,GAAG,SAAS;;;;;;;;6BAQf,OAAO;;;YAGxB,OAAO;;;;;6BAKU,OAAO;;;;;;;kCAOF,uBAAuB;YAC7C,OAAO;;;;;6BAKU,OAAO;;;;;;;;;;0BAUV,QAAI,YAAY,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cA0D9B,OAAO;;;;;;;gBAOL,OAAO;;;cAGT,OAAO;;cAEP,OAAO;;;;;;AAMrB;AAGA,IAAa,OAAO;CAClB;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,SAAgB,6BAA6B,OAAoB;CAE/D,OAAO,MAAM,aAAa,QAAQ,sCAAsC;CAKxE,MAAM,EAAC,OAAO,aAAY;CAC1B,MAAM,UAAU,OAAO,QAAQ;CAC/B,MAAM,SAAS,GAAG,eAAe,KAAK,CAAC;CAEvC,MAAM,WAAW,CACf,2BAA2B,MAAM,OAAO,MAAM,QAAQ,GAC9C;uBACW,QAAQ,GAAG,MAAM,WAAW,EAAE;;iBAEpC,QAAI,IAAI,EAAE;sBACL,OAAO;;uBAEN,QAAQ,GAAG,MAAM,SAAS,EAAE;;iBAElC,QAAI,CAAC,GAAG,MAAM,SAAS,CAAC,EAAE;sBACrB,OAAO;CAE3B;CAGA,SAAS,KACP,2BAA2B,OAAO,+BAClC,2BAA2B,OAAO,8BACpC;CACA,KAAK,MAAM,OAAO,CAAC,GAAG,MAAM,SAAS,GAAG;EACtC,MAAM,QAAQ,IAAI,YAAY,EAAE,QAAQ,KAAK,GAAG;EAChD,SAAS,KAAK,2BAA2B,OAAO,QAAQ,MAAM,YAAY;CAC5E;CACA,OAAO,SAAS,KAAK,EAAE;AACzB;AAGA,SAAgB,2BACd,OACA,SACA;CACA,OAAe;mCACkB,GAAG,GAAG,MAAM,aAAa,SAAS,EAAE;mCACpC,GAAG,GAAG,MAAM,WAAW,SAAS,EAAE;;AAErE"}
+{"version":3,"file":"ddl.js","names":["v.literalUnion","v","lit"],"sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/ddl.ts"],"sourcesContent":["import {literal as lit} from 'pg-format';\nimport {assert} from '../../../../../../shared/src/asserts.ts';\nimport * as v from '../../../../../../shared/src/valita.ts';\nimport {upstreamSchema, type ShardConfig} from '../../../../types/shards.ts';\nimport {id} from '../../../../types/sql.ts';\nimport {publishedSchema, publishedSchemaQuery} from './published.ts';\n\n// Sent in the 'version' tag of \"ddlStart\" and \"ddlUpdate\" event messages.\n// This is used to ensure that the message constructed in the upstream\n// Trigger function is compatible with the code processing it in the zero-cache.\n//\n// Increment this when changing the format of the contents of the \"ddl\" events.\n// This will allow old / incompatible code to detect the change and abort.\nexport const PROTOCOL_VERSION = 1;\n\n// In protocol v2 (planned, not yet emitted), \"ddlStart\" events that are not\n// associated with a schema change will be context-only, omitting the\n// `schema` snapshot entirely. This avoids bloating the WAL with (large)\n// redundant schema snapshots for DDL commands that do not affect the\n// published schema, e.g. the CREATE/ALTER/DROP TABLE sub-commands executed\n// by REFRESH MATERIALIZED VIEW CONCURRENTLY.\n//\n// This release already accepts v2 events so that the (subsequent) release\n// that upgrades the triggers to emit them remains rollback safe with respect\n// to this one.\nconst versionSchema = v.literalUnion(PROTOCOL_VERSION, 2);\n\nconst triggerEvent = v.object({\n  context: v.object({query: v.string()}).rest(v.string()),\n});\n\nexport const ddlEventSchema = triggerEvent.extend({\n  version: versionSchema,\n  event: v.object({tag: v.string()}),\n  // Maps the OID of each published table to the `attnum`s of published\n  // columns that were created in the (upstream) transaction that emitted\n  // the event. Such columns are guaranteed to have the column default in\n  // all pre-existing rows, and can thus be replicated without backfill if\n  // the default value itself is replicable. Tables whose publication\n  // entries (e.g. column lists) were modified in the same transaction are\n  // excluded, since a newly *published* (as opposed to newly *created*)\n  // column may hold arbitrary values in existing rows.\n  //\n  // The field is absent in messages from older versions of the upstream\n  // functions (in which case backfill decisions fall back to the command\n  // tag heuristic), and `null` when there are no such columns.\n  newColumns: v.record(v.array(v.number())).nullable().optional(),\n});\n\n/**\n * A {@link DdlStartEvent} message is emitted before every DDL event,\n * containing the command `tag`.\n *\n * In most cases, the `DdlStartEvent` itself will not be associated with a\n * schema change, in which case the event is context-only (in protocol v2,\n * planned, both `previousSchema` and `schema` will be absent; in v1,\n * `schema` is set and `previousSchema` is `null`). The message is still\n * emitted to provide the command `tag` context in case an immediately\n * following `DdlStartEvent` tag is emitted with a schema change (which can\n * happen when another event trigger results in a nested ddl statement).\n *\n * In such cases, the `previousSchema` and `schema` fields of the latter event\n * are used to determine the necessary schema change operations (as they are\n * with `ddlUpdate` and `schemaSnapshot` events), and the `tag` of the\n * preceding start event indicates the command that precipitated the schema\n * change (e.g. a CREATE vs ALTER) to determine whether a backfill is\n * necessary.\n */\nexport const ddlStartEventSchema = ddlEventSchema.extend({\n  type: v.literal('ddlStart'),\n  // Set (along with `previousSchema`) only if the ddlStart event itself is\n  // associated with a schema change. Absent in context-only (protocol v2,\n  // planned) events. v1 events always contain the current `schema`.\n  schema: publishedSchema.optional(),\n  // For ddlStart messages, previousSchema is `null` (v1) or absent\n  // (protocol v2, planned) if there was no change in schema detected.\n  previousSchema: publishedSchema.nullable().optional(),\n  // For backwards compatibility with previous versions of the trigger,\n  // default an absent `event` field with a semantic equivalent. This\n  // field override can be removed in a version that is rollback safe\n  // with 1.4.0.\n  event: v.object({tag: v.string()}).optional(() => ({tag: 'UNKNOWN'})),\n});\n\nexport type DdlStartEvent = v.Infer<typeof ddlStartEventSchema>;\n\n/**\n * A {@link DdlUpdateEvent} is emitted if there was a change in the schema.\n * It always contains `previousSchema` and (current) `schema` fields, leaving\n * it to the receiver to compute the necessary schema change operations.\n */\nexport const ddlUpdateEventSchema = ddlEventSchema.extend({\n  type: v.literal('ddlUpdate'),\n  // ddlUpdate messages are only emitted if the schema changed. `schema`\n  // contains the current (i.e. post-change) snapshot.\n  schema: publishedSchema,\n  // The `previousSchema` contains the schema before the change.\n  //\n  // In 1.5.0 it is always set, and can be made non-optional when\n  // rollback safe.\n  previousSchema: publishedSchema.optional(),\n});\n\nexport type DdlUpdateEvent = v.Infer<typeof ddlUpdateEventSchema>;\n\n/**\n * The `schemaSnapshot` message is a snapshot of a schema taken in response to\n * a `COMMENT ON PUBLICATION` command, which is a hook recognized by zero\n * to manually emit `previousSchema` and `schema` snapshots when a difference\n * is detected. This is a workaround provided to support detection of schema\n * changes from `ALTER PUBLICATION` commands on supabase, which does not fire\n * event triggers for them (https://github.com/supabase/supautils/issues/123).\n *\n * The hook is exercised by trailing the publication change with a\n * `COMMENT ON PUBLICATION` statement, e.g.\n *\n * ```sql\n * BEGIN;\n * ALTER PUBLICATION my_publication ...;\n * COMMENT ON PUBLICATION my_publication IS 'whatever';\n * COMMIT;\n * ```\n *\n * Note that it is fine to invoke `COMMENT ON PUBLICATION` statements\n * on a database that *does* support event triggers on\n * `ALTER PUBLICATION` statements, as it will simply be a no-op.\n */\nexport const schemaSnapshotEventSchema = ddlEventSchema.extend({\n  type: v.literal('schemaSnapshot'),\n  schema: publishedSchema,\n  previousSchema: publishedSchema.optional(),\n});\n\nexport type SchemaSnapshotEvent = v.Infer<typeof schemaSnapshotEventSchema>;\n\nexport const replicationEventSchema = v.union(\n  ddlStartEventSchema,\n  ddlUpdateEventSchema,\n  schemaSnapshotEventSchema,\n);\n\nexport type ReplicationEvent = v.Infer<typeof replicationEventSchema>;\n\n// Creates a function that appends `_{shard-num}` to the input and\n// quotes the result to be a valid identifier.\nfunction append(shardNum: number) {\n  return (name: string) => id(name + '_' + String(shardNum));\n}\n\n// pg_advisory_xact_lock key for serializing ddl statements in order to\n// produce correct schema change diffs.\nconst DDL_SERIALIZATION_LOCK = 0x3c6b8468f1bac0b0n;\n\n/**\n * Event trigger functions contain the core logic that are invoked by triggers.\n *\n * Note that although many of these functions can theoretically be parameterized and\n * shared across shards, it is advantageous to keep the functions in each shard\n * isolated from each other in order to avoid the complexity of shared-function\n * versioning.\n *\n * In a sense, shards (and their triggers and functions) should be thought of as\n * execution environments that can be updated at different schedules. If per-shard\n * triggers called into shared functions, we would have to consider versioning the\n * functions when changing their behavior, backwards compatibility, removal of\n * unused versions, etc. (not unlike versioning of npm packages).\n *\n * Instead, we opt for the simplicity and isolation of having each shard\n * completely own (and maintain) the entirety of its trigger/function stack.\n */\nexport function createEventFunctionStatements(\n  shard: ShardConfig,\n  includePartialIndexes = true,\n) {\n  const {appID, shardNum, publications} = shard;\n  const schema = id(upstreamSchema(shard)); // e.g. \"{APP_ID}_{SHARD_ID}\"\n  return /*sql*/ `\nCREATE SCHEMA IF NOT EXISTS ${schema};\n\nCREATE OR REPLACE FUNCTION ${schema}.get_trigger_context()\nRETURNS record AS $$\nDECLARE\n  result record;\nBEGIN\n  SELECT COALESCE(current_query(), 'current_query() returned NULL') AS \"query\" into result;\n  RETURN result;\nEND\n$$ LANGUAGE plpgsql;\n\n\nCREATE OR REPLACE FUNCTION ${schema}.notice_ignore(reason TEXT, tag TEXT, target record)\nRETURNS void AS $$\nBEGIN\n  RAISE NOTICE '${appID}_${shardNum} ignoring % % %', reason, tag, \n    COALESCE(row_to_json(target)::text, '');\nEND\n$$ LANGUAGE plpgsql;\n\n\n-- Note: DROP and CREATE to upgrade from v20 to v21 because the\n-- return type has changed. This can be simplified to CREATE OR REPLACE\n-- once 1.5.0 is rollback safe.\nDROP FUNCTION IF EXISTS ${schema}.schema_specs();\nCREATE FUNCTION ${schema}.schema_specs()\nRETURNS JSON \nSTABLE\nAS $$\n  ${publishedSchemaQuery(publications, includePartialIndexes)}\n$$ LANGUAGE sql;\n\n\n-- Stores the most recent published schema\nCREATE TABLE IF NOT EXISTS ${schema}.\"publishedSchema\" (\n  current JSON,\n  exists BOOL PRIMARY KEY DEFAULT true CHECK (exists)\n);\n\nINSERT INTO ${schema}.\"publishedSchema\" (current) VALUES (${schema}.schema_specs())\n  ON CONFLICT (exists) DO \n  UPDATE SET current = excluded.current;\n\n\nCREATE OR REPLACE FUNCTION ${schema}.update_schemas(event_type text, tag text, target record)\nRETURNS void AS $$\nDECLARE\n  prev_schema_specs JSON;\n  schema_specs JSON;\n  message TEXT;\nBEGIN\n  SELECT current FROM ${schema}.\"publishedSchema\" INTO prev_schema_specs;\n  SELECT ${schema}.schema_specs() INTO schema_specs;\n  \n  IF prev_schema_specs::text != schema_specs::text THEN\n    UPDATE ${schema}.\"publishedSchema\" SET current = schema_specs;\n  ELSIF event_type = 'ddlStart' THEN\n    -- ddlStart events are always be emitted to allow the zero-cache\n    -- to track the context of the current command tag in the face of\n    -- nested event triggers (e.g. start->start->end->end).\n    prev_schema_specs = NULL;\n  ELSIF event_type = 'ddlUpdate' THEN\n    -- TODO: fold 'schemaSnapshot' into this condition too (i.e. make it \"ELSE\")\n    -- when 1.5.0 is rollback safe. Until then, noop schemaSnapshots are sent\n    -- for compatibility with 1.0.0 ~ 1.4.0.\n    PERFORM ${schema}.notice_ignore('noop', tag, target);\n    RETURN;\n  END IF;\n\n  SELECT json_build_object(\n    'type', event_type,\n    'version', ${PROTOCOL_VERSION},\n    'previousSchema', prev_schema_specs,\n    'schema', schema_specs,\n    'event', json_build_object('tag', tag),\n    'context', ${schema}.get_trigger_context()\n  ) INTO message;\n\n  PERFORM pg_logical_emit_message(true, '${appID}/${shardNum}/ddl', message);\n\n  RAISE NOTICE 'Emitted ${appID}_${shardNum} % for % %', event_type, tag,\n    COALESCE(row_to_json(target)::text, '');\nEND\n$$ LANGUAGE plpgsql;\n\n\n-- Hook/workaround to manually trigger replication of schema changes on DBs \n-- that do not support/allow event triggers.\nCREATE OR REPLACE FUNCTION ${schema}.update_schemas()\nRETURNS void AS $$\nBEGIN\n  PERFORM ${schema}.update_schemas('schemaSnapshot', 'MANUAL', NULL);\nEND\n$$ LANGUAGE plpgsql;\n\n\nCREATE OR REPLACE FUNCTION ${schema}.emit_ddl_start()\nRETURNS event_trigger AS $$\nDECLARE\n  schema_specs JSON;\n  message TEXT;\nBEGIN\n  -- serialize DDL statements to compute correct schema change diffs\n  PERFORM pg_advisory_xact_lock(${DDL_SERIALIZATION_LOCK});\n  PERFORM ${schema}.update_schemas('ddlStart', TG_TAG, NULL);\nEND\n$$ LANGUAGE plpgsql;\n\n\nCREATE OR REPLACE FUNCTION ${schema}.emit_ddl_end()\nRETURNS event_trigger AS $$\nDECLARE\n  publications TEXT[];\n  target RECORD;\n  relevant RECORD;\n  schema_specs JSON;\n  message TEXT;\n  event TEXT;\nBEGIN\n  publications := ARRAY[${lit(publications)}];\n\n  SELECT objid, object_type, object_identity \n    FROM pg_event_trigger_ddl_commands() \n    LIMIT 1 INTO target;\n\n  -- Filter DDL updates that are not relevant to the shard (i.e. publications) when possible.\n  SELECT true INTO relevant;\n\n  -- Note: ALTER TABLE statements may *remove* the table from the set of published\n  --       tables, and there is no way to determine if the table \"used to be\" in the\n  --       set. Thus, all ALTER TABLE statements must produce a ddl update, similar to\n  --       any DROP * statement.\n  IF (target.object_type = 'table' AND TG_TAG != 'ALTER TABLE') \n     OR target.object_type = 'table column' THEN\n    SELECT ns.nspname AS \"schema\", c.relname AS \"name\" FROM pg_class AS c\n      JOIN pg_namespace AS ns ON c.relnamespace = ns.oid\n      JOIN pg_publication_tables AS pb ON pb.schemaname = ns.nspname AND pb.tablename = c.relname\n      WHERE c.oid = target.objid AND pb.pubname = ANY (publications)\n      INTO relevant;\n\n  ELSIF target.object_type = 'index' THEN\n    SELECT ns.nspname AS \"schema\", c.relname AS \"name\" FROM pg_class AS c\n      JOIN pg_namespace AS ns ON c.relnamespace = ns.oid\n      JOIN pg_indexes as ind ON ind.schemaname = ns.nspname AND ind.indexname = c.relname\n      JOIN pg_publication_tables AS pb ON pb.schemaname = ns.nspname AND pb.tablename = ind.tablename\n      WHERE c.oid = target.objid AND pb.pubname = ANY (publications)\n      INTO relevant;\n\n  ELSIF target.object_type = 'publication relation' THEN\n    SELECT pb.pubname FROM pg_publication_rel AS rel\n      JOIN pg_publication AS pb ON pb.oid = rel.prpubid\n      WHERE rel.oid = target.objid AND pb.pubname = ANY (publications) \n      INTO relevant;\n\n  ELSIF target.object_type = 'publication namespace' THEN\n    SELECT pb.pubname FROM pg_publication_namespace AS ns\n      JOIN pg_publication AS pb ON pb.oid = ns.pnpubid\n      WHERE ns.oid = target.objid AND pb.pubname = ANY (publications) \n      INTO relevant;\n\n  ELSIF target.object_type = 'schema' THEN\n    SELECT ns.nspname AS \"schema\", c.relname AS \"name\" FROM pg_class AS c\n      JOIN pg_namespace AS ns ON c.relnamespace = ns.oid\n      JOIN pg_publication_tables AS pb ON pb.schemaname = ns.nspname AND pb.tablename = c.relname\n      WHERE ns.oid = target.objid AND pb.pubname = ANY (publications)\n      INTO relevant;\n\n  ELSIF target.object_type = 'publication' THEN\n    SELECT 1 WHERE target.object_identity = ANY (publications)\n      INTO relevant;\n\n  -- no-op CREATE IF NOT EXIST statements\n  ELSIF TG_TAG LIKE 'CREATE %' AND target.object_type IS NULL THEN\n    relevant := NULL;\n  END IF;\n\n  IF relevant IS NULL THEN\n    PERFORM ${schema}.notice_ignore('irrelevant', TG_TAG, target);\n    RETURN;\n  END IF;\n\n  IF TG_TAG = 'COMMENT' THEN\n    -- Only make schemaSnapshots for COMMENT ON PUBLICATION\n    IF target.object_type != 'publication' THEN\n      PERFORM ${schema}.notice_ignore('irrelevant', TG_TAG, target);\n      RETURN;\n    END IF;\n    PERFORM ${schema}.update_schemas('schemaSnapshot', TG_TAG, target);\n  ELSE\n    PERFORM ${schema}.update_schemas('ddlUpdate', TG_TAG, target);\n  END IF;\n\nEND\n$$ LANGUAGE plpgsql;\n`;\n}\n\n// Exported for testing.\nexport const TAGS = [\n  'CREATE TABLE',\n  'ALTER TABLE',\n  'CREATE INDEX',\n  'DROP TABLE',\n  'DROP INDEX',\n  'ALTER PUBLICATION',\n  'ALTER SCHEMA',\n] as const;\n\nexport function createEventTriggerStatements(shard: ShardConfig) {\n  // Better to assert here than get a cryptic syntax error from Postgres.\n  assert(shard.publications.length, `shard publications must be non-empty`);\n\n  // Unlike functions, which are namespaced in shard-specific schemas,\n  // EVENT TRIGGER names are in the global namespace and thus must include\n  // the appID and shardNum.\n  const {appID, shardNum} = shard;\n  const sharded = append(shardNum);\n  const schema = id(upstreamSchema(shard));\n\n  const triggers = [\n    dropEventTriggerStatements(shard.appID, shard.shardNum),\n    /*sql*/ `\nCREATE EVENT TRIGGER ${sharded(`${appID}_ddl_start`)}\n  ON ddl_command_start\n  WHEN TAG IN (${lit(TAGS)})\n  EXECUTE PROCEDURE ${schema}.emit_ddl_start();\n\nCREATE EVENT TRIGGER ${sharded(`${appID}_ddl_end`)}\n  ON ddl_command_end\n  WHEN TAG IN (${lit([...TAGS, 'COMMENT'])})\n  EXECUTE PROCEDURE ${schema}.emit_ddl_end();\n`,\n  ];\n\n  // Drop legacy functions / triggers.\n  triggers.push(\n    `DROP FUNCTION IF EXISTS ${schema}.emit_ddl_end(text) CASCADE;`,\n    `DROP FUNCTION IF EXISTS ${schema}.notice_ignore(text, record);`,\n  );\n  for (const tag of [...TAGS, 'COMMENT']) {\n    const tagID = tag.toLowerCase().replace(' ', '_');\n    triggers.push(`DROP FUNCTION IF EXISTS ${schema}.emit_${tagID}() CASCADE;`);\n  }\n  return triggers.join('');\n}\n\n// Exported for testing.\nexport function dropEventTriggerStatements(\n  appID: string,\n  shardID: string | number,\n) {\n  return /*sql*/ `\n    DROP EVENT TRIGGER IF EXISTS ${id(`${appID}_ddl_start_${shardID}`)};\n    DROP EVENT TRIGGER IF EXISTS ${id(`${appID}_ddl_end_${shardID}`)};\n  `;\n}\n"],"mappings":";;;;;;AAyBA,IAAM,gBAAgBA,aAAAA,GAAiC,CAAC;AAMxD,IAAa,iBAJQC,eAAE,OAAO,EAC5B,SAASA,eAAE,OAAO,EAAC,OAAOA,eAAE,OAAO,EAAC,CAAC,CAAC,CAAC,KAAKA,eAAE,OAAO,CAAC,EACxD,CAE8B,CAAA,CAAa,OAAO;CAChD,SAAS;CACT,OAAOA,eAAE,OAAO,EAAC,KAAKA,eAAE,OAAO,EAAC,CAAC;CAajC,YAAYA,eAAE,OAAOA,eAAE,MAAMA,eAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS;AAChE,CAAC;;;;;;;;;;;;;;;;;;;;AAqBD,IAAa,sBAAsB,eAAe,OAAO;CACvD,MAAMA,eAAE,QAAQ,UAAU;CAI1B,QAAQ,gBAAgB,SAAS;CAGjC,gBAAgB,gBAAgB,SAAS,CAAC,CAAC,SAAS;CAKpD,OAAOA,eAAE,OAAO,EAAC,KAAKA,eAAE,OAAO,EAAC,CAAC,CAAC,CAAC,gBAAgB,EAAC,KAAK,UAAS,EAAE;AACtE,CAAC;;;;;;AASD,IAAa,uBAAuB,eAAe,OAAO;CACxD,MAAMA,eAAE,QAAQ,WAAW;CAG3B,QAAQ;CAKR,gBAAgB,gBAAgB,SAAS;AAC3C,CAAC;;;;;;;;;;;;;;;;;;;;;;;AA0BD,IAAa,4BAA4B,eAAe,OAAO;CAC7D,MAAMA,eAAE,QAAQ,gBAAgB;CAChC,QAAQ;CACR,gBAAgB,gBAAgB,SAAS;AAC3C,CAAC;AAID,IAAa,yBAAyBA,eAAE,MACtC,qBACA,sBACA,yBACF;AAMA,SAAS,OAAO,UAAkB;CAChC,QAAQ,SAAiB,GAAG,OAAO,MAAM,OAAO,QAAQ,CAAC;AAC3D;AAIA,IAAM,yBAAyB;;;;;;;;;;;;;;;;;;AAmB/B,SAAgB,8BACd,OACA,wBAAwB,MACxB;CACA,MAAM,EAAC,OAAO,UAAU,iBAAgB;CACxC,MAAM,SAAS,GAAG,eAAe,KAAK,CAAC;CACvC,OAAe;8BACa,OAAO;;6BAER,OAAO;;;;;;;;;;;6BAWP,OAAO;;;kBAGlB,MAAM,GAAG,SAAS;;;;;;;;;0BASV,OAAO;kBACf,OAAO;;;;IAIrB,qBAAqB,cAAc,qBAAqB,EAAE;;;;;6BAKjC,OAAO;;;;;cAKtB,OAAO,uCAAuC,OAAO;;;;;6BAKtC,OAAO;;;;;;;wBAOZ,OAAO;WACpB,OAAO;;;aAGL,OAAO;;;;;;;;;;cAUN,OAAO;;;;;;;;;;iBAUJ,OAAO;;;2CAGmB,MAAM,GAAG,SAAS;;0BAEnC,MAAM,GAAG,SAAS;;;;;;;;6BAQf,OAAO;;;YAGxB,OAAO;;;;;6BAKU,OAAO;;;;;;;kCAOF,uBAAuB;YAC7C,OAAO;;;;;6BAKU,OAAO;;;;;;;;;;0BAUVC,QAAI,YAAY,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cA0D9B,OAAO;;;;;;;gBAOL,OAAO;;;cAGT,OAAO;;cAEP,OAAO;;;;;;AAMrB;AAGA,IAAa,OAAO;CAClB;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,SAAgB,6BAA6B,OAAoB;CAE/D,OAAO,MAAM,aAAa,QAAQ,sCAAsC;CAKxE,MAAM,EAAC,OAAO,aAAY;CAC1B,MAAM,UAAU,OAAO,QAAQ;CAC/B,MAAM,SAAS,GAAG,eAAe,KAAK,CAAC;CAEvC,MAAM,WAAW,CACf,2BAA2B,MAAM,OAAO,MAAM,QAAQ,GAC9C;uBACW,QAAQ,GAAG,MAAM,WAAW,EAAE;;iBAEpCA,QAAI,IAAI,EAAE;sBACL,OAAO;;uBAEN,QAAQ,GAAG,MAAM,SAAS,EAAE;;iBAElCA,QAAI,CAAC,GAAG,MAAM,SAAS,CAAC,EAAE;sBACrB,OAAO;CAE3B;CAGA,SAAS,KACP,2BAA2B,OAAO,+BAClC,2BAA2B,OAAO,8BACpC;CACA,KAAK,MAAM,OAAO,CAAC,GAAG,MAAM,SAAS,GAAG;EACtC,MAAM,QAAQ,IAAI,YAAY,CAAC,CAAC,QAAQ,KAAK,GAAG;EAChD,SAAS,KAAK,2BAA2B,OAAO,QAAQ,MAAM,YAAY;CAC5E;CACA,OAAO,SAAS,KAAK,EAAE;AACzB;AAGA,SAAgB,2BACd,OACA,SACA;CACA,OAAe;mCACkB,GAAG,GAAG,MAAM,aAAa,SAAS,EAAE;mCACpC,GAAG,GAAG,MAAM,WAAW,SAAS,EAAE;;AAErE"}

package/out/zero-cache/src/services/change-source/pg/schema/index-predicate.js

@@ -190,7 +190,7 @@ var Parser = class {
 		if (!this.#take(type)) throw new UnsupportedPredicateError("unsupported-syntax");
 	}
 };
-var unsupportedOperatorWords = new Set([
+var unsupportedOperatorWords = /* @__PURE__ */ new Set([
 	"ALL",
 	"BETWEEN",
 	"ILIKE",
@@ -351,7 +351,7 @@ function resolveLiteral(expression, column) {
 	if (literal.type !== "literal" || literal.value === null) throw new UnsupportedPredicateError("unsupported-syntax");
 	switch (column.category) {
 		case "boolean":
-			validateLiteralCast(cast, new Set(["bool"]));
+			validateLiteralCast(cast, /* @__PURE__ */ new Set(["bool"]));
 			if (literal.literalType !== "boolean") throw new UnsupportedPredicateError("unsupported-type");
 			return {
 				type: "boolean",
@@ -368,7 +368,7 @@ function resolveLiteral(expression, column) {
 				value: canonicalInteger(String(literal.value), column.rank)
 			};
 		case "text":
-			validateLiteralCast(cast, new Set(["text", "varchar"]));
+			validateLiteralCast(cast, /* @__PURE__ */ new Set(["text", "varchar"]));
 			if (literal.literalType !== "string") throw new UnsupportedPredicateError("unsupported-type");
 			return {
 				type: "string",
@@ -382,7 +382,7 @@ function resolveLiteral(expression, column) {
 				value: String(literal.value)
 			};
 		case "uuid": {
-			validateLiteralCast(cast, new Set(["uuid"]));
+			validateLiteralCast(cast, /* @__PURE__ */ new Set(["uuid"]));
 			const value = String(literal.value).toLowerCase();
 			if (literal.literalType !== "string" || !UUID_RE.test(value)) throw new UnsupportedPredicateError("unsupported-type");
 			return {
@@ -529,14 +529,15 @@ function readQuoted(sql, start, quote, escapes) {
 	let value = "";
 	for (let i = start + 1; i < sql.length; i++) {
 		const char = sql[i];
-		if (char === quote) if (sql[i + 1] === quote) {
-			value += quote;
-			i++;
-		} else return {
-			value,
-			end: i + 1
-		};
-		else if (escapes && char === "\\") {
+		if (char === quote) {
+			if (sql[i + 1] === quote) {
+				value += quote;
+				i++;
+			} else return {
+				value,
+				end: i + 1
+			};
+		} else if (escapes && char === "\\") {
 			const escape = sql[++i];
 			if (escape === void 0) throw new UnsupportedPredicateError("unsupported-syntax");
 			if (escape === "x") {

package/out/zero-cache/src/services/change-source/pg/schema/index-predicate.js.map

@@ -1 +1 @@
-{"version":3,"file":"index-predicate.js","names":["#tokens","#parseOr","#parseAnd","#take","#parseNot","#parseComparison","#parseOperand","#position","#parseOperandList","#takeIdentifier","#parseLiteralArray","#expectIdentifier","#parseCastName","#parsePrimary"],"sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/index-predicate.ts"],"sourcesContent":["import * as PostgresTypeClass from '../../../../db/postgres-type-class-enum.ts';\nimport type {\n  IndexPredicate,\n  IndexPredicateValue,\n  PublishedTableSpec,\n} from '../../../../db/specs.ts';\n\nconst UUID_RE =\n  /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/;\nconst INTEGER_RE = /^[+-]?\\d+$/;\nconst WHITESPACE_RE = /\\s/;\nconst OPERATOR_TOKEN_RE = /^(?:::|<>|!=|<=|>=|=|<|>)/;\nconst UNSUPPORTED_OPERATOR_TOKEN_RE = /^(?:!~\\*|!~|~\\*|~)/;\nconst INTEGER_TOKEN_RE = /^[+-]?\\d+/;\nconst WORD_TOKEN_RE = /^[A-Za-z_][A-Za-z0-9_$]*/;\nconst SIMPLE_ESCAPES: Readonly<Record<string, string>> = {\n  b: '\\b',\n  f: '\\f',\n  n: '\\n',\n  r: '\\r',\n  t: '\\t',\n  v: '\\v',\n};\n\nexport const unsupportedPredicateReasons = [\n  'unpublished-column',\n  'unsupported-type',\n  'unsupported-operator',\n  'unsupported-function',\n  'unsupported-cast',\n  'unsupported-syntax',\n  'non-deterministic-collation',\n] as const;\n\nexport type UnsupportedPredicateReason =\n  (typeof unsupportedPredicateReasons)[number];\n\nexport type PredicateTranslation =\n  | {readonly supported: true; readonly predicate: IndexPredicate}\n  | {readonly supported: false; readonly reason: UnsupportedPredicateReason};\n\ntype PredicateColumnSpec = PublishedTableSpec['columns'][string] & {\n  readonly collationIsDeterministic?: boolean | null | undefined;\n};\n\ntype PredicateTableSpec = Omit<PublishedTableSpec, 'columns'> & {\n  readonly columns: Readonly<Record<string, PredicateColumnSpec>>;\n};\n\ntype Expr =\n  | {readonly type: 'column'; readonly name: string}\n  | {\n      readonly type: 'literal';\n      readonly value: boolean | string | null;\n      readonly literalType: 'boolean' | 'integer' | 'string' | 'null';\n    }\n  | {readonly type: 'cast'; readonly expression: Expr; readonly cast: string}\n  | {readonly type: 'not'; readonly expression: Expr}\n  | {\n      readonly type: 'and' | 'or';\n      readonly expressions: readonly Expr[];\n    }\n  | {\n      readonly type: 'comparison';\n      readonly left: Expr;\n      readonly op: '=' | '<>' | '!=' | '<' | '<=' | '>' | '>=';\n      readonly right: Expr;\n    }\n  | {\n      readonly type: 'null-test';\n      readonly expression: Expr;\n      readonly not: boolean;\n    };\n\ntype Token =\n  | {readonly type: 'identifier'; readonly value: string}\n  | {\n      readonly type: 'literal';\n      readonly value: boolean | string | null;\n      readonly literalType: 'boolean' | 'integer' | 'string' | 'null';\n    }\n  | {\n      readonly type:\n        | '('\n        | ')'\n        | '['\n        | ']'\n        | ','\n        | '.'\n        | '::'\n        | '='\n        | '<>'\n        | '!='\n        | '<'\n        | '<='\n        | '>'\n        | '>='\n        | 'AND'\n        | 'OR'\n        | 'NOT'\n        | 'IN'\n        | 'IS'\n        | 'EOF';\n    }\n  | {readonly type: 'unsupported'; readonly value: string};\n\nclass UnsupportedPredicateError extends Error {\n  readonly reason: UnsupportedPredicateReason;\n\n  constructor(reason: UnsupportedPredicateReason) {\n    super(reason);\n    this.reason = reason;\n  }\n}\n\nexport function translatePostgresIndexPredicate(\n  sql: string,\n  table: PredicateTableSpec,\n): PredicateTranslation {\n  try {\n    const parser = new Parser(tokenize(sql));\n    const expression = parser.parse();\n    parser.expect('EOF');\n    return {supported: true, predicate: normalize(expression, table)};\n  } catch (error) {\n    return {\n      supported: false,\n      reason:\n        error instanceof UnsupportedPredicateError\n          ? error.reason\n          : 'unsupported-syntax',\n    };\n  }\n}\n\nclass Parser {\n  readonly #tokens: readonly Token[];\n  #position = 0;\n\n  constructor(tokens: readonly Token[]) {\n    this.#tokens = tokens;\n  }\n\n  parse(): Expr {\n    return this.#parseOr();\n  }\n\n  #parseOr(): Expr {\n    const expressions = [this.#parseAnd()];\n    while (this.#take('OR')) expressions.push(this.#parseAnd());\n    return expressions.length === 1\n      ? expressions[0]\n      : {type: 'or', expressions};\n  }\n\n  #parseAnd(): Expr {\n    const expressions = [this.#parseNot()];\n    while (this.#take('AND')) expressions.push(this.#parseNot());\n    return expressions.length === 1\n      ? expressions[0]\n      : {type: 'and', expressions};\n  }\n\n  #parseNot(): Expr {\n    if (this.#take('NOT')) {\n      return {type: 'not', expression: this.#parseNot()};\n    }\n    return this.#parseComparison();\n  }\n\n  #parseComparison(): Expr {\n    const left = this.#parseOperand();\n    if (this.#take('IS')) {\n      const not = this.#take('NOT');\n      const token = this.#tokens[this.#position++];\n      if (token?.type !== 'literal' || token.literalType !== 'null') {\n        throw new UnsupportedPredicateError('unsupported-operator');\n      }\n      return {type: 'null-test', expression: left, not};\n    }\n    if (this.#take('IN')) {\n      this.expect('(');\n      const values = this.#parseOperandList(')');\n      this.expect(')');\n      return comparisons(left, values);\n    }\n    const op = this.#tokens[this.#position]?.type;\n    if (isComparison(op)) {\n      this.#position++;\n      if (op === '=' && this.#takeIdentifier('ANY')) {\n        return comparisons(left, this.#parseLiteralArray());\n      }\n      return {\n        type: 'comparison',\n        left,\n        op,\n        right: this.#parseOperand(),\n      };\n    }\n    const next = this.#tokens[this.#position];\n    if (next?.type === 'identifier' && next.value.toUpperCase() === 'COLLATE') {\n      throw new UnsupportedPredicateError('non-deterministic-collation');\n    }\n    if (\n      next?.type === 'unsupported' &&\n      UNSUPPORTED_OPERATOR_TOKEN_RE.test(next.value)\n    ) {\n      throw new UnsupportedPredicateError('unsupported-operator');\n    }\n    if (\n      next?.type === 'identifier' &&\n      unsupportedOperatorWords.has(next.value.toUpperCase())\n    ) {\n      throw new UnsupportedPredicateError('unsupported-operator');\n    }\n    return left;\n  }\n\n  #parseLiteralArray(): readonly Expr[] {\n    this.expect('(');\n    this.#expectIdentifier('ARRAY');\n    this.expect('[');\n    const values = this.#parseOperandList(']');\n    this.expect(']');\n    if (this.#take('::')) {\n      this.#parseCastName();\n      this.expect('[');\n      this.expect(']');\n    }\n    this.expect(')');\n    return values;\n  }\n\n  #parseOperandList(end: ')' | ']'): readonly Expr[] {\n    const values: Expr[] = [];\n    if (this.#tokens[this.#position]?.type === end) return values;\n    values.push(this.#parseOperand());\n    while (this.#take(',')) values.push(this.#parseOperand());\n    return values;\n  }\n\n  #parseOperand(): Expr {\n    let expression = this.#parsePrimary();\n    while (this.#take('::')) {\n      expression = {\n        type: 'cast',\n        expression,\n        cast: this.#parseCastName(),\n      };\n    }\n    return expression;\n  }\n\n  #parsePrimary(): Expr {\n    if (this.#take('(')) {\n      const expression = this.#parseOr();\n      this.expect(')');\n      return expression;\n    }\n    const token = this.#tokens[this.#position++];\n    if (token?.type === 'literal') {\n      return {\n        type: 'literal',\n        value: token.value,\n        literalType: token.literalType,\n      };\n    }\n    if (token?.type === 'identifier') {\n      if (this.#tokens[this.#position]?.type === '(') {\n        throw new UnsupportedPredicateError('unsupported-function');\n      }\n      if (this.#tokens[this.#position]?.type === '.') {\n        throw new UnsupportedPredicateError('unsupported-syntax');\n      }\n      if (token.value.toUpperCase() === 'COLLATE') {\n        throw new UnsupportedPredicateError('non-deterministic-collation');\n      }\n      return {type: 'column', name: token.value};\n    }\n    throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n\n  #parseCastName(): string {\n    const first = this.#expectIdentifier();\n    const parts = [first];\n    let separator = '.';\n    while (this.#take('.')) parts.push(this.#expectIdentifier());\n    const next = this.#tokens[this.#position];\n    if (\n      first.toLowerCase() === 'character' &&\n      next?.type === 'identifier' &&\n      next.value.toLowerCase() === 'varying'\n    ) {\n      parts.push(this.#expectIdentifier());\n      separator = ' ';\n    }\n    if (this.#tokens[this.#position]?.type === '(') {\n      throw new UnsupportedPredicateError('unsupported-cast');\n    }\n    return parts.join(separator);\n  }\n\n  #expectIdentifier(expected?: string): string {\n    const token = this.#tokens[this.#position++];\n    if (\n      token?.type !== 'identifier' ||\n      (expected !== undefined && token.value.toUpperCase() !== expected)\n    ) {\n      throw new UnsupportedPredicateError('unsupported-cast');\n    }\n    return token.value;\n  }\n\n  #takeIdentifier(expected: string): boolean {\n    const token = this.#tokens[this.#position];\n    if (\n      token?.type !== 'identifier' ||\n      token.value.toUpperCase() !== expected\n    ) {\n      return false;\n    }\n    this.#position++;\n    return true;\n  }\n\n  #take(type: Token['type']): boolean {\n    if (this.#tokens[this.#position]?.type !== type) return false;\n    this.#position++;\n    return true;\n  }\n\n  expect(type: Token['type']): void {\n    if (!this.#take(type)) {\n      throw new UnsupportedPredicateError('unsupported-syntax');\n    }\n  }\n}\n\nconst unsupportedOperatorWords = new Set([\n  'ALL',\n  'BETWEEN',\n  'ILIKE',\n  'LIKE',\n  'SIMILAR',\n]);\n\nfunction comparisons(left: Expr, values: readonly Expr[]): Expr {\n  if (values.length === 0) {\n    throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n  const expressions = values.map(\n    right => ({type: 'comparison', left, op: '=', right}) as const,\n  );\n  return expressions.length === 1 ? expressions[0] : {type: 'or', expressions};\n}\n\nfunction normalize(\n  expression: Expr,\n  table: PredicateTableSpec,\n): IndexPredicate {\n  switch (expression.type) {\n    case 'and':\n    case 'or': {\n      const conditions = expression.expressions.map(expr =>\n        normalize(expr, table),\n      );\n      return {\n        type: expression.type,\n        conditions: conditions.flatMap(condition =>\n          condition.type === expression.type\n            ? condition.conditions\n            : [condition],\n        ),\n      };\n    }\n    case 'not': {\n      const booleanColumn = resolveBareBooleanColumn(\n        expression.expression,\n        table,\n      );\n      if (booleanColumn) {\n        return booleanComparison(booleanColumn, false);\n      }\n      return {type: 'not', condition: normalize(expression.expression, table)};\n    }\n    case 'column': {\n      const column = resolveColumn(expression, table);\n      if (column.category !== 'boolean') {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return booleanComparison(column.name, true);\n    }\n    case 'cast': {\n      const column = resolveColumnOperand(expression, table);\n      if (column.category !== 'boolean') {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return booleanComparison(column.name, true);\n    }\n    case 'null-test': {\n      const column = resolveNullTestColumn(expression.expression, table);\n      return {\n        type: 'null-test',\n        column,\n        op: expression.not ? 'IS NOT NULL' : 'IS NULL',\n      };\n    }\n    case 'comparison':\n      return normalizeComparison(expression, table);\n    case 'literal':\n      throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n}\n\nfunction resolveNullTestColumn(\n  expression: Expr,\n  table: PredicateTableSpec,\n): string {\n  if (expression.type === 'cast') {\n    return resolveColumnOperand(expression, table).name;\n  }\n  if (expression.type === 'column' && !table.columns[expression.name]) {\n    throw new UnsupportedPredicateError('unpublished-column');\n  }\n  if (expression.type === 'column') return expression.name;\n  throw new UnsupportedPredicateError('unsupported-syntax');\n}\n\nfunction resolveBareBooleanColumn(\n  expression: Expr,\n  table: PredicateTableSpec,\n): string | undefined {\n  if (expression.type !== 'column' && expression.type !== 'cast') {\n    return undefined;\n  }\n  const column = resolveColumnOperand(expression, table);\n  return column.category === 'boolean' ? column.name : undefined;\n}\n\nfunction booleanComparison(column: string, value: boolean): IndexPredicate {\n  return {\n    type: 'comparison',\n    column,\n    op: '=',\n    value: {type: 'boolean', value},\n  };\n}\n\ntype ColumnCategory =\n  | {readonly category: 'boolean'; readonly name: string}\n  | {\n      readonly category: 'integer';\n      readonly name: string;\n      readonly rank: 0 | 1 | 2;\n    }\n  | {readonly category: 'text'; readonly name: string}\n  | {\n      readonly category: 'enum';\n      readonly name: string;\n      readonly enumName: string;\n    }\n  | {readonly category: 'uuid'; readonly name: string};\n\nfunction normalizeComparison(\n  expression: Extract<Expr, {type: 'comparison'}>,\n  table: PredicateTableSpec,\n): IndexPredicate {\n  const column = resolveColumnOperand(expression.left, table);\n  const op = expression.op === '!=' ? '<>' : expression.op;\n  if (column.category !== 'integer' && op !== '=' && op !== '<>') {\n    throw new UnsupportedPredicateError('unsupported-operator');\n  }\n  const value = resolveLiteral(expression.right, column);\n  return {type: 'comparison', column: column.name, op, value};\n}\n\nfunction resolveColumnOperand(\n  expression: Expr,\n  table: PredicateTableSpec,\n): ColumnCategory {\n  if (expression.type === 'column') return resolveColumn(expression, table);\n  if (expression.type !== 'cast') {\n    throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n  const column = resolveColumnOperand(expression.expression, table);\n  const cast = canonicalTypeName(expression.cast);\n  switch (column.category) {\n    case 'integer': {\n      const rank = integerRank(cast);\n      if (rank === undefined || rank < column.rank) {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      return {...column, rank};\n    }\n    case 'text':\n      if (cast !== 'text' && cast !== 'varchar') {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      return column;\n    case 'boolean':\n      if (cast !== 'bool') {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      return column;\n    case 'uuid':\n      if (cast !== 'uuid') {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      return column;\n    case 'enum':\n      if (lastTypeName(expression.cast) !== column.enumName.toLowerCase()) {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      return column;\n  }\n}\n\nfunction resolveColumn(\n  expression: Extract<Expr, {type: 'column'}>,\n  table: PredicateTableSpec,\n): ColumnCategory {\n  const spec = table.columns[expression.name];\n  if (!spec) throw new UnsupportedPredicateError('unpublished-column');\n  const dataType = canonicalTypeName(spec.dataType);\n  if (dataType === 'bool') return {category: 'boolean', name: expression.name};\n  const rank = integerRank(dataType);\n  if (rank !== undefined) {\n    return {category: 'integer', name: expression.name, rank};\n  }\n  if (dataType === 'text' || dataType === 'varchar') {\n    if (spec.collationIsDeterministic === false) {\n      throw new UnsupportedPredicateError('non-deterministic-collation');\n    }\n    return {category: 'text', name: expression.name};\n  }\n  if (dataType === 'uuid') return {category: 'uuid', name: expression.name};\n  if (spec.pgTypeClass === PostgresTypeClass.Enum) {\n    return {\n      category: 'enum',\n      name: expression.name,\n      enumName: spec.dataType.toLowerCase(),\n    };\n  }\n  throw new UnsupportedPredicateError('unsupported-type');\n}\n\nfunction resolveLiteral(\n  expression: Expr,\n  column: ColumnCategory,\n): IndexPredicateValue {\n  let literal = expression;\n  let cast: string | undefined;\n  while (literal.type === 'cast') {\n    cast = literal.cast;\n    literal = literal.expression;\n  }\n  if (literal.type !== 'literal' || literal.value === null) {\n    throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n\n  switch (column.category) {\n    case 'boolean': {\n      validateLiteralCast(cast, new Set(['bool']));\n      if (literal.literalType !== 'boolean') {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return {type: 'boolean', value: literal.value as boolean};\n    }\n    case 'integer': {\n      if (cast !== undefined) {\n        const castRank = integerRank(canonicalTypeName(cast));\n        if (castRank === undefined || castRank > column.rank) {\n          throw new UnsupportedPredicateError('unsupported-cast');\n        }\n      }\n      if (\n        literal.literalType !== 'integer' &&\n        !(literal.literalType === 'string' && cast !== undefined)\n      ) {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return {\n        type: 'integer',\n        value: canonicalInteger(String(literal.value), column.rank),\n      };\n    }\n    case 'text':\n      validateLiteralCast(cast, new Set(['text', 'varchar']));\n      if (literal.literalType !== 'string') {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return {type: 'string', value: String(literal.value)};\n    case 'enum':\n      if (\n        cast !== undefined &&\n        lastTypeName(cast) !== column.enumName.toLowerCase()\n      ) {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      if (literal.literalType !== 'string') {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return {type: 'string', value: String(literal.value)};\n    case 'uuid': {\n      validateLiteralCast(cast, new Set(['uuid']));\n      const value = String(literal.value).toLowerCase();\n      if (literal.literalType !== 'string' || !UUID_RE.test(value)) {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return {type: 'string', value};\n    }\n  }\n}\n\nfunction validateLiteralCast(\n  cast: string | undefined,\n  allowed: ReadonlySet<string>,\n): void {\n  if (cast !== undefined && !allowed.has(canonicalTypeName(cast))) {\n    throw new UnsupportedPredicateError('unsupported-cast');\n  }\n}\n\nfunction canonicalInteger(value: string, rank: 0 | 1 | 2): string {\n  if (!INTEGER_RE.test(value)) {\n    throw new UnsupportedPredicateError('unsupported-type');\n  }\n  let integer: bigint;\n  try {\n    integer = BigInt(value);\n  } catch {\n    throw new UnsupportedPredicateError('unsupported-type');\n  }\n  const bounds = [\n    [-32768n, 32767n],\n    [-2147483648n, 2147483647n],\n    [-9223372036854775808n, 9223372036854775807n],\n  ] as const;\n  if (integer < bounds[rank][0] || integer > bounds[rank][1]) {\n    throw new UnsupportedPredicateError('unsupported-type');\n  }\n  return integer.toString();\n}\n\nfunction canonicalTypeName(type: string): string {\n  const name = lastTypeName(type).replace(/\\s+/g, ' ');\n  switch (name) {\n    case 'boolean':\n      return 'bool';\n    case 'smallint':\n      return 'int2';\n    case 'integer':\n      return 'int4';\n    case 'bigint':\n      return 'int8';\n    case 'character varying':\n      return 'varchar';\n    default:\n      return name;\n  }\n}\n\nfunction lastTypeName(type: string): string {\n  return type.split('.').at(-1)?.toLowerCase() ?? '';\n}\n\nfunction integerRank(type: string): 0 | 1 | 2 | undefined {\n  switch (type) {\n    case 'int2':\n      return 0;\n    case 'int4':\n      return 1;\n    case 'int8':\n      return 2;\n    default:\n      return undefined;\n  }\n}\n\nfunction isComparison(\n  type: Token['type'] | undefined,\n): type is '=' | '<>' | '!=' | '<' | '<=' | '>' | '>=' {\n  return (\n    type === '=' ||\n    type === '<>' ||\n    type === '!=' ||\n    type === '<' ||\n    type === '<=' ||\n    type === '>' ||\n    type === '>='\n  );\n}\n\nfunction tokenize(sql: string): readonly Token[] {\n  const tokens: Token[] = [];\n  for (let i = 0; i < sql.length;) {\n    const char = sql[i];\n    if (WHITESPACE_RE.test(char)) {\n      i++;\n      continue;\n    }\n    if (char === '\"') {\n      const result = readQuoted(sql, i, '\"', false);\n      tokens.push({type: 'identifier', value: result.value});\n      i = result.end;\n      continue;\n    }\n    const escapeString = (char === 'E' || char === 'e') && sql[i + 1] === \"'\";\n    if (char === \"'\" || escapeString) {\n      const result = readQuoted(\n        sql,\n        i + (escapeString ? 1 : 0),\n        \"'\",\n        escapeString,\n      );\n      tokens.push({\n        type: 'literal',\n        literalType: 'string',\n        value: result.value,\n      });\n      i = result.end;\n      continue;\n    }\n    const operator = OPERATOR_TOKEN_RE.exec(sql.slice(i))?.[0];\n    if (operator) {\n      tokens.push({\n        type: operator as '::' | '=' | '<>' | '!=' | '<' | '<=' | '>' | '>=',\n      });\n      i += operator.length;\n      continue;\n    }\n    const unsupportedOperator = UNSUPPORTED_OPERATOR_TOKEN_RE.exec(\n      sql.slice(i),\n    )?.[0];\n    if (unsupportedOperator) {\n      tokens.push({type: 'unsupported', value: unsupportedOperator});\n      i += unsupportedOperator.length;\n      continue;\n    }\n    if (\n      char === '(' ||\n      char === ')' ||\n      char === '[' ||\n      char === ']' ||\n      char === ',' ||\n      char === '.'\n    ) {\n      tokens.push({type: char});\n      i++;\n      continue;\n    }\n    const integer = INTEGER_TOKEN_RE.exec(sql.slice(i))?.[0];\n    if (integer) {\n      tokens.push({type: 'literal', literalType: 'integer', value: integer});\n      i += integer.length;\n      continue;\n    }\n    const word = WORD_TOKEN_RE.exec(sql.slice(i))?.[0];\n    if (word) {\n      const keyword = word.toUpperCase();\n      if (unsupportedOperatorWords.has(keyword)) {\n        throw new UnsupportedPredicateError('unsupported-operator');\n      }\n      if (keyword === 'TRUE' || keyword === 'FALSE') {\n        tokens.push({\n          type: 'literal',\n          literalType: 'boolean',\n          value: keyword === 'TRUE',\n        });\n      } else if (keyword === 'NULL') {\n        tokens.push({type: 'literal', literalType: 'null', value: null});\n      } else if (\n        keyword === 'AND' ||\n        keyword === 'OR' ||\n        keyword === 'NOT' ||\n        keyword === 'IN' ||\n        keyword === 'IS'\n      ) {\n        tokens.push({type: keyword});\n      } else {\n        tokens.push({type: 'identifier', value: word.toLowerCase()});\n      }\n      i += word.length;\n      continue;\n    }\n    tokens.push({type: 'unsupported', value: char});\n    i++;\n  }\n  tokens.push({type: 'EOF'});\n  return tokens;\n}\n\nfunction readQuoted(\n  sql: string,\n  start: number,\n  quote: '\"' | \"'\",\n  escapes: boolean,\n): {readonly value: string; readonly end: number} {\n  let value = '';\n  for (let i = start + 1; i < sql.length; i++) {\n    const char = sql[i];\n    if (char === quote) {\n      if (sql[i + 1] === quote) {\n        value += quote;\n        i++;\n      } else {\n        return {value, end: i + 1};\n      }\n    } else if (escapes && char === '\\\\') {\n      const escape = sql[++i];\n      if (escape === undefined) {\n        throw new UnsupportedPredicateError('unsupported-syntax');\n      }\n      if (escape === 'x') {\n        const hex = readEscapeDigits(sql, i + 1, 2, 16, 1);\n        value += String.fromCharCode(hex.value);\n        i = hex.end - 1;\n      } else if (escape === 'u' || escape === 'U') {\n        const hex = readEscapeDigits(sql, i + 1, escape === 'u' ? 4 : 8, 16);\n        try {\n          value += String.fromCodePoint(hex.value);\n        } catch {\n          throw new UnsupportedPredicateError('unsupported-syntax');\n        }\n        i = hex.end - 1;\n      } else if (escape >= '0' && escape <= '7') {\n        let octal = escape;\n        while (\n          octal.length < 3 &&\n          sql[i + 1] !== undefined &&\n          sql[i + 1] >= '0' &&\n          sql[i + 1] <= '7'\n        ) {\n          octal += sql[++i];\n        }\n        value += String.fromCharCode(Number.parseInt(octal, 8));\n      } else if (escape === '\\n') {\n        // A backslash-newline pair is a line continuation.\n      } else if (escape === '\\r' && sql[i + 1] === '\\n') {\n        i++;\n      } else {\n        value += SIMPLE_ESCAPES[escape] ?? escape;\n      }\n    } else {\n      value += char;\n    }\n  }\n  throw new UnsupportedPredicateError('unsupported-syntax');\n}\n\nfunction readEscapeDigits(\n  sql: string,\n  start: number,\n  length: number,\n  radix: 16,\n  minLength = length,\n): {readonly value: number; readonly end: number} {\n  let end = start;\n  while (end < start + length) {\n    const digit = sql[end];\n    if (\n      digit === undefined ||\n      !(\n        (digit >= '0' && digit <= '9') ||\n        (digit.toLowerCase() >= 'a' && digit.toLowerCase() <= 'f')\n      )\n    ) {\n      break;\n    }\n    end++;\n  }\n  const digits = sql.slice(start, end);\n  if (digits.length < minLength) {\n    throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n  return {value: Number.parseInt(digits, radix), end};\n}\n"],"mappings":";AAOA,IAAM,UACJ;AACF,IAAM,aAAa;AACnB,IAAM,gBAAgB;AACtB,IAAM,oBAAoB;AAC1B,IAAM,gCAAgC;AACtC,IAAM,mBAAmB;AACzB,IAAM,gBAAgB;AACtB,IAAM,iBAAmD;CACvD,GAAG;CACH,GAAG;CACH,GAAG;CACH,GAAG;CACH,GAAG;CACH,GAAG;AACL;AAoFA,IAAM,4BAAN,cAAwC,MAAM;CAC5C;CAEA,YAAY,QAAoC;EAC9C,MAAM,MAAM;EACZ,KAAK,SAAS;CAChB;AACF;AAEA,SAAgB,gCACd,KACA,OACsB;CACtB,IAAI;EACF,MAAM,SAAS,IAAI,OAAO,SAAS,GAAG,CAAC;EACvC,MAAM,aAAa,OAAO,MAAM;EAChC,OAAO,OAAO,KAAK;EACnB,OAAO;GAAC,WAAW;GAAM,WAAW,UAAU,YAAY,KAAK;EAAC;CAClE,SAAS,OAAO;EACd,OAAO;GACL,WAAW;GACX,QACE,iBAAiB,4BACb,MAAM,SACN;EACR;CACF;AACF;AAEA,IAAM,SAAN,MAAa;CACX;CACA,YAAY;CAEZ,YAAY,QAA0B;EACpC,KAAKA,UAAU;CACjB;CAEA,QAAc;EACZ,OAAO,KAAKC,SAAS;CACvB;CAEA,WAAiB;EACf,MAAM,cAAc,CAAC,KAAKC,UAAU,CAAC;EACrC,OAAO,KAAKC,MAAM,IAAI,GAAG,YAAY,KAAK,KAAKD,UAAU,CAAC;EAC1D,OAAO,YAAY,WAAW,IAC1B,YAAY,KACZ;GAAC,MAAM;GAAM;EAAW;CAC9B;CAEA,YAAkB;EAChB,MAAM,cAAc,CAAC,KAAKE,UAAU,CAAC;EACrC,OAAO,KAAKD,MAAM,KAAK,GAAG,YAAY,KAAK,KAAKC,UAAU,CAAC;EAC3D,OAAO,YAAY,WAAW,IAC1B,YAAY,KACZ;GAAC,MAAM;GAAO;EAAW;CAC/B;CAEA,YAAkB;EAChB,IAAI,KAAKD,MAAM,KAAK,GAClB,OAAO;GAAC,MAAM;GAAO,YAAY,KAAKC,UAAU;EAAC;EAEnD,OAAO,KAAKC,iBAAiB;CAC/B;CAEA,mBAAyB;EACvB,MAAM,OAAO,KAAKC,cAAc;EAChC,IAAI,KAAKH,MAAM,IAAI,GAAG;GACpB,MAAM,MAAM,KAAKA,MAAM,KAAK;GAC5B,MAAM,QAAQ,KAAKH,QAAQ,KAAKO;GAChC,IAAI,OAAO,SAAS,aAAa,MAAM,gBAAgB,QACrD,MAAM,IAAI,0BAA0B,sBAAsB;GAE5D,OAAO;IAAC,MAAM;IAAa,YAAY;IAAM;GAAG;EAClD;EACA,IAAI,KAAKJ,MAAM,IAAI,GAAG;GACpB,KAAK,OAAO,GAAG;GACf,MAAM,SAAS,KAAKK,kBAAkB,GAAG;GACzC,KAAK,OAAO,GAAG;GACf,OAAO,YAAY,MAAM,MAAM;EACjC;EACA,MAAM,KAAK,KAAKR,QAAQ,KAAKO,YAAY;EACzC,IAAI,aAAa,EAAE,GAAG;GACpB,KAAKA;GACL,IAAI,OAAO,OAAO,KAAKE,gBAAgB,KAAK,GAC1C,OAAO,YAAY,MAAM,KAAKC,mBAAmB,CAAC;GAEpD,OAAO;IACL,MAAM;IACN;IACA;IACA,OAAO,KAAKJ,cAAc;GAC5B;EACF;EACA,MAAM,OAAO,KAAKN,QAAQ,KAAKO;EAC/B,IAAI,MAAM,SAAS,gBAAgB,KAAK,MAAM,YAAY,MAAM,WAC9D,MAAM,IAAI,0BAA0B,6BAA6B;EAEnE,IACE,MAAM,SAAS,iBACf,8BAA8B,KAAK,KAAK,KAAK,GAE7C,MAAM,IAAI,0BAA0B,sBAAsB;EAE5D,IACE,MAAM,SAAS,gBACf,yBAAyB,IAAI,KAAK,MAAM,YAAY,CAAC,GAErD,MAAM,IAAI,0BAA0B,sBAAsB;EAE5D,OAAO;CACT;CAEA,qBAAsC;EACpC,KAAK,OAAO,GAAG;EACf,KAAKI,kBAAkB,OAAO;EAC9B,KAAK,OAAO,GAAG;EACf,MAAM,SAAS,KAAKH,kBAAkB,GAAG;EACzC,KAAK,OAAO,GAAG;EACf,IAAI,KAAKL,MAAM,IAAI,GAAG;GACpB,KAAKS,eAAe;GACpB,KAAK,OAAO,GAAG;GACf,KAAK,OAAO,GAAG;EACjB;EACA,KAAK,OAAO,GAAG;EACf,OAAO;CACT;CAEA,kBAAkB,KAAiC;EACjD,MAAM,SAAiB,CAAC;EACxB,IAAI,KAAKZ,QAAQ,KAAKO,YAAY,SAAS,KAAK,OAAO;EACvD,OAAO,KAAK,KAAKD,cAAc,CAAC;EAChC,OAAO,KAAKH,MAAM,GAAG,GAAG,OAAO,KAAK,KAAKG,cAAc,CAAC;EACxD,OAAO;CACT;CAEA,gBAAsB;EACpB,IAAI,aAAa,KAAKO,cAAc;EACpC,OAAO,KAAKV,MAAM,IAAI,GACpB,aAAa;GACX,MAAM;GACN;GACA,MAAM,KAAKS,eAAe;EAC5B;EAEF,OAAO;CACT;CAEA,gBAAsB;EACpB,IAAI,KAAKT,MAAM,GAAG,GAAG;GACnB,MAAM,aAAa,KAAKF,SAAS;GACjC,KAAK,OAAO,GAAG;GACf,OAAO;EACT;EACA,MAAM,QAAQ,KAAKD,QAAQ,KAAKO;EAChC,IAAI,OAAO,SAAS,WAClB,OAAO;GACL,MAAM;GACN,OAAO,MAAM;GACb,aAAa,MAAM;EACrB;EAEF,IAAI,OAAO,SAAS,cAAc;GAChC,IAAI,KAAKP,QAAQ,KAAKO,YAAY,SAAS,KACzC,MAAM,IAAI,0BAA0B,sBAAsB;GAE5D,IAAI,KAAKP,QAAQ,KAAKO,YAAY,SAAS,KACzC,MAAM,IAAI,0BAA0B,oBAAoB;GAE1D,IAAI,MAAM,MAAM,YAAY,MAAM,WAChC,MAAM,IAAI,0BAA0B,6BAA6B;GAEnE,OAAO;IAAC,MAAM;IAAU,MAAM,MAAM;GAAK;EAC3C;EACA,MAAM,IAAI,0BAA0B,oBAAoB;CAC1D;CAEA,iBAAyB;EACvB,MAAM,QAAQ,KAAKI,kBAAkB;EACrC,MAAM,QAAQ,CAAC,KAAK;EACpB,IAAI,YAAY;EAChB,OAAO,KAAKR,MAAM,GAAG,GAAG,MAAM,KAAK,KAAKQ,kBAAkB,CAAC;EAC3D,MAAM,OAAO,KAAKX,QAAQ,KAAKO;EAC/B,IACE,MAAM,YAAY,MAAM,eACxB,MAAM,SAAS,gBACf,KAAK,MAAM,YAAY,MAAM,WAC7B;GACA,MAAM,KAAK,KAAKI,kBAAkB,CAAC;GACnC,YAAY;EACd;EACA,IAAI,KAAKX,QAAQ,KAAKO,YAAY,SAAS,KACzC,MAAM,IAAI,0BAA0B,kBAAkB;EAExD,OAAO,MAAM,KAAK,SAAS;CAC7B;CAEA,kBAAkB,UAA2B;EAC3C,MAAM,QAAQ,KAAKP,QAAQ,KAAKO;EAChC,IACE,OAAO,SAAS,gBACf,aAAa,KAAA,KAAa,MAAM,MAAM,YAAY,MAAM,UAEzD,MAAM,IAAI,0BAA0B,kBAAkB;EAExD,OAAO,MAAM;CACf;CAEA,gBAAgB,UAA2B;EACzC,MAAM,QAAQ,KAAKP,QAAQ,KAAKO;EAChC,IACE,OAAO,SAAS,gBAChB,MAAM,MAAM,YAAY,MAAM,UAE9B,OAAO;EAET,KAAKA;EACL,OAAO;CACT;CAEA,MAAM,MAA8B;EAClC,IAAI,KAAKP,QAAQ,KAAKO,YAAY,SAAS,MAAM,OAAO;EACxD,KAAKA;EACL,OAAO;CACT;CAEA,OAAO,MAA2B;EAChC,IAAI,CAAC,KAAKJ,MAAM,IAAI,GAClB,MAAM,IAAI,0BAA0B,oBAAoB;CAE5D;AACF;AAEA,IAAM,2BAA2B,IAAI,IAAI;CACvC;CACA;CACA;CACA;CACA;AACF,CAAC;AAED,SAAS,YAAY,MAAY,QAA+B;CAC9D,IAAI,OAAO,WAAW,GACpB,MAAM,IAAI,0BAA0B,oBAAoB;CAE1D,MAAM,cAAc,OAAO,KACzB,WAAU;EAAC,MAAM;EAAc;EAAM,IAAI;EAAK;CAAK,EACrD;CACA,OAAO,YAAY,WAAW,IAAI,YAAY,KAAK;EAAC,MAAM;EAAM;CAAW;AAC7E;AAEA,SAAS,UACP,YACA,OACgB;CAChB,QAAQ,WAAW,MAAnB;EACE,KAAK;EACL,KAAK,MAAM;GACT,MAAM,aAAa,WAAW,YAAY,KAAI,SAC5C,UAAU,MAAM,KAAK,CACvB;GACA,OAAO;IACL,MAAM,WAAW;IACjB,YAAY,WAAW,SAAQ,cAC7B,UAAU,SAAS,WAAW,OAC1B,UAAU,aACV,CAAC,SAAS,CAChB;GACF;EACF;EACA,KAAK,OAAO;GACV,MAAM,gBAAgB,yBACpB,WAAW,YACX,KACF;GACA,IAAI,eACF,OAAO,kBAAkB,eAAe,KAAK;GAE/C,OAAO;IAAC,MAAM;IAAO,WAAW,UAAU,WAAW,YAAY,KAAK;GAAC;EACzE;EACA,KAAK,UAAU;GACb,MAAM,SAAS,cAAc,YAAY,KAAK;GAC9C,IAAI,OAAO,aAAa,WACtB,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO,kBAAkB,OAAO,MAAM,IAAI;EAC5C;EACA,KAAK,QAAQ;GACX,MAAM,SAAS,qBAAqB,YAAY,KAAK;GACrD,IAAI,OAAO,aAAa,WACtB,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO,kBAAkB,OAAO,MAAM,IAAI;EAC5C;EACA,KAAK,aAEH,OAAO;GACL,MAAM;GACN,QAHa,sBAAsB,WAAW,YAAY,KAG1D;GACA,IAAI,WAAW,MAAM,gBAAgB;EACvC;EAEF,KAAK,cACH,OAAO,oBAAoB,YAAY,KAAK;EAC9C,KAAK,WACH,MAAM,IAAI,0BAA0B,oBAAoB;CAC5D;AACF;AAEA,SAAS,sBACP,YACA,OACQ;CACR,IAAI,WAAW,SAAS,QACtB,OAAO,qBAAqB,YAAY,KAAK,EAAE;CAEjD,IAAI,WAAW,SAAS,YAAY,CAAC,MAAM,QAAQ,WAAW,OAC5D,MAAM,IAAI,0BAA0B,oBAAoB;CAE1D,IAAI,WAAW,SAAS,UAAU,OAAO,WAAW;CACpD,MAAM,IAAI,0BAA0B,oBAAoB;AAC1D;AAEA,SAAS,yBACP,YACA,OACoB;CACpB,IAAI,WAAW,SAAS,YAAY,WAAW,SAAS,QACtD;CAEF,MAAM,SAAS,qBAAqB,YAAY,KAAK;CACrD,OAAO,OAAO,aAAa,YAAY,OAAO,OAAO,KAAA;AACvD;AAEA,SAAS,kBAAkB,QAAgB,OAAgC;CACzE,OAAO;EACL,MAAM;EACN;EACA,IAAI;EACJ,OAAO;GAAC,MAAM;GAAW;EAAK;CAChC;AACF;AAiBA,SAAS,oBACP,YACA,OACgB;CAChB,MAAM,SAAS,qBAAqB,WAAW,MAAM,KAAK;CAC1D,MAAM,KAAK,WAAW,OAAO,OAAO,OAAO,WAAW;CACtD,IAAI,OAAO,aAAa,aAAa,OAAO,OAAO,OAAO,MACxD,MAAM,IAAI,0BAA0B,sBAAsB;CAE5D,MAAM,QAAQ,eAAe,WAAW,OAAO,MAAM;CACrD,OAAO;EAAC,MAAM;EAAc,QAAQ,OAAO;EAAM;EAAI;CAAK;AAC5D;AAEA,SAAS,qBACP,YACA,OACgB;CAChB,IAAI,WAAW,SAAS,UAAU,OAAO,cAAc,YAAY,KAAK;CACxE,IAAI,WAAW,SAAS,QACtB,MAAM,IAAI,0BAA0B,oBAAoB;CAE1D,MAAM,SAAS,qBAAqB,WAAW,YAAY,KAAK;CAChE,MAAM,OAAO,kBAAkB,WAAW,IAAI;CAC9C,QAAQ,OAAO,UAAf;EACE,KAAK,WAAW;GACd,MAAM,OAAO,YAAY,IAAI;GAC7B,IAAI,SAAS,KAAA,KAAa,OAAO,OAAO,MACtC,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IAAC,GAAG;IAAQ;GAAI;EACzB;EACA,KAAK;GACH,IAAI,SAAS,UAAU,SAAS,WAC9B,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;EACT,KAAK;GACH,IAAI,SAAS,QACX,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;EACT,KAAK;GACH,IAAI,SAAS,QACX,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;EACT,KAAK;GACH,IAAI,aAAa,WAAW,IAAI,MAAM,OAAO,SAAS,YAAY,GAChE,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;CACX;AACF;AAEA,SAAS,cACP,YACA,OACgB;CAChB,MAAM,OAAO,MAAM,QAAQ,WAAW;CACtC,IAAI,CAAC,MAAM,MAAM,IAAI,0BAA0B,oBAAoB;CACnE,MAAM,WAAW,kBAAkB,KAAK,QAAQ;CAChD,IAAI,aAAa,QAAQ,OAAO;EAAC,UAAU;EAAW,MAAM,WAAW;CAAI;CAC3E,MAAM,OAAO,YAAY,QAAQ;CACjC,IAAI,SAAS,KAAA,GACX,OAAO;EAAC,UAAU;EAAW,MAAM,WAAW;EAAM;CAAI;CAE1D,IAAI,aAAa,UAAU,aAAa,WAAW;EACjD,IAAI,KAAK,6BAA6B,OACpC,MAAM,IAAI,0BAA0B,6BAA6B;EAEnE,OAAO;GAAC,UAAU;GAAQ,MAAM,WAAW;EAAI;CACjD;CACA,IAAI,aAAa,QAAQ,OAAO;EAAC,UAAU;EAAQ,MAAM,WAAW;CAAI;CACxE,IAAI,KAAK,gBAAgB,KACvB,OAAO;EACL,UAAU;EACV,MAAM,WAAW;EACjB,UAAU,KAAK,SAAS,YAAY;CACtC;CAEF,MAAM,IAAI,0BAA0B,kBAAkB;AACxD;AAEA,SAAS,eACP,YACA,QACqB;CACrB,IAAI,UAAU;CACd,IAAI;CACJ,OAAO,QAAQ,SAAS,QAAQ;EAC9B,OAAO,QAAQ;EACf,UAAU,QAAQ;CACpB;CACA,IAAI,QAAQ,SAAS,aAAa,QAAQ,UAAU,MAClD,MAAM,IAAI,0BAA0B,oBAAoB;CAG1D,QAAQ,OAAO,UAAf;EACE,KAAK;GACH,oBAAoB,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC;GAC3C,IAAI,QAAQ,gBAAgB,WAC1B,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IAAC,MAAM;IAAW,OAAO,QAAQ;GAAgB;EAE1D,KAAK;GACH,IAAI,SAAS,KAAA,GAAW;IACtB,MAAM,WAAW,YAAY,kBAAkB,IAAI,CAAC;IACpD,IAAI,aAAa,KAAA,KAAa,WAAW,OAAO,MAC9C,MAAM,IAAI,0BAA0B,kBAAkB;GAE1D;GACA,IACE,QAAQ,gBAAgB,aACxB,EAAE,QAAQ,gBAAgB,YAAY,SAAS,KAAA,IAE/C,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IACL,MAAM;IACN,OAAO,iBAAiB,OAAO,QAAQ,KAAK,GAAG,OAAO,IAAI;GAC5D;EAEF,KAAK;GACH,oBAAoB,MAAM,IAAI,IAAI,CAAC,QAAQ,SAAS,CAAC,CAAC;GACtD,IAAI,QAAQ,gBAAgB,UAC1B,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IAAC,MAAM;IAAU,OAAO,OAAO,QAAQ,KAAK;GAAC;EACtD,KAAK;GACH,IACE,SAAS,KAAA,KACT,aAAa,IAAI,MAAM,OAAO,SAAS,YAAY,GAEnD,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,IAAI,QAAQ,gBAAgB,UAC1B,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IAAC,MAAM;IAAU,OAAO,OAAO,QAAQ,KAAK;GAAC;EACtD,KAAK,QAAQ;GACX,oBAAoB,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC;GAC3C,MAAM,QAAQ,OAAO,QAAQ,KAAK,EAAE,YAAY;GAChD,IAAI,QAAQ,gBAAgB,YAAY,CAAC,QAAQ,KAAK,KAAK,GACzD,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IAAC,MAAM;IAAU;GAAK;EAC/B;CACF;AACF;AAEA,SAAS,oBACP,MACA,SACM;CACN,IAAI,SAAS,KAAA,KAAa,CAAC,QAAQ,IAAI,kBAAkB,IAAI,CAAC,GAC5D,MAAM,IAAI,0BAA0B,kBAAkB;AAE1D;AAEA,SAAS,iBAAiB,OAAe,MAAyB;CAChE,IAAI,CAAC,WAAW,KAAK,KAAK,GACxB,MAAM,IAAI,0BAA0B,kBAAkB;CAExD,IAAI;CACJ,IAAI;EACF,UAAU,OAAO,KAAK;CACxB,QAAQ;EACN,MAAM,IAAI,0BAA0B,kBAAkB;CACxD;CACA,MAAM,SAAS;EACb,CAAC,CAAC,QAAQ,MAAM;EAChB,CAAC,CAAC,aAAa,WAAW;EAC1B,CAAC,CAAC,sBAAsB,oBAAoB;CAC9C;CACA,IAAI,UAAU,OAAO,MAAM,MAAM,UAAU,OAAO,MAAM,IACtD,MAAM,IAAI,0BAA0B,kBAAkB;CAExD,OAAO,QAAQ,SAAS;AAC1B;AAEA,SAAS,kBAAkB,MAAsB;CAC/C,MAAM,OAAO,aAAa,IAAI,EAAE,QAAQ,QAAQ,GAAG;CACnD,QAAQ,MAAR;EACE,KAAK,WACH,OAAO;EACT,KAAK,YACH,OAAO;EACT,KAAK,WACH,OAAO;EACT,KAAK,UACH,OAAO;EACT,KAAK,qBACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAEA,SAAS,aAAa,MAAsB;CAC1C,OAAO,KAAK,MAAM,GAAG,EAAE,GAAG,EAAE,GAAG,YAAY,KAAK;AAClD;AAEA,SAAS,YAAY,MAAqC;CACxD,QAAQ,MAAR;EACE,KAAK,QACH,OAAO;EACT,KAAK,QACH,OAAO;EACT,KAAK,QACH,OAAO;EACT,SACE;CACJ;AACF;AAEA,SAAS,aACP,MACqD;CACrD,OACE,SAAS,OACT,SAAS,QACT,SAAS,QACT,SAAS,OACT,SAAS,QACT,SAAS,OACT,SAAS;AAEb;AAEA,SAAS,SAAS,KAA+B;CAC/C,MAAM,SAAkB,CAAC;CACzB,KAAK,IAAI,IAAI,GAAG,IAAI,IAAI,SAAS;EAC/B,MAAM,OAAO,IAAI;EACjB,IAAI,cAAc,KAAK,IAAI,GAAG;GAC5B;GACA;EACF;EACA,IAAI,SAAS,MAAK;GAChB,MAAM,SAAS,WAAW,KAAK,GAAG,MAAK,KAAK;GAC5C,OAAO,KAAK;IAAC,MAAM;IAAc,OAAO,OAAO;GAAK,CAAC;GACrD,IAAI,OAAO;GACX;EACF;EACA,MAAM,gBAAgB,SAAS,OAAO,SAAS,QAAQ,IAAI,IAAI,OAAO;EACtE,IAAI,SAAS,OAAO,cAAc;GAChC,MAAM,SAAS,WACb,KACA,KAAK,eAAe,IAAI,IACxB,KACA,YACF;GACA,OAAO,KAAK;IACV,MAAM;IACN,aAAa;IACb,OAAO,OAAO;GAChB,CAAC;GACD,IAAI,OAAO;GACX;EACF;EACA,MAAM,WAAW,kBAAkB,KAAK,IAAI,MAAM,CAAC,CAAC,IAAI;EACxD,IAAI,UAAU;GACZ,OAAO,KAAK,EACV,MAAM,SACR,CAAC;GACD,KAAK,SAAS;GACd;EACF;EACA,MAAM,sBAAsB,8BAA8B,KACxD,IAAI,MAAM,CAAC,CACb,IAAI;EACJ,IAAI,qBAAqB;GACvB,OAAO,KAAK;IAAC,MAAM;IAAe,OAAO;GAAmB,CAAC;GAC7D,KAAK,oBAAoB;GACzB;EACF;EACA,IACE,SAAS,OACT,SAAS,OACT,SAAS,OACT,SAAS,OACT,SAAS,OACT,SAAS,KACT;GACA,OAAO,KAAK,EAAC,MAAM,KAAI,CAAC;GACxB;GACA;EACF;EACA,MAAM,UAAU,iBAAiB,KAAK,IAAI,MAAM,CAAC,CAAC,IAAI;EACtD,IAAI,SAAS;GACX,OAAO,KAAK;IAAC,MAAM;IAAW,aAAa;IAAW,OAAO;GAAO,CAAC;GACrE,KAAK,QAAQ;GACb;EACF;EACA,MAAM,OAAO,cAAc,KAAK,IAAI,MAAM,CAAC,CAAC,IAAI;EAChD,IAAI,MAAM;GACR,MAAM,UAAU,KAAK,YAAY;GACjC,IAAI,yBAAyB,IAAI,OAAO,GACtC,MAAM,IAAI,0BAA0B,sBAAsB;GAE5D,IAAI,YAAY,UAAU,YAAY,SACpC,OAAO,KAAK;IACV,MAAM;IACN,aAAa;IACb,OAAO,YAAY;GACrB,CAAC;QACI,IAAI,YAAY,QACrB,OAAO,KAAK;IAAC,MAAM;IAAW,aAAa;IAAQ,OAAO;GAAI,CAAC;QAC1D,IACL,YAAY,SACZ,YAAY,QACZ,YAAY,SACZ,YAAY,QACZ,YAAY,MAEZ,OAAO,KAAK,EAAC,MAAM,QAAO,CAAC;QAE3B,OAAO,KAAK;IAAC,MAAM;IAAc,OAAO,KAAK,YAAY;GAAC,CAAC;GAE7D,KAAK,KAAK;GACV;EACF;EACA,OAAO,KAAK;GAAC,MAAM;GAAe,OAAO;EAAI,CAAC;EAC9C;CACF;CACA,OAAO,KAAK,EAAC,MAAM,MAAK,CAAC;CACzB,OAAO;AACT;AAEA,SAAS,WACP,KACA,OACA,OACA,SACgD;CAChD,IAAI,QAAQ;CACZ,KAAK,IAAI,IAAI,QAAQ,GAAG,IAAI,IAAI,QAAQ,KAAK;EAC3C,MAAM,OAAO,IAAI;EACjB,IAAI,SAAS,OACX,IAAI,IAAI,IAAI,OAAO,OAAO;GACxB,SAAS;GACT;EACF,OACE,OAAO;GAAC;GAAO,KAAK,IAAI;EAAC;OAEtB,IAAI,WAAW,SAAS,MAAM;GACnC,MAAM,SAAS,IAAI,EAAE;GACrB,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,0BAA0B,oBAAoB;GAE1D,IAAI,WAAW,KAAK;IAClB,MAAM,MAAM,iBAAiB,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC;IACjD,SAAS,OAAO,aAAa,IAAI,KAAK;IACtC,IAAI,IAAI,MAAM;GAChB,OAAO,IAAI,WAAW,OAAO,WAAW,KAAK;IAC3C,MAAM,MAAM,iBAAiB,KAAK,IAAI,GAAG,WAAW,MAAM,IAAI,GAAG,EAAE;IACnE,IAAI;KACF,SAAS,OAAO,cAAc,IAAI,KAAK;IACzC,QAAQ;KACN,MAAM,IAAI,0BAA0B,oBAAoB;IAC1D;IACA,IAAI,IAAI,MAAM;GAChB,OAAO,IAAI,UAAU,OAAO,UAAU,KAAK;IACzC,IAAI,QAAQ;IACZ,OACE,MAAM,SAAS,KACf,IAAI,IAAI,OAAO,KAAA,KACf,IAAI,IAAI,MAAM,OACd,IAAI,IAAI,MAAM,KAEd,SAAS,IAAI,EAAE;IAEjB,SAAS,OAAO,aAAa,OAAO,SAAS,OAAO,CAAC,CAAC;GACxD,OAAO,IAAI,WAAW,MAAM,CAE5B,OAAO,IAAI,WAAW,QAAQ,IAAI,IAAI,OAAO,MAC3C;QAEA,SAAS,eAAe,WAAW;EAEvC,OACE,SAAS;CAEb;CACA,MAAM,IAAI,0BAA0B,oBAAoB;AAC1D;AAEA,SAAS,iBACP,KACA,OACA,QACA,OACA,YAAY,QACoC;CAChD,IAAI,MAAM;CACV,OAAO,MAAM,QAAQ,QAAQ;EAC3B,MAAM,QAAQ,IAAI;EAClB,IACE,UAAU,KAAA,KACV,EACG,SAAS,OAAO,SAAS,OACzB,MAAM,YAAY,KAAK,OAAO,MAAM,YAAY,KAAK,MAGxD;EAEF;CACF;CACA,MAAM,SAAS,IAAI,MAAM,OAAO,GAAG;CACnC,IAAI,OAAO,SAAS,WAClB,MAAM,IAAI,0BAA0B,oBAAoB;CAE1D,OAAO;EAAC,OAAO,OAAO,SAAS,QAAQ,KAAK;EAAG;CAAG;AACpD"}
+{"version":3,"file":"index-predicate.js","names":[],"sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/index-predicate.ts"],"sourcesContent":["import * as PostgresTypeClass from '../../../../db/postgres-type-class-enum.ts';\nimport type {\n  IndexPredicate,\n  IndexPredicateValue,\n  PublishedTableSpec,\n} from '../../../../db/specs.ts';\n\nconst UUID_RE =\n  /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/;\nconst INTEGER_RE = /^[+-]?\\d+$/;\nconst WHITESPACE_RE = /\\s/;\nconst OPERATOR_TOKEN_RE = /^(?:::|<>|!=|<=|>=|=|<|>)/;\nconst UNSUPPORTED_OPERATOR_TOKEN_RE = /^(?:!~\\*|!~|~\\*|~)/;\nconst INTEGER_TOKEN_RE = /^[+-]?\\d+/;\nconst WORD_TOKEN_RE = /^[A-Za-z_][A-Za-z0-9_$]*/;\nconst SIMPLE_ESCAPES: Readonly<Record<string, string>> = {\n  b: '\\b',\n  f: '\\f',\n  n: '\\n',\n  r: '\\r',\n  t: '\\t',\n  v: '\\v',\n};\n\nexport const unsupportedPredicateReasons = [\n  'unpublished-column',\n  'unsupported-type',\n  'unsupported-operator',\n  'unsupported-function',\n  'unsupported-cast',\n  'unsupported-syntax',\n  'non-deterministic-collation',\n] as const;\n\nexport type UnsupportedPredicateReason =\n  (typeof unsupportedPredicateReasons)[number];\n\nexport type PredicateTranslation =\n  | {readonly supported: true; readonly predicate: IndexPredicate}\n  | {readonly supported: false; readonly reason: UnsupportedPredicateReason};\n\ntype PredicateColumnSpec = PublishedTableSpec['columns'][string] & {\n  readonly collationIsDeterministic?: boolean | null | undefined;\n};\n\ntype PredicateTableSpec = Omit<PublishedTableSpec, 'columns'> & {\n  readonly columns: Readonly<Record<string, PredicateColumnSpec>>;\n};\n\ntype Expr =\n  | {readonly type: 'column'; readonly name: string}\n  | {\n      readonly type: 'literal';\n      readonly value: boolean | string | null;\n      readonly literalType: 'boolean' | 'integer' | 'string' | 'null';\n    }\n  | {readonly type: 'cast'; readonly expression: Expr; readonly cast: string}\n  | {readonly type: 'not'; readonly expression: Expr}\n  | {\n      readonly type: 'and' | 'or';\n      readonly expressions: readonly Expr[];\n    }\n  | {\n      readonly type: 'comparison';\n      readonly left: Expr;\n      readonly op: '=' | '<>' | '!=' | '<' | '<=' | '>' | '>=';\n      readonly right: Expr;\n    }\n  | {\n      readonly type: 'null-test';\n      readonly expression: Expr;\n      readonly not: boolean;\n    };\n\ntype Token =\n  | {readonly type: 'identifier'; readonly value: string}\n  | {\n      readonly type: 'literal';\n      readonly value: boolean | string | null;\n      readonly literalType: 'boolean' | 'integer' | 'string' | 'null';\n    }\n  | {\n      readonly type:\n        | '('\n        | ')'\n        | '['\n        | ']'\n        | ','\n        | '.'\n        | '::'\n        | '='\n        | '<>'\n        | '!='\n        | '<'\n        | '<='\n        | '>'\n        | '>='\n        | 'AND'\n        | 'OR'\n        | 'NOT'\n        | 'IN'\n        | 'IS'\n        | 'EOF';\n    }\n  | {readonly type: 'unsupported'; readonly value: string};\n\nclass UnsupportedPredicateError extends Error {\n  readonly reason: UnsupportedPredicateReason;\n\n  constructor(reason: UnsupportedPredicateReason) {\n    super(reason);\n    this.reason = reason;\n  }\n}\n\nexport function translatePostgresIndexPredicate(\n  sql: string,\n  table: PredicateTableSpec,\n): PredicateTranslation {\n  try {\n    const parser = new Parser(tokenize(sql));\n    const expression = parser.parse();\n    parser.expect('EOF');\n    return {supported: true, predicate: normalize(expression, table)};\n  } catch (error) {\n    return {\n      supported: false,\n      reason:\n        error instanceof UnsupportedPredicateError\n          ? error.reason\n          : 'unsupported-syntax',\n    };\n  }\n}\n\nclass Parser {\n  readonly #tokens: readonly Token[];\n  #position = 0;\n\n  constructor(tokens: readonly Token[]) {\n    this.#tokens = tokens;\n  }\n\n  parse(): Expr {\n    return this.#parseOr();\n  }\n\n  #parseOr(): Expr {\n    const expressions = [this.#parseAnd()];\n    while (this.#take('OR')) expressions.push(this.#parseAnd());\n    return expressions.length === 1\n      ? expressions[0]\n      : {type: 'or', expressions};\n  }\n\n  #parseAnd(): Expr {\n    const expressions = [this.#parseNot()];\n    while (this.#take('AND')) expressions.push(this.#parseNot());\n    return expressions.length === 1\n      ? expressions[0]\n      : {type: 'and', expressions};\n  }\n\n  #parseNot(): Expr {\n    if (this.#take('NOT')) {\n      return {type: 'not', expression: this.#parseNot()};\n    }\n    return this.#parseComparison();\n  }\n\n  #parseComparison(): Expr {\n    const left = this.#parseOperand();\n    if (this.#take('IS')) {\n      const not = this.#take('NOT');\n      const token = this.#tokens[this.#position++];\n      if (token?.type !== 'literal' || token.literalType !== 'null') {\n        throw new UnsupportedPredicateError('unsupported-operator');\n      }\n      return {type: 'null-test', expression: left, not};\n    }\n    if (this.#take('IN')) {\n      this.expect('(');\n      const values = this.#parseOperandList(')');\n      this.expect(')');\n      return comparisons(left, values);\n    }\n    const op = this.#tokens[this.#position]?.type;\n    if (isComparison(op)) {\n      this.#position++;\n      if (op === '=' && this.#takeIdentifier('ANY')) {\n        return comparisons(left, this.#parseLiteralArray());\n      }\n      return {\n        type: 'comparison',\n        left,\n        op,\n        right: this.#parseOperand(),\n      };\n    }\n    const next = this.#tokens[this.#position];\n    if (next?.type === 'identifier' && next.value.toUpperCase() === 'COLLATE') {\n      throw new UnsupportedPredicateError('non-deterministic-collation');\n    }\n    if (\n      next?.type === 'unsupported' &&\n      UNSUPPORTED_OPERATOR_TOKEN_RE.test(next.value)\n    ) {\n      throw new UnsupportedPredicateError('unsupported-operator');\n    }\n    if (\n      next?.type === 'identifier' &&\n      unsupportedOperatorWords.has(next.value.toUpperCase())\n    ) {\n      throw new UnsupportedPredicateError('unsupported-operator');\n    }\n    return left;\n  }\n\n  #parseLiteralArray(): readonly Expr[] {\n    this.expect('(');\n    this.#expectIdentifier('ARRAY');\n    this.expect('[');\n    const values = this.#parseOperandList(']');\n    this.expect(']');\n    if (this.#take('::')) {\n      this.#parseCastName();\n      this.expect('[');\n      this.expect(']');\n    }\n    this.expect(')');\n    return values;\n  }\n\n  #parseOperandList(end: ')' | ']'): readonly Expr[] {\n    const values: Expr[] = [];\n    if (this.#tokens[this.#position]?.type === end) return values;\n    values.push(this.#parseOperand());\n    while (this.#take(',')) values.push(this.#parseOperand());\n    return values;\n  }\n\n  #parseOperand(): Expr {\n    let expression = this.#parsePrimary();\n    while (this.#take('::')) {\n      expression = {\n        type: 'cast',\n        expression,\n        cast: this.#parseCastName(),\n      };\n    }\n    return expression;\n  }\n\n  #parsePrimary(): Expr {\n    if (this.#take('(')) {\n      const expression = this.#parseOr();\n      this.expect(')');\n      return expression;\n    }\n    const token = this.#tokens[this.#position++];\n    if (token?.type === 'literal') {\n      return {\n        type: 'literal',\n        value: token.value,\n        literalType: token.literalType,\n      };\n    }\n    if (token?.type === 'identifier') {\n      if (this.#tokens[this.#position]?.type === '(') {\n        throw new UnsupportedPredicateError('unsupported-function');\n      }\n      if (this.#tokens[this.#position]?.type === '.') {\n        throw new UnsupportedPredicateError('unsupported-syntax');\n      }\n      if (token.value.toUpperCase() === 'COLLATE') {\n        throw new UnsupportedPredicateError('non-deterministic-collation');\n      }\n      return {type: 'column', name: token.value};\n    }\n    throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n\n  #parseCastName(): string {\n    const first = this.#expectIdentifier();\n    const parts = [first];\n    let separator = '.';\n    while (this.#take('.')) parts.push(this.#expectIdentifier());\n    const next = this.#tokens[this.#position];\n    if (\n      first.toLowerCase() === 'character' &&\n      next?.type === 'identifier' &&\n      next.value.toLowerCase() === 'varying'\n    ) {\n      parts.push(this.#expectIdentifier());\n      separator = ' ';\n    }\n    if (this.#tokens[this.#position]?.type === '(') {\n      throw new UnsupportedPredicateError('unsupported-cast');\n    }\n    return parts.join(separator);\n  }\n\n  #expectIdentifier(expected?: string): string {\n    const token = this.#tokens[this.#position++];\n    if (\n      token?.type !== 'identifier' ||\n      (expected !== undefined && token.value.toUpperCase() !== expected)\n    ) {\n      throw new UnsupportedPredicateError('unsupported-cast');\n    }\n    return token.value;\n  }\n\n  #takeIdentifier(expected: string): boolean {\n    const token = this.#tokens[this.#position];\n    if (\n      token?.type !== 'identifier' ||\n      token.value.toUpperCase() !== expected\n    ) {\n      return false;\n    }\n    this.#position++;\n    return true;\n  }\n\n  #take(type: Token['type']): boolean {\n    if (this.#tokens[this.#position]?.type !== type) return false;\n    this.#position++;\n    return true;\n  }\n\n  expect(type: Token['type']): void {\n    if (!this.#take(type)) {\n      throw new UnsupportedPredicateError('unsupported-syntax');\n    }\n  }\n}\n\nconst unsupportedOperatorWords = new Set([\n  'ALL',\n  'BETWEEN',\n  'ILIKE',\n  'LIKE',\n  'SIMILAR',\n]);\n\nfunction comparisons(left: Expr, values: readonly Expr[]): Expr {\n  if (values.length === 0) {\n    throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n  const expressions = values.map(\n    right => ({type: 'comparison', left, op: '=', right}) as const,\n  );\n  return expressions.length === 1 ? expressions[0] : {type: 'or', expressions};\n}\n\nfunction normalize(\n  expression: Expr,\n  table: PredicateTableSpec,\n): IndexPredicate {\n  switch (expression.type) {\n    case 'and':\n    case 'or': {\n      const conditions = expression.expressions.map(expr =>\n        normalize(expr, table),\n      );\n      return {\n        type: expression.type,\n        conditions: conditions.flatMap(condition =>\n          condition.type === expression.type\n            ? condition.conditions\n            : [condition],\n        ),\n      };\n    }\n    case 'not': {\n      const booleanColumn = resolveBareBooleanColumn(\n        expression.expression,\n        table,\n      );\n      if (booleanColumn) {\n        return booleanComparison(booleanColumn, false);\n      }\n      return {type: 'not', condition: normalize(expression.expression, table)};\n    }\n    case 'column': {\n      const column = resolveColumn(expression, table);\n      if (column.category !== 'boolean') {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return booleanComparison(column.name, true);\n    }\n    case 'cast': {\n      const column = resolveColumnOperand(expression, table);\n      if (column.category !== 'boolean') {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return booleanComparison(column.name, true);\n    }\n    case 'null-test': {\n      const column = resolveNullTestColumn(expression.expression, table);\n      return {\n        type: 'null-test',\n        column,\n        op: expression.not ? 'IS NOT NULL' : 'IS NULL',\n      };\n    }\n    case 'comparison':\n      return normalizeComparison(expression, table);\n    case 'literal':\n      throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n}\n\nfunction resolveNullTestColumn(\n  expression: Expr,\n  table: PredicateTableSpec,\n): string {\n  if (expression.type === 'cast') {\n    return resolveColumnOperand(expression, table).name;\n  }\n  if (expression.type === 'column' && !table.columns[expression.name]) {\n    throw new UnsupportedPredicateError('unpublished-column');\n  }\n  if (expression.type === 'column') return expression.name;\n  throw new UnsupportedPredicateError('unsupported-syntax');\n}\n\nfunction resolveBareBooleanColumn(\n  expression: Expr,\n  table: PredicateTableSpec,\n): string | undefined {\n  if (expression.type !== 'column' && expression.type !== 'cast') {\n    return undefined;\n  }\n  const column = resolveColumnOperand(expression, table);\n  return column.category === 'boolean' ? column.name : undefined;\n}\n\nfunction booleanComparison(column: string, value: boolean): IndexPredicate {\n  return {\n    type: 'comparison',\n    column,\n    op: '=',\n    value: {type: 'boolean', value},\n  };\n}\n\ntype ColumnCategory =\n  | {readonly category: 'boolean'; readonly name: string}\n  | {\n      readonly category: 'integer';\n      readonly name: string;\n      readonly rank: 0 | 1 | 2;\n    }\n  | {readonly category: 'text'; readonly name: string}\n  | {\n      readonly category: 'enum';\n      readonly name: string;\n      readonly enumName: string;\n    }\n  | {readonly category: 'uuid'; readonly name: string};\n\nfunction normalizeComparison(\n  expression: Extract<Expr, {type: 'comparison'}>,\n  table: PredicateTableSpec,\n): IndexPredicate {\n  const column = resolveColumnOperand(expression.left, table);\n  const op = expression.op === '!=' ? '<>' : expression.op;\n  if (column.category !== 'integer' && op !== '=' && op !== '<>') {\n    throw new UnsupportedPredicateError('unsupported-operator');\n  }\n  const value = resolveLiteral(expression.right, column);\n  return {type: 'comparison', column: column.name, op, value};\n}\n\nfunction resolveColumnOperand(\n  expression: Expr,\n  table: PredicateTableSpec,\n): ColumnCategory {\n  if (expression.type === 'column') return resolveColumn(expression, table);\n  if (expression.type !== 'cast') {\n    throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n  const column = resolveColumnOperand(expression.expression, table);\n  const cast = canonicalTypeName(expression.cast);\n  switch (column.category) {\n    case 'integer': {\n      const rank = integerRank(cast);\n      if (rank === undefined || rank < column.rank) {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      return {...column, rank};\n    }\n    case 'text':\n      if (cast !== 'text' && cast !== 'varchar') {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      return column;\n    case 'boolean':\n      if (cast !== 'bool') {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      return column;\n    case 'uuid':\n      if (cast !== 'uuid') {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      return column;\n    case 'enum':\n      if (lastTypeName(expression.cast) !== column.enumName.toLowerCase()) {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      return column;\n  }\n}\n\nfunction resolveColumn(\n  expression: Extract<Expr, {type: 'column'}>,\n  table: PredicateTableSpec,\n): ColumnCategory {\n  const spec = table.columns[expression.name];\n  if (!spec) throw new UnsupportedPredicateError('unpublished-column');\n  const dataType = canonicalTypeName(spec.dataType);\n  if (dataType === 'bool') return {category: 'boolean', name: expression.name};\n  const rank = integerRank(dataType);\n  if (rank !== undefined) {\n    return {category: 'integer', name: expression.name, rank};\n  }\n  if (dataType === 'text' || dataType === 'varchar') {\n    if (spec.collationIsDeterministic === false) {\n      throw new UnsupportedPredicateError('non-deterministic-collation');\n    }\n    return {category: 'text', name: expression.name};\n  }\n  if (dataType === 'uuid') return {category: 'uuid', name: expression.name};\n  if (spec.pgTypeClass === PostgresTypeClass.Enum) {\n    return {\n      category: 'enum',\n      name: expression.name,\n      enumName: spec.dataType.toLowerCase(),\n    };\n  }\n  throw new UnsupportedPredicateError('unsupported-type');\n}\n\nfunction resolveLiteral(\n  expression: Expr,\n  column: ColumnCategory,\n): IndexPredicateValue {\n  let literal = expression;\n  let cast: string | undefined;\n  while (literal.type === 'cast') {\n    cast = literal.cast;\n    literal = literal.expression;\n  }\n  if (literal.type !== 'literal' || literal.value === null) {\n    throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n\n  switch (column.category) {\n    case 'boolean': {\n      validateLiteralCast(cast, new Set(['bool']));\n      if (literal.literalType !== 'boolean') {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return {type: 'boolean', value: literal.value as boolean};\n    }\n    case 'integer': {\n      if (cast !== undefined) {\n        const castRank = integerRank(canonicalTypeName(cast));\n        if (castRank === undefined || castRank > column.rank) {\n          throw new UnsupportedPredicateError('unsupported-cast');\n        }\n      }\n      if (\n        literal.literalType !== 'integer' &&\n        !(literal.literalType === 'string' && cast !== undefined)\n      ) {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return {\n        type: 'integer',\n        value: canonicalInteger(String(literal.value), column.rank),\n      };\n    }\n    case 'text':\n      validateLiteralCast(cast, new Set(['text', 'varchar']));\n      if (literal.literalType !== 'string') {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return {type: 'string', value: String(literal.value)};\n    case 'enum':\n      if (\n        cast !== undefined &&\n        lastTypeName(cast) !== column.enumName.toLowerCase()\n      ) {\n        throw new UnsupportedPredicateError('unsupported-cast');\n      }\n      if (literal.literalType !== 'string') {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return {type: 'string', value: String(literal.value)};\n    case 'uuid': {\n      validateLiteralCast(cast, new Set(['uuid']));\n      const value = String(literal.value).toLowerCase();\n      if (literal.literalType !== 'string' || !UUID_RE.test(value)) {\n        throw new UnsupportedPredicateError('unsupported-type');\n      }\n      return {type: 'string', value};\n    }\n  }\n}\n\nfunction validateLiteralCast(\n  cast: string | undefined,\n  allowed: ReadonlySet<string>,\n): void {\n  if (cast !== undefined && !allowed.has(canonicalTypeName(cast))) {\n    throw new UnsupportedPredicateError('unsupported-cast');\n  }\n}\n\nfunction canonicalInteger(value: string, rank: 0 | 1 | 2): string {\n  if (!INTEGER_RE.test(value)) {\n    throw new UnsupportedPredicateError('unsupported-type');\n  }\n  let integer: bigint;\n  try {\n    integer = BigInt(value);\n  } catch {\n    throw new UnsupportedPredicateError('unsupported-type');\n  }\n  const bounds = [\n    [-32768n, 32767n],\n    [-2147483648n, 2147483647n],\n    [-9223372036854775808n, 9223372036854775807n],\n  ] as const;\n  if (integer < bounds[rank][0] || integer > bounds[rank][1]) {\n    throw new UnsupportedPredicateError('unsupported-type');\n  }\n  return integer.toString();\n}\n\nfunction canonicalTypeName(type: string): string {\n  const name = lastTypeName(type).replace(/\\s+/g, ' ');\n  switch (name) {\n    case 'boolean':\n      return 'bool';\n    case 'smallint':\n      return 'int2';\n    case 'integer':\n      return 'int4';\n    case 'bigint':\n      return 'int8';\n    case 'character varying':\n      return 'varchar';\n    default:\n      return name;\n  }\n}\n\nfunction lastTypeName(type: string): string {\n  return type.split('.').at(-1)?.toLowerCase() ?? '';\n}\n\nfunction integerRank(type: string): 0 | 1 | 2 | undefined {\n  switch (type) {\n    case 'int2':\n      return 0;\n    case 'int4':\n      return 1;\n    case 'int8':\n      return 2;\n    default:\n      return undefined;\n  }\n}\n\nfunction isComparison(\n  type: Token['type'] | undefined,\n): type is '=' | '<>' | '!=' | '<' | '<=' | '>' | '>=' {\n  return (\n    type === '=' ||\n    type === '<>' ||\n    type === '!=' ||\n    type === '<' ||\n    type === '<=' ||\n    type === '>' ||\n    type === '>='\n  );\n}\n\nfunction tokenize(sql: string): readonly Token[] {\n  const tokens: Token[] = [];\n  for (let i = 0; i < sql.length;) {\n    const char = sql[i];\n    if (WHITESPACE_RE.test(char)) {\n      i++;\n      continue;\n    }\n    if (char === '\"') {\n      const result = readQuoted(sql, i, '\"', false);\n      tokens.push({type: 'identifier', value: result.value});\n      i = result.end;\n      continue;\n    }\n    const escapeString = (char === 'E' || char === 'e') && sql[i + 1] === \"'\";\n    if (char === \"'\" || escapeString) {\n      const result = readQuoted(\n        sql,\n        i + (escapeString ? 1 : 0),\n        \"'\",\n        escapeString,\n      );\n      tokens.push({\n        type: 'literal',\n        literalType: 'string',\n        value: result.value,\n      });\n      i = result.end;\n      continue;\n    }\n    const operator = OPERATOR_TOKEN_RE.exec(sql.slice(i))?.[0];\n    if (operator) {\n      tokens.push({\n        type: operator as '::' | '=' | '<>' | '!=' | '<' | '<=' | '>' | '>=',\n      });\n      i += operator.length;\n      continue;\n    }\n    const unsupportedOperator = UNSUPPORTED_OPERATOR_TOKEN_RE.exec(\n      sql.slice(i),\n    )?.[0];\n    if (unsupportedOperator) {\n      tokens.push({type: 'unsupported', value: unsupportedOperator});\n      i += unsupportedOperator.length;\n      continue;\n    }\n    if (\n      char === '(' ||\n      char === ')' ||\n      char === '[' ||\n      char === ']' ||\n      char === ',' ||\n      char === '.'\n    ) {\n      tokens.push({type: char});\n      i++;\n      continue;\n    }\n    const integer = INTEGER_TOKEN_RE.exec(sql.slice(i))?.[0];\n    if (integer) {\n      tokens.push({type: 'literal', literalType: 'integer', value: integer});\n      i += integer.length;\n      continue;\n    }\n    const word = WORD_TOKEN_RE.exec(sql.slice(i))?.[0];\n    if (word) {\n      const keyword = word.toUpperCase();\n      if (unsupportedOperatorWords.has(keyword)) {\n        throw new UnsupportedPredicateError('unsupported-operator');\n      }\n      if (keyword === 'TRUE' || keyword === 'FALSE') {\n        tokens.push({\n          type: 'literal',\n          literalType: 'boolean',\n          value: keyword === 'TRUE',\n        });\n      } else if (keyword === 'NULL') {\n        tokens.push({type: 'literal', literalType: 'null', value: null});\n      } else if (\n        keyword === 'AND' ||\n        keyword === 'OR' ||\n        keyword === 'NOT' ||\n        keyword === 'IN' ||\n        keyword === 'IS'\n      ) {\n        tokens.push({type: keyword});\n      } else {\n        tokens.push({type: 'identifier', value: word.toLowerCase()});\n      }\n      i += word.length;\n      continue;\n    }\n    tokens.push({type: 'unsupported', value: char});\n    i++;\n  }\n  tokens.push({type: 'EOF'});\n  return tokens;\n}\n\nfunction readQuoted(\n  sql: string,\n  start: number,\n  quote: '\"' | \"'\",\n  escapes: boolean,\n): {readonly value: string; readonly end: number} {\n  let value = '';\n  for (let i = start + 1; i < sql.length; i++) {\n    const char = sql[i];\n    if (char === quote) {\n      if (sql[i + 1] === quote) {\n        value += quote;\n        i++;\n      } else {\n        return {value, end: i + 1};\n      }\n    } else if (escapes && char === '\\\\') {\n      const escape = sql[++i];\n      if (escape === undefined) {\n        throw new UnsupportedPredicateError('unsupported-syntax');\n      }\n      if (escape === 'x') {\n        const hex = readEscapeDigits(sql, i + 1, 2, 16, 1);\n        value += String.fromCharCode(hex.value);\n        i = hex.end - 1;\n      } else if (escape === 'u' || escape === 'U') {\n        const hex = readEscapeDigits(sql, i + 1, escape === 'u' ? 4 : 8, 16);\n        try {\n          value += String.fromCodePoint(hex.value);\n        } catch {\n          throw new UnsupportedPredicateError('unsupported-syntax');\n        }\n        i = hex.end - 1;\n      } else if (escape >= '0' && escape <= '7') {\n        let octal = escape;\n        while (\n          octal.length < 3 &&\n          sql[i + 1] !== undefined &&\n          sql[i + 1] >= '0' &&\n          sql[i + 1] <= '7'\n        ) {\n          octal += sql[++i];\n        }\n        value += String.fromCharCode(Number.parseInt(octal, 8));\n      } else if (escape === '\\n') {\n        // A backslash-newline pair is a line continuation.\n      } else if (escape === '\\r' && sql[i + 1] === '\\n') {\n        i++;\n      } else {\n        value += SIMPLE_ESCAPES[escape] ?? escape;\n      }\n    } else {\n      value += char;\n    }\n  }\n  throw new UnsupportedPredicateError('unsupported-syntax');\n}\n\nfunction readEscapeDigits(\n  sql: string,\n  start: number,\n  length: number,\n  radix: 16,\n  minLength = length,\n): {readonly value: number; readonly end: number} {\n  let end = start;\n  while (end < start + length) {\n    const digit = sql[end];\n    if (\n      digit === undefined ||\n      !(\n        (digit >= '0' && digit <= '9') ||\n        (digit.toLowerCase() >= 'a' && digit.toLowerCase() <= 'f')\n      )\n    ) {\n      break;\n    }\n    end++;\n  }\n  const digits = sql.slice(start, end);\n  if (digits.length < minLength) {\n    throw new UnsupportedPredicateError('unsupported-syntax');\n  }\n  return {value: Number.parseInt(digits, radix), end};\n}\n"],"mappings":";AAOA,IAAM,UACJ;AACF,IAAM,aAAa;AACnB,IAAM,gBAAgB;AACtB,IAAM,oBAAoB;AAC1B,IAAM,gCAAgC;AACtC,IAAM,mBAAmB;AACzB,IAAM,gBAAgB;AACtB,IAAM,iBAAmD;CACvD,GAAG;CACH,GAAG;CACH,GAAG;CACH,GAAG;CACH,GAAG;CACH,GAAG;AACL;AAoFA,IAAM,4BAAN,cAAwC,MAAM;CAC5C;CAEA,YAAY,QAAoC;EAC9C,MAAM,MAAM;EACZ,KAAK,SAAS;CAChB;AACF;AAEA,SAAgB,gCACd,KACA,OACsB;CACtB,IAAI;EACF,MAAM,SAAS,IAAI,OAAO,SAAS,GAAG,CAAC;EACvC,MAAM,aAAa,OAAO,MAAM;EAChC,OAAO,OAAO,KAAK;EACnB,OAAO;GAAC,WAAW;GAAM,WAAW,UAAU,YAAY,KAAK;EAAC;CAClE,SAAS,OAAO;EACd,OAAO;GACL,WAAW;GACX,QACE,iBAAiB,4BACb,MAAM,SACN;EACR;CACF;AACF;AAEA,IAAM,SAAN,MAAa;CACX;CACA,YAAY;CAEZ,YAAY,QAA0B;EACpC,KAAK,UAAU;CACjB;CAEA,QAAc;EACZ,OAAO,KAAK,SAAS;CACvB;CAEA,WAAiB;EACf,MAAM,cAAc,CAAC,KAAK,UAAU,CAAC;EACrC,OAAO,KAAK,MAAM,IAAI,GAAG,YAAY,KAAK,KAAK,UAAU,CAAC;EAC1D,OAAO,YAAY,WAAW,IAC1B,YAAY,KACZ;GAAC,MAAM;GAAM;EAAW;CAC9B;CAEA,YAAkB;EAChB,MAAM,cAAc,CAAC,KAAK,UAAU,CAAC;EACrC,OAAO,KAAK,MAAM,KAAK,GAAG,YAAY,KAAK,KAAK,UAAU,CAAC;EAC3D,OAAO,YAAY,WAAW,IAC1B,YAAY,KACZ;GAAC,MAAM;GAAO;EAAW;CAC/B;CAEA,YAAkB;EAChB,IAAI,KAAK,MAAM,KAAK,GAClB,OAAO;GAAC,MAAM;GAAO,YAAY,KAAK,UAAU;EAAC;EAEnD,OAAO,KAAK,iBAAiB;CAC/B;CAEA,mBAAyB;EACvB,MAAM,OAAO,KAAK,cAAc;EAChC,IAAI,KAAK,MAAM,IAAI,GAAG;GACpB,MAAM,MAAM,KAAK,MAAM,KAAK;GAC5B,MAAM,QAAQ,KAAK,QAAQ,KAAK;GAChC,IAAI,OAAO,SAAS,aAAa,MAAM,gBAAgB,QACrD,MAAM,IAAI,0BAA0B,sBAAsB;GAE5D,OAAO;IAAC,MAAM;IAAa,YAAY;IAAM;GAAG;EAClD;EACA,IAAI,KAAK,MAAM,IAAI,GAAG;GACpB,KAAK,OAAO,GAAG;GACf,MAAM,SAAS,KAAK,kBAAkB,GAAG;GACzC,KAAK,OAAO,GAAG;GACf,OAAO,YAAY,MAAM,MAAM;EACjC;EACA,MAAM,KAAK,KAAK,QAAQ,KAAK,UAAU,EAAE;EACzC,IAAI,aAAa,EAAE,GAAG;GACpB,KAAK;GACL,IAAI,OAAO,OAAO,KAAK,gBAAgB,KAAK,GAC1C,OAAO,YAAY,MAAM,KAAK,mBAAmB,CAAC;GAEpD,OAAO;IACL,MAAM;IACN;IACA;IACA,OAAO,KAAK,cAAc;GAC5B;EACF;EACA,MAAM,OAAO,KAAK,QAAQ,KAAK;EAC/B,IAAI,MAAM,SAAS,gBAAgB,KAAK,MAAM,YAAY,MAAM,WAC9D,MAAM,IAAI,0BAA0B,6BAA6B;EAEnE,IACE,MAAM,SAAS,iBACf,8BAA8B,KAAK,KAAK,KAAK,GAE7C,MAAM,IAAI,0BAA0B,sBAAsB;EAE5D,IACE,MAAM,SAAS,gBACf,yBAAyB,IAAI,KAAK,MAAM,YAAY,CAAC,GAErD,MAAM,IAAI,0BAA0B,sBAAsB;EAE5D,OAAO;CACT;CAEA,qBAAsC;EACpC,KAAK,OAAO,GAAG;EACf,KAAK,kBAAkB,OAAO;EAC9B,KAAK,OAAO,GAAG;EACf,MAAM,SAAS,KAAK,kBAAkB,GAAG;EACzC,KAAK,OAAO,GAAG;EACf,IAAI,KAAK,MAAM,IAAI,GAAG;GACpB,KAAK,eAAe;GACpB,KAAK,OAAO,GAAG;GACf,KAAK,OAAO,GAAG;EACjB;EACA,KAAK,OAAO,GAAG;EACf,OAAO;CACT;CAEA,kBAAkB,KAAiC;EACjD,MAAM,SAAiB,CAAC;EACxB,IAAI,KAAK,QAAQ,KAAK,UAAU,EAAE,SAAS,KAAK,OAAO;EACvD,OAAO,KAAK,KAAK,cAAc,CAAC;EAChC,OAAO,KAAK,MAAM,GAAG,GAAG,OAAO,KAAK,KAAK,cAAc,CAAC;EACxD,OAAO;CACT;CAEA,gBAAsB;EACpB,IAAI,aAAa,KAAK,cAAc;EACpC,OAAO,KAAK,MAAM,IAAI,GACpB,aAAa;GACX,MAAM;GACN;GACA,MAAM,KAAK,eAAe;EAC5B;EAEF,OAAO;CACT;CAEA,gBAAsB;EACpB,IAAI,KAAK,MAAM,GAAG,GAAG;GACnB,MAAM,aAAa,KAAK,SAAS;GACjC,KAAK,OAAO,GAAG;GACf,OAAO;EACT;EACA,MAAM,QAAQ,KAAK,QAAQ,KAAK;EAChC,IAAI,OAAO,SAAS,WAClB,OAAO;GACL,MAAM;GACN,OAAO,MAAM;GACb,aAAa,MAAM;EACrB;EAEF,IAAI,OAAO,SAAS,cAAc;GAChC,IAAI,KAAK,QAAQ,KAAK,UAAU,EAAE,SAAS,KACzC,MAAM,IAAI,0BAA0B,sBAAsB;GAE5D,IAAI,KAAK,QAAQ,KAAK,UAAU,EAAE,SAAS,KACzC,MAAM,IAAI,0BAA0B,oBAAoB;GAE1D,IAAI,MAAM,MAAM,YAAY,MAAM,WAChC,MAAM,IAAI,0BAA0B,6BAA6B;GAEnE,OAAO;IAAC,MAAM;IAAU,MAAM,MAAM;GAAK;EAC3C;EACA,MAAM,IAAI,0BAA0B,oBAAoB;CAC1D;CAEA,iBAAyB;EACvB,MAAM,QAAQ,KAAK,kBAAkB;EACrC,MAAM,QAAQ,CAAC,KAAK;EACpB,IAAI,YAAY;EAChB,OAAO,KAAK,MAAM,GAAG,GAAG,MAAM,KAAK,KAAK,kBAAkB,CAAC;EAC3D,MAAM,OAAO,KAAK,QAAQ,KAAK;EAC/B,IACE,MAAM,YAAY,MAAM,eACxB,MAAM,SAAS,gBACf,KAAK,MAAM,YAAY,MAAM,WAC7B;GACA,MAAM,KAAK,KAAK,kBAAkB,CAAC;GACnC,YAAY;EACd;EACA,IAAI,KAAK,QAAQ,KAAK,UAAU,EAAE,SAAS,KACzC,MAAM,IAAI,0BAA0B,kBAAkB;EAExD,OAAO,MAAM,KAAK,SAAS;CAC7B;CAEA,kBAAkB,UAA2B;EAC3C,MAAM,QAAQ,KAAK,QAAQ,KAAK;EAChC,IACE,OAAO,SAAS,gBACf,aAAa,KAAA,KAAa,MAAM,MAAM,YAAY,MAAM,UAEzD,MAAM,IAAI,0BAA0B,kBAAkB;EAExD,OAAO,MAAM;CACf;CAEA,gBAAgB,UAA2B;EACzC,MAAM,QAAQ,KAAK,QAAQ,KAAK;EAChC,IACE,OAAO,SAAS,gBAChB,MAAM,MAAM,YAAY,MAAM,UAE9B,OAAO;EAET,KAAK;EACL,OAAO;CACT;CAEA,MAAM,MAA8B;EAClC,IAAI,KAAK,QAAQ,KAAK,UAAU,EAAE,SAAS,MAAM,OAAO;EACxD,KAAK;EACL,OAAO;CACT;CAEA,OAAO,MAA2B;EAChC,IAAI,CAAC,KAAK,MAAM,IAAI,GAClB,MAAM,IAAI,0BAA0B,oBAAoB;CAE5D;AACF;AAEA,IAAM,2CAA2B,IAAI,IAAI;CACvC;CACA;CACA;CACA;CACA;AACF,CAAC;AAED,SAAS,YAAY,MAAY,QAA+B;CAC9D,IAAI,OAAO,WAAW,GACpB,MAAM,IAAI,0BAA0B,oBAAoB;CAE1D,MAAM,cAAc,OAAO,KACzB,WAAU;EAAC,MAAM;EAAc;EAAM,IAAI;EAAK;CAAK,EACrD;CACA,OAAO,YAAY,WAAW,IAAI,YAAY,KAAK;EAAC,MAAM;EAAM;CAAW;AAC7E;AAEA,SAAS,UACP,YACA,OACgB;CAChB,QAAQ,WAAW,MAAnB;EACE,KAAK;EACL,KAAK,MAAM;GACT,MAAM,aAAa,WAAW,YAAY,KAAI,SAC5C,UAAU,MAAM,KAAK,CACvB;GACA,OAAO;IACL,MAAM,WAAW;IACjB,YAAY,WAAW,SAAQ,cAC7B,UAAU,SAAS,WAAW,OAC1B,UAAU,aACV,CAAC,SAAS,CAChB;GACF;EACF;EACA,KAAK,OAAO;GACV,MAAM,gBAAgB,yBACpB,WAAW,YACX,KACF;GACA,IAAI,eACF,OAAO,kBAAkB,eAAe,KAAK;GAE/C,OAAO;IAAC,MAAM;IAAO,WAAW,UAAU,WAAW,YAAY,KAAK;GAAC;EACzE;EACA,KAAK,UAAU;GACb,MAAM,SAAS,cAAc,YAAY,KAAK;GAC9C,IAAI,OAAO,aAAa,WACtB,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO,kBAAkB,OAAO,MAAM,IAAI;EAC5C;EACA,KAAK,QAAQ;GACX,MAAM,SAAS,qBAAqB,YAAY,KAAK;GACrD,IAAI,OAAO,aAAa,WACtB,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO,kBAAkB,OAAO,MAAM,IAAI;EAC5C;EACA,KAAK,aAEH,OAAO;GACL,MAAM;GACN,QAHa,sBAAsB,WAAW,YAAY,KAG1D;GACA,IAAI,WAAW,MAAM,gBAAgB;EACvC;EAEF,KAAK,cACH,OAAO,oBAAoB,YAAY,KAAK;EAC9C,KAAK,WACH,MAAM,IAAI,0BAA0B,oBAAoB;CAC5D;AACF;AAEA,SAAS,sBACP,YACA,OACQ;CACR,IAAI,WAAW,SAAS,QACtB,OAAO,qBAAqB,YAAY,KAAK,CAAC,CAAC;CAEjD,IAAI,WAAW,SAAS,YAAY,CAAC,MAAM,QAAQ,WAAW,OAC5D,MAAM,IAAI,0BAA0B,oBAAoB;CAE1D,IAAI,WAAW,SAAS,UAAU,OAAO,WAAW;CACpD,MAAM,IAAI,0BAA0B,oBAAoB;AAC1D;AAEA,SAAS,yBACP,YACA,OACoB;CACpB,IAAI,WAAW,SAAS,YAAY,WAAW,SAAS,QACtD;CAEF,MAAM,SAAS,qBAAqB,YAAY,KAAK;CACrD,OAAO,OAAO,aAAa,YAAY,OAAO,OAAO,KAAA;AACvD;AAEA,SAAS,kBAAkB,QAAgB,OAAgC;CACzE,OAAO;EACL,MAAM;EACN;EACA,IAAI;EACJ,OAAO;GAAC,MAAM;GAAW;EAAK;CAChC;AACF;AAiBA,SAAS,oBACP,YACA,OACgB;CAChB,MAAM,SAAS,qBAAqB,WAAW,MAAM,KAAK;CAC1D,MAAM,KAAK,WAAW,OAAO,OAAO,OAAO,WAAW;CACtD,IAAI,OAAO,aAAa,aAAa,OAAO,OAAO,OAAO,MACxD,MAAM,IAAI,0BAA0B,sBAAsB;CAE5D,MAAM,QAAQ,eAAe,WAAW,OAAO,MAAM;CACrD,OAAO;EAAC,MAAM;EAAc,QAAQ,OAAO;EAAM;EAAI;CAAK;AAC5D;AAEA,SAAS,qBACP,YACA,OACgB;CAChB,IAAI,WAAW,SAAS,UAAU,OAAO,cAAc,YAAY,KAAK;CACxE,IAAI,WAAW,SAAS,QACtB,MAAM,IAAI,0BAA0B,oBAAoB;CAE1D,MAAM,SAAS,qBAAqB,WAAW,YAAY,KAAK;CAChE,MAAM,OAAO,kBAAkB,WAAW,IAAI;CAC9C,QAAQ,OAAO,UAAf;EACE,KAAK,WAAW;GACd,MAAM,OAAO,YAAY,IAAI;GAC7B,IAAI,SAAS,KAAA,KAAa,OAAO,OAAO,MACtC,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IAAC,GAAG;IAAQ;GAAI;EACzB;EACA,KAAK;GACH,IAAI,SAAS,UAAU,SAAS,WAC9B,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;EACT,KAAK;GACH,IAAI,SAAS,QACX,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;EACT,KAAK;GACH,IAAI,SAAS,QACX,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;EACT,KAAK;GACH,IAAI,aAAa,WAAW,IAAI,MAAM,OAAO,SAAS,YAAY,GAChE,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;CACX;AACF;AAEA,SAAS,cACP,YACA,OACgB;CAChB,MAAM,OAAO,MAAM,QAAQ,WAAW;CACtC,IAAI,CAAC,MAAM,MAAM,IAAI,0BAA0B,oBAAoB;CACnE,MAAM,WAAW,kBAAkB,KAAK,QAAQ;CAChD,IAAI,aAAa,QAAQ,OAAO;EAAC,UAAU;EAAW,MAAM,WAAW;CAAI;CAC3E,MAAM,OAAO,YAAY,QAAQ;CACjC,IAAI,SAAS,KAAA,GACX,OAAO;EAAC,UAAU;EAAW,MAAM,WAAW;EAAM;CAAI;CAE1D,IAAI,aAAa,UAAU,aAAa,WAAW;EACjD,IAAI,KAAK,6BAA6B,OACpC,MAAM,IAAI,0BAA0B,6BAA6B;EAEnE,OAAO;GAAC,UAAU;GAAQ,MAAM,WAAW;EAAI;CACjD;CACA,IAAI,aAAa,QAAQ,OAAO;EAAC,UAAU;EAAQ,MAAM,WAAW;CAAI;CACxE,IAAI,KAAK,gBAAgB,KACvB,OAAO;EACL,UAAU;EACV,MAAM,WAAW;EACjB,UAAU,KAAK,SAAS,YAAY;CACtC;CAEF,MAAM,IAAI,0BAA0B,kBAAkB;AACxD;AAEA,SAAS,eACP,YACA,QACqB;CACrB,IAAI,UAAU;CACd,IAAI;CACJ,OAAO,QAAQ,SAAS,QAAQ;EAC9B,OAAO,QAAQ;EACf,UAAU,QAAQ;CACpB;CACA,IAAI,QAAQ,SAAS,aAAa,QAAQ,UAAU,MAClD,MAAM,IAAI,0BAA0B,oBAAoB;CAG1D,QAAQ,OAAO,UAAf;EACE,KAAK;GACH,oBAAoB,sBAAM,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC;GAC3C,IAAI,QAAQ,gBAAgB,WAC1B,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IAAC,MAAM;IAAW,OAAO,QAAQ;GAAgB;EAE1D,KAAK;GACH,IAAI,SAAS,KAAA,GAAW;IACtB,MAAM,WAAW,YAAY,kBAAkB,IAAI,CAAC;IACpD,IAAI,aAAa,KAAA,KAAa,WAAW,OAAO,MAC9C,MAAM,IAAI,0BAA0B,kBAAkB;GAE1D;GACA,IACE,QAAQ,gBAAgB,aACxB,EAAE,QAAQ,gBAAgB,YAAY,SAAS,KAAA,IAE/C,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IACL,MAAM;IACN,OAAO,iBAAiB,OAAO,QAAQ,KAAK,GAAG,OAAO,IAAI;GAC5D;EAEF,KAAK;GACH,oBAAoB,sBAAM,IAAI,IAAI,CAAC,QAAQ,SAAS,CAAC,CAAC;GACtD,IAAI,QAAQ,gBAAgB,UAC1B,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IAAC,MAAM;IAAU,OAAO,OAAO,QAAQ,KAAK;GAAC;EACtD,KAAK;GACH,IACE,SAAS,KAAA,KACT,aAAa,IAAI,MAAM,OAAO,SAAS,YAAY,GAEnD,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,IAAI,QAAQ,gBAAgB,UAC1B,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IAAC,MAAM;IAAU,OAAO,OAAO,QAAQ,KAAK;GAAC;EACtD,KAAK,QAAQ;GACX,oBAAoB,sBAAM,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC;GAC3C,MAAM,QAAQ,OAAO,QAAQ,KAAK,CAAC,CAAC,YAAY;GAChD,IAAI,QAAQ,gBAAgB,YAAY,CAAC,QAAQ,KAAK,KAAK,GACzD,MAAM,IAAI,0BAA0B,kBAAkB;GAExD,OAAO;IAAC,MAAM;IAAU;GAAK;EAC/B;CACF;AACF;AAEA,SAAS,oBACP,MACA,SACM;CACN,IAAI,SAAS,KAAA,KAAa,CAAC,QAAQ,IAAI,kBAAkB,IAAI,CAAC,GAC5D,MAAM,IAAI,0BAA0B,kBAAkB;AAE1D;AAEA,SAAS,iBAAiB,OAAe,MAAyB;CAChE,IAAI,CAAC,WAAW,KAAK,KAAK,GACxB,MAAM,IAAI,0BAA0B,kBAAkB;CAExD,IAAI;CACJ,IAAI;EACF,UAAU,OAAO,KAAK;CACxB,QAAQ;EACN,MAAM,IAAI,0BAA0B,kBAAkB;CACxD;CACA,MAAM,SAAS;EACb,CAAC,CAAC,QAAQ,MAAM;EAChB,CAAC,CAAC,aAAa,WAAW;EAC1B,CAAC,CAAC,sBAAsB,oBAAoB;CAC9C;CACA,IAAI,UAAU,OAAO,KAAK,CAAC,MAAM,UAAU,OAAO,KAAK,CAAC,IACtD,MAAM,IAAI,0BAA0B,kBAAkB;CAExD,OAAO,QAAQ,SAAS;AAC1B;AAEA,SAAS,kBAAkB,MAAsB;CAC/C,MAAM,OAAO,aAAa,IAAI,CAAC,CAAC,QAAQ,QAAQ,GAAG;CACnD,QAAQ,MAAR;EACE,KAAK,WACH,OAAO;EACT,KAAK,YACH,OAAO;EACT,KAAK,WACH,OAAO;EACT,KAAK,UACH,OAAO;EACT,KAAK,qBACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAEA,SAAS,aAAa,MAAsB;CAC1C,OAAO,KAAK,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,YAAY,KAAK;AAClD;AAEA,SAAS,YAAY,MAAqC;CACxD,QAAQ,MAAR;EACE,KAAK,QACH,OAAO;EACT,KAAK,QACH,OAAO;EACT,KAAK,QACH,OAAO;EACT,SACE;CACJ;AACF;AAEA,SAAS,aACP,MACqD;CACrD,OACE,SAAS,OACT,SAAS,QACT,SAAS,QACT,SAAS,OACT,SAAS,QACT,SAAS,OACT,SAAS;AAEb;AAEA,SAAS,SAAS,KAA+B;CAC/C,MAAM,SAAkB,CAAC;CACzB,KAAK,IAAI,IAAI,GAAG,IAAI,IAAI,SAAS;EAC/B,MAAM,OAAO,IAAI;EACjB,IAAI,cAAc,KAAK,IAAI,GAAG;GAC5B;GACA;EACF;EACA,IAAI,SAAS,MAAK;GAChB,MAAM,SAAS,WAAW,KAAK,GAAG,MAAK,KAAK;GAC5C,OAAO,KAAK;IAAC,MAAM;IAAc,OAAO,OAAO;GAAK,CAAC;GACrD,IAAI,OAAO;GACX;EACF;EACA,MAAM,gBAAgB,SAAS,OAAO,SAAS,QAAQ,IAAI,IAAI,OAAO;EACtE,IAAI,SAAS,OAAO,cAAc;GAChC,MAAM,SAAS,WACb,KACA,KAAK,eAAe,IAAI,IACxB,KACA,YACF;GACA,OAAO,KAAK;IACV,MAAM;IACN,aAAa;IACb,OAAO,OAAO;GAChB,CAAC;GACD,IAAI,OAAO;GACX;EACF;EACA,MAAM,WAAW,kBAAkB,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG;EACxD,IAAI,UAAU;GACZ,OAAO,KAAK,EACV,MAAM,SACR,CAAC;GACD,KAAK,SAAS;GACd;EACF;EACA,MAAM,sBAAsB,8BAA8B,KACxD,IAAI,MAAM,CAAC,CACb,CAAC,GAAG;EACJ,IAAI,qBAAqB;GACvB,OAAO,KAAK;IAAC,MAAM;IAAe,OAAO;GAAmB,CAAC;GAC7D,KAAK,oBAAoB;GACzB;EACF;EACA,IACE,SAAS,OACT,SAAS,OACT,SAAS,OACT,SAAS,OACT,SAAS,OACT,SAAS,KACT;GACA,OAAO,KAAK,EAAC,MAAM,KAAI,CAAC;GACxB;GACA;EACF;EACA,MAAM,UAAU,iBAAiB,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG;EACtD,IAAI,SAAS;GACX,OAAO,KAAK;IAAC,MAAM;IAAW,aAAa;IAAW,OAAO;GAAO,CAAC;GACrE,KAAK,QAAQ;GACb;EACF;EACA,MAAM,OAAO,cAAc,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG;EAChD,IAAI,MAAM;GACR,MAAM,UAAU,KAAK,YAAY;GACjC,IAAI,yBAAyB,IAAI,OAAO,GACtC,MAAM,IAAI,0BAA0B,sBAAsB;GAE5D,IAAI,YAAY,UAAU,YAAY,SACpC,OAAO,KAAK;IACV,MAAM;IACN,aAAa;IACb,OAAO,YAAY;GACrB,CAAC;QACI,IAAI,YAAY,QACrB,OAAO,KAAK;IAAC,MAAM;IAAW,aAAa;IAAQ,OAAO;GAAI,CAAC;QAC1D,IACL,YAAY,SACZ,YAAY,QACZ,YAAY,SACZ,YAAY,QACZ,YAAY,MAEZ,OAAO,KAAK,EAAC,MAAM,QAAO,CAAC;QAE3B,OAAO,KAAK;IAAC,MAAM;IAAc,OAAO,KAAK,YAAY;GAAC,CAAC;GAE7D,KAAK,KAAK;GACV;EACF;EACA,OAAO,KAAK;GAAC,MAAM;GAAe,OAAO;EAAI,CAAC;EAC9C;CACF;CACA,OAAO,KAAK,EAAC,MAAM,MAAK,CAAC;CACzB,OAAO;AACT;AAEA,SAAS,WACP,KACA,OACA,OACA,SACgD;CAChD,IAAI,QAAQ;CACZ,KAAK,IAAI,IAAI,QAAQ,GAAG,IAAI,IAAI,QAAQ,KAAK;EAC3C,MAAM,OAAO,IAAI;EACjB,IAAI,SAAS,OAAO;GAClB,IAAI,IAAI,IAAI,OAAO,OAAO;IACxB,SAAS;IACT;GACF,OACE,OAAO;IAAC;IAAO,KAAK,IAAI;GAAC;EAE7B,OAAO,IAAI,WAAW,SAAS,MAAM;GACnC,MAAM,SAAS,IAAI,EAAE;GACrB,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,0BAA0B,oBAAoB;GAE1D,IAAI,WAAW,KAAK;IAClB,MAAM,MAAM,iBAAiB,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC;IACjD,SAAS,OAAO,aAAa,IAAI,KAAK;IACtC,IAAI,IAAI,MAAM;GAChB,OAAO,IAAI,WAAW,OAAO,WAAW,KAAK;IAC3C,MAAM,MAAM,iBAAiB,KAAK,IAAI,GAAG,WAAW,MAAM,IAAI,GAAG,EAAE;IACnE,IAAI;KACF,SAAS,OAAO,cAAc,IAAI,KAAK;IACzC,QAAQ;KACN,MAAM,IAAI,0BAA0B,oBAAoB;IAC1D;IACA,IAAI,IAAI,MAAM;GAChB,OAAO,IAAI,UAAU,OAAO,UAAU,KAAK;IACzC,IAAI,QAAQ;IACZ,OACE,MAAM,SAAS,KACf,IAAI,IAAI,OAAO,KAAA,KACf,IAAI,IAAI,MAAM,OACd,IAAI,IAAI,MAAM,KAEd,SAAS,IAAI,EAAE;IAEjB,SAAS,OAAO,aAAa,OAAO,SAAS,OAAO,CAAC,CAAC;GACxD,OAAO,IAAI,WAAW,MAAM,CAE5B,OAAO,IAAI,WAAW,QAAQ,IAAI,IAAI,OAAO,MAC3C;QAEA,SAAS,eAAe,WAAW;EAEvC,OACE,SAAS;CAEb;CACA,MAAM,IAAI,0BAA0B,oBAAoB;AAC1D;AAEA,SAAS,iBACP,KACA,OACA,QACA,OACA,YAAY,QACoC;CAChD,IAAI,MAAM;CACV,OAAO,MAAM,QAAQ,QAAQ;EAC3B,MAAM,QAAQ,IAAI;EAClB,IACE,UAAU,KAAA,KACV,EACG,SAAS,OAAO,SAAS,OACzB,MAAM,YAAY,KAAK,OAAO,MAAM,YAAY,KAAK,MAGxD;EAEF;CACF;CACA,MAAM,SAAS,IAAI,MAAM,OAAO,GAAG;CACnC,IAAI,OAAO,SAAS,WAClB,MAAM,IAAI,0BAA0B,oBAAoB;CAE1D,OAAO;EAAC,OAAO,OAAO,SAAS,QAAQ,KAAK;EAAG;CAAG;AACpD"}

package/out/zero-cache/src/services/change-source/pg/schema/init.d.ts

@@ -4,6 +4,6 @@ import { type ShardConfig } from '../../../../types/shards.ts';
 /**
  * Ensures that a shard is set up for initial sync.
  */
-export declare function ensureShardSchema(lc: LogContext, db: PostgresDB, shard: ShardConfig): Promise<void>;
+export declare function ensureShardSchema(lc: LogContext, db: PostgresDB, shard: ShardConfig, installPartialIndexTriggers?: boolean): Promise<void>;
 export declare const CURRENT_SCHEMA_VERSION: number;
 //# sourceMappingURL=init.d.ts.map

package/out/zero-cache/src/services/change-source/pg/schema/init.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"init.d.ts","sourceRoot":"","sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/init.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,kBAAkB,CAAC;AAQjD,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAiB,KAAK,WAAW,EAAC,MAAM,6BAA6B,CAAC;AAa7E;;GAEG;AACH,wBAAsB,iBAAiB,CACrC,EAAE,EAAE,UAAU,EACd,EAAE,EAAE,UAAU,EACd,KAAK,EAAE,WAAW,GACjB,OAAO,CAAC,IAAI,CAAC,CAgBf;AAuSD,eAAO,MAAM,sBAAsB,QAMwB,CAAC"}
+{"version":3,"file":"init.d.ts","sourceRoot":"","sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/init.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,kBAAkB,CAAC;AAQjD,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAiB,KAAK,WAAW,EAAC,MAAM,6BAA6B,CAAC;AAa7E;;GAEG;AACH,wBAAsB,iBAAiB,CACrC,EAAE,EAAE,UAAU,EACd,EAAE,EAAE,UAAU,EACd,KAAK,EAAE,WAAW,EAClB,2BAA2B,UAAO,GACjC,OAAO,CAAC,IAAI,CAAC,CAiBf;AA8SD,eAAO,MAAM,sBAAsB,QASwB,CAAC"}

package/out/zero-cache/src/services/change-source/pg/schema/init.js

@@ -11,13 +11,13 @@ import { runSchemaMigrations } from "../../../../db/migration.js";
 /**
 * Ensures that a shard is set up for initial sync.
 */
-async function ensureShardSchema(lc, db, shard) {
+async function ensureShardSchema(lc, db, shard, installPartialIndexTriggers = true) {
 	await runSchemaMigrations(lc, `upstream-shard-${shard.appID}`, upstreamSchema(shard), db, {
-		migrateSchema: (lc, tx) => setupTablesAndReplication(lc, tx, shard),
+		migrateSchema: (lc, tx) => setupTablesAndReplication(lc, tx, shard, installPartialIndexTriggers),
 		minSafeVersion: 1
-	}, getIncrementalMigrations(shard));
+	}, getIncrementalMigrations(shard, installPartialIndexTriggers));
 }
-function getIncrementalMigrations(shard) {
+function getIncrementalMigrations(shard, installPartialIndexTriggers) {
 	const shardConfigTable = `${upstreamSchema(shard)}.shardConfig`;
 	return {
 		6: { migrateSchema: () => {
@@ -175,22 +175,22 @@ function getIncrementalMigrations(shard) {
         `;
 			}
 		},
-		31: { migrateSchema: async (lc, sql) => {
+		...installPartialIndexTriggers ? { 31: { migrateSchema: async (lc, sql) => {
 			const [{ publications }] = await sql`
-          SELECT publications FROM ${sql(shardConfigTable)}`;
+                SELECT publications FROM ${sql(shardConfigTable)}`;
 			await setupTriggers(lc, sql, {
 				...shard,
 				publications
 			});
 			lc.info?.(`Upgraded DDL event triggers`);
-		} }
+		} } } : {}
 	};
 }
 Object.keys(getIncrementalMigrations({
 	appID: "unused",
 	shardNum: 0,
 	publications: ["foo"]
-})).reduce((prev, curr) => Math.max(prev, parseInt(curr)), 0);
+}, true)).reduce((prev, curr) => Math.max(prev, parseInt(curr)), 0);
 //#endregion
 export { ensureShardSchema };
 

package/out/zero-cache/src/services/change-source/pg/schema/init.js.map

@@ -1 +1 @@
-{"version":3,"file":"init.js","names":[],"sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/init.ts"],"sourcesContent":["import type {LogContext} from '@rocicorp/logger';\nimport {assert} from '../../../../../../shared/src/asserts.ts';\nimport * as v from '../../../../../../shared/src/valita.ts';\nimport {\n  runSchemaMigrations,\n  type IncrementalMigrationMap,\n  type Migration,\n} from '../../../../db/migration.ts';\nimport type {PostgresDB} from '../../../../types/pg.ts';\nimport {upstreamSchema, type ShardConfig} from '../../../../types/shards.ts';\nimport {id} from '../../../../types/sql.ts';\nimport {AutoResetSignal} from '../../../change-streamer/schema/tables.ts';\nimport {publishedSchema} from './published.ts';\nimport * as ReplicaStage from './replica-stage-enum.ts';\nimport {\n  getMutationsTableDefinition,\n  legacyReplicationSlot,\n  metadataPublicationName,\n  setupTablesAndReplication,\n  setupTriggers,\n} from './shard.ts';\n\n/**\n * Ensures that a shard is set up for initial sync.\n */\nexport async function ensureShardSchema(\n  lc: LogContext,\n  db: PostgresDB,\n  shard: ShardConfig,\n): Promise<void> {\n  const initialSetup: Migration = {\n    migrateSchema: (lc, tx) => setupTablesAndReplication(lc, tx, shard),\n    minSafeVersion: 1,\n  };\n  await runSchemaMigrations(\n    lc,\n    `upstream-shard-${shard.appID}`,\n    upstreamSchema(shard),\n    db,\n    initialSetup,\n    // The incremental migration of any existing replicas will be replaced by\n    // the incoming replica being synced, so the replicaVersion here is\n    // unnecessary.\n    getIncrementalMigrations(shard),\n  );\n}\n\nfunction getIncrementalMigrations(shard: ShardConfig): IncrementalMigrationMap {\n  const shardConfigTable = `${upstreamSchema(shard)}.shardConfig`;\n\n  return {\n    6: {\n      migrateSchema: () => {\n        throw new AutoResetSignal('resetting to upgrade shard schema');\n      },\n    },\n\n    // v7: Updates the DDL event trigger protocol to v2, and adds support for\n    //     ALTER SCHEMA x RENAME TO y\n    //     (migration logic subsumbed by v23)\n\n    // v8: Adds support for non-disruptive resyncs, which tracks multiple\n    //     replicas with different slot names.\n    8: {\n      migrateSchema: async (lc, sql) => {\n        const legacyShardConfigSchema = v.object({\n          replicaVersion: v.string().nullable(),\n          initialSchema: publishedSchema.nullable(),\n        });\n        const result = await sql`\n          SELECT \"replicaVersion\", \"initialSchema\" FROM ${sql(shardConfigTable)}`;\n        assert(\n          result.length === 1,\n          () => `Expected exactly one shardConfig row, got ${result.length}`,\n        );\n        const {replicaVersion, initialSchema} = v.parse(\n          result[0],\n          legacyShardConfigSchema,\n          'passthrough',\n        );\n\n        await Promise.all([\n          sql`\n          CREATE TABLE ${sql(upstreamSchema(shard))}.replicas (\n            \"slot\"          TEXT PRIMARY KEY,\n            \"version\"       TEXT NOT NULL,\n            \"initialSchema\" JSON NOT NULL\n          );\n          `,\n          sql`\n          INSERT INTO ${sql(upstreamSchema(shard))}.replicas ${sql({\n            slot: legacyReplicationSlot(shard),\n            version: replicaVersion,\n            initialSchema,\n          })}\n          `,\n          sql`\n          ALTER TABLE ${sql(shardConfigTable)} DROP \"replicaVersion\", DROP \"initialSchema\"\n          `,\n        ]);\n        lc.info?.(`Upgraded schema to support non-disruptive resyncs`);\n      },\n    },\n\n    // v9: Fixes field ordering of compound indexes. This incremental migration\n    // only fixes indexes resulting from new schema changes. A full resync is\n    // required to fix existing indexes.\n    //\n    // The migration has been subsumed by the identical logic for migrating\n    // to v12 (i.e. a trigger upgrade).\n\n    // Adds the `mutations` table used to track mutation results.\n    10: {\n      migrateSchema: async (lc, sql) => {\n        await sql.unsafe(/*sql*/ `\n          ${getMutationsTableDefinition(upstreamSchema(shard))}\n          ALTER PUBLICATION ${id(metadataPublicationName(shard.appID, shard.shardNum))} ADD TABLE ${id(upstreamSchema(shard))}.\"mutations\";\n        `);\n        lc.info?.('Upgraded schema with new mutations table');\n      },\n    },\n\n    // v11: Formerly dropped the schemaVersions table, but restored in the v13\n    // migration for rollback safety.\n\n    // v12: Upgrade DDL trigger to query schemaOID, needed information for auto-backfill.\n    // (subsumed by v14)\n\n    // Recreates the legacy schemaVersions table that was prematurely dropped\n    // in the (former) v11 migration. It needs to remain present for at least one\n    // release in order to be rollback safe.\n    //\n    // TODO: Drop the table once a release that no longer reads the table has\n    // been rolled out.\n    13: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          CREATE TABLE IF NOT EXISTS ${sql(upstreamSchema(shard))}.\"schemaVersions\" (\n            \"minSupportedVersion\" INT4,\n            \"maxSupportedVersion\" INT4,\n            \"lock\" BOOL PRIMARY KEY DEFAULT true CHECK (lock)\n        );`;\n        await sql`\n          INSERT INTO ${sql(upstreamSchema(shard))}.\"schemaVersions\" \n            (\"lock\", \"minSupportedVersion\", \"maxSupportedVersion\")\n            VALUES (true, 1, 1)\n            ON CONFLICT DO NOTHING;\n        `;\n      },\n    },\n\n    // v14: Upgrade DDL trigger to log more info to PG logs.\n    // (subsumed by v16)\n\n    // Add initialSyncContext column to replicas table.\n    15: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas\n            ADD COLUMN \"initialSyncContext\" JSON,\n            ADD COLUMN \"subscriberContext\" JSON\n        `;\n      },\n    },\n\n    // v16: Upgrade DDL trigger to fire on all ALTER TABLE statements\n    // to catch the *removal* of a table from the published set.\n    // v17 (1.0.0): Upgrade DDL triggers to support the COMMENT ON PUBLICATION hook for\n    // working around the lack of event trigger support for PUBLICATION\n    // changes in supabase.\n    // This also adds forwards-compatible support for hierarchical logical\n    // message prefixes and unknown ddl event types.\n    // v18: Pure refactoring of event trigger code.\n    // v19 (1.4.0): Correctly handle concurrently issued DDL statements.\n    // v20 (1.4.0): Handle nested DDL triggers\n    // v21 (1.5.0): Handle cross-transaction DDL operations (i.e. concurrent\n    // index operations), and support manual invocation of update_schemas().\n\n    22: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ALTER \"initialSchema\" DROP NOT NULL;\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            DROP CONSTRAINT replicas_pkey;\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN id TEXT PRIMARY KEY DEFAULT replace(gen_random_uuid()::text, '-', '');\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN rank BIGSERIAL;\n        `;\n      },\n    },\n\n    // v23 (1.6.0): Event triggers: Handle the case where current_query()\n    // returns NULL. Add more logging to debug unexpected messages\n    //\n    // Note: This is retained (despite v31 also upgrading the triggers) because\n    // the v28 migration depends on the update_schemas() function.\n    23: {\n      migrateSchema: async (lc, sql) => {\n        const [{publications}] = await sql<{publications: string[]}[]>`\n          SELECT publications FROM ${sql(shardConfigTable)}`;\n        await setupTriggers(lc, sql, {...shard, publications});\n        lc.info?.(`Upgraded DDL event triggers`);\n      },\n    },\n\n    // v24 (1.10.0):\n    // - adds the \"backupPath\" column for per-replica backups.\n    // - adds the \"generation\" column to replace \"version\".\n    24: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN \"backupPath\" TEXT;\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN \"generation\" TEXT;\n        `;\n      },\n\n      migrateData: async (_, sql) => {\n        // Backfill the \"generation\" column to eventually replace \"version\"\n        await sql`\n          UPDATE ${sql(upstreamSchema(shard))}.replicas SET \"generation\" = \"version\";\n        `;\n      },\n    },\n\n    // v25 (1.10.0):\n    // - adds the \"backupV5\" column to signal the current semantics\n    //   of the replication slot's confirmed_flush_lsn with respect to what\n    //   has been backed up.\n    25: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN \"backupV5\" BOOL DEFAULT false;\n        `;\n      },\n    },\n\n    // v27 (1.11.0):\n    // - make `generation` NOT NULL and stop reading `version`\n    27: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ALTER \"generation\" SET NOT NULL;\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ALTER \"version\" DROP NOT NULL;\n        `;\n      },\n    },\n\n    28: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ADD \"epoch\" INT4 DEFAULT 0;\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ADD \"stage\" INT4 DEFAULT 0;  -- ReplicaStage.InitialSync\n        `;\n\n        const metapub = metadataPublicationName(shard.appID, shard.shardNum);\n        await sql`\n          ALTER PUBLICATION ${sql(metapub)} ADD TABLE ${sql(upstreamSchema(shard))}.replicas (id);\n        `;\n        // Make sure supabase gets the ALTER PUBLICATION change\n        await sql`\n          SELECT ${sql(upstreamSchema(shard))}.update_schemas();\n        `;\n      },\n\n      migrateData: async (_, sql) => {\n        await sql`\n          UPDATE ${sql(upstreamSchema(shard))}.replicas SET \"stage\" = ${ReplicaStage.Replicate}\n            WHERE \"subscriberContext\" IS NOT NULL;\n        `;\n      },\n    },\n\n    // v30: Adds the \"pgChangeLog\" column, which records whether the\n    // replication-manager that took over a replica's slot acks it only after\n    // storing transactions in the PG change log (RMv1.5), in which case a\n    // slot position past the change log's head reflects acked keepalives\n    // rather than missing transactions.\n    //\n    // The column defaults to false (i.e. unknown), so that a slot is assumed\n    // to be possibly ahead of the change log until it is taken over by a\n    // replication-manager that sets it. Existing replicas that have been taken\n    // over are backfilled as true (see migrateData). Note that a replication-manager that\n    // predates this column does not reset it when taking over a slot, so\n    // once the column is set, RMv2 (in which acks are not gated on the PG\n    // change log) must run at least this version.\n    30: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN IF NOT EXISTS \"pgChangeLog\" BOOL DEFAULT false;\n        `;\n      },\n\n      // Existing replicas whose slots have been taken over (i.e. that have a\n      // subscriberContext) were acked by RMv1 or RMv1.5, which store\n      // transactions in the PG change log before acking them. This assumes\n      // that no RMv2 is running when the migration is run. Replicas that have\n      // not been taken over (e.g. fork destinations) remain unknown, as their\n      // slots have not been acked.\n      migrateData: async (_, sql) => {\n        await sql`\n          UPDATE ${sql(upstreamSchema(shard))}.replicas SET \"pgChangeLog\" = true\n            WHERE \"subscriberContext\" IS NOT NULL;\n        `;\n      },\n    },\n\n    // v31: Upgrade the DDL event triggers to include partial indexes in\n    // schema snapshots. Note that setupTriggers() also refreshes the\n    // stored \"publishedSchema\" so that the change in format does not\n    // manifest as a spurious schema change.\n    31: {\n      migrateSchema: async (lc, sql) => {\n        const [{publications}] = await sql<{publications: string[]}[]>`\n          SELECT publications FROM ${sql(shardConfigTable)}`;\n        await setupTriggers(lc, sql, {...shard, publications});\n        lc.info?.(`Upgraded DDL event triggers`);\n      },\n    },\n  };\n}\n\n// Referenced in tests.\nexport const CURRENT_SCHEMA_VERSION = Object.keys(\n  getIncrementalMigrations({\n    appID: 'unused',\n    shardNum: 0,\n    publications: ['foo'],\n  }),\n).reduce((prev, curr) => Math.max(prev, parseInt(curr)), 0);\n"],"mappings":";;;;;;;;;;;;;AAyBA,eAAsB,kBACpB,IACA,IACA,OACe;CAKf,MAAM,oBACJ,IACA,kBAAkB,MAAM,SACxB,eAAe,KAAK,GACpB,IACA;EARA,gBAAgB,IAAI,OAAO,0BAA0B,IAAI,IAAI,KAAK;EAClE,gBAAgB;CAOhB,GAIA,yBAAyB,KAAK,CAChC;AACF;AAEA,SAAS,yBAAyB,OAA6C;CAC7E,MAAM,mBAAmB,GAAG,eAAe,KAAK,EAAE;CAElD,OAAO;EACL,GAAG,EACD,qBAAqB;GACnB,MAAM,IAAI,gBAAgB,mCAAmC;EAC/D,EACF;EAQA,GAAG,EACD,eAAe,OAAO,IAAI,QAAQ;GAChC,MAAM,0BAA0B,eAAE,OAAO;IACvC,gBAAgB,eAAE,OAAO,EAAE,SAAS;IACpC,eAAe,gBAAgB,SAAS;GAC1C,CAAC;GACD,MAAM,SAAS,MAAM,GAAG;0DAC0B,IAAI,gBAAgB;GACtE,OACE,OAAO,WAAW,SACZ,6CAA6C,OAAO,QAC5D;GACA,MAAM,EAAC,gBAAgB,kBAAiB,MACtC,OAAO,IACP,yBACA,aACF;GAEA,MAAM,QAAQ,IAAI;IAChB,GAAG;yBACY,IAAI,eAAe,KAAK,CAAC,EAAE;;;;;;IAM1C,GAAG;wBACW,IAAI,eAAe,KAAK,CAAC,EAAE,YAAY,IAAI;KACvD,MAAM,sBAAsB,KAAK;KACjC,SAAS;KACT;IACF,CAAC,EAAE;;IAEH,GAAG;wBACW,IAAI,gBAAgB,EAAE;;GAEtC,CAAC;GACD,GAAG,OAAO,mDAAmD;EAC/D,EACF;EAUA,IAAI,EACF,eAAe,OAAO,IAAI,QAAQ;GAChC,MAAM,IAAI,OAAe;YACrB,4BAA4B,eAAe,KAAK,CAAC,EAAE;8BACjC,GAAG,wBAAwB,MAAM,OAAO,MAAM,QAAQ,CAAC,EAAE,aAAa,GAAG,eAAe,KAAK,CAAC,EAAE;SACrH;GACD,GAAG,OAAO,0CAA0C;EACtD,EACF;EAcA,IAAI,EACF,eAAe,OAAO,GAAG,QAAQ;GAC/B,MAAM,GAAG;uCACsB,IAAI,eAAe,KAAK,CAAC,EAAE;;;;;GAK1D,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;;;EAK7C,EACF;EAMA,IAAI,EACF,eAAe,OAAO,GAAG,QAAQ;GAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;;EAI7C,EACF;EAeA,IAAI,EACF,eAAe,OAAO,GAAG,QAAQ;GAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAG3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAG3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAG3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;EAG7C,EACF;EAOA,IAAI,EACF,eAAe,OAAO,IAAI,QAAQ;GAChC,MAAM,CAAC,EAAC,kBAAiB,MAAM,GAA+B;qCACjC,IAAI,gBAAgB;GACjD,MAAM,cAAc,IAAI,KAAK;IAAC,GAAG;IAAO;GAAY,CAAC;GACrD,GAAG,OAAO,6BAA6B;EACzC,EACF;EAKA,IAAI;GACF,eAAe,OAAO,GAAG,QAAQ;IAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;IAG3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAG7C;GAEA,aAAa,OAAO,GAAG,QAAQ;IAE7B,MAAM,GAAG;mBACE,IAAI,eAAe,KAAK,CAAC,EAAE;;GAExC;EACF;EAMA,IAAI,EACF,eAAe,OAAO,GAAG,QAAQ;GAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;EAG7C,EACF;EAIA,IAAI,EACF,eAAe,OAAO,GAAG,QAAQ;GAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;GAE3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;EAE7C,EACF;EAEA,IAAI;GACF,eAAe,OAAO,GAAG,QAAQ;IAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;IAE3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;IAI3C,MAAM,GAAG;8BACa,IAFN,wBAAwB,MAAM,OAAO,MAAM,QAEjC,CAAO,EAAE,aAAa,IAAI,eAAe,KAAK,CAAC,EAAE;;IAG3E,MAAM,GAAG;mBACE,IAAI,eAAe,KAAK,CAAC,EAAE;;GAExC;GAEA,aAAa,OAAO,GAAG,QAAQ;IAC7B,MAAM,GAAG;mBACE,IAAI,eAAe,KAAK,CAAC,EAAE,0BAA0B,EAAuB;;;GAGzF;EACF;EAeA,IAAI;GACF,eAAe,OAAO,GAAG,QAAQ;IAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAG7C;GAQA,aAAa,OAAO,GAAG,QAAQ;IAC7B,MAAM,GAAG;mBACE,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAGxC;EACF;EAMA,IAAI,EACF,eAAe,OAAO,IAAI,QAAQ;GAChC,MAAM,CAAC,EAAC,kBAAiB,MAAM,GAA+B;qCACjC,IAAI,gBAAgB;GACjD,MAAM,cAAc,IAAI,KAAK;IAAC,GAAG;IAAO;GAAY,CAAC;GACrD,GAAG,OAAO,6BAA6B;EACzC,EACF;CACF;AACF;AAGsC,OAAO,KAC3C,yBAAyB;CACvB,OAAO;CACP,UAAU;CACV,cAAc,CAAC,KAAK;AACtB,CAAC,CACH,EAAE,QAAQ,MAAM,SAAS,KAAK,IAAI,MAAM,SAAS,IAAI,CAAC,GAAG,CAAC"}
+{"version":3,"file":"init.js","names":["v","v.parse"],"sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/init.ts"],"sourcesContent":["import type {LogContext} from '@rocicorp/logger';\nimport {assert} from '../../../../../../shared/src/asserts.ts';\nimport * as v from '../../../../../../shared/src/valita.ts';\nimport {\n  runSchemaMigrations,\n  type IncrementalMigrationMap,\n  type Migration,\n} from '../../../../db/migration.ts';\nimport type {PostgresDB} from '../../../../types/pg.ts';\nimport {upstreamSchema, type ShardConfig} from '../../../../types/shards.ts';\nimport {id} from '../../../../types/sql.ts';\nimport {AutoResetSignal} from '../../../change-streamer/schema/tables.ts';\nimport {publishedSchema} from './published.ts';\nimport * as ReplicaStage from './replica-stage-enum.ts';\nimport {\n  getMutationsTableDefinition,\n  legacyReplicationSlot,\n  metadataPublicationName,\n  setupTablesAndReplication,\n  setupTriggers,\n} from './shard.ts';\n\n/**\n * Ensures that a shard is set up for initial sync.\n */\nexport async function ensureShardSchema(\n  lc: LogContext,\n  db: PostgresDB,\n  shard: ShardConfig,\n  installPartialIndexTriggers = true,\n): Promise<void> {\n  const initialSetup: Migration = {\n    migrateSchema: (lc, tx) =>\n      setupTablesAndReplication(lc, tx, shard, installPartialIndexTriggers),\n    minSafeVersion: 1,\n  };\n  await runSchemaMigrations(\n    lc,\n    `upstream-shard-${shard.appID}`,\n    upstreamSchema(shard),\n    db,\n    initialSetup,\n    // The incremental migration of any existing replicas will be replaced by\n    // the incoming replica being synced, so the replicaVersion here is\n    // unnecessary.\n    getIncrementalMigrations(shard, installPartialIndexTriggers),\n  );\n}\n\nfunction getIncrementalMigrations(\n  shard: ShardConfig,\n  installPartialIndexTriggers: boolean,\n): IncrementalMigrationMap {\n  const shardConfigTable = `${upstreamSchema(shard)}.shardConfig`;\n\n  return {\n    6: {\n      migrateSchema: () => {\n        throw new AutoResetSignal('resetting to upgrade shard schema');\n      },\n    },\n\n    // v7: Updates the DDL event trigger protocol to v2, and adds support for\n    //     ALTER SCHEMA x RENAME TO y\n    //     (migration logic subsumbed by v23)\n\n    // v8: Adds support for non-disruptive resyncs, which tracks multiple\n    //     replicas with different slot names.\n    8: {\n      migrateSchema: async (lc, sql) => {\n        const legacyShardConfigSchema = v.object({\n          replicaVersion: v.string().nullable(),\n          initialSchema: publishedSchema.nullable(),\n        });\n        const result = await sql`\n          SELECT \"replicaVersion\", \"initialSchema\" FROM ${sql(shardConfigTable)}`;\n        assert(\n          result.length === 1,\n          () => `Expected exactly one shardConfig row, got ${result.length}`,\n        );\n        const {replicaVersion, initialSchema} = v.parse(\n          result[0],\n          legacyShardConfigSchema,\n          'passthrough',\n        );\n\n        await Promise.all([\n          sql`\n          CREATE TABLE ${sql(upstreamSchema(shard))}.replicas (\n            \"slot\"          TEXT PRIMARY KEY,\n            \"version\"       TEXT NOT NULL,\n            \"initialSchema\" JSON NOT NULL\n          );\n          `,\n          sql`\n          INSERT INTO ${sql(upstreamSchema(shard))}.replicas ${sql({\n            slot: legacyReplicationSlot(shard),\n            version: replicaVersion,\n            initialSchema,\n          })}\n          `,\n          sql`\n          ALTER TABLE ${sql(shardConfigTable)} DROP \"replicaVersion\", DROP \"initialSchema\"\n          `,\n        ]);\n        lc.info?.(`Upgraded schema to support non-disruptive resyncs`);\n      },\n    },\n\n    // v9: Fixes field ordering of compound indexes. This incremental migration\n    // only fixes indexes resulting from new schema changes. A full resync is\n    // required to fix existing indexes.\n    //\n    // The migration has been subsumed by the identical logic for migrating\n    // to v12 (i.e. a trigger upgrade).\n\n    // Adds the `mutations` table used to track mutation results.\n    10: {\n      migrateSchema: async (lc, sql) => {\n        await sql.unsafe(/*sql*/ `\n          ${getMutationsTableDefinition(upstreamSchema(shard))}\n          ALTER PUBLICATION ${id(metadataPublicationName(shard.appID, shard.shardNum))} ADD TABLE ${id(upstreamSchema(shard))}.\"mutations\";\n        `);\n        lc.info?.('Upgraded schema with new mutations table');\n      },\n    },\n\n    // v11: Formerly dropped the schemaVersions table, but restored in the v13\n    // migration for rollback safety.\n\n    // v12: Upgrade DDL trigger to query schemaOID, needed information for auto-backfill.\n    // (subsumed by v14)\n\n    // Recreates the legacy schemaVersions table that was prematurely dropped\n    // in the (former) v11 migration. It needs to remain present for at least one\n    // release in order to be rollback safe.\n    //\n    // TODO: Drop the table once a release that no longer reads the table has\n    // been rolled out.\n    13: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          CREATE TABLE IF NOT EXISTS ${sql(upstreamSchema(shard))}.\"schemaVersions\" (\n            \"minSupportedVersion\" INT4,\n            \"maxSupportedVersion\" INT4,\n            \"lock\" BOOL PRIMARY KEY DEFAULT true CHECK (lock)\n        );`;\n        await sql`\n          INSERT INTO ${sql(upstreamSchema(shard))}.\"schemaVersions\" \n            (\"lock\", \"minSupportedVersion\", \"maxSupportedVersion\")\n            VALUES (true, 1, 1)\n            ON CONFLICT DO NOTHING;\n        `;\n      },\n    },\n\n    // v14: Upgrade DDL trigger to log more info to PG logs.\n    // (subsumed by v16)\n\n    // Add initialSyncContext column to replicas table.\n    15: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas\n            ADD COLUMN \"initialSyncContext\" JSON,\n            ADD COLUMN \"subscriberContext\" JSON\n        `;\n      },\n    },\n\n    // v16: Upgrade DDL trigger to fire on all ALTER TABLE statements\n    // to catch the *removal* of a table from the published set.\n    // v17 (1.0.0): Upgrade DDL triggers to support the COMMENT ON PUBLICATION hook for\n    // working around the lack of event trigger support for PUBLICATION\n    // changes in supabase.\n    // This also adds forwards-compatible support for hierarchical logical\n    // message prefixes and unknown ddl event types.\n    // v18: Pure refactoring of event trigger code.\n    // v19 (1.4.0): Correctly handle concurrently issued DDL statements.\n    // v20 (1.4.0): Handle nested DDL triggers\n    // v21 (1.5.0): Handle cross-transaction DDL operations (i.e. concurrent\n    // index operations), and support manual invocation of update_schemas().\n\n    22: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ALTER \"initialSchema\" DROP NOT NULL;\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            DROP CONSTRAINT replicas_pkey;\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN id TEXT PRIMARY KEY DEFAULT replace(gen_random_uuid()::text, '-', '');\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN rank BIGSERIAL;\n        `;\n      },\n    },\n\n    // v23 (1.6.0): Event triggers: Handle the case where current_query()\n    // returns NULL. Add more logging to debug unexpected messages\n    23: {\n      migrateSchema: async (lc, sql) => {\n        const [{publications}] = await sql<{publications: string[]}[]>`\n          SELECT publications FROM ${sql(shardConfigTable)}`;\n        await setupTriggers(lc, sql, {...shard, publications});\n        lc.info?.(`Upgraded DDL event triggers`);\n      },\n    },\n\n    // v24 (1.10.0):\n    // - adds the \"backupPath\" column for per-replica backups.\n    // - adds the \"generation\" column to replace \"version\".\n    24: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN \"backupPath\" TEXT;\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN \"generation\" TEXT;\n        `;\n      },\n\n      migrateData: async (_, sql) => {\n        // Backfill the \"generation\" column to eventually replace \"version\"\n        await sql`\n          UPDATE ${sql(upstreamSchema(shard))}.replicas SET \"generation\" = \"version\";\n        `;\n      },\n    },\n\n    // v25 (1.10.0):\n    // - adds the \"backupV5\" column to signal the current semantics\n    //   of the replication slot's confirmed_flush_lsn with respect to what\n    //   has been backed up.\n    25: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN \"backupV5\" BOOL DEFAULT false;\n        `;\n      },\n    },\n\n    // v27 (1.11.0):\n    // - make `generation` NOT NULL and stop reading `version`\n    27: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ALTER \"generation\" SET NOT NULL;\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ALTER \"version\" DROP NOT NULL;\n        `;\n      },\n    },\n\n    28: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ADD \"epoch\" INT4 DEFAULT 0;\n        `;\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ADD \"stage\" INT4 DEFAULT 0;  -- ReplicaStage.InitialSync\n        `;\n\n        const metapub = metadataPublicationName(shard.appID, shard.shardNum);\n        await sql`\n          ALTER PUBLICATION ${sql(metapub)} ADD TABLE ${sql(upstreamSchema(shard))}.replicas (id);\n        `;\n        // Make sure supabase gets the ALTER PUBLICATION change\n        await sql`\n          SELECT ${sql(upstreamSchema(shard))}.update_schemas();\n        `;\n      },\n\n      migrateData: async (_, sql) => {\n        await sql`\n          UPDATE ${sql(upstreamSchema(shard))}.replicas SET \"stage\" = ${ReplicaStage.Replicate}\n            WHERE \"subscriberContext\" IS NOT NULL;\n        `;\n      },\n    },\n\n    // v30: Adds the \"pgChangeLog\" column, which records whether the\n    // replication-manager that took over a replica's slot acks it only after\n    // storing transactions in the PG change log (RMv1.5), in which case a\n    // slot position past the change log's head reflects acked keepalives\n    // rather than missing transactions.\n    //\n    // The column defaults to false (i.e. unknown), so that a slot is assumed\n    // to be possibly ahead of the change log until it is taken over by a\n    // replication-manager that sets it. Existing replicas that have been taken\n    // over are backfilled as true (see migrateData). Note that a replication-manager that\n    // predates this column does not reset it when taking over a slot, so\n    // once the column is set, RMv2 (in which acks are not gated on the PG\n    // change log) must run at least this version.\n    30: {\n      migrateSchema: async (_, sql) => {\n        await sql`\n          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas \n            ADD COLUMN IF NOT EXISTS \"pgChangeLog\" BOOL DEFAULT false;\n        `;\n      },\n\n      // Existing replicas whose slots have been taken over (i.e. that have a\n      // subscriberContext) were acked by RMv1 or RMv1.5, which store\n      // transactions in the PG change log before acking them. This assumes\n      // that no RMv2 is running when the migration is run. Replicas that have\n      // not been taken over (e.g. fork destinations) remain unknown, as their\n      // slots have not been acked.\n      migrateData: async (_, sql) => {\n        await sql`\n          UPDATE ${sql(upstreamSchema(shard))}.replicas SET \"pgChangeLog\" = true\n            WHERE \"subscriberContext\" IS NOT NULL;\n        `;\n      },\n    },\n\n    // Note: While this is conditional, it always has to be bumped to the last\n    // version. (It was v29, and is re-run for shards at v29 when it is bumped,\n    // which is harmless as setupTriggers() is idempotent.)\n    ...(installPartialIndexTriggers\n      ? {\n          // v31: Upgrade the DDL event triggers to include partial indexes in\n          // schema snapshots. Note that setupTriggers() also refreshes the\n          // stored \"publishedSchema\" so that the change in format does not\n          // manifest as a spurious schema change.\n          31: {\n            migrateSchema: async (lc, sql) => {\n              const [{publications}] = await sql<{publications: string[]}[]>`\n                SELECT publications FROM ${sql(shardConfigTable)}`;\n              await setupTriggers(lc, sql, {...shard, publications});\n              lc.info?.(`Upgraded DDL event triggers`);\n            },\n          },\n        }\n      : {}),\n  };\n}\n\n// Referenced in tests.\nexport const CURRENT_SCHEMA_VERSION = Object.keys(\n  getIncrementalMigrations(\n    {\n      appID: 'unused',\n      shardNum: 0,\n      publications: ['foo'],\n    },\n    true,\n  ),\n).reduce((prev, curr) => Math.max(prev, parseInt(curr)), 0);\n"],"mappings":";;;;;;;;;;;;;AAyBA,eAAsB,kBACpB,IACA,IACA,OACA,8BAA8B,MACf;CAMf,MAAM,oBACJ,IACA,kBAAkB,MAAM,SACxB,eAAe,KAAK,GACpB,IACA;EATA,gBAAgB,IAAI,OAClB,0BAA0B,IAAI,IAAI,OAAO,2BAA2B;EACtE,gBAAgB;CAOhB,GAIA,yBAAyB,OAAO,2BAA2B,CAC7D;AACF;AAEA,SAAS,yBACP,OACA,6BACyB;CACzB,MAAM,mBAAmB,GAAG,eAAe,KAAK,EAAE;CAElD,OAAO;EACL,GAAG,EACD,qBAAqB;GACnB,MAAM,IAAI,gBAAgB,mCAAmC;EAC/D,EACF;EAQA,GAAG,EACD,eAAe,OAAO,IAAI,QAAQ;GAChC,MAAM,0BAA0BA,eAAE,OAAO;IACvC,gBAAgBA,eAAE,OAAO,CAAC,CAAC,SAAS;IACpC,eAAe,gBAAgB,SAAS;GAC1C,CAAC;GACD,MAAM,SAAS,MAAM,GAAG;0DAC0B,IAAI,gBAAgB;GACtE,OACE,OAAO,WAAW,SACZ,6CAA6C,OAAO,QAC5D;GACA,MAAM,EAAC,gBAAgB,kBAAiBC,MACtC,OAAO,IACP,yBACA,aACF;GAEA,MAAM,QAAQ,IAAI;IAChB,GAAG;yBACY,IAAI,eAAe,KAAK,CAAC,EAAE;;;;;;IAM1C,GAAG;wBACW,IAAI,eAAe,KAAK,CAAC,EAAE,YAAY,IAAI;KACvD,MAAM,sBAAsB,KAAK;KACjC,SAAS;KACT;IACF,CAAC,EAAE;;IAEH,GAAG;wBACW,IAAI,gBAAgB,EAAE;;GAEtC,CAAC;GACD,GAAG,OAAO,mDAAmD;EAC/D,EACF;EAUA,IAAI,EACF,eAAe,OAAO,IAAI,QAAQ;GAChC,MAAM,IAAI,OAAe;YACrB,4BAA4B,eAAe,KAAK,CAAC,EAAE;8BACjC,GAAG,wBAAwB,MAAM,OAAO,MAAM,QAAQ,CAAC,EAAE,aAAa,GAAG,eAAe,KAAK,CAAC,EAAE;SACrH;GACD,GAAG,OAAO,0CAA0C;EACtD,EACF;EAcA,IAAI,EACF,eAAe,OAAO,GAAG,QAAQ;GAC/B,MAAM,GAAG;uCACsB,IAAI,eAAe,KAAK,CAAC,EAAE;;;;;GAK1D,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;;;EAK7C,EACF;EAMA,IAAI,EACF,eAAe,OAAO,GAAG,QAAQ;GAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;;EAI7C,EACF;EAeA,IAAI,EACF,eAAe,OAAO,GAAG,QAAQ;GAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAG3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAG3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAG3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;EAG7C,EACF;EAIA,IAAI,EACF,eAAe,OAAO,IAAI,QAAQ;GAChC,MAAM,CAAC,EAAC,kBAAiB,MAAM,GAA+B;qCACjC,IAAI,gBAAgB;GACjD,MAAM,cAAc,IAAI,KAAK;IAAC,GAAG;IAAO;GAAY,CAAC;GACrD,GAAG,OAAO,6BAA6B;EACzC,EACF;EAKA,IAAI;GACF,eAAe,OAAO,GAAG,QAAQ;IAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;IAG3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAG7C;GAEA,aAAa,OAAO,GAAG,QAAQ;IAE7B,MAAM,GAAG;mBACE,IAAI,eAAe,KAAK,CAAC,EAAE;;GAExC;EACF;EAMA,IAAI,EACF,eAAe,OAAO,GAAG,QAAQ;GAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;EAG7C,EACF;EAIA,IAAI,EACF,eAAe,OAAO,GAAG,QAAQ;GAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;GAE3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;EAE7C,EACF;EAEA,IAAI;GACF,eAAe,OAAO,GAAG,QAAQ;IAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;IAE3C,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;IAI3C,MAAM,GAAG;8BACa,IAFN,wBAAwB,MAAM,OAAO,MAAM,QAEjC,CAAO,EAAE,aAAa,IAAI,eAAe,KAAK,CAAC,EAAE;;IAG3E,MAAM,GAAG;mBACE,IAAI,eAAe,KAAK,CAAC,EAAE;;GAExC;GAEA,aAAa,OAAO,GAAG,QAAQ;IAC7B,MAAM,GAAG;mBACE,IAAI,eAAe,KAAK,CAAC,EAAE,0BAA0B,EAAuB;;;GAGzF;EACF;EAeA,IAAI;GACF,eAAe,OAAO,GAAG,QAAQ;IAC/B,MAAM,GAAG;wBACO,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAG7C;GAQA,aAAa,OAAO,GAAG,QAAQ;IAC7B,MAAM,GAAG;mBACE,IAAI,eAAe,KAAK,CAAC,EAAE;;;GAGxC;EACF;EAKA,GAAI,8BACA,EAKE,IAAI,EACF,eAAe,OAAO,IAAI,QAAQ;GAChC,MAAM,CAAC,EAAC,kBAAiB,MAAM,GAA+B;2CACjC,IAAI,gBAAgB;GACjD,MAAM,cAAc,IAAI,KAAK;IAAC,GAAG;IAAO;GAAY,CAAC;GACrD,GAAG,OAAO,6BAA6B;EACzC,EACF,EACF,IACA,CAAC;CACP;AACF;AAGsC,OAAO,KAC3C,yBACE;CACE,OAAO;CACP,UAAU;CACV,cAAc,CAAC,KAAK;AACtB,GACA,IACF,CACF,CAAC,CAAC,QAAQ,MAAM,SAAS,KAAK,IAAI,MAAM,SAAS,IAAI,CAAC,GAAG,CAAC"}

package/out/zero-cache/src/services/change-source/pg/schema/published.d.ts

@@ -2,7 +2,7 @@ import type { LogContext } from '@rocicorp/logger';
 import type postgres from 'postgres';
 import * as v from '../../../../../../shared/src/valita.ts';
 import { type UnsupportedPredicateReason } from './index-predicate.ts';
-export declare function publishedSchemaQuery(publications: readonly string[]): string;
+export declare function publishedSchemaQuery(publications: readonly string[], includePartialIndexes?: boolean): string;
 export type SkippedIndexDiagnostic = {
     readonly schema: string;
     readonly index: string;

package/out/zero-cache/src/services/change-source/pg/schema/published.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"published.d.ts","sourceRoot":"","sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/published.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,kBAAkB,CAAC;AAEjD,OAAO,KAAK,QAAQ,MAAM,UAAU,CAAC;AAIrC,OAAO,KAAK,CAAC,MAAM,wCAAwC,CAAC;AAc5D,OAAO,EAEL,KAAK,0BAA0B,EAChC,MAAM,sBAAsB,CAAC;AAE9B,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,UA6KnE;AAcD,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC;CAC7C,CAAC;AAMF,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,eAAe,GACtB,SAAS,sBAAsB,EAAE,CAEnC;AAED,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,UAAU,EACd,MAAM,EAAE,eAAe,EACvB,MAAM,GAAE,GAAG,CAAC,MAAM,CAAa,GAC9B,IAAI,CAWN;AAED,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4FxB,CAAC;AAEL,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,MAAM,MAAM,iCAAiC,GAC3C,eAAe,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC;AAUpC,QAAA,MAAM,wBAAwB;;;;;;cAA6B,CAAC;AAE5D,MAAM,MAAM,eAAe,GAAG,eAAe,GAAG;IAC9C,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;CACxD,CAAC;AAEF;;GAEG;AACH,wBAAsB,kBAAkB,CACtC,GAAG,EAAE,QAAQ,CAAC,GAAG,EACjB,YAAY,EAAE,MAAM,EAAE,GACrB,OAAO,CAAC,eAAe,CAAC,CAsD1B"}
+{"version":3,"file":"published.d.ts","sourceRoot":"","sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/published.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,kBAAkB,CAAC;AAEjD,OAAO,KAAK,QAAQ,MAAM,UAAU,CAAC;AAIrC,OAAO,KAAK,CAAC,MAAM,wCAAwC,CAAC;AAc5D,OAAO,EAEL,KAAK,0BAA0B,EAChC,MAAM,sBAAsB,CAAC;AAE9B,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,SAAS,MAAM,EAAE,EAC/B,qBAAqB,UAAO,UA+K7B;AAcD,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC;CAC7C,CAAC;AAMF,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,eAAe,GACtB,SAAS,sBAAsB,EAAE,CAEnC;AAED,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,UAAU,EACd,MAAM,EAAE,eAAe,EACvB,MAAM,GAAE,GAAG,CAAC,MAAM,CAAa,GAC9B,IAAI,CAWN;AAED,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4FxB,CAAC;AAEL,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,MAAM,MAAM,iCAAiC,GAC3C,eAAe,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC;AAUpC,QAAA,MAAM,wBAAwB;;;;;;cAA6B,CAAC;AAE5D,MAAM,MAAM,eAAe,GAAG,eAAe,GAAG;IAC9C,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;CACxD,CAAC;AAEF;;GAEG;AACH,wBAAsB,kBAAkB,CACtC,GAAG,EAAE,QAAQ,CAAC,GAAG,EACjB,YAAY,EAAE,MAAM,EAAE,GACrB,OAAO,CAAC,eAAe,CAAC,CAsD1B"}

package/out/zero-cache/src/services/change-source/pg/schema/published.js

@@ -10,7 +10,7 @@ import { getOrCreateCounter } from "../../../../observability/metrics.js";
 import { translatePostgresIndexPredicate } from "./index-predicate.js";
 import { literal } from "pg-format";
 //#region ../zero-cache/src/services/change-source/pg/schema/published.ts
-function publishedSchemaQuery(publications) {
+function publishedSchemaQuery(publications, includePartialIndexes = true) {
 	return `
 WITH published_columns AS (SELECT 
   pc.oid::int8 AS "oid",
@@ -129,6 +129,7 @@ tables AS (SELECT json_build_object(
     LEFT JOIN pg_constraint ON pg_constraint.conindid = pc.oid
     WHERE pb.pubname IN (${literal(publications)})
       AND pg_index.indexprs IS NULL
+      AND (${includePartialIndexes} OR pg_index.indpred IS NULL)
       AND (pg_constraint.contype IS NULL OR pg_constraint.contype IN ('p', 'u'))
       AND indexed.attnames <@ pb.attnames
       AND (current_setting('server_version_num')::int >= 160000 OR false = ALL(indexed.generated))
@@ -286,6 +287,6 @@ async function getPublicationInfo(sql, publications) {
 	return info;
 }
 //#endregion
-export { getPublicationInfo, publishedSchema, publishedSchemaQuery, warnForSkippedIndexes };
+export { getPublicationInfo, getSkippedIndexDiagnostics, publishedSchema, publishedSchemaQuery, warnForSkippedIndexes };
 
 //# sourceMappingURL=published.js.map