litedbmodel 2.0.0 → 2.0.1

package/dist/scp/index.d.ts

@@ -1,43 +1,58 @@
 /**
  * litedbmodel v2 SCP — public surface (WS1, #21).
  *
- * The SQL-backend consumer layer over behavior-contracts (spec §1). WS1 delivers the
- * Catalog definition and the SQLite Backend Compile + dynamic-expansion render; WS2
- * delivers the Authoring Parse (SemanticBehavior declaration + eager public-API path →
- * one internal Component-graph IR). WS3 (runtime execution / handlers), WS4/5 (relations)
- * and the other dialects (PG/MySQL) are out of scope here.
+ * The SQL-backend consumer layer over behavior-contracts (spec §1).
+ *
+ * ## CANONICAL bc integration (epic #43 / design #45): the `makeSQL` catalog leaf.
+ *
+ * The LOCKED minimal model is ONE behavior-contracts catalog component
+ * **`makeSQL(sql, params, skip?)`** (like graphddb's `GetItem`/`Query`) + its handler
+ * (bind params → execute SQL) + the compile that emits tuned dialect SQL text (reusing
+ * the original tuned builders — byte-for-byte). A query is a COMPOSITION of `makeSQL`
+ * components; a subquery is a NESTED `makeSQL` in a param slot. `= ANY`, `CROSS JOIN
+ * LATERAL`, `UNNEST`, cast, batch shapes are all TEXT inside `sql` — never modeled.
+ * bc supplies composition / value-eval / envelope / plan. The whole `./makesql`
+ * subtree (re-exported below) is the recommended integration surface.
+ *
+ * ## Superseded (legacy) reduced path.
+ *
+ * The earlier abstract path (`ir.ts` FragmentTree + `WHERE_SLOT`, `relation.ts`
+ * `RelationOp`, `compile-sqlite.ts` reduced SELECT/INSERT/UPDATE forms, `render.ts`,
+ * `dialect.ts` strategy table) reduced the tuned SQL to a closed expression/relation-op
+ * vocabulary and regressed the byte-parity the library is built on (see
+ * `docs/proposal/v2-sql-parity-checklist.md`). It is SUPERSEDED by `./makesql`: SQL
+ * structure now lives as text inside `makeSQL`, not as IR "kinds". The legacy modules
+ * remain exported (below) only for the historical WS test-suite; new code must use
+ * `./makesql`.
  */
+export { MAKESQL, makeSqlCatalogEntry, LITEDBMODEL_MAKESQL_CATALOG, isMakeSQL, assembleMakeSQL, composeMakeSQL, renderPlaceholders, renderPorts, makeSqlHandler, makeSqlHandlerSync, compileWhere, whereClause, andTrailing, formatterFor, pgCastFormatter, noCastFormatter, compileSelect as compileSelectMakeSQL, builderFor, compileInsert as compileInsertMakeSQL, compileUpdateMany, compileUpdateSingle, compileDelete as compileDeleteMakeSQL, inferPgArrayType, resolvePgArrayCast, PG_ARRAY_CAST_TOKEN, compileSingleKeyUnlimited, compileSingleKeyLimited, compileCompositeKeyUnlimited, compileCompositeKeyStaticUnlimited, compileCompositeKeyLimited, makeSqlComponentIR, makeSqlInput, compileAuthoredBehavior, compileAuthoredNode, compileRelationMap, compileStaticBundle, compileSelectNode, executeStaticBundle, executeStaticWrite, executeReadBehavior, compileReadGraph, executeReadGraph, executeReadGraphAsync, renderReadPrimary, pgPoolExecutor, mysqlPoolExecutor, } from './makesql';
+export type { MakeSQL, SqlParam, AssembledSql, Dialect as MakeSQLDialect, SqlExecutor, SqlExecutorSync, SqlExecutorAsync, SelectDesc as MakeSQLSelectDesc, RelationCompileBase, AuthoredMakeSQL, RelationMapInput, StaticBundle, StaticStatement, ValueSpec, ReadGraph, PgPoolLike, MysqlPoolLike, } from './makesql';
 export { LITEDBMODEL_CATALOG, catalogEntry, CATALOG_NAMES, WRITE_CATALOG_NAMES, WRITE_PORT_FAMILIES, assertComponentsInCatalog, deriveContractEffect, } from './catalog';
 export type { CatalogName, ContractEffect } from './catalog';
-export { WHERE_SLOT } from './ir';
-export type { ExprNode, Fragment, FragmentTree, AssemblySpec, CompiledOperation, } from './ir';
-export { compileSelect, compileInsert, compileUpdate, compileDelete, } from './compile-sqlite';
-export type { Ref, Condition, SelectDesc, InsertDesc, UpdateDesc, DeleteDesc, } from './compile-sqlite';
-export { renderOperation } from './render';
-export type { RenderedSql } from './render';
 export { dialectFor, toDollarPlaceholders, SQLITE, POSTGRES, MYSQL } from './dialect';
-export type { Dialect, DialectName, ConflictAction } from './dialect';
-export { compileInsertFor } from './compile-dialect';
-export type { InsertShape } from './compile-dialect';
-export { assertExprPortable, assertOperationPortable, assertComponentPortable, assertComponentGraphPortable, } from './guard';
+export type { Dialect, DialectName } from './dialect';
+export { assertExprPortable, assertComponentPortable, assertComponentGraphPortable, } from './guard';
+export type { ExprNode } from './guard';
 export { components, publishBehaviors, compileEager, } from './authoring';
 export type { ComponentFns, BehaviorMethodSpec, BehaviorModelContract, PublishBehaviorsOptions, EagerBehavior, Component, ComponentGraphIR, MapNode, ComponentRefNode, } from './authoring';
-export { compileNode, compileComponentNodes, IN_SENTINEL } from './bridge';
-export { whereEq, whereNe, whereLt, whereLe, whereGt, whereGe, whereIsNull, whereIn, inColumn, } from './authoring-sql';
+export { whereEq, whereNe, whereLt, whereLe, whereGt, whereGe, whereIsNull, whereIn, inColumn, whereBetween, whereLike, whereILike, whereCast, whereDynamic, whereImmediate, whereTupleIn, whereInSubquery, whereExists, } from './authoring-sql';
 export { mapSqliteError, SqlFailure } from './errors';
 export type { SqlFailureKind } from './errors';
-export { executeBehavior, compileBundle, executeBundle, read, readBundle, resolveRelationViaPlan } from './runtime';
+export { assertFindFilterFolded, findFilterKeys, FindFilterLeakError } from './find-filter-guard';
+export type { FindFilterSource } from './find-filter-guard';
+export { executeBehavior, compileBundle, executeBundle, read, readBundle } from './runtime';
 export type { SqliteDb, ExecuteOptions, SqlBundle, ReadRuntimeOptions } from './runtime';
+export { executeBundleAsync, executeBehaviorAsync } from './runtime';
+export type { AsyncExecuteOptions } from './runtime';
 export { entityWrites, edgeWrites, lifecycleFor, parseEffectPath, ENTITY_ROOT, } from './writes';
 export type { PathRoot, EffectPath, RequiresEffect, UniqueEffect, DeriveEffect, EdgeEffect, EmitEffect, IdempotencyEffect, LifecycleEffects, LifecycleContract, WriteLifecyclePhase, EntityWritesDefinition, EntityWritesShape, WriteRecorder, } from './writes';
