@rocicorp/zero 1.11.0-canary.3 → 1.11.0-canary.30

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","#parsePrimary","#parseCastName","#expectIdentifier"],"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 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        | 'AND'\n        | 'OR'\n        | 'NOT'\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    const op = this.#tokens[this.#position]?.type;\n    if (isComparison(op)) {\n      this.#position++;\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 === 'identifier' &&\n      unsupportedOperatorWords.has(next.value.toUpperCase())\n    ) {\n      throw new UnsupportedPredicateError('unsupported-operator');\n    }\n    return left;\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    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    }\n    if (this.#tokens[this.#position]?.type === '(') {\n      throw new UnsupportedPredicateError('unsupported-cast');\n    }\n    return parts.join('.');\n  }\n\n  #expectIdentifier(): string {\n    const token = this.#tokens[this.#position++];\n    if (token?.type !== 'identifier') {\n      throw new UnsupportedPredicateError('unsupported-cast');\n    }\n    return token.value;\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  'ANY',\n  'BETWEEN',\n  'ILIKE',\n  'IN',\n  'LIKE',\n  'SIMILAR',\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    if (char === '(' || char === ')' || char === '.') {\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 === '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,mBAAmB;AACzB,IAAM,gBAAgB;AACtB,IAAM,iBAAmD;CACvD,GAAG;CACH,GAAG;CACH,GAAG;CACH,GAAG;CACH,GAAG;CACH,GAAG;AACL;AAgFA,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,MAAM,KAAK,KAAKP,QAAQ,KAAKO,YAAY;EACzC,IAAI,aAAa,EAAE,GAAG;GACpB,KAAKA;GACL,OAAO;IACL,MAAM;IACN;IACA;IACA,OAAO,KAAKD,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,gBACf,yBAAyB,IAAI,KAAK,MAAM,YAAY,CAAC,GAErD,MAAM,IAAI,0BAA0B,sBAAsB;EAE5D,OAAO;CACT;CAEA,gBAAsB;EACpB,IAAI,aAAa,KAAKC,cAAc;EACpC,OAAO,KAAKL,MAAM,IAAI,GACpB,aAAa;GACX,MAAM;GACN;GACA,MAAM,KAAKM,eAAe;EAC5B;EAEF,OAAO;CACT;CAEA,gBAAsB;EACpB,IAAI,KAAKN,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,KAAKG,kBAAkB;EACrC,MAAM,QAAQ,CAAC,KAAK;EACpB,OAAO,KAAKP,MAAM,GAAG,GAAG,MAAM,KAAK,KAAKO,kBAAkB,CAAC;EAC3D,MAAM,OAAO,KAAKV,QAAQ,KAAKO;EAC/B,IACE,MAAM,YAAY,MAAM,eACxB,MAAM,SAAS,gBACf,KAAK,MAAM,YAAY,MAAM,WAE7B,MAAM,KAAK,KAAKG,kBAAkB,CAAC;EAErC,IAAI,KAAKV,QAAQ,KAAKO,YAAY,SAAS,KACzC,MAAM,IAAI,0BAA0B,kBAAkB;EAExD,OAAO,MAAM,KAAK,GAAG;CACvB;CAEA,oBAA4B;EAC1B,MAAM,QAAQ,KAAKP,QAAQ,KAAKO;EAChC,IAAI,OAAO,SAAS,cAClB,MAAM,IAAI,0BAA0B,kBAAkB;EAExD,OAAO,MAAM;CACf;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;CACA;CACA;AACF,CAAC;AAED,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,IAAI,SAAS,OAAO,SAAS,OAAO,SAAS,KAAK;GAChD,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,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":["#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"}

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;AAY7E;;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;AAgOD,eAAO,MAAM,sBAAsB,QASwB,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;AAyQD,eAAO,MAAM,sBAAsB,QASwB,CAAC"}

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

@@ -3,6 +3,7 @@ import { parse, valita_exports } from "../../../../../../shared/src/valita.js";
 import { upstreamSchema } from "../../../../types/shards.js";
 import { id } from "../../../../types/sql.js";
 import { publishedSchema } from "./published.js";
