@crvouga/postgres-mem 0.1.0

package/compat/divergences.json

@@ -0,0 +1,191 @@
+{
+  "version": 1,
+  "entries": [
+    {
+      "id": "oracle-pglite-version",
+      "scope": "oracle",
+      "predicate": "The differential oracle is PGlite (embedded PostgreSQL 18.x WASM); server_version must be 18.3 or 18.1",
+      "specifiedBehavior": "Harness bootstrap asserts current_setting('server_version') is in {18.3, 18.1}. Differential results are only meaningful against these lines.",
+      "pinnedBy": ["scripts/postgres-compat-gate.ts", "tests/harness/oracle-versions.ts"]
+    },
+    {
+      "id": "deterministic-runtime",
+      "scope": "engine",
+      "predicate": "random()/gen_random_uuid() are seeded-deterministic and now() is fixed to 2000-01-01 UTC by default; both are injectable via DatabaseOptions; the PRNG participates in transaction rollback and snapshots",
+      "specifiedBehavior": "By design, two Database instances with the same seed produce identical random streams and identical now() values. PostgreSQL is wall-clock and entropy driven. Tests assert memory behavior only.",
+      "pinnedBy": [
+        "DAT-now-01",
+        "DET-seed-01",
+        "DET-seed-02",
+        "DET-now-01",
+        "DET-now-02",
+        "DET-uuid-01",
+        "DET-rb-01",
+        "DET-snap-01",
+        "DET-setseed-01",
+        "DET-scan-01",
+        "tests/contract/determinism/basic.test.ts"
+      ]
+    },
+    {
+      "id": "pgmm-snapshot-codec",
+      "scope": "engine",
+      "predicate": "snapshot()/restore() use the custom PGMM binary codec (magic 'PGMM' + LE u32 version), not pg_dump or the on-disk PostgreSQL format",
+      "specifiedBehavior": "Snapshots are byte-identical for equivalent logical state, refuse corrupt/truncated/future-version blobs, and cannot run inside a transaction. No PostgreSQL equivalent exists; tests assert memory behavior only.",
+      "pinnedBy": [
+        "SNP-rt-01",
+        "SNP-rt-02",
+        "SNP-rt-03",
+        "SNP-rt-04",
+        "SNP-rt-05",
+        "SNP-byte-01",
+        "SNP-hdr-01",
+        "SNP-hdr-02",
+        "SNP-hdr-03",
+        "SNP-hdr-04",
+        "SNP-txn-01",
+        "SNP-rep-01",
+        "tests/contract/snapshots/basic.test.ts"
+      ]
+    },
+    {
+      "id": "copy-stdin-api",
+      "scope": "api",
+      "predicate": "COPY ... FROM STDIN is fed through the copyFrom(sql, text) API hook and COPY ... TO STDOUT returns the rendered text from exec; PGlite exposes a different (protocol-level) COPY interface",
+      "specifiedBehavior": "Text and CSV COPY semantics (\\N nulls, escapes, \\. terminator, HEADER/DELIMITER/NULL options, column lists) follow PostgreSQL 18; the transport is the JS API rather than the wire protocol, so these are memory-only assertions.",
+      "pinnedBy": [
+        "CPY-from-01",
+        "CPY-from-02",
+        "CPY-from-03",
+        "CPY-from-04",
+        "CPY-from-05",
+        "CPY-csv-01",
+        "CPY-csv-02",
+        "CPY-csv-03",
+        "CPY-to-01",
+        "CPY-to-02",
+        "CPY-to-03",
+        "CPY-to-04",
+        "CPY-rt-01",
+        "CPY-api-01",
+        "tests/contract/copy/basic.test.ts"
+      ]
+    },
+    {
+      "id": "sync-api-surface",
+      "scope": "api",
+      "predicate": "The public Database/Statement API is synchronous (exec/query/prepare/transaction/snapshot/restore/close return values, not Promises); PGlite and pg clients are asynchronous",
+      "specifiedBehavior": "API shape mirrors sqlite-mem: run/all/get/result, $1..$n parameters, bigint for int8, canonical text for numeric/date/jsonb, misuse errors for wrong usage. Asserted memory-only because no PostgreSQL client shares this surface.",
+      "pinnedBy": [
+        "API-exec-01",
+        "API-exec-02",
+        "API-query-01",
+        "API-prep-01",
+        "API-run-01",
+        "API-run-02",
+        "API-run-03",
+        "API-bind-02",
+        "API-bind-03",
+        "API-ret-01",
+        "API-ret-02",
+        "API-close-01",
+        "API-txn-01",
+        "API-txn-02",
+        "API-sync-01",
+        "API-copy-01",
+        "tests/contract/api/basic.test.ts"
+      ]
+    },
+    {
+      "id": "empty-script-rejected",
+      "scope": "sql",
+      "predicate": "exec of a statement-free script (comments/whitespace only) raises an empty-statement error; PostgreSQL accepts it as a no-op",
+      "specifiedBehavior": "postgres-mem requires at least one statement per exec call.",
+      "pinnedBy": ["TOK-cmt-04"]
+    },
+    {
+      "id": "row-value-subquery-arity",
+      "scope": "sql",
+      "predicate": "Row-constructor arity mismatches surface at execution (21000) instead of parse time (42601), and multi-column row-value IN (SELECT ...) is rejected as unsupported",
+      "specifiedBehavior": "Single-column IN subqueries have full parity; multi-column row-value subquery comparison is out of scope for this milestone and fails loud.",
+      "pinnedBy": ["PAR-row-03", "EXP-in-03"]
+    },
+    {
+      "id": "unary-minus-folding",
+      "scope": "sql",
+      "predicate": "Repeated unary minus is folded into the numeric literal during parse, so '- -5' is rejected; PostgreSQL evaluates it to 5",
+      "specifiedBehavior": "Use parentheses (-(-5)) for nested negation.",
+      "pinnedBy": ["PAR-neg-01"]
+    },
+    {
+      "id": "float8-overflow-saturates",
+      "scope": "sql",
+      "predicate": "'1e400'::float8 saturates to Infinity instead of raising 22003 out of range",
+      "specifiedBehavior": "float8 text input uses JS Number parsing, which saturates. In-range values have full parity.",
+      "pinnedBy": ["TYP-float-04"]
+    },
+    {
+      "id": "round-half-away-from-zero",
+      "scope": "sql",
+      "predicate": "round(float8) rounds ties away from zero (round(2.5::float8) = 3); PostgreSQL rounds half to even (= 2)",
+      "specifiedBehavior": "numeric round() has full parity; only the float8 overload diverges on exact .5 ties.",
+      "pinnedBy": ["FUN-round-02"]
+    },
+    {
+      "id": "drop-cascade-view-retained",
+      "scope": "sql",
+      "predicate": "DROP TABLE ... CASCADE does not drop dependent views; the view remains and errors when queried",
+      "specifiedBehavior": "Dependency tracking for CASCADE drops of views is not implemented; drop the view explicitly.",
+      "pinnedBy": ["DDL-drop-03"]
+    },
+    {
+      "id": "comment-on-not-stored",
+      "scope": "sql",
+      "predicate": "COMMENT ON parses and succeeds but the comment is not stored; obj_description() returns NULL",
+      "specifiedBehavior": "COMMENT ON is accepted for compatibility; descriptions are not persisted.",
+      "pinnedBy": ["DDL-comment-01"]
+    },
+    {
+      "id": "trigger-order-creation",
+      "scope": "sql",
+      "predicate": "Multiple triggers on the same event fire in creation order; PostgreSQL fires them in name order",
+      "specifiedBehavior": "Name your triggers so alphabetical order matches creation order if ordering matters.",
+      "pinnedBy": ["TRG-order-01"]
+    },
+    {
+      "id": "trigger-update-of-ignored",
+      "scope": "sql",
+      "predicate": "UPDATE OF column lists on triggers are parsed but ignored; the trigger fires for every UPDATE",
+      "specifiedBehavior": "Column-filtered trigger firing is not implemented; guard inside the trigger body instead.",
+      "pinnedBy": ["TRG-updof-01"]
+    },
+    {
+      "id": "instead-of-triggers-unsupported",
+      "scope": "sql",
+      "predicate": "CREATE TRIGGER ... INSTEAD OF on a view fails loud; PostgreSQL supports INSTEAD OF triggers on views",
+      "specifiedBehavior": "INSTEAD OF triggers are out of scope for this milestone.",
+      "pinnedBy": ["TRG-instead-01"]
+    },
+    {
+      "id": "no-aborted-transaction-state",
+      "scope": "sql",
+      "predicate": "After a failed statement inside BEGIN, subsequent statements keep executing; PostgreSQL rejects them with 25P02 until ROLLBACK",
+      "specifiedBehavior": "The aborted-transaction latch is not implemented; each statement is validated independently.",
+      "pinnedBy": ["TXN-abort-01"]
+    },
+    {
+      "id": "version-banner",
+      "scope": "catalog",
+      "predicate": "version() returns 'PostgreSQL 18.3 (postgres-mem) on TypeScript, in-memory engine' instead of the real build banner",
+      "specifiedBehavior": "server_version/server_version_num report 18.3/180003 for compatibility; the full banner names postgres-mem.",
+      "pinnedBy": ["CAT-ver-01"]
+    },
+    {
+      "id": "pg-get-viewdef-missing",
+      "scope": "catalog",
+      "predicate": "pg_get_viewdef() is not implemented and raises 42883",
+      "specifiedBehavior": "View definitions are visible via information_schema.views.view_definition (stored SQL text).",
+      "pinnedBy": ["CAT-viewdef-01"]
+    }
+  ]
+}