-export { deriveTransactionPlan } from './write-plan';
-export type { StatementRole, GateRule, TxStatement, TransactionPlan, IdempotentHitPolicy, BaseWrite, } from './write-plan';
-export { executeTransaction, countingDriver } from './write-runtime';
-export type { TransactionResult, ShortCircuitReason } from './write-runtime';
+export { deriveTransactionPlan, executeTransaction, countingDriver, renderTxStatement, compileWriteNode, mysqlPkHint, stripMysqlPkHint } from './makesql';
+export type { TxExpr, TxOp, StatementRole, GateRule, TxStatement, TransactionPlan, IdempotentHitPolicy, BaseWrite, TransactionResult, ShortCircuitReason, } from './makesql';
 export { compileWriteBundle, executeCommand, executeTransactionBundle } from './runtime';
 export { compileCompositeWriteBundle, executeCompositeCommand } from './runtime';
 export type { CompositeWriteEntry } from './runtime';
-export { buildHandlers, normalizeInput } from './runtime';
+export { compileCreateManyBundle, compileUpdateManyBundle, compileDeleteManyBundle } from './runtime';
+export { compileDeleteMany } from './makesql';
 export { CODEGEN_LANGUAGES, generateCodegenArtifact, bundleToPortableIR, assertLanguageSupported, codegenExecuteBundleForTest, } from './codegen';
 export type { CodegenLanguage, SqlCatalogCompanion, CodegenArtifact, } from './codegen';
 export { compileRelationOp, runRelationOp, distributeToParent, RELATION_KEYS_HEAD, } from './relation';

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/scp/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,mBAAmB,EACnB,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,WAAW,CAAC;AACnB,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAG7D,OAAO,EAAE,UAAU,EAAE,MAAM,MAAM,CAAC;AAClC,YAAY,EACV,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,iBAAiB,GAClB,MAAM,MAAM,CAAC;AAGd,OAAO,EACL,aAAa,EACb,aAAa,EACb,aAAa,EACb,aAAa,GACd,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,GAAG,EACH,SAAS,EACT,UAAU,EACV,UAAU,EACV,UAAU,EACV,UAAU,GACX,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAC3C,YAAY,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAG5C,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACtF,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAGtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGrD,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,uBAAuB,EACvB,4BAA4B,GAC7B,MAAM,SAAS,CAAC;AAIjB,OAAO,EACL,UAAU,EACV,gBAAgB,EAChB,YAAY,GACb,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,YAAY,EACZ,kBAAkB,EAClB,qBAAqB,EACrB,uBAAuB,EACvB,aAAa,EACb,SAAS,EACT,gBAAgB,EAChB,OAAO,EACP,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAG3E,OAAO,EACL,OAAO,EACP,OAAO,EACP,OAAO,EACP,OAAO,EACP,OAAO,EACP,OAAO,EACP,WAAW,EACX,OAAO,EACP,QAAQ,GACT,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtD,YAAY,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAK/C,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACpH,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAIzF,OAAO,EACL,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,eAAe,EACf,WAAW,GACZ,MAAM,UAAU,CAAC;AAClB,YAAY,EACV,QAAQ,EACR,UAAU,EACV,cAAc,EACd,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,GACd,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACrD,YAAY,EACV,aAAa,EACb,QAAQ,EACR,WAAW,EACX,eAAe,EACf,mBAAmB,EACnB,SAAS,GACV,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACrE,YAAY,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAG7E,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,WAAW,CAAC;AAIzF,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,WAAW,CAAC;AACjF,YAAY,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAIrD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAM1D,OAAO,EACL,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,WAAW,CAAC;AACnB,YAAY,EACV,eAAe,EACf,mBAAmB,EACnB,eAAe,GAChB,MAAM,WAAW,CAAC;AAInB,OAAO,EACL,iBAAiB,EACjB,aAAa,EACb,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,aAAa,EACb,cAAc,GACf,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAKlE,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,IAAI,EACJ,MAAM,EACN,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,GAAG,EACH,EAAE,EACF,GAAG,EACH,QAAQ,EACR,GAAG,EACH,GAAG,GACJ,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/scp/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAGH,OAAO,EACL,OAAO,EACP,mBAAmB,EACnB,2BAA2B,EAC3B,SAAS,EACT,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,WAAW,EACX,cAAc,EACd,kBAAkB,EAClB,YAAY,EACZ,WAAW,EACX,WAAW,EACX,YAAY,EACZ,eAAe,EACf,eAAe,EACf,aAAa,IAAI,oBAAoB,EACrC,UAAU,EACV,aAAa,IAAI,oBAAoB,EACrC,iBAAiB,EACjB,mBAAmB,EACnB,aAAa,IAAI,oBAAoB,EACrC,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,EACzB,uBAAuB,EACvB,4BAA4B,EAC5B,kCAAkC,EAClC,0BAA0B,EAC1B,kBAAkB,EAClB,YAAY,EACZ,uBAAuB,EACvB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,gBAAgB,EAChB,qBAAqB,EACrB,iBAAiB,EACjB,cAAc,EACd,iBAAiB,GAClB,MAAM,WAAW,CAAC;AACnB,YAAY,EACV,OAAO,EACP,QAAQ,EACR,YAAY,EACZ,OAAO,IAAI,cAAc,EACzB,WAAW,EACX,eAAe,EACf,gBAAgB,EAChB,UAAU,IAAI,iBAAiB,EAC/B,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,YAAY,EACZ,eAAe,EACf,SAAS,EACT,SAAS,EACT,UAAU,EACV,aAAa,GACd,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,mBAAmB,EACnB,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,WAAW,CAAC;AACnB,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAG7D,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACtF,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAGtD,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,4BAA4B,GAC7B,MAAM,SAAS,CAAC;AACjB,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAIxC,OAAO,EACL,UAAU,EACV,gBAAgB,EAChB,YAAY,GACb,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,YAAY,EACZ,kBAAkB,EAClB,qBAAqB,EACrB,uBAAuB,EACvB,aAAa,EACb,SAAS,EACT,gBAAgB,EAChB,OAAO,EACP,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,OAAO,EACP,OAAO,EACP,OAAO,EACP,OAAO,EACP,OAAO,EACP,OAAO,EACP,WAAW,EACX,OAAO,EACP,QAAQ,EAER,YAAY,EACZ,SAAS,EACT,UAAU,EACV,SAAS,EACT,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,eAAe,EACf,WAAW,GACZ,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtD,YAAY,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAK/C,OAAO,EAAE,sBAAsB,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAClG,YAAY,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAK5D,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5F,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAIzF,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACrE,YAAY,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAIrD,OAAO,EACL,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,eAAe,EACf,WAAW,GACZ,MAAM,UAAU,CAAC;AAClB,YAAY,EACV,QAAQ,EACR,UAAU,EACV,cAAc,EACd,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,GACd,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,cAAc,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC1J,YAAY,EACV,MAAM,EACN,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,WAAW,EACX,eAAe,EACf,mBAAmB,EACnB,SAAS,EACT,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,WAAW,CAAC;AAIzF,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,WAAW,CAAC;AACjF,YAAY,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAKrD,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,WAAW,CAAC;AACtG,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAM9C,OAAO,EACL,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,WAAW,CAAC;AACnB,YAAY,EACV,eAAe,EACf,mBAAmB,EACnB,eAAe,GAChB,MAAM,WAAW,CAAC;AAInB,OAAO,EACL,iBAAiB,EACjB,aAAa,EACb,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,aAAa,EACb,cAAc,GACf,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAKlE,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,IAAI,EACJ,MAAM,EACN,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,GAAG,EACH,EAAE,EACF,GAAG,EACH,QAAQ,EACR,GAAG,EACH,GAAG,GACJ,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/scp/index.js

