litedbmodel 2.0.2 → 2.2.0

package/dist/scp/makesql/outtype.js

@@ -1,130 +1,118 @@
 "use strict";
 /**
- * litedbmodel v2 SCP — codegen `outType` derivation (spec §4.1; issues #58/#56).
+ * litedbmodel v2 SCP — read-row de-box type derivation (spec §4.1; issues #58/#59).
  *
- * bc's TYPED-RAW de-box emitters (`rust-typed-raw` / `go-typed-raw` / `typescript-typed`) require
- * each read node to carry an `outType` and the component an `outputType` (bc portable type
- * notation). WITHOUT them the emitter hard-fails ("nothing to de-box") — the correct fail-closed
- * behavior. This module derives those annotations for a READ component from:
+ * The read-column coverage + de-box SSoT for the op-independent leaf path. It resolves a read's
+ * projection ONCE into two projections of the SAME column-type resolution:
  *
- *   1. the per-node SELECT projection (`table` + `select` ports) → a row `obj` type, each column's
- *      bc scalar resolved from its SQL type (the schema/DDL SoT) via {@link sqlTypeToBcScalar};
- *   2. the node cardinality (a Select node returns a row LIST → `{arr:rowObj}`; a Count → `int`; a
- *      `.map` node wraps its per-element handler result → `{arr:<elem>}`);
- *   3. the component `output` Φ-expression, walked to compose the `outputType` from the node types
- *      (`{ref:[nodeId]}` → that node's outType; `{obj:{…}}`/`{arr:…}`/`{opt:…}` recurse).
+ *   - {@link deriveReadRow} — the read ROW `{arr:{obj:{outputKey: <read-de-boxed scalar>}}}` (the
+ *     bc `outType` bc's native emitter reads for the typed de-box, #154) PLUS the TS-leaf
+ *     `materializers` coercion map. Array columns read as `{arr:<element>}` (the SSoT array split
+ *     {@link import('../coltype').arrayElementType}); the element rides the SAME de-box scalar.
+ *   - {@link outputType} — composes the component `outputType` by walking the `output` Φ-expression
+ *     against a `nodeId → outType` map.
  *
- * Spec §4.1 discipline: an ambiguous/unmappable projection is a HARD ERROR (no-assume,
- * no-fallback) — a `*` projection, a computed/aliased column, or a column with no schema type
- * THROWS. It is NEVER degraded to a boxed/untyped output; that would silently defeat the de-box.
+ * Spec §4.1 discipline: an ambiguous/unmappable projection is a HARD ERROR (no-assume, no-fallback)
+ * — a `*` projection, a computed column (typed reads only), or an undeclared/unknown-type column
+ * THROWS via {@link parseProjectionColumn} + the coltype SSoT; never a boxed/untyped output.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.nodeOutType = nodeOutType;
-exports.deriveReadOutTypes = deriveReadOutTypes;
+exports.parseProjectionColumn = parseProjectionColumn;
+exports.deriveReadRow = deriveReadRow;
+exports.outputType = outputType;
 const coltype_1 = require("../coltype");
 const tx_1 = require("./tx");
-/**
- * Narrow a {@link BcScalar} to a bc {@link PortableScalarType}. `BcScalar`'s members
- * (`string|int|float|bool|null`) are exactly bc 0.3.0's portable scalar notation, so this is an
- * identity narrow. DATE/TIMESTAMP columns map to `string` at the `sqlTypeToBcScalar` layer (spec
- * §4.1 owner decision; bc has no `date` scalar — behavior-contracts#84 deferred), so no `date`
- * scalar ever reaches here.
- */
-function toPortableScalar(scalar, _table, _column) {
-    return scalar;
-}
-function isMap(n) {
-    return 'map' in n;
-}
-/** The `{component, ports}` of a body node (unwrapping a `.map`). */
-function nodeRef(n) {
-    return isMap(n) ? { component: n.map.component, ports: n.map.ports } : { component: n.component, ports: n.ports };
-}
 function opKey(node) {
     if (node === null || typeof node !== 'object' || Array.isArray(node))
         return undefined;
     const keys = Object.keys(node);
     return keys.length === 1 ? keys[0] : undefined;
 }
