litedbmodel 2.2.2 → 2.2.4

package/dist/scp/makesql/index.js

@@ -10,8 +10,8 @@
  * catalog leaf + handler + compile. Pure-JSON bundle, multi-language ready.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.countingDriver = exports.executeTransactionAsync = exports.executeTransaction = exports.literalize = exports.deriveBatchPlan = exports.deriveTransactionPlan = exports.rowsHaveDbToken = exports.mysqlJsonTableColumn = exports.sqliteUpdateManyJson = exports.mysqlUpdateManyJson = exports.sqliteInsertJson = exports.mysqlInsertJson = exports.conditionsFor = exports.JsonArrayConditions = exports.encodeJsonArrayParam = exports.inListPredicate = exports.inListJson = exports.compileCompositeKeyStaticLimited = exports.compileCompositeKeyLimited = exports.compileCompositeKeyStaticUnlimited = exports.compileCompositeKeyUnlimited = exports.compileSingleKeyLimited = exports.compileSingleKeyUnlimited = exports.PG_ARRAY_CAST_TOKEN = exports.resolvePgArrayCast = exports.inferPgArrayType = exports.compileDeleteMany = exports.compileDelete = exports.compileUpdateSingle = exports.compileUpdateMany = exports.compileInsertMany = exports.compileInsert = exports.builderFor = exports.compileSelect = exports.noCastFormatter = exports.pgCastFormatter = exports.formatterFor = exports.andTrailing = exports.whereClause = exports.compileWhere = exports.makeSqlHandlerSync = exports.makeSqlHandler = exports.renderPorts = exports.renderPlaceholders = exports.composeMakeSQL = exports.assembleMakeSQL = exports.isMakeSQL = exports.LITEDBMODEL_MAKESQL_CATALOG = exports.makeSqlCatalogEntry = exports.MAKESQL = void 0;
-exports.mysqlPoolFactory = exports.pgPoolFactory = exports.mysqlConnectionPool = exports.pgConnectionPool = exports.mysqlDeboxPoolOptions = exports.configurePgDeboxTypeParsers = exports.bindReselect = exports.buildMysqlReselect = exports.stripMysqlPkHint = exports.mysqlPkHint = exports.IN_SENTINEL = exports.pgTypeSpecimen = exports.compileWriteNode = exports.renderTxStatement = void 0;
+exports.pgTypeSpecimen = exports.compileWriteNode = exports.renderTxStatement = exports.executeTransactionAsync = exports.literalize = exports.deriveBatchPlan = exports.rowsHaveDbToken = exports.mysqlJsonTableColumn = exports.sqliteUpdateManyJson = exports.mysqlUpdateManyJson = exports.sqliteInsertJson = exports.mysqlInsertJson = exports.conditionsFor = exports.JsonArrayConditions = exports.encodeJsonArrayParam = exports.inListPredicate = exports.inListJson = exports.compileCompositeKeyStaticLimited = exports.compileCompositeKeyLimited = exports.compileCompositeKeyStaticUnlimited = exports.compileCompositeKeyUnlimited = exports.compileSingleKeyLimited = exports.compileSingleKeyUnlimited = exports.PG_ARRAY_CAST_TOKEN = exports.resolvePgArrayCast = exports.inferPgArrayType = exports.compileDeleteMany = exports.compileDelete = exports.compileUpdateSingle = exports.compileUpdateMany = exports.compileInsertMany = exports.compileInsert = exports.builderFor = exports.compileSelect = exports.noCastFormatter = exports.pgCastFormatter = exports.formatterFor = exports.andTrailing = exports.whereClause = exports.compileWhere = exports.makeSqlHandlerSync = exports.makeSqlHandler = exports.renderPorts = exports.renderPlaceholders = exports.composeMakeSQL = exports.assembleMakeSQL = exports.isMakeSQL = exports.LITEDBMODEL_MAKESQL_CATALOG = exports.makeSqlCatalogEntry = exports.MAKESQL = void 0;
+exports.mysqlPoolFactory = exports.pgPoolFactory = exports.mysqlConnectionPool = exports.pgConnectionPool = exports.mysqlDeboxPoolOptions = exports.configurePgDeboxTypeParsers = exports.bindReselect = exports.buildMysqlReselect = exports.stripMysqlPkHint = exports.mysqlPkHint = exports.IN_SENTINEL = exports.ENTITY_ROOT = void 0;
 // Catalog leaf + assembly core.
 var makesql_1 = require("./makesql");
 Object.defineProperty(exports, "MAKESQL", { enumerable: true, get: function () { return makesql_1.MAKESQL; } });
