@crvouga/postgres-mem 0.1.0

package/compat/sections/tsr.ts

@@ -0,0 +1,37 @@
+import { type CatalogSection, section } from "../scenario-types.ts";
+
+export const TSR_SECTION: CatalogSection = section("TSR", "Full text search", true, [
+  ["vec-01", "to_tsvector english stems and positions"],
+  ["vec-02", "to_tsvector default config"],
+  ["vec-03", "to_tsvector simple config keeps stop words"],
+  ["vec-04", "repeated lexemes keep all positions"],
+  ["vec-05", "to_tsvector of an empty string"],
+  ["qry-01", "to_tsquery with AND"],
+  ["qry-02", "to_tsquery with OR and NOT"],
+  ["qry-03", "to_tsquery stems terms"],
+  ["qry-04", "plainto_tsquery ANDs plain words"],
+  ["qry-05", "phraseto_tsquery builds a phrase query"],
+  ["lit-01", "tsvector literal cast"],
+  ["lit-02", "tsvector literal with positions"],
+  ["lit-03", "tsquery literal cast"],
+  ["match-01", "@@ matches a stemmed word"],
+  ["match-02", "@@ no match returns false"],
+  ["match-03", "@@ with AND requires both terms"],
+  ["match-04", "@@ with OR requires either term"],
+  ["match-05", "@@ with NOT excludes matches"],
+  ["match-06", "@@ over table rows"],
+  ["cat-01", "tsvector || concatenation shifts positions"],
+  ["op-01", "tsquery && combines with AND"],
+  ["op-02", "tsquery || combines with OR"],
+  ["op-03", "!! negates a tsquery"],
+  ["phrase-01", "phrase operator <-> inside to_tsquery"],
+  ["phrase-02", "phrase distance <2> matches exactly two apart"],
+  ["weight-01", "setweight assigns a weight"],
+  ["weight-02", "setweight combined with concatenation"],
+  ["strip-01", "strip removes positions and weights"],
+  ["len-01", "length counts distinct lexemes"],
+  ["rank-01", "ts_rank for a simple match"],
+  ["rank-02", "ts_rank ordering over table rows"],
+  ["head-01", "ts_headline wraps matches in default markers"],
+  ["head-02", "ts_headline with custom start and stop markers"],
+]);

package/compat/sections/txn.ts

@@ -0,0 +1,39 @@
+import { type CatalogSection, section } from "../scenario-types.ts";
+
+const D = "documented_divergence" as const;
+
+export const TXN_SECTION: CatalogSection = section("TXN", "Transactions and savepoints", true, [
+  ["commit-01", "committed insert visible after COMMIT"],
+  ["commit-02", "changes visible inside the txn before commit"],
+  ["commit-03", "sequential transactions accumulate committed work"],
+  ["rollback-01", "ROLLBACK discards inserts"],
+  ["rollback-02", "ROLLBACK discards updates"],
+  ["rollback-03", "ROLLBACK discards deletes"],
+  ["ddl-01", "CREATE TABLE rolled back"],
+  ["ddl-02", "CREATE TABLE committed"],
+  ["ddl-03", "DROP TABLE rolled back restores table and data"],
+  ["ddl-04", "CREATE TABLE plus INSERT rolled back together"],
+  ["sp-01", "ROLLBACK TO undoes work after the savepoint only"],
+  ["sp-02", "RELEASE SAVEPOINT keeps later changes"],
+  ["sp-03", "nested savepoints: rollback to outer discards inner work"],
+  ["sp-04", "nested savepoints: rollback to inner keeps outer work"],
+  ["sp-05", "savepoint name reuse shadows the older savepoint"],
+  ["sp-06", "work continues normally after ROLLBACK TO"],
+  ["rec-01", "savepoint recovers a unique violation"],
+  ["rec-02", "savepoint recovers division by zero"],
+  ["edge-01", "COMMIT outside a transaction is tolerated"],
+  ["edge-02", "ROLLBACK outside a transaction is tolerated"],
+  ["edge-03", "nested BEGIN keeps a single transaction"],
+  ["edge-04", "SAVEPOINT outside a transaction fails"],
+  ["edge-05", "ROLLBACK works after a failed statement in a txn"],
+  ["forms-01", "START TRANSACTION and END forms"],
+  ["forms-02", "BEGIN WORK and COMMIT WORK forms"],
+  [
+    "abort-01",
+    "aborted-transaction state (25P02) is not implemented",
+    D,
+    "memory keeps executing statements after a failure inside BEGIN; PostgreSQL rejects them with 25P02",
+    ["tests/contract/_reports/session-system.md"],
+    "no-aborted-transaction-state",
+  ],
+]);

package/compat/sections/typ.ts

