litedbmodel 2.0.2 → 2.2.0

package/docs/design/phase-a-execution-context.md

@@ -0,0 +1,139 @@
+# Phase A 設計: ExecutionContext + 中央 execute/query seam + 接続コンテキスト + 並行 tx 修正
+
+**対象**: litedbmodel v2 → beta（v1 parity）Epic #74 の基盤フェーズ。tx(#69)・middleware(#70)・reader/writer/複数DB(#72)・config(#72) の全てがこの上に載る。**5 native 言語（TS/rust/go/py/php）共通契約**。設計参照: v1 TS(`AsyncLocalStorage`)・v1 rust(`litedbmodel.rs` `PoolTransaction`)・graphddb。
+
+---
+
+## 1. 現状（seam の素地と欠落）
+
+全 5 runtime が共通形：
+- `executeBundle(bundle, input, driver/db)` … read（TS `executeBundle`→`executeReadGraph`、go `ExecuteBundle`、py `execute_bundle`、php `Runtime::executeBundle`、rust `execute_bundle`）
+- `executeTransactionBundle(bundle, input, driver/db)` … write/tx
+- SQL 実行は `driver.prepare(sql).all()/run()`（go は `db.Query/Exec`、php は `PDO`）
+
+**欠落**:
+- 全 SQL が通る**中央 seam が無い**（各所で driver を直接叩く）→ middleware 挿入点が無い。
+- **接続コンテキストが無い**（driver を生で渡すだけ）→ tx スコープ・reader/writer・複数DB ルーティングを表現できない。
+- **tx が driver グローバル単一スロット**（rust `writer: Mutex<Option>`、py `driver.py:369` 等）→ **並行 tx 汚染バグ**。
+
+---
+
+## 2. 中核設計: `ExecutionContext` を driver の代わりに通す
+
+`executeBundle`/`executeTransactionBundle`/relation walker が受け取るのを **生 driver → `ExecutionContext`（以下 ctx）** に変える。ctx が保持するもの：
+
+1. **接続プロバイダ**（`connectionFor(intent)`）: この文にどの接続を使うかを解決（tx所有 / reader / writer-sticky / named-DB）。
+2. **middleware chain**: 全 SQL をラップするフック列。
+3. **設定**（timeout/limits 等、Phase C/E で拡張）。
+
+**中央 seam（5 言語共通の 2 関数）**:
+```
+execute(ctx, sql, params) -> Rows      // read（SELECT）
+run(ctx, sql, params)     -> RunInfo   // write（INSERT/UPDATE/DELETE, BEGIN/COMMIT）
+```
+両関数の中身（共通契約）:
+```
+seam(ctx, sql, params, intent):
+    return ctx.middleware.wrap(sql, params, (sql, params) =>   # ① middleware chain
+        conn = ctx.connectionFor(intent)                       # ② 接続解決（tx/reader/writer/db）
+        return conn.exec(sql, params)                          # ③ 実行（唯一の driver 接点）
+    )
+```
+→ **全 SQL がこの 1 点を通る**。middleware も接続解決もここに集約。既存の `driver.prepare().all()` 直呼びを全て `execute/run(ctx, …)` に置換。
+
+---
+
+## 3. 接続コンテキストモデル（per-execution・言語別）
+
+**原則: 接続は「実行スコープ」が所有する。driver グローバルスロットは廃止。並行実行（HTTP req/tx）は各自別接続。**
+
+`connectionFor(intent)` の解決優先順位（v1 準拠、`DBModel.ts:313` の順）:
+1. **アクティブ tx の接続**（tx スコープ内なら必ずその接続）
+2. **withWriter スコープ** / **writer-sticky**（直近 tx 後 `writerStickyDuration` 内の read は writer へ）
+3. **read=reader pool / write=writer pool**（reader/writer 分離時）
+4. **named-DB ルーティング**（model→connection、複数DB時）→ 対象 DB の pool
+
+言語別の「実行スコープ所有」実装:
+| 言語 | ctx 伝播 | tx 接続所有 |
+|---|---|---|
+| **TS** | `AsyncLocalStorage<Ctx>`（v1 と同じ、非同期境界を跨ぐ） | tx が接続を ALS に束ねる（v1 `txContext.run`） |
+| **rust** | ctx を**引数で明示 thread**（or `tokio::task_local`）。current-thread runtime（v1rs 準拠、block_on 軽量化） | `PoolTransaction`（接続所有ハンドル、v1 rust `handler.rs`）を ctx が保持 |
+| **go** | `context.Context` に ctx を載せる | `*sql.Tx`（接続所有）を ctx が保持 |
+| **py** | `contextvars.ContextVar<Ctx>` | tx 接続を contextvar に束ねる |
+| **php** | ctx を**明示引数**（PHP は 1 req 1 プロセスで並行 tx 無し、但し接続所有は同契約） | tx が PDO 接続を ctx 内で所有 |
+
+**tx の per-execution 所有（並行 tx バグ根治）**:
+```
+withTransaction(ctx, opts, fn) -> R:
+    conn = pool(writer, targetDB).acquire()      # tx 専用に 1 接続取得
+    txctx = ctx.withConnection(conn, tx=true)     # スコープに束ねる（ALS/task-local/owned）
+    conn.exec(BEGIN [ISOLATION opts.isolation])
+    try:  r = fn(txctx)                            # fn 内の全 SQL は connectionFor→この conn
+          conn.exec(COMMIT); return r
+    except: conn.exec(ROLLBACK); (retry? #69-B3); raise
+    finally: pool.release(conn) [or destroy if bad #69-B4]
+```
+→ **並行 tx は各々別 conn を所有**。driver グローバル `writer` スロット（rust:431 等）を**全言語で撤去**。
+
+---
+
+## 4. Middleware hook 機構（5言語共通・TS定義主・native登録可）
+
+**ctx が middleware chain を保持**、中央 seam（§2 ①）が全 SQL をラップ。2 レベル:
+- **SQL-level `execute` フック**（全 SQL 横取り）= 中央 seam に組込。**5言語全部**に hook 点あり。
+- **method-level フック**（find?/create?/update?…）= ORM メソッド入口でラップ（decorator model は TS、native は該当メソッド境界）。
+
+**登録**:
+- **TS が主**（v1 `DBModel.use(MiddlewareClass)` 相当）。middleware chain を構築。
+- **native 側でも登録可**: rust/go/py/php 各 runtime に `register_middleware(mw)` API を設け、その言語の ctx chain に append。
+- chain の**契約（`execute(next, sql, params)`）と適用順は 5 言語共通**。
+
+middleware は ctx（実行スコープ）に紐づく → per-request/context 分離（v1 ALS と同じ）。
+
+---
+
+## 5. seam 契約（共通シェイプ・言語別実装の型）
+
+疑似型（各言語に写す）:
+```
+interface ExecutionContext {
+    connectionFor(intent: { write: bool, db?: string }): Connection
+    readonly middleware: MiddlewareChain
+    withConnection(conn, tx: bool): ExecutionContext   // tx スコープ派生
+    // config（timeout/limit）は Phase C/E で追加
+}
+interface Connection { exec(sql, params): Rows | RunInfo }   // 唯一の driver 接点
+interface MiddlewareChain { wrap(sql, params, next): result }
+execute(ctx, sql, params): Rows
+run(ctx, sql, params): RunInfo
+withTransaction(ctx, opts, fn): R
+```
+- 既存 `executeBundle(bundle, input, driver)` は `executeBundle(bundle, input, ctx)` に。呼び出し側は `ctx = Context.forDriver(driver)`（単一DB・middleware無し時は薄いラッパ＝後方互換）。
+- relation walker / tx walker は `driver.prepare().all()` を `execute/run(ctx, …)` に置換。
+
+---
+
+## 6. 移行と後方互換
+
+- **既存の単純パス**（bench/conformance が driver 直渡し）は `Context.forDriver(driver)`（reader=writer=同 pool・middleware 空・単一DB）で**挙動不変**。conformance/livedb は byte 不変で通す。
+- Phase A は「seam + ctx + tx所有 + 並行tx修正」まで。reader/writer(§3-2/3)・複数DB(§3-4)・middleware 登録 API・config は **B/C/D で ctx を拡張**（本設計の ctx がその受け皿）。
+- **並行 tx 隔離テスト**（#69 AC）を Phase A の完了条件に含める（現行 fail→修正で green、全言語・実 DB）。
+
+---
+
+## 7. Phase A の完了条件（AC）
+
+- [ ] 中央 `execute/run(ctx, …)` seam を 5 言語に実装、全 SQL（read/write/tx/relation）がそこを通る（直 driver 呼び出しゼロを grep で担保）。
+- [ ] `ExecutionContext` + per-execution 接続所有（tx が接続をスコープ所有）。driver グローバル tx スロット全言語撤去。
+- [ ] **並行 tx 隔離テスト green**（同一プロセス・共有 runtime で N tx 同時、混入なし・原子性保持、実 PG/MySQL、全言語）。現行コードで fail することも実証。
+- [ ] middleware chain 挿入点を seam に用意（空 chain で挙動不変。登録 API 実体は #70/Phase D）。
+- [ ] conformance/livedb/unit/bench 全 green・byte 不変（後方互換ラッパ経由）、全ゲート native ARM。
+- [ ] 独立監査（並行 tx の隔離を mutation で実証）。
+
+---
+
+## 8. 要判断（sign-off 前に確認したい）
+
+1. **rust の ctx 伝播**: 明示引数 thread か `tokio::task_local` か（前者は型安全・後者は v1 TS の ALS に近い）。→ 提案: **明示引数**（rust らしく静的・所有明確）。
+2. **current-thread runtime 化**（rust、block_on 軽量化・v1rs 準拠）を Phase A に含めるか（perf にも効く）。→ 提案: 含める。
+3. **seam の粒度**: statement 単位（各 SQL）で middleware/接続解決。read-graph の serial 連鎖は同一 tx/接続スコープを共有（§3）。並列 read fan-out は別接続（既存 bc#23 維持）。→ 確認。

