litedbmodel 2.0.0 → 2.0.1

package/dist/scp/authoring-sql.d.ts

@@ -24,6 +24,24 @@
 import { type Recorded } from 'behavior-contracts';
 /** A recorded `$`-reference (column or value) or a literal value usable in a builder. */
 type Operand = Recorded | unknown;
+/**
+ * The sentinel ref-path heads that mark the ADDITIVE where-primitives (V0 R2/R3) so the live
+ * compile (`static-bundle.lowerWhereMember`) can decode them into the EXACT v1 `ConditionObject`
+ * and drive the ORIGINAL `DBConditions.compile()` for byte-true text — never a hand-roll. Each is
+ * encoded with the closed-set `eq(<sentinel ref>, <value>)` shape (the SAME trick {@link whereIn}
+ * uses for IN-lists), so no opcode outside bc's closed set is invented. Structural metadata (the
+ * column name, the SQL cast type, the LIKE keyword, the tuple column list, the subquery text)
+ * rides as extra STRING segments in the sentinel ref path; the runtime value operands ride as the
+ * `eq` RHS and are deferred as value-specs 1:1 with the placeholders in the v1-produced text.
+ */
+export declare const BETWEEN_SENTINEL = "@between";
+export declare const LIKE_SENTINEL = "@like";
+export declare const CAST_SENTINEL = "@cast";
+export declare const DYNAMIC_SENTINEL = "@dynamic";
+export declare const IMMEDIATE_SENTINEL = "@immediate";
+export declare const TUPLE_SENTINEL = "@tuple";
+export declare const SUBQUERY_SENTINEL = "@subquery";
+export declare const EXISTS_SENTINEL = "@exists";
 /** `col = value` — equality fragment (`{eq:[colRef, value]}`). */
 export declare function whereEq(col: Recorded, value: Operand): Recorded;
 /** `col <> value` — inequality fragment. */
@@ -52,5 +70,65 @@ export declare function whereIn(col: Recorded, value: Operand): Recorded;
  * treats `name` as the physical column (a membership fragment, not an equality).
  */
 export declare function inColumn($: Recorded, name: string): Recorded;
+/**
+ * `col BETWEEN ? AND ?` (V0 R3). Encoded `eq($[@between][col], [lo, hi])`; the live compile builds
+ * the v1 custom-op `ConditionObject` `{'<col> BETWEEN ? AND ?': [lo, hi]}` and defers both bounds.
+ * `lo`/`hi` are recorded refs or literals.
+ */
+export declare function whereBetween($: Recorded, col: string, lo: Operand, hi: Operand): Recorded;
+/**
+ * `col LIKE ?` (V0 R3). Encoded `eq($[@like][col], pattern)` → v1 `{'<col> LIKE ?': pattern}`.
+ * The pattern is a recorded ref or literal.
+ */
+export declare function whereLike($: Recorded, col: string, pattern: Operand): Recorded;
+/**
+ * `col ILIKE ?` (V0 R3, PG case-insensitive; on MySQL/SQLite v1 emits the raw `ILIKE` keyword —
+ * this reproduces v1 verbatim, not a portability rewrite). Encoded `eq($[@like][col][ILIKE], p)`.
+ */
+export declare function whereILike($: Recorded, col: string, pattern: Operand): Recorded;
+/**
+ * `col <op> ?::type` (V0 R3, dialect-gated cast — `dbCast`). Encoded
+ * `eq($[@cast][col][type][op], value)`; the live compile drives v1 `dbCast(value, type, op)` so the
+ * PG `::type` cast (and the MySQL/SQLite no-cast) is byte-true. `op` defaults to `=`.
+ */
+export declare function whereCast($: Recorded, col: string, sqlType: string, value: Operand, op?: string): Recorded;
+/**
+ * `col = fn(?)` (V0 R3, `dbDynamic`) — a function-call template with `?` placeholders bound to the
+ * value list. Encoded `eq($[@dynamic][col][template], values)`; drives v1 `dbDynamic(template, vals)`.
+ * `template` is the raw function SQL (e.g. `to_tsvector('en', ?)`).
+ */
+export declare function whereDynamic($: Recorded, col: string, template: string, values: Operand): Recorded;
+/**
+ * `col = <sql>` (V0 R3, `dbImmediate` — an inline SQL expression, NO bound param, e.g. `NOW()`).
+ * Encoded `eq($[@immediate][col][sql], null)`; drives v1 `dbImmediate(sql)`. No value-spec.
+ */
+export declare function whereImmediate($: Recorded, col: string, sql: string): Recorded;
+/**
+ * `(a, b, …) IN ((?, ?), …)` (V0 R3, `dbTupleIn` composite membership). Encoded
+ * `eq($[@tuple][a][b]…, tuples)` where `tuples` is an array-of-tuples value; drives v1
+ * `dbTupleIn(columns, tuples)`. `columns` is the tuple column list.
+ */
+export declare function whereTupleIn($: Recorded, columns: readonly string[], tuples: Operand): Recorded;
+/**
+ * `lhs IN (SELECT …)` / `lhs NOT IN (SELECT …)` (V0 R2). The subquery is authored as a NESTED
+ * makeSQL Fragment carried in the param slot (spec §2 補足): `sub` is a `{ sql, params? }` where
+ * `sql` is the inner SELECT text (already dialect-tuned, v1-sourced) and `params` its bound
+ * value-specs. Encoded `eq($[@subquery][lhsCol][kw], sub)`; the live compile splices the inner
+ * `sql` into the v1 `DBSubquery`-shaped predicate `<lhs> <kw> (<sub.sql>)` and appends `sub.params`.
+ */
+export declare function whereInSubquery($: Recorded, lhs: string, sub: {
+    sql: string;
+    params?: readonly Operand[];
+}, not?: boolean): Recorded;
+/**
+ * `EXISTS (SELECT 1 …)` / `NOT EXISTS (…)` (V0 R2). Like {@link whereInSubquery}, the correlated
+ * subquery rides as a nested makeSQL Fragment in the param slot: `sub.sql` is the inner
+ * `SELECT 1 FROM … WHERE …` (correlation refs already rendered as literal column paths, v1-sourced).
+ * Encoded `eq($[@exists][kw], sub)`; the live compile emits `<kw> (<sub.sql>)` + `sub.params`.
+ */
+export declare function whereExists($: Recorded, sub: {
+    sql: string;
+    params?: readonly Operand[];
+}, not?: boolean): Recorded;
 export {};
 //# sourceMappingURL=authoring-sql.d.ts.map

