@crvouga/postgres-mem 1.1.1 → 1.1.3

package/AGENTS.md

@@ -147,7 +147,7 @@ Requires [Bun](https://bun.sh).
 
 ```bash
 bun install
-bun run ci:local # same gates as GitHub Actions CI (except publish)
+bun run check:full # same gates as GitHub Actions CI (except publish)
 bun run check # format + lint + typecheck + postgres-compat suite
 bun run format
 bun run lint

package/README.md

@@ -223,6 +223,7 @@ Fuzz / property tests use a fixed seed (`0x5a17e0e1`) and print it on failure:
 
 ```bash
 bun test tests/fuzz
+bun run test:pbt:random -- 50   # N random seeds, fail fast on first mismatch
 POSTGRES_MEM_FUZZ_SEED=12345 bun test tests/fuzz
 POSTGRES_MEM_FUZZ_SEED=12345 POSTGRES_MEM_FUZZ_PATH='0:1' bun test tests/fuzz  # exact replay
 ```
@@ -282,7 +283,7 @@ Parity is proven by differential contracts against real PostgreSQL — default o
 
 ```bash
 bun install
-bun run ci:local               # same gates as GitHub Actions CI (except publish)
+bun run check:full               # same gates as GitHub Actions CI (except publish)
 bun run check                  # format + lint + typecheck + postgres-compat suite
 bun run format                 # write Biome formatting
 bun run lint                   # Biome lint
@@ -317,7 +318,7 @@ PR titles must also follow Conventional Commits (enforced in CI). Prefer squash
 Local checks:
 
 ```bash
-bun run ci:local             # commitlint + quality + tests + browser + benchmarks
+bun run check:full             # commitlint + quality + tests + browser + benchmarks
 # dry-run needs a GitHub token for API calls; CI publish uses Trusted Publishing (no NPM_TOKEN)
 bun run release:dry-run
 ```

package/compat/divergences.json

@@ -121,13 +121,6 @@
       "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",

package/compat/sections/par.ts

@@ -50,12 +50,5 @@ export const PAR_SECTION: CatalogSection = section("PAR", "Parser & grammar", tr
   ["param-01", "Positional $n parameters"],
   ["depth-01", "Deeply nested parentheses"],
   ["reserved-01", "Reserved words misused as identifiers error"],
-  [
-    "neg-01",
-    "Nested unary minus on numeric literals",
-    D,
-    "memory folds repeated unary minus into the literal text and rejects it; PostgreSQL evaluates - -5 to 5",
-    undefined,
-    "unary-minus-folding",
-  ],
+  ["neg-01", "Nested unary minus on numeric literals"],
 ]);

package/compat/unsupported-register.json

@@ -1107,7 +1107,6 @@
     "jsonb_object_field": "not implemented in this milestone; calls fail loud with SQLSTATE 42883",
     "jsonb_object_field_text": "not implemented in this milestone; calls fail loud with SQLSTATE 42883",
     "jsonb_out": "type I/O / wire-protocol support function; not part of the SQL dialect surface",
-    "jsonb_path_exists": "not implemented in this milestone; calls fail loud with SQLSTATE 42883",
     "jsonb_path_exists_opr": "not implemented in this milestone; calls fail loud with SQLSTATE 42883",
     "jsonb_path_exists_tz": "not implemented in this milestone; calls fail loud with SQLSTATE 42883",
     "jsonb_path_match": "not implemented in this milestone; calls fail loud with SQLSTATE 42883",

package/dist/executor/plpgsql.d.ts

@@ -53,6 +53,9 @@ export type PlStmt = {
     targets: string[];
     query: SelectStmt;
     body: PlStmt[];
+} | {
+    kind: "sql";
+    text: string;
 };
 export interface PlDecl {
     name: string;

package/dist/executor/select.d.ts

@@ -18,7 +18,7 @@ export interface ScopeExtras {
 export declare function makeEvalScope(env: ExecEnv, scope: RowScope | null, extras?: ScopeExtras): EvalScope;
 export declare function evalScalar(env: ExecEnv, scope: RowScope | null, e: Expr, extras?: ScopeExtras): TypedValue;
 /** SQL three-valued predicate: null → false */
-export declare function evalPredicate(env: ExecEnv, scope: RowScope | null, e: Expr, extras?: ScopeExtras): boolean;
+export declare function evalPredicate(env: ExecEnv, scope: RowScope | null, e: Expr, extras?: ScopeExtras, kind?: string): boolean;
 export declare function resolveUserFunction(env: ExecEnv, name: string[], argCount: number): FunctionData | null;
 /** Prefer a UDF whose declared types accept the actual args via implicit cast. */
 export declare function resolveUserFunctionForArgs(env: ExecEnv, name: string[], args: TypedValue[]): FunctionData | null;
@@ -37,7 +37,9 @@ export interface SortSpec {
 }
 export declare function sortRows(env: ExecEnv, rel: Relation, specs: SortSpec[]): void;
 export declare function executeBody(env: ExecEnv, body: SelectBody): Relation;
-export declare function executeCore(env0: ExecEnv, core: SelectCore, orderBy: OrderByItem[]): Relation;
+export declare function executeCore(env0: ExecEnv, core: SelectCore, orderBy: OrderByItem[], opts?: {
+    hasLimit?: boolean;
+}): Relation;
 export declare function executeSelectStmt(env0: ExecEnv, stmt: SelectStmt): Relation;
 export declare function selectResult(env: ExecEnv, stmt: SelectStmt): ExecResult;
 export {};

package/dist/expressions/eval.d.ts

@@ -33,6 +33,10 @@ export interface EvalScope {
 export declare function evalExpr(ctx: EngineCtx, scope: EvalScope, e: Expr): TypedValue;
 export declare function numberLitValue(raw: string): TypedValue;
 export declare function toBool(ctx: EngineCtx, v: TypedValue): boolean | null;
+/** WHERE/HAVING/ON/etc. predicates must already be boolean (or unknown); null → false. */
+export declare function evalAsPredicate(ctx: EngineCtx, kind: string, v: TypedValue): boolean;
+/** Plan-time: validate AND/OR/NOT operands are boolean (PG 42804), including short-circuited branches. */
+export declare function checkBoolExprType(ctx: EngineCtx, scope: EvalScope, e: Expr, kind: string): void;
 /** Domain NOT NULL + CHECK constraints, with VALUE bound to the cast result. */
 export declare function applyDomainChecks(ctx: EngineCtx, domainKey: string, value: TypedValue): void;
 export declare function anyAllCompare(ctx: EngineCtx, op: string, left: TypedValue, rights: TypedValue[], kind: "any" | "all"): TypedValue;