package/package.json

@@ -1,13 +1,13 @@
 {
   "name": "litedbmodel",
-  "version": "2.0.2",
+  "version": "2.2.0",
   "description": "A lightweight TypeScript ORM for PostgreSQL, MySQL, and SQLite with Active Record pattern",
-  "main": "dist/index.js",
+  "main": "dist/index.cjs",
   "types": "dist/index.d.ts",
   "exports": {
     ".": {
       "types": "./dist/index.d.ts",
-      "default": "./dist/index.js"
+      "default": "./dist/index.cjs"
     },
     "./drivers": {
       "types": "./dist/drivers/index.d.ts",
@@ -35,6 +35,8 @@
     "test": "vitest run",
     "test:unit": "vitest run test/unit",
     "test:integration": "TEST_DB_HOST=localhost vitest run test/integration",
+    "parity:capture": "TEST_DB_HOST=localhost TEST_DB_PORT=5433 vitest run test/parity/v1-sql-golden.test.ts",
+    "parity:scp": "vitest run test/parity/v2-scp-parity.test.ts",
     "test:watch": "vitest",
     "test:coverage": "vitest run --coverage",
     "lint": "eslint src",
@@ -49,17 +51,19 @@
     "sync:versions": "node scripts/sync-versions.mjs",
     "sync:versions:check": "node scripts/sync-versions.mjs --check",
     "deps:check": "node scripts/check-no-local-deps.mjs",
+    "gates:check": "node scripts/check-reachable-test-gates.mjs",
+    "pkg:check": "node scripts/check-package-entrypoints.mjs",
     "vendor:bc-php": "node scripts/vendor-behavior-contracts-php.mjs",
     "vendor:bc-php:check": "node scripts/vendor-behavior-contracts-php.mjs --check",
     "conformance:gen": "vitest run --config conformance/vitest.config.ts",
     "conformance:gen:livedb": "vitest run --config conformance/vitest.livedb.config.ts",
-    "conformance:vectors": "npm run build:scp && tsx conformance/vectors-runner.ts",
-    "conformance:run": "npm run build:scp && tsx conformance/vectors-run.ts",
-    "conformance:codegen": "npm run build:scp && tsx conformance/codegen/codegen-runner.ts",
+    "conformance:check:livedb": "LIVEDB_GEN_MODE=check vitest run --config conformance/vitest.livedb.config.ts",
     "conformance:livedb": "tsx conformance/livedb-run.ts",
     "docker:livedb:up": "docker compose -f docker-compose.test.yml -f docker-compose.livedb.yml up -d postgres mysql",
     "docker:livedb:down": "docker compose -f docker-compose.test.yml -f docker-compose.livedb.yml down -v",
-    "conformance:livedb:docker": "npm run docker:livedb:up && sleep 5 && npm run conformance:gen:livedb && npm run conformance:livedb; e=$?; npm run docker:livedb:down; exit $e"
+    "conformance:livedb:docker": "npm run docker:livedb:up && sleep 5 && npm run conformance:gen:livedb && npm run conformance:livedb; e=$?; npm run docker:livedb:down; exit $e",
+    "native:gen": "bash benchmark/crosslang/gen-native.sh generate",
+    "bench:codegen:drift": "bash benchmark/crosslang/gen-native.sh check"
   },
   "keywords": [
     "orm",
@@ -80,7 +84,7 @@
     "url": "git+https://github.com/foo-ogawa/litedbmodel.git"
   },
   "dependencies": {
-    "behavior-contracts": "^0.5.0",
+    "behavior-contracts": "^0.11.17",
     "reflect-metadata": "^0.2.2"
   },
   "devDependencies": {
@@ -123,6 +127,9 @@
     "node": ">=18.0.0"
   },
   "overrides": {
-    "js-yaml": "^4.2.0"
+    "js-yaml": "4.3.0",
+    "linkify-it": "5.0.2",
+    "postcss": "8.5.24",
+    "brace-expansion": "5.0.8"
   }
 }

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

@@ -1,134 +0,0 @@
-/**
- * litedbmodel v2 SCP — SQL WHERE authoring helpers (WS3, #23).
- *
- * These are thin, closed-set wrappers over behavior-contracts' expression builders that
- * make a WHERE fragment tree authorable in the `SemanticBehavior` / eager surface while
- * emitting ONLY bc's closed-set Expression IR (no invented opcode — the hard rule). The
- * {@link import('./bridge').compileNode} Backend-Compile bridge decodes exactly these
- * closed-set encodings back into WS1's fragment `Condition[]`:
- *
- *   - {@link whereEq}   → `{eq:[<colRef>, <value>]}`                       → `col = ?`
- *   - {@link whereNe}/{@link whereLt}/… → `{ne|lt|le|gt|ge:[<colRef>, v]}` → `col <op> ?`
- *   - {@link whereIsNull} → `{eq:[<colRef>, null]}`                        → `col IS NULL`
- *   - {@link whereIn}   → `{eq:[{ref:[IN_SENTINEL, col]}, <arr>]}`         → `col IN (?, …)`
- *
- * A SKIP-optional condition is authored with bc's `when(cond, () => <whereX(...)>)`, which
- * bc lowers to `{cond:[cond, <member>, null]}` — the bridge reads that as a `skipWhen`
- * guard (dynamic-expansion spec §2). Nested AND/OR groups are authored with bc's `and` /
- * `or` over these members.
- *
- * The column argument is a RECORDED reference (`$.author_id`, or a wire field `$p.foo`):
- * its ref-path last segment is the physical column name (spec §7). The value argument is a
- * recorded reference, a literal, or any closed-set builder expression (`coalesce`, `add`, …).
- */
-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. */
-export declare function whereNe(col: Recorded, value: Operand): Recorded;
-/** `col < value`. */
-export declare function whereLt(col: Recorded, value: Operand): Recorded;
-/** `col <= value`. */
-export declare function whereLe(col: Recorded, value: Operand): Recorded;
-/** `col > value`. */
-export declare function whereGt(col: Recorded, value: Operand): Recorded;
-/** `col >= value`. */
-export declare function whereGe(col: Recorded, value: Operand): Recorded;
-/** `col IS NULL` — encoded as `eq(col, null)` (v1 parity; bridge maps null-RHS → IS NULL). */
-export declare function whereIsNull(col: Recorded): Recorded;
-/**
- * `col IN (?, …)` — encoded as `eq(<IN-sentinel col>, value)`. `col` MUST be the IN-sentinel
- * reference built by {@link inColumn} (its ref-path head is {@link IN_SENTINEL}); `value` is
- * the array-valued reference/expression whose `?` expands to `(?, ?, …)` at render time
- * (dynamic-expansion spec §5). Using the sentinel keeps IN expressible with only the
- * closed-set `eq` + `ref` operators.
- */
-export declare function whereIn(col: Recorded, value: Operand): Recorded;
-/**
- * Build the IN-list column reference for {@link whereIn}: `$[IN_SENTINEL][name]` — a
- * recorded ref whose path is `[IN_SENTINEL, name]`. The bridge strips the sentinel head and
- * 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 +0,0 @@
-{"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

@@ -1,191 +0,0 @@
-"use strict";
-/**
- * litedbmodel v2 SCP — SQL WHERE authoring helpers (WS3, #23).
- *
- * These are thin, closed-set wrappers over behavior-contracts' expression builders that
- * make a WHERE fragment tree authorable in the `SemanticBehavior` / eager surface while
- * emitting ONLY bc's closed-set Expression IR (no invented opcode — the hard rule). The
- * {@link import('./bridge').compileNode} Backend-Compile bridge decodes exactly these
- * closed-set encodings back into WS1's fragment `Condition[]`:
- *
- *   - {@link whereEq}   → `{eq:[<colRef>, <value>]}`                       → `col = ?`
- *   - {@link whereNe}/{@link whereLt}/… → `{ne|lt|le|gt|ge:[<colRef>, v]}` → `col <op> ?`
- *   - {@link whereIsNull} → `{eq:[<colRef>, null]}`                        → `col IS NULL`
- *   - {@link whereIn}   → `{eq:[{ref:[IN_SENTINEL, col]}, <arr>]}`         → `col IN (?, …)`
- *
- * A SKIP-optional condition is authored with bc's `when(cond, () => <whereX(...)>)`, which
- * bc lowers to `{cond:[cond, <member>, null]}` — the bridge reads that as a `skipWhen`
- * guard (dynamic-expansion spec §2). Nested AND/OR groups are authored with bc's `and` /
- * `or` over these members.
- *
- * The column argument is a RECORDED reference (`$.author_id`, or a wire field `$p.foo`):
- * its ref-path last segment is the physical column name (spec §7). The value argument is a
- * 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;
-exports.whereLe = whereLe;
-exports.whereGt = whereGt;
-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 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);
-}
-/** `col <> value` — inequality fragment. */
-function whereNe(col, value) {
-    return (0, behavior_contracts_1.ne)(col, value);
-}
-/** `col < value`. */
-function whereLt(col, value) {
-    return (0, behavior_contracts_1.lt)(col, value);
-}
-/** `col <= value`. */
-function whereLe(col, value) {
-    return (0, behavior_contracts_1.le)(col, value);
-}
-/** `col > value`. */
-function whereGt(col, value) {
-    return (0, behavior_contracts_1.gt)(col, value);
-}
-/** `col >= value`. */
-function whereGe(col, value) {
-    return (0, behavior_contracts_1.ge)(col, value);
-}
-/** `col IS NULL` — encoded as `eq(col, null)` (v1 parity; bridge maps null-RHS → IS NULL). */
-function whereIsNull(col) {
-    return (0, behavior_contracts_1.eq)(col, null);
-}
-/**
- * `col IN (?, …)` — encoded as `eq(<IN-sentinel col>, value)`. `col` MUST be the IN-sentinel
- * reference built by {@link inColumn} (its ref-path head is {@link IN_SENTINEL}); `value` is
- * the array-valued reference/expression whose `?` expands to `(?, ?, …)` at render time
- * (dynamic-expansion spec §5). Using the sentinel keeps IN expressible with only the
- * closed-set `eq` + `ref` operators.
- */
-function whereIn(col, value) {
-    return (0, behavior_contracts_1.eq)(col, value);
-}
-/**
- * Build the IN-list column reference for {@link whereIn}: `$[IN_SENTINEL][name]` — a
- * recorded ref whose path is `[IN_SENTINEL, name]`. The bridge strips the sentinel head and
- * treats `name` as the physical column (a membership fragment, not an equality).
- */
-function inColumn($, 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 +0,0 @@
-{"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"}