@@ -72,17 +72,15 @@ Object.defineProperty(exports, "mysqlUpdateManyJson", { enumerable: true, get: f
 Object.defineProperty(exports, "sqliteUpdateManyJson", { enumerable: true, get: function () { return json_batch_1.sqliteUpdateManyJson; } });
 Object.defineProperty(exports, "mysqlJsonTableColumn", { enumerable: true, get: function () { return json_batch_1.mysqlJsonTableColumn; } });
 Object.defineProperty(exports, "rowsHaveDbToken", { enumerable: true, get: function () { return json_batch_1.rowsHaveDbToken; } });
-// Write-time relations → makeSQL transaction plan + 1-tx runtime (epic #43/#45 Phase B).
+// Write descriptor → makeSQL statement, batch plan derivation, and the live async 1-tx runtime.
 var tx_1 = require("./tx");
-Object.defineProperty(exports, "deriveTransactionPlan", { enumerable: true, get: function () { return tx_1.deriveTransactionPlan; } });
 Object.defineProperty(exports, "deriveBatchPlan", { enumerable: true, get: function () { return tx_1.deriveBatchPlan; } });
 Object.defineProperty(exports, "literalize", { enumerable: true, get: function () { return tx_1.literalize; } });
-Object.defineProperty(exports, "executeTransaction", { enumerable: true, get: function () { return tx_1.executeTransaction; } });
 Object.defineProperty(exports, "executeTransactionAsync", { enumerable: true, get: function () { return tx_1.executeTransactionAsync; } });
-Object.defineProperty(exports, "countingDriver", { enumerable: true, get: function () { return tx_1.countingDriver; } });
 Object.defineProperty(exports, "renderTxStatement", { enumerable: true, get: function () { return tx_1.renderTxStatement; } });
 Object.defineProperty(exports, "compileWriteNode", { enumerable: true, get: function () { return tx_1.compileWriteNode; } });
 Object.defineProperty(exports, "pgTypeSpecimen", { enumerable: true, get: function () { return tx_1.pgTypeSpecimen; } });
+Object.defineProperty(exports, "ENTITY_ROOT", { enumerable: true, get: function () { return tx_1.ENTITY_ROOT; } });
 Object.defineProperty(exports, "IN_SENTINEL", { enumerable: true, get: function () { return tx_1.IN_SENTINEL; } });
 // MySQL has no RETURNING: the pk-hint format + the write→re-select derivation the mysql connection
 // adapter (and the 4 native driver ports) share. ONE home for "MySQL cannot RETURN rows".

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/scp/makesql/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;AAEH,gCAAgC;AAChC,qCAOmB;AANjB,kGAAA,OAAO,OAAA;AACP,8GAAA,mBAAmB,OAAA;AACnB,sHAAA,2BAA2B,OAAA;AAC3B,oGAAA,SAAS,OAAA;AACT,0GAAA,eAAe,OAAA;AACf,yGAAA,cAAc,OAAA;AAIhB,wCAAwC;AACxC,qCAKmB;AAJjB,6GAAA,kBAAkB,OAAA;AAClB,sGAAA,WAAW,OAAA;AACX,yGAAA,cAAc,OAAA;AACd,6GAAA,kBAAkB,OAAA;AAIpB,yCAAyC;AACzC,qCAOmB;AANjB,uGAAA,YAAY,OAAA;AACZ,sGAAA,WAAW,OAAA;AACX,sGAAA,WAAW,OAAA;AACX,uGAAA,YAAY,OAAA;AACZ,0GAAA,eAAe,OAAA;AACf,0GAAA,eAAe,OAAA;AAGjB,yBAAyB;AACzB,mDAAiD;AAAxC,+GAAA,aAAa,OAAA;AAGtB,kBAAkB;AAClB,+CAQwB;AAPtB,0GAAA,UAAU,OAAA;AACV,6GAAA,aAAa,OAAA;AACb,iHAAA,iBAAiB,OAAA;AACjB,iHAAA,iBAAiB,OAAA;AACjB,mHAAA,mBAAmB,OAAA;AACnB,6GAAA,aAAa,OAAA;AACb,iHAAA,iBAAiB,OAAA;AAInB,uBAAuB;AACvB,uDAU4B;AAT1B,oHAAA,gBAAgB,OAAA;AAChB,sHAAA,kBAAkB,OAAA;AAClB,uHAAA,mBAAmB,OAAA;AACnB,6HAAA,yBAAyB,OAAA;AACzB,2HAAA,uBAAuB,OAAA;AACvB,gIAAA,4BAA4B,OAAA;AAC5B,sIAAA,kCAAkC,OAAA;AAClC,8HAAA,0BAA0B,OAAA;AAC1B,oIAAA,gCAAgC,OAAA;AAIlC,gFAAgF;AAChF,wFAAwF;AACxF,2CAAqH;AAA5G,wGAAA,UAAU,OAAA;AAAE,6GAAA,eAAe,OAAA;AAAE,kHAAA,oBAAoB,OAAA;AAAE,iHAAA,mBAAmB,OAAA;AAAE,2GAAA,aAAa,OAAA;AAC9F,2CAOsB;AANpB,6GAAA,eAAe,OAAA;AACf,8GAAA,gBAAgB,OAAA;AAChB,iHAAA,mBAAmB,OAAA;AACnB,kHAAA,oBAAoB,OAAA;AACpB,kHAAA,oBAAoB,OAAA;AACpB,6GAAA,eAAe,OAAA;AAGjB,yFAAyF;AACzF,2BAWc;AAVZ,2GAAA,qBAAqB,OAAA;AACrB,qGAAA,eAAe,OAAA;AACf,gGAAA,UAAU,OAAA;AACV,wGAAA,kBAAkB,OAAA;AAClB,6GAAA,uBAAuB,OAAA;AACvB,oGAAA,cAAc,OAAA;AACd,uGAAA,iBAAiB,OAAA;AACjB,sGAAA,gBAAgB,OAAA;AAChB,oGAAA,cAAc,OAAA;AACd,iGAAA,WAAW,OAAA;AAGb,mGAAmG;AACnG,0FAA0F;AAC1F,qDAAoG;AAA3F,8GAAA,WAAW,OAAA;AAAE,mHAAA,gBAAgB,OAAA;AAAE,qHAAA,kBAAkB,OAAA;AAAE,+GAAA,YAAY,OAAA;AAiBxE,mGAAmG;AACnG,oDAAoD;AACpD,iDAA6J;AAApJ,4HAAA,2BAA2B,OAAA;AAAE,sHAAA,qBAAqB,OAAA;AAAE,iHAAA,gBAAgB,OAAA;AAAE,oHAAA,mBAAmB,OAAA;AAAE,8GAAA,aAAa,OAAA;AAAE,iHAAA,gBAAgB,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/scp/makesql/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;AAEH,gCAAgC;AAChC,qCAOmB;AANjB,kGAAA,OAAO,OAAA;AACP,8GAAA,mBAAmB,OAAA;AACnB,sHAAA,2BAA2B,OAAA;AAC3B,oGAAA,SAAS,OAAA;AACT,0GAAA,eAAe,OAAA;AACf,yGAAA,cAAc,OAAA;AAIhB,wCAAwC;AACxC,qCAKmB;AAJjB,6GAAA,kBAAkB,OAAA;AAClB,sGAAA,WAAW,OAAA;AACX,yGAAA,cAAc,OAAA;AACd,6GAAA,kBAAkB,OAAA;AAIpB,yCAAyC;AACzC,qCAOmB;AANjB,uGAAA,YAAY,OAAA;AACZ,sGAAA,WAAW,OAAA;AACX,sGAAA,WAAW,OAAA;AACX,uGAAA,YAAY,OAAA;AACZ,0GAAA,eAAe,OAAA;AACf,0GAAA,eAAe,OAAA;AAGjB,yBAAyB;AACzB,mDAAiD;AAAxC,+GAAA,aAAa,OAAA;AAGtB,kBAAkB;AAClB,+CAQwB;AAPtB,0GAAA,UAAU,OAAA;AACV,6GAAA,aAAa,OAAA;AACb,iHAAA,iBAAiB,OAAA;AACjB,iHAAA,iBAAiB,OAAA;AACjB,mHAAA,mBAAmB,OAAA;AACnB,6GAAA,aAAa,OAAA;AACb,iHAAA,iBAAiB,OAAA;AAInB,uBAAuB;AACvB,uDAU4B;AAT1B,oHAAA,gBAAgB,OAAA;AAChB,sHAAA,kBAAkB,OAAA;AAClB,uHAAA,mBAAmB,OAAA;AACnB,6HAAA,yBAAyB,OAAA;AACzB,2HAAA,uBAAuB,OAAA;AACvB,gIAAA,4BAA4B,OAAA;AAC5B,sIAAA,kCAAkC,OAAA;AAClC,8HAAA,0BAA0B,OAAA;AAC1B,oIAAA,gCAAgC,OAAA;AAIlC,gFAAgF;AAChF,wFAAwF;AACxF,2CAAqH;AAA5G,wGAAA,UAAU,OAAA;AAAE,6GAAA,eAAe,OAAA;AAAE,kHAAA,oBAAoB,OAAA;AAAE,iHAAA,mBAAmB,OAAA;AAAE,2GAAA,aAAa,OAAA;AAC9F,2CAOsB;AANpB,6GAAA,eAAe,OAAA;AACf,8GAAA,gBAAgB,OAAA;AAChB,iHAAA,mBAAmB,OAAA;AACnB,kHAAA,oBAAoB,OAAA;AACpB,kHAAA,oBAAoB,OAAA;AACpB,6GAAA,eAAe,OAAA;AAGjB,gGAAgG;AAChG,2BASc;AARZ,qGAAA,eAAe,OAAA;AACf,gGAAA,UAAU,OAAA;AACV,6GAAA,uBAAuB,OAAA;AACvB,uGAAA,iBAAiB,OAAA;AACjB,sGAAA,gBAAgB,OAAA;AAChB,oGAAA,cAAc,OAAA;AACd,iGAAA,WAAW,OAAA;AACX,iGAAA,WAAW,OAAA;AAGb,mGAAmG;AACnG,0FAA0F;AAC1F,qDAAoG;AAA3F,8GAAA,WAAW,OAAA;AAAE,mHAAA,gBAAgB,OAAA;AAAE,qHAAA,kBAAkB,OAAA;AAAE,+GAAA,YAAY,OAAA;AAaxE,mGAAmG;AACnG,oDAAoD;AACpD,iDAA6J;AAApJ,4HAAA,2BAA2B,OAAA;AAAE,sHAAA,qBAAqB,OAAA;AAAE,iHAAA,gBAAgB,OAAA;AAAE,oHAAA,mBAAmB,OAAA;AAAE,8GAAA,aAAa,OAAA;AAAE,iHAAA,gBAAgB,OAAA"}

package/dist/scp/makesql/tx.d.ts

@@ -1,42 +1,31 @@
 /**
- * litedbmodel v2 SCP — write-time relations → ordered SQL transaction plan, re-expressed on
- * the `makeSQL` model (epic #43/#45 Phase B; spec §6 / §14). This REPLACES the reduced-spine
- * `../write-plan.ts` + `../write-runtime.ts` (`CompiledOperation` + `renderOperation` +
- * FragmentTree). No reduced IR is emitted anywhere: every statement's SQL is COMPLETE tuned
- * text (byte-identical to what the v1 write path sends — `SELECT 1 …`, `INSERT … ON CONFLICT
- * DO NOTHING`, `UPDATE … SET c = c + ?`, the outbox INSERT), and its `params` are closed-set
- * bc Expression IR refs resolved at execute time against the accumulated transaction scope.
+ * litedbmodel v2 SCP — the write descriptor → makeSQL statement compiler ({@link compileWriteNode}),
+ * the BATCH transaction-plan derivation ({@link deriveBatchPlan}), and the live async 1-tx runtime
+ * ({@link executeTransactionAsync}). No reduced IR is emitted anywhere: every statement's SQL is
+ * COMPLETE tuned text (byte-identical to what the v1 write path sends — `INSERT … ON CONFLICT DO
+ * NOTHING`, `UPDATE … SET c = ?`, `DELETE FROM … WHERE …`), and its `params` are closed-set bc
+ * Expression IR refs resolved at execute time against the transaction scope.
  *
  * A statement op is exactly a `makeSQL` template: `{ sql, params }` where `sql` carries `?`
  * placeholders and `params` are Expression IR (`{ref:[…]}` / a literal / a `{obj:{…}}` payload)
  * that bc evaluates per statement — then the concrete values assemble + render + bind through
  * the SAME `assembleMakeSQL` / `renderPlaceholders` the read path uses.
  *
- * ## Gate-first is a real execution behavior (spec §6 "Gate First")
+ * A BATCH write (createMany / updateMany / deleteMany) is ONE logical op that produces N grouped
+ * statements; {@link deriveBatchPlan} lowers those into a gate-free {@link TransactionPlan}
+ * (`entityFrom` null, every statement `role:'body'`), run in the declared order as ONE transaction.
+ * The single-row and read paths are lowered by `bc generate` into a native module per language and
+ * never reach this runtime; there is no runtime read-compile and no runtime single-write compile.
  *
- * Each gate statement carries a {@link GateRule} the runtime evaluates AFTER executing it: a
- * failing gate short-circuits — the remaining statements never execute and the tx ROLLBACKs.
- *
- * ## Path lowering (spec §6) — `$.input.*` / `$.entity.*` / `$.ref.<w>.*` → closed-set refs
- *
- *   `$.input.<f>`       → `{ref:['<f>']}`             (bc flat input scope)
- *   `$.entity.<f>`      → `{ref:['__entity','<f>']}`  (the sole body write's RETURNING row)
- *   `$.ref.<w>.<f>`     → `{ref:['<w>','<f>']}`        (a named upstream write's RETURNING row)
- *
- * ## tx-DAG derivation (spec §6 / §14) — gate-first + data-dependency topo order
- *
- * Statements form a data-dependency DAG (`$.ref.<w>.*` consumes an earlier write's RETURNING
- * row via `TxStatement.binds`) with a gate-first constraint. A deterministic Kahn topo sort
- * (stable ascending declaration `seq` tie-break) orders them into a single-transaction plan.
- * Underivable shapes (cycle, dangling `$.ref`, referenced write without RETURNING, duplicate
- * bind, composite `$.entity`) are LOUD rejects — never a silently mis-ordered plan.
+ * Every statement executes: a plan either commits or raises. There is no gate that inspects a
+ * statement's result and short-circuits the rest — no plan in this repository ever carried one, so
+ * the interpretation was removed rather than kept as a path nothing reaches (#256).
  */
 import { type Scope } from 'behavior-contracts/runtime';
 import { type ColumnTypeResolver } from '../coltype';
 import { type Dialect as MakeSQLDialect } from './handler';
-import { type ExecutionContext, type PooledAsyncContext, type SqliteDriver } from '../exec-context';
+import { type PooledAsyncContext } from '../exec-context';
 import { type TransactionOptions } from '../tx-options';
-import { type LifecycleContract, type LifecycleEffects, type WriteLifecyclePhase } from '../writes';
 /** A closed-set bc Expression IR node used as a `makeSQL` deferred param (ref / literal / obj). */
 export type TxExpr = unknown;
 /**
@@ -106,10 +95,19 @@ export interface TxOp {
         readonly batch?: boolean;
     };
 }
-/** The role a transaction statement plays (drives the runtime's gate-first interpretation). */
-export type StatementRole = 'gate:requires' | 'gate:idempotency' | 'gate:unique' | 'body' | 'derive' | 'edge' | 'emit';
-/** The gate rule the runtime evaluates on a gate statement's result to decide short-circuit. */
-export type GateRule = 'existsElseRollback' | 'insertedElseRollback' | 'insertedElseNoop';
+/** The role a transaction statement plays (drives the runtime's §6 derivation order). */
+export type StatementRole = 'body' | 'derive' | 'edge' | 'emit';
+/**
+ * The write intent a {@link TransactionPlan} carries. It labels the plan the BATCH compilers derive
+ * (`createMany` ⇒ `create`, `updateMany` ⇒ `update`, `deleteMany` ⇒ `remove`) so a consumer can tell
+ * the three apart without re-reading the SQL.
+ */
+export type WriteLifecyclePhase = 'create' | 'update' | 'remove';
+/**
+ * The reserved scope key the tx runtime binds the plan's `entityFrom` row under, so a later statement
+ * that references the written row resolves against it. Reserved: no input field may use this name.
+ */
+export declare const ENTITY_ROOT = "__entity";
 /** One ordered statement of a transaction plan (pure JSON — a makeSQL template + its role). */
 export interface TxStatement {
     /** Stable statement id (ordering key + diagnostics). */
@@ -118,23 +116,28 @@ export interface TxStatement {
     readonly role: StatementRole;
     /** The compiled makeSQL op (complete `sql` + deferred Expression-IR `params`). */
     readonly op: TxOp;
-    /** For a gate statement: the short-circuit rule. Absent for body/derive/edge/emit. */
-    readonly gate?: GateRule;
     /** For a composite body statement: the name under which this RETURNING row is exposed. */
     readonly binds?: string;
     /** Human label (diagnostics; e.g. `requires users`, `derive users.post_count`). */
     readonly label: string;
 }
-/** How the runtime resolves an idempotency short-circuit hit (a duplicate request). */
-export type IdempotentHitPolicy = 'rollback';
-/** A derived write-time-relations transaction plan (pure JSON — ordered gate-first statements). */
+/** A derived write-time-relations transaction plan (pure JSON — ordered statements). */
 export interface TransactionPlan {
     readonly phase: WriteLifecyclePhase;
     readonly entityFrom: string | null;
     readonly statements: readonly TxStatement[];
-    readonly onIdempotentHit: IdempotentHitPolicy;
 }
-/** The reserved column-ref path head that marks an IN-list membership (mirrors the bridge). */
+/**
+ * Is this plan a BATCH (createMany / updateMany / deleteMany) rather than a single/composite Command?
+ * A batch is ref-free: nothing exposes a row for a later statement to read, so `entityFrom` is null and
+ * every statement is a plain `body` with no `binds`.
+ *
+ * It decides two things that MUST agree, which is why it is ONE function and not a test each side
+ * spells for itself: the runtime accumulates `returnedRows` only for a batch, and the codegen out-type
+ * ({@link ./writeouttype}) includes the `returnedRows` field only for a batch. Two spellings that drift
+ * would type a field the runtime does not fill, or drop one it does (#259).
+ */
+export declare function isBatchPlan(plan: TransactionPlan): boolean;
 export declare const IN_SENTINEL = "@in";
 type WriteComponent = 'Insert' | 'Update' | 'Delete' | 'Select';
 interface WriteNodeLike {
@@ -171,22 +174,6 @@ export declare function pkPort(ports: Record<string, unknown>): {
  * are CANONICAL (alphabetical) sorted — the v2 write-path SSoT (matches `DBModel._insert`).
  */
 export declare function compileWriteNode(node: WriteNodeLike, dialect?: MakeSQLDialect, resolveColumnType?: ColumnTypeResolver): TxOp;
-/** The base write op the Command declares (`Insert`/`Update`/`Delete` with `onWrite`). */
-export interface BaseWrite {
-    /** The compiled base write makeSQL op (complete `sql` + deferred Expression-IR `params`). */
-    readonly op: TxOp;
-    readonly label: string;
-    /** The write's stable NAME (composite scope) — referenced downstream as `$.ref.<name>.*`. */
-    readonly name?: string;
-    /** The write's OWN save-contract effects (composite scope). */
-    readonly effects?: LifecycleEffects;
-}
-/**
- * Derive the ORDERED, gate-first {@link TransactionPlan} from a Command's base write(s) + its
- * lifecycle save contract (spec §6 / §14). Single base write = fixed §6 group; multiple named
- * base writes = a topologically-ordered gate-first tx DAG (`$.ref.<name>.*` data dependencies).
- */
-export declare function deriveTransactionPlan(phase: WriteLifecyclePhase, bases: readonly BaseWrite[], lifecycle: LifecycleContract, dialect?: MakeSQLDialect): TransactionPlan;
 /**
  * Lower a list of CONCRETE batch-write ops (createMany / updateMany / deleteMany — each already
  * compiled by driving the v1 builders in `compile-crud`, so its `sql` is byte-identical to v1 and
@@ -205,53 +192,20 @@ export declare function deriveBatchPlan(phase: WriteLifecyclePhase, ops: readonl
     params: readonly unknown[];
     label?: string;
 }[]): TransactionPlan;
-/**
- * The minimal synchronous SQLite driver surface the tx runtime needs (better-sqlite3) — the
- * backward-compat public seam. Internally the tx runs through the {@link ExecutionContext} seam
- * (`../exec-context`); a raw driver passed here is wrapped via {@link contextForDriver}. Aliased to
- * {@link SqliteDriver}.
- */
-export type SqliteDb = SqliteDriver;
-/** A tx entry accepts either a raw {@link SqliteDb} or a full {@link ExecutionContext}. */
-export type DbOrContext = SqliteDb | ExecutionContext;
-/** Why a transaction did not commit (a gate short-circuit outcome; not a driver error). */
-export type ShortCircuitReason = 'requires_absent' | 'unique_collision' | 'idempotent_duplicate';
 /** The structured outcome of executing a {@link TransactionPlan}. */
 export interface TransactionResult {
     readonly committed: boolean;
-    readonly shortCircuit?: {
-        readonly statementId: string;
-        readonly reason: ShortCircuitReason;
-    };
     readonly entity: Record<string, unknown> | null;
     readonly executed: readonly string[];
     /**
      * For a BATCH write (createMany/updateMany/deleteMany — a gate-free plan with `entityFrom:null`):
      * the RETURNING rows of every body statement, ordered by statement. Present ONLY when a body
-     * statement RETURNED rows and the plan has no `$.entity` (batch mode); absent for a gate-first
+     * statement RETURNED rows and the plan has no `$.entity` (batch mode); absent for a
      * single/composite Command (which exposes its written row via `entity`). This carries v1
      * `createMany`'s "all created rows" result across the multi-statement batch.
      */
     readonly returnedRows?: readonly (readonly Record<string, unknown>[])[];
 }
-/**
- * Execute a derived {@link TransactionPlan} as ONE real SQLite transaction with gate-first
- * short-circuit. Accepts a raw {@link SqliteDb} (wrapped via {@link contextForDriver}) or a full
- * {@link ExecutionContext}. The transaction derives a tx-scoped ctx (`withConnection(conn, true)`)
- * that PINS one connection so BEGIN, every body statement, and COMMIT/ROLLBACK all run on the SAME
- * connection (§3, per-execution ownership). For the single-DB SQLite driver the pinned connection
- * is the sole connection; the ownership shows its teeth on the pooled async path
- * ({@link import('../exec-context').withTransactionAsync}), which this mirrors.
- */
-export declare function executeTransaction(db: DbOrContext, plan: TransactionPlan, input: Scope, dialect?: MakeSQLDialect): TransactionResult;
-/**
- * A counting {@link SqliteDb} wrapper: forwards every call to the wrapped driver but records
- * each PREPARED SQL string. Tests use it to PROVE gate-first short-circuit.
- */
-export declare function countingDriver(db: SqliteDb): {
-    db: SqliteDb;
-    prepared: string[];
-};
 /** Render one statement op to its dialect SQL text + params (exposed for golden tests). */
 export declare function renderTxStatement(op: TxOp, scope: Scope, dialect?: MakeSQLDialect): {
     sql: string;
@@ -273,8 +227,8 @@ export interface WriteExecOptions extends TransactionOptions {
     readonly guard?: boolean;
 }
 /**
- * Execute a derived {@link TransactionPlan} on a live PG / MySQL connection with gate-first
- * short-circuit and **per-execution connection ownership** (§3). The live-DB WRITE entry (#86).
+ * Execute a derived {@link TransactionPlan} on a live PG / MySQL connection with **per-execution
+ * connection ownership** (§3). The live-DB WRITE entry (#86).
  *
  * ## Ambient-tx JOIN vs. its own envelope (the #86 core)
  *

package/dist/scp/makesql/tx.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tx.d.ts","sourceRoot":"","sources":["../../../src/scp/makesql/tx.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAsB,KAAK,KAAK,EAAc,MAAM,4BAA4B,CAAC;AAKxF,OAAO,EAAgD,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AACnG,OAAO,EAAsB,KAAK,OAAO,IAAI,cAAc,EAAE,MAAM,WAAW,CAAC;AAM/E,OAAO,EACL,KAAK,gBAAgB,EAErB,KAAK,kBAAkB,EACvB,KAAK,YAAY,EAIlB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,KAAK,kBAAkB,EAAqB,MAAM,eAAe,CAAC;AAG3E,OAAO,EAOL,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EAGrB,KAAK,mBAAmB,EACzB,MAAM,WAAW,CAAC;AAInB,mGAAmG;AACnG,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC;AAE7B;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAkBjD;AAED;;;;;;GAMG;AACH,MAAM,WAAW,IAAI;IACnB,kDAAkD;IAClD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,yFAAyF;IACzF,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE,CAAC,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACvF;;;;;;;;;OASG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE;QACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;QACjD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;QACtC;kHAC0G;QAC1G,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B;;;mFAG2E;QAC3E,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;KAC1B,CAAC;CACH;AAED,+FAA+F;AAC/F,MAAM,MAAM,aAAa,GACrB,eAAe,GACf,kBAAkB,GAClB,aAAa,GACb,MAAM,GACN,QAAQ,GACR,MAAM,GACN,MAAM,CAAC;AAEX,gGAAgG;AAChG,MAAM,MAAM,QAAQ,GAAG,oBAAoB,GAAG,sBAAsB,GAAG,kBAAkB,CAAC;AAE1F,+FAA+F;AAC/F,MAAM,WAAW,WAAW;IAC1B,wDAAwD;IACxD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,uDAAuD;IACvD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,sFAAsF;IACtF,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,0FAA0F;IAC1F,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,uFAAuF;AACvF,MAAM,MAAM,mBAAmB,GAAG,UAAU,CAAC;AAE7C,mGAAmG;AACnG,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,eAAe,EAAE,mBAAmB,CAAC;CAC/C;AAkID,+FAA+F;AAC/F,eAAO,MAAM,WAAW,QAAQ,CAAC;AAEjC,KAAK,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAChE,UAAU,aAAa;IACrB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACzC;AAgND;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAUvD;AAgDD;;;;;;GAMG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;IAAE,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GAAG,SAAS,CAOzH;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,GAAE,cAAyB,EAAE,iBAAiB,CAAC,EAAE,kBAAkB,GAAG,IAAI,CAOtI;AAqHD,0FAA0F;AAC1F,MAAM,WAAW,SAAS;IACxB,6FAA6F;IAC7F,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,6FAA6F;IAC7F,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAsHD;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,mBAAmB,EAC1B,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,SAAS,EAAE,iBAAiB,EAC5B,OAAO,GAAE,cAAyB,GACjC,eAAe,CAkDjB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,mBAAmB,EAC1B,GAAG,EAAE,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GAC1E,eAAe,CAgBjB;AA2DD;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAAG,YAAY,CAAC;AAEpC,2FAA2F;AAC3F,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,gBAAgB,CAAC;AAOtD,2FAA2F;AAC3F,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,sBAAsB,CAAC;AAEjG,qEAAqE;AACrE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE;QAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAA;KAAE,CAAC;IAC9F,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;CACzE;AAyED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,GAAE,cAAyB,GAAG,iBAAiB,CAiD9I;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,QAAQ,GAAG;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CASjF;AAED,2FAA2F;AAC3F,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,GAAE,cAAyB,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,EAAE,CAAA;CAAE,CAEhI;AAoCD;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,kBAAkB;IAC1D;;;;;;;OAOG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,kBAAkB,EACvB,IAAI,EAAE,eAAe,EACrB,KAAK,EAAE,KAAK,EACZ,OAAO,GAAE,cAAyB,EAClC,OAAO,GAAE,gBAAqB,GAC7B,OAAO,CAAC,iBAAiB,CAAC,CAkB5B"}
+{"version":3,"file":"tx.d.ts","sourceRoot":"","sources":["../../../src/scp/makesql/tx.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAsB,KAAK,KAAK,EAAc,MAAM,4BAA4B,CAAC;AAKxF,OAAO,EAAgD,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AACnG,OAAO,EAAsB,KAAK,OAAO,IAAI,cAAc,EAAE,MAAM,WAAW,CAAC;AAM/E,OAAO,EAEL,KAAK,kBAAkB,EAExB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,KAAK,kBAAkB,EAAqB,MAAM,eAAe,CAAC;AAM3E,mGAAmG;AACnG,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC;AAE7B;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAkBjD;AAED;;;;;;GAMG;AACH,MAAM,WAAW,IAAI;IACnB,kDAAkD;IAClD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,yFAAyF;IACzF,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE,CAAC,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACvF;;;;;;;;;OASG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE;QACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;QACjD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;QACtC;kHAC0G;QAC1G,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B;;;mFAG2E;QAC3E,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;KAC1B,CAAC;CACH;AAED,yFAAyF;AACzF,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,QAAQ,GACR,MAAM,GACN,MAAM,CAAC;AAEX;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAEjE;;;GAGG;AACH,eAAO,MAAM,WAAW,aAAa,CAAC;AAEtC,+FAA+F;AAC/F,MAAM,WAAW,WAAW;IAC1B,wDAAwD;IACxD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,uDAAuD;IACvD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,0FAA0F;IAC1F,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,wFAAwF;AACxF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;CAC7C;AAED;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAE1D;AAED,eAAO,MAAM,WAAW,QAAQ,CAAC;AAEjC,KAAK,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAChE,UAAU,aAAa;IACrB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACzC;AAiMD;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAUvD;AAgDD;;;;;;GAMG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;IAAE,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GAAG,SAAS,CAOzH;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,GAAE,cAAyB,EAAE,iBAAiB,CAAC,EAAE,kBAAkB,GAAG,IAAI,CAOtI;AAyHD;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,mBAAmB,EAC1B,GAAG,EAAE,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GAC1E,eAAe,CAgBjB;AAED,qEAAqE;AACrE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;CACzE;AAwCD,2FAA2F;AAC3F,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,GAAE,cAAyB,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,EAAE,CAAA;CAAE,CAEhI;AAoCD;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,kBAAkB;IAC1D;;;;;;;OAOG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,kBAAkB,EACvB,IAAI,EAAE,eAAe,EACrB,KAAK,EAAE,KAAK,EACZ,OAAO,GAAE,cAAyB,EAClC,OAAO,GAAE,gBAAqB,GAC7B,OAAO,CAAC,iBAAiB,CAAC,CAkB5B"}