@typed-sql/postgres 2.1.0-rc.1 → 2.1.0

package/CHANGELOG.md

@@ -1,5 +1,147 @@
 # @typed-sql/postgres
 
+## 2.1.0
+
+### Minor Changes
+
+- 1041bfa: Add the grammar-neutral parser toolkit and move first-party parsing, ASTs, tokenization, and walking into each grammar package. The historical multi-dialect AST parser is isolated as a deprecated typed-sql 2.x compatibility surface for removal in 3.0.
+- 1041bfa: Allow non-empty arrays of typed SQL fragments to be interpolated directly as homogeneous,
+  comma-separated structure. Add fail-closed compiler analysis for direct map callbacks and fragment
+  literals, cardinality-independent artifacts, bounded prepared-cardinality caches, shared grammar
+  conformance, and runtime limits while preserving ordinary arrays as single bound values.
+- 1041bfa: Complete PostgreSQL grouping-set, ordered/hypothetical aggregate, window-frame, lateral function,
+  `ROWS FROM`, ordinality, table-sampling, and pagination analysis. Grouping legality, window
+  inheritance and modifiers, record-returning functions, null-padded function rows, and version-stable
+  query clauses now infer exact or deliberately conservative types with source diagnostics.
+- 1041bfa: Infer PostgreSQL `UNION`, `INTERSECT`, and `EXCEPT` rows and recursive CTE seed/member contracts,
+  including PostgreSQL 14+ `SEARCH` and `CYCLE` generated columns. Invalid compound arity, missing
+  `WITH RECURSIVE`, misplaced seed terms, unsafe self-reference shapes, and invalid generated-column
+  references now fail closed with stable diagnostics and source spans.
+- 1041bfa: Add a public, versioned PostgreSQL extension manifest API for types, routines, operators, casts,
+  codecs, and optional driver-neutral introspection. Manifests activate from installed extension
+  version evidence, participate in fail-closed query analysis and snapshot generation, and report
+  unsupported versions or conflicting declarations with stable diagnostics.
+- 1041bfa: Complete PostgreSQL snapshot v2 introspection evidence for partition relationships, partition
+  strategies, search-path and role-scoped catalog visibility, routine parallel safety, record results,
+  and distinct `anyelement` and `anycompatible` polymorphic families. The provider keeps role names
+  out of serialized artifacts while making the visibility boundary explicit.
+- 1041bfa: Harden PostgreSQL execution with policy-owned scalar and array codecs, runtime extension codec OID
+  resolution, generated-snapshot compatibility checks, bounded per-connection prepared-statement
+  caches with schema and search-path invalidation, and structured driver failure classifications.
+  Keep the shared `TSQ230` diagnostic registry text grammar-neutral.
+- 1041bfa: Publish the grammar-owned PostgreSQL support policy for upstream-supported majors 14 through 18,
+  the exact current minor selected for each differential target, PostgreSQL 19 beta as a canary, and
+  the deprecation window used when an upstream major reaches end of life.
+- 1041bfa: Resolve PostgreSQL operators and snapshot v2 routines through a grammar-owned candidate selector
+  that uses canonical types, cast contexts, preferred categories, unknown-literal rules, domains,
+  arrays, ranges, enums, and the `anyelement` and `anycompatible` polymorphic families.
+  Named, defaulted, expanded-variadic, and explicit-variadic routine calls now select against snapshot
+  argument evidence, while known invalid explicit casts produce a stable diagnostic.
+  The versioned core catalog now recognizes PostgreSQL temporal, bit-string, network, geometric,
+  full-text, XML, range, multirange, object-identifier, and related scalar types. Unary numeric and
+  bitwise operators, plus binary integer and bit-string operators, now resolve through typed
+  candidates and reject invalid operands. Date, timestamp, time, and interval arithmetic now uses
+  asymmetric PostgreSQL signatures, with parameter inference deferred until candidate selection.
+  Built-in range/multirange containment and arithmetic, network containment and address arithmetic,
+  full-text search composition, JSON-path predicates and deletion, and their multi-character tokens
+  now use exact grammar-owned signatures.
+  Geometric transformation, position, intersection, distance, containment, and relationship operators
+  now resolve through their exact operand and result signatures, including prefix forms.
+  Numeric promotion, mathematical prefix, bit-string shift, binary/JSON/text concatenation, money,
+  `pg_lsn`, and tuple-identifier operators now use catalog-derived signatures and coercions.
+  Array subscripts infer nullable element types, slices preserve the array type, omitted bounds are
+  represented explicitly, index parameters infer `integer`, and nested array mappings retain every dimension.
+  `ANY`, `SOME`, and `ALL` comparisons now resolve array elements or single-column subqueries through
+  the operator catalog, while row comparisons validate arity and select an operator for each field pair.
+  Parenthesized composite field selection now uses snapshot v2 field evidence for its database type,
+  TypeScript type, nullability, parameter context, and unknown-field diagnostics.
+  `COLLATE` now preserves collatable expression types, and `AT TIME ZONE` resolves PostgreSQL's exact
+  timestamp, timestamp-with-time-zone, and time-with-time-zone conversions with text or interval zones.
+  PostgreSQL 17 and newer also resolve and version-gate the corresponding `AT LOCAL` forms.
+  Scalar and row-valued `IN` lists and subqueries now validate equality candidates, numeric literals,
+  row arity, composite field comparability, nullability, and per-position parameter contexts.
+  The versioned cast catalogs now include every direct `pg_cast` conversion among shipped core types
+  for PostgreSQL 14 through 18, including the PostgreSQL 15 geometric removal and PostgreSQL 18
+  integer/bytea additions. Automatic assignment-to-string and explicit string I/O casts follow the
+  server's fallback conversion rules.
+  PostgreSQL interval literals now parse prefix precision, every valid field and field-range qualifier,
+  suffix second precision, and qualified interval cast types while retaining typed-literal source spans.
+  All forms resolve through the canonical `interval` type, and invalid field ranges fail during parsing.
+  JSON, JSONB, and JSONPATH typed literals now preserve their grammar-owned cast form. The core catalog
+  and resolver cover `jsonb_path_exists`, `jsonb_path_match`, query-array, query-first, and set-returning
+  query variants, including timezone-aware forms, optional variables/silent arguments, and nullability.
+  Database parameter identities are now retained even when their configured TypeScript mapping is
+  `unknown`, so JSON and other deliberately opaque codecs still produce typed prepared parameters.
+  PostgreSQL 17 and newer now parse and resolve the grammar-owned `JSON_EXISTS` SQL/JSON expression,
+  including formatted inputs, `PASSING` variables, error behavior, parameter identities, nullability,
+  and server-version diagnostics.
+  The grammar-owned PostgreSQL 17 `JSON_QUERY` form also resolves returning types, JSON output formats,
+  wrapper and quote behavior, constant `ON EMPTY` and `ON ERROR` defaults, and exact output nullability.
+  PostgreSQL 17 `JSON_VALUE` now resolves scalar return types and behaviors while preserving its
+  always-possible SQL null result for JSON null and rejecting unsupported collection or format clauses.
+  PostgreSQL 16 and newer now parse and resolve the standard `JSON_OBJECT` and `JSON_ARRAY`
+  constructors, including key/value and query forms, null handling, unique-key declarations, formatted
+  inputs, encoded returns, parameter identities, non-null output types, and server-version diagnostics.
+  Legacy and quoted `json_object(...)` calls remain ordinary catalog-backed routine calls.
+  PostgreSQL 17 and newer also own `JSON`, `JSON_SCALAR`, and `JSON_SERIALIZE`, including JSON-compatible
+  inputs, uniqueness declarations, scalar and composite conversion, string or binary returns, UTF-8
+  encoding, parameter inference, null propagation, and version diagnostics. The overlapping pre-17
+  functional `json(...)` cast keeps its earlier cast semantics.
+  PostgreSQL 16 and newer now own `IS JSON` and `IS NOT JSON` predicates across value, scalar,
+  array, object, and unique-key constraints, with JSON-compatible input validation, text parameter
+  inference, SQL-null propagation, and server-version diagnostics.
+  PostgreSQL 16 and newer now also own the standard `JSON_OBJECTAGG` and `JSON_ARRAYAGG` grammar,
+  including null and uniqueness clauses, aggregate-local ordering, `FILTER`, `OVER`, formatted inputs,
+  encoded returns, grouping validation, parameter inference, nullable empty-input results, and
+  server-version diagnostics.
+  PostgreSQL 17 `JSON_TABLE` now owns its table-reference grammar and resolves root, ordinality,
+  scalar, formatted, `EXISTS`, and nested columns with implicit lateral scope, alias lists, declared
+  types, behavior validation, nested null-padding, and server-version diagnostics.
+
+  Expose optional routine argument names and default evidence through the neutral resolver bridge so
+  grammar packages can implement named, defaulted, and variadic call selection.
+- 1041bfa: Add deterministic generated PostgreSQL core catalogs for every supported major and the canary.
+  Type mapping, operator families, and built-in routine families now resolve from one version-selected
+  catalog revision instead of parallel hard-coded resolver lists.
+- 1041bfa: Complete PostgreSQL DML parsing and analysis for identity overriding, `ON CONFLICT` targets and the
+  `excluded` namespace, row assignments, source-aware update/delete returning, versioned `MERGE`, and
+  PostgreSQL 18 old/new `RETURNING` aliases. Version-dependent forms now use server-major evidence and
+  fail closed when that evidence is absent or outside the feature's supported range. Snapshot v2 index
+  evidence now verifies expression, operator-class, collation, and partial-predicate conflict targets,
+  while insert/select, update, and merge writes propagate parameter types and reject known-incompatible
+  source types.
+
+  The neutral resolver snapshot bridge now exposes optional index and constraint-deferrability evidence
+  so grammar packages can consume schema v2 conflict-target metadata without importing schema internals.
+- 1041bfa: Add canonical schema snapshot format 2 with isolated v1/v2 codecs, conservative v1 upgrades,
+  neutral relation/constraint/index/type/routine evidence, and complete provider introspection.
+  Resolvers now consume structural write and routine evidence, while drift, compatibility, manifests,
+  verification proofs, and plan artifacts bind to the schema format and canonical hash.
+
+### Patch Changes
+
+- 1041bfa: Cache PostgreSQL operator and capability resolution per schema snapshot so version-complete semantic analysis remains inside the compiler performance budget.
+- af8882c: Preserve domain evidence from legacy snapshots and schema-qualified v2 introspection during PostgreSQL operator resolution so parameters compared with domain-typed columns retain their inferred base type.
+- 1041bfa: Add deterministic versioned dialect capability states backed by normalized server versions,
+  settings, extensions, and compile options. Query manifests now invalidate on capability changes and
+  record evidence for capabilities each query uses, while the CLI exposes a human-readable capability
+  report. The boolean capability map remains available as an additive migration bridge.
+- Updated dependencies [1041bfa]
+- Updated dependencies [1041bfa]
+- Updated dependencies [1041bfa]
+- Updated dependencies [1041bfa]
+- Updated dependencies [1041bfa]
+- Updated dependencies [1041bfa]
+- Updated dependencies [1041bfa]
+- Updated dependencies [1041bfa]
+- Updated dependencies [1041bfa]
+- Updated dependencies [1041bfa]
+- Updated dependencies [1041bfa]
+- Updated dependencies [1041bfa]
+  - @typed-sql/core@2.1.0
+  - @typed-sql/ast@2.1.0
+  - @typed-sql/schema@2.1.0
+
 ## 2.1.0-rc.1
 
 ### Patch Changes

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typed-sql/postgres",
-  "version": "2.1.0-rc.1",
+  "version": "2.1.0",
   "description": "PostgreSQL grammar, schema introspection, type resolution, and driver-neutral runtime codecs for typed-sql.",
   "license": "MIT",
   "author": "Lojhan",
@@ -39,12 +39,12 @@
   },
   "dependencies": {
     "@types/pg": "8.23.1",
-    "@typed-sql/core": "2.1.0-rc.1",
-    "@typed-sql/schema": "2.1.0-rc.1",
-    "@typed-sql/ast": "2.1.0-rc.1"
+    "@typed-sql/ast": "2.1.0",
+    "@typed-sql/schema": "2.1.0",
+    "@typed-sql/core": "2.1.0"
   },
   "devDependencies": {
-    "@typed-sql/conformance": "2.1.0-rc.1"
+    "@typed-sql/conformance": "2.1.0"
   },
   "scripts": {
     "test": "poku test --reporter=compact --enforce",