@@ -2,15 +2,82 @@
 /**
  * litedbmodel v2 SCP — public surface (WS1, #21).
  *
- * The SQL-backend consumer layer over behavior-contracts (spec §1). WS1 delivers the
- * Catalog definition and the SQLite Backend Compile + dynamic-expansion render; WS2
- * delivers the Authoring Parse (SemanticBehavior declaration + eager public-API path →
- * one internal Component-graph IR). WS3 (runtime execution / handlers), WS4/5 (relations)
- * and the other dialects (PG/MySQL) are out of scope here.
+ * The SQL-backend consumer layer over behavior-contracts (spec §1).
+ *
+ * ## CANONICAL bc integration (epic #43 / design #45): the `makeSQL` catalog leaf.
+ *
+ * The LOCKED minimal model is ONE behavior-contracts catalog component
+ * **`makeSQL(sql, params, skip?)`** (like graphddb's `GetItem`/`Query`) + its handler
+ * (bind params → execute SQL) + the compile that emits tuned dialect SQL text (reusing
+ * the original tuned builders — byte-for-byte). A query is a COMPOSITION of `makeSQL`
+ * components; a subquery is a NESTED `makeSQL` in a param slot. `= ANY`, `CROSS JOIN
+ * LATERAL`, `UNNEST`, cast, batch shapes are all TEXT inside `sql` — never modeled.
+ * bc supplies composition / value-eval / envelope / plan. The whole `./makesql`
+ * subtree (re-exported below) is the recommended integration surface.
+ *
+ * ## Superseded (legacy) reduced path.
+ *
+ * The earlier abstract path (`ir.ts` FragmentTree + `WHERE_SLOT`, `relation.ts`
+ * `RelationOp`, `compile-sqlite.ts` reduced SELECT/INSERT/UPDATE forms, `render.ts`,
+ * `dialect.ts` strategy table) reduced the tuned SQL to a closed expression/relation-op
+ * vocabulary and regressed the byte-parity the library is built on (see
+ * `docs/proposal/v2-sql-parity-checklist.md`). It is SUPERSEDED by `./makesql`: SQL
+ * structure now lives as text inside `makeSQL`, not as IR "kinds". The legacy modules
+ * remain exported (below) only for the historical WS test-suite; new code must use
+ * `./makesql`.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.parseEffectPath = exports.lifecycleFor = exports.edgeWrites = exports.entityWrites = exports.resolveRelationViaPlan = exports.readBundle = exports.read = exports.executeBundle = exports.compileBundle = exports.executeBehavior = exports.SqlFailure = exports.mapSqliteError = exports.inColumn = exports.whereIn = exports.whereIsNull = exports.whereGe = exports.whereGt = exports.whereLe = exports.whereLt = exports.whereNe = exports.whereEq = exports.IN_SENTINEL = exports.compileComponentNodes = exports.compileNode = exports.compileEager = exports.publishBehaviors = exports.components = exports.assertComponentGraphPortable = exports.assertComponentPortable = exports.assertOperationPortable = exports.assertExprPortable = exports.compileInsertFor = exports.MYSQL = exports.POSTGRES = exports.SQLITE = exports.toDollarPlaceholders = exports.dialectFor = exports.renderOperation = exports.compileDelete = exports.compileUpdate = exports.compileInsert = exports.compileSelect = exports.WHERE_SLOT = exports.deriveContractEffect = exports.assertComponentsInCatalog = exports.WRITE_PORT_FAMILIES = exports.WRITE_CATALOG_NAMES = exports.CATALOG_NAMES = exports.catalogEntry = exports.LITEDBMODEL_CATALOG = void 0;
-exports.opt = exports.len = exports.coalesce = exports.not = exports.or = exports.and = exports.ge = exports.gt = exports.le = exports.lt = exports.ne = exports.eq = exports.neg = exports.mod = exports.div = exports.mul = exports.sub = exports.add = exports.concat = exports.when = exports.behavior = exports.SemanticBehavior = exports.RELATION_CONTEXT = exports.RelationContext = exports.readRelationContext = exports.buildResultSet = exports.RELATION_KEYS_HEAD = exports.distributeToParent = exports.runRelationOp = exports.compileRelationOp = exports.codegenExecuteBundleForTest = exports.assertLanguageSupported = exports.bundleToPortableIR = exports.generateCodegenArtifact = exports.CODEGEN_LANGUAGES = exports.normalizeInput = exports.buildHandlers = exports.executeCompositeCommand = exports.compileCompositeWriteBundle = exports.executeTransactionBundle = exports.executeCommand = exports.compileWriteBundle = exports.countingDriver = exports.executeTransaction = exports.deriveTransactionPlan = exports.ENTITY_ROOT = void 0;
+exports.WRITE_CATALOG_NAMES = exports.CATALOG_NAMES = exports.catalogEntry = exports.LITEDBMODEL_CATALOG = exports.mysqlPoolExecutor = exports.pgPoolExecutor = exports.renderReadPrimary = exports.executeReadGraphAsync = exports.executeReadGraph = exports.compileReadGraph = exports.executeReadBehavior = exports.executeStaticWrite = exports.executeStaticBundle = exports.compileSelectNode = exports.compileStaticBundle = exports.compileRelationMap = exports.compileAuthoredNode = exports.compileAuthoredBehavior = exports.makeSqlInput = exports.makeSqlComponentIR = exports.compileCompositeKeyLimited = exports.compileCompositeKeyStaticUnlimited = exports.compileCompositeKeyUnlimited = exports.compileSingleKeyLimited = exports.compileSingleKeyUnlimited = exports.PG_ARRAY_CAST_TOKEN = exports.resolvePgArrayCast = exports.inferPgArrayType = exports.compileDeleteMakeSQL = exports.compileUpdateSingle = exports.compileUpdateMany = exports.compileInsertMakeSQL = exports.builderFor = exports.compileSelectMakeSQL = 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.deriveTransactionPlan = exports.ENTITY_ROOT = exports.parseEffectPath = exports.lifecycleFor = exports.edgeWrites = exports.entityWrites = exports.executeBehaviorAsync = exports.executeBundleAsync = exports.readBundle = exports.read = exports.executeBundle = exports.compileBundle = exports.executeBehavior = exports.FindFilterLeakError = exports.findFilterKeys = exports.assertFindFilterFolded = exports.SqlFailure = exports.mapSqliteError = exports.whereExists = exports.whereInSubquery = exports.whereTupleIn = exports.whereImmediate = exports.whereDynamic = exports.whereCast = exports.whereILike = exports.whereLike = exports.whereBetween = exports.inColumn = exports.whereIn = exports.whereIsNull = exports.whereGe = exports.whereGt = exports.whereLe = exports.whereLt = exports.whereNe = exports.whereEq = exports.compileEager = exports.publishBehaviors = exports.components = exports.assertComponentGraphPortable = exports.assertComponentPortable = exports.assertExprPortable = exports.MYSQL = exports.POSTGRES = exports.SQLITE = exports.toDollarPlaceholders = exports.dialectFor = exports.deriveContractEffect = exports.assertComponentsInCatalog = exports.WRITE_PORT_FAMILIES = void 0;
+exports.opt = exports.len = exports.coalesce = exports.not = exports.or = exports.and = exports.ge = exports.gt = exports.le = exports.lt = exports.ne = exports.eq = exports.neg = exports.mod = exports.div = exports.mul = exports.sub = exports.add = exports.concat = exports.when = exports.behavior = exports.SemanticBehavior = exports.RELATION_CONTEXT = exports.RelationContext = exports.readRelationContext = exports.buildResultSet = exports.RELATION_KEYS_HEAD = exports.distributeToParent = exports.runRelationOp = exports.compileRelationOp = exports.codegenExecuteBundleForTest = exports.assertLanguageSupported = exports.bundleToPortableIR = exports.generateCodegenArtifact = exports.CODEGEN_LANGUAGES = exports.compileDeleteMany = exports.compileDeleteManyBundle = exports.compileUpdateManyBundle = exports.compileCreateManyBundle = exports.executeCompositeCommand = exports.compileCompositeWriteBundle = exports.executeTransactionBundle = exports.executeCommand = exports.compileWriteBundle = exports.stripMysqlPkHint = exports.mysqlPkHint = exports.compileWriteNode = exports.renderTxStatement = exports.countingDriver = exports.executeTransaction = void 0;
+// ── CANONICAL: the LOCKED `makeSQL` bc integration (epic #43 / design #45). ──────────
+var makesql_1 = require("./makesql");
+Object.defineProperty(exports, "MAKESQL", { enumerable: true, get: function () { return makesql_1.MAKESQL; } });
+Object.defineProperty(exports, "makeSqlCatalogEntry", { enumerable: true, get: function () { return makesql_1.makeSqlCatalogEntry; } });
+Object.defineProperty(exports, "LITEDBMODEL_MAKESQL_CATALOG", { enumerable: true, get: function () { return makesql_1.LITEDBMODEL_MAKESQL_CATALOG; } });
+Object.defineProperty(exports, "isMakeSQL", { enumerable: true, get: function () { return makesql_1.isMakeSQL; } });
+Object.defineProperty(exports, "assembleMakeSQL", { enumerable: true, get: function () { return makesql_1.assembleMakeSQL; } });
+Object.defineProperty(exports, "composeMakeSQL", { enumerable: true, get: function () { return makesql_1.composeMakeSQL; } });
+Object.defineProperty(exports, "renderPlaceholders", { enumerable: true, get: function () { return makesql_1.renderPlaceholders; } });
+Object.defineProperty(exports, "renderPorts", { enumerable: true, get: function () { return makesql_1.renderPorts; } });
+Object.defineProperty(exports, "makeSqlHandler", { enumerable: true, get: function () { return makesql_1.makeSqlHandler; } });
+Object.defineProperty(exports, "makeSqlHandlerSync", { enumerable: true, get: function () { return makesql_1.makeSqlHandlerSync; } });
+Object.defineProperty(exports, "compileWhere", { enumerable: true, get: function () { return makesql_1.compileWhere; } });
+Object.defineProperty(exports, "whereClause", { enumerable: true, get: function () { return makesql_1.whereClause; } });
+Object.defineProperty(exports, "andTrailing", { enumerable: true, get: function () { return makesql_1.andTrailing; } });
+Object.defineProperty(exports, "formatterFor", { enumerable: true, get: function () { return makesql_1.formatterFor; } });
+Object.defineProperty(exports, "pgCastFormatter", { enumerable: true, get: function () { return makesql_1.pgCastFormatter; } });
+Object.defineProperty(exports, "noCastFormatter", { enumerable: true, get: function () { return makesql_1.noCastFormatter; } });
+Object.defineProperty(exports, "compileSelectMakeSQL", { enumerable: true, get: function () { return makesql_1.compileSelect; } });
+Object.defineProperty(exports, "builderFor", { enumerable: true, get: function () { return makesql_1.builderFor; } });
+Object.defineProperty(exports, "compileInsertMakeSQL", { enumerable: true, get: function () { return makesql_1.compileInsert; } });
+Object.defineProperty(exports, "compileUpdateMany", { enumerable: true, get: function () { return makesql_1.compileUpdateMany; } });
+Object.defineProperty(exports, "compileUpdateSingle", { enumerable: true, get: function () { return makesql_1.compileUpdateSingle; } });
+Object.defineProperty(exports, "compileDeleteMakeSQL", { enumerable: true, get: function () { return makesql_1.compileDelete; } });
+Object.defineProperty(exports, "inferPgArrayType", { enumerable: true, get: function () { return makesql_1.inferPgArrayType; } });
+Object.defineProperty(exports, "resolvePgArrayCast", { enumerable: true, get: function () { return makesql_1.resolvePgArrayCast; } });
+Object.defineProperty(exports, "PG_ARRAY_CAST_TOKEN", { enumerable: true, get: function () { return makesql_1.PG_ARRAY_CAST_TOKEN; } });
+Object.defineProperty(exports, "compileSingleKeyUnlimited", { enumerable: true, get: function () { return makesql_1.compileSingleKeyUnlimited; } });
+Object.defineProperty(exports, "compileSingleKeyLimited", { enumerable: true, get: function () { return makesql_1.compileSingleKeyLimited; } });
+Object.defineProperty(exports, "compileCompositeKeyUnlimited", { enumerable: true, get: function () { return makesql_1.compileCompositeKeyUnlimited; } });
+Object.defineProperty(exports, "compileCompositeKeyStaticUnlimited", { enumerable: true, get: function () { return makesql_1.compileCompositeKeyStaticUnlimited; } });
+Object.defineProperty(exports, "compileCompositeKeyLimited", { enumerable: true, get: function () { return makesql_1.compileCompositeKeyLimited; } });
+Object.defineProperty(exports, "makeSqlComponentIR", { enumerable: true, get: function () { return makesql_1.makeSqlComponentIR; } });
+Object.defineProperty(exports, "makeSqlInput", { enumerable: true, get: function () { return makesql_1.makeSqlInput; } });
+Object.defineProperty(exports, "compileAuthoredBehavior", { enumerable: true, get: function () { return makesql_1.compileAuthoredBehavior; } });
+Object.defineProperty(exports, "compileAuthoredNode", { enumerable: true, get: function () { return makesql_1.compileAuthoredNode; } });
+Object.defineProperty(exports, "compileRelationMap", { enumerable: true, get: function () { return makesql_1.compileRelationMap; } });
+Object.defineProperty(exports, "compileStaticBundle", { enumerable: true, get: function () { return makesql_1.compileStaticBundle; } });
+Object.defineProperty(exports, "compileSelectNode", { enumerable: true, get: function () { return makesql_1.compileSelectNode; } });
+Object.defineProperty(exports, "executeStaticBundle", { enumerable: true, get: function () { return makesql_1.executeStaticBundle; } });
+Object.defineProperty(exports, "executeStaticWrite", { enumerable: true, get: function () { return makesql_1.executeStaticWrite; } });
+Object.defineProperty(exports, "executeReadBehavior", { enumerable: true, get: function () { return makesql_1.executeReadBehavior; } });
+Object.defineProperty(exports, "compileReadGraph", { enumerable: true, get: function () { return makesql_1.compileReadGraph; } });
+Object.defineProperty(exports, "executeReadGraph", { enumerable: true, get: function () { return makesql_1.executeReadGraph; } });
+Object.defineProperty(exports, "executeReadGraphAsync", { enumerable: true, get: function () { return makesql_1.executeReadGraphAsync; } });
+Object.defineProperty(exports, "renderReadPrimary", { enumerable: true, get: function () { return makesql_1.renderReadPrimary; } });
+Object.defineProperty(exports, "pgPoolExecutor", { enumerable: true, get: function () { return makesql_1.pgPoolExecutor; } });
+Object.defineProperty(exports, "mysqlPoolExecutor", { enumerable: true, get: function () { return makesql_1.mysqlPoolExecutor; } });
 // Catalog (spec §11 item 1)
 var catalog_1 = require("./catalog");
 Object.defineProperty(exports, "LITEDBMODEL_CATALOG", { enumerable: true, get: function () { return catalog_1.LITEDBMODEL_CATALOG; } });
@@ -20,18 +87,6 @@ Object.defineProperty(exports, "WRITE_CATALOG_NAMES", { enumerable: true, get: f
 Object.defineProperty(exports, "WRITE_PORT_FAMILIES", { enumerable: true, get: function () { return catalog_1.WRITE_PORT_FAMILIES; } });
 Object.defineProperty(exports, "assertComponentsInCatalog", { enumerable: true, get: function () { return catalog_1.assertComponentsInCatalog; } });
 Object.defineProperty(exports, "deriveContractEffect", { enumerable: true, get: function () { return catalog_1.deriveContractEffect; } });
-// SQL IR shapes (spec §8)
-var ir_1 = require("./ir");
-Object.defineProperty(exports, "WHERE_SLOT", { enumerable: true, get: function () { return ir_1.WHERE_SLOT; } });
-// SQLite Backend Compile (spec §11 item 3)
-var compile_sqlite_1 = require("./compile-sqlite");
-Object.defineProperty(exports, "compileSelect", { enumerable: true, get: function () { return compile_sqlite_1.compileSelect; } });
-Object.defineProperty(exports, "compileInsert", { enumerable: true, get: function () { return compile_sqlite_1.compileInsert; } });
-Object.defineProperty(exports, "compileUpdate", { enumerable: true, get: function () { return compile_sqlite_1.compileUpdate; } });
-Object.defineProperty(exports, "compileDelete", { enumerable: true, get: function () { return compile_sqlite_1.compileDelete; } });
-// Dynamic-expansion render (normative reference for byte-identical output)
-var render_1 = require("./render");
-Object.defineProperty(exports, "renderOperation", { enumerable: true, get: function () { return render_1.renderOperation; } });
 // Dialect strategy table (WS6, #26 — the SSoT for PG/MySQL/SQLite SQL divergences + `?`→`$N`).
 var dialect_1 = require("./dialect");
 Object.defineProperty(exports, "dialectFor", { enumerable: true, get: function () { return dialect_1.dialectFor; } });
@@ -39,13 +94,9 @@ Object.defineProperty(exports, "toDollarPlaceholders", { enumerable: true, get:
 Object.defineProperty(exports, "SQLITE", { enumerable: true, get: function () { return dialect_1.SQLITE; } });
 Object.defineProperty(exports, "POSTGRES", { enumerable: true, get: function () { return dialect_1.POSTGRES; } });
 Object.defineProperty(exports, "MYSQL", { enumerable: true, get: function () { return dialect_1.MYSQL; } });
-// Dialect-parameterized Backend Compile (WS6, #26 — shared IR→structure, per-dialect SQL text).
-var compile_dialect_1 = require("./compile-dialect");
-Object.defineProperty(exports, "compileInsertFor", { enumerable: true, get: function () { return compile_dialect_1.compileInsertFor; } });
 // Portability guard (closed Expression IR set only)
 var guard_1 = require("./guard");
 Object.defineProperty(exports, "assertExprPortable", { enumerable: true, get: function () { return guard_1.assertExprPortable; } });
-Object.defineProperty(exports, "assertOperationPortable", { enumerable: true, get: function () { return guard_1.assertOperationPortable; } });
 Object.defineProperty(exports, "assertComponentPortable", { enumerable: true, get: function () { return guard_1.assertComponentPortable; } });
 Object.defineProperty(exports, "assertComponentGraphPortable", { enumerable: true, get: function () { return guard_1.assertComponentGraphPortable; } });
 // Authoring Parse (spec §2.4 / §7 / §9) — SemanticBehavior declaration + eager public-API
@@ -54,11 +105,6 @@ var authoring_1 = require("./authoring");
 Object.defineProperty(exports, "components", { enumerable: true, get: function () { return authoring_1.components; } });
 Object.defineProperty(exports, "publishBehaviors", { enumerable: true, get: function () { return authoring_1.publishBehaviors; } });
 Object.defineProperty(exports, "compileEager", { enumerable: true, get: function () { return authoring_1.compileEager; } });
-// Backend-Compile bridge (WS1↔WS3): real bc ComponentGraphIR port shape → WS1 CompiledOperation.
-var bridge_1 = require("./bridge");
-Object.defineProperty(exports, "compileNode", { enumerable: true, get: function () { return bridge_1.compileNode; } });
-Object.defineProperty(exports, "compileComponentNodes", { enumerable: true, get: function () { return bridge_1.compileComponentNodes; } });
-Object.defineProperty(exports, "IN_SENTINEL", { enumerable: true, get: function () { return bridge_1.IN_SENTINEL; } });
 // SQL WHERE authoring helpers (closed-set encodings the bridge decodes).
 var authoring_sql_1 = require("./authoring-sql");
 Object.defineProperty(exports, "whereEq", { enumerable: true, get: function () { return authoring_sql_1.whereEq; } });
@@ -70,10 +116,27 @@ Object.defineProperty(exports, "whereGe", { enumerable: true, get: function () {
 Object.defineProperty(exports, "whereIsNull", { enumerable: true, get: function () { return authoring_sql_1.whereIsNull; } });
 Object.defineProperty(exports, "whereIn", { enumerable: true, get: function () { return authoring_sql_1.whereIn; } });
 Object.defineProperty(exports, "inColumn", { enumerable: true, get: function () { return authoring_sql_1.inColumn; } });
+// Additive where-primitives (V0 R2/R3): live-reachable, v1-sourced SQL.
+Object.defineProperty(exports, "whereBetween", { enumerable: true, get: function () { return authoring_sql_1.whereBetween; } });
+Object.defineProperty(exports, "whereLike", { enumerable: true, get: function () { return authoring_sql_1.whereLike; } });
+Object.defineProperty(exports, "whereILike", { enumerable: true, get: function () { return authoring_sql_1.whereILike; } });
+Object.defineProperty(exports, "whereCast", { enumerable: true, get: function () { return authoring_sql_1.whereCast; } });
+Object.defineProperty(exports, "whereDynamic", { enumerable: true, get: function () { return authoring_sql_1.whereDynamic; } });
+Object.defineProperty(exports, "whereImmediate", { enumerable: true, get: function () { return authoring_sql_1.whereImmediate; } });
+Object.defineProperty(exports, "whereTupleIn", { enumerable: true, get: function () { return authoring_sql_1.whereTupleIn; } });
+Object.defineProperty(exports, "whereInSubquery", { enumerable: true, get: function () { return authoring_sql_1.whereInSubquery; } });
+Object.defineProperty(exports, "whereExists", { enumerable: true, get: function () { return authoring_sql_1.whereExists; } });
 // Error Mapping (spec §11 item 5): driver error → SCP Failure + Policy Kind.
 var errors_1 = require("./errors");
 Object.defineProperty(exports, "mapSqliteError", { enumerable: true, get: function () { return errors_1.mapSqliteError; } });
 Object.defineProperty(exports, "SqlFailure", { enumerable: true, get: function () { return errors_1.SqlFailure; } });
+// FIND_FILTER fail-closed authoring guard (#47 Finding B / plan R8): a model declaring an
+// implicit per-model scope predicate cannot be SCP-compiled without folding it into the
+// authored WHERE (fail-closed; the SCP compile has no model context to auto-apply it).
+var find_filter_guard_1 = require("./find-filter-guard");
+Object.defineProperty(exports, "assertFindFilterFolded", { enumerable: true, get: function () { return find_filter_guard_1.assertFindFilterFolded; } });
+Object.defineProperty(exports, "findFilterKeys", { enumerable: true, get: function () { return find_filter_guard_1.findFilterKeys; } });
+Object.defineProperty(exports, "FindFilterLeakError", { enumerable: true, get: function () { return find_filter_guard_1.FindFilterLeakError; } });
 // Thin TS runtime (spec §3 / §10 / §11): validate → SKIP → expand → eval → bind → execute → assembly.
 // `compileBundle` emits the §8 published artifact (Backend-Compiled once, TS-side);
 // `executeBundle` runs that artifact via bc runtime-core alone (the multi-language target).
@@ -83,7 +146,11 @@ Object.defineProperty(exports, "compileBundle", { enumerable: true, get: functio
 Object.defineProperty(exports, "executeBundle", { enumerable: true, get: function () { return runtime_1.executeBundle; } });
 Object.defineProperty(exports, "read", { enumerable: true, get: function () { return runtime_1.read; } });
 Object.defineProperty(exports, "readBundle", { enumerable: true, get: function () { return runtime_1.readBundle; } });
-Object.defineProperty(exports, "resolveRelationViaPlan", { enumerable: true, get: function () { return runtime_1.resolveRelationViaPlan; } });
+// The ASYNC PG / MySQL production read execution model (#40): bc `runBehaviorAsync` fans out
+// independent sibling read nodes in bounded parallel against a pooled async executor.
+var runtime_2 = require("./runtime");
+Object.defineProperty(exports, "executeBundleAsync", { enumerable: true, get: function () { return runtime_2.executeBundleAsync; } });
+Object.defineProperty(exports, "executeBehaviorAsync", { enumerable: true, get: function () { return runtime_2.executeBehaviorAsync; } });
 // Write-time relations (WS5, #25 — spec §6): entityWrites/edgeWrites declaration vocabulary,
 // the gate-first transaction-plan derivation, and the 1-tx real-SQLite runtime.
 var writes_1 = require("./writes");
@@ -92,26 +159,33 @@ Object.defineProperty(exports, "edgeWrites", { enumerable: true, get: function (
 Object.defineProperty(exports, "lifecycleFor", { enumerable: true, get: function () { return writes_1.lifecycleFor; } });
 Object.defineProperty(exports, "parseEffectPath", { enumerable: true, get: function () { return writes_1.parseEffectPath; } });
 Object.defineProperty(exports, "ENTITY_ROOT", { enumerable: true, get: function () { return writes_1.ENTITY_ROOT; } });
-var write_plan_1 = require("./write-plan");
-Object.defineProperty(exports, "deriveTransactionPlan", { enumerable: true, get: function () { return write_plan_1.deriveTransactionPlan; } });
-var write_runtime_1 = require("./write-runtime");
-Object.defineProperty(exports, "executeTransaction", { enumerable: true, get: function () { return write_runtime_1.executeTransaction; } });
-Object.defineProperty(exports, "countingDriver", { enumerable: true, get: function () { return write_runtime_1.countingDriver; } });
+var makesql_2 = require("./makesql");
+Object.defineProperty(exports, "deriveTransactionPlan", { enumerable: true, get: function () { return makesql_2.deriveTransactionPlan; } });
+Object.defineProperty(exports, "executeTransaction", { enumerable: true, get: function () { return makesql_2.executeTransaction; } });
+Object.defineProperty(exports, "countingDriver", { enumerable: true, get: function () { return makesql_2.countingDriver; } });
+Object.defineProperty(exports, "renderTxStatement", { enumerable: true, get: function () { return makesql_2.renderTxStatement; } });
+Object.defineProperty(exports, "compileWriteNode", { enumerable: true, get: function () { return makesql_2.compileWriteNode; } });
+Object.defineProperty(exports, "mysqlPkHint", { enumerable: true, get: function () { return makesql_2.mysqlPkHint; } });
+Object.defineProperty(exports, "stripMysqlPkHint", { enumerable: true, get: function () { return makesql_2.stripMysqlPkHint; } });
 // The Command bundle + 1-tx execution surface (WS5 — the write path of §2.3 / §6).
-var runtime_2 = require("./runtime");
-Object.defineProperty(exports, "compileWriteBundle", { enumerable: true, get: function () { return runtime_2.compileWriteBundle; } });
-Object.defineProperty(exports, "executeCommand", { enumerable: true, get: function () { return runtime_2.executeCommand; } });
-Object.defineProperty(exports, "executeTransactionBundle", { enumerable: true, get: function () { return runtime_2.executeTransactionBundle; } });
+var runtime_3 = require("./runtime");
+Object.defineProperty(exports, "compileWriteBundle", { enumerable: true, get: function () { return runtime_3.compileWriteBundle; } });
+Object.defineProperty(exports, "executeCommand", { enumerable: true, get: function () { return runtime_3.executeCommand; } });
+Object.defineProperty(exports, "executeTransactionBundle", { enumerable: true, get: function () { return runtime_3.executeTransactionBundle; } });
 // Composite (multi-write) Command surface (WS8a, #28 — spec §6 nested write / §14 tx-DAG derivation):
 // several named base writes with data dependencies → ONE topologically-ordered gate-first tx plan.
-var runtime_3 = require("./runtime");
-Object.defineProperty(exports, "compileCompositeWriteBundle", { enumerable: true, get: function () { return runtime_3.compileCompositeWriteBundle; } });
-Object.defineProperty(exports, "executeCompositeCommand", { enumerable: true, get: function () { return runtime_3.executeCompositeCommand; } });
-// Reusable handler/normalization seams (WS3) — exported so the mode-3 codegen path binds the
-// IDENTICAL SQL handlers into bc's generated `bind()` (byte-identity by construction).
 var runtime_4 = require("./runtime");
-Object.defineProperty(exports, "buildHandlers", { enumerable: true, get: function () { return runtime_4.buildHandlers; } });
-Object.defineProperty(exports, "normalizeInput", { enumerable: true, get: function () { return runtime_4.normalizeInput; } });
+Object.defineProperty(exports, "compileCompositeWriteBundle", { enumerable: true, get: function () { return runtime_4.compileCompositeWriteBundle; } });
+Object.defineProperty(exports, "executeCompositeCommand", { enumerable: true, get: function () { return runtime_4.executeCompositeCommand; } });
+// Batch writes (createMany / updateMany / deleteMany): ONE logical op → N grouped statements lowered
+// to a gate-free tx plan (executed by the SAME multi-statement tx loop in all 5 runtimes). The
+// batch SQL is byte-copied from the v1 builders (compileInsertMany/compileUpdateMany/compileDeleteMany).
+var runtime_5 = require("./runtime");
+Object.defineProperty(exports, "compileCreateManyBundle", { enumerable: true, get: function () { return runtime_5.compileCreateManyBundle; } });
+Object.defineProperty(exports, "compileUpdateManyBundle", { enumerable: true, get: function () { return runtime_5.compileUpdateManyBundle; } });
+Object.defineProperty(exports, "compileDeleteManyBundle", { enumerable: true, get: function () { return runtime_5.compileDeleteManyBundle; } });
+var makesql_3 = require("./makesql");
+Object.defineProperty(exports, "compileDeleteMany", { enumerable: true, get: function () { return makesql_3.compileDeleteMany; } });
 // Mode-3 codegen (WS7f, #35 — spec §9 exec-mode 3): supply the litedbmodel SQL catalog to bc's
 // shared generator; emit per-language source (IR baked as a native literal) + the SQL catalog
 // companion. Generated code output is byte-identical to the mode-2 thin-runtime (proven by the

package/dist/scp/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/scp/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;;AAEH,4BAA4B;AAC5B,qCAQmB;AAPjB,8GAAA,mBAAmB,OAAA;AACnB,uGAAA,YAAY,OAAA;AACZ,wGAAA,aAAa,OAAA;AACb,8GAAA,mBAAmB,OAAA;AACnB,8GAAA,mBAAmB,OAAA;AACnB,oHAAA,yBAAyB,OAAA;AACzB,+GAAA,oBAAoB,OAAA;AAItB,0BAA0B;AAC1B,2BAAkC;AAAzB,gGAAA,UAAU,OAAA;AASnB,2CAA2C;AAC3C,mDAK0B;AAJxB,+GAAA,aAAa,OAAA;AACb,+GAAA,aAAa,OAAA;AACb,+GAAA,aAAa,OAAA;AACb,+GAAA,aAAa,OAAA;AAWf,2EAA2E;AAC3E,mCAA2C;AAAlC,yGAAA,eAAe,OAAA;AAGxB,+FAA+F;AAC/F,qCAAsF;AAA7E,qGAAA,UAAU,OAAA;AAAE,+GAAA,oBAAoB,OAAA;AAAE,iGAAA,MAAM,OAAA;AAAE,mGAAA,QAAQ,OAAA;AAAE,gGAAA,KAAK,OAAA;AAGlE,gGAAgG;AAChG,qDAAqD;AAA5C,mHAAA,gBAAgB,OAAA;AAGzB,oDAAoD;AACpD,iCAKiB;AAJf,2GAAA,kBAAkB,OAAA;AAClB,gHAAA,uBAAuB,OAAA;AACvB,gHAAA,uBAAuB,OAAA;AACvB,qHAAA,4BAA4B,OAAA;AAG9B,0FAA0F;AAC1F,0CAA0C;AAC1C,yCAIqB;AAHnB,uGAAA,UAAU,OAAA;AACV,6GAAA,gBAAgB,OAAA;AAChB,yGAAA,YAAY,OAAA;AAcd,iGAAiG;AACjG,mCAA2E;AAAlE,qGAAA,WAAW,OAAA;AAAE,+GAAA,qBAAqB,OAAA;AAAE,qGAAA,WAAW,OAAA;AAExD,yEAAyE;AACzE,iDAUyB;AATvB,wGAAA,OAAO,OAAA;AACP,wGAAA,OAAO,OAAA;AACP,wGAAA,OAAO,OAAA;AACP,wGAAA,OAAO,OAAA;AACP,wGAAA,OAAO,OAAA;AACP,wGAAA,OAAO,OAAA;AACP,4GAAA,WAAW,OAAA;AACX,wGAAA,OAAO,OAAA;AACP,yGAAA,QAAQ,OAAA;AAGV,6EAA6E;AAC7E,mCAAsD;AAA7C,wGAAA,cAAc,OAAA;AAAE,oGAAA,UAAU,OAAA;AAGnC,sGAAsG;AACtG,oFAAoF;AACpF,4FAA4F;AAC5F,qCAAoH;AAA3G,0GAAA,eAAe,OAAA;AAAE,wGAAA,aAAa,OAAA;AAAE,wGAAA,aAAa,OAAA;AAAE,+FAAA,IAAI,OAAA;AAAE,qGAAA,UAAU,OAAA;AAAE,iHAAA,sBAAsB,OAAA;AAGhG,6FAA6F;AAC7F,gFAAgF;AAChF,mCAMkB;AALhB,sGAAA,YAAY,OAAA;AACZ,oGAAA,UAAU,OAAA;AACV,sGAAA,YAAY,OAAA;AACZ,yGAAA,eAAe,OAAA;AACf,qGAAA,WAAW,OAAA;AAmBb,2CAAqD;AAA5C,mHAAA,qBAAqB,OAAA;AAU9B,iDAAqE;AAA5D,mHAAA,kBAAkB,OAAA;AAAE,+GAAA,cAAc,OAAA;AAG3C,mFAAmF;AACnF,qCAAyF;AAAhF,6GAAA,kBAAkB,OAAA;AAAE,yGAAA,cAAc,OAAA;AAAE,mHAAA,wBAAwB,OAAA;AAErE,sGAAsG;AACtG,mGAAmG;AACnG,qCAAiF;AAAxE,sHAAA,2BAA2B,OAAA;AAAE,kHAAA,uBAAuB,OAAA;AAG7D,6FAA6F;AAC7F,uFAAuF;AACvF,qCAA0D;AAAjD,wGAAA,aAAa,OAAA;AAAE,yGAAA,cAAc,OAAA;AAEtC,+FAA+F;AAC/F,8FAA8F;AAC9F,+FAA+F;AAC/F,4BAA4B;AAC5B,qCAMmB;AALjB,4GAAA,iBAAiB,OAAA;AACjB,kHAAA,uBAAuB,OAAA;AACvB,6GAAA,kBAAkB,OAAA;AAClB,kHAAA,uBAAuB,OAAA;AACvB,sHAAA,2BAA2B,OAAA;AAQ7B,wFAAwF;AACxF,yFAAyF;AACzF,uCAKoB;AAJlB,6GAAA,iBAAiB,OAAA;AACjB,yGAAA,aAAa,OAAA;AACb,8GAAA,kBAAkB,OAAA;AAClB,8GAAA,kBAAkB,OAAA;AAUpB,4EAA4E;AAC5E,+CAKwB;AAJtB,8GAAA,cAAc,OAAA;AACd,mHAAA,mBAAmB,OAAA;AACnB,+GAAA,eAAe,OAAA;AACf,gHAAA,gBAAgB,OAAA;AAIlB,sFAAsF;AACtF,yFAAyF;AACzF,0EAA0E;AAC1E,yDAuB4B;AAtB1B,sHAAA,gBAAgB,OAAA;AAChB,8GAAA,QAAQ,OAAA;AACR,0GAAA,IAAI,OAAA;AACJ,4GAAA,MAAM,OAAA;AACN,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA;AACH,wGAAA,EAAE,OAAA;AACF,wGAAA,EAAE,OAAA;AACF,wGAAA,EAAE,OAAA;AACF,wGAAA,EAAE,OAAA;AACF,wGAAA,EAAE,OAAA;AACF,wGAAA,EAAE,OAAA;AACF,yGAAA,GAAG,OAAA;AACH,wGAAA,EAAE,OAAA;AACF,yGAAA,GAAG,OAAA;AACH,8GAAA,QAAQ,OAAA;AACR,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/scp/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;;;;;AAEH,wFAAwF;AACxF,qCA+CmB;AA9CjB,kGAAA,OAAO,OAAA;AACP,8GAAA,mBAAmB,OAAA;AACnB,sHAAA,2BAA2B,OAAA;AAC3B,oGAAA,SAAS,OAAA;AACT,0GAAA,eAAe,OAAA;AACf,yGAAA,cAAc,OAAA;AACd,6GAAA,kBAAkB,OAAA;AAClB,sGAAA,WAAW,OAAA;AACX,yGAAA,cAAc,OAAA;AACd,6GAAA,kBAAkB,OAAA;AAClB,uGAAA,YAAY,OAAA;AACZ,sGAAA,WAAW,OAAA;AACX,sGAAA,WAAW,OAAA;AACX,uGAAA,YAAY,OAAA;AACZ,0GAAA,eAAe,OAAA;AACf,0GAAA,eAAe,OAAA;AACf,+GAAA,aAAa,OAAwB;AACrC,qGAAA,UAAU,OAAA;AACV,+GAAA,aAAa,OAAwB;AACrC,4GAAA,iBAAiB,OAAA;AACjB,8GAAA,mBAAmB,OAAA;AACnB,+GAAA,aAAa,OAAwB;AACrC,2GAAA,gBAAgB,OAAA;AAChB,6GAAA,kBAAkB,OAAA;AAClB,8GAAA,mBAAmB,OAAA;AACnB,oHAAA,yBAAyB,OAAA;AACzB,kHAAA,uBAAuB,OAAA;AACvB,uHAAA,4BAA4B,OAAA;AAC5B,6HAAA,kCAAkC,OAAA;AAClC,qHAAA,0BAA0B,OAAA;AAC1B,6GAAA,kBAAkB,OAAA;AAClB,uGAAA,YAAY,OAAA;AACZ,kHAAA,uBAAuB,OAAA;AACvB,8GAAA,mBAAmB,OAAA;AACnB,6GAAA,kBAAkB,OAAA;AAClB,8GAAA,mBAAmB,OAAA;AACnB,4GAAA,iBAAiB,OAAA;AACjB,8GAAA,mBAAmB,OAAA;AACnB,6GAAA,kBAAkB,OAAA;AAClB,8GAAA,mBAAmB,OAAA;AACnB,2GAAA,gBAAgB,OAAA;AAChB,2GAAA,gBAAgB,OAAA;AAChB,gHAAA,qBAAqB,OAAA;AACrB,4GAAA,iBAAiB,OAAA;AACjB,yGAAA,cAAc,OAAA;AACd,4GAAA,iBAAiB,OAAA;AAsBnB,4BAA4B;AAC5B,qCAQmB;AAPjB,8GAAA,mBAAmB,OAAA;AACnB,uGAAA,YAAY,OAAA;AACZ,wGAAA,aAAa,OAAA;AACb,8GAAA,mBAAmB,OAAA;AACnB,8GAAA,mBAAmB,OAAA;AACnB,oHAAA,yBAAyB,OAAA;AACzB,+GAAA,oBAAoB,OAAA;AAItB,+FAA+F;AAC/F,qCAAsF;AAA7E,qGAAA,UAAU,OAAA;AAAE,+GAAA,oBAAoB,OAAA;AAAE,iGAAA,MAAM,OAAA;AAAE,mGAAA,QAAQ,OAAA;AAAE,gGAAA,KAAK,OAAA;AAGlE,oDAAoD;AACpD,iCAIiB;AAHf,2GAAA,kBAAkB,OAAA;AAClB,gHAAA,uBAAuB,OAAA;AACvB,qHAAA,4BAA4B,OAAA;AAI9B,0FAA0F;AAC1F,0CAA0C;AAC1C,yCAIqB;AAHnB,uGAAA,UAAU,OAAA;AACV,6GAAA,gBAAgB,OAAA;AAChB,yGAAA,YAAY,OAAA;AAcd,yEAAyE;AACzE,iDAoByB;AAnBvB,wGAAA,OAAO,OAAA;AACP,wGAAA,OAAO,OAAA;AACP,wGAAA,OAAO,OAAA;AACP,wGAAA,OAAO,OAAA;AACP,wGAAA,OAAO,OAAA;AACP,wGAAA,OAAO,OAAA;AACP,4GAAA,WAAW,OAAA;AACX,wGAAA,OAAO,OAAA;AACP,yGAAA,QAAQ,OAAA;AACR,wEAAwE;AACxE,6GAAA,YAAY,OAAA;AACZ,0GAAA,SAAS,OAAA;AACT,2GAAA,UAAU,OAAA;AACV,0GAAA,SAAS,OAAA;AACT,6GAAA,YAAY,OAAA;AACZ,+GAAA,cAAc,OAAA;AACd,6GAAA,YAAY,OAAA;AACZ,gHAAA,eAAe,OAAA;AACf,4GAAA,WAAW,OAAA;AAGb,6EAA6E;AAC7E,mCAAsD;AAA7C,wGAAA,cAAc,OAAA;AAAE,oGAAA,UAAU,OAAA;AAGnC,0FAA0F;AAC1F,wFAAwF;AACxF,uFAAuF;AACvF,yDAAkG;AAAzF,2HAAA,sBAAsB,OAAA;AAAE,mHAAA,cAAc,OAAA;AAAE,wHAAA,mBAAmB,OAAA;AAGpE,sGAAsG;AACtG,oFAAoF;AACpF,4FAA4F;AAC5F,qCAA4F;AAAnF,0GAAA,eAAe,OAAA;AAAE,wGAAA,aAAa,OAAA;AAAE,wGAAA,aAAa,OAAA;AAAE,+FAAA,IAAI,OAAA;AAAE,qGAAA,UAAU,OAAA;AAGxE,6FAA6F;AAC7F,sFAAsF;AACtF,qCAAqE;AAA5D,6GAAA,kBAAkB,OAAA;AAAE,+GAAA,oBAAoB,OAAA;AAGjD,6FAA6F;AAC7F,gFAAgF;AAChF,mCAMkB;AALhB,sGAAA,YAAY,OAAA;AACZ,oGAAA,UAAU,OAAA;AACV,sGAAA,YAAY,OAAA;AACZ,yGAAA,eAAe,OAAA;AACf,qGAAA,WAAW,OAAA;AAmBb,qCAA0J;AAAjJ,gHAAA,qBAAqB,OAAA;AAAE,6GAAA,kBAAkB,OAAA;AAAE,yGAAA,cAAc,OAAA;AAAE,4GAAA,iBAAiB,OAAA;AAAE,2GAAA,gBAAgB,OAAA;AAAE,sGAAA,WAAW,OAAA;AAAE,2GAAA,gBAAgB,OAAA;AActI,mFAAmF;AACnF,qCAAyF;AAAhF,6GAAA,kBAAkB,OAAA;AAAE,yGAAA,cAAc,OAAA;AAAE,mHAAA,wBAAwB,OAAA;AAErE,sGAAsG;AACtG,mGAAmG;AACnG,qCAAiF;AAAxE,sHAAA,2BAA2B,OAAA;AAAE,kHAAA,uBAAuB,OAAA;AAG7D,qGAAqG;AACrG,+FAA+F;AAC/F,yGAAyG;AACzG,qCAAsG;AAA7F,kHAAA,uBAAuB,OAAA;AAAE,kHAAA,uBAAuB,OAAA;AAAE,kHAAA,uBAAuB,OAAA;AAClF,qCAA8C;AAArC,4GAAA,iBAAiB,OAAA;AAE1B,+FAA+F;AAC/F,8FAA8F;AAC9F,+FAA+F;AAC/F,4BAA4B;AAC5B,qCAMmB;AALjB,4GAAA,iBAAiB,OAAA;AACjB,kHAAA,uBAAuB,OAAA;AACvB,6GAAA,kBAAkB,OAAA;AAClB,kHAAA,uBAAuB,OAAA;AACvB,sHAAA,2BAA2B,OAAA;AAQ7B,wFAAwF;AACxF,yFAAyF;AACzF,uCAKoB;AAJlB,6GAAA,iBAAiB,OAAA;AACjB,yGAAA,aAAa,OAAA;AACb,8GAAA,kBAAkB,OAAA;AAClB,8GAAA,kBAAkB,OAAA;AAUpB,4EAA4E;AAC5E,+CAKwB;AAJtB,8GAAA,cAAc,OAAA;AACd,mHAAA,mBAAmB,OAAA;AACnB,+GAAA,eAAe,OAAA;AACf,gHAAA,gBAAgB,OAAA;AAIlB,sFAAsF;AACtF,yFAAyF;AACzF,0EAA0E;AAC1E,yDAuB4B;AAtB1B,sHAAA,gBAAgB,OAAA;AAChB,8GAAA,QAAQ,OAAA;AACR,0GAAA,IAAI,OAAA;AACJ,4GAAA,MAAM,OAAA;AACN,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA;AACH,wGAAA,EAAE,OAAA;AACF,wGAAA,EAAE,OAAA;AACF,wGAAA,EAAE,OAAA;AACF,wGAAA,EAAE,OAAA;AACF,wGAAA,EAAE,OAAA;AACF,wGAAA,EAAE,OAAA;AACF,yGAAA,GAAG,OAAA;AACH,wGAAA,EAAE,OAAA;AACF,yGAAA,GAAG,OAAA;AACH,8GAAA,QAAQ,OAAA;AACR,yGAAA,GAAG,OAAA;AACH,yGAAA,GAAG,OAAA"}