@crvouga/mockingbird-service-postgres 3.9.0 → 3.10.0

package/CHANGELOG.md

@@ -1,6 +1,12 @@
 # Changelog — @crvouga/mockingbird-service-postgres
 
-## 3.9.0 (2026-10-21)
+## 3.10.0 (2026-10-21)
+
+### Features
+
+- add LifeFile and fix JSONB CASE typing ([6c5396b](https://github.com/crvouga/mockingbird/commit/6c5396bb2bbf0ab3f728471f0bdbee985d3a6c6e))
+
+## 3.9.0 (2026-10-20)
 
 ### Features
 

package/COMPATIBILITY.md

@@ -78,7 +78,7 @@ The oracle exposes **2787 builtin functions** and **74 operators** in `pg_catalo
 | Date/time: date, time, timestamp[tz], interval + arithmetic | VERIFIED | Timezone conversions for named zones; some interval corners partial |
 | Casts (implicit/assignment/explicit) | VERIFIED | Generated cast matrices from oracle |
 | Arrays + unnest + subscripts/slices | VERIFIED | |
-| JSON / JSONB operators + functions | VERIFIED | |
+| JSON / JSONB operators + functions | VERIFIED | JSONB CASE branches preserve the JSONB type for selected untyped NULL/literal results, including empty LATERAL sources and nested views. Type hints cover column references, casts, JSON extraction operators and nested CASE without executing unselected result expressions; arbitrary function-result branch inference remains partial (`tests/contract/regressions/jsonb-case-types.test.ts`) |
 | Window functions (frames, EXCLUDE) | VERIFIED | |
 | GROUPING SETS / ROLLUP / CUBE, DISTINCT ON, LATERAL, set ops | VERIFIED | |
 | Recursive + data-modifying CTEs | VERIFIED | |

package/dist/admin.js

@@ -15743,6 +15743,45 @@ function validateCaseSubExpr(ctx, scope, e) {
       return;
   }
 }
+function caseBranchType(ctx, scope, e) {
+  switch (e.type) {
+    case "null_lit":
+    case "string_lit":
+      return UNKNOWN;
+    case "number_lit":
+      return numberLitValue(e.raw).t;
+    case "bool_lit":
+      return "bool";
+    case "colref":
+      return scope.lookupColumn(e.parts)?.t ?? null;
+    case "cast":
+      return resolveTypeName(ctx.state, e.target).column.id;
+    case "collate":
+      return caseBranchType(ctx, scope, e.expr);
+    case "binop": {
+      const left = caseBranchType(ctx, scope, e.left);
+      if (left !== "json" && left !== "jsonb") return null;
+      if (e.op === "->" || e.op === "#>") return left;
+      if (e.op === "->>" || e.op === "#>>") return "text";
+      return null;
+    }
+    case "case": {
+      let type = UNKNOWN;
+      const branches = [...e.whens.map((w) => w.then), ...e.elseExpr ? [e.elseExpr] : []];
+      for (const branch of branches) {
+        const next = caseBranchType(ctx, scope, branch);
+        if (next === null) return null;
+        if (next === UNKNOWN) continue;
+        const unified = unifyTypes(type, next);
+        if (unified === null) return null;
+        type = unified;
+      }
+      return type;
+    }
+    default:
+      return null;
+  }
+}
 function evalCase(ctx, scope, e) {
   validateSearchedCaseTree(ctx, scope, e);
   let chosen = null;
@@ -15766,8 +15805,10 @@ function evalCase(ctx, scope, e) {
     }
   }
   const resultExpr = chosen ?? e.elseExpr;
-  if (resultExpr === null) return tv(UNKNOWN, null);
-  return evalExpr(ctx, scope, resultExpr);
+  const result = resultExpr === null ? tv(UNKNOWN, null) : evalExpr(ctx, scope, resultExpr);
+  if (result.t !== UNKNOWN) return result;
+  const type = caseBranchType(ctx, scope, e);
+  return type !== null && type !== UNKNOWN ? castTo(ctx, result, type, {}) : result;
 }
 function evalIn(ctx, scope, e) {
   const left = evalExpr(ctx, scope, e.left);