litedbmodel 2.1.0 → 2.2.0

package/dist/scp/relation.js

@@ -29,13 +29,21 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.RELATION_KEYS_HEAD = void 0;
 exports.compileRelationOp = compileRelationOp;
+exports.parentKeyCols = parentKeyCols;
+exports.targetKeyCols = targetKeyCols;
+exports.relationGuard = relationGuard;
 exports.runRelationOp = runRelationOp;
 exports.distributeToParent = distributeToParent;
 const makesql_1 = require("./makesql/makesql");
 const handler_1 = require("./makesql/handler");
+const exec_context_1 = require("./exec-context");
 const coltype_1 = require("./coltype");
 const outtype_1 = require("./makesql/outtype");
+const limit_config_1 = require("./limit-config");
+const grouping_1 = require("./grouping");
+const json_array_1 = require("./makesql/json-array");
 const compile_relation_1 = require("./makesql/compile-relation");
+const tx_1 = require("./makesql/tx");
 /** The reserved input head the relation batch query binds its deduped key array to. */
 exports.RELATION_KEYS_HEAD = '__keys';
 /**
@@ -58,7 +66,7 @@ function compileRelationOp(decl, resolveColumnType) {
     }
     const dialect = decl.dialect ?? 'sqlite';
     const composite = isCompositeDecl(decl);
-    const sql = compiledBatchSql(decl, dialect);
+    const sql = compiledBatchSql(decl, dialect, resolveColumnType);
     // CROSS-DB (V0 R1): carry the target connection tag ONLY when set (a same-DB relation stays
     // untagged, so existing bundles are byte-unchanged — the field is additive/optional).
     const conn = decl.connection !== undefined ? { connection: decl.connection } : {};
@@ -80,11 +88,26 @@ function compileRelationOp(decl, resolveColumnType) {
                 materializers[entry.outputKey] = klass;
         }
     }
+    // CHAINED relations (nested `with`): compile each grandchild relation recursively, inheriting THIS
+    // relation's dialect. The SAME single compiler — a child is just another RelationDecl whose parent is
+    // this relation's target rows; no separate nested-relation path. Absent ⇒ a leaf (byte-unchanged).
+    const childRelations = decl.childRelations !== undefined && decl.childRelations.length > 0
+        ? decl.childRelations.map((c) => compileRelationOp({ ...c, dialect: c.dialect ?? dialect }, resolveColumnType))
+        : undefined;
     const target = {
         targetTable: decl.targetTable,
         select: [...decl.select],
         ...(Object.keys(materializers).length > 0 ? { materializers } : {}),
+        ...(childRelations !== undefined ? { childRelations } : {}),
     };
+    // Hard-limit runaway cap (Phase E-2, epic #74; v1 `_selectForRelation`): resolve the effective
+    // batch-total cap ONCE at compile (per-relation override → global) and bake it onto the op as a
+    // plain number the native ports read. Only a `hasMany` is capped (single-cardinality fetches ≤1
+    // child per parent). A relation with an INTRINSIC per-parent `limit` window SKIPS the check — its
+    // fanout is already bounded per parent (v1 raw-SQL-with-LIMIT skip). `null` (per-relation or global)
+    // ⇒ disabled ⇒ the field is omitted (op stays byte-unchanged for the uncapped path).
+    const effectiveHardLimit = decl.kind === 'hasMany' && decl.limit === undefined ? (0, limit_config_1.resolveHasManyHardLimit)(decl.hardLimit) : null;
+    const guard = effectiveHardLimit !== null ? { hardLimit: effectiveHardLimit } : {};
     if (composite) {
         return {
             name: decl.name,
@@ -95,6 +118,7 @@ function compileRelationOp(decl, resolveColumnType) {
             ...conn,
             sql,
             ...target,
+            ...guard,
         };
     }
     return {
@@ -106,6 +130,7 @@ function compileRelationOp(decl, resolveColumnType) {
         ...conn,
         sql,
         ...target,
+        ...guard,
     };
 }
 /**
@@ -132,25 +157,43 @@ function isCompositeDecl(decl) {
     }
     return true;
 }
+/**
+ * The PG element type of each COMPOSITE key column, from the CHILD column's DECLARED type — the same
+ * schema-derived derivation the composite `tupleIn` predicate uses (`pgTypeSpecimen` →
+ * `inferPgElementType`), so the two composite PG forms cast identically. The child column is the one
+ * the key row is compared against, so its declared type is the type the key must carry.
+ *
+ * A composite PG batch cannot be compiled without them (the key rows come out of JSON as `text` and
+ * `int = text` fails at plan time), so a missing resolver is a LOUD compile error, never a silent
+ * `text` fallback.
+ */
+function pgKeyTypesOf(decl, targetKeys, resolveColumnType) {
+    if (resolveColumnType === undefined) {
+        throw new Error(`relation '${decl.name}': a COMPOSITE-key relation on postgres needs the target model's column types ` +
+            `(keys ${targetKeys.join(', ')} on '${decl.targetTable}') — pass a ColumnTypeResolver to compileRelationOp`);
+    }
+    return targetKeys.map((k) => (0, compile_relation_1.inferPgElementType)([(0, tx_1.pgTypeSpecimen)(resolveColumnType(decl.targetTable, k))]));
+}
 /**
  * Compile the STATIC batch SELECT text: the makeSQL relation builder emits complete tuned SQL
  * whose deduped-key array is ONE param. We compile against a single placeholder key array so
  * the text is fixed; the runtime re-binds the real deduped keys against the SAME text (the
  * single-JSON / `= ANY` forms are length-independent, so the text is stable).
  */