+import "./replica-stage-enum.js";
 import { getMutationsTableDefinition, legacyReplicationSlot, metadataPublicationName, setupTablesAndReplication, setupTriggers } from "./shard.js";
 import { AutoResetSignal } from "../../../change-streamer/schema/tables.js";
 import { runSchemaMigrations } from "../../../../db/migration.js";
@@ -130,7 +131,37 @@ function getIncrementalMigrations(shard, installPartialIndexTriggers) {
             ADD COLUMN "backupV5" BOOL DEFAULT false;
         `;
 		} },
-		...installPartialIndexTriggers ? { 26: { migrateSchema: async (lc, sql) => {
+		27: { migrateSchema: async (_, sql) => {
+			await sql`
+          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ALTER "generation" SET NOT NULL;
+        `;
+			await sql`
+          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ALTER "version" DROP NOT NULL;
+        `;
+		} },
+		28: {
+			migrateSchema: async (_, sql) => {
+				await sql`
+          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ADD "epoch" INT4 DEFAULT 0;
+        `;
+				await sql`
+          ALTER TABLE ${sql(upstreamSchema(shard))}.replicas ADD "stage" INT4 DEFAULT 0;  -- ReplicaStage.InitialSync
+        `;
+				await sql`
+          ALTER PUBLICATION ${sql(metadataPublicationName(shard.appID, shard.shardNum))} ADD TABLE ${sql(upstreamSchema(shard))}.replicas (id);
+        `;
+				await sql`
+          SELECT ${sql(upstreamSchema(shard))}.update_schemas();
+        `;
+			},
+			migrateData: async (_, sql) => {
+				await sql`
+          UPDATE ${sql(upstreamSchema(shard))}.replicas SET "stage" = ${1}
+            WHERE "subscriberContext" IS NOT NULL;
+        `;
+			}
+		},
+		...installPartialIndexTriggers ? { 29: { migrateSchema: async (lc, sql) => {
 			const [{ publications }] = await sql`
                 SELECT publications FROM ${sql(shardConfigTable)}`;
 			await setupTriggers(lc, sql, {

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 {\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    ...(installPartialIndexTriggers\n      ? {\n          // v26: 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          26: {\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":";;;;;;;;;;;;AAwBA,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,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;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;EAEA,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,EAAE,QAAQ,MAAM,SAAS,KAAK,IAAI,MAAM,SAAS,IAAI,CAAC,GAAG,CAAC"}
+{"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  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    // Note: While this is conditional, it always has to be bumped to the last version.\n    ...(installPartialIndexTriggers\n      ? {\n          // v28: 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          29: {\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,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;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;EAGA,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,EAAE,QAAQ,MAAM,SAAS,KAAK,IAAI,MAAM,SAAS,IAAI,CAAC,GAAG,CAAC"}

package/out/zero-cache/src/services/change-source/pg/schema/replica-stage-enum.d.ts

@@ -0,0 +1,10 @@
+import * as v from '../../../../../../shared/src/valita.ts';
+export declare const InitialSync = 0;
+export declare const Replicate = 1;
+export declare const Restore = 2;
+export type InitialSync = typeof InitialSync;
+export type Replicate = typeof Replicate;
+export type Restore = typeof Restore;
+export declare const replicaStageSchema: v.Type<0 | 1 | 2>;
+export type ReplicaStage = v.Infer<typeof replicaStageSchema>;
+//# sourceMappingURL=replica-stage-enum.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"replica-stage-enum.d.ts","sourceRoot":"","sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/replica-stage-enum.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,wCAAwC,CAAC;AAM5D,eAAO,MAAM,WAAW,IAAI,CAAC;AAC7B,eAAO,MAAM,SAAS,IAAI,CAAC;AAC3B,eAAO,MAAM,OAAO,IAAI,CAAC;AAEzB,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC;AAC7C,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC;AACzC,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC;AAErC,eAAO,MAAM,kBAAkB,mBAI9B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC"}

package/out/zero-cache/src/services/change-source/pg/schema/replica-stage-enum.js

@@ -0,0 +1,6 @@
+import { literalUnion } from "../../../../../../shared/src/valita.js";
+var replicaStageSchema = literalUnion(0, 1, 2);
+//#endregion
+export { replicaStageSchema };
+
+//# sourceMappingURL=replica-stage-enum.js.map

package/out/zero-cache/src/services/change-source/pg/schema/replica-stage-enum.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"replica-stage-enum.js","names":[],"sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/replica-stage-enum.ts"],"sourcesContent":["import * as v from '../../../../../../shared/src/valita.ts';\n\n// Note: The stages are ordered by restore availability:\n// * InitialSync is the first to create the generation, by definition.\n// * Replicate has already restored and thus can be restored from\n// * Restore is in the process of awaiting the backup\nexport const InitialSync = 0;\nexport const Replicate = 1;\nexport const Restore = 2;\n\nexport type InitialSync = typeof InitialSync;\nexport type Replicate = typeof Replicate;\nexport type Restore = typeof Restore;\n\nexport const replicaStageSchema = v.literalUnion(\n  InitialSync,\n  Replicate,\n  Restore,\n);\n\nexport type ReplicaStage = v.Infer<typeof replicaStageSchema>;\n"],"mappings":";AAcA,IAAa,qBAAqB,aAAA,GAAA,GAAA,CAIlC"}

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

@@ -4,6 +4,7 @@ import * as v from '../../../../../../shared/src/valita.ts';
 import type { PostgresDB, PostgresTransaction } from '../../../../types/pg.ts';
 import type { AppID, ShardConfig, ShardID } from '../../../../types/shards.ts';
 import { type PublicationInfo, type PublishedSchema } from './published.ts';
+import { type ReplicaStage } from './replica-stage-enum.ts';
 /**
  * Validates that a publication name is a valid PostgreSQL identifier.
  * This provides defense-in-depth against SQL injection when publication
@@ -38,15 +39,20 @@ declare const internalShardConfigSchema: v.ObjectType<{
     ddlDetection: v.Type<boolean>;
 }, undefined>;
 export type InternalShardConfig = v.Infer<typeof internalShardConfigSchema>;
-declare const replicaSchema: v.Type<{
-    publications: string[];
-    ddlDetection: boolean;
-    id: string;
-    rank: bigint;
-    slot: string;
-    backupPath: string | null;
-    backupV5: boolean;
-    initialSchema: {
+declare const replicaSchema: v.ObjectType<Omit<{
+    publications: v.ArrayType<v.Type<string>>;
+    ddlDetection: v.Type<boolean>;
+}, "backupPath" | "backupV5" | "epoch" | "generation" | "id" | "initialSchema" | "initialSyncContext" | "rank" | "slot" | "stage" | "subscriberContext"> & Omit<{
+    id: v.Type<string>;
+    rank: v.Type<bigint>;
+    slot: v.Type<string>;
+    epoch: v.Type<number>;
+    generation: v.Type<string>;
+    stage: v.Type<0 | 1 | 2>;
+    backupPath: v.UnionType<[v.Type<null>, v.Type<string>]>;
+    backupV5: v.Type<boolean>;
+}, "initialSchema" | "initialSyncContext" | "subscriberContext"> & {
+    initialSchema: v.Type<{
         indexes: {
             readonly name: string;
             readonly tableName: string;
@@ -111,22 +117,24 @@ declare const replicaSchema: v.Type<{
             };
             replicaIdentityColumns: string[];
         }[];
-    };
-    initialSyncContext: Readonly<Record<string, import("../../../../../../shared/src/bigint-json.ts").JSONValue>> | null;
-    subscriberContext: Readonly<Record<string, import("../../../../../../shared/src/bigint-json.ts").JSONValue>> | null;
-    generation: string;
-}>;
+    }>;
+    initialSyncContext: v.UnionType<[v.Type<null>, v.Type<Readonly<Record<string, import("../../../../../../shared/src/bigint-json.ts").JSONValue>>>]>;
+    subscriberContext: v.UnionType<[v.Type<null>, v.Type<Readonly<Record<string, import("../../../../../../shared/src/bigint-json.ts").JSONValue>>>]>;
+}, undefined>;
 export type Replica = v.Infer<typeof replicaSchema>;
-declare const replicaStateSchema: v.Type<{
-    id: string;
-    rank: bigint;
-    slot: string;
-    backupPath: string | null;
-    backupV5: boolean;
-    active: boolean;
-    confirmedFlushLsn: string | null;
-    generation: string;
-}>;
+declare const replicaStateSchema: v.ObjectType<Omit<{
+    id: v.Type<string>;
+    rank: v.Type<bigint>;
+    slot: v.Type<string>;
+    epoch: v.Type<number>;
+    generation: v.Type<string>;
+    stage: v.Type<0 | 1 | 2>;
+    backupPath: v.UnionType<[v.Type<null>, v.Type<string>]>;
+    backupV5: v.Type<boolean>;
+}, "active" | "confirmedFlushLsn"> & {
+    active: v.Type<boolean>;
+    confirmedFlushLsn: v.Type<string>;
+}, undefined>;
 export type ReplicaState = v.Infer<typeof replicaStateSchema>;
 export type BackupOptions = {
     backupPath: string | null;
@@ -138,17 +146,32 @@ export type BackupOptions = {
  * to ensure that the slot does not get dropped by concurrent cleanup
  * logic.
  *
- * Once initial sync is complete, {@link initReplica} should be called to
+ * Once initial sync is complete, {@link initInitialSyncReplica} should be called to
  * make the replica usable for incremental sync.
  */
-export declare function createReplica(sql: PostgresDB, shard: ShardID, id: string, slot: string, replicaVersion: string, { backupPath, backupV5 }: BackupOptions): Promise<void>;
-export declare function initReplica(sql: PostgresDB, shard: ShardID, id: string, { tables, indexes }: PublishedSchema, initialSyncContext: JSONObject): Promise<void>;
+export declare function createReplica(sql: PostgresDB, shard: ShardID, id: string, slot: string, epoch: number, replicaVersion: string, { backupPath, backupV5 }: BackupOptions, stage: ReplicaStage): Promise<void>;
+export declare function initInitialSyncReplica(sql: PostgresDB, shard: ShardID, id: string, { tables, indexes }: PublishedSchema, initialSyncContext: JSONObject): Promise<void>;
+export declare function initRestoreReplica(sql: PostgresDB, shard: ShardID, { sourceID, destID }: {
+    sourceID: string;
+    destID: string;
+}): Promise<ReplicaState | null>;
 /**
  * Gets at the given version and optional ID. If no ID is specified, gets
  * the latest (i.e. highest rank) replica with that version.
  */
 export declare function getReplicaAtVersion(lc: LogContext, sql: PostgresDB, shard: ShardID, replicaVersion: string, id?: string | null, context?: JSONObject): Promise<Replica | null>;
 export declare function getActiveReplicas(lc: LogContext, sql: PostgresDB, shard: ShardID): Promise<ReplicaState[]>;
+/**
+ * Returns candidates for restoring a new replica from. These include
+ * all replicas in the newest `generation` of the given `epoch`, in order
+ * of earliest available backup:
+ * - An active InitialSync replica, which will be the only replica in
+ *   its generation by definition. Orphaned/inactive initial syncs are skipped.
+ * - Replicas in the Replicate stage, active first.
+ * - Replicas in the Restore stage, potentially available for resumption
+ *   as a last resort.
+ */
+export declare function getRestoreCandidates(sql: PostgresDB, shard: ShardID, epoch: number): Promise<ReplicaState[]>;
 export declare function getReplicaState(sql: PostgresDB, shard: ShardID, id: string): Promise<ReplicaState | null>;
 export declare function getInternalShardConfig(sql: PostgresDB, shard: ShardID): Promise<InternalShardConfig>;
 /**

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

@@ -1 +1 @@
-{"version":3,"file":"shard.d.ts","sourceRoot":"","sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/shard.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,kBAAkB,CAAC;AAIjD,OAAO,EAGL,KAAK,UAAU,EAChB,MAAM,6CAA6C,CAAC;AACrD,OAAO,KAAK,CAAC,MAAM,wCAAwC,CAAC;AAE5D,OAAO,KAAK,EAAC,UAAU,EAAE,mBAAmB,EAAC,MAAM,yBAAyB,CAAC;AAC7E,OAAO,KAAK,EAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAC,MAAM,6BAA6B,CAAC;AAO7E,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,eAAe,EACrB,MAAM,gBAAgB,CAAC;AASxB;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAY1D;AAED,wBAAgB,yBAAyB,CAAC,EAAC,KAAK,EAAC,EAAE,KAAK,UAEvD;AAED,wBAAgB,qBAAqB,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAC,EAAE,OAAO,UAE/D;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,UAGnD;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,UAIvD;AAMD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,GAAG,MAAM,UAGzB;AAoCD,wBAAsB,kBAAkB,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,iBAEpE;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,MAAM,UASvD;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,MAAM,UASzD;AAED,eAAO,MAAM,kBAAkB,gBAAgB,CAAC;AAEhD,wBAAgB,UAAU,CACxB,WAAW,EAAE,WAAW,EACxB,mBAAmB,EAAE,MAAM,GAC1B,MAAM,CAmDR;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAYzE;AAED,QAAA,MAAM,yBAAyB;;;aAG7B,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAkB5E,QAAA,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKf,CAAC;AAEL,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAOpD,QAAA,MAAM,kBAAkB;;;;;;;;;EAKpB,CAAC;AAEL,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAa9D,MAAM,MAAM,aAAa,GAAG;IAC1B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,QAAQ,EAAE,OAAO,CAAC;CACnB,CAAC;AAEF;;;;;;;;GAQG;AACH,wBAAsB,aAAa,CACjC,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,EACd,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,cAAc,EAAE,MAAM,EACtB,EAAC,UAAU,EAAE,QAAQ,EAAC,EAAE,aAAa,iBAYtC;AAGD,wBAAsB,WAAW,CAC/B,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,EACd,EAAE,EAAE,MAAM,EACV,EAAC,MAAM,EAAE,OAAO,EAAC,EAAE,eAAe,EAClC,kBAAkB,EAAE,UAAU,iBAM/B;AAED;;;GAGG;AACH,wBAAsB,mBAAmB,CACvC,EAAE,EAAE,UAAU,EACd,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,EACd,cAAc,EAAE,MAAM,EACtB,EAAE,GAAE,MAAM,GAAG,IAAW,EACxB,OAAO,CAAC,EAAE,UAAU,GACnB,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,CAkCzB;AAED,wBAAsB,iBAAiB,CACrC,EAAE,EAAE,UAAU,EACd,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,YAAY,EAAE,CAAC,CAoBzB;AAED,wBAAsB,eAAe,CACnC,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,EACd,EAAE,EAAE,MAAM,GACT,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAmB9B;AAED,wBAAsB,sBAAsB,CAC1C,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,mBAAmB,CAAC,CAU9B;AAED;;;GAGG;AACH,wBAAsB,yBAAyB,CAC7C,EAAE,EAAE,UAAU,EACd,GAAG,EAAE,mBAAmB,EACxB,SAAS,EAAE,WAAW,EACtB,qBAAqB,UAAO,iBAyD7B;AAED,wBAAsB,aAAa,CACjC,EAAE,EAAE,UAAU,EACd,EAAE,EAAE,mBAAmB,EACvB,KAAK,EAAE,WAAW,EAClB,qBAAqB,UAAO,iBAmC7B;AAED,wBAAgB,oBAAoB,CAClC,EAAE,EAAE,UAAU,EACd,SAAS,EAAE,eAAe,QAkB3B;AAED,KAAK,iBAAiB,GAAG;IACvB,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACtD,CAAC;AAEF,wBAAgB,4CAA4C,CAC1D,IAAI,EAAE,eAAe,GACpB,iBAAiB,GAAG,SAAS,CAgD/B"}
+{"version":3,"file":"shard.d.ts","sourceRoot":"","sources":["../../../../../../../../zero-cache/src/services/change-source/pg/schema/shard.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,kBAAkB,CAAC;AAIjD,OAAO,EAGL,KAAK,UAAU,EAChB,MAAM,6CAA6C,CAAC;AACrD,OAAO,KAAK,CAAC,MAAM,wCAAwC,CAAC;AAE5D,OAAO,KAAK,EAAC,UAAU,EAAE,mBAAmB,EAAC,MAAM,yBAAyB,CAAC;AAC7E,OAAO,KAAK,EAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAC,MAAM,6BAA6B,CAAC;AAO7E,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,eAAe,EACrB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAGL,KAAK,YAAY,EAClB,MAAM,yBAAyB,CAAC;AASjC;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAY1D;AAED,wBAAgB,yBAAyB,CAAC,EAAC,KAAK,EAAC,EAAE,KAAK,UAEvD;AAED,wBAAgB,qBAAqB,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAC,EAAE,OAAO,UAE/D;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,UAGnD;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,UAIvD;AAMD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,GAAG,MAAM,UAGzB;AAoCD,wBAAsB,kBAAkB,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,iBAEpE;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,MAAM,UASvD;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,MAAM,UASzD;AAED,eAAO,MAAM,kBAAkB,gBAAgB,CAAC;AAEhD,wBAAgB,UAAU,CACxB,WAAW,EAAE,WAAW,EACxB,mBAAmB,EAAE,MAAM,GAC1B,MAAM,CAwDR;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAYzE;AAED,QAAA,MAAM,yBAAyB;;;aAG7B,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAmB5E,QAAA,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;aAElB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAOpD,QAAA,MAAM,kBAAkB;;;;;;;;;;;;aAEvB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAa9D,MAAM,MAAM,aAAa,GAAG;IAC1B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,QAAQ,EAAE,OAAO,CAAC;CACnB,CAAC;AAEF;;;;;;;;GAQG;AACH,wBAAsB,aAAa,CACjC,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,EACd,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,cAAc,EAAE,MAAM,EACtB,EAAC,UAAU,EAAE,QAAQ,EAAC,EAAE,aAAa,EACrC,KAAK,EAAE,YAAY,iBAapB;AAGD,wBAAsB,sBAAsB,CAC1C,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,EACd,EAAE,EAAE,MAAM,EACV,EAAC,MAAM,EAAE,OAAO,EAAC,EAAE,eAAe,EAClC,kBAAkB,EAAE,UAAU,iBAM/B;AAID,wBAAsB,kBAAkB,CACtC,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,EACd,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAE;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAC,GACrD,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAW9B;AAED;;;GAGG;AACH,wBAAsB,mBAAmB,CACvC,EAAE,EAAE,UAAU,EACd,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,EACd,cAAc,EAAE,MAAM,EACtB,EAAE,GAAE,MAAM,GAAG,IAAW,EACxB,OAAO,CAAC,EAAE,UAAU,GACnB,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,CAmCzB;AAED,wBAAsB,iBAAiB,CACrC,EAAE,EAAE,UAAU,EACd,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,YAAY,EAAE,CAAC,CA0BzB;AAED;;;;;;;;;GASG;AACH,wBAAsB,oBAAoB,CACxC,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,YAAY,EAAE,CAAC,CAsCzB;AAED,wBAAsB,eAAe,CACnC,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,EACd,EAAE,EAAE,MAAM,GACT,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAoB9B;AAED,wBAAsB,sBAAsB,CAC1C,GAAG,EAAE,UAAU,EACf,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,mBAAmB,CAAC,CAU9B;AAED;;;GAGG;AACH,wBAAsB,yBAAyB,CAC7C,EAAE,EAAE,UAAU,EACd,GAAG,EAAE,mBAAmB,EACxB,SAAS,EAAE,WAAW,EACtB,qBAAqB,UAAO,iBAyD7B;AAED,wBAAsB,aAAa,CACjC,EAAE,EAAE,UAAU,EACd,EAAE,EAAE,mBAAmB,EACvB,KAAK,EAAE,WAAW,EAClB,qBAAqB,UAAO,iBAmC7B;AAED,wBAAgB,oBAAoB,CAClC,EAAE,EAAE,UAAU,EACd,SAAS,EAAE,eAAe,QAkB3B;AAED,KAAK,iBAAiB,GAAG;IACvB,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACtD,CAAC;AAEF,wBAAgB,4CAA4C,CAC1D,IAAI,EAAE,eAAe,GACpB,iBAAiB,GAAG,SAAS,CAgD/B"}