-/** Read a required literal string port, or throw (the projection SoT must be a literal in the IR). */
-function stringPort(ports, name) {
-    const v = ports[name];
-    if (v === undefined)
-        return undefined;
-    if (typeof v !== 'string') {
-        throw new Error(`outtype: port '${name}' must be a literal string in the IR (got ${JSON.stringify(v)})`);
-    }
-    return v;
-}
-/** Read a literal `{arr:[str,…]}` string-list port (the SELECT projection). */
-function stringArrayPort(ports, name) {
-    const v = ports[name];
-    if (v === undefined)
-        return undefined;
-    if (typeof v === 'object' && v !== null && 'arr' in v && Array.isArray(v.arr)) {
-        return v.arr.map((e) => {
-            if (typeof e !== 'string')
-                throw new Error(`outtype: '${name}' entries must be literal strings (got ${JSON.stringify(e)})`);
-            return e;
-        });
-    }
-    throw new Error(`outtype: port '${name}' must be an {arr:[…]} literal in the IR (got ${JSON.stringify(v)})`);
-}
 /**
- * The row `obj` type of a SELECT projection: `{obj:{col: <bcScalar>, …}}`. Each column is typed by
- * resolving its SQL type from the schema SoT and mapping via {@link sqlTypeToBcScalar}. A `*` or
- * absent projection, a computed/aliased/qualified column, or a duplicate column is a HARD ERROR —
- * such a projection cannot be de-boxed into a concrete struct (no-assume, no-fallback).
+ * The SINGLE projection-column parser (issue #59) — shared by BOTH the codegen `outType` derivation
+ * and the TS read-path materializer derivation so the two CANNOT diverge (the recurring source of
+ * silent-rounding leaks). Classifies ONE `select`-list entry:
+ *   - bare `col`                        → `{ kind:'column', underlying:'col', outputKey:'col' }`.
+ *   - qualified `t.col`                 → strip qualifier → `underlying:'col', outputKey:'col'`.
+ *   - aliased `col AS b` / `t.col AS b` → `underlying:'col', outputKey:'b'` (the driver row key).
+ *   - computed `COUNT(*)`, `NOW()`, `x::uuid`, `x+1`, aliased or not → `{ kind:'computed', text }`.
+ *   - `*` / `t.*`                       → HARD ERROR (the concrete column list is unknown).
+ * A SCHEMA-column entry MUST be typed against the declaration (a caller resolves + fail-closes on an
+ * undeclared column → never a silent rounded-i64 leak). A COMPUTED entry has no schema column to
+ * round: the read path leaves it raw; the codegen path (which needs every struct field typed) rejects
+ * it. This ONE parser guarantees every shape is classified identically for both paths.
  */