@@ -0,0 +1,55 @@
+import { type CatalogSection, section } from "../scenario-types.ts";
+
+const D = "documented_divergence" as const;
+
+export const TYP_SECTION: CatalogSection = section("TYP", "Scalar type system & casts", true, [
+  ["bool-01", "Boolean literals and pg_typeof"],
+  ["bool-02", "Boolean text input forms"],
+  ["bool-03", "Invalid boolean text errors"],
+  ["int-01", "Integer literal typing int2/int4/int8"],
+  ["int-02", "int2 overflow errors"],
+  ["int-03", "int4 overflow errors"],
+  ["int-04", "int8 arithmetic overflow errors"],
+  ["int-05", "Integer extremes round-trip"],
+  ["int-06", "int8 min divided by -1 overflows"],
+  ["float-01", "float4/float8 casts and typing"],
+  ["float-02", "NaN and Infinity text forms"],
+  ["float-03", "NaN comparison ordering"],
+  [
+    "float-04",
+    "Float literal beyond float8 range",
+    D,
+    "memory saturates '1e400'::float8 to Infinity; PostgreSQL raises 22003 out of range",
+    undefined,
+    "float8-overflow-saturates",
+  ],
+  ["float-05", "float8 binary artifacts surface"],
+  ["num-01", "Numeric literal typing and scale preservation"],
+  ["num-02", "numeric(p,s) typmod rounding"],
+  ["num-03", "Numeric field overflow errors"],
+  ["num-04", "Numeric NaN"],
+  ["num-05", "Numeric division result scale"],
+  ["text-01", "varchar(n) insert overflow errors"],
+  ["text-02", "varchar(n) cast truncates silently"],
+  ["text-03", "char(n) blank padding"],
+  ["text-04", "char(n) comparison ignores trailing blanks"],
+  ["text-05", "char(n) cast truncation"],
+  ["bytea-01", "Bytea hex round-trip"],
+  ["bytea-02", "Text to bytea and back"],
+  ["uuid-01", "UUID normalization to lowercase"],
+  ["uuid-02", "Invalid UUID errors"],
+  ["uuid-03", "Braced UUID input"],
+  ["dt-01", "Date literal and typing"],
+  ["dt-02", "Timestamp input forms"],
+  ["dt-03", "timestamptz AT TIME ZONE"],
+  ["dt-04", "Interval input forms including ISO 8601"],
+  ["dt-05", "Out-of-range date errors"],
+  ["unknown-01", "Unknown literal typing"],
+  ["unknown-02", "Unknown literal resolved by column context"],
+  ["pgt-01", "Arithmetic result types"],
+  ["pgt-02", "Mixed-type promotion rules"],
+  ["cast-01", "Invalid integer cast text errors"],
+  ["cast-02", "Whitespace-tolerant integer parse"],
+  ["cast-03", "numeric to int rounds half away from zero"],
+  ["cast-04", "float8 to int rounds half to even"],
+]);

package/compat/sections/uni.ts

@@ -0,0 +1,13 @@
+import { type CatalogSection, section } from "../scenario-types.ts";
+
+export const UNI_SECTION: CatalogSection = section("UNI", "Unicode, encoding, weird text", true, [
+  ["utf-01", "multi-byte UTF-8 round-trip"],
+  ["len-01", "length/char_length count characters"],
+  ["octet-01", "octet_length counts UTF-8 bytes"],
+  ["astral-01", "astral-plane length substr position"],
+  ["nul-01", "chr(0) is rejected"],
+  ["fold-01", "upper/lower on ASCII"],
+  ["char-01", "chr/ascii round-trip"],
+  ["hex-01", "encode(convert_to(...), 'hex') of multi-byte text"],
+  ["esc-01", "E-string unicode escapes"],
+]);

package/compat/sections/win.ts

@@ -0,0 +1,43 @@
+import { type CatalogSection, section } from "../scenario-types.ts";
+
+export const WIN_SECTION: CatalogSection = section("WIN", "Window functions", true, [
+  ["rank-01", "row_number over ORDER BY"],
+  ["rank-02", "row_number partitioned"],
+  ["rank-03", "rank with ties and gaps"],
+  ["rank-04", "dense_rank without gaps"],
+  ["rank-05", "percent_rank and cume_dist"],
+  ["rank-06", "ntile even and uneven buckets"],
+  ["rank-07", "empty OVER clause"],
+  ["nav-01", "lag and lead defaults"],
+  ["nav-02", "lag lead with offsets and default values"],
+  ["nav-03", "lag lead reset at partition boundaries"],
+  ["nav-04", "first_value"],
+  ["nav-05", "last_value default frame vs full frame"],
+  ["nav-06", "nth_value incl beyond partition"],
+  ["nav-07", "navigation over non-int types"],
+  ["aggw-01", "sum as running-total window"],
+  ["aggw-02", "avg and count over partitions"],
+  ["aggw-03", "min max as running windows"],
+  ["aggw-04", "string_agg and array_agg as windows"],
+  ["aggw-05", "FILTER on window aggregates"],
+  ["frame-01", "ROWS BETWEEN preceding and current"],
+  ["frame-02", "ROWS following and shorthand frames"],
+  ["frame-03", "ROWS unbounded both directions"],
+  ["frame-04", "centered moving average"],
+  ["frame-05", "RANGE default includes peers"],
+  ["frame-06", "RANGE with numeric offsets"],
+  ["frame-07", "RANGE with interval offsets over dates"],
+  ["frame-08", "GROUPS frames"],
+  ["frame-09", "EXCLUDE CURRENT ROW"],
+  ["frame-10", "EXCLUDE GROUP and EXCLUDE TIES"],
+  ["frame-11", "EXCLUDE NO OTHERS explicit"],
+  ["named-01", "named window reused by two functions"],
+  ["named-02", "named window with PARTITION BY"],
+  ["named-03", "named window refined with a frame"],
+  ["named-04", "multiple named windows in one query"],
+  ["multi-01", "multiple window functions in one SELECT"],
+  ["multi-02", "window function in ORDER BY clause"],
+  ["mix-01", "windows over GROUP BY aggregates"],
+  ["mix-02", "window in subquery filtered outside"],
+  ["err-01", "undefined named window errors"],
+]);

package/compat/smoke-baseline.json

@@ -0,0 +1,3 @@
+{
+  "ids": []
+}