package/dist/scp/authoring-sql.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"authoring-sql.d.ts","sourceRoot":"","sources":["../../src/scp/authoring-sql.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAA0B,KAAK,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAG3E,yFAAyF;AACzF,KAAK,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;AAElC,kEAAkE;AAClE,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,4CAA4C;AAC5C,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,qBAAqB;AACrB,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,sBAAsB;AACtB,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,qBAAqB;AACrB,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,sBAAsB;AACtB,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,8FAA8F;AAC9F,wBAAgB,WAAW,CAAC,GAAG,EAAE,QAAQ,GAAG,QAAQ,CAEnD;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAE5D"}
+{"version":3,"file":"authoring-sql.d.ts","sourceRoot":"","sources":["../../src/scp/authoring-sql.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAA0B,KAAK,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAG3E,yFAAyF;AACzF,KAAK,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;AAElC;;;;;;;;;GASG;AACH,eAAO,MAAM,gBAAgB,aAAa,CAAC;AAC3C,eAAO,MAAM,aAAa,UAAU,CAAC;AACrC,eAAO,MAAM,aAAa,UAAU,CAAC;AACrC,eAAO,MAAM,gBAAgB,aAAa,CAAC;AAC3C,eAAO,MAAM,kBAAkB,eAAe,CAAC;AAC/C,eAAO,MAAM,cAAc,WAAW,CAAC;AACvC,eAAO,MAAM,iBAAiB,cAAc,CAAC;AAC7C,eAAO,MAAM,eAAe,YAAY,CAAC;AASzC,kEAAkE;AAClE,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,4CAA4C;AAC5C,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,qBAAqB;AACrB,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,sBAAsB;AACtB,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,qBAAqB;AACrB,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,sBAAsB;AACtB,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED,8FAA8F;AAC9F,wBAAgB,WAAW,CAAC,GAAG,EAAE,QAAQ,GAAG,QAAQ,CAEnD;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAE/D;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAE5D;AAID;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,GAAG,QAAQ,CAEzF;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,QAAQ,CAE9E;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,QAAQ,CAE/E;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,GAAE,MAAY,GAAG,QAAQ,CAE/G;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,QAAQ,CAElG;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,QAAQ,CAE9E;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,MAAM,EAAE,OAAO,GAAG,QAAQ,CAE/F;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,CAAC,EAAE,QAAQ,EACX,GAAG,EAAE,MAAM,EACX,GAAG,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,EACjD,GAAG,UAAQ,GACV,QAAQ,CAEV;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CACzB,CAAC,EAAE,QAAQ,EACX,GAAG,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,EACjD,GAAG,UAAQ,GACV,QAAQ,CAEV"}

package/dist/scp/authoring-sql.js

@@ -23,6 +23,7 @@
  * recorded reference, a literal, or any closed-set builder expression (`coalesce`, `add`, …).
  */
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.EXISTS_SENTINEL = exports.SUBQUERY_SENTINEL = exports.TUPLE_SENTINEL = exports.IMMEDIATE_SENTINEL = exports.DYNAMIC_SENTINEL = exports.CAST_SENTINEL = exports.LIKE_SENTINEL = exports.BETWEEN_SENTINEL = void 0;
 exports.whereEq = whereEq;
 exports.whereNe = whereNe;
 exports.whereLt = whereLt;
@@ -32,8 +33,42 @@ exports.whereGe = whereGe;
 exports.whereIsNull = whereIsNull;
 exports.whereIn = whereIn;
 exports.inColumn = inColumn;
+exports.whereBetween = whereBetween;
+exports.whereLike = whereLike;
+exports.whereILike = whereILike;
+exports.whereCast = whereCast;
+exports.whereDynamic = whereDynamic;
+exports.whereImmediate = whereImmediate;
+exports.whereTupleIn = whereTupleIn;
+exports.whereInSubquery = whereInSubquery;
+exports.whereExists = whereExists;
 const behavior_contracts_1 = require("behavior-contracts");
-const bridge_1 = require("./bridge");
+const makesql_1 = require("./makesql");
+/**
+ * The sentinel ref-path heads that mark the ADDITIVE where-primitives (V0 R2/R3) so the live
+ * compile (`static-bundle.lowerWhereMember`) can decode them into the EXACT v1 `ConditionObject`
+ * and drive the ORIGINAL `DBConditions.compile()` for byte-true text — never a hand-roll. Each is
+ * encoded with the closed-set `eq(<sentinel ref>, <value>)` shape (the SAME trick {@link whereIn}
+ * uses for IN-lists), so no opcode outside bc's closed set is invented. Structural metadata (the
+ * column name, the SQL cast type, the LIKE keyword, the tuple column list, the subquery text)
+ * rides as extra STRING segments in the sentinel ref path; the runtime value operands ride as the
+ * `eq` RHS and are deferred as value-specs 1:1 with the placeholders in the v1-produced text.
+ */
+exports.BETWEEN_SENTINEL = '@between';
+exports.LIKE_SENTINEL = '@like';
+exports.CAST_SENTINEL = '@cast';
+exports.DYNAMIC_SENTINEL = '@dynamic';
+exports.IMMEDIATE_SENTINEL = '@immediate';
+exports.TUPLE_SENTINEL = '@tuple';
+exports.SUBQUERY_SENTINEL = '@subquery';
+exports.EXISTS_SENTINEL = '@exists';
+/** Build a sentinel column ref: `$[HEAD][seg0][seg1]…` → a recorded ref with that path. */
+function sentinelRef($, head, segs) {
+    let node = $[head];
+    for (const s of segs)
+        node = node[s];
+    return node;
+}
 /** `col = value` — equality fragment (`{eq:[colRef, value]}`). */
 function whereEq(col, value) {
     return (0, behavior_contracts_1.eq)(col, value);
@@ -78,6 +113,79 @@ function whereIn(col, value) {
  * treats `name` as the physical column (a membership fragment, not an equality).
  */
 function inColumn($, name) {
-    return $[bridge_1.IN_SENTINEL][name];
+    return $[makesql_1.IN_SENTINEL][name];
+}
+// ── Additive where-primitives (V0 R2/R3) — all v1-sourced at compile, live-reachable ──────────
+/**
+ * `col BETWEEN ? AND ?` (V0 R3). Encoded `eq($[@between][col], [lo, hi])`; the live compile builds
+ * the v1 custom-op `ConditionObject` `{'<col> BETWEEN ? AND ?': [lo, hi]}` and defers both bounds.
+ * `lo`/`hi` are recorded refs or literals.
+ */
+function whereBetween($, col, lo, hi) {
+    return (0, behavior_contracts_1.eq)(sentinelRef($, exports.BETWEEN_SENTINEL, [col]), [lo, hi]);
+}
+/**
+ * `col LIKE ?` (V0 R3). Encoded `eq($[@like][col], pattern)` → v1 `{'<col> LIKE ?': pattern}`.
+ * The pattern is a recorded ref or literal.
+ */
+function whereLike($, col, pattern) {
+    return (0, behavior_contracts_1.eq)(sentinelRef($, exports.LIKE_SENTINEL, [col, 'LIKE']), pattern);
+}
+/**
+ * `col ILIKE ?` (V0 R3, PG case-insensitive; on MySQL/SQLite v1 emits the raw `ILIKE` keyword —
+ * this reproduces v1 verbatim, not a portability rewrite). Encoded `eq($[@like][col][ILIKE], p)`.
+ */
+function whereILike($, col, pattern) {
+    return (0, behavior_contracts_1.eq)(sentinelRef($, exports.LIKE_SENTINEL, [col, 'ILIKE']), pattern);
+}
+/**
+ * `col <op> ?::type` (V0 R3, dialect-gated cast — `dbCast`). Encoded
+ * `eq($[@cast][col][type][op], value)`; the live compile drives v1 `dbCast(value, type, op)` so the
+ * PG `::type` cast (and the MySQL/SQLite no-cast) is byte-true. `op` defaults to `=`.
+ */
+function whereCast($, col, sqlType, value, op = '=') {
+    return (0, behavior_contracts_1.eq)(sentinelRef($, exports.CAST_SENTINEL, [col, sqlType, op]), value);
+}
+/**
+ * `col = fn(?)` (V0 R3, `dbDynamic`) — a function-call template with `?` placeholders bound to the
+ * value list. Encoded `eq($[@dynamic][col][template], values)`; drives v1 `dbDynamic(template, vals)`.
+ * `template` is the raw function SQL (e.g. `to_tsvector('en', ?)`).
+ */
+function whereDynamic($, col, template, values) {
+    return (0, behavior_contracts_1.eq)(sentinelRef($, exports.DYNAMIC_SENTINEL, [col, template]), values);
+}
+/**
+ * `col = <sql>` (V0 R3, `dbImmediate` — an inline SQL expression, NO bound param, e.g. `NOW()`).
+ * Encoded `eq($[@immediate][col][sql], null)`; drives v1 `dbImmediate(sql)`. No value-spec.
+ */
+function whereImmediate($, col, sql) {
+    return (0, behavior_contracts_1.eq)(sentinelRef($, exports.IMMEDIATE_SENTINEL, [col, sql]), null);
+}
+/**
+ * `(a, b, …) IN ((?, ?), …)` (V0 R3, `dbTupleIn` composite membership). Encoded
+ * `eq($[@tuple][a][b]…, tuples)` where `tuples` is an array-of-tuples value; drives v1
+ * `dbTupleIn(columns, tuples)`. `columns` is the tuple column list.
+ */
+function whereTupleIn($, columns, tuples) {
+    return (0, behavior_contracts_1.eq)(sentinelRef($, exports.TUPLE_SENTINEL, columns), tuples);
+}
+/**
+ * `lhs IN (SELECT …)` / `lhs NOT IN (SELECT …)` (V0 R2). The subquery is authored as a NESTED
+ * makeSQL Fragment carried in the param slot (spec §2 補足): `sub` is a `{ sql, params? }` where
+ * `sql` is the inner SELECT text (already dialect-tuned, v1-sourced) and `params` its bound
+ * value-specs. Encoded `eq($[@subquery][lhsCol][kw], sub)`; the live compile splices the inner
+ * `sql` into the v1 `DBSubquery`-shaped predicate `<lhs> <kw> (<sub.sql>)` and appends `sub.params`.
+ */
+function whereInSubquery($, lhs, sub, not = false) {
+    return (0, behavior_contracts_1.eq)(sentinelRef($, exports.SUBQUERY_SENTINEL, [lhs, not ? 'NOT IN' : 'IN']), sub);
+}
+/**
+ * `EXISTS (SELECT 1 …)` / `NOT EXISTS (…)` (V0 R2). Like {@link whereInSubquery}, the correlated
+ * subquery rides as a nested makeSQL Fragment in the param slot: `sub.sql` is the inner
+ * `SELECT 1 FROM … WHERE …` (correlation refs already rendered as literal column paths, v1-sourced).
+ * Encoded `eq($[@exists][kw], sub)`; the live compile emits `<kw> (<sub.sql>)` + `sub.params`.
+ */
+function whereExists($, sub, not = false) {
+    return (0, behavior_contracts_1.eq)(sentinelRef($, exports.EXISTS_SENTINEL, [not ? 'NOT EXISTS' : 'EXISTS']), sub);
 }
 //# sourceMappingURL=authoring-sql.js.map

package/dist/scp/authoring-sql.js.map

@@ -1 +1 @@
-{"version":3,"file":"authoring-sql.js","sourceRoot":"","sources":["../../src/scp/authoring-sql.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;;AASH,0BAEC;AAGD,0BAEC;AAGD,0BAEC;AAGD,0BAEC;AAGD,0BAEC;AAGD,0BAEC;AAGD,kCAEC;AASD,0BAEC;AAOD,4BAEC;AA3DD,2DAA2E;AAC3E,qCAAuC;AAKvC,kEAAkE;AAClE,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,4CAA4C;AAC5C,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,qBAAqB;AACrB,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,sBAAsB;AACtB,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,qBAAqB;AACrB,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,sBAAsB;AACtB,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,8FAA8F;AAC9F,SAAgB,WAAW,CAAC,GAAa;IACvC,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,IAAI,CAAwB,CAAC;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,SAAgB,QAAQ,CAAC,CAAW,EAAE,IAAY;IAChD,OAAQ,CAAyD,CAAC,oBAAW,CAAC,CAAC,IAAI,CAAC,CAAC;AACvF,CAAC"}
+{"version":3,"file":"authoring-sql.js","sourceRoot":"","sources":["../../src/scp/authoring-sql.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;;;AAmCH,0BAEC;AAGD,0BAEC;AAGD,0BAEC;AAGD,0BAEC;AAGD,0BAEC;AAGD,0BAEC;AAGD,kCAEC;AASD,0BAEC;AAOD,4BAEC;AASD,oCAEC;AAMD,8BAEC;AAMD,gCAEC;AAOD,8BAEC;AAOD,oCAEC;AAMD,wCAEC;AAOD,oCAEC;AASD,0CAOC;AAQD,kCAMC;AAjLD,2DAA2E;AAC3E,uCAAwC;AAKxC;;;;;;;;;GASG;AACU,QAAA,gBAAgB,GAAG,UAAU,CAAC;AAC9B,QAAA,aAAa,GAAG,OAAO,CAAC;AACxB,QAAA,aAAa,GAAG,OAAO,CAAC;AACxB,QAAA,gBAAgB,GAAG,UAAU,CAAC;AAC9B,QAAA,kBAAkB,GAAG,YAAY,CAAC;AAClC,QAAA,cAAc,GAAG,QAAQ,CAAC;AAC1B,QAAA,iBAAiB,GAAG,WAAW,CAAC;AAChC,QAAA,eAAe,GAAG,SAAS,CAAC;AAEzC,2FAA2F;AAC3F,SAAS,WAAW,CAAC,CAAW,EAAE,IAAY,EAAE,IAAuB;IACrE,IAAI,IAAI,GAAI,CAAwD,CAAC,IAAI,CAAC,CAAC;IAC3E,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,GAAI,IAAgC,CAAC,CAAC,CAA4B,CAAC;IAC7F,OAAO,IAA2B,CAAC;AACrC,CAAC;AAED,kEAAkE;AAClE,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,4CAA4C;AAC5C,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,qBAAqB;AACrB,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,sBAAsB;AACtB,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,qBAAqB;AACrB,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,sBAAsB;AACtB,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED,8FAA8F;AAC9F,SAAgB,WAAW,CAAC,GAAa;IACvC,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,IAAI,CAAwB,CAAC;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,OAAO,CAAC,GAAa,EAAE,KAAc;IACnD,OAAO,IAAA,uBAAE,EAAC,GAAG,EAAE,KAAK,CAAwB,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,SAAgB,QAAQ,CAAC,CAAW,EAAE,IAAY;IAChD,OAAQ,CAAyD,CAAC,qBAAW,CAAC,CAAC,IAAI,CAAC,CAAC;AACvF,CAAC;AAED,iGAAiG;AAEjG;;;;GAIG;AACH,SAAgB,YAAY,CAAC,CAAW,EAAE,GAAW,EAAE,EAAW,EAAE,EAAW;IAC7E,OAAO,IAAA,uBAAE,EAAC,WAAW,CAAC,CAAC,EAAE,wBAAgB,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAwB,CAAC;AACtF,CAAC;AAED;;;GAGG;AACH,SAAgB,SAAS,CAAC,CAAW,EAAE,GAAW,EAAE,OAAgB;IAClE,OAAO,IAAA,uBAAE,EAAC,WAAW,CAAC,CAAC,EAAE,qBAAa,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAwB,CAAC;AAC1F,CAAC;AAED;;;GAGG;AACH,SAAgB,UAAU,CAAC,CAAW,EAAE,GAAW,EAAE,OAAgB;IACnE,OAAO,IAAA,uBAAE,EAAC,WAAW,CAAC,CAAC,EAAE,qBAAa,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,OAAO,CAAwB,CAAC;AAC3F,CAAC;AAED;;;;GAIG;AACH,SAAgB,SAAS,CAAC,CAAW,EAAE,GAAW,EAAE,OAAe,EAAE,KAAc,EAAE,KAAa,GAAG;IACnG,OAAO,IAAA,uBAAE,EAAC,WAAW,CAAC,CAAC,EAAE,qBAAa,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,CAAwB,CAAC;AAC7F,CAAC;AAED;;;;GAIG;AACH,SAAgB,YAAY,CAAC,CAAW,EAAE,GAAW,EAAE,QAAgB,EAAE,MAAe;IACtF,OAAO,IAAA,uBAAE,EAAC,WAAW,CAAC,CAAC,EAAE,wBAAgB,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAwB,CAAC;AAC9F,CAAC;AAED;;;GAGG;AACH,SAAgB,cAAc,CAAC,CAAW,EAAE,GAAW,EAAE,GAAW;IAClE,OAAO,IAAA,uBAAE,EAAC,WAAW,CAAC,CAAC,EAAE,0BAAkB,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAwB,CAAC;AACzF,CAAC;AAED;;;;GAIG;AACH,SAAgB,YAAY,CAAC,CAAW,EAAE,OAA0B,EAAE,MAAe;IACnF,OAAO,IAAA,uBAAE,EAAC,WAAW,CAAC,CAAC,EAAE,sBAAc,EAAE,OAAO,CAAC,EAAE,MAAM,CAAwB,CAAC;AACpF,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,eAAe,CAC7B,CAAW,EACX,GAAW,EACX,GAAiD,EACjD,GAAG,GAAG,KAAK;IAEX,OAAO,IAAA,uBAAE,EAAC,WAAW,CAAC,CAAC,EAAE,yBAAiB,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAwB,CAAC;AACzG,CAAC;AAED;;;;;GAKG;AACH,SAAgB,WAAW,CACzB,CAAW,EACX,GAAiD,EACjD,GAAG,GAAG,KAAK;IAEX,OAAO,IAAA,uBAAE,EAAC,WAAW,CAAC,CAAC,EAAE,uBAAe,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAwB,CAAC;AAC1G,CAAC"}

package/dist/scp/catalog.d.ts

@@ -40,7 +40,7 @@ import { type Catalog, type CatalogEntry, type Component } from 'behavior-contra
  * fragment-tree component (`Fragment`), and the multi-statement transaction envelope
  * (`Tx`).
  */
-export type CatalogName = 'Select' | 'Insert' | 'Update' | 'Delete' | 'Fragment' | 'Tx';
+export type CatalogName = 'Select' | 'Count' | 'Insert' | 'Update' | 'Delete' | 'Fragment' | 'Tx';
 /**
  * litedbmodel's specific-component catalog (spec §11 item 1) — the behavior-contracts
  * `Catalog`-typed source of truth. Each entry declares the Port schema of one SQL

package/dist/scp/catalog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../src/scp/catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAA0B,KAAK,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,SAAS,EAAmB,MAAM,oBAAoB,CAAC;AAE9H;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GACnB,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,UAAU,GACV,IAAI,CAAC;AAmDT;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,OAmBjC,CAAC;AAEF,4EAA4E;AAC5E,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAEnE;AAED,uEAAuE;AACvE,eAAO,MAAM,aAAa,EAAE,SAAS,WAAW,EAO/C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,SAAS,WAAW,EAKrD,CAAC;AAIF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,SAAS,MAAM,EAGhD,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI,CA4BhF;AAGD,mFAAmF;AACnF,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,SAAS,CAAC;AAEjD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,SAAS,GAAG,cAAc,CAEzE"}
+{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../src/scp/catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAA0B,KAAK,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,SAAS,EAAmB,MAAM,oBAAoB,CAAC;AAE9H;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GACnB,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,UAAU,GACV,IAAI,CAAC;AAwET;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,OAwBjC,CAAC;AAEF,4EAA4E;AAC5E,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAEnE;AAED,uEAAuE;AACvE,eAAO,MAAM,aAAa,EAAE,SAAS,WAAW,EAQ/C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,SAAS,WAAW,EAKrD,CAAC;AAIF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,SAAS,MAAM,EAGhD,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI,CA4BhF;AAGD,mFAAmF;AACnF,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,SAAS,CAAC;AAEjD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,SAAS,GAAG,cAAc,CAEzE"}

package/dist/scp/catalog.js

@@ -60,6 +60,21 @@ const SELECT_PORTS = {
     limit: P('expr'),
     offset: P('expr'),
     group: P('string'),
+    // Additive read-tail/head ports (V0 R3/R4/R5/R6). SQL is v1-sourced from the matching
+    // `SelectDesc` fields via `compileSelect` (`_buildSelectSQL`), wired in `compileSelectNode`:
+    //  - `forUpdate` (R3): a literal `'true'` string toggles the ` FOR UPDATE` tail.
+    //  - `join`/`joinParams` (R5): a literal JOIN clause text (`JOIN t ON …`) + its bound
+    //    value-specs (`expr[]`), spliced after `FROM <t>` (v1 `_buildSelectSQL` JOIN position).
+    //  - `cte`/`cteParams` (R4): a WITH-CTE `{name, sql}` literal + its bound value-specs,
+    //    prefixed as `WITH <name> AS (<sql>) ` (v1 WITH-wrap). `cteParams` bind FIRST (v1 param
+    //    order: CTE → JOIN → WHERE).
+    //  - `append` (R6): a raw trailing clause text (e.g. `HAVING …`) appended verbatim.
+    forUpdate: P('string'),
+    join: P('string'),
+    joinParams: P('expr[]'),
+    cte: P('map'),
+    cteParams: P('expr[]'),
+    append: P('string'),
 };
 /**
  * The shared write-port surface for `Insert`/`Update`/`Delete`: `table` always;
@@ -74,6 +89,12 @@ const WRITE_PORTS = {
     returning: P('string'),
     onConflict: P('string'),
     onConflictAction: P('string'),
+    // PRIMARY KEY descriptor for the MySQL RETURNING emulation (INSERT…RETURNING): `pk` is a
+    // comma-separated PK column list, `autoInc` names the single AUTO_INCREMENT column (absent for a
+    // client-supplied PK). Consumed by compileWriteNode → mysqlPkHint so the emulation re-selects by
+    // the REAL PK. Inert on PG/SQLite (native RETURNING).
+    pk: P('string'),
+    autoInc: P('string'),
 };
 const entry = (name, inputPorts, shape, portableToIR) => ({
     name,
@@ -96,6 +117,11 @@ exports.LITEDBMODEL_CATALOG = {
     // Read: `items` (a Select root yields a row list; per-row collapse to `item` is the
     // consumer's cardinality concern, mirrored from graphddb Query's `cardinality` port).
     Select: entry('Select', { ...SELECT_PORTS, cardinality: P('string') }, 'items', true),
+    // COUNT(*) aggregate read (v1 `DBModel._count`): `SELECT COUNT(*) as count FROM t[ WHERE …]`.
+    // Only `table` (required) + the optional `where` fragment tree — v1's count carries no
+    // projection/order/limit/offset (it counts the filtered rows). Output is a one-row `[{count}]`
+    // list (the `items` shape, like every read); the consumer reads `count` — v1's `parseInt(count)`.
+    Count: entry('Count', { table: P('string', true), where: P('fragment') }, 'items', true),
     // Writes yield the RETURNING row list (`items`); a single-row write collapses at the
     // consumer boundary, same as reads.
     Insert: entry('Insert', WRITE_PORTS, 'items', true),
@@ -119,6 +145,7 @@ function catalogEntry(name) {
 /** The catalog names litedbmodel declares (the C2 per-DSL surface). */
 exports.CATALOG_NAMES = [
     'Select',
+    'Count',
     'Insert',
     'Update',
     'Delete',

package/dist/scp/catalog.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../src/scp/catalog.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;;;AAgGH,oCAEC;AAiDD,8DA4BC;AAYD,oDAEC;AA3LD,2DAA8H;AAgB9H,sFAAsF;AACtF,MAAM,CAAC,GAAG,CAAC,IAAY,EAAE,QAAe,EAAc,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAEpG;;;;;;;;;GASG;AACH,MAAM,YAAY,GAA+B;IAC/C,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC;IAC3B,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC;IACpB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC;IAClB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;IACjB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC;CACnB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,WAAW,GAA+B;IAC9C,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC;IACpB,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC;IACtB,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC;IACvB,gBAAgB,EAAE,CAAC,CAAC,QAAQ,CAAC;CAC9B,CAAC;AAEF,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAE,UAAsC,EAAE,KAAa,EAAE,YAAqB,EAAgB,EAAE,CAAC,CAAC;IAChI,IAAI;IACJ,UAAU;IACV,MAAM,EAAE,EAAE,KAAK,EAAE;IACjB,YAAY;IACZ,yEAAyE;IACzE,6EAA6E;IAC7E,wCAAwC;IACxC,eAAe,EAAE,IAAI;CACtB,CAAC,CAAC;AAEH;;;;;;GAMG;AACU,QAAA,mBAAmB,GAAY;IAC1C,oFAAoF;IACpF,sFAAsF;IACtF,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,GAAG,YAAY,EAAE,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC;IACrF,qFAAqF;IACrF,oCAAoC;IACpC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC;IACnD,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC;IACnD,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC;IACnD,mFAAmF;IACnF,iFAAiF;IACjF,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC;IACxE,uFAAuF;IACvF,sFAAsF;IACtF,oEAAoE;IACpE,EAAE,EAAE;QACF,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC;QAC/D,eAAe,EAAE,KAAK;KACvB;CACF,CAAC;AAEF,4EAA4E;AAC5E,SAAgB,YAAY,CAAC,IAAY;IACvC,OAAO,2BAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,uEAAuE;AAC1D,QAAA,aAAa,GAA2B;IACnD,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,UAAU;IACV,IAAI;CACL,CAAC;AAEF;;;;GAIG;AACU,QAAA,mBAAmB,GAA2B;IACzD,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,IAAI;CACL,CAAC;AAEF,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,2BAAmB,CAAC,CAAC;AAEpE;;;;GAIG;AACU,QAAA,mBAAmB,GAAsB;IACpD,SAAS;IACT,MAAM;CACP,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,SAAgB,yBAAyB,CAAC,UAAgC;IACxE,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACvB,IAAI,MAAM,IAAI,CAAC;gBAAE,SAAS;YAC1B,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,2BAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,iBAAiB,GAAG,CAAC,SAAS,8CAA8C,qBAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACpI,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;YACxB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzD,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBACzC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,SAAS,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;YACD,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACjD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,IAAI,QAAQ,CAAC,UAAU;oBAAE,SAAS;gBACvC,IAAI,WAAW,IAAI,2BAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC9E,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,SAAS,YAAY,CAAC,yEAAyE,CAAC,CAAC;YACvI,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,0CAA0C,IAAI,CAAC,MAAM,aAAa,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChJ,CAAC;AACH,CAAC;AAMD;;;;;GAKG;AACH,SAAgB,oBAAoB,CAAC,SAAoB;IACvD,OAAO,IAAA,2CAAsB,EAAC,SAAS,EAAE,2BAAmB,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;AACpG,CAAC"}
+{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../src/scp/catalog.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;;;AA2HH,oCAEC;AAkDD,8DA4BC;AAYD,oDAEC;AAvND,2DAA8H;AAiB9H,sFAAsF;AACtF,MAAM,CAAC,GAAG,CAAC,IAAY,EAAE,QAAe,EAAc,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAEpG;;;;;;;;;GASG;AACH,MAAM,YAAY,GAA+B;IAC/C,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC;IAC3B,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC;IACpB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC;IAClB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;IACjB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC;IAClB,sFAAsF;IACtF,6FAA6F;IAC7F,iFAAiF;IACjF,sFAAsF;IACtF,4FAA4F;IAC5F,uFAAuF;IACvF,4FAA4F;IAC5F,iCAAiC;IACjC,oFAAoF;IACpF,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC;IACjB,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC;IACvB,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC;IACb,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC;IACtB,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC;CACpB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,WAAW,GAA+B;IAC9C,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC;IACpB,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC;IACtB,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC;IACvB,gBAAgB,EAAE,CAAC,CAAC,QAAQ,CAAC;IAC7B,yFAAyF;IACzF,iGAAiG;IACjG,iGAAiG;IACjG,sDAAsD;IACtD,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC;IACf,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC;CACrB,CAAC;AAEF,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAE,UAAsC,EAAE,KAAa,EAAE,YAAqB,EAAgB,EAAE,CAAC,CAAC;IAChI,IAAI;IACJ,UAAU;IACV,MAAM,EAAE,EAAE,KAAK,EAAE;IACjB,YAAY;IACZ,yEAAyE;IACzE,6EAA6E;IAC7E,wCAAwC;IACxC,eAAe,EAAE,IAAI;CACtB,CAAC,CAAC;AAEH;;;;;;GAMG;AACU,QAAA,mBAAmB,GAAY;IAC1C,oFAAoF;IACpF,sFAAsF;IACtF,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,GAAG,YAAY,EAAE,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC;IACrF,8FAA8F;IAC9F,uFAAuF;IACvF,+FAA+F;IAC/F,kGAAkG;IAClG,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC;IACxF,qFAAqF;IACrF,oCAAoC;IACpC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC;IACnD,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC;IACnD,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC;IACnD,mFAAmF;IACnF,iFAAiF;IACjF,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC;IACxE,uFAAuF;IACvF,sFAAsF;IACtF,oEAAoE;IACpE,EAAE,EAAE;QACF,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC;QAC/D,eAAe,EAAE,KAAK;KACvB;CACF,CAAC;AAEF,4EAA4E;AAC5E,SAAgB,YAAY,CAAC,IAAY;IACvC,OAAO,2BAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,uEAAuE;AAC1D,QAAA,aAAa,GAA2B;IACnD,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,UAAU;IACV,IAAI;CACL,CAAC;AAEF;;;;GAIG;AACU,QAAA,mBAAmB,GAA2B;IACzD,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,IAAI;CACL,CAAC;AAEF,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,2BAAmB,CAAC,CAAC;AAEpE;;;;GAIG;AACU,QAAA,mBAAmB,GAAsB;IACpD,SAAS;IACT,MAAM;CACP,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,SAAgB,yBAAyB,CAAC,UAAgC;IACxE,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACvB,IAAI,MAAM,IAAI,CAAC;gBAAE,SAAS;YAC1B,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,2BAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,iBAAiB,GAAG,CAAC,SAAS,8CAA8C,qBAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACpI,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;YACxB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzD,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBACzC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,SAAS,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;YACD,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACjD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,IAAI,QAAQ,CAAC,UAAU;oBAAE,SAAS;gBACvC,IAAI,WAAW,IAAI,2BAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC9E,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,SAAS,YAAY,CAAC,yEAAyE,CAAC,CAAC;YACvI,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,0CAA0C,IAAI,CAAC,MAAM,aAAa,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChJ,CAAC;AACH,CAAC;AAMD;;;;;GAKG;AACH,SAAgB,oBAAoB,CAAC,SAAoB;IACvD,OAAO,IAAA,2CAAsB,EAAC,SAAS,EAAE,2BAAmB,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;AACpG,CAAC"}

package/dist/scp/codegen.d.ts

@@ -1,74 +1,57 @@
 /**
- * litedbmodel v2 SCP — mode-3 codegen (WS7f, #35; spec §9 exec-mode 3 / §10 / §11).
+ * litedbmodel v2 SCP — mode-3 codegen (WS7f, #35; spec §9 exec-mode 3 / §10 / §11; makeSQL flip,
+ * epic #43/#45 Phase B).
  *
- * The static-codegen execution mode ("Codegen・静的（全言語）— IR → 各言語ソース生成
- * runtime≈0, 入力は可搬IRのみ, bc#13 共有 generator に SQL catalog を供給" — spec §9). It
- * takes a §8 {@link SqlBundle} (already Backend-Compiled TS-side, WS1↔WS3) and, per target
- * language, emits:
+ * The static-codegen execution mode ("Codegen・静的（全言語）— IR → 各言語ソース生成 runtime≈0,
+ * 入力は可搬IRのみ, bc#13 共有 generator に SQL catalog を供給" — spec §9). It takes a §8 STATIC
+ * makeSQL {@link SqlBundle} and, per target language, emits:
  *
- *  1. **Behavior module** — bc's SHARED generator (`generateModule`, bc#13) run over the
- *     bundle's SURROGATE component wrapped as a portable {@link ComponentGraphIR}. The generator
- *     bakes that IR as a language-native LITERAL (no runtime JSON parse) and emits a `bind(handlers)`
- *     accessor that delegates to the EXISTING runtime-core `runBehavior`. litedbmodel writes NO
- *     execution logic here — codegen is upstream-owned (bc), we only SUPPLY the input.
- *  2. **SQL catalog companion** — a pure-JSON sidecar carrying the litedbmodel-specific bundle
- *     fields that are OUTSIDE bc's portable-IR vocabulary (`operations` / `dialect` /
- *     `optionalHeads` / `relations` / `transaction`). This is the "SQL catalog supplied to the
- *     shared generator" (§9): a codegen consumer's thin SQL-handler layer reads it to render →
- *     execute, exactly as the mode-2 thin-runtime handler does. It is byte-identical to the bundle
- *     minus the (now baked-as-literal) `component`/`irVersion`/`exprVersion`.
+ *  1. **Behavior module** — bc's SHARED generator (`generateModule`, bc#13) run over the bundle's
+ *     portable IR (a read bundle's surrogate `ComponentGraphIR`, or the `makeSQL` component IR for
+ *     a write), baked as a language-native LITERAL with a `bind(handlers)` accessor delegating to
+ *     `runBehavior`. litedbmodel writes NO execution logic here — codegen is upstream-owned (bc).
+ *  2. **SQL catalog companion** — the pure-JSON STATIC makeSQL catalog (per-node statement
+ *     templates / relations / transaction). A codegen consumer's thin SQL layer reads it to
+ *     evaluate skip + value-specs → assemble → render → execute (identically to the mode-2 runtime).
  *
- * ## Why this is byte-identical to the thin-runtime (mode-2), by construction
+ * ## Byte-identical to the thin-runtime (mode-2), by construction
  *
- * The mode-2 thin-runtime ({@link executeBundle}) computes
- * `runBehavior({components:[bundle.component]}, buildHandlers(db, operations, dialect),
- * normalizeInput(...), name)`. The generated module bakes `IR === bundle.component` (proven by
- * the FNV-1a fingerprint the generator embeds and re-checks at load) and its `bind(handlers)`
- * calls the SAME `runBehavior(IR, handlers, input, name)`. So when a codegen runtime pairs the
- * generated `bind` with the SAME {@link buildHandlers} + {@link normalizeInput} (from the SQL
- * catalog companion), it drives the identical core over the identical IR and handlers — the SQL
- * text (all dialects) and the results are identical, NOT approximately equal. The TS leg PROVES
- * this by executing the generated module and asserting exact equality vs `executeBundle` AND vs
- * the frozen conformance vector (see `codegenExecuteBundleForTest`).
- *
- * ## Language support (bc#13 capability — the honest scope boundary)
- *
- * bc's shared generator registers emitters for FIVE languages
- * ({@link CODEGEN_LANGUAGES}); Go IS among them (bc#13 SP2 `emit-go.ts`). So litedbmodel mode-3
- * codegen covers all five — TS/Python/Go/Rust/PHP. If a future litedbmodel construct needed an
- * emitter bc does not provide, the honest move is to ESCALATE to bc (bc#22 pattern), never to
- * fork a parallel litedbmodel-local generator (that would defeat the "codegen は上流所有" design).
+ * The companion IS the bundle, so a codegen runtime that evaluates it drives the IDENTICAL
+ * static-makeSQL render/execute path {@link executeBundle} uses — SQL text (all dialects) and
+ * results are identical, not approximately equal. The TS leg PROVES this by executing via the
+ * artifact and asserting exact equality vs {@link executeBundle} (see {@link codegenExecuteBundleForTest}).
  */
 import { type ComponentGraphIR, type GeneratedModule, type Scope, type Value } from 'behavior-contracts';
 import type { SqlBundle, SqliteDb } from './runtime';
-import { type DialectName } from './dialect';
-import type { CompiledOperation } from './ir';
+import type { DialectName } from './dialect';
 import type { RelationOp } from './relation';
-import type { TransactionPlan } from './write-plan';
+import type { ReadGraph } from './makesql/static-bundle';
+import type { TransactionPlan } from './makesql/tx';
 /**
  * The languages litedbmodel mode-3 codegen supports — exactly the set bc's shared generator
- * registers (bc#13 SP1 typescript/python + SP2 go/rust/php). This is a FIXED capability the
- * generator advertises via `registeredLanguages()`; {@link assertLanguageSupported} verifies the
- * requested language against the LIVE registry so a bc capability change is caught loudly rather
- * than silently drifting from this constant.
+ * registers (bc#13 SP1 typescript/python + SP2 go/rust/php). {@link assertLanguageSupported}
+ * verifies against the LIVE registry so a bc capability drift is caught loudly.
  */
 export declare const CODEGEN_LANGUAGES: readonly ["typescript", "python", "go", "rust", "php"];
 export type CodegenLanguage = (typeof CODEGEN_LANGUAGES)[number];
 /**
- * The SQL catalog companion (spec §9 — the "SQL catalog supplied to the shared generator"): the
- * litedbmodel-specific §8 bundle fields that live OUTSIDE bc's portable-IR vocabulary and so are
- * NOT baked into the generated behavior module. A codegen consumer's thin SQL-handler layer reads
- * this sidecar to render → bind → execute (identically to the mode-2 handler). Pure JSON —
- * round-trips losslessly (proven by the codegen conformance leg).
+ * The SQL catalog companion (spec §9): the STATIC makeSQL bundle fields the codegen consumer's
+ * thin SQL layer reads to evaluate + render + execute. Pure JSON — round-trips losslessly.
  */
 export interface SqlCatalogCompanion {
-    /** Backend-Compiled SQL IR per catalog node id (§8) — `sql` + fragment tree + closed-set params. */
-    readonly operations: Record<string, CompiledOperation>;
     /** Target SQL dialect (`sqlite`/`postgres`/`mysql`) — compiled once, TS-side (spec §10). */
     readonly dialect: DialectName;
+    /** READ bundles: the portable read graph (surrogate IR + per-node makeSQL statements). */
+    readonly readGraph?: ReadGraph;
+    /** WRITE bundles: the single base-write makeSQL statement template. */
+    readonly statement?: {
+        readonly sql: string;
+        readonly params: readonly unknown[];
+        readonly skip?: unknown;
+    };
     /** Input heads normalized to present-as-null (absent-key SKIP) — mirrors the bundle. */
     readonly optionalHeads: readonly string[];
-    /** Pre-compiled read-relation batch ops (spec §5/§8), keyed by relation name. */
+    /** Pre-compiled STATIC read-relation batch ops (spec §5/§8), keyed by relation name. */
     readonly relations: Record<string, RelationOp>;
     /** Derived gate-first write-time-relations transaction plan (spec §6/§8), for a Command bundle. */
     readonly transaction?: TransactionPlan;
@@ -79,53 +62,34 @@ export interface CodegenArtifact {
     readonly language: CodegenLanguage;
     /** The generated behavior module (bc's shared generator output — IR baked as a native literal). */
     readonly module: GeneratedModule;
-    /** The SQL catalog companion sidecar (the litedbmodel-specific execution catalog). */
+    /** The SQL catalog companion sidecar (the STATIC makeSQL execution catalog). */
     readonly companion: SqlCatalogCompanion;
-    /**
-     * The portable IR that WAS baked into {@link module} (the surrogate component + envelope). Kept
-     * on the artifact so the in-process TS equivalence check drives the IDENTICAL IR the emitted
-     * source embeds — the generator's fingerprint (checked at the emitted module's load) proves the
-     * baked literal equals this object.
-     */
+    /** The portable IR baked into {@link module}. */
     readonly ir: ComponentGraphIR;
+    /** The originating bundle (so the equivalence leg re-executes the SAME static bundle). */
+    readonly bundle: SqlBundle;
 }
 /**
- * The portable {@link ComponentGraphIR} view of a §8 bundle: the surrogate component (wiring /
- * plan / output / `__scope` ports only — every SQL-structural port already collapsed to portable
- * Expression IR TS-side) wrapped with the bundle's IR envelope. This is EXACTLY the IR
- * {@link executeBundle} feeds `runBehavior`, so baking it is what makes codegen equivalent.
+ * The portable {@link ComponentGraphIR} view of a §8 bundle: a read bundle's surrogate IR (each
+ * SQL node → a `makeSQL` node), or the single `makeSQL` component IR for a write. Baking THIS is
+ * what makes the generated module a genuine bc artifact; the static SQL catalog rides the companion.
  */
 export declare function bundleToPortableIR(bundle: SqlBundle): ComponentGraphIR;
 /**
- * Assert the requested language is one bc's shared generator can actually emit — checked against
- * the LIVE generator registry, not just the {@link CODEGEN_LANGUAGES} constant, so a bc capability
- * drift (an emitter removed/renamed upstream) fails LOUDLY here instead of surfacing as a broken
- * generated module. `generateModule` itself also fail-closes on an unknown language; this is the
- * earlier, litedbmodel-scoped guard with the honest "bc supports X" message.
+ * Assert the requested language is one bc's shared generator can emit — checked against the LIVE
+ * registry, not just the {@link CODEGEN_LANGUAGES} constant, so a bc capability drift fails LOUDLY.
  */
 export declare function assertLanguageSupported(language: string, registered: readonly string[]): asserts language is CodegenLanguage;
 /**
  * Generate the mode-3 codegen artifact for ONE §8 bundle in ONE target language: bc's SHARED
- * generator bakes the surrogate IR literal + emits `bind(handlers)`, and we attach the SQL catalog
+ * generator bakes the IR literal + emits `bind(handlers)`, and we attach the STATIC SQL catalog
  * companion. litedbmodel supplies the input (IR + catalog); bc owns the emitter.
- *
- * @param registeredLanguages the live `registeredLanguages()` from bc (injected so the guard sees
- *   the actual generator capability; the caller passes `bc.registeredLanguages()`).
- * @param runtimeImport optional runtime-core import specifier override (test/vendored layouts);
- *   forwarded verbatim to the generator so the generated code stays deterministic.
  */
 export declare function generateCodegenArtifact(bundle: SqlBundle, language: string, registeredLanguages: readonly string[], runtimeImport?: string): CodegenArtifact;
 /**
- * The TS codegen EXECUTION path used to PROVE byte-identity: reconstruct the exact call the
- * generated TS module's `bind(handlers)` makes — `runBehavior(IR, handlers, normalizedInput,
- * name)` — where `IR` is the baked portable IR and `handlers` are the SAME SQL handlers the SQL
- * catalog companion drives ({@link buildHandlers}). Executing this and comparing to
- * {@link executeBundle} is a REAL byte-identity check on the codegen path (the generated TS module
- * is separately IMPORTED and run in the conformance leg to prove the emitted source itself agrees).
- *
- * This mirrors {@link executeBundle} field-for-field, but drives the components/handlers via the
- * codegen ARTIFACT (baked IR + companion) rather than the raw bundle — so a divergence between the
- * codegen artifact and the bundle would surface as a mismatch.
+ * The TS codegen EXECUTION path used to PROVE byte-identity: a codegen runtime reads the SQL
+ * catalog companion (the STATIC makeSQL bundle) and evaluates skip + value-specs → assemble →
+ * render → execute — which is EXACTLY {@link executeBundle} over the SAME bundle.
  */
 export declare function codegenExecuteBundleForTest(artifact: CodegenArtifact, input: Scope, db: SqliteDb): Value;
 //# sourceMappingURL=codegen.d.ts.map

package/dist/scp/codegen.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"codegen.d.ts","sourceRoot":"","sources":["../../src/scp/codegen.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,EAAkB,KAAK,gBAAgB,EAAE,KAAK,eAAe,EAAE,KAAK,KAAK,EAAE,KAAK,KAAK,EAAE,MAAM,oBAAoB,CAAC;AACzH,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGrD,OAAO,EAAc,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,MAAM,CAAC;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEpD;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,wDAAyD,CAAC;AACxF,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEjE;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IAClC,oGAAoG;IACpG,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACvD,4FAA4F;IAC5F,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,wFAAwF;IACxF,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,iFAAiF;IACjF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC/C,mGAAmG;IACnG,QAAQ,CAAC,WAAW,CAAC,EAAE,eAAe,CAAC;CACxC;AAED,+DAA+D;AAC/D,MAAM,WAAW,eAAe;IAC9B,2BAA2B;IAC3B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,mGAAmG;IACnG,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,sFAAsF;IACtF,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,EAAE,gBAAgB,CAAC;CAC/B;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,SAAS,GAAG,gBAAgB,CAMtE;AAaD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAa5H;AAED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,SAAS,EACjB,QAAQ,EAAE,MAAM,EAChB,mBAAmB,EAAE,SAAS,MAAM,EAAE,EACtC,aAAa,CAAC,EAAE,MAAM,GACrB,eAAe,CAKjB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,GAAG,KAAK,CAOxG"}
+{"version":3,"file":"codegen.d.ts","sourceRoot":"","sources":["../../src/scp/codegen.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAkB,KAAK,gBAAgB,EAAE,KAAK,eAAe,EAAE,KAAK,KAAK,EAAE,KAAK,KAAK,EAAE,MAAM,oBAAoB,CAAC;AACzH,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEpD;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,wDAAyD,CAAC;AACxF,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEjE;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,4FAA4F;IAC5F,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,0FAA0F;IAC1F,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,uEAAuE;IACvE,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;IAC5G,wFAAwF;IACxF,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,wFAAwF;IACxF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC/C,mGAAmG;IACnG,QAAQ,CAAC,WAAW,CAAC,EAAE,eAAe,CAAC;CACxC;AAED,+DAA+D;AAC/D,MAAM,WAAW,eAAe;IAC9B,2BAA2B;IAC3B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,mGAAmG;IACnG,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,gFAAgF;IAChF,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC,iDAAiD;IACjD,QAAQ,CAAC,EAAE,EAAE,gBAAgB,CAAC;IAC9B,0FAA0F;IAC1F,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;CAC5B;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,SAAS,GAAG,gBAAgB,CAGtE;AAcD;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAa5H;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,SAAS,EACjB,QAAQ,EAAE,MAAM,EAChB,mBAAmB,EAAE,SAAS,MAAM,EAAE,EACtC,aAAa,CAAC,EAAE,MAAM,GACrB,eAAe,CAKjB;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,GAAG,KAAK,CAExG"}