@crvouga/mockingbird-service-postgres 1.3.1 → 1.4.0

package/CHANGELOG.md

@@ -1,6 +1,14 @@
 # Changelog — @crvouga/mockingbird-service-postgres
 
-## 1.3.1 (2026-09-30)
+## 1.4.0 (2026-09-30)
+
+### Features
+
+- allow unpopulated materialized views to reference each other ([3ce1d8f](https://github.com/crvouga/mockingbird/commit/3ce1d8f555ed4008dd894aed20ebf64ab0253774))
+- support CREATE EXTENSION pg_trgm ([2296ba2](https://github.com/crvouga/mockingbird/commit/2296ba2f3d1a9ea7ce8ec9f528e979034692ebf1))
+- install pgcrypto digest() ([b5f3ccf](https://github.com/crvouga/mockingbird/commit/b5f3ccf79c6fedcabab157f1ee07af18a7871057))
+
+## 1.3.1 (2026-09-29)
 
 ### Fixes and improvements
 

package/COMPATIBILITY.md

@@ -34,7 +34,7 @@ Anything a PostgreSQL application can invoke through SQL against the PGlite **18
 1. **Snapshot format** — custom binary codec (`PGMM`), not `pg_dump` / on-disk clusters (logical state still round-trips).
 2. **Deterministic `random()` / `now()`** — seeded PRNG and fixed clock by default (injectable).
 3. **Single session** — no MVCC across connections, no isolation levels beyond one session, no `25P02` aborted-transaction state (documented divergence).
-4. **NOT APPLICABLE** rows in `compat/coverage.json` (roles, replication, VACUUM internals, LISTEN/NOTIFY, cursors, full PL/pgSQL, extensions).
+4. **NOT APPLICABLE** rows in `compat/coverage.json` (roles, replication, VACUUM internals, LISTEN/NOTIFY, cursors, full PL/pgSQL, extensions other than `pgcrypto`'s `digest()` and `pg_trgm`'s `similarity` / `<%` / `gin_trgm_ops`).
 
 The oracle exposes **2787 builtin functions** and **74 operators** in `pg_catalog`; postgres-mem implements **302 functions** and **41 operators**, and every remaining item is an explicit entry in [`compat/unsupported-register.json`](compat/unsupported-register.json) with a reason (trigger/internal plumbing, admin/monitoring, unsupported type families, …). The gate fails closed on silence.
 
@@ -62,6 +62,8 @@ The oracle exposes **2787 builtin functions** and **74 operators** in `pg_catalo
 | Triggers (row-level, LANGUAGE sql-expressible) | PARTIALLY VERIFIED | Creation-order firing, `UPDATE OF` ignored, no INSTEAD OF (documented) |
 | CREATE FUNCTION LANGUAGE sql / plpgsql-lite | PARTIALLY VERIFIED | Scalar + set-returning; plpgsql subset: DECLARE, EXCEPTION WHEN others, CASE, FOR-IN-SELECT, RETURN NEXT |
 | Text search (tsvector / tsquery / @@ / ts_rank) | PARTIALLY VERIFIED | `simple`-style config; no ispell/synonym dictionaries |
+| `CREATE EXTENSION pgcrypto` / `digest()` | PARTIALLY VERIFIED | `digest(bytea, text)` and `digest(text, text)` for md5, sha1, sha224, sha256, sha384, sha512. `crypt`, `hmac`, `gen_salt`, and PGP functions are not installed. OpenSSL-only names (sha3, blake2, ripemd160, sm3) are not available. Extensions other than `pgcrypto` and `pg_trgm` still fail loud (`0A000`) |
+| `CREATE EXTENSION pg_trgm` | PARTIALLY VERIFIED | `similarity(text, text)`, `<%` at the default word-similarity threshold 0.6, and a single-column `gin_trgm_ops` index on `text` or `varchar`. `gist_trgm_ops`, multicolumn `gin_trgm_ops`, and non-default thresholds are not installed. |
 | COPY FROM/TO (text, csv) | VERIFIED | Via `copyFrom` API hook / rows out |
 | PREPARE / EXECUTE / DEALLOCATE, SET / SHOW / RESET | VERIFIED | GUC subset |
 | Transactions / savepoints | VERIFIED | No `25P02` aborted state (documented divergence) |

package/compat/coverage.json

@@ -399,7 +399,7 @@
       "evidence": [
         "tests/contract/views/"
       ],
-      "notes": "materialized views are eager snapshots refreshed by REFRESH MATERIALIZED VIEW"
+      "notes": "eager snapshots; WITH NO DATA sets relispopulated false and may read an unpopulated matview; REFRESH populates; CONCURRENTLY is not modelled"
     },
     "sql-createoperator": {
       "status": "UNSUPPORTED",

package/compat/sections/cat.ts

@@ -6,6 +6,7 @@ export const CAT_SECTION: CatalogSection = section("CAT", "pg_catalog and inform
   ["class-01", "user table appears in pg_class with relkind r"],
   ["class-02", "view appears in pg_class with relkind v"],
   ["class-03", "sequence appears in pg_class with relkind S"],
+  ["class-06", "materialized view appears in pg_class with relkind m"],
   ["class-04", "pg_class joined to pg_namespace resolves the schema"],
   ["class-05", "pg_class row disappears after DROP TABLE"],
   ["attr-01", "pg_attribute lists user columns in order"],

package/dist/ast/nodes.d.ts

@@ -501,7 +501,8 @@ export interface CreateIndexStmt {
         expr: Expr;
         dir: "asc" | "desc" | null;
         nulls: "first" | "last" | null;
-        opclass: string | null;
+        /** Operator class name, possibly schema-qualified (`public.gin_trgm_ops`). */
+        opclass: string[] | null;
     }>;
     readonly include: string[];
     readonly where: Expr | null;
@@ -547,6 +548,14 @@ export interface CreateSchemaStmt {
     readonly name: string;
     readonly ifNotExists: boolean;
 }
+export interface CreateExtensionStmt {
+    readonly type: "create_extension";
+    readonly name: string;
+    readonly ifNotExists: boolean;
+    readonly schema: string | null;
+    readonly version: string | null;
+    readonly cascade: boolean;
+}
 export interface CreateEnumStmt {
     readonly type: "create_enum";
     readonly name: string[];
@@ -809,4 +818,4 @@ export interface DoStmt {
     readonly language: string;
     readonly body: string;
 }
-export type Statement = SelectStmt | InsertStmt | UpdateStmt | DeleteStmt | CreateTableStmt | CreateTableAsStmt | CreateIndexStmt | CreateViewStmt | CreateSequenceStmt | AlterSequenceStmt | CreateSchemaStmt | CreateEnumStmt | AlterEnumStmt | CreateDomainStmt | CreateFunctionStmt | CreateTriggerStmt | AlterTableStmt | AlterViewStmt | AlterIndexStmt | AlterSchemaStmt | DropStmt | TruncateStmt | RefreshMaterializedViewStmt | TransactionStmt | SetStmt | ShowStmt | ResetStmt | PrepareStmt | ExecuteStmt | DeallocateStmt | ExplainStmt | CopyStmt | CommentStmt | NoOpStmt | DoStmt;
+export type Statement = SelectStmt | InsertStmt | UpdateStmt | DeleteStmt | CreateTableStmt | CreateTableAsStmt | CreateIndexStmt | CreateViewStmt | CreateSequenceStmt | AlterSequenceStmt | CreateSchemaStmt | CreateExtensionStmt | CreateEnumStmt | AlterEnumStmt | CreateDomainStmt | CreateFunctionStmt | CreateTriggerStmt | AlterTableStmt | AlterViewStmt | AlterIndexStmt | AlterSchemaStmt | DropStmt | TruncateStmt | RefreshMaterializedViewStmt | TransactionStmt | SetStmt | ShowStmt | ResetStmt | PrepareStmt | ExecuteStmt | DeallocateStmt | ExplainStmt | CopyStmt | CommentStmt | NoOpStmt | DoStmt;

package/dist/executor/ddl.d.ts

@@ -1,4 +1,4 @@
-import type { AlterEnumStmt, AlterIndexStmt, AlterSchemaStmt, AlterSequenceStmt, AlterTableStmt, AlterViewStmt, CreateDomainStmt, CreateEnumStmt, CreateFunctionStmt, CreateIndexStmt, CreateSchemaStmt, CreateSequenceStmt, CreateTableAsStmt, CreateTableStmt, CreateTriggerStmt, CreateViewStmt, DropStmt, RefreshMaterializedViewStmt, SequenceOptions, TruncateStmt } from "../ast/nodes.js";
+import type { AlterEnumStmt, AlterIndexStmt, AlterSchemaStmt, AlterSequenceStmt, AlterTableStmt, AlterViewStmt, CreateDomainStmt, CreateEnumStmt, CreateExtensionStmt, CreateFunctionStmt, CreateIndexStmt, CreateSchemaStmt, CreateSequenceStmt, CreateTableAsStmt, CreateTableStmt, CreateTriggerStmt, CreateViewStmt, DropStmt, RefreshMaterializedViewStmt, SequenceOptions, TruncateStmt } from "../ast/nodes.js";
 import { SchemaData, type SequenceData } from "../storage/database-state.js";
 import { type ExecEnv, type ExecResult } from "./relation.js";
 export declare function buildSequence(env: ExecEnv, schema: SchemaData, name: string, options: SequenceOptions, temp: boolean): SequenceData;
@@ -9,6 +9,7 @@ export declare function executeCreateTableAs(env: ExecEnv, stmt: CreateTableAsSt
 export declare function executeCreateIndex(env: ExecEnv, stmt: CreateIndexStmt): ExecResult;
 export declare function executeCreateView(env: ExecEnv, stmt: CreateViewStmt): ExecResult;
 export declare function executeRefreshMatView(env: ExecEnv, stmt: RefreshMaterializedViewStmt): ExecResult;
+export declare function executeCreateExtension(env: ExecEnv, stmt: CreateExtensionStmt): ExecResult;
 export declare function executeCreateSchema(env: ExecEnv, stmt: CreateSchemaStmt): ExecResult;
 export declare function executeCreateEnum(env: ExecEnv, stmt: CreateEnumStmt): ExecResult;
 export declare function executeAlterEnum(env: ExecEnv, stmt: AlterEnumStmt): ExecResult;

package/dist/executor/relation.d.ts

@@ -40,6 +40,11 @@ export interface ExecEnv {
     /** CTE results by name (WITH clause); shadowed inner-to-outer */
     ctes: Map<string, Relation>;
     outer: RowScope | null;
+    /**
+     * CREATE/REFRESH MATERIALIZED VIEW … WITH NO DATA. An unpopulated matview
+     * contributes its column shape and no rows, matching PostgreSQL planning.
+     */
+    allowUnpopulatedMatviews?: boolean;
 }
 export declare function childEnv(env: ExecEnv, outer: RowScope | null): ExecEnv;
 export declare function withCtes(env: ExecEnv, ctes: Map<string, Relation>): ExecEnv;

package/dist/functions/pgcrypto.d.ts

@@ -0,0 +1,9 @@
+import type { EngineCtx } from "../expressions/context.js";
+import type { DatabaseState, FunctionData } from "../storage/database-state.js";
+import type { TypedValue } from "../types/value.js";
+/** pgcrypto `digest(data, type)` for the algorithms PostgreSQL documents as standard. */
+export declare function digestBytes(data: Uint8Array, algorithm: string): Uint8Array;
+export declare function pgcryptoInstalled(state: DatabaseState): boolean;
+export declare function installPgcrypto(state: DatabaseState, schemaName: string): void;
+export declare function uninstallPgcrypto(state: DatabaseState): boolean;
+export declare function evalPgcryptoFunction(ctx: EngineCtx, fn: FunctionData, args: TypedValue[]): TypedValue;

package/dist/functions/pgtrgm.d.ts

@@ -0,0 +1,24 @@
+import type { CreateIndexStmt } from "../ast/nodes.js";
+import type { EngineCtx } from "../expressions/context.js";
+import type { DatabaseState, FunctionData, TableData } from "../storage/database-state.js";
+import { type TypedValue } from "../types/value.js";
+export declare function pgTrgmSchema(state: DatabaseState): string | null;
+export declare function pgTrgmInstalled(state: DatabaseState): boolean;
+export declare function installPgTrgm(state: DatabaseState, schemaName: string): void;
+export declare function uninstallPgTrgm(state: DatabaseState): boolean;
+export declare function evalPgTrgmFunction(ctx: EngineCtx, fn: FunctionData, args: TypedValue[]): TypedValue;
+/** `text <% text` — word similarity at the default threshold. Absent until pg_trgm is installed. */
+export declare function evalTrgmWordSimilar(ctx: EngineCtx, left: TypedValue, right: TypedValue): TypedValue;
+/**
+ * Reject `gin_trgm_ops` unless pg_trgm is installed for access method gin.
+ * A single text/varchar column is stored as an ordinary non-unique index:
+ * lookup speed is not modelled.
+ */
+export declare function assertGinTrgmIndex(state: DatabaseState, table: TableData, stmt: CreateIndexStmt): void;
+/** `|intersection| / |union|` as float4. Either empty trigram set yields 0. */
+export declare function trigramSimilarity(left: string, right: string): number;
+/**
+ * Greatest similarity between the trigram set of `pattern` and any continuous
+ * extent of the ordered trigrams of `haystack` (PostgreSQL `word_similarity`).
+ */
+export declare function wordSimilarity(pattern: string, haystack: string): number;