package/compat/gate-report.json

@@ -0,0 +1,80 @@
+{
+  "generatedAt": "2026-08-21T19:16:17.602Z",
+  "referenceServerVersion": "18.3",
+  "inventory": {
+    "oracleFunctionCount": 2787,
+    "oracleOperatorCount": 74,
+    "implementedFunctions": 301,
+    "registeredUnsupportedFunctions": 2486,
+    "implementedOperators": [
+      "!~",
+      "!~*",
+      "!~~",
+      "!~~*",
+      "#",
+      "#-",
+      "#>",
+      "#>>",
+      "%",
+      "&",
+      "&&",
+      "*",
+      "+",
+      "-",
+      "->",
+      "->>",
+      "/",
+      "<",
+      "<<",
+      "<=",
+      "<>",
+      "<@",
+      "=",
+      ">",
+      ">=",
+      ">>",
+      "?",
+      "?&",
+      "?|",
+      "@",
+      "@>",
+      "@@",
+      "^",
+      "|",
+      "|/",
+      "||",
+      "||/",
+      "~",
+      "~*",
+      "~~",
+      "~~*"
+    ],
+    "registeredUnsupportedOperators": 33,
+    "memoryOnlyFunctions": [
+      "current_catalog",
+      "current_date",
+      "current_role",
+      "current_time",
+      "current_timestamp",
+      "json_is_valid_check",
+      "jsonb_object_keys_check",
+      "localtime",
+      "localtimestamp",
+      "pg_listening_channels_check",
+      "substring_similar",
+      "trim",
+      "tsvector_in_check",
+      "tsvector_length",
+      "user"
+    ]
+  },
+  "scenarios": {
+    "sections": 33,
+    "promoted": 33,
+    "total": 945,
+    "mapped": 945,
+    "smoke": 0
+  },
+  "failures": [],
+  "ok": true
+}