-function rowObjType(table, projection, resolveColumnType, at) {
-    if (projection === undefined || projection.length === 0) {
-        throw new Error(`outtype: ${at}: SELECT on '${table}' has no explicit column projection ('*' / empty). A typed ` +
-            `de-box needs the concrete column list to build the row struct — spec §4.1 is column-typed. ` +
+function parseProjectionColumn(col, table, at) {
+    const raw = col.trim();
+    if (raw === '*' || raw.endsWith('.*')) {
+        throw new Error(`outtype: ${at}: SELECT on '${table}' projects '${raw}' (a wildcard). A typed de-box needs the ` +
+            `concrete column list to build the row struct + type each column — spec §4.1 is column-typed. ` +
             `Project explicit columns (no-assume, no-fallback).`);
     }
-    const obj = {};
-    for (const col of projection) {
-        // Reject anything that is not a bare column name — an alias (`x AS y`), a qualified name
-        // (`t.c`), or a computed expression cannot be typed from the schema alone.
-        if (!/^[A-Za-z_][A-Za-z0-9_]*$/.test(col)) {
-            throw new Error(`outtype: ${at}: projected column '${col}' on '${table}' is not a bare column name (alias / ` +
-                `qualified / computed). Typed de-box (spec §4.1) requires bare schema columns so each maps ` +
-                `to a SQL type. No-assume, no-fallback.`);
-        }
-        if (col in obj)
-            throw new Error(`outtype: ${at}: duplicate projected column '${col}' on '${table}'`);
-        // sqlTypeToBcScalar throws on an unknown/ambiguous SQL type — fail-closed by construction.
-        obj[col] = toPortableScalar((0, coltype_1.sqlTypeToBcScalar)(resolveColumnType(table, col)), table, col);
+    // Split off an `AS <alias>` (case-insensitive; alias must be a bare identifier).
+    let expr = raw;
+    let alias;
+    const asMatch = /^(.*?)\s+AS\s+([A-Za-z_][A-Za-z0-9_]*)$/i.exec(raw);
+    if (asMatch !== null) {
+        expr = asMatch[1].trim();
+        alias = asMatch[2];
     }
-    return { obj };
+    // A bare or qualified column reference — `col` or `qual.col` (identifiers only) — is a SCHEMA
+    // column. The qualifier (if present) names the column's OWNER table (a JOIN column), against which
+    // its type resolves; without a qualifier the column belongs to the node's base table.
+    const refMatch = /^(?:([A-Za-z_][A-Za-z0-9_]*)\.)?([A-Za-z_][A-Za-z0-9_]*)$/.exec(expr);
+    if (refMatch !== null) {
+        const qualifier = refMatch[1];
+        const underlying = refMatch[2];
+        return { kind: 'column', underlying, outputKey: alias ?? underlying, ...(qualifier !== undefined ? { qualifier } : {}) };
+    }
+    // Anything else (a function call `f(x)`, an aggregate `COUNT(*)`, a cast `x::uuid`, arithmetic, a
+    // literal) is a COMPUTED expression — no underlying schema column, so it cannot round an i64. The
+    // read path leaves it raw; the codegen path rejects it (it needs a concrete field type).
+    return { kind: 'computed', text: raw };
 }
 /**
- * The `outType` of ONE read body node. A `Select` returns a ROW LIST → `{arr:rowObj}`. A `Count`
- * returns a single `int`. A `.map` node runs its inner component PER element of the iterated list,
- * so its result is `{arr:<per-element outType>}` (the per-element type being the inner node's own
- * outType — for a `.map` over a Select-per-element that is `{arr:{arr:rowObj}}`). An unrecognized
- * component throws (typed codegen covers only the SQL read catalog).
+ * Derive the read ROW from a projection (#141 SSoT + #59 op-builder guard). Resolves each projected
+ * column ONCE via the SHARED {@link parseProjectionColumn} + the coltype SSoT, producing BOTH:
+ *   - `outType` — `{arr:{obj:{outputKey: keyArrayElemScalar(sqlType)}}}`, the READ-DE-BOXED scalar
+ *     (int32→`float`(number) / BIGINT→`string` / BOOLEAN→`bool` / DATE→`string` / text/uuid→`string`).
+ *     This is the ONE row-type representation: bc's native emitter reads it for the typed de-box
+ *     (#154), and it is the conform target the TS leaf coercion below produces.
+ *   - `materializers` — the TS-leaf coercion map ({@link sqlTypeToMaterializeClass}); the leaf coerces
+ *     each driver cell (BIGINT→exact string / DATE→string / BOOLEAN→boolean) so the row MATCHES `outType`
+ *     before bc conforms it (bc conform VALIDATES, does not coerce). Derived from the SAME resolution as
+ *     `outType`, so the coerced JS form always equals the declared read scalar — no second row type.
+ * This IS the #59 read-column coverage guard: `*`/`t.*` throws (unknown column list), an undeclared
+ * column or unknown SQL type throws. A COMPUTED projection (`COUNT(*)`, cast, literal) is left RAW
+ * (omitted from BOTH) — #59: "the read path leaves it raw".
  */
-function nodeOutType(node, resolveColumnType) {
-    const { component, ports } = nodeRef(node);
-    const at = `node '${node.id}'`;
-    if (component === 'Count')
-        return 'int';
-    if (component === 'Select') {
-        const table = stringPort(ports, 'table');
-        if (table === undefined)
-            throw new Error(`outtype: ${at}: Select node requires a literal 'table' port`);
-        const projection = stringArrayPort(ports, 'select');
-        const row = rowObjType(table, projection, resolveColumnType, at);
-        // A `.map` node iterates a list and invokes the inner component per element; the node result is
-        // the list of per-element results. Here the inner is a Select → per element a row LIST, so the
-        // map node's outType is `{arr:{arr:rowObj}}`. A non-map Select node returns the row list `{arr:rowObj}`.
-        if (isMap(node))
-            return { arr: { arr: row } };
-        return { arr: row };
+function deriveReadRow(table, projection, resolveColumnType, at) {
+    const obj = {};
+    const materializers = {};
+    for (const col of projection) {
+        const entry = parseProjectionColumn(col, table, at); // throws on `*` / `t.*`
+        if (entry.kind === 'computed')
+            continue; // computed column: read raw (no de-box / no typed field), #59
+        const { underlying, outputKey, qualifier } = entry;
+        const owner = qualifier ?? table;
+        const sqlType = resolveColumnType(owner, underlying); // undeclared → throw
+        // A read cell is nullable UNLESS `static columns` declares the column `NOT NULL` — a driver column
+        // may be NULL, so the read scalar rides under `opt` (bc conforms `null`/absent OR the de-boxed
+        // scalar). A `NOT NULL` column is non-null by SQL contract → the raw scalar (no `opt`), so a
+        // RETURNING primary key can be consumed in a value position (a `.map` param) without an
+        // optional-narrowing coalesce (spec §4.1 nullability — the SSoT is the declared column constraint).
+        // Array-aware (F2 #105): a projected ARRAY column reads as a `{arr:<de-boxed element>}` list (the
+        // driver hands over a JS array; the whole value is passthrough — see `sqlTypeToMaterializeClass`),
+        // a scalar column as its read-de-boxed scalar. SSoT array split ({@link arrayElementType}); the
+        // element rides the SAME `keyArrayElemScalar` de-box as a scalar column (throws on unknown type).
+        const element = (0, coltype_1.arrayElementType)(sqlType);
+        const scalar = element !== null ? { arr: (0, coltype_1.keyArrayElemScalar)(element) } : (0, coltype_1.keyArrayElemScalar)(sqlType);
+        obj[outputKey] = (0, coltype_1.sqlTypeIsNotNull)(sqlType) ? scalar : { opt: scalar };
+        const klass = (0, coltype_1.sqlTypeToMaterializeClass)(sqlType);
+        if (klass !== 'passthrough')
+            materializers[outputKey] = klass; // omit passthrough (no-op coercion)
     }
-    throw new Error(`outtype: ${at}: component '${component}' has no typed outType (typed read codegen covers Select/Count only). ` +
-        `A write / unknown node cannot be de-boxed here — no-assume, no-fallback.`);
+    return { outType: { arr: { obj } }, materializers };
 }
 /**
  * Derive the component `outputType` by walking the `output` Φ-expression against a `nodeId →
@@ -179,19 +167,4 @@ function outputType(output, byNode, at) {
         `(ref / obj / arr / opt of node results). The typed de-box path does not build a dynamic ` +
         `Value output tree — no-assume, no-fallback.`);
 }
-/**
- * Per-node `outType` (keyed by body node id) + the component `outputType`, derived for a READ
- * component (spec §4.1). `cond` nodes are skipped for the per-node map but a `cond` at the OUTPUT
- * position (a shared-branch merge) would be handled by {@link outputType} if reached — the bench's
- * read outputs are ref / obj compositions of Select nodes. Any ambiguity throws (fail-closed).
- */
-function deriveReadOutTypes(component, resolveColumnType) {
-    const byNode = new Map();
-    for (const n of component.body) {
-        if ('cond' in n)
-            continue; // a cond node carries no SELECT projection; it is typed by its branch
-        byNode.set(n.id, nodeOutType(n, resolveColumnType));
-    }
-    return { byNode, outputType: outputType(component.output, byNode, `component '${component.name}' output`) };
-}
 //# sourceMappingURL=outtype.js.map

package/dist/scp/makesql/outtype.js.map

@@ -1 +1 @@
-{"version":3,"file":"outtype.js","sourceRoot":"","sources":["../../../src/scp/makesql/outtype.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;GAkBG;;AAkGH,kCAmBC;AA8DD,gDAUC;AAzLD,wCAAuF;AACvF,6BAAmC;AAEnC;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,MAAgB,EAAE,MAAc,EAAE,OAAe;IACzE,OAAO,MAAM,CAAC;AAChB,CAAC;AAKD,SAAS,KAAK,CAAC,CAA4B;IACzC,OAAO,KAAK,IAAI,CAAC,CAAC;AACpB,CAAC;AAED,qEAAqE;AACrE,SAAS,OAAO,CAAC,CAAU;IACzB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;AACpH,CAAC;AAED,SAAS,KAAK,CAAC,IAAa;IAC1B,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACvF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACjD,CAAC;AAED,sGAAsG;AACtG,SAAS,UAAU,CAAC,KAA8B,EAAE,IAAY;IAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,6CAA6C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,+EAA+E;AAC/E,SAAS,eAAe,CAAC,KAA8B,EAAE,IAAY;IACnE,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAE,CAAsB,CAAC,GAAG,CAAC,EAAE,CAAC;QACpG,OAAQ,CAAwB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,0CAA0C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5H,OAAO,CAAC,CAAC;QACX,CAAC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,iDAAiD,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAC/G,CAAC;AAED;;;;;GAKG;AACH,SAAS,UAAU,CAAC,KAAa,EAAE,UAAyC,EAAE,iBAAqC,EAAE,EAAU;IAC7H,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CACb,YAAY,EAAE,gBAAgB,KAAK,6DAA6D;YAC9F,6FAA6F;YAC7F,oDAAoD,CACvD,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAiC,EAAE,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,yFAAyF;QACzF,2EAA2E;QAC3E,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CACb,YAAY,EAAE,uBAAuB,GAAG,SAAS,KAAK,uCAAuC;gBAC3F,4FAA4F;gBAC5F,wCAAwC,CAC3C,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,IAAI,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,iCAAiC,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;QACrG,2FAA2F;QAC3F,GAAG,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,IAAA,2BAAiB,EAAC,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,CAAC;AACjB,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,WAAW,CAAC,IAAa,EAAE,iBAAqC;IAC9E,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,SAAS,IAAI,CAAC,EAAE,GAAG,CAAC;IAC/B,IAAI,SAAS,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,+CAA+C,CAAC,CAAC;QACxG,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,EAAE,CAAC,CAAC;QACjE,gGAAgG;QAChG,+FAA+F;QAC/F,yGAAyG;QACzG,IAAI,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;QAC9C,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,IAAI,KAAK,CACb,YAAY,EAAE,gBAAgB,SAAS,wEAAwE;QAC7G,0EAA0E,CAC7E,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,MAAe,EAAE,MAAiC,EAAE,EAAU;IAChF,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;QACpC,MAAM,IAAI,GAAI,MAAoC,CAAC,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC7E,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,QAAQ,EAAE,mCAAmC,CAAC,CAAC;QAC/E,CAAC;QACD,+FAA+F;QAC/F,+FAA+F;QAC/F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAK,IAAI,CAAC,CAAC,CAAY,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,gBAAW,EAAE,CAAC;YACxF,MAAM,IAAI,KAAK,CACb,YAAY,EAAE,qBAAqB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,wCAAwC;gBAC7F,sHAAsH,CACzH,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAW,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,6BAA6B,IAAI,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;QACzH,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QACjB,MAAM,GAAG,GAAI,MAA2B,CAAC,GAAG,CAAC;QAC7C,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,iCAAiC,CAAC,CAAC;QACpI,MAAM,GAAG,GAAiC,EAAE,CAAC;QAC7C,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,EAAE,CAAC;YACvE,IAAI,CAAC,KAAK,WAAW;gBAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,2CAA2C,CAAC,CAAC;YAClG,GAAG,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtB,CAAC;IACD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QACjB,MAAM,GAAG,GAAI,MAA2B,CAAC,GAAG,CAAC;QAC7C,8FAA8F;QAC9F,0FAA0F;QAC1F,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,sGAAsG,CAAC,CAAC;QAC9J,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QACjB,MAAM,KAAK,GAAI,MAA2B,CAAC,GAAG,CAAC;QAC/C,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;IACzD,CAAC;IACD,MAAM,IAAI,KAAK,CACb,YAAY,EAAE,uBAAuB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,8BAA8B;QACvF,0FAA0F;QAC1F,6CAA6C,CAChD,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAgB,kBAAkB,CAChC,SAAoB,EACpB,iBAAqC;IAErC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,MAAM,IAAI,CAAC;YAAE,SAAS,CAAC,sEAAsE;QACjG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,CAAC,CAAY,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,SAAS,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC;AAC9G,CAAC"}
+{"version":3,"file":"outtype.js","sourceRoot":"","sources":["../../../src/scp/makesql/outtype.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;AA+CH,sDA8BC;AA0BD,sCA8BC;AASD,gCA6CC;AAxLD,wCAA+J;AAC/J,6BAAmC;AAGnC,SAAS,KAAK,CAAC,IAAa;IAC1B,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACvF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACjD,CAAC;AAsBD;;;;;;;;;;;;;GAaG;AACH,SAAgB,qBAAqB,CAAC,GAAW,EAAE,KAAa,EAAE,EAAU;IAC1E,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACb,YAAY,EAAE,gBAAgB,KAAK,eAAe,GAAG,2CAA2C;YAC9F,+FAA+F;YAC/F,oDAAoD,CACvD,CAAC;IACJ,CAAC;IACD,iFAAiF;IACjF,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,IAAI,KAAyB,CAAC;IAC9B,MAAM,OAAO,GAAG,0CAA0C,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzB,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,8FAA8F;IAC9F,mGAAmG;IACnG,sFAAsF;IACtF,MAAM,QAAQ,GAAG,2DAA2D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,IAAI,UAAU,EAAE,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC3H,CAAC;IACD,kGAAkG;IAClG,kGAAkG;IAClG,yFAAyF;IACzF,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAWD;;;;;;;;;;;;;;GAcG;AACH,SAAgB,aAAa,CAC3B,KAAa,EACb,UAA6B,EAC7B,iBAAqC,EACrC,EAAU;IAEV,MAAM,GAAG,GAAiC,EAAE,CAAC;IAC7C,MAAM,aAAa,GAAqC,EAAE,CAAC;IAC3D,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,wBAAwB;QAC7E,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS,CAAC,8DAA8D;QACvG,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;QACnD,MAAM,KAAK,GAAG,SAAS,IAAI,KAAK,CAAC;QACjC,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,qBAAqB;QAC3E,mGAAmG;QACnG,+FAA+F;QAC/F,6FAA6F;QAC7F,wFAAwF;QACxF,oGAAoG;QACpG,kGAAkG;QAClG,mGAAmG;QACnG,gGAAgG;QAChG,kGAAkG;QAClG,MAAM,OAAO,GAAG,IAAA,0BAAgB,EAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAiB,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,4BAAkB,EAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAA,4BAAkB,EAAC,OAAO,CAAC,CAAC;QACnH,GAAG,CAAC,SAAS,CAAC,GAAG,IAAA,0BAAgB,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;QACtE,MAAM,KAAK,GAAG,IAAA,mCAAyB,EAAC,OAAO,CAAC,CAAC;QACjD,IAAI,KAAK,KAAK,aAAa;YAAE,aAAa,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,oCAAoC;IACrG,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC;AACtD,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,UAAU,CAAC,MAAe,EAAE,MAAiC,EAAE,EAAU;IACvF,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;QACpC,MAAM,IAAI,GAAI,MAAoC,CAAC,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC7E,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,QAAQ,EAAE,mCAAmC,CAAC,CAAC;QAC/E,CAAC;QACD,+FAA+F;QAC/F,+FAA+F;QAC/F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAK,IAAI,CAAC,CAAC,CAAY,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,gBAAW,EAAE,CAAC;YACxF,MAAM,IAAI,KAAK,CACb,YAAY,EAAE,qBAAqB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,wCAAwC;gBAC7F,sHAAsH,CACzH,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAW,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,6BAA6B,IAAI,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;QACzH,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QACjB,MAAM,GAAG,GAAI,MAA2B,CAAC,GAAG,CAAC;QAC7C,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,iCAAiC,CAAC,CAAC;QACpI,MAAM,GAAG,GAAiC,EAAE,CAAC;QAC7C,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,EAAE,CAAC;YACvE,IAAI,CAAC,KAAK,WAAW;gBAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,2CAA2C,CAAC,CAAC;YAClG,GAAG,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtB,CAAC;IACD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QACjB,MAAM,GAAG,GAAI,MAA2B,CAAC,GAAG,CAAC;QAC7C,8FAA8F;QAC9F,0FAA0F;QAC1F,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,sGAAsG,CAAC,CAAC;QAC9J,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QACjB,MAAM,KAAK,GAAI,MAA2B,CAAC,GAAG,CAAC;QAC/C,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;IACzD,CAAC;IACD,MAAM,IAAI,KAAK,CACb,YAAY,EAAE,uBAAuB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,8BAA8B;QACvF,0FAA0F;QAC1F,6CAA6C,CAChD,CAAC;AACJ,CAAC"}

package/dist/scp/makesql/pool-executor.d.ts

@@ -1,11 +1,11 @@
 /**
- * litedbmodel v2 SCP — pooled async `SqlExecutorAsync` factories for PG / MySQL (#40).
+ * litedbmodel v2 SCP — pooled async `SqlExecutor` factories for PG / MySQL (#40).
  *
  * The read-graph async execution model (`executeReadGraphAsync`) dispatches independent sibling
  * relations in bounded parallel via bc `runBehaviorAsync`. For that concurrency to become REAL
  * parallel DB I/O the driver seam must be an async CONNECTION POOL — each concurrent `exec` call
  * checks out a DISTINCT pooled connection. These factories adapt a `pg.Pool` / `mysql2` pool to the
- * {@link SqlExecutorAsync} seam.
+ * {@link SqlExecutor} seam.
  *
  * The read graph already renders the dialect placeholder form (`$N` for postgres, `?` for
  * MySQL/SQLite, via `renderPlaceholders`) and flattens params 1:1, so each executor is a THIN
@@ -16,7 +16,54 @@
  * `pg` / `mysql2` are optional peer dependencies loaded dynamically — importing this module does not
  * force either into a consumer that only uses the sync better-sqlite3 conformance path.
  */
-import type { SqlExecutorAsync } from './static-bundle';
+import type { AsyncConnectionPool } from '../exec-context';
+import type { PoolFactory } from '../connection-routing';
+/** The minimal `pg.types` surface: register a per-OID text parser. */
+export interface PgTypesLike {
+    setTypeParser(oid: number, parser: (value: string) => unknown): void;
+}
+/**
+ * Register `pg` type parsers so the read-path de-box (issue #59) gets coercible values: the
+ * DATE/TIMESTAMP/TIMESTAMPTZ/TIME family is returned as its NATIVE TEXTUAL string (NOT a JS Date),
+ * honoring the `date→string` outType and carrying the TZ for timestamptz; and the int2/int4/int8 family
+ * as a BigInt, the TS plane's `int` value model. Idempotent. Call ONCE, before building the pool, from
+ * the consumer that owns the `pg` module (`import { types } from 'pg'; configurePgDeboxTypeParsers(types)`).
+ *
+ * WHY the GLOBAL parser (a documented, deliberate exception): `pg`'s default DATE parser builds a JS
+ * `Date` at LOCAL midnight, which shifts the UTC CALENDAR DAY (e.g. `2026-07-14` → a Date whose UTC
+ * day is `2026-07-13`). That loss happens INSIDE the driver, BEFORE the materializer sees the value —
+ * so materializer-side coercion CANNOT recover the correct calendar day from the already-shifted
+ * Date. Reading the native text (this parser) is the only lossless option, and `pg` exposes type
+ * parsers only at module (process-global) scope. It is set ONCE at pool creation, not per read. The
+ * materializer's `Date → ISO string` path remains as a defensive fallback for any driver/config that
+ * still slips a Date through, but the correct-day guarantee for pg DATE comes from this parser.
+ */
+export declare function configurePgDeboxTypeParsers(types: PgTypesLike): void;
+/**
+ * The `mysql2` pool options the read-path de-box (issue #59) requires: `supportBigNumbers` +
+ * `bigNumberStrings` so BIGINT arrives as an EXACT string (→ bigint; a plain number would already
+ * have rounded it), and `dateStrings` so the DATE/TIMESTAMP/DATETIME family arrives as its native
+ * textual string (→ the `date→string` outType, NOT a JS Date). Spread into `mysql.createPool(...)`.
+ */
+export declare const mysqlDeboxPoolOptions: {
+    readonly supportBigNumbers: true;
+    readonly bigNumberStrings: true;
+    readonly dateStrings: true;
+    /**
+     * An INTEGER column must arrive in bc's `int` value model — a BigInt on the TS plane. `mysql2` hands
+     * back a JS number for TINY/SHORT/INT24/LONG (only BIGINT becomes a string, via `bigNumberStrings`),
+     * and bc classifies a JS number as FLOAT, so a column declared `Int` failed its outType check with
+     * `expected int, got float`. The FIELD TYPE decides, never the value: a DOUBLE/DECIMAL column whose
+     * value happens to be integral still arrives as a float. sqlite gets the same guarantee from
+     * better-sqlite3's `safeIntegers`, PostgreSQL from {@link configurePgDeboxTypeParsers}'s int OIDs.
+     */
+    readonly typeCast: (field: MysqlFieldLike, next: () => unknown) => unknown;
+};
+/** The `mysql2` field surface `typeCast` reads: the column's declared type and its raw text. */
+export interface MysqlFieldLike {
+    readonly type: string;
+    string(): string | null;
+}
 /** The minimal `pg.Pool` surface we need: `query(text, values)` resolving `{ rows }`. */
 export interface PgPoolLike {
     query(text: string, values?: unknown[]): Promise<{
@@ -27,15 +74,6 @@ export interface PgPoolLike {
 export interface MysqlPoolLike {
     query(sql: string, values?: unknown[]): Promise<[Record<string, unknown>[], unknown]>;
 }
-/**
- * Adapt a `pg.Pool` to the async executor seam. Each `exec` runs `pool.query`, which acquires a
- * pooled connection, runs the query, and releases it — so N concurrent siblings run on N pooled
- * connections in parallel. The graph renders `$N` placeholders for the `postgres` dialect, so the
- * `sql` is already in `pg`'s native form.
- *
- * Recommend constructing the pool with `max` ≥ the plan's `concurrency` (default 16).
- */
-export declare function pgPoolExecutor(pool: PgPoolLike): SqlExecutorAsync;
 /**
  * Adapt a `mysql2/promise` pool to the async executor seam. `pool.query` acquires + releases a
  * pooled connection per call, so concurrent siblings run in parallel. The graph renders `?`
@@ -43,5 +81,89 @@ export declare function pgPoolExecutor(pool: PgPoolLike): SqlExecutorAsync;
  *
  * Recommend `connectionLimit` ≥ the plan's `concurrency` (default 16).
  */
-export declare function mysqlPoolExecutor(pool: MysqlPoolLike): SqlExecutorAsync;
+/** Minimal `pg` module surface: a `Pool` ctor + the global `types.setTypeParser`. */
+export interface PgModuleLike {
+    Pool: new (config: Record<string, unknown>) => PgPoolLike & {
+        end?: () => Promise<void>;
+    };
+    types: PgTypesLike;
+}
+/** Minimal `mysql2/promise` module surface: `createPool`. */
+export interface Mysql2ModuleLike {
+    createPool(config: Record<string, unknown>): MysqlPoolLike & {
+        end?: () => Promise<void>;
+    };
+}
+/** A pg `Pool` that hands out an owned `PoolClient` (`connect()` → `release()`). */
+export interface PgOwnedPoolLike {
+    connect(): Promise<PgPoolClientLike>;
+}
+/** The pg `PoolClient`: parameterized `query`, and `release(destroy?)` back to the pool. */
+export interface PgPoolClientLike {
+    query(text: string, values?: unknown[]): Promise<{
+        rows: Record<string, unknown>[];
+        rowCount?: number | null;
+    }>;
+    release(destroy?: boolean): void;
+}
+/**
+ * Adapt a pg `Pool` to the {@link AsyncConnectionPool} contract — `acquire` checks out an owned
+ * `PoolClient`, `release` returns it (destroyed on a poisoned tx). Feed this to
+ * `withTransactionAsync` for per-execution connection ownership.
+ */
+export declare function pgConnectionPool(pool: PgOwnedPoolLike): AsyncConnectionPool;
+/** A mysql2/promise `Pool` that hands out an owned connection (`getConnection()` → `release()`). */
+export interface MysqlOwnedPoolLike {
+    getConnection(): Promise<MysqlPoolConnLike>;
+}
+/** A mysql2/promise pooled connection: `query`, and `release()` back to the pool. */
+export interface MysqlPoolConnLike {
+    query(sql: string, values?: unknown[]): Promise<[unknown, unknown]>;
+    release(): void;
+    destroy(): void;
+}
+/**
+ * Adapt a mysql2/promise `Pool` to the {@link AsyncConnectionPool} contract — `acquire` checks out
+ * an owned connection, `release` returns it (or `destroy`s a poisoned one). Feed this to
+ * `withTransactionAsync` for per-execution connection ownership.
+ */
+export declare function mysqlConnectionPool(pool: MysqlOwnedPoolLike): AsyncConnectionPool;
+/** A pg `Pool` the factory constructs: owned-connection surface + `end()` (the closer). */
+export type PgOwnedPoolWithEnd = PgOwnedPoolLike & {
+    end(): Promise<void>;
+};
+/** The `pg` module surface the pool factory needs: an OWNED-connection `Pool` ctor + `types`. */
+export interface PgFactoryModuleLike {
+    Pool: new (config: Record<string, unknown>) => PgOwnedPoolWithEnd;
+    types: PgTypesLike;
+}
+/**
+ * A {@link PoolFactory} for `pg`: constructs a `new pg.Pool(...)` from a {@link ResolvedConnectionConfig},
+ * applying the pool SIZING (`max` = `maxPool`, `min` = `minPool`) and `keepAlive` /
+ * `keepAliveInitialDelayMillis` AT CONSTRUCTION — the config is the sole source of the cap. Connection
+ * params (host/port/database/user/password) also flow from the config. Registers the read-path de-box
+ * type parsers (issue #59, global, idempotent) once. Returns the owned-connection adapter + closer.
+ *
+ * `role` is accepted for the reader/writer replica split; the caller may vary host per role via the
+ * config it passes. `Pool` is the `pg.Pool` ctor (peer dep, passed in — this module imports no driver).
+ */
+export declare function pgPoolFactory(pg: PgFactoryModuleLike): PoolFactory;
+/** A mysql2 `Pool` the factory constructs: owned-connection surface + `end()` (the closer). */
+export type MysqlOwnedPoolWithEnd = MysqlOwnedPoolLike & {
+    end(): Promise<void>;
+};
+/**
+ * A {@link PoolFactory} for `mysql2/promise`: constructs a `mysql2.createPool(...)` from a
+ * {@link ResolvedConnectionConfig}, applying the pool SIZING (`connectionLimit` = `maxPool`) +
+ * `enableKeepAlive` / `keepAliveInitialDelay` AT CONSTRUCTION (the config is the sole source of the
+ * cap) plus the read-path de-box options ({@link mysqlDeboxPoolOptions}). Connection params flow from
+ * the config. Returns the owned-connection adapter + closer.
+ *
+ * NB: mysql2 has no `min` idle floor — `minPool` is a no-op there (a documented per-driver deviation;
+ * the SIZING CAP that matters — `maxPool` → `connectionLimit` — is honored). `createPool` is the
+ * `mysql2/promise` factory (peer dep, passed in).
+ */
+export declare function mysqlPoolFactory(mysql2: {
+    createPool(config: Record<string, unknown>): MysqlOwnedPoolWithEnd;
+}): PoolFactory;
 //# sourceMappingURL=pool-executor.d.ts.map

package/dist/scp/makesql/pool-executor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pool-executor.d.ts","sourceRoot":"","sources":["../../../src/scp/makesql/pool-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAExD,yFAAyF;AACzF,MAAM,WAAW,UAAU;IACzB,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAA;KAAE,CAAC,CAAC;CACvF;AAED,kGAAkG;AAClG,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;CACvF;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAKjE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,aAAa,GAAG,gBAAgB,CAKvE"}
+{"version":3,"file":"pool-executor.d.ts","sourceRoot":"","sources":["../../../src/scp/makesql/pool-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAmB,mBAAmB,EAAiB,MAAM,iBAAiB,CAAC;AAC3F,OAAO,KAAK,EAA4B,WAAW,EAAc,MAAM,uBAAuB,CAAC;AAoB/F,sEAAsE;AACtE,MAAM,WAAW,WAAW;IAC1B,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,GAAG,IAAI,CAAC;CACtE;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAiBpE;AAED;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB;;;;IAIhC;;;;;;;OAOG;+BACa,cAAc,QAAQ,MAAM,OAAO,KAAG,OAAO;CAOrD,CAAC;AAEX,gGAAgG;AAChG,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,MAAM,IAAI,MAAM,GAAG,IAAI,CAAC;CACzB;AAQD,yFAAyF;AACzF,MAAM,WAAW,UAAU;IACzB,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAA;KAAE,CAAC,CAAC;CACvF;AAED,kGAAkG;AAClG,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;CACvF;AAGD;;;;;;GAMG;AAQH,qFAAqF;AACrF,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,UAAU,GAAG;QAAE,GAAG,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAA;KAAE,CAAC;IAC1F,KAAK,EAAE,WAAW,CAAC;CACpB;AAED,6DAA6D;AAC7D,MAAM,WAAW,gBAAgB;IAC/B,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,aAAa,GAAG;QAAE,GAAG,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAA;KAAE,CAAC;CAC5F;AAcD,oFAAoF;AACpF,MAAM,WAAW,eAAe;IAC9B,OAAO,IAAI,OAAO,CAAC,gBAAgB,CAAC,CAAC;CACtC;AACD,4FAA4F;AAC5F,MAAM,WAAW,gBAAgB;IAC/B,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;IAChH,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;CAClC;AAgBD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,eAAe,GAAG,mBAAmB,CAa3E;AAED,oGAAoG;AACpG,MAAM,WAAW,kBAAkB;IACjC,aAAa,IAAI,OAAO,CAAC,iBAAiB,CAAC,CAAC;CAC7C;AACD,qFAAqF;AACrF,MAAM,WAAW,iBAAiB;IAChC,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IACpE,OAAO,IAAI,IAAI,CAAC;IAChB,OAAO,IAAI,IAAI,CAAC;CACjB;AAwCD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,kBAAkB,GAAG,mBAAmB,CAgBjF;AAYD,2FAA2F;AAC3F,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG;IAAE,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,CAAA;CAAE,CAAC;AAE5E,iGAAiG;AACjG,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,kBAAkB,CAAC;IAClE,KAAK,EAAE,WAAW,CAAC;CACpB;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,mBAAmB,GAAG,WAAW,CAkBlE;AAED,+FAA+F;AAC/F,MAAM,MAAM,qBAAqB,GAAG,kBAAkB,GAAG;IAAE,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,CAAA;CAAE,CAAC;AAElF;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE;IAAE,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,qBAAqB,CAAA;CAAE,GAAG,WAAW,CAiB5H"}