@kairos-es/store-postgres 1.0.0-alpha.2 → 1.0.0-alpha.4

package/dist/esm/ensureSchema.js.map

@@ -1 +1 @@
-{"version":3,"file":"ensureSchema.js","names":["SqlClient","Effect","decodePostgresStoreConfig","resolveNames","runDdl","ensureSchema","config","gen","sql","names","all","discard"],"sources":["../../src/ensureSchema.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,SAASA,SAAS,QAAuB,aAAa;AACtD,SAASC,MAAM,QAAQ,QAAQ;AAC/B,SAASC,yBAAyB,QAAkC,aAAU;AAC9E,SAASC,YAAY,EAAEC,MAAM,QAAQ,mBAAgB;AAErD;;;;;AAKA,OAAO,MAAMC,YAAY,GACvBC,MAA2B,IAE3BL,MAAM,CAACM,GAAG,CAAC,aAAS;EAClB,MAAMC,GAAG,GAAG,OAAOR,SAAS,CAACA,SAAS;EACtC;EACA;EACA,MAAMS,KAAK,GAAGN,YAAY,CAACD,yBAAyB,CAACI,MAAM,CAAC,CAAC;EAC7D;EACA,OAAOL,MAAM,CAACS,GAAG,CAACN,MAAM,CAACI,GAAG,EAAEC,KAAK,CAAC,EAAE;IAAEE,OAAO,EAAE;EAAI,CAAE,CAAC;AAC1D,CAAC,CAAC","ignoreList":[]}
+{"version":3,"file":"ensureSchema.js","names":["SqlClient","Effect","decodePostgresStoreConfig","resolveNames","runDdl","ensureSchema","config","gen","sql","names","all","discard"],"sources":["../../src/ensureSchema.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,SAASA,SAAS,QAAuB,aAAa;AACtD,SAASC,MAAM,QAAQ,QAAQ;AAC/B,SAASC,yBAAyB,QAAkC,aAAU;AAC9E,SAASC,YAAY,EAAEC,MAAM,QAAQ,mBAAgB;AAErD;;;;;AAKA,OAAO,MAAMC,YAAY,GACvBC,MAA2B,IAE3BL,MAAM,CAACM,GAAG,CAAC,aAAS;EAClB,MAAMC,GAAG,GAAG,OAAOR,SAAS,CAACA,SAAS;EACtC;EACA;EACA,MAAMS,KAAK,GAAGN,YAAY,CAACD,yBAAyB,CAACI,MAAM,CAAC,CAAC;EAC7D;EACA,OAAOL,MAAM,CAACS,GAAG,CAACN,MAAM,CAACI,GAAG,EAAEC,KAAK,CAAC,EAAE;IAAEE,OAAO,EAAE;EAAI,CAAE,CAAC;AAC1D,CAAC,CAAC","ignoreList":[]}

package/dist/esm/internal/ddl.js

@@ -1,4 +1,4 @@
-import { allowedTypesPredicate, eventRecordsetColumns, qualifiedRows, taggedMatchChain } from "./matchSql.js";
+import { allowedTypesPredicate, eventColumnList, eventInsertSelectList, eventRecordsetColumns, qualifiedRows, RECORDSET_ALIAS, taggedMatchChain } from "./matchSql.js";
 /** Default schema when the config omits one. */
 export const DEFAULT_SCHEMA = 'public';
 /** Default table prefix when the config omits one. */
@@ -120,6 +120,16 @@ const lockClause = names => `LOCK TABLE ${quoteQualified(names.mainTable)} IN EX
  * preserves batch order, and `RETURNING id, tags` is captured into a temp
  * result set so the tag fan-out and the head can both read it. `data` arrives as
  * a base64 text field and is `decode(…, 'base64')`-restored to `bytea`.
+ *
+ * The recordset definition, its projection, the `INSERT INTO (…)` target list and
+ * the `SELECT` list are all derived from the one `EVENT_COLUMNS` descriptor in
+ * `matchSql.ts`, never written out here. The last two must agree POSITIONALLY and a
+ * mismatch is not an error, so deriving both from one walk is what keeps them from
+ * falling out of step; a column added without a source is a compile error there.
+ * What the compiler does NOT reach is whether the source READS the right field, or
+ * whether the column comes back out on the read; the round-trip contract group run
+ * against this engine is what proves a new column, and only with a value distinct
+ * per column, which is what makes a swap visible.
  */
 const insertFanoutNotify = (names, options = {}) => {
   const main = quoteQualified(names.mainTable);
@@ -137,18 +147,18 @@ const insertFanoutNotify = (names, options = {}) => {
   IF new_head IS NOT NULL THEN
     PERFORM pg_notify(${channel}, '1');
   END IF;` : '';
-  return `  WITH ne AS (
-    SELECT type, data, tags, uuid, occurred_at, ordinality
+  const ne = RECORDSET_ALIAS;
+  return `  WITH ${ne} AS (
+    SELECT ${eventColumnList}, ordinality
     FROM ROWS FROM(
       jsonb_to_recordset(new_events) AS (${eventRecordsetColumns})
     ) WITH ORDINALITY
   ),
   inserted AS (
-    INSERT INTO ${main} (type, data, tags, uuid, occurred_at)
-    SELECT ne.type, decode(ne.data, 'base64'), ne.tags, ne.uuid,
-           ne.occurred_at
-    FROM ne
-    ORDER BY ne.ordinality
+    INSERT INTO ${main} (${eventColumnList})
+    SELECT ${eventInsertSelectList}
+    FROM ${ne}
+    ORDER BY ${ne}.ordinality
     RETURNING id, tags
   ),
   fanned AS (
@@ -197,9 +207,12 @@ const conditionalAppendBody = (names, options = {}) => {
   // its ITEMS — none at all, an item carrying no tags, an item carrying tags —
   // which between them cover every `Query` value the grammar can express, so a new
   // SHAPE changes which SQL the read compiles without changing what this body has
-  // to match. The exposure is the GRAMMAR itself: a new `QueryItem` field, or a new
-  // meaning for an existing one, is something this body ignores rather than fails
-  // on, and no `switch` over the shape union would have caught that either.
+  // to match. The exposure is the GRAMMAR itself: a field ADDED to `QueryItem`, or a
+  // new meaning for an existing one, is something this body ignores rather than
+  // fails on, and no `switch` over the shape union would have caught that either. A
+  // key the grammar does NOT define never reaches this body: core's
+  // `servableQueryFault` refuses it at the contract boundary, which is what keeps a
+  // smuggled predicate from being dropped here in silence.
   const after = 'COALESCE(after_id, 0)';
   return `
 DECLARE
@@ -368,14 +381,18 @@ export const ddlStatements = names => {
   // positions — a rolled-back insert permanently consumes its id, which is
   // fine: ordering is by id alone and the store is never made gapless.
   // `data` is NULLABLE (a payload-less event is valid); `occurred_at` is
-  // informational domain time, never an ordering key.
+  // informational domain time, never an ordering key. `metadata` is the
+  // event's cleartext context bag (ADR-0017): `jsonb` only so a containment
+  // index stays possible without a rewrite, though nothing queries it and no
+  // index is built; `NOT NULL DEFAULT '{}'` gives an empty bag one shape.
   `CREATE TABLE IF NOT EXISTS ${main} (
        id bigserial,
        type text NOT NULL,
        data bytea,
        tags text[] NOT NULL,
        uuid text NOT NULL,
-       occurred_at timestamptz NOT NULL
+       occurred_at timestamptz NOT NULL,
+       metadata jsonb NOT NULL DEFAULT '{}'::jsonb
      ) WITH (${AUTOVACUUM_WITH});`,
   // Covering unique index: uniqueness on id plus INCLUDE(type) so the read
   // path's id→type lookups are index-only.

package/dist/esm/internal/ddl.js.map

@@ -1 +1 @@
-{"version":3,"file":"ddl.js","names":["allowedTypesPredicate","eventRecordsetColumns","qualifiedRows","taggedMatchChain","DEFAULT_SCHEMA","DEFAULT_TABLE_PREFIX","MAX_IDENTIFIER_BYTES","utf8ByteLength","value","TextEncoder","encode","length","derivedAtoms","config","schema","tablePrefix","replace","oversizedIdentifier","label","atom","bytes","undefined","resolveNames","problem","Error","mainTable","tagTable","mainIndex","tagIndex","appendFn","appendUnconditionalFn","channel","quoteQualified","name","split","map","join","quoteAtom","quoteLiteral","AUTOVACUUM_WITH","lockClause","names","insertFanoutNotify","options","main","tag","notify","conditionalAppendBody","lock","after","queryItemsExpr","afterExpr","unconditionalAppendBody","appendFunctionStatement","qualifiedName","argList","body","kind","ddlStatements","runDdl","sql","statement","unsafe"],"sources":["../../../src/internal/ddl.ts"],"sourcesContent":[null],"mappings":"AA4BA,SACEA,qBAAqB,EACrBC,qBAAqB,EACrBC,aAAa,EACbC,gBAAgB,QACX,eAAY;AAqCnB;AACA,OAAO,MAAMC,cAAc,GAAG,QAAQ;AACtC;AACA,OAAO,MAAMC,oBAAoB,GAAG,YAAY;AAEhD;;;;;;;AAOA,MAAMC,oBAAoB,GAAG,EAAE;AAE/B;AACA,MAAMC,cAAc,GAAIC,KAAa,IACnC,IAAIC,WAAW,EAAE,CAACC,MAAM,CAACF,KAAK,CAAC,CAACG,MAAM;AAExC;;;;;;AAMA,MAAMC,YAAY,GAAIC,MAGrB,IAA8C;EAC7C,MAAMC,MAAM,GAAGD,MAAM,CAACC,MAAM,IAAIV,cAAc;EAC9C,MAAMW,WAAW,GAAGF,MAAM,CAACE,WAAW,IAAIV,oBAAoB;EAC9D,OAAO,CACL,CAAC,QAAQ,EAAES,MAAM,CAAC,EAClB,CAAC,cAAc,EAAEC,WAAW,CAAC,EAC7B,CAAC,WAAW,EAAE,GAAGA,WAAW,OAAO,CAAC,EACpC,CAAC,YAAY,EAAE,GAAGA,WAAW,cAAc,CAAC,EAC5C,CAAC,WAAW,EAAE,GAAGA,WAAW,kBAAkB,CAAC,EAC/C,CAAC,iBAAiB,EAAE,GAAGA,WAAW,SAAS,CAAC,EAC5C,CAAC,+BAA+B,EAAE,GAAGA,WAAW,uBAAuB,CAAC,EACxE,CAAC,gBAAgB,EAAE,GAAGD,MAAM,IAAIC,WAAW,EAAE,CAACC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CACnE;AACH,CAAC;AAED;;;;;;;AAOA,OAAO,MAAMC,mBAAmB,GAAIJ,MAGnC,IAAwB;EACvB,KAAK,MAAM,CAACK,KAAK,EAAEC,IAAI,CAAC,IAAIP,YAAY,CAACC,MAAM,CAAC,EAAE;IAChD,MAAMO,KAAK,GAAGb,cAAc,CAACY,IAAI,CAAC;IAClC,IAAIC,KAAK,GAAGd,oBAAoB,EAAE;MAChC,OAAO,OAAOY,KAAK,gBAAgBC,IAAI,QAAQC,KAAK,2BAA2Bd,oBAAoB,2GAA2G;IAChN;EACF;EACA,OAAOe,SAAS;AAClB,CAAC;AAED;;;;;;;;;;;AAWA,OAAO,MAAMC,YAAY,GAAIT,MAG5B,IAAmB;EAClB,MAAMU,OAAO,GAAGN,mBAAmB,CAACJ,MAAM,CAAC;EAC3C,IAAIU,OAAO,KAAKF,SAAS,EAAE;IACzB,MAAM,IAAIG,KAAK,CAAC,iBAAiBD,OAAO,EAAE,CAAC;EAC7C;EACA,MAAMT,MAAM,GAAGD,MAAM,CAACC,MAAM,IAAIV,cAAc;EAC9C,MAAMW,WAAW,GAAGF,MAAM,CAACE,WAAW,IAAIV,oBAAoB;EAC9D,OAAO;IACLS,MAAM;IACNC,WAAW;IACXU,SAAS,EAAE,GAAGX,MAAM,IAAIC,WAAW,EAAE;IACrCW,QAAQ,EAAE,GAAGZ,MAAM,IAAIC,WAAW,OAAO;IACzCY,SAAS,EAAE,GAAGZ,WAAW,cAAc;IACvCa,QAAQ,EAAE,GAAGb,WAAW,kBAAkB;IAC1Cc,QAAQ,EAAE,GAAGf,MAAM,IAAIC,WAAW,SAAS;IAC3Ce,qBAAqB,EAAE,GAAGhB,MAAM,IAAIC,WAAW,uBAAuB;IACtEgB,OAAO,EAAE,GAAGjB,MAAM,IAAIC,WAAW,EAAE,CAACC,OAAO,CAAC,KAAK,EAAE,GAAG;GACvD;AACH,CAAC;AAED;;;;;;;AAOA,OAAO,MAAMgB,cAAc,GAAIC,IAAY,IACzCA,IAAI,CACDC,KAAK,CAAC,GAAG,CAAC,CACVC,GAAG,CAAEhB,IAAI,IAAK,IAAIA,IAAI,CAACH,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAC9CoB,IAAI,CAAC,GAAG,CAAC;AAEd;;;;AAIA,MAAMC,SAAS,GAAIJ,IAAY,IAAa,IAAIA,IAAI,CAACjB,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG;AAE3E;;;;;;AAMA,MAAMsB,YAAY,GAAI9B,KAAa,IAAa,IAAIA,KAAK,CAACQ,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG;AAEhF;;;;;;;AAOA,MAAMuB,eAAe,GACnB,6BAA6B,GAC7B,2CAA2C,GAC3C,wCAAwC,GACxC,uCAAuC,GACvC,wCAAwC;AAE1C;;;;;;;;;;AAUA,MAAMC,UAAU,GAAIC,KAAoB,IACtC,cAAcT,cAAc,CAACS,KAAK,CAAChB,SAAS,CAAC,qBAAqB;AAuBpE;;;;;;;;;;;;AAYA,MAAMiB,kBAAkB,GAAGA,CACzBD,KAAoB,EACpBE,OAAA,GAA6C,EAAE,KACrC;EACV,MAAMC,IAAI,GAAGZ,cAAc,CAACS,KAAK,CAAChB,SAAS,CAAC;EAC5C,MAAMoB,GAAG,GAAGb,cAAc,CAACS,KAAK,CAACf,QAAQ,CAAC;EAC1C,MAAMK,OAAO,GAAGO,YAAY,CAACG,KAAK,CAACV,OAAO,CAAC;EAC3C;EACA;EACA;EACA;EACA,MAAMe,MAAM,GACTH,OAAO,CAACG,MAAM,IAAI,IAAI,GACnB;;;;;;wBAMgBf,OAAO;UACrB,GACF,EAAE;EACR,OAAO;;;2CAGkC9B,qBAAqB;;;;kBAI9C2C,IAAI;;;;;;;;kBAQJC,GAAG;;;;;;;;;;;;EAYnBC,MAAM,EAAE;AACV,CAAC;AAED;;;;;;;;;;AAUA,MAAMC,qBAAqB,GAAGA,CAC5BN,KAAoB,EACpBE,OAAA,GAA2C,EAAE,KACnC;EACV,MAAMC,IAAI,GAAGZ,cAAc,CAACS,KAAK,CAAChB,SAAS,CAAC;EAC5C,MAAMoB,GAAG,GAAGb,cAAc,CAACS,KAAK,CAACf,QAAQ,CAAC;EAC1C,MAAMsB,IAAI,GAAIL,OAAO,CAACK,IAAI,IAAI,IAAI,GAAI,KAAKR,UAAU,CAACC,KAAK,CAAC,IAAI,GAAG,EAAE;EACrE;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,MAAMQ,KAAK,GAAG,uBAAuB;EACrC,OAAO;;;;;;;EAOPD,IAAI;;;;;;;;;;SAUG7C,gBAAgB,CAAC;IAAE+C,cAAc,EAAE,aAAa;IAAEC,SAAS,EAAEF,KAAK;IAAEL,IAAI;IAAEC;EAAG,CAAE,CAAC;;;;WAI9ED,IAAI;;mBAEIK,KAAK;;;;;;;WAObL,IAAI,gBAAgBK,KAAK;;YAExBjD,qBAAqB,CAAC,UAAU,CAAC;;;;;;MAMvCE,aAAa,CAAC;IAAE0C,IAAI;IAAEO,SAAS,EAAEF;EAAK,CAAE,CAAC;;;;;;;;;;;EAW7CP,kBAAkB,CAACD,KAAK,CAAC;;;;;;CAM1B;AACD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoCA,MAAMW,uBAAuB,GAAGA,CAC9BX,KAAoB,EACpBE,OAAA,GAA6B,EAAE,KACrB;EACV,MAAMK,IAAI,GAAIL,OAAO,CAACK,IAAI,IAAI,IAAI,GAAI,KAAKR,UAAU,CAACC,KAAK,CAAC,IAAI,GAAG,EAAE;EACrE;EACA;EACA,OAAO;;;;EAIPO,IAAI,GAAGN,kBAAkB,CAACD,KAAK,EAAEE,OAAO,CAAC;;;CAG1C;AACD,CAAC;AAiBD;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMU,uBAAuB,GAAGA,CACrCZ,KAAoB,EACpBE,OAA8B,KACpB;EACV;EACA;EACA;EACA;EACA,MAAM,CAACW,aAAa,EAAEC,OAAO,EAAEC,IAAI,CAAC,GAClCb,OAAO,CAACc,IAAI,KAAK,aAAa,GAC1B,CACEhB,KAAK,CAACZ,QAAQ,EACd,sDAAsD,EACtDkB,qBAAqB,CAACN,KAAK,EAAEE,OAAO,CAAC,CACtC,GACD,CACEF,KAAK,CAACX,qBAAqB,EAC3B,kBAAkB,EAClBsB,uBAAuB,CAACX,KAAK,EAAEE,OAAO,CAAC,CACxC;EACP,OAAO,8BAA8BX,cAAc,CAACsB,aAAa,CAAC;SAC3DC,OAAO;;mCAEmBC,IAAI,WAAW;AAClD,CAAC;AAED;;;;;;;;;;;AAWA,OAAO,MAAME,aAAa,GAAIjB,KAAoB,IAA2B;EAC3E,MAAMG,IAAI,GAAGZ,cAAc,CAACS,KAAK,CAAChB,SAAS,CAAC;EAC5C,MAAMoB,GAAG,GAAGb,cAAc,CAACS,KAAK,CAACf,QAAQ,CAAC;EAC1C,MAAMZ,MAAM,GAAGuB,SAAS,CAACI,KAAK,CAAC3B,MAAM,CAAC;EACtC,MAAMa,SAAS,GAAGU,SAAS,CAACI,KAAK,CAACd,SAAS,CAAC;EAC5C,MAAMC,QAAQ,GAAGS,SAAS,CAACI,KAAK,CAACb,QAAQ,CAAC;EAE1C,OAAO;EACL;EACA;EACA,+BAA+Bd,MAAM,GAAG;EAExC;EACA;EACA;EACA;EACA;EACA,8BAA8B8B,IAAI;;;;;;;eAOvBL,eAAe,IAAI;EAE9B;EACA;EACA,qCAAqCZ,SAAS;YACtCiB,IAAI,uBAAuB;EAEnC;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,8BAA8BC,GAAG;;mCAEFD,IAAI;eACxBL,eAAe,IAAI;EAE9B;EACA;EACA,8BAA8BX,QAAQ;YAC9BiB,GAAG,kBAAkB;EAE7B;EACAQ,uBAAuB,CAACZ,KAAK,EAAE;IAAEgB,IAAI,EAAE;EAAa,CAAE,CAAC;EAEvD;EACAJ,uBAAuB,CAACZ,KAAK,EAAE;IAAEgB,IAAI,EAAE;EAAe,CAAE,CAAC,CAC1D;AACH,CAAC;AAED;;;;;;AAMA,OAAO,MAAME,MAAM,GAAGA,CACpBC,GAAwB,EACxBnB,KAAoB,KAEpBiB,aAAa,CAACjB,KAAK,CAAC,CAACN,GAAG,CAAE0B,SAAS,IAAKD,GAAG,CAACE,MAAM,CAACD,SAAS,CAAC,CAAC","ignoreList":[]}
+{"version":3,"file":"ddl.js","names":["allowedTypesPredicate","eventColumnList","eventInsertSelectList","eventRecordsetColumns","qualifiedRows","RECORDSET_ALIAS","taggedMatchChain","DEFAULT_SCHEMA","DEFAULT_TABLE_PREFIX","MAX_IDENTIFIER_BYTES","utf8ByteLength","value","TextEncoder","encode","length","derivedAtoms","config","schema","tablePrefix","replace","oversizedIdentifier","label","atom","bytes","undefined","resolveNames","problem","Error","mainTable","tagTable","mainIndex","tagIndex","appendFn","appendUnconditionalFn","channel","quoteQualified","name","split","map","join","quoteAtom","quoteLiteral","AUTOVACUUM_WITH","lockClause","names","insertFanoutNotify","options","main","tag","notify","ne","conditionalAppendBody","lock","after","queryItemsExpr","afterExpr","unconditionalAppendBody","appendFunctionStatement","qualifiedName","argList","body","kind","ddlStatements","runDdl","sql","statement","unsafe"],"sources":["../../../src/internal/ddl.ts"],"sourcesContent":[null],"mappings":"AA4BA,SACEA,qBAAqB,EACrBC,eAAe,EACfC,qBAAqB,EACrBC,qBAAqB,EACrBC,aAAa,EACbC,eAAe,EACfC,gBAAgB,QACX,eAAY;AAqCnB;AACA,OAAO,MAAMC,cAAc,GAAG,QAAQ;AACtC;AACA,OAAO,MAAMC,oBAAoB,GAAG,YAAY;AAEhD;;;;;;;AAOA,MAAMC,oBAAoB,GAAG,EAAE;AAE/B;AACA,MAAMC,cAAc,GAAIC,KAAa,IACnC,IAAIC,WAAW,EAAE,CAACC,MAAM,CAACF,KAAK,CAAC,CAACG,MAAM;AAExC;;;;;;AAMA,MAAMC,YAAY,GAAIC,MAGrB,IAA8C;EAC7C,MAAMC,MAAM,GAAGD,MAAM,CAACC,MAAM,IAAIV,cAAc;EAC9C,MAAMW,WAAW,GAAGF,MAAM,CAACE,WAAW,IAAIV,oBAAoB;EAC9D,OAAO,CACL,CAAC,QAAQ,EAAES,MAAM,CAAC,EAClB,CAAC,cAAc,EAAEC,WAAW,CAAC,EAC7B,CAAC,WAAW,EAAE,GAAGA,WAAW,OAAO,CAAC,EACpC,CAAC,YAAY,EAAE,GAAGA,WAAW,cAAc,CAAC,EAC5C,CAAC,WAAW,EAAE,GAAGA,WAAW,kBAAkB,CAAC,EAC/C,CAAC,iBAAiB,EAAE,GAAGA,WAAW,SAAS,CAAC,EAC5C,CAAC,+BAA+B,EAAE,GAAGA,WAAW,uBAAuB,CAAC,EACxE,CAAC,gBAAgB,EAAE,GAAGD,MAAM,IAAIC,WAAW,EAAE,CAACC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CACnE;AACH,CAAC;AAED;;;;;;;AAOA,OAAO,MAAMC,mBAAmB,GAAIJ,MAGnC,IAAwB;EACvB,KAAK,MAAM,CAACK,KAAK,EAAEC,IAAI,CAAC,IAAIP,YAAY,CAACC,MAAM,CAAC,EAAE;IAChD,MAAMO,KAAK,GAAGb,cAAc,CAACY,IAAI,CAAC;IAClC,IAAIC,KAAK,GAAGd,oBAAoB,EAAE;MAChC,OAAO,OAAOY,KAAK,gBAAgBC,IAAI,QAAQC,KAAK,2BAA2Bd,oBAAoB,2GAA2G;IAChN;EACF;EACA,OAAOe,SAAS;AAClB,CAAC;AAED;;;;;;;;;;;AAWA,OAAO,MAAMC,YAAY,GAAIT,MAG5B,IAAmB;EAClB,MAAMU,OAAO,GAAGN,mBAAmB,CAACJ,MAAM,CAAC;EAC3C,IAAIU,OAAO,KAAKF,SAAS,EAAE;IACzB,MAAM,IAAIG,KAAK,CAAC,iBAAiBD,OAAO,EAAE,CAAC;EAC7C;EACA,MAAMT,MAAM,GAAGD,MAAM,CAACC,MAAM,IAAIV,cAAc;EAC9C,MAAMW,WAAW,GAAGF,MAAM,CAACE,WAAW,IAAIV,oBAAoB;EAC9D,OAAO;IACLS,MAAM;IACNC,WAAW;IACXU,SAAS,EAAE,GAAGX,MAAM,IAAIC,WAAW,EAAE;IACrCW,QAAQ,EAAE,GAAGZ,MAAM,IAAIC,WAAW,OAAO;IACzCY,SAAS,EAAE,GAAGZ,WAAW,cAAc;IACvCa,QAAQ,EAAE,GAAGb,WAAW,kBAAkB;IAC1Cc,QAAQ,EAAE,GAAGf,MAAM,IAAIC,WAAW,SAAS;IAC3Ce,qBAAqB,EAAE,GAAGhB,MAAM,IAAIC,WAAW,uBAAuB;IACtEgB,OAAO,EAAE,GAAGjB,MAAM,IAAIC,WAAW,EAAE,CAACC,OAAO,CAAC,KAAK,EAAE,GAAG;GACvD;AACH,CAAC;AAED;;;;;;;AAOA,OAAO,MAAMgB,cAAc,GAAIC,IAAY,IACzCA,IAAI,CACDC,KAAK,CAAC,GAAG,CAAC,CACVC,GAAG,CAAEhB,IAAI,IAAK,IAAIA,IAAI,CAACH,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAC9CoB,IAAI,CAAC,GAAG,CAAC;AAEd;;;;AAIA,MAAMC,SAAS,GAAIJ,IAAY,IAAa,IAAIA,IAAI,CAACjB,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG;AAE3E;;;;;;AAMA,MAAMsB,YAAY,GAAI9B,KAAa,IAAa,IAAIA,KAAK,CAACQ,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG;AAEhF;;;;;;;AAOA,MAAMuB,eAAe,GACnB,6BAA6B,GAC7B,2CAA2C,GAC3C,wCAAwC,GACxC,uCAAuC,GACvC,wCAAwC;AAE1C;;;;;;;;;;AAUA,MAAMC,UAAU,GAAIC,KAAoB,IACtC,cAAcT,cAAc,CAACS,KAAK,CAAChB,SAAS,CAAC,qBAAqB;AAuBpE;;;;;;;;;;;;;;;;;;;;;;AAsBA,MAAMiB,kBAAkB,GAAGA,CACzBD,KAAoB,EACpBE,OAAA,GAA6C,EAAE,KACrC;EACV,MAAMC,IAAI,GAAGZ,cAAc,CAACS,KAAK,CAAChB,SAAS,CAAC;EAC5C,MAAMoB,GAAG,GAAGb,cAAc,CAACS,KAAK,CAACf,QAAQ,CAAC;EAC1C,MAAMK,OAAO,GAAGO,YAAY,CAACG,KAAK,CAACV,OAAO,CAAC;EAC3C;EACA;EACA;EACA;EACA,MAAMe,MAAM,GACTH,OAAO,CAACG,MAAM,IAAI,IAAI,GACnB;;;;;;wBAMgBf,OAAO;UACrB,GACF,EAAE;EACR,MAAMgB,EAAE,GAAG7C,eAAe;EAC1B,OAAO,UAAU6C,EAAE;aACRjD,eAAe;;2CAEeE,qBAAqB;;;;kBAI9C4C,IAAI,KAAK9C,eAAe;aAC7BC,qBAAqB;WACvBgD,EAAE;eACEA,EAAE;;;;kBAICF,GAAG;;;;;;;;;;;;EAYnBC,MAAM,EAAE;AACV,CAAC;AAED;;;;;;;;;;AAUA,MAAME,qBAAqB,GAAGA,CAC5BP,KAAoB,EACpBE,OAAA,GAA2C,EAAE,KACnC;EACV,MAAMC,IAAI,GAAGZ,cAAc,CAACS,KAAK,CAAChB,SAAS,CAAC;EAC5C,MAAMoB,GAAG,GAAGb,cAAc,CAACS,KAAK,CAACf,QAAQ,CAAC;EAC1C,MAAMuB,IAAI,GAAIN,OAAO,CAACM,IAAI,IAAI,IAAI,GAAI,KAAKT,UAAU,CAACC,KAAK,CAAC,IAAI,GAAG,EAAE;EACrE;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,MAAMS,KAAK,GAAG,uBAAuB;EACrC,OAAO;;;;;;;EAOPD,IAAI;;;;;;;;;;SAUG9C,gBAAgB,CAAC;IAAEgD,cAAc,EAAE,aAAa;IAAEC,SAAS,EAAEF,KAAK;IAAEN,IAAI;IAAEC;EAAG,CAAE,CAAC;;;;WAI9ED,IAAI;;mBAEIM,KAAK;;;;;;;WAObN,IAAI,gBAAgBM,KAAK;;YAExBrD,qBAAqB,CAAC,UAAU,CAAC;;;;;;MAMvCI,aAAa,CAAC;IAAE2C,IAAI;IAAEQ,SAAS,EAAEF;EAAK,CAAE,CAAC;;;;;;;;;;;EAW7CR,kBAAkB,CAACD,KAAK,CAAC;;;;;;CAM1B;AACD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoCA,MAAMY,uBAAuB,GAAGA,CAC9BZ,KAAoB,EACpBE,OAAA,GAA6B,EAAE,KACrB;EACV,MAAMM,IAAI,GAAIN,OAAO,CAACM,IAAI,IAAI,IAAI,GAAI,KAAKT,UAAU,CAACC,KAAK,CAAC,IAAI,GAAG,EAAE;EACrE;EACA;EACA,OAAO;;;;EAIPQ,IAAI,GAAGP,kBAAkB,CAACD,KAAK,EAAEE,OAAO,CAAC;;;CAG1C;AACD,CAAC;AAiBD;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMW,uBAAuB,GAAGA,CACrCb,KAAoB,EACpBE,OAA8B,KACpB;EACV;EACA;EACA;EACA;EACA,MAAM,CAACY,aAAa,EAAEC,OAAO,EAAEC,IAAI,CAAC,GAClCd,OAAO,CAACe,IAAI,KAAK,aAAa,GAC1B,CACEjB,KAAK,CAACZ,QAAQ,EACd,sDAAsD,EACtDmB,qBAAqB,CAACP,KAAK,EAAEE,OAAO,CAAC,CACtC,GACD,CACEF,KAAK,CAACX,qBAAqB,EAC3B,kBAAkB,EAClBuB,uBAAuB,CAACZ,KAAK,EAAEE,OAAO,CAAC,CACxC;EACP,OAAO,8BAA8BX,cAAc,CAACuB,aAAa,CAAC;SAC3DC,OAAO;;mCAEmBC,IAAI,WAAW;AAClD,CAAC;AAED;;;;;;;;;;;AAWA,OAAO,MAAME,aAAa,GAAIlB,KAAoB,IAA2B;EAC3E,MAAMG,IAAI,GAAGZ,cAAc,CAACS,KAAK,CAAChB,SAAS,CAAC;EAC5C,MAAMoB,GAAG,GAAGb,cAAc,CAACS,KAAK,CAACf,QAAQ,CAAC;EAC1C,MAAMZ,MAAM,GAAGuB,SAAS,CAACI,KAAK,CAAC3B,MAAM,CAAC;EACtC,MAAMa,SAAS,GAAGU,SAAS,CAACI,KAAK,CAACd,SAAS,CAAC;EAC5C,MAAMC,QAAQ,GAAGS,SAAS,CAACI,KAAK,CAACb,QAAQ,CAAC;EAE1C,OAAO;EACL;EACA;EACA,+BAA+Bd,MAAM,GAAG;EAExC;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,8BAA8B8B,IAAI;;;;;;;;eAQvBL,eAAe,IAAI;EAE9B;EACA;EACA,qCAAqCZ,SAAS;YACtCiB,IAAI,uBAAuB;EAEnC;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,8BAA8BC,GAAG;;mCAEFD,IAAI;eACxBL,eAAe,IAAI;EAE9B;EACA;EACA,8BAA8BX,QAAQ;YAC9BiB,GAAG,kBAAkB;EAE7B;EACAS,uBAAuB,CAACb,KAAK,EAAE;IAAEiB,IAAI,EAAE;EAAa,CAAE,CAAC;EAEvD;EACAJ,uBAAuB,CAACb,KAAK,EAAE;IAAEiB,IAAI,EAAE;EAAe,CAAE,CAAC,CAC1D;AACH,CAAC;AAED;;;;;;AAMA,OAAO,MAAME,MAAM,GAAGA,CACpBC,GAAwB,EACxBpB,KAAoB,KAEpBkB,aAAa,CAAClB,KAAK,CAAC,CAACN,GAAG,CAAE2B,SAAS,IAAKD,GAAG,CAACE,MAAM,CAACD,SAAS,CAAC,CAAC","ignoreList":[]}

package/dist/esm/internal/matchSql.js

@@ -32,10 +32,11 @@
  * that union, so a column rename here is a COMPILE error there, not a silent drift
  * the lax read boundary (ADR-0006) would only surface as corrupt data under test.
  */
-const EVENT_COLUMNS = [['type', 'text'], ['data', 'text'], ['tags', 'text[]'], ['uuid', 'text'], ['occurred_at', 'timestamptz']];
+const EVENT_COLUMNS = [['type', 'text'], ['data', 'text'], ['tags', 'text[]'], ['uuid', 'text'], ['occurred_at', 'timestamptz'], ['metadata', 'jsonb']];
 /**
  * The `jsonb_to_recordset(new_events) AS (…)` column definitions —
- * `type text, data text, tags text[], uuid text, occurred_at timestamptz`. The
+ * `type text, data text, tags text[], uuid text, occurred_at timestamptz,
+ * metadata jsonb`. The
  * transport `data` is base64 TEXT (restored to `bytea` by `decode(…, 'base64')`
  * at insert), which is why it is `text` here, not `bytea`.
  */
@@ -46,6 +47,47 @@ export const eventRecordsetColumns = /*#__PURE__*/EVENT_COLUMNS.map(([name, type
  * cannot drift from the recordset.
  */
 export const readColumns = (prefix = '') => [`${prefix}id`, ...EVENT_COLUMNS.map(([name]) => `${prefix}${name}`)].join(', ');
+/**
+ * The alias the append body gives the expanded `new_events` recordset — the `ne`
+ * CTE in `ddl.ts` — which every expression in `EVENT_COLUMN_SOURCE` reads from.
+ * Exported so the CTE is declared under the one name its readers assume.
+ */
+export const RECORDSET_ALIAS = 'ne';
+/**
+ * What the append body inserts into each event column, read from the recordset row.
+ *
+ * Typed as a `Record` over `EventColumnName` so that adding a column to
+ * `EVENT_COLUMNS` without saying where its value comes from is a COMPILE error,
+ * rather than a column the insert silently leaves at its default. Every column but
+ * `data` passes through as the recordset already types it — `text[]` tags,
+ * `timestamptz`, `jsonb` metadata — because `jsonb_to_recordset` did the casting;
+ * `data` crosses as base64 TEXT and is restored to `bytea` here, its one decode.
+ */
+const EVENT_COLUMN_SOURCE = {
+  type: `${RECORDSET_ALIAS}.type`,
+  data: `decode(${RECORDSET_ALIAS}.data, 'base64')`,
+  tags: `${RECORDSET_ALIAS}.tags`,
+  uuid: `${RECORDSET_ALIAS}.uuid`,
+  occurred_at: `${RECORDSET_ALIAS}.occurred_at`,
+  metadata: `${RECORDSET_ALIAS}.metadata`
+};
+/**
+ * The bare event column names — `type, data, tags, uuid, occurred_at, metadata` —
+ * which the append body uses twice: as the recordset CTE's projection and as the
+ * `INSERT INTO t (…)` target list.
+ */
+export const eventColumnList = /*#__PURE__*/EVENT_COLUMNS.map(([name]) => name).join(', ');
+/**
+ * The append insert's SELECT list: one source expression per column, in the SAME
+ * ORDER as `eventColumnList`.
+ *
+ * The two halves of `INSERT INTO t (a, b) SELECT x, y` agree POSITION BY POSITION
+ * and nothing checks that they do: two columns of compatible type swap without an
+ * error at any layer and the data lands in the wrong one. Both halves are therefore
+ * one walk of the one descriptor, so the append body has no second ordering to keep
+ * in step and no hand-written list for a new column to be missing from.
+ */
+export const eventInsertSelectList = /*#__PURE__*/EVENT_COLUMNS.map(([name]) => EVENT_COLUMN_SOURCE[name]).join(', ');
 /**
  * The allowed-types filter for a candidate row aliased `m`: an item with no
  * types matches ANY type; otherwise the event's type must be one of them.

package/dist/esm/internal/matchSql.js.map

@@ -1 +1 @@
-{"version":3,"file":"matchSql.js","names":["EVENT_COLUMNS","eventRecordsetColumns","map","name","type","join","readColumns","prefix","allowedTypesPredicate","typesCol","taggedMatchChain","tokens","queryItemsExpr","tag","afterExpr","qualifiedRows","main","wildcardReadSql","typeOnlyReadSql","taggedReadSql"],"sources":["../../../src/internal/matchSql.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;AAwBA;;;;;;;;;;;AAWA,MAAMA,aAAa,GAAG,CACpB,CAAC,MAAM,EAAE,MAAM,CAAC,EAChB,CAAC,MAAM,EAAE,MAAM,CAAC,EAChB,CAAC,MAAM,EAAE,QAAQ,CAAC,EAClB,CAAC,MAAM,EAAE,MAAM,CAAC,EAChB,CAAC,aAAa,EAAE,aAAa,CAAC,CAG/B;AAYD;;;;;;AAMA,OAAO,MAAMC,qBAAqB,gBAAWD,aAAa,CAACE,GAAG,CAC5D,CAAC,CAACC,IAAI,EAAEC,IAAI,CAAC,KAAK,GAAGD,IAAI,IAAIC,IAAI,EAAE,CACpC,CAACC,IAAI,CAAC,IAAI,CAAC;AAEZ;;;;;AAKA,OAAO,MAAMC,WAAW,GAAGA,CAACC,MAAM,GAAG,EAAE,KACrC,CAAC,GAAGA,MAAM,IAAI,EAAE,GAAGP,aAAa,CAACE,GAAG,CAAC,CAAC,CAACC,IAAI,CAAC,KAAK,GAAGI,MAAM,GAAGJ,IAAI,EAAE,CAAC,CAAC,CAACE,IAAI,CACxE,IAAI,CACL;AAEH;;;;;;AAMA,OAAO,MAAMG,qBAAqB,GAAIC,QAAgB,IACpD,iBAAiBA,QAAQ,gCAAgCA,QAAQ,4BAA4BA,QAAQ,IAAI;AAc3G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,OAAO,MAAMC,gBAAgB,GAAIC,MAAmB,IAClD;;;;;;;2BAOyBA,MAAM,CAACC,cAAc;;;;;;;WAOrCD,MAAM,CAACE,GAAG;wBACGF,MAAM,CAACG,SAAS;;;;;;;;;;;;;IAapC;AAEJ;;;;;;AAMA,OAAO,MAAMC,aAAa,GACxBJ,MAA+C,IAE/C;WACSA,MAAM,CAACK,IAAI;mBACHL,MAAM,CAACG,SAAS;YACvBN,qBAAqB,CAAC,iBAAiB,CAAC,EAAE;AAEtD;AACA,OAAO,MAAMS,eAAe,GAAID,IAAY,IAC1C,UAAUV,WAAW,EAAE;UACfU,IAAI;;;YAGF;AAEZ;AACA,OAAO,MAAME,eAAe,GAAIF,IAAY,IAC1C,UAAUV,WAAW,EAAE;UACfU,IAAI;;;YAGF;AAEZ;;;;;;AAMA,OAAO,MAAMG,aAAa,GAAGA,CAACH,IAAY,EAAEH,GAAW,KACrD,QAAQH,gBAAgB,CAAC;EAAEE,cAAc,EAAE,WAAW;EAAEE,SAAS,EAAE,IAAI;EAAEE,IAAI;EAAEH;AAAG,CAAE,CAAC;;;MAGjFE,aAAa,CAAC;EAAEC,IAAI;EAAEF,SAAS,EAAE;AAAI,CAAE,CAAC;;;;WAInCR,WAAW,CAAC,IAAI,CAAC;SACnBU,IAAI;;oBAEO","ignoreList":[]}
+{"version":3,"file":"matchSql.js","names":["EVENT_COLUMNS","eventRecordsetColumns","map","name","type","join","readColumns","prefix","RECORDSET_ALIAS","EVENT_COLUMN_SOURCE","data","tags","uuid","occurred_at","metadata","eventColumnList","eventInsertSelectList","allowedTypesPredicate","typesCol","taggedMatchChain","tokens","queryItemsExpr","tag","afterExpr","qualifiedRows","main","wildcardReadSql","typeOnlyReadSql","taggedReadSql"],"sources":["../../../src/internal/matchSql.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;AAwBA;;;;;;;;;;;AAWA,MAAMA,aAAa,GAAG,CACpB,CAAC,MAAM,EAAE,MAAM,CAAC,EAChB,CAAC,MAAM,EAAE,MAAM,CAAC,EAChB,CAAC,MAAM,EAAE,QAAQ,CAAC,EAClB,CAAC,MAAM,EAAE,MAAM,CAAC,EAChB,CAAC,aAAa,EAAE,aAAa,CAAC,EAC9B,CAAC,UAAU,EAAE,OAAO,CAAC,CAGtB;AAYD;;;;;;;AAOA,OAAO,MAAMC,qBAAqB,gBAAWD,aAAa,CAACE,GAAG,CAC5D,CAAC,CAACC,IAAI,EAAEC,IAAI,CAAC,KAAK,GAAGD,IAAI,IAAIC,IAAI,EAAE,CACpC,CAACC,IAAI,CAAC,IAAI,CAAC;AAEZ;;;;;AAKA,OAAO,MAAMC,WAAW,GAAGA,CAACC,MAAM,GAAG,EAAE,KACrC,CAAC,GAAGA,MAAM,IAAI,EAAE,GAAGP,aAAa,CAACE,GAAG,CAAC,CAAC,CAACC,IAAI,CAAC,KAAK,GAAGI,MAAM,GAAGJ,IAAI,EAAE,CAAC,CAAC,CAACE,IAAI,CACxE,IAAI,CACL;AAEH;;;;;AAKA,OAAO,MAAMG,eAAe,GAAG,IAAI;AAEnC;;;;;;;;;;AAUA,MAAMC,mBAAmB,GAAoC;EAC3DL,IAAI,EAAE,GAAGI,eAAe,OAAO;EAC/BE,IAAI,EAAE,UAAUF,eAAe,kBAAkB;EACjDG,IAAI,EAAE,GAAGH,eAAe,OAAO;EAC/BI,IAAI,EAAE,GAAGJ,eAAe,OAAO;EAC/BK,WAAW,EAAE,GAAGL,eAAe,cAAc;EAC7CM,QAAQ,EAAE,GAAGN,eAAe;CAC7B;AAED;;;;;AAKA,OAAO,MAAMO,eAAe,gBAAWf,aAAa,CAACE,GAAG,CAAC,CAAC,CAACC,IAAI,CAAC,KAAKA,IAAI,CAAC,CAACE,IAAI,CAC7E,IAAI,CACL;AAED;;;;;;;;;;AAUA,OAAO,MAAMW,qBAAqB,gBAAWhB,aAAa,CAACE,GAAG,CAC5D,CAAC,CAACC,IAAI,CAAC,KAAKM,mBAAmB,CAACN,IAAI,CAAC,CACtC,CAACE,IAAI,CAAC,IAAI,CAAC;AAEZ;;;;;;AAMA,OAAO,MAAMY,qBAAqB,GAAIC,QAAgB,IACpD,iBAAiBA,QAAQ,gCAAgCA,QAAQ,4BAA4BA,QAAQ,IAAI;AAc3G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,OAAO,MAAMC,gBAAgB,GAAIC,MAAmB,IAClD;;;;;;;2BAOyBA,MAAM,CAACC,cAAc;;;;;;;WAOrCD,MAAM,CAACE,GAAG;wBACGF,MAAM,CAACG,SAAS;;;;;;;;;;;;;IAapC;AAEJ;;;;;;AAMA,OAAO,MAAMC,aAAa,GACxBJ,MAA+C,IAE/C;WACSA,MAAM,CAACK,IAAI;mBACHL,MAAM,CAACG,SAAS;YACvBN,qBAAqB,CAAC,iBAAiB,CAAC,EAAE;AAEtD;AACA,OAAO,MAAMS,eAAe,GAAID,IAAY,IAC1C,UAAUnB,WAAW,EAAE;UACfmB,IAAI;;;YAGF;AAEZ;AACA,OAAO,MAAME,eAAe,GAAIF,IAAY,IAC1C,UAAUnB,WAAW,EAAE;UACfmB,IAAI;;;YAGF;AAEZ;;;;;;AAMA,OAAO,MAAMG,aAAa,GAAGA,CAACH,IAAY,EAAEH,GAAW,KACrD,QAAQH,gBAAgB,CAAC;EAAEE,cAAc,EAAE,WAAW;EAAEE,SAAS,EAAE,IAAI;EAAEE,IAAI;EAAEH;AAAG,CAAE,CAAC;;;MAGjFE,aAAa,CAAC;EAAEC,IAAI;EAAEF,SAAS,EAAE;AAAI,CAAE,CAAC;;;;WAInCjB,WAAW,CAAC,IAAI,CAAC;SACnBmB,IAAI;;oBAEO","ignoreList":[]}

package/dist/esm/internal/readPlan.js

@@ -30,10 +30,14 @@ export const compileFetchPlan = (tables, query) => {
     case 'typeOnly':
       {
         // node-postgres binds a JS array param as a Postgres array literal, so
-        // `type = ANY($2)` matches any of the item's types. The item's own list is
-        // bound as it stands: a branded `EventType` IS its string to the driver, so
-        // nothing here has to unwrap or copy it.
-        const types = shape.types;
+        // `type = ANY($2)` matches any of the item's types. A branded `EventType` IS
+        // its string to the driver, so nothing has to be unwrapped — but the list is
+        // COPIED here, at compile time. The driver serialises the array afresh on
+        // every `bind`, and a subscription re-binds on every poll, so binding the
+        // caller's own array would let an edit the caller makes after subscribing
+        // reach the next fetch. The tagged arm is immune by construction, since it
+        // serialises once below; this copy is what makes the two arms agree.
+        const types = [...shape.types];
         return {
           text: typeOnlyReadSql(tables.main),
           bind: (after, limit) => [after, types, limit]

package/dist/esm/internal/readPlan.js.map

@@ -1 +1 @@
-{"version":3,"file":"readPlan.js","names":["classifyServableQuery","ORIGIN","taggedReadSql","typeOnlyReadSql","wildcardReadSql","jsonbText","toQueryItemsJson","compileFetchPlan","tables","query","shape","kind","text","main","bind","after","limit","types","itemsJson","tag","runFetch","sql","plan","unsafe"],"sources":["../../../src/internal/readPlan.ts"],"sourcesContent":[null],"mappings":"AAyBA,SAASA,qBAAqB,EAAEC,MAAM,QAAoB,iBAAiB;AAE3E,SAASC,aAAa,EAAEC,eAAe,EAAEC,eAAe,QAAQ,eAAY;AAC5E,SAAwBC,SAAS,EAAEC,gBAAgB,QAAQ,gBAAa;AA0BxE;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,gBAAgB,GAAGA,CAC9BC,MAAkB,EAClBC,KAAY,KACC;EACb,MAAMC,KAAK,GAAGV,qBAAqB,CAACS,KAAK,CAAC;EAC1C,QAAQC,KAAK,CAACC,IAAI;IAChB,KAAK,UAAU;MACb,OAAO;QACLC,IAAI,EAAER,eAAe,CAACI,MAAM,CAACK,IAAI,CAAC;QAClCC,IAAI,EAAEA,CAACC,KAAK,EAAEC,KAAK,KAAK,CAACD,KAAK,EAAEC,KAAK;OACtC;IACH,KAAK,UAAU;MAAE;QACf;QACA;QACA;QACA;QACA,MAAMC,KAAK,GAAGP,KAAK,CAACO,KAAK;QACzB,OAAO;UACLL,IAAI,EAAET,eAAe,CAACK,MAAM,CAACK,IAAI,CAAC;UAClCC,IAAI,EAAEA,CAACC,KAAK,EAAEC,KAAK,KAAK,CAACD,KAAK,EAAEE,KAAK,EAAED,KAAK;SAC7C;MACH;IACA,KAAK,QAAQ;MAAE;QACb;QACA;QACA,MAAME,SAAS,GAAGb,SAAS,CAACC,gBAAgB,CAACG,KAAK,CAAC,CAAC;QACpD,OAAO;UACLG,IAAI,EAAEV,aAAa,CAACM,MAAM,CAACK,IAAI,EAAEL,MAAM,CAACW,GAAG,CAAC;UAC5CL,IAAI,EAAEA,CAACC,KAAK,EAAEC,KAAK,KAAK,CAACE,SAAS,EAAEH,KAAK,EAAEC,KAAK;SACjD;MACH;EACF;AACF,CAAC;AAED;;;;AAIA,OAAO,MAAMI,QAAQ,GAAGA,CACtBC,GAAwB,EACxBC,IAAe,EACfP,KAA2B,EAC3BC,KAA4B,KAE5BK,GAAG,CAACE,MAAM,CAAWD,IAAI,CAACV,IAAI,EAAEU,IAAI,CAACR,IAAI,CAACC,KAAK,IAAId,MAAM,EAAEe,KAAK,IAAI,IAAI,CAAC,CAAC","ignoreList":[]}
+{"version":3,"file":"readPlan.js","names":["classifyServableQuery","ORIGIN","taggedReadSql","typeOnlyReadSql","wildcardReadSql","jsonbText","toQueryItemsJson","compileFetchPlan","tables","query","shape","kind","text","main","bind","after","limit","types","itemsJson","tag","runFetch","sql","plan","unsafe"],"sources":["../../../src/internal/readPlan.ts"],"sourcesContent":[null],"mappings":"AAyBA,SAASA,qBAAqB,EAAEC,MAAM,QAAoB,iBAAiB;AAE3E,SAASC,aAAa,EAAEC,eAAe,EAAEC,eAAe,QAAQ,eAAY;AAC5E,SAAwBC,SAAS,EAAEC,gBAAgB,QAAQ,gBAAa;AA0BxE;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,gBAAgB,GAAGA,CAC9BC,MAAkB,EAClBC,KAAY,KACC;EACb,MAAMC,KAAK,GAAGV,qBAAqB,CAACS,KAAK,CAAC;EAC1C,QAAQC,KAAK,CAACC,IAAI;IAChB,KAAK,UAAU;MACb,OAAO;QACLC,IAAI,EAAER,eAAe,CAACI,MAAM,CAACK,IAAI,CAAC;QAClCC,IAAI,EAAEA,CAACC,KAAK,EAAEC,KAAK,KAAK,CAACD,KAAK,EAAEC,KAAK;OACtC;IACH,KAAK,UAAU;MAAE;QACf;QACA;QACA;QACA;QACA;QACA;QACA;QACA;QACA,MAAMC,KAAK,GAAG,CAAC,GAAGP,KAAK,CAACO,KAAK,CAAC;QAC9B,OAAO;UACLL,IAAI,EAAET,eAAe,CAACK,MAAM,CAACK,IAAI,CAAC;UAClCC,IAAI,EAAEA,CAACC,KAAK,EAAEC,KAAK,KAAK,CAACD,KAAK,EAAEE,KAAK,EAAED,KAAK;SAC7C;MACH;IACA,KAAK,QAAQ;MAAE;QACb;QACA;QACA,MAAME,SAAS,GAAGb,SAAS,CAACC,gBAAgB,CAACG,KAAK,CAAC,CAAC;QACpD,OAAO;UACLG,IAAI,EAAEV,aAAa,CAACM,MAAM,CAACK,IAAI,EAAEL,MAAM,CAACW,GAAG,CAAC;UAC5CL,IAAI,EAAEA,CAACC,KAAK,EAAEC,KAAK,KAAK,CAACE,SAAS,EAAEH,KAAK,EAAEC,KAAK;SACjD;MACH;EACF;AACF,CAAC;AAED;;;;AAIA,OAAO,MAAMI,QAAQ,GAAGA,CACtBC,GAAwB,EACxBC,IAAe,EACfP,KAA2B,EAC3BC,KAA4B,KAE5BK,GAAG,CAACE,MAAM,CAAWD,IAAI,CAACV,IAAI,EAAEU,IAAI,CAACR,IAAI,CAACC,KAAK,IAAId,MAAM,EAAEe,KAAK,IAAI,IAAI,CAAC,CAAC","ignoreList":[]}

package/dist/esm/internal/transport.js

@@ -26,12 +26,34 @@ export const toEventJson = event => ({
   data: Encoding.encodeBase64(event.data),
   tags: [...event.tags],
   uuid: event.uuid,
-  occurred_at: DateTime.formatIso(event.occurredAt)
+  occurred_at: DateTime.formatIso(event.occurredAt),
+  metadata: event.metadata
 });
+/**
+ * The `metadata` column as the event's bag, checked to be a JSON OBJECT.
+ *
+ * The store only ever writes an object, but `jsonb` admits any JSON value — an
+ * array, a string, a number, a boolean, JSON `null` (which `NOT NULL` does not
+ * exclude) — so a hand-written row can hold one. Such a row is corrupt, and
+ * handing an event whose `metadata` is not a bag to every projection
+ * downstream is worse than stopping at the read. This is the CONTAINER check
+ * only; the shape rule itself has one home, core's `Metadata` doc. The VALUES
+ * are deliberately not re-checked as strings, because a value check on read
+ * alone would make an event the store accepted unreadable for ever.
+ */
+const metadataFrom = value => {
+  if (typeof value !== 'object' || value === null || Array.isArray(value)) {
+    throw new Error(`@kairos-es/store-postgres: the \`metadata\` column did not hold a JSON object (got ${JSON.stringify(value)}).`);
+  }
+  return value;
+};
 /**
  * Map a raw main-table row to a core `SequencedEvent`. `data` NULL → empty bytes
  * (a payload-less event round-trips to a zero-length `Uint8Array`); `occurred_at`
- * Date → `DateTime.Utc`; `id` string → branded `Position`.
+ * Date → `DateTime.Utc`; `id` string → branded `Position`; `metadata` through
+ * `metadataFrom`. The column is `NOT NULL DEFAULT '{}'`, so there is no absent
+ * case to reconcile: an event appended with an empty bag reads back as `{}` on
+ * this engine exactly as on the in-memory oracle.
  *
  * The branded scalars (`type`, `tags`, `uuid`, `position`) are minted by trusted
  * `as`-cast, NOT by re-running `EventType.make` / `Tag.make` etc. This is
@@ -49,7 +71,8 @@ export const rowToSequenced = row => ({
     data: row.data ?? new Uint8Array(0),
     tags: row.tags,
     uuid: row.uuid,
-    occurredAt: DateTime.unsafeFromDate(row.occurred_at)
+    occurredAt: DateTime.unsafeFromDate(row.occurred_at),
+    metadata: metadataFrom(row.metadata)
   },
   position: BigInt(row.id)
 });

package/dist/esm/internal/transport.js.map

@@ -1 +1 @@
-{"version":3,"file":"transport.js","names":["DateTime","Encoding","jsonbText","value","JSON","stringify","toQueryItemsJson","query","items","map","item","types","tags","toEventJson","event","type","data","encodeBase64","uuid","occurred_at","formatIso","occurredAt","rowToSequenced","row","Uint8Array","unsafeFromDate","position","BigInt","id"],"sources":["../../../src/internal/transport.ts"],"sourcesContent":[null],"mappings":"AAsBA,SAASA,QAAQ,EAAEC,QAAQ,QAAQ,QAAQ;AAG3C;;;;;;;;;;;;;AAaA,OAAO,MAAMC,SAAS,GAAIC,KAAc,IAAaC,IAAI,CAACC,SAAS,CAACF,KAAK,CAAC;AAQ1E;AACA,OAAO,MAAMG,gBAAgB,GAAIC,KAAY,IAC3CA,KAAK,CAACC,KAAK,CAACC,GAAG,CAAEC,IAAI,KAAM;EACzBC,KAAK,EAAE,CAAC,GAAGD,IAAI,CAACC,KAAK,CAAC;EACtBC,IAAI,EAAE,CAAC,GAAGF,IAAI,CAACE,IAAI;CACpB,CAAC,CAAC;AA4BL;AACA,OAAO,MAAMC,WAAW,GAAIC,KAAe,KAAiB;EAC1DC,IAAI,EAAED,KAAK,CAACC,IAAI;EAChB;EACA;EACAC,IAAI,EAAEf,QAAQ,CAACgB,YAAY,CAACH,KAAK,CAACE,IAAI,CAAC;EACvCJ,IAAI,EAAE,CAAC,GAAGE,KAAK,CAACF,IAAI,CAAC;EACrBM,IAAI,EAAEJ,KAAK,CAACI,IAAI;EAChBC,WAAW,EAAEnB,QAAQ,CAACoB,SAAS,CAACN,KAAK,CAACO,UAAU;CACjD,CAAC;AA4BF;;;;;;;;;;;;;;;AAeA,OAAO,MAAMC,cAAc,GAAIC,GAAa,KAAsB;EAChET,KAAK,EAAE;IACLC,IAAI,EAAEQ,GAAG,CAACR,IAAwB;IAClCC,IAAI,EAAEO,GAAG,CAACP,IAAI,IAAI,IAAIQ,UAAU,CAAC,CAAC,CAAC;IACnCZ,IAAI,EAAEW,GAAG,CAACX,IAAmC;IAC7CM,IAAI,EAAEK,GAAG,CAACL,IAAwB;IAClCG,UAAU,EAAErB,QAAQ,CAACyB,cAAc,CAACF,GAAG,CAACJ,WAAW;GACpD;EACDO,QAAQ,EAAEC,MAAM,CAACJ,GAAG,CAACK,EAAE;CACxB,CAAC","ignoreList":[]}
+{"version":3,"file":"transport.js","names":["DateTime","Encoding","jsonbText","value","JSON","stringify","toQueryItemsJson","query","items","map","item","types","tags","toEventJson","event","type","data","encodeBase64","uuid","occurred_at","formatIso","occurredAt","metadata","metadataFrom","Array","isArray","Error","rowToSequenced","row","Uint8Array","unsafeFromDate","position","BigInt","id"],"sources":["../../../src/internal/transport.ts"],"sourcesContent":[null],"mappings":"AA4BA,SAASA,QAAQ,EAAEC,QAAQ,QAAQ,QAAQ;AAG3C;;;;;;;;;;;;;AAaA,OAAO,MAAMC,SAAS,GAAIC,KAAc,IAAaC,IAAI,CAACC,SAAS,CAACF,KAAK,CAAC;AAQ1E;AACA,OAAO,MAAMG,gBAAgB,GAAIC,KAAY,IAC3CA,KAAK,CAACC,KAAK,CAACC,GAAG,CAAEC,IAAI,KAAM;EACzBC,KAAK,EAAE,CAAC,GAAGD,IAAI,CAACC,KAAK,CAAC;EACtBC,IAAI,EAAE,CAAC,GAAGF,IAAI,CAACE,IAAI;CACpB,CAAC,CAAC;AA+BL;AACA,OAAO,MAAMC,WAAW,GAAIC,KAAe,KAAiB;EAC1DC,IAAI,EAAED,KAAK,CAACC,IAAI;EAChB;EACA;EACAC,IAAI,EAAEf,QAAQ,CAACgB,YAAY,CAACH,KAAK,CAACE,IAAI,CAAC;EACvCJ,IAAI,EAAE,CAAC,GAAGE,KAAK,CAACF,IAAI,CAAC;EACrBM,IAAI,EAAEJ,KAAK,CAACI,IAAI;EAChBC,WAAW,EAAEnB,QAAQ,CAACoB,SAAS,CAACN,KAAK,CAACO,UAAU,CAAC;EACjDC,QAAQ,EAAER,KAAK,CAACQ;CACjB,CAAC;AAgCF;;;;;;;;;;;;AAYA,MAAMC,YAAY,GAAIpB,KAAc,IAAc;EAChD,IAAI,OAAOA,KAAK,KAAK,QAAQ,IAAIA,KAAK,KAAK,IAAI,IAAIqB,KAAK,CAACC,OAAO,CAACtB,KAAK,CAAC,EAAE;IACvE,MAAM,IAAIuB,KAAK,CACb,sFAAsFtB,IAAI,CAACC,SAAS,CAACF,KAAK,CAAC,IAAI,CAChH;EACH;EACA,OAAOA,KAAiB;AAC1B,CAAC;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMwB,cAAc,GAAIC,GAAa,KAAsB;EAChEd,KAAK,EAAE;IACLC,IAAI,EAAEa,GAAG,CAACb,IAAwB;IAClCC,IAAI,EAAEY,GAAG,CAACZ,IAAI,IAAI,IAAIa,UAAU,CAAC,CAAC,CAAC;IACnCjB,IAAI,EAAEgB,GAAG,CAAChB,IAAmC;IAC7CM,IAAI,EAAEU,GAAG,CAACV,IAAwB;IAClCG,UAAU,EAAErB,QAAQ,CAAC8B,cAAc,CAACF,GAAG,CAACT,WAAW,CAAC;IACpDG,QAAQ,EAAEC,YAAY,CAACK,GAAG,CAACN,QAAQ;GACpC;EACDS,QAAQ,EAAEC,MAAM,CAACJ,GAAG,CAACK,EAAE;CACxB,CAAC","ignoreList":[]}

package/dist/esm/store.js.map

@@ -1 +1 @@
-{"version":3,"file":"store.js","names":["AppendConditionFailed","DcbEventStore","DEFAULT_CATCH_UP_PAGE_SIZE","DEFAULT_POLL_INTERVAL_MILLIS","makeContractStore","ORIGIN","subscribeStream","Effect","Layer","Stream","PgClientDirect","PgClientPooled","decodePostgresStoreConfig","quoteQualified","resolveNames","compileFetchPlan","runFetch","jsonbText","rowToSequenced","toEventJson","toQueryItemsJson","setLocalLockTimeout","sql","lockTimeout","make","config","names","gen","pooled","direct","pollInterval","catchUpPageSize","tables","main","mainTable","tag","tagTable","globalHead","pipe","map","rows","max","undefined","BigInt","readRowsAndHead","query","options","plan","limit","after","lastRow","at","head","id","withTransaction","unsafe","read","events","fromIterable","callAppendFn","select","zipRight","append","condition","eventsJson","appendUnconditionalFn","headFromRows","queryItems","failIfEventsMatch","afterId","appendFn","length","Error","subscribe","fetch","from","listen","channel","layer","decoded","effect"],"sources":["../../src/store.ts"],"sourcesContent":[null],"mappings":"AAoDA,SAEEA,qBAAqB,EACrBC,aAAa,EACbC,0BAA0B,EAC1BC,4BAA4B,EAC5BC,iBAAiB,EACjBC,MAAM,EAGNC,eAAe,QACV,iBAAiB;AACxB,SAA4BC,MAAM,EAAEC,KAAK,EAAcC,MAAM,QAAQ,QAAQ;AAC7E,SAASC,cAAc,EAAEC,cAAc,QAAQ,cAAW;AAC1D,SAASC,yBAAyB,QAAkC,aAAU;AAC9E,SACEC,cAAc,EAEdC,YAAY,QACP,mBAAgB;AACvB,SACEC,gBAAgB,EAEhBC,QAAQ,QACH,wBAAqB;AAC5B,SAEEC,SAAS,EACTC,cAAc,EACdC,WAAW,EACXC,gBAAgB,QACX,yBAAsB;AAE7B;;;;;;;;;AASA,MAAMC,mBAAmB,GAAGA,CAC1BC,GAAwB,EACxBC,WAAmB,KAEnBD,GAAG,qCAAqC,GAAGC,WAAW,GAAG,SAAS;AAEpE;;;;;;AAMA,MAAMC,IAAI,GAAGA,CACXC,MAA2B,EAC3BC,KAAoB,KAMpBnB,MAAM,CAACoB,GAAG,CAAC,aAAS;EAClB,MAAMC,MAAM,GAAG,OAAOjB,cAAc;EACpC,MAAMkB,MAAM,GAAG,OAAOnB,cAAc;EACpC,MAAMa,WAAW,GAAGE,MAAM,CAACF,WAAW,IAAI,CAAC;EAC3C,MAAMO,YAAY,GAAGL,MAAM,CAACK,YAAY,IAAI3B,4BAA4B;EACxE,MAAM4B,eAAe,GAAGN,MAAM,CAACM,eAAe,IAAI7B,0BAA0B;EAE5E;EACA,MAAM8B,MAAM,GAAe;IACzBC,IAAI,EAAEpB,cAAc,CAACa,KAAK,CAACQ,SAAS,CAAC;IACrCC,GAAG,EAAEtB,cAAc,CAACa,KAAK,CAACU,QAAQ;GACnC;EAED;EAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4BA,MAAMC,UAAU,GAA+CT,MAE7D;mCAC6BA,MAAM,CAACF,KAAK,CAACQ,SAAS,CAAC;KACrD,CAACI,IAAI,CACJ/B,MAAM,CAACgC,GAAG,CAAEC,IAAI,IAAI;IAClB,MAAMC,GAAG,GAAGD,IAAI,CAAC,CAAC,CAAC,EAAEC,GAAG;IACxB,OAAOA,GAAG,KAAK,IAAI,IAAIA,GAAG,KAAKC,SAAS,GACpCrC,MAAM,GACLsC,MAAM,CAACF,GAAG,CAAc;EAC/B,CAAC,CAAC,CACH;EAED;;;;;;;;;EASA,MAAMG,eAAe,GAAGA,CACtBC,KAAY,EACZC,OAAqB,KAKrBvC,MAAM,CAACoB,GAAG,CAAC,aAAS;IAClB;IACA;IACA,MAAMoB,IAAI,GAAGhC,gBAAgB,CAACiB,MAAM,EAAEa,KAAK,CAAC;IAE5C;IACA;IACA;IACA;IACA,IAAIC,OAAO,EAAEE,KAAK,KAAKN,SAAS,EAAE;MAChC,MAAMF,IAAI,GAAG,OAAOxB,QAAQ,CAC1BY,MAAM,EACNmB,IAAI,EACJD,OAAO,CAACG,KAAK,EACbH,OAAO,CAACE,KAAK,CACd;MACD,MAAME,OAAO,GAAGV,IAAI,CAACW,EAAE,CAAC,CAAC,CAAC,CAAC;MAC3B,MAAMC,IAAI,GACRF,OAAO,KAAKR,SAAS,GAAGrC,MAAM,GAAIsC,MAAM,CAACO,OAAO,CAACG,EAAE,CAAc;MACnE,OAAO;QAAEb,IAAI;QAAEY;MAAI,CAAE;IACvB;IAEA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA,OAAO,OAAOxB,MAAM,CAAC0B,eAAe,CAClC/C,MAAM,CAACoB,GAAG,CAAC,aAAS;MAClB,OAAOC,MAAM,CAAC2B,MAAM,CAClB,4DAA4D,CAC7D;MACD,MAAMf,IAAI,GAAG,OAAOxB,QAAQ,CAC1BY,MAAM,EACNmB,IAAI,EACJD,OAAO,EAAEG,KAAK,EACdP,SAAS,CACV;MACD,MAAMU,IAAI,GAAG,OAAOf,UAAU;MAC9B,OAAO;QAAEG,IAAI;QAAEY;MAAI,CAAE;IACvB,CAAC,CAAC,CACH;EACH,CAAC,CAAC;EAEJ,MAAMI,IAAI,GAAGA,CACXX,KAAY,EACZC,OAAqB,KAErBF,eAAe,CAACC,KAAK,EAAEC,OAAO,CAAC,CAACR,IAAI,CAClC/B,MAAM,CAACgC,GAAG,CACR,CAAC;IAAEC,IAAI;IAAEY;EAAI,CAAE,MAAoB;IACjCK,MAAM,EAAEhD,MAAM,CAACiD,YAAY,CAAClB,IAAI,CAACD,GAAG,CAACrB,cAAc,CAAC,CAAC;IACrDkC;GACD,CAAC,CACH,CACF;EAUH;;;;;;;;;EASA,MAAMO,YAAY,GAChBC,MAAsE,IAEtEhC,MAAM,CAAC0B,eAAe,CACpBjC,mBAAmB,CAACO,MAAM,EAAEL,WAAW,CAAC,CAACe,IAAI,CAAC/B,MAAM,CAACsD,QAAQ,CAACD,MAAM,CAAC,CAAC,CACvE;EAEH,MAAME,MAAM,GAAGA,CACbL,MAA2C,EAC3CM,SAA2B,KAC2C;IACtE,MAAMC,UAAU,GAAGP,MAAM,CAAClB,GAAG,CAACpB,WAAW,CAAC;IAE1C;IACA;IACA;IACA,OAAOZ,MAAM,CAACoB,GAAG,CAAC,aAAS;MACzB,IAAIoC,SAAS,KAAKrB,SAAS,EAAE;QAC3B;QACA;QACA;QACA;QACA;QACA;QACA;QACA;QACA;QACA,MAAMF,IAAI,GAAG,OAAOmB,YAAY,CAC9B/B,MAAqB;uBACVA,MAAM,CAACF,KAAK,CAACuC,qBAAqB,CAAC;kBACxChD,SAAS,CAAC+C,UAAU,CAAC;;aAE1B,CACF;QACD,OAAOE,YAAY,CAAC1B,IAAI,CAAC;MAC3B;MAEA,MAAM2B,UAAU,GAAG/C,gBAAgB,CAAC2C,SAAS,CAACK,iBAAiB,CAAC;MAChE,MAAMC,OAAO,GAAGN,SAAS,CAACd,KAAK,KAAKP,SAAS,GAAG,IAAI,GAAGqB,SAAS,CAACd,KAAK;MAEtE;MACA;MACA,MAAMT,IAAI,GAAG,OAAOmB,YAAY,CAC9B/B,MAAqB;qBACVA,MAAM,CAACF,KAAK,CAAC4C,QAAQ,CAAC;gBAC3BrD,SAAS,CAACkD,UAAU,CAAC;gBACrBE,OAAO;gBACPpD,SAAS,CAAC+C,UAAU,CAAC;;WAE1B,CACF;MACD;MACA,IAAIxB,IAAI,CAAC+B,MAAM,KAAK,CAAC,EAAE;QACrB,OAAO,OAAO,IAAIvE,qBAAqB,CAAC;UAAE+D;QAAS,CAAE,CAAC;MACxD;MACA,OAAOG,YAAY,CAAC1B,IAAI,CAAC;IAC3B,CAAC,CAAC;EACJ,CAAC;EAED;;;;;EAKA,MAAM0B,YAAY,GAAI1B,IAAkC,IAAc;IACpE,MAAMC,GAAG,GAAGD,IAAI,CAAC,CAAC,CAAC,EAAEC,GAAG;IACxB,IAAIA,GAAG,KAAK,IAAI,IAAIA,GAAG,KAAKC,SAAS,EAAE;MACrC;MACA;MACA;MACA,MAAM,IAAI8B,KAAK,CACb,4DAA4D,CAC7D;IACH;IACA,OAAO7B,MAAM,CAACF,GAAG,CAAa;EAChC,CAAC;EAED;EAEA;;;;;;;;;;;;;;;;;;;;;;;EAuBA,MAAMgC,SAAS,GAAGA,CAChB5B,KAAY,EACZI,KAAgB,KACiD;IACjE,MAAMF,IAAI,GAAGhC,gBAAgB,CAACiB,MAAM,EAAEa,KAAK,CAAC;IAC5C,OAAOvC,eAAe,CACpB;MACEoE,KAAK,EAAEA,CAACC,IAAI,EAAE3B,KAAK,KACjBhC,QAAQ,CAACY,MAAM,EAAEmB,IAAI,EAAE4B,IAAI,EAAE3B,KAAK,CAAC,CAACV,IAAI,CACtC/B,MAAM,CAACgC,GAAG,CAAEC,IAAI,IAAKA,IAAI,CAACD,GAAG,CAACrB,cAAc,CAAC,CAAC,CAC/C;MACH0D,MAAM,EAAE/C,MAAM,CAAC+C,MAAM,CAAClD,KAAK,CAACmD,OAAO,CAAC;MACpC/C,YAAY;MACZC;KACD,EACDkB,KAAK,CACN;EACH,CAAC;EAED,OAAO;IAAEO,IAAI;IAAEM,MAAM;IAAEW;EAAS,CAAW;AAC7C,CAAC,CAAC;AAEJ;;;;;;;;;;;AAWA,OAAO,MAAMK,KAAK,GAAGA,CACnBrD,MAAA,GAA8B,EAAE,KACsC;EACtE;EACA;EACA;EACA,MAAMsD,OAAO,GAAGnE,yBAAyB,CAACa,MAAM,CAAC;EACjD,OAAOjB,KAAK,CAACwE,MAAM,CACjB/E,aAAa,EACbM,MAAM,CAACgC,GAAG,CAACf,IAAI,CAACuD,OAAO,EAAEjE,YAAY,CAACiE,OAAO,CAAC,CAAC,EAAE3E,iBAAiB,CAAC,CACpE;AACH,CAAC","ignoreList":[]}
+{"version":3,"file":"store.js","names":["AppendConditionFailed","DcbEventStore","DEFAULT_CATCH_UP_PAGE_SIZE","DEFAULT_POLL_INTERVAL_MILLIS","makeContractStore","ORIGIN","subscribeStream","Effect","Layer","Stream","PgClientDirect","PgClientPooled","decodePostgresStoreConfig","quoteQualified","resolveNames","compileFetchPlan","runFetch","jsonbText","rowToSequenced","toEventJson","toQueryItemsJson","setLocalLockTimeout","sql","lockTimeout","make","config","names","gen","pooled","direct","pollInterval","catchUpPageSize","tables","main","mainTable","tag","tagTable","globalHead","pipe","map","rows","max","undefined","BigInt","readRowsAndHead","query","options","plan","limit","after","lastRow","at","head","id","withTransaction","unsafe","read","events","fromIterable","callAppendFn","select","zipRight","append","condition","eventsJson","appendUnconditionalFn","headFromRows","queryItems","failIfEventsMatch","afterId","appendFn","length","Error","subscribe","fetch","from","listen","channel","layer","decoded","effect"],"sources":["../../src/store.ts"],"sourcesContent":[null],"mappings":"AAkDA,SAEEA,qBAAqB,EACrBC,aAAa,EACbC,0BAA0B,EAC1BC,4BAA4B,EAC5BC,iBAAiB,EACjBC,MAAM,EAGNC,eAAe,QACV,iBAAiB;AACxB,SAA4BC,MAAM,EAAEC,KAAK,EAAcC,MAAM,QAAQ,QAAQ;AAC7E,SAASC,cAAc,EAAEC,cAAc,QAAQ,cAAW;AAC1D,SAASC,yBAAyB,QAAkC,aAAU;AAC9E,SACEC,cAAc,EAEdC,YAAY,QACP,mBAAgB;AACvB,SACEC,gBAAgB,EAEhBC,QAAQ,QACH,wBAAqB;AAC5B,SAEEC,SAAS,EACTC,cAAc,EACdC,WAAW,EACXC,gBAAgB,QACX,yBAAsB;AAE7B;;;;;;;;;AASA,MAAMC,mBAAmB,GAAGA,CAC1BC,GAAwB,EACxBC,WAAmB,KAEnBD,GAAG,qCAAqC,GAAGC,WAAW,GAAG,SAAS;AAEpE;;;;;;AAMA,MAAMC,IAAI,GAAGA,CACXC,MAA2B,EAC3BC,KAAoB,KAMpBnB,MAAM,CAACoB,GAAG,CAAC,aAAS;EAClB,MAAMC,MAAM,GAAG,OAAOjB,cAAc;EACpC,MAAMkB,MAAM,GAAG,OAAOnB,cAAc;EACpC,MAAMa,WAAW,GAAGE,MAAM,CAACF,WAAW,IAAI,CAAC;EAC3C,MAAMO,YAAY,GAAGL,MAAM,CAACK,YAAY,IAAI3B,4BAA4B;EACxE,MAAM4B,eAAe,GAAGN,MAAM,CAACM,eAAe,IAAI7B,0BAA0B;EAE5E;EACA,MAAM8B,MAAM,GAAe;IACzBC,IAAI,EAAEpB,cAAc,CAACa,KAAK,CAACQ,SAAS,CAAC;IACrCC,GAAG,EAAEtB,cAAc,CAACa,KAAK,CAACU,QAAQ;GACnC;EAED;EAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4BA,MAAMC,UAAU,GAA+CT,MAE7D;mCAC6BA,MAAM,CAACF,KAAK,CAACQ,SAAS,CAAC;KACrD,CAACI,IAAI,CACJ/B,MAAM,CAACgC,GAAG,CAAEC,IAAI,IAAI;IAClB,MAAMC,GAAG,GAAGD,IAAI,CAAC,CAAC,CAAC,EAAEC,GAAG;IACxB,OAAOA,GAAG,KAAK,IAAI,IAAIA,GAAG,KAAKC,SAAS,GACpCrC,MAAM,GACLsC,MAAM,CAACF,GAAG,CAAc;EAC/B,CAAC,CAAC,CACH;EAED;;;;;;;;;EASA,MAAMG,eAAe,GAAGA,CACtBC,KAAY,EACZC,OAAqB,KAKrBvC,MAAM,CAACoB,GAAG,CAAC,aAAS;IAClB;IACA;IACA,MAAMoB,IAAI,GAAGhC,gBAAgB,CAACiB,MAAM,EAAEa,KAAK,CAAC;IAE5C;IACA;IACA;IACA;IACA,IAAIC,OAAO,EAAEE,KAAK,KAAKN,SAAS,EAAE;MAChC,MAAMF,IAAI,GAAG,OAAOxB,QAAQ,CAC1BY,MAAM,EACNmB,IAAI,EACJD,OAAO,CAACG,KAAK,EACbH,OAAO,CAACE,KAAK,CACd;MACD,MAAME,OAAO,GAAGV,IAAI,CAACW,EAAE,CAAC,CAAC,CAAC,CAAC;MAC3B,MAAMC,IAAI,GACRF,OAAO,KAAKR,SAAS,GAAGrC,MAAM,GAAIsC,MAAM,CAACO,OAAO,CAACG,EAAE,CAAc;MACnE,OAAO;QAAEb,IAAI;QAAEY;MAAI,CAAE;IACvB;IAEA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA,OAAO,OAAOxB,MAAM,CAAC0B,eAAe,CAClC/C,MAAM,CAACoB,GAAG,CAAC,aAAS;MAClB,OAAOC,MAAM,CAAC2B,MAAM,CAClB,4DAA4D,CAC7D;MACD,MAAMf,IAAI,GAAG,OAAOxB,QAAQ,CAC1BY,MAAM,EACNmB,IAAI,EACJD,OAAO,EAAEG,KAAK,EACdP,SAAS,CACV;MACD,MAAMU,IAAI,GAAG,OAAOf,UAAU;MAC9B,OAAO;QAAEG,IAAI;QAAEY;MAAI,CAAE;IACvB,CAAC,CAAC,CACH;EACH,CAAC,CAAC;EAEJ,MAAMI,IAAI,GAAGA,CACXX,KAAY,EACZC,OAAqB,KAErBF,eAAe,CAACC,KAAK,EAAEC,OAAO,CAAC,CAACR,IAAI,CAClC/B,MAAM,CAACgC,GAAG,CACR,CAAC;IAAEC,IAAI;IAAEY;EAAI,CAAE,MAAoB;IACjCK,MAAM,EAAEhD,MAAM,CAACiD,YAAY,CAAClB,IAAI,CAACD,GAAG,CAACrB,cAAc,CAAC,CAAC;IACrDkC;GACD,CAAC,CACH,CACF;EAUH;;;;;;;;;EASA,MAAMO,YAAY,GAChBC,MAAsE,IAEtEhC,MAAM,CAAC0B,eAAe,CACpBjC,mBAAmB,CAACO,MAAM,EAAEL,WAAW,CAAC,CAACe,IAAI,CAAC/B,MAAM,CAACsD,QAAQ,CAACD,MAAM,CAAC,CAAC,CACvE;EAEH,MAAME,MAAM,GAAGA,CACbL,MAA2C,EAC3CM,SAA2B,KAC2C;IACtE,MAAMC,UAAU,GAAGP,MAAM,CAAClB,GAAG,CAACpB,WAAW,CAAC;IAE1C;IACA;IACA;IACA,OAAOZ,MAAM,CAACoB,GAAG,CAAC,aAAS;MACzB,IAAIoC,SAAS,KAAKrB,SAAS,EAAE;QAC3B;QACA;QACA;QACA;QACA;QACA;QACA;QACA;QACA;QACA,MAAMF,IAAI,GAAG,OAAOmB,YAAY,CAC9B/B,MAAqB;uBACVA,MAAM,CAACF,KAAK,CAACuC,qBAAqB,CAAC;kBACxChD,SAAS,CAAC+C,UAAU,CAAC;;aAE1B,CACF;QACD,OAAOE,YAAY,CAAC1B,IAAI,CAAC;MAC3B;MAEA,MAAM2B,UAAU,GAAG/C,gBAAgB,CAAC2C,SAAS,CAACK,iBAAiB,CAAC;MAChE,MAAMC,OAAO,GAAGN,SAAS,CAACd,KAAK,KAAKP,SAAS,GAAG,IAAI,GAAGqB,SAAS,CAACd,KAAK;MAEtE;MACA;MACA,MAAMT,IAAI,GAAG,OAAOmB,YAAY,CAC9B/B,MAAqB;qBACVA,MAAM,CAACF,KAAK,CAAC4C,QAAQ,CAAC;gBAC3BrD,SAAS,CAACkD,UAAU,CAAC;gBACrBE,OAAO;gBACPpD,SAAS,CAAC+C,UAAU,CAAC;;WAE1B,CACF;MACD;MACA,IAAIxB,IAAI,CAAC+B,MAAM,KAAK,CAAC,EAAE;QACrB,OAAO,OAAO,IAAIvE,qBAAqB,CAAC;UAAE+D;QAAS,CAAE,CAAC;MACxD;MACA,OAAOG,YAAY,CAAC1B,IAAI,CAAC;IAC3B,CAAC,CAAC;EACJ,CAAC;EAED;;;;;EAKA,MAAM0B,YAAY,GAAI1B,IAAkC,IAAc;IACpE,MAAMC,GAAG,GAAGD,IAAI,CAAC,CAAC,CAAC,EAAEC,GAAG;IACxB,IAAIA,GAAG,KAAK,IAAI,IAAIA,GAAG,KAAKC,SAAS,EAAE;MACrC;MACA;MACA;MACA,MAAM,IAAI8B,KAAK,CACb,4DAA4D,CAC7D;IACH;IACA,OAAO7B,MAAM,CAACF,GAAG,CAAa;EAChC,CAAC;EAED;EAEA;;;;;;;;;;;;;;;;;;;;;;;EAuBA,MAAMgC,SAAS,GAAGA,CAChB5B,KAAY,EACZI,KAAgB,KACiD;IACjE,MAAMF,IAAI,GAAGhC,gBAAgB,CAACiB,MAAM,EAAEa,KAAK,CAAC;IAC5C,OAAOvC,eAAe,CACpB;MACEoE,KAAK,EAAEA,CAACC,IAAI,EAAE3B,KAAK,KACjBhC,QAAQ,CAACY,MAAM,EAAEmB,IAAI,EAAE4B,IAAI,EAAE3B,KAAK,CAAC,CAACV,IAAI,CACtC/B,MAAM,CAACgC,GAAG,CAAEC,IAAI,IAAKA,IAAI,CAACD,GAAG,CAACrB,cAAc,CAAC,CAAC,CAC/C;MACH0D,MAAM,EAAE/C,MAAM,CAAC+C,MAAM,CAAClD,KAAK,CAACmD,OAAO,CAAC;MACpC/C,YAAY;MACZC;KACD,EACDkB,KAAK,CACN;EACH,CAAC;EAED,OAAO;IAAEO,IAAI;IAAEM,MAAM;IAAEW;EAAS,CAAW;AAC7C,CAAC,CAAC;AAEJ;;;;;;;;;;;AAWA,OAAO,MAAMK,KAAK,GAAGA,CACnBrD,MAAA,GAA8B,EAAE,KACsC;EACtE;EACA;EACA;EACA,MAAMsD,OAAO,GAAGnE,yBAAyB,CAACa,MAAM,CAAC;EACjD,OAAOjB,KAAK,CAACwE,MAAM,CACjB/E,aAAa,EACbM,MAAM,CAACgC,GAAG,CAACf,IAAI,CAACuD,OAAO,EAAEjE,YAAY,CAACiE,OAAO,CAAC,CAAC,EAAE3E,iBAAiB,CAAC,CACpE;AACH,CAAC","ignoreList":[]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kairos-es/store-postgres",
-  "version": "1.0.0-alpha.2",
+  "version": "1.0.0-alpha.4",
   "description": "Postgres DcbEventStore backend for kairos-es",
   "license": "BSD-3-Clause",
   "repository": {
@@ -16,7 +16,7 @@
     "@effect/sql": "^0.52.0",
     "@effect/sql-pg": "^0.53.0",
     "effect": "^3.22.0",
-    "@kairos-es/core": "^1.0.0-alpha.2"
+    "@kairos-es/core": "^1.0.0-alpha.4"
   },
   "main": "./dist/cjs/index.js",
   "module": "./dist/esm/index.js",

package/src/ensureSchema.ts

@@ -18,7 +18,12 @@
  * consumer, this package only provides the idempotent PAYLOAD.
  *
  * Idempotence: every statement is `CREATE … IF NOT EXISTS` or `CREATE OR REPLACE
- * FUNCTION`, so re-running against an existing store is a no-op. Names come from
+ * FUNCTION`, so re-running it is safe. It is NOT a no-op across versions: a
+ * re-run replaces the append functions with this version's, and does NOT alter
+ * an existing table, so a column a newer version adds must be added by hand
+ * before the re-run (the release notes give the statement). A store whose
+ * table gained a column but whose functions were never replaced keeps writing
+ * through the old ones, which do not know the column. Names come from
  * `sql(identifier)` (via the pre-quoted builder in `internal/ddl.ts`); the DDL
  * bodies carry no bound values (pure schema), and the append functions keep
  * their runtime VALUES as bound parameters, never interpolated.

package/src/internal/ddl.ts

@@ -28,8 +28,11 @@
 import type { SqlClient, Statement } from '@effect/sql'
 import {
   allowedTypesPredicate,
+  eventColumnList,
+  eventInsertSelectList,
   eventRecordsetColumns,
   qualifiedRows,
+  RECORDSET_ALIAS,
   taggedMatchChain,
 } from './matchSql'
 
@@ -250,6 +253,16 @@ export interface AppendBodyOptions {
  * preserves batch order, and `RETURNING id, tags` is captured into a temp
  * result set so the tag fan-out and the head can both read it. `data` arrives as
  * a base64 text field and is `decode(…, 'base64')`-restored to `bytea`.
+ *
+ * The recordset definition, its projection, the `INSERT INTO (…)` target list and
+ * the `SELECT` list are all derived from the one `EVENT_COLUMNS` descriptor in
+ * `matchSql.ts`, never written out here. The last two must agree POSITIONALLY and a
+ * mismatch is not an error, so deriving both from one walk is what keeps them from
+ * falling out of step; a column added without a source is a compile error there.
+ * What the compiler does NOT reach is whether the source READS the right field, or
+ * whether the column comes back out on the read; the round-trip contract group run
+ * against this engine is what proves a new column, and only with a value distinct
+ * per column, which is what makes a swap visible.
  */
 const insertFanoutNotify = (
   names: ResolvedNames,
@@ -273,18 +286,18 @@ const insertFanoutNotify = (
     PERFORM pg_notify(${channel}, '1');
   END IF;`
       : ''
-  return `  WITH ne AS (
-    SELECT type, data, tags, uuid, occurred_at, ordinality
+  const ne = RECORDSET_ALIAS
+  return `  WITH ${ne} AS (
+    SELECT ${eventColumnList}, ordinality
     FROM ROWS FROM(
       jsonb_to_recordset(new_events) AS (${eventRecordsetColumns})
     ) WITH ORDINALITY
   ),
   inserted AS (
-    INSERT INTO ${main} (type, data, tags, uuid, occurred_at)
-    SELECT ne.type, decode(ne.data, 'base64'), ne.tags, ne.uuid,
-           ne.occurred_at
-    FROM ne
-    ORDER BY ne.ordinality
+    INSERT INTO ${main} (${eventColumnList})
+    SELECT ${eventInsertSelectList}
+    FROM ${ne}
+    ORDER BY ${ne}.ordinality
     RETURNING id, tags
   ),
   fanned AS (
@@ -337,9 +350,12 @@ const conditionalAppendBody = (
   // its ITEMS — none at all, an item carrying no tags, an item carrying tags —
   // which between them cover every `Query` value the grammar can express, so a new
   // SHAPE changes which SQL the read compiles without changing what this body has
-  // to match. The exposure is the GRAMMAR itself: a new `QueryItem` field, or a new
-  // meaning for an existing one, is something this body ignores rather than fails
-  // on, and no `switch` over the shape union would have caught that either.
+  // to match. The exposure is the GRAMMAR itself: a field ADDED to `QueryItem`, or a
+  // new meaning for an existing one, is something this body ignores rather than
+  // fails on, and no `switch` over the shape union would have caught that either. A
+  // key the grammar does NOT define never reaches this body: core's
+  // `servableQueryFault` refuses it at the contract boundary, which is what keeps a
+  // smuggled predicate from being dropped here in silence.
   const after = 'COALESCE(after_id, 0)'
   return `
 DECLARE
@@ -537,14 +553,18 @@ export const ddlStatements = (names: ResolvedNames): ReadonlyArray<string> => {
     // positions — a rolled-back insert permanently consumes its id, which is
     // fine: ordering is by id alone and the store is never made gapless.
     // `data` is NULLABLE (a payload-less event is valid); `occurred_at` is
-    // informational domain time, never an ordering key.
+    // informational domain time, never an ordering key. `metadata` is the
+    // event's cleartext context bag (ADR-0017): `jsonb` only so a containment
+    // index stays possible without a rewrite, though nothing queries it and no
+    // index is built; `NOT NULL DEFAULT '{}'` gives an empty bag one shape.
     `CREATE TABLE IF NOT EXISTS ${main} (
        id bigserial,
        type text NOT NULL,
        data bytea,
        tags text[] NOT NULL,
        uuid text NOT NULL,
-       occurred_at timestamptz NOT NULL
+       occurred_at timestamptz NOT NULL,
+       metadata jsonb NOT NULL DEFAULT '{}'::jsonb
      ) WITH (${AUTOVACUUM_WITH});`,
 
     // Covering unique index: uniqueness on id plus INCLUDE(type) so the read

package/src/internal/matchSql.ts

@@ -39,6 +39,7 @@ const EVENT_COLUMNS = [
   ['tags', 'text[]'],
   ['uuid', 'text'],
   ['occurred_at', 'timestamptz'],
+  ['metadata', 'jsonb'],
 ] as const satisfies ReadonlyArray<
   readonly [name: string, recordsetType: string]
 >
@@ -55,7 +56,8 @@ export type EventColumnName = (typeof EVENT_COLUMNS)[number][0]
 
 /**
  * The `jsonb_to_recordset(new_events) AS (…)` column definitions —
- * `type text, data text, tags text[], uuid text, occurred_at timestamptz`. The
+ * `type text, data text, tags text[], uuid text, occurred_at timestamptz,
+ * metadata jsonb`. The
  * transport `data` is base64 TEXT (restored to `bytea` by `decode(…, 'base64')`
  * at insert), which is why it is `text` here, not `bytea`.
  */
@@ -73,6 +75,55 @@ export const readColumns = (prefix = ''): string =>
     ', ',
   )
 
+/**
+ * The alias the append body gives the expanded `new_events` recordset — the `ne`
+ * CTE in `ddl.ts` — which every expression in `EVENT_COLUMN_SOURCE` reads from.
+ * Exported so the CTE is declared under the one name its readers assume.
+ */
+export const RECORDSET_ALIAS = 'ne'
+
+/**
+ * What the append body inserts into each event column, read from the recordset row.
+ *
+ * Typed as a `Record` over `EventColumnName` so that adding a column to
+ * `EVENT_COLUMNS` without saying where its value comes from is a COMPILE error,
+ * rather than a column the insert silently leaves at its default. Every column but
+ * `data` passes through as the recordset already types it — `text[]` tags,
+ * `timestamptz`, `jsonb` metadata — because `jsonb_to_recordset` did the casting;
+ * `data` crosses as base64 TEXT and is restored to `bytea` here, its one decode.
+ */
+const EVENT_COLUMN_SOURCE: Record<EventColumnName, string> = {
+  type: `${RECORDSET_ALIAS}.type`,
+  data: `decode(${RECORDSET_ALIAS}.data, 'base64')`,
+  tags: `${RECORDSET_ALIAS}.tags`,
+  uuid: `${RECORDSET_ALIAS}.uuid`,
+  occurred_at: `${RECORDSET_ALIAS}.occurred_at`,
+  metadata: `${RECORDSET_ALIAS}.metadata`,
+}
+
+/**
+ * The bare event column names — `type, data, tags, uuid, occurred_at, metadata` —
+ * which the append body uses twice: as the recordset CTE's projection and as the
+ * `INSERT INTO t (…)` target list.
+ */
+export const eventColumnList: string = EVENT_COLUMNS.map(([name]) => name).join(
+  ', ',
+)
+
+/**
+ * The append insert's SELECT list: one source expression per column, in the SAME
+ * ORDER as `eventColumnList`.
+ *
+ * The two halves of `INSERT INTO t (a, b) SELECT x, y` agree POSITION BY POSITION
+ * and nothing checks that they do: two columns of compatible type swap without an
+ * error at any layer and the data lands in the wrong one. Both halves are therefore
+ * one walk of the one descriptor, so the append body has no second ordering to keep
+ * in step and no hand-written list for a new column to be missing from.
+ */
+export const eventInsertSelectList: string = EVENT_COLUMNS.map(
+  ([name]) => EVENT_COLUMN_SOURCE[name],
+).join(', ')
+
 /**
  * The allowed-types filter for a candidate row aliased `m`: an item with no
  * types matches ANY type; otherwise the event's type must be one of them.

package/src/internal/readPlan.ts

@@ -83,10 +83,14 @@ export const compileFetchPlan = (
       }
     case 'typeOnly': {
       // node-postgres binds a JS array param as a Postgres array literal, so
-      // `type = ANY($2)` matches any of the item's types. The item's own list is
-      // bound as it stands: a branded `EventType` IS its string to the driver, so
-      // nothing here has to unwrap or copy it.
-      const types = shape.types
+      // `type = ANY($2)` matches any of the item's types. A branded `EventType` IS
+      // its string to the driver, so nothing has to be unwrapped — but the list is
+      // COPIED here, at compile time. The driver serialises the array afresh on
+      // every `bind`, and a subscription re-binds on every poll, so binding the
+      // caller's own array would let an edit the caller makes after subscribing
+      // reach the next fetch. The tagged arm is immune by construction, since it
+      // serialises once below; this copy is what makes the two arms agree.
+      const types = [...shape.types]
       return {
         text: typeOnlyReadSql(tables.main),
         bind: (after, limit) => [after, types, limit],