-function compiledBatchSql(decl, dialect) {
-    // A COMPOSITE decl compiles to the STATIC composite form (PG: one array param per key column;
-    // MySQL/SQLite: one JSON array-of-tuples param) — length-independent, so the text is fixed. A
-    // per-parent `limit` selects the STATIC composite-LIMITED builder (PG LATERAL / MySQL·SQLite
-    // ROW_NUMBER window over the SAME static key-set predicate — #47 last completeness gap).
+function compiledBatchSql(decl, dialect, resolveColumnType) {
+    // A COMPOSITE decl compiles to the STATIC composite form — ONE JSON array-of-tuples param on every
+    // dialect, length-independent, so the text is fixed. A per-parent `limit` selects the STATIC
+    // composite-LIMITED builder (PG LATERAL / MySQL·SQLite ROW_NUMBER window over the SAME static
+    // key-set predicate — #47 last completeness gap).
     if (decl.parentKeys !== undefined) {
+        const targetKeys = [...decl.targetKeys];
         const compositeBase = {
             dialect,
             tableName: decl.targetTable,
             select: decl.select.join(', '),
             order: decl.order,
-            targetKeys: [...decl.targetKeys],
-            deferPgArrayCast: true,
+            targetKeys,
+            ...(dialect === 'postgres' ? { pgKeyTypes: pgKeyTypesOf(decl, targetKeys, resolveColumnType) } : {}),
         };
         const node = decl.limit !== undefined
             ? (0, compile_relation_1.compileCompositeKeyStaticLimited)({ ...compositeBase, limit: decl.limit })
@@ -160,6 +203,15 @@ function compiledBatchSql(decl, dialect) {
     // A one-element placeholder key set fixes the SQL text (single-JSON-param / `= ANY` forms are
     // value-length-independent). The concrete keys are bound at execute time.
     const placeholderKeys = [null];
+    // The PG `= ANY(?::<T>[])` element type comes from the target key COLUMN's DECLARED type — the same
+    // schema-derived derivation the composite path uses (`pgKeyTypesOf`). It must NOT be inferred at
+    // render from a bound value: the value's type differs by language (a bc int is a BigInt on the TS
+    // plane → `bigint[]`, a native int in python/php → `int[]`), which broke cross-language byte-identity.
+    // The column is the authority (an int column → `int[]`, byte-identical to v1's live-correct cast, and
+    // never the #43 `text[]`). Only fall back to render-time inference when no resolver is available.
+    const pgKeyCast = dialect === 'postgres' && resolveColumnType !== undefined
+        ? (0, compile_relation_1.inferPgElementType)([(0, tx_1.pgTypeSpecimen)(resolveColumnType(decl.targetTable, decl.targetKey))])
+        : undefined;
     const base = {
         dialect,
         tableName: decl.targetTable,
@@ -167,11 +219,9 @@ function compiledBatchSql(decl, dialect) {
         order: decl.order,
         targetKey: decl.targetKey,
         values: placeholderKeys,
-        // The keys are UNKNOWN at symbolic compile (placeholder set), so the PG `= ANY(?::<T>[])`
-        // element type is DEFERRED to render (#46) — resolved from the real deduped keys via
-        // `inferPgArrayType`, reproducing v1's live-correct cast (`::int[]` for int keys). Baking a
-        // compile-time `text[]` here was the #43 regression (`integer = text` on real PG).
-        deferPgArrayCast: true,
+        ...(pgKeyCast !== undefined
+            ? { sqlCastMap: new Map([[decl.targetKey, pgKeyCast]]) }
+            : { deferPgArrayCast: true }),
     };
     const node = decl.limit !== undefined
         ? (0, compile_relation_1.compileSingleKeyLimited)({ ...base, limit: decl.limit })
@@ -179,6 +229,30 @@ function compiledBatchSql(decl, dialect) {
     // The builder emits the SQL with ONE `?` (the whole key array). Assemble to the flat text.
     return (0, makesql_1.assembleMakeSQL)(node).sql;
 }
+/**
+ * Coerce a relation target to an {@link ExecutionContext}. A raw {@link RelationDriver} (read-only
+ * `prepare`) is adapted to a full sync driver (its `run` is never reached on the read-only relation
+ * path) and wrapped via {@link contextForDriver} — the backward-compat seam. So the relation batch
+ * ALSO funnels through the central seam (middleware → connectionFor → execute), no direct driver.
+ */
+function relationContext(target) {
+    if ('connectionFor' in target)
+        return target;
+    const driver = {
+        prepare(sql) {
+            const s = target.prepare(sql);
+            return {
+                all: (...p) => s.all(...p),
+                // The read-only relation path never runs a write; a defensive stub keeps the driver shape total.
+                run: () => {
+                    throw new Error('relation batch: unexpected write on a read-only relation driver');
+                },
+                safeIntegers: s.safeIntegers?.bind(s),
+            };
+        },
+    };
+    return (0, exec_context_1.contextForDriver)(driver);
+}
 /** The ordered PARENT key columns of an op (single-key → 1-element list; composite → the tuple). */
 function parentKeyCols(op) {
     return op.parentKeys ?? [op.parentKey];
@@ -187,28 +261,39 @@ function parentKeyCols(op) {
 function targetKeyCols(op) {
     return op.targetKeys ?? [op.targetKey];
 }
-/** The stringified key identity for dedupe/grouping. Single scalar → `String(v)`; tuple → joined. */
-function keyIdentity(values) {
-    // A NUL separator no scalar `String(v)` contains, so distinct tuples never collide.
-    return values.map((v) => String(v)).join('');
+/**
+ * The op's RELATION RUNAWAY GUARD, or `null` when it baked none (disabled, or an intrinsic per-parent
+ * `limit` window whose fanout is already bounded). The ONE projection of a compiled op onto the
+ * {@link RelationGuard} record — read by BOTH consumers of the cap: {@link runRelationOp} (the
+ * typed-object / lazy batch) and the emitter, which bakes this record into the generated child fetch's
+ * `guard` port so the leaf enforces the SAME resolved cap. Nothing downstream re-derives it.
+ */
+function relationGuard(op) {
+    if (op.hardLimit === undefined)
+        return null;
+    return {
+        limit: op.hardLimit,
+        ...(op.targetTable !== undefined ? { model: op.targetTable } : {}),
+        relation: op.name,
+    };
 }
 /**
- * Bind the deduped keys to the batch op's params per dialect + arity. Single-key: PG binds the
- * scalar array verbatim (`= ANY(?::t[])`); MySQL/SQLite bind the JSON-encoded array. Composite: PG
- * binds ONE array param PER key column (transposed tuples → `unnest(?::t1[], ?::t2[])`);
- * MySQL/SQLite bind ONE JSON array-of-tuples string. Returns the positional param list.
+ * Bind the deduped keys to the batch op's params — ONE param, every dialect and arity. A COMPOSITE
+ * key set is the JSON array-of-tuples every dialect expands server-side (PG `json_array_elements`,
+ * MySQL `JSON_TABLE`, SQLite `json_each`), so the key binding is dialect-INDEPENDENT: no key-tuple
+ * transpose anywhere. A SINGLE-key set is the scalar array — bound raw on PG (`= ANY(?::t[])` takes a
+ * native array) and JSON-encoded on MySQL/SQLite.
+ *
+ * The JSON encoding goes through {@link encodeJsonParam}, the one serializer every JSON param uses.
+ * These keys came OFF a read, so an `int` key is a `BigInt` — a bare `JSON.stringify` here does not
+ * "diverge subtly", it THROWS `Do not know how to serialize a BigInt` and takes every relation read
+ * with an integer parent key down with it.
  */
 function bindKeys(op, tuples) {
-    const composite = op.parentKeys !== undefined;
-    if (op.dialect === 'postgres') {
-        if (!composite)
-            return [tuples.map((t) => t[0])]; // ONE scalar array param
-        // Transpose tuples → per-column arrays: `[[1,a],[2,b]] → [[1,2],[a,b]]` — one array param each.
-        return parentKeyCols(op).map((_, col) => tuples.map((t) => t[col]));
-    }
-    // MySQL/SQLite: single-key → JSON scalar array; composite → JSON array-of-tuples. ONE param.
-    const payload = composite ? tuples.map((t) => [...t]) : tuples.map((t) => t[0]);
-    return [JSON.stringify(payload)];
+    if (op.parentKeys !== undefined)
+        return [(0, json_array_1.encodeJsonParam)(op.dialect, tuples.map((t) => [...t]))];
+    const keys = tuples.map((t) => t[0]);
+    return [op.dialect === 'postgres' ? keys : (0, json_array_1.encodeJsonParam)(op.dialect, keys)];
 }
 /**
  * Run ONE {@link RelationOp} for a set of parent rows: dedup the parent-key tuples, render the
@@ -221,49 +306,47 @@ function bindKeys(op, tuples) {
  * NO query (the correct empty-set behavior — the membership over no keys selects nothing).
  */
 function runRelationOp(op, parents, db) {
+    const ctx = relationContext(db);
     const pCols = parentKeyCols(op);
-    const keys = dedupeKeys(parents, pCols);
+    const keys = (0, grouping_1.dedupeKeyTuples)(parents, pCols);
     const batch = new Map();
-    // Resolve the deferred PG array cast(s) (#46) from the REAL keys BEFORE the `?`→`$N` render. A
-    // single-key op has ONE cast; a composite PG op has ONE cast PER key column — resolve each from
-    // its own column's key values, left-to-right (resolvePgArrayCast resolves the first token each
-    // call). MySQL/SQLite carry no cast token.
-    let cast = op.sql;
-    if (op.dialect === 'postgres') {
-        for (let col = 0; col < pCols.length; col++)
-            cast = (0, compile_relation_1.resolvePgArrayCast)(cast, keys.map((t) => t[col]));
-    }
+    // Resolve the deferred PG array cast (#46) from the REAL keys BEFORE the `?`→`$N` render: the
+    // SINGLE-key `= ANY(?::<T>[])` is the only cast whose element type is value-derived. A composite
+    // batch carries no token (its key rows are cast from the DECLARED column types at compile) and
+    // MySQL/SQLite carry none at all.
+    const cast = op.dialect === 'postgres' && op.parentKeys === undefined
+        ? (0, compile_relation_1.resolvePgArrayCast)(op.sql, keys.map((t) => t[0]))
+        : op.sql;
     const sql = (0, handler_1.renderPlaceholders)(cast, op.dialect);
     if (keys.length === 0)
         return { sql, keys, batch };
     const tCols = targetKeyCols(op);
     // Materialize the child rows (issue #59) exactly like the primary read, using the STATIC
     // materializers baked onto the op at compile (from the model's DDL — ZERO per-read introspection).
-    // Enable safeIntegers when the child projects a BIGINT so int8 arrives exact. A BIGINT/DATE/BOOL
-    // child column de-boxes identically to a top-level read (INT→number / BIGINT→string / DATE→string
-    // / bool). SQLite-shaped driver; the async PG/MySQL relation path materializes at its own seam.
+    // A BIGINT/DATE/BOOL child column de-boxes identically to a top-level read (INT→number /
+    // BIGINT→string / DATE→string / bool).
     const childCols = op.materializers;
-    const int64Child = childCols !== undefined && Object.values(childCols).includes('int64');
-    const stmt = db.prepare(sql);
-    if (int64Child && typeof stmt.safeIntegers === 'function') {
-        stmt.safeIntegers(true);
-    }
-    const rawRows = stmt.all(...bindKeys(op, keys));
-    const rows = materializeChildRows(rawRows, childCols, int64Child);
-    for (const row of rows) {
-        const k = keyIdentity(tCols.map((c) => row[c]));
-        const list = batch.get(k);
-        if (list === undefined)
-            batch.set(k, [row]);
-        else
-            list.push(row);
-    }
-    return { sql, keys, batch };
+    // The EXACT-integer seam, unconditionally — the same one the `executeSQL` leaf reads through. This
+    // used to switch to the inexact seam unless a child column was declared `int64`, which made ONE
+    // column read back as two different JS types depending on which surface fetched it: `1n` through
+    // codegen, `1` through the lazy path. Exactness is not a per-endpoint choice; the DECLARED type
+    // decides the consumer-facing shape, and that narrowing is `materializeCell`'s job below.
+    const boundParams = bindKeys(op, keys);
+    const rawRows = (0, exec_context_1.executeSafe)(ctx, sql, boundParams);
+    // Hard-limit runaway guard (Phase E-2, epic #74; v1 `_selectForRelation`): POST-fetch, if the batch
+    // TOTAL exceeds the baked cap, throw with the EXACT count (the batch is fetched in full, no N+1).
+    // The check itself is the SHARED relation primitive (`assertRelationHardLimit`) over the op's own
+    // guard — the SAME two functions the codegen path runs in the `executeSQL` leaf, so the two read
+    // surfaces cannot drift on the cap, the count or the error identity. Runs BEFORE grouping/hydration
+    // so an over-cap read never assembles an unbounded result set.
+    (0, limit_config_1.assertRelationHardLimit)(rawRows, relationGuard(op));
+    const rows = materializeChildRows(rawRows, childCols);
+    // Group the child rows by their target-key identity — the shared grouping SSoT ({@link groupByKey}),
+    // the SAME core the eager `group` leaf uses (no duplicated grouping).
+    return { sql, keys, batch: (0, grouping_1.groupByKey)(rows, tCols) };
 }
 /** Materialize relation child rows (issue #59): same coercion as the primary read. */
-function materializeChildRows(rows, cols, safeIntegersOn) {
-    if (cols === undefined && !safeIntegersOn)
-        return rows;
+function materializeChildRows(rows, cols) {
     for (const row of rows) {
         for (const key of Object.keys(row)) {
             const klass = cols?.[key];
@@ -271,8 +354,9 @@ function materializeChildRows(rows, cols, safeIntegersOn) {
                 row[key] = (0, coltype_1.materializeCell)(row[key], klass);
                 continue;
             }
-            // Defensive: under safeIntegers, an untyped int child column arrives as bigint — narrow it.
-            if (safeIntegersOn && typeof row[key] === 'bigint') {
+            // An UNDECLARED integer column arrives as bigint from the exact seam — narrow it here. There is
+            // no longer a mode in which it does not, so this is the normal path, not a defensive one.
+            if (typeof row[key] === 'bigint') {
                 const v = row[key];
                 row[key] = v >= BigInt(Number.MIN_SAFE_INTEGER) && v <= BigInt(Number.MAX_SAFE_INTEGER) ? Number(v) : v.toString();
             }
@@ -280,37 +364,14 @@ function materializeChildRows(rows, cols, safeIntegersOn) {
     }
     return rows;
 }
-/**
- * The deduped, non-null parent-key TUPLES (insertion order preserved — deterministic). A tuple is
- * dropped if ANY of its key columns is null/undefined (no partial keys). Deduped on the stringified
- * tuple identity (so `1` and `"1"` collapse exactly as `String(v)`).
- */
-function dedupeKeys(parents, keyCols) {
-    const seen = new Set();
-    const out = [];
-    for (const p of parents) {
-        const tuple = keyCols.map((c) => p[c]);
-        if (tuple.some((v) => v === undefined || v === null))
-            continue;
-        const s = keyIdentity(tuple);
-        if (seen.has(s))
-            continue;
-        seen.add(s);
-        out.push(tuple);
-    }
-    return out;
-}
 /**
  * Distribute a resolved {@link RelationBatch} onto ONE parent per the relation cardinality:
- * `hasMany` → the child list (`[]` when none); `belongsTo`/`hasOne` → the single child (or
- * `null`). Keyed by the parent's key-tuple identity. `null`/`[]` is the declared cardinality's
- * empty representation, not an ad-hoc default.
+ * `hasMany` → the child list (`[]` when none); `belongsTo`/`hasOne` → the single child (or `null`).
+ * A thin consumer over the shared grouping SSoT ({@link attachToParent}) — the SAME core the eager
+ * `group` leaf uses (no duplicated grouping). `null`/`[]` is the declared cardinality's empty
+ * representation, not an ad-hoc default.
  */
 function distributeToParent(op, parent, batch) {
-    const tuple = parentKeyCols(op).map((c) => parent[c]);
-    const rows = tuple.some((v) => v === undefined || v === null) ? undefined : batch.get(keyIdentity(tuple));
-    if (op.kind === 'hasMany')
-        return rows ?? [];
-    return rows !== undefined && rows.length > 0 ? rows[0] : null;
+    return (0, grouping_1.attachToParent)(parent, parentKeyCols(op), batch, op.kind !== 'hasMany');
 }
 //# sourceMappingURL=relation.js.map

package/dist/scp/relation.js.map

@@ -1 +1 @@
-{"version":3,"file":"relation.js","sourceRoot":"","sources":["../../src/scp/relation.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;;;AAuHH,8CA6DC;AAmID,sCAuCC;AAgDD,gDASC;AArZD,+CAAkE;AAClE,+CAAqE;AACrE,uCAAuH;AACvH,+CAA0D;AAC1D,iEAMoC;AAgGpC,uFAAuF;AAC1E,QAAA,kBAAkB,GAAG,QAAQ,CAAC;AAE3C;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAAC,IAAkB,EAAE,iBAAsC;IAC1F,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,0DAA0D,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,2DAA2D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC1H,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CACb,aAAa,IAAI,CAAC,IAAI,8HAA8H,IAAI,CAAC,KAAK,0BAA0B,CACzL,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAY,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC;IAClD,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,4FAA4F;IAC5F,sFAAsF;IACtF,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,mGAAmG;IACnG,qGAAqG;IACrG,8FAA8F;IAC9F,+FAA+F;IAC/F,+EAA+E;IAC/E,MAAM,aAAa,GAAqC,EAAE,CAAC;IAC3D,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,aAAa,IAAI,CAAC,IAAI,GAAG,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAA,+BAAqB,EAAC,CAAC,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,uBAAuB;YACrF,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS,CAAC,uDAAuD;YAChG,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,qBAAqB;YAC/G,MAAM,KAAK,GAAG,IAAA,mCAAyB,EAAC,OAAO,CAAC,CAAC;YACjD,IAAI,KAAK,KAAK,aAAa;gBAAE,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;QACtE,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG;QACb,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;QACxB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC;IACF,IAAI,SAAS,EAAE,CAAC;QACd,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,UAAU,EAAE,CAAC,GAAI,IAAI,CAAC,UAAgC,CAAC;YACvD,UAAU,EAAE,CAAC,GAAI,IAAI,CAAC,UAAgC,CAAC;YACvD,OAAO;YACP,GAAG,IAAI;YACP,GAAG;YACH,GAAG,MAAM;SACV,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,OAAO;QACP,GAAG,IAAI;QACP,GAAG;QACH,GAAG,MAAM;KACV,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAkB;IACzC,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC;IACjF,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACjE,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,+DAA+D,CAAC,CAAC;QACzG,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,yEAAyE,CAAC,CAAC;IACnH,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QACtF,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,4EAA4E,IAAI,CAAC,UAAU,CAAC,MAAM,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5K,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,+FAA+F,CAAC,CAAC;IACzI,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,IAAkB,EAAE,OAAgB;IAC5D,8FAA8F;IAC9F,8FAA8F;IAC9F,6FAA6F;IAC7F,yFAAyF;IACzF,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG;YACpB,OAAO;YACP,SAAS,EAAE,IAAI,CAAC,WAAW;YAC3B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU,EAAE,CAAC,GAAI,IAAI,CAAC,UAAgC,CAAC;YACvD,gBAAgB,EAAE,IAAI;SACvB,CAAC;QACF,MAAM,IAAI,GACR,IAAI,CAAC,KAAK,KAAK,SAAS;YACtB,CAAC,CAAC,IAAA,mDAAgC,EAAC,EAAE,GAAG,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3E,CAAC,CAAC,IAAA,qDAAkC,EAAC,aAAa,CAAC,CAAC;QACxD,OAAO,IAAA,yBAAe,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC;IACnC,CAAC;IACD,8FAA8F;IAC9F,0EAA0E;IAC1E,MAAM,eAAe,GAAc,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG;QACX,OAAO;QACP,SAAS,EAAE,IAAI,CAAC,WAAW;QAC3B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9B,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,SAAS,EAAE,IAAI,CAAC,SAAmB;QACnC,MAAM,EAAE,eAAe;QACvB,0FAA0F;QAC1F,qFAAqF;QACrF,4FAA4F;QAC5F,mFAAmF;QACnF,gBAAgB,EAAE,IAAI;KACvB,CAAC;IACF,MAAM,IAAI,GACR,IAAI,CAAC,KAAK,KAAK,SAAS;QACtB,CAAC,CAAC,IAAA,0CAAuB,EAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACzD,CAAC,CAAC,IAAA,4CAAyB,EAAC,IAAI,CAAC,CAAC;IACtC,2FAA2F;IAC3F,OAAO,IAAA,yBAAe,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC;AACnC,CAAC;AAYD,oGAAoG;AACpG,SAAS,aAAa,CAAC,EAAc;IACnC,OAAO,EAAE,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,SAAmB,CAAC,CAAC;AACnD,CAAC;AAED,mGAAmG;AACnG,SAAS,aAAa,CAAC,EAAc;IACnC,OAAO,EAAE,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,SAAmB,CAAC,CAAC;AACnD,CAAC;AAED,qGAAqG;AACrG,SAAS,WAAW,CAAC,MAA0B;IAC7C,oFAAoF;IACpF,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAChD,CAAC;AAED;;;;;GAKG;AACH,SAAS,QAAQ,CAAC,EAAc,EAAE,MAA4B;IAC5D,MAAM,SAAS,GAAG,EAAE,CAAC,UAAU,KAAK,SAAS,CAAC;IAC9C,IAAI,EAAE,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC9B,IAAI,CAAC,SAAS;YAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,yBAAyB;QAC3E,gGAAgG;QAChG,OAAO,aAAa,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,6FAA6F;IAC7F,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;AACnC,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,aAAa,CAC3B,EAAc,EACd,OAA2C,EAC3C,EAAkB;IAElB,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACxC,MAAM,KAAK,GAAkB,IAAI,GAAG,EAAE,CAAC;IACvC,+FAA+F;IAC/F,gGAAgG;IAChG,+FAA+F;IAC/F,2CAA2C;IAC3C,IAAI,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC;IAClB,IAAI,EAAE,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC9B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE;YAAE,IAAI,GAAG,IAAA,qCAAkB,EAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,GAAG,GAAG,IAAA,4BAAkB,EAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACnD,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IAChC,yFAAyF;IACzF,mGAAmG;IACnG,iGAAiG;IACjG,kGAAkG;IAClG,gGAAgG;IAChG,MAAM,SAAS,GAAG,EAAE,CAAC,aAAa,CAAC;IACnC,MAAM,UAAU,GAAG,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACzF,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,UAAU,IAAI,OAAQ,IAAmC,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;QACzF,IAAyD,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAA8B,CAAC;IAC7E,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAClE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;;YACvC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC;AAED,sFAAsF;AACtF,SAAS,oBAAoB,CAC3B,IAA+B,EAC/B,IAAkD,EAClD,cAAuB;IAEvB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAA,yBAAe,EAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACnF,4FAA4F;YAC5F,IAAI,cAAc,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACnD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAW,CAAC;gBAC7B,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YACrH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,OAA2C,EAAE,OAA0B;IACzF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,CAAC;YAAE,SAAS;QAC/D,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,SAAgB,kBAAkB,CAChC,EAAc,EACd,MAA+B,EAC/B,KAAoB;IAEpB,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1G,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,IAAI,EAAE,CAAC;IAC7C,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAChE,CAAC"}
+{"version":3,"file":"relation.js","sourceRoot":"","sources":["../../src/scp/relation.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;;;AAyKH,8CAgFC;AAgJD,sCAEC;AAGD,sCAEC;AASD,sCAOC;AA8BD,sCA2CC;AA6BD,gDAMC;AA1gBD,+CAAkE;AAClE,+CAAqE;AACrE,iDAKwB;AACxB,uCAAuH;AACvH,+CAA0D;AAC1D,iDAAsG;AACtG,yCAAyE;AACzE,qDAAuD;AACvD,iEAOoC;AACpC,qCAA8C;AAuI9C,uFAAuF;AAC1E,QAAA,kBAAkB,GAAG,QAAQ,CAAC;AAE3C;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAAC,IAAkB,EAAE,iBAAsC;IAC1F,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,0DAA0D,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,2DAA2D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC1H,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CACb,aAAa,IAAI,CAAC,IAAI,8HAA8H,IAAI,CAAC,KAAK,0BAA0B,CACzL,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAY,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC;IAClD,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC;IAC/D,4FAA4F;IAC5F,sFAAsF;IACtF,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,mGAAmG;IACnG,qGAAqG;IACrG,8FAA8F;IAC9F,+FAA+F;IAC/F,+EAA+E;IAC/E,MAAM,aAAa,GAAqC,EAAE,CAAC;IAC3D,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,aAAa,IAAI,CAAC,IAAI,GAAG,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAA,+BAAqB,EAAC,CAAC,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,uBAAuB;YACrF,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS,CAAC,uDAAuD;YAChG,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,qBAAqB;YAC/G,MAAM,KAAK,GAAG,IAAA,mCAAyB,EAAC,OAAO,CAAC,CAAC;YACjD,IAAI,KAAK,KAAK,aAAa;gBAAE,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;QACtE,CAAC;IACH,CAAC;IACD,mGAAmG;IACnG,sGAAsG;IACtG,mGAAmG;IACnG,MAAM,cAAc,GAClB,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;QACjE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,OAAO,EAAE,EAAE,iBAAiB,CAAC,CAAC;QAC/G,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,MAAM,GAAG;QACb,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;QACxB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5D,CAAC;IACF,+FAA+F;IAC/F,gGAAgG;IAChG,gGAAgG;IAChG,kGAAkG;IAClG,qGAAqG;IACrG,qFAAqF;IACrF,MAAM,kBAAkB,GACtB,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAA,sCAAuB,EAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvG,MAAM,KAAK,GAAG,kBAAkB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnF,IAAI,SAAS,EAAE,CAAC;QACd,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,UAAU,EAAE,CAAC,GAAI,IAAI,CAAC,UAAgC,CAAC;YACvD,UAAU,EAAE,CAAC,GAAI,IAAI,CAAC,UAAgC,CAAC;YACvD,OAAO;YACP,GAAG,IAAI;YACP,GAAG;YACH,GAAG,MAAM;YACT,GAAG,KAAK;SACT,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,OAAO;QACP,GAAG,IAAI;QACP,GAAG;QACH,GAAG,MAAM;QACT,GAAG,KAAK;KACT,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAkB;IACzC,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC;IACjF,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACjE,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,+DAA+D,CAAC,CAAC;QACzG,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,yEAAyE,CAAC,CAAC;IACnH,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QACtF,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,4EAA4E,IAAI,CAAC,UAAU,CAAC,MAAM,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5K,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,+FAA+F,CAAC,CAAC;IACzI,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,YAAY,CAAC,IAAkB,EAAE,UAA6B,EAAE,iBAAsC;IAC7G,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACb,aAAa,IAAI,CAAC,IAAI,gFAAgF;YACpG,SAAS,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,WAAW,qDAAqD,CAC9G,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,qCAAkB,EAAC,CAAC,IAAA,mBAAc,EAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7G,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,IAAkB,EAAE,OAAgB,EAAE,iBAAsC;IACpG,mGAAmG;IACnG,6FAA6F;IAC7F,8FAA8F;IAC9F,kDAAkD;IAClD,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,CAAC,GAAI,IAAI,CAAC,UAAgC,CAAC,CAAC;QAC/D,MAAM,aAAa,GAAG;YACpB,OAAO;YACP,SAAS,EAAE,IAAI,CAAC,WAAW;YAC3B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU;YACV,GAAG,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,IAAI,EAAE,UAAU,EAAE,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACrG,CAAC;QACF,MAAM,IAAI,GACR,IAAI,CAAC,KAAK,KAAK,SAAS;YACtB,CAAC,CAAC,IAAA,mDAAgC,EAAC,EAAE,GAAG,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3E,CAAC,CAAC,IAAA,qDAAkC,EAAC,aAAa,CAAC,CAAC;QACxD,OAAO,IAAA,yBAAe,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC;IACnC,CAAC;IACD,8FAA8F;IAC9F,0EAA0E;IAC1E,MAAM,eAAe,GAAc,CAAC,IAAI,CAAC,CAAC;IAC1C,oGAAoG;IACpG,iGAAiG;IACjG,kGAAkG;IAClG,uGAAuG;IACvG,sGAAsG;IACtG,kGAAkG;IAClG,MAAM,SAAS,GACb,OAAO,KAAK,UAAU,IAAI,iBAAiB,KAAK,SAAS;QACvD,CAAC,CAAC,IAAA,qCAAkB,EAAC,CAAC,IAAA,mBAAc,EAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,SAAmB,CAAC,CAAC,CAAC,CAAC;QACrG,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,IAAI,GAAG;QACX,OAAO;QACP,SAAS,EAAE,IAAI,CAAC,WAAW;QAC3B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9B,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,SAAS,EAAE,IAAI,CAAC,SAAmB;QACnC,MAAM,EAAE,eAAe;QACvB,GAAG,CAAC,SAAS,KAAK,SAAS;YACzB,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAmB,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE;YAClE,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;KAChC,CAAC;IACF,MAAM,IAAI,GACR,IAAI,CAAC,KAAK,KAAK,SAAS;QACtB,CAAC,CAAC,IAAA,0CAAuB,EAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACzD,CAAC,CAAC,IAAA,4CAAyB,EAAC,IAAI,CAAC,CAAC;IACtC,2FAA2F;IAC3F,OAAO,IAAA,yBAAe,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC;AACnC,CAAC;AAYD;;;;;GAKG;AACH,SAAS,eAAe,CAAC,MAAsB;IAC7C,IAAI,eAAe,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC7C,MAAM,MAAM,GAAiB;QAC3B,OAAO,CAAC,GAAW;YACjB,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAC9B,OAAO;gBACL,GAAG,EAAE,CAAC,GAAG,CAAY,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACrC,iGAAiG;gBACjG,GAAG,EAAE,GAAG,EAAE;oBACR,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;gBACrF,CAAC;gBACD,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;aACtC,CAAC;QACJ,CAAC;KACF,CAAC;IACF,OAAO,IAAA,+BAAgB,EAAC,MAAM,CAAC,CAAC;AAClC,CAAC;AAKD,oGAAoG;AACpG,SAAgB,aAAa,CAAC,EAAc;IAC1C,OAAO,EAAE,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,SAAmB,CAAC,CAAC;AACnD,CAAC;AAED,mGAAmG;AACnG,SAAgB,aAAa,CAAC,EAAc;IAC1C,OAAO,EAAE,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,SAAmB,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,aAAa,CAAC,EAAc;IAC1C,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO;QACL,KAAK,EAAE,EAAE,CAAC,SAAS;QACnB,GAAG,CAAC,EAAE,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,QAAQ,EAAE,EAAE,CAAC,IAAI;KAClB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,QAAQ,CAAC,EAAc,EAAE,MAA4B;IAC5D,IAAI,EAAE,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,CAAC,IAAA,4BAAe,EAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,4BAAe,EAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;AAChF,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,aAAa,CAC3B,EAAc,EACd,OAA2C,EAC3C,EAAkB;IAElB,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAkB,IAAI,GAAG,EAAE,CAAC;IACvC,8FAA8F;IAC9F,iGAAiG;IACjG,+FAA+F;IAC/F,kCAAkC;IAClC,MAAM,IAAI,GACR,EAAE,CAAC,OAAO,KAAK,UAAU,IAAI,EAAE,CAAC,UAAU,KAAK,SAAS;QACtD,CAAC,CAAC,IAAA,qCAAkB,EAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC;IACb,MAAM,GAAG,GAAG,IAAA,4BAAkB,EAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACnD,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IAChC,yFAAyF;IACzF,mGAAmG;IACnG,yFAAyF;IACzF,uCAAuC;IACvC,MAAM,SAAS,GAAG,EAAE,CAAC,aAAa,CAAC;IACnC,mGAAmG;IACnG,gGAAgG;IAChG,iGAAiG;IACjG,gGAAgG;IAChG,0FAA0F;IAC1F,MAAM,WAAW,GAAG,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,IAAA,0BAAe,EAAC,GAAG,EAAE,GAAG,EAAE,WAAW,CAA8B,CAAC;IACpF,oGAAoG;IACpG,kGAAkG;IAClG,kGAAkG;IAClG,iGAAiG;IACjG,oGAAoG;IACpG,+DAA+D;IAC/D,IAAA,sCAAuB,EAAC,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACtD,qGAAqG;IACrG,sEAAsE;IACtE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAA,qBAAU,EAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,sFAAsF;AACtF,SAAS,oBAAoB,CAC3B,IAA+B,EAC/B,IAAkD;IAElD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAA,yBAAe,EAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACnF,gGAAgG;YAChG,0FAA0F;YAC1F,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACjC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAW,CAAC;gBAC7B,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YACrH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,kBAAkB,CAChC,EAAc,EACd,MAA+B,EAC/B,KAAoB;IAEpB,OAAO,IAAA,yBAAc,EAAC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;AACjF,CAAC"}

package/dist/scp/tx-options.d.ts

@@ -0,0 +1,136 @@
+/**
+ * litedbmodel v2 SCP — the **tx-completeness contract** (Phase B-1 / #81): the TransactionOptions
+ * shape, the guard errors, the per-dialect isolation-level SQL, and the retryable-error classifier.
+ *
+ * This module is the **API REFERENCE** for Phase B — the 4 native ports (rust #82 / go #83 / py #84
+ * / php #85) mirror THIS contract exactly (option field names + defaults, guard-error semantics,
+ * isolation-level→SQL mapping per dialect, retryable-error classification, retry-loop policy). It is
+ * dialect-neutral and driver-agnostic on purpose: `withTransactionAsync` (exec-context.ts) consumes
+ * it; nothing here touches a connection.
+ *
+ * It builds ON the Phase A {@link import('./exec-context').ExecutionContext} + owned-connection
+ * ownership (`withTransactionAsync`); it does NOT re-implement connection ownership — it layers the
+ * options/guards/retry/isolation on top of that seam. It mirrors v1 `src/DBModel.ts`
+ * (`transaction` :2787, `checkWriteAllowed` :886, `isRetryableError` :2865) but on the SCP seam.
+ */
+import { WriteOutsideTransactionError, WriteInReadOnlyContextError } from '../types';
+import type { Dialect } from './makesql/handler';
+export { WriteOutsideTransactionError, WriteInReadOnlyContextError };
+/**
+ * The three portable SQL isolation levels the tx API exposes (lowercased, matching the v2 public
+ * surface). READ UNCOMMITTED is deliberately NOT offered — neither PG (which silently upgrades it to
+ * READ COMMITTED) nor a correctness-minded default wants it, and omitting it keeps the 4 ports' enum
+ * identical. The value maps to the canonical SQL phrase via {@link isolationSql}.
+ */
+export type IsolationLevel = 'read committed' | 'repeatable read' | 'serializable';
+/** The canonical SQL phrase for an {@link IsolationLevel} (e.g. `SERIALIZABLE`). */
+export declare function isolationPhrase(level: IsolationLevel): string;
+/**
+ * The tx-start statements for `dialect` at `isolation` (in issue order). Per-dialect because the
+ * three engines express per-transaction isolation DIFFERENTLY:
+ *
+ *   - **postgres**: `BEGIN ISOLATION LEVEL <phrase>` — one statement, the level rides the BEGIN.
+ *   - **mysql**: `SET TRANSACTION ISOLATION LEVEL <phrase>` MUST precede `BEGIN` (it scopes the very
+ *     NEXT transaction only), so this returns TWO statements: the SET, then a bare `BEGIN`.
+ *   - **sqlite**: SQLite has NO per-transaction isolation-level knob. Its isolation is a
+ *     process/PRAGMA-level property (`journal_mode=WAL` gives snapshot reads; the default rollback
+ *     journal serializes writers), NOT something a `BEGIN` clause selects. So an isolation request on
+ *     SQLite is a HARD ERROR here — we do NOT silently drop it (that would fake honoring the level).
+ *     The conformance/bench SQLite path never passes `isolation`, so it always emits a bare `BEGIN`.
+ *
+ * With no `isolation`, every dialect emits a single bare `BEGIN` (the Phase A behavior, byte-identical).
+ */
+export declare function beginStatements(dialect: Dialect, isolation?: IsolationLevel): readonly string[];
+/**
+ * Options for a transaction (the Phase B contract; mirrors v1 `TransactionOptions` in `src/types.ts`
+ * plus the new `isolation`). Every field is optional with a stable default; the 4 native ports MUST
+ * expose the SAME field names + defaults.
+ */
+export interface TransactionOptions {
+    /**
+     * Per-transaction isolation level. Issued via {@link beginStatements} on the tx-owned connection
+     * (PG: on BEGIN; MySQL: a preceding SET). Omit for the engine default (PG/MySQL: READ COMMITTED /
+     * REPEATABLE READ respectively). SQLite has no per-tx level ⇒ passing this on SQLite is an error.
+     */
+    readonly isolation?: IsolationLevel;
+    /** Retry the whole tx on a retryable error (deadlock / serialization / connection). @default true */
+    readonly retryOnError?: boolean;
+    /** Max attempts before giving up (the FIRST try counts as attempt 1). @default 3 */
+    readonly retryLimit?: number;
+    /** Backoff base in ms; attempt k waits `retryDuration * 2^(k-1)` (exponential). @default 200 */
+    readonly retryDuration?: number;
+    /**
+     * ROLLBACK instead of COMMIT at the end of a SUCCESSFUL body (dry-run / preview): the body runs and
+     * its result is returned, but NO change is committed. A body error still ROLLBACKs + re-raises as
+     * usual. @default false
+     */
+    readonly rollbackOnly?: boolean;
+    /**
+     * Override the GLOBAL writer-after-transaction setting FOR THIS TRANSACTION (v1 parity —
+     * `TransactionOptions.useWriterAfterTransaction`, honored at `DBModel.transaction` :3103).
+     *
+     * `false` means this transaction's COMMIT does NOT arm writer-stickiness: the reads that follow it
+     * go back to the reader pool immediately instead of being pinned to the writer for
+     * `writerStickyDuration`. Use it for a transaction whose writes nobody needs to read back (a
+     * bookkeeping / audit / fire-and-forget write), so it does not cost every following read its
+     * replica.
+     *
+     * Omitted (or `true`) ⇒ the GLOBAL setting decides, exactly as before: the arming call lands on the
+     * ctx's {@link import('./connection-routing').WriterStickyClock}, which is itself disabled when the
+     * deployment configured `useWriterAfterTransaction: false`. This mirrors v1, where a per-tx `true`
+     * likewise cannot switch stickiness ON against a global `false` (`_shouldUseWriterSticky` :487
+     * re-checks the global). @default true
+     */
+    readonly useWriterAfterTransaction?: boolean;
+}
+/** The resolved (defaults-applied) options the tx runtime uses — no `undefined` holes. */
+export interface ResolvedTxOptions {
+    readonly isolation?: IsolationLevel;
+    readonly retryOnError: boolean;
+    readonly retryLimit: number;
+    readonly retryDuration: number;
+    readonly rollbackOnly: boolean;
+    readonly useWriterAfterTransaction: boolean;
+}
+/** Apply the Phase B defaults (v1-parity: retryOnError=true, retryLimit=3, retryDuration=200). */
+export declare function resolveTxOptions(opts?: TransactionOptions): ResolvedTxOptions;
+/**
+ * Is `error` a RETRYABLE transaction failure — a deadlock, a serialization failure, or a broken
+ * connection — for which re-running the whole transaction can succeed? Classification is by the
+ * driver's stable error CODE first (PG `SQLSTATE`, MySQL `errno`), with the v1 message substrings as
+ * a fallback (mirrors v1 `DBModel.isRetryableError` :2865). A data conflict (unique/FK/check) is NOT
+ * retryable — re-running would fail identically.
+ *
+ * Codes (per dialect):
+ *   - **postgres** SQLSTATE: `40001` serialization_failure, `40P01` deadlock_detected.
+ *   - **mysql** errno: `1213` ER_LOCK_DEADLOCK, `1205` ER_LOCK_WAIT_TIMEOUT.
+ *   - **connection errors** (either dialect): via {@link isConnectionError} — a dropped/reset/refused
+ *     connection is retryable (reconnect on the next attempt).
+ */
+export declare function isRetryableTxError(error: unknown, isConnectionError: (e: Error) => boolean): boolean;
+/** Sleep `ms` (the retry backoff). */
+export declare function sleep(ms: number): Promise<void>;
+/** Run `fn` with the "inside a transaction" marker set (called by the tx runtime around the body). */
+export declare function runInTransactionScope<R>(fn: () => R): R;
+/**
+ * Run `fn` in a READ-ONLY context (mirror v1 `DBModel.withWriter`): reads are allowed, but ANY write
+ * inside `fn` throws {@link WriteInReadOnlyContextError}. Use for a read-your-writes / writer-pinned
+ * read scope that must never accidentally mutate.
+ */
+export declare function withReadOnly<R>(fn: () => R): R;
+/** True if the current async scope is inside an active transaction (guard/nested detection). */
+export declare function isInTransaction(): boolean;
+/** True if the current async scope is a read-only context ({@link withReadOnly}). */
+export declare function isReadOnly(): boolean;
+/**
+ * Enforce the write=tx guard (mirror v1 `DBModel._checkWriteAllowed`, DBModel.ts:886-896): a write
+ * inside a {@link withReadOnly} scope throws {@link WriteInReadOnlyContextError}; a write with NO
+ * active transaction throws {@link WriteOutsideTransactionError}. Called at every write ENTRY
+ * (create/update/delete/upsert/batch) BEFORE any SQL is issued. The order matches v1: read-only is
+ * checked first (a read-only scope is the more specific rejection).
+ *
+ * @param operation the write op name (INSERT/UPDATE/DELETE/UPSERT/BATCH) — carried in the error.
+ * @param modelName optional model/table name — carried in the error for diagnosis.
+ */
+export declare function checkWriteAllowed(operation: string, modelName?: string): void;
+//# sourceMappingURL=tx-options.d.ts.map

package/dist/scp/tx-options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tx-options.d.ts","sourceRoot":"","sources":["../../src/scp/tx-options.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,4BAA4B,EAAE,2BAA2B,EAAE,MAAM,UAAU,CAAC;AACrF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAEjD,OAAO,EAAE,4BAA4B,EAAE,2BAA2B,EAAE,CAAC;AAIrE;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG,gBAAgB,GAAG,iBAAiB,GAAG,cAAc,CAAC;AAEnF,oFAAoF;AACpF,wBAAgB,eAAe,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAe7D;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,cAAc,GAAG,SAAS,MAAM,EAAE,CAoB/F;AAID;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC;IACpC,qGAAqG;IACrG,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,oFAAoF;IACpF,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,gGAAgG;IAChG,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,yBAAyB,CAAC,EAAE,OAAO,CAAC;CAC9C;AAED,0FAA0F;AAC1F,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAC;CAC7C;AAED,kGAAkG;AAClG,wBAAgB,gBAAgB,CAAC,IAAI,GAAE,kBAAuB,GAAG,iBAAiB,CASjF;AAID;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,GAAG,OAAO,CAsBpG;AAED,sCAAsC;AACtC,wBAAgB,KAAK,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAE/C;AAkBD,sGAAsG;AACtG,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAEvD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAE9C;AAED,gGAAgG;AAChG,wBAAgB,eAAe,IAAI,OAAO,CAEzC;AAED,qFAAqF;AACrF,wBAAgB,UAAU,IAAI,OAAO,CAEpC;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAG7E"}