litedbmodel 2.0.0 → 2.0.2

package/dist/scp/write-plan.js

@@ -1,528 +0,0 @@
-"use strict";
-/**
- * litedbmodel v2 SCP — write-time relations → ordered SQL transaction plan (WS5, #25; spec §6).
- *
- * Derives a declarative {@link LifecycleContract} (the §6 effect arrays) + a base write op
- * (the Command's `Insert`/`Update`/`Delete`, e.g. `Insert(Post, {onWrite: Post.writes.create})`)
- * into ONE ordered, gate-first multi-statement transaction plan — exactly the §6 example:
- *
- * ```
- * BEGIN;
- *   -- Gate First (short-circuit + ROLLBACK before any body write)
- *   requires:    SELECT 1 FROM users WHERE id = :author_id;        -- absent ⇒ fail
- *   idempotency: INSERT INTO idem(token) VALUES(:request_id);      -- duplicate ⇒ short-circuit
- *   unique:      INSERT INTO uniq(...) ON CONFLICT DO NOTHING; …   -- collision ⇒ fail
- *   -- Body
- *   INSERT INTO posts(author_id,title) VALUES(:author_id,:title) RETURNING id;
- *   derive:  UPDATE users SET post_count = post_count + 1 WHERE id = :author_id;
- *   edges:   … (M:N intermediate INSERT/DELETE  or  1:N FK UPDATE) …
- *   emits:   INSERT INTO outbox(type,payload) VALUES('PostCreated', :payload);
- * COMMIT;
- * ```
- *
- * The plan is PURE JSON (each statement is a WS1 {@link CompiledOperation} rendered by the
- * SAME {@link import('./render').renderOperation}), so it serializes into the §8 bundle and a
- * thin per-language runtime honors the SAME ordering + gate-first (no re-derivation, spec §6:
- * "多言語 runtime は同一計画を honor"). `Transaction` は公開仕様にしない — this plan is DERIVED
- * from the Command's declared intent, never authored.
- *
- * ## Gate-first is a real execution behavior, not a text ordering (spec §6 "Gate First")
- *
- * Each gate statement carries a {@link GateRule} the runtime evaluates AFTER executing it: a
- * failing gate short-circuits — the remaining statements (body + derive + edges + emits) never
- * execute and the transaction ROLLBACKs. This is semantically-invariant early termination
- * ({@link import('./write-runtime').executeTransaction} proves it with real query counts + DB state).
- *
- * ## Path lowering (spec §6) — `$.input.*` / `$.entity.*` → closed-set Expression IR
- *
- * A `$.input.<field>` value lowers to `{ref:['<field>']}` (bc flat input scope); a
- * `$.entity.<field>` value lowers to `{ref:['__entity','<field>']}` (the body write's
- * RETURNING row, exposed to the derive/edges/emits stages under {@link ENTITY_ROOT}). Only
- * bc's closed operator set (`ref`) is emitted — no invented opcode (hard rule).
- *
- * ## Transaction derivation (spec §6 / §14) — tx-DAG + gate-first
- *
- * A Command carries one or more named base writes, each with its §6 effects. Statements form a
- * data-dependency DAG (`$.ref.<writeName>.<field>` consumes an earlier write's RETURNING row,
- * exposed via `TxStatement.binds`), with a gate-first constraint (every gate precedes every
- * body/derive/edge/emit). The DAG is topologically ordered (Kahn, stable ascending declaration
- * `seq` tie-break) into a single-transaction statement plan. Underivable shapes (dependency
- * cycle, dangling `$.ref`, referenced write without RETURNING, duplicate bind, composite
- * `$.entity`) are LOUD rejects — never a silently mis-ordered plan.
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.deriveTransactionPlan = deriveTransactionPlan;
-const ir_1 = require("./ir");
-const guard_1 = require("./guard");
-const dialect_1 = require("./dialect");
-const writes_1 = require("./writes");
-// ── Path → Expression IR ref (closed-set only) ────────────────────────────────
-/**
- * Lower a path-rooted write-relation value to a bc closed-set `ref` Expression IR node:
- *   - `$.input.<f>`          → `{ref:['<f>']}`                 (bc flat input scope).
- *   - `$.entity.<f>`         → `{ref:['__entity','<f>']}`      (the sole body RETURNING row).
- *   - `$.ref.<write>.<f>`    → `{ref:['<write>','<f>']}`       (a named upstream write's RETURNING
- *                                                              row, bound under `<write>` via
- *                                                              {@link TxStatement.binds}).
- * Only bc's closed `ref` operator is emitted — no invented opcode (hard rule).
- */
-function pathToRef(value) {
-    const p = (0, writes_1.parseEffectPath)(value);
-    if (p.root === 'input')
-        return { ref: [p.field] };
-    if (p.root === 'entity')
-        return { ref: [writes_1.ENTITY_ROOT, p.field] };
-    return { ref: [p.writeName, p.field] }; // 'ref' → named upstream write row
-}
-function makeIdGen() {
-    let n = 0;
-    return (role) => `tx_${role}_${n++}`;
-}
-/**
- * `requires` → a gate-first existence probe: `SELECT 1 FROM <table> WHERE k1 = ? AND …`.
- * ZERO rows ⇒ ROLLBACK. Key columns are ordered deterministically (declaration key order).
- */
-function compileRequires(e, nextId) {
-    const cols = Object.keys(e.keys);
-    if (cols.length === 0)
-        throw new Error(`write-plan: requires on '${e.table}' declares no keys`);
-    const whereSql = cols.map((c) => `${c} = ?`).join(' AND ');
-    const params = cols.map((c) => pathToRef(e.keys[c]));
-    const op = {
-        component: 'Select',
-        sql: `SELECT 1 FROM ${e.table} WHERE ${whereSql}`,
-        where: null,
-        params,
-        assembly: { shape: 'items' },
-    };
-    return { id: nextId('requires'), role: 'gate:requires', op, gate: 'existsElseRollback', label: `requires ${e.table}` };
-}
-/**
- * `idempotency` → a gate-first token INSERT: `INSERT INTO <table>(<col>) VALUES(?) ON CONFLICT
- * DO NOTHING`. ZERO affected ⇒ DUPLICATE ⇒ short-circuit (no double write). Runs FIRST-among-
- * gates after requires, per the §6 example ordering.
- */
-function compileIdempotency(e, nextId, dialect) {
-    // A bare do-nothing guard INSERT (no conflict-column target): SQLite/Postgres emit
-    // `… ON CONFLICT DO NOTHING`; MySQL emits `INSERT IGNORE INTO …`. Routed through the SSoT.
-    const op = {
-        component: 'Insert',
-        sql: dialect.guardInsert(e.table, [e.column], '?'),
-        where: null,
-        params: [pathToRef(e.token)],
-        assembly: { shape: 'items' },
-    };
-    return { id: nextId('idem'), role: 'gate:idempotency', op, gate: 'insertedElseNoop', label: `idempotency ${e.table}` };
-}
-/**
- * `unique` → a gate-first guard-row INSERT: `INSERT INTO <guardTable>(name, s1, …, f1, …)
- * VALUES(?, …) ON CONFLICT DO NOTHING`. ZERO affected ⇒ COLLISION ⇒ ROLLBACK. The guard row
- * columns are `[name] + scope + fields` (deterministic order); `name` is a literal discriminator
- * bound as a param via a closed-set string literal (not SQL-inlined) to keep the render path uniform.
- */
-function compileUnique(e, nextId, dialect) {
-    const scopeCols = e.scope.map((_, i) => `s${i}`);
-    const fieldCols = e.fields.map((_, i) => `f${i}`);
-    const cols = ['name', ...scopeCols, ...fieldCols];
-    const placeholders = cols.map(() => '?').join(', ');
-    const params = [
-        e.name, // literal discriminator (a closed-set string literal)
-        ...e.scope.map(pathToRef),
-        ...e.fields.map(pathToRef),
-    ];
-    const op = {
-        component: 'Insert',
-        sql: dialect.guardInsert(e.guardTable, cols, placeholders),
-        where: null,
-        params,
-        assembly: { shape: 'items' },
-    };
-    return { id: nextId('unique'), role: 'gate:unique', op, gate: 'insertedElseRollback', label: `unique ${e.name}` };
-}
-/**
- * `derive` → a cascade counter update: `UPDATE <table> SET <attr> = <attr> + ? WHERE k = ?`.
- * The increment amount is bound as a closed-set literal param (the declaration IS the SSoT —
- * no hardcoded default). A negative amount renders `attr = attr + ?` with a negative bound value
- * (byte-identical text regardless of sign; matches v1's parameterized increment).
- */
-function compileDerive(e, nextId) {
-    const keyCols = Object.keys(e.keys);
-    if (keyCols.length === 0)
-        throw new Error(`write-plan: derive on '${e.table}' declares no keys`);
-    // SET clause `?` (the increment amount) is the single pre-WHERE static param; the key `?`s
-    // live on the WHERE fragment tree (so render's pre/post `{where}` partition stays correct).
-    const op = {
-        component: 'Update',
-        sql: `UPDATE ${e.table} SET ${e.attribute} = ${e.attribute} + ?${ir_1.WHERE_SLOT}`,
-        where: {
-            connector: 'AND',
-            fragments: keyCols.map((c) => ({ always: true, sql: `${c} = ?`, params: [pathToRef(e.keys[c])] })),
-        },
-        params: [e.amount],
-        assembly: { shape: 'items' },
-    };
-    return { id: nextId('derive'), role: 'derive', op, label: `derive ${e.table}.${e.attribute}` };
-}
-/**
- * `edges` → M:N intermediate INSERT/DELETE or 1:N FK UPDATE (spec §6 table row `edges`).
- *   - `m2m` + `set`   → `INSERT INTO <join>(c1,…) VALUES(?,…)` (link).
- *   - `m2m` + `unset` → `DELETE FROM <join> WHERE c1 = ? AND …` (unlink).
- *   - `fk`  + `set`   → `UPDATE <related> SET <fkCol> = ? WHERE <keyCols…>` (attach).
- *   - `fk`  + `unset` → `UPDATE <related> SET <fkCol> = NULL WHERE <keyCols…>` (detach).
- */
-function compileEdge(e, nextId) {
-    if (e.relation === 'm2m') {
-        const cols = Object.keys(e.columns);
-        if (e.action === 'set') {
-            const placeholders = cols.map(() => '?').join(', ');
-            const op = {
-                component: 'Insert',
-                sql: `INSERT INTO ${e.table} (${cols.join(', ')}) VALUES (${placeholders})`,
-                where: null,
-                params: cols.map((c) => pathToRef(e.columns[c])),
-                assembly: { shape: 'items' },
-            };
-            return { id: nextId('edge'), role: 'edge', op, label: `edge m2m link ${e.table}` };
-        }
-        // unset → DELETE FROM join WHERE all columns match
-        const op = {
-            component: 'Delete',
-            sql: `DELETE FROM ${e.table}${ir_1.WHERE_SLOT}`,
-            where: { connector: 'AND', fragments: cols.map((c) => ({ always: true, sql: `${c} = ?`, params: [pathToRef(e.columns[c])] })) },
-            params: [],
-            assembly: { shape: 'items' },
-        };
-        return { id: nextId('edge'), role: 'edge', op, label: `edge m2m unlink ${e.table}` };
-    }
-    // fk: UPDATE <related> SET <fkCol> = ? (or NULL) WHERE <where keys…>
-    const setCols = Object.keys(e.columns);
-    const whereCols = Object.keys(e.where);
-    const setClauses = setCols.map((c) => (e.action === 'set' ? `${c} = ?` : `${c} = NULL`));
-    const setParams = e.action === 'set' ? setCols.map((c) => pathToRef(e.columns[c])) : [];
-    const op = {
-        component: 'Update',
-        sql: `UPDATE ${e.table} SET ${setClauses.join(', ')}${ir_1.WHERE_SLOT}`,
-        where: { connector: 'AND', fragments: whereCols.map((c) => ({ always: true, sql: `${c} = ?`, params: [pathToRef(e.where[c])] })) },
-        params: setParams,
-        assembly: { shape: 'items' },
-    };
-    return { id: nextId('edge'), role: 'edge', op, label: `edge fk ${e.action} ${e.table}` };
-}
-/**
- * `emits` → an outbox INSERT (same tx): `INSERT INTO <outbox>(type, payload) VALUES(?, ?)`.
- * `type` is the literal event name; `payload` is a bc `{obj:{…}}` of the path-rooted values,
- * serialized to a JSON text column by the runtime (the outbox `payload` column). Emitting the
- * payload as a single `obj` param keeps the SQL text stable (two `?` slots).
- *
- * Single-field payloads (`{obj:{one:…}}`) are fully supported: the portability guard treats
- * the `obj` arg as a FIELD MAP (its keys are data field names, not opcodes) and recurses into
- * the field values only — the same semantics as bc's guard/evaluator. (Fixed in #38; the guard
- * previously misread the lone field name as an unknown opcode.)
- */
-function compileEmit(e, nextId) {
-    const payloadObj = {};
-    for (const [k, v] of Object.entries(e.payload))
-        payloadObj[k] = pathToRef(v);
-    const op = {
-        component: 'Insert',
-        sql: `INSERT INTO ${e.outboxTable} (type, payload) VALUES (?, ?)`,
-        where: null,
-        params: [e.name, { obj: payloadObj }],
-        assembly: { shape: 'items' },
-    };
-    return { id: nextId('emit'), role: 'emit', op, label: `emit ${e.name}` };
-}
-/**
- * Compile ONE base write + its effects into an ordered node group: its gate statements, its body
- * (which `binds` the write name for composite scope), then its derive/edges/emits. `seqBase` is
- * the group's starting declaration index; the returned nodes carry contiguous `seq` values so the
- * topo tie-break is a stable, insertion-independent total order.
- */
-function compileWriteGroup(base, lifecycle, nextId, dialect, seqRef) {
-    const e = lifecycle.effects;
-    const nodes = [];
-    const mk = (stmt, isGate) => {
-        const consumes = refHeadsOf(stmt).filter((h) => h !== writes_1.ENTITY_ROOT && !isInputHead(h, stmt));
-        return { stmt, seq: seqRef.n++, consumes, produces: stmt.binds ?? null, isGate };
-    };
-    for (const r of e.requires ?? [])
-        nodes.push(mk(compileRequires(r, nextId), true));
-    if (e.idempotency !== undefined)
-        nodes.push(mk(compileIdempotency(e.idempotency, nextId, dialect), true));
-    for (const u of e.unique ?? [])
-        nodes.push(mk(compileUnique(u, nextId, dialect), true));
-    const bodyId = nextId('body');
-    const bodyStmt = {
-        id: bodyId,
-        role: 'body',
-        op: base.op,
-        label: base.label,
-        ...(base.name !== undefined ? { binds: base.name } : {}),
-    };
-    nodes.push(mk(bodyStmt, false));
-    for (const d of e.derive ?? [])
-        nodes.push(mk(compileDerive(d, nextId), false));
-    for (const ed of e.edges ?? [])
-        nodes.push(mk(compileEdge(ed, nextId), false));
-    for (const em of e.emits ?? [])
-        nodes.push(mk(compileEmit(em, nextId), false));
-    return { nodes, bodyId };
-}
-/**
- * Topologically order the DAG nodes into the executable statement sequence (spec §6 / §14 "write-
- * time tx DAG 導出"). Edges:
- *   1. DATA dependency — a node consuming `$.ref.<w>.*` runs AFTER the node that produces `<w>`.
- *   2. GATE-FIRST — every gate runs before every non-gate (a semantic invariant: a gate must be
- *      able to short-circuit BEFORE any dependent body/derive/edge/emit work; spec §6 "Gate First").
- * Determinism: a Kahn topo sort whose ready-set is drained in ascending `seq` (declaration order),
- * so the SAME input always yields the SAME order → byte-identical SQL (the golden bar). A cycle
- * (data dependency vs gate-first, or a mutual `$.ref` cycle) is UNRESOLVABLE — ESCALATE loudly
- * rather than pick a silent order (hard rule: no guessed default on a genuine ambiguity).
- */
-function topoOrder(nodes) {
-    const byName = new Map();
-    for (const n of nodes) {
-        if (n.produces !== null) {
-            if (byName.has(n.produces)) {
-                throw new Error(`write-plan: two writes both bind the name '${n.produces}' — write names must be unique in a composite Command.`);
-            }
-            byName.set(n.produces, n);
-        }
-    }
-    // Build the edge set producer→consumer + gate→non-gate. `preds` counts in-edges per node.
-    const idOf = new Map();
-    for (const n of nodes)
-        idOf.set(n, n.stmt.id);
-    const succ = new Map(); // stmt id → dependent stmt ids
-    const indeg = new Map();
-    const nodeById = new Map();
-    for (const n of nodes) {
-        nodeById.set(n.stmt.id, n);
-        succ.set(n.stmt.id, new Set());
-        indeg.set(n.stmt.id, 0);
-    }
-    const addEdge = (fromId, toId) => {
-        if (fromId === toId)
-            return;
-        const s = succ.get(fromId);
-        if (!s.has(toId)) {
-            s.add(toId);
-            indeg.set(toId, indeg.get(toId) + 1);
-        }
-    };
-    // 1. data-dependency edges (producer → each consumer).
-    for (const n of nodes) {
-        for (const dep of n.consumes) {
-            const producer = byName.get(dep);
-            if (producer === undefined) {
-                throw new Error(`write-plan: statement '${n.stmt.label}' references '$.ref.${dep}.*' but no write in this ` +
-                    `Command binds the name '${dep}' — a dangling write reference (fail-closed; no silent skip).`);
-            }
-            addEdge(producer.stmt.id, n.stmt.id);
-        }
-    }
-    // 2. gate-first edges (every gate → every non-gate).
-    const gates = nodes.filter((n) => n.isGate);
-    const nonGates = nodes.filter((n) => !n.isGate);
-    for (const g of gates)
-        for (const b of nonGates)
-            addEdge(g.stmt.id, b.stmt.id);
-    // Kahn's algorithm; the ready frontier is drained in ascending declaration `seq` (stable).
-    const ordered = [];
-    const ready = nodes.filter((n) => indeg.get(n.stmt.id) === 0).sort((a, b) => a.seq - b.seq);
-    while (ready.length > 0) {
-        const n = ready.shift();
-        ordered.push(n.stmt);
-        for (const depId of succ.get(n.stmt.id)) {
-            indeg.set(depId, indeg.get(depId) - 1);
-            if (indeg.get(depId) === 0) {
-                const dn = nodeById.get(depId);
-                // insert keeping the frontier sorted by seq (stable deterministic drain)
-                let lo = 0;
-                while (lo < ready.length && ready[lo].seq < dn.seq)
-                    lo++;
-                ready.splice(lo, 0, dn);
-            }
-        }
-    }
-    if (ordered.length !== nodes.length) {
-        const stuck = nodes.filter((n) => !ordered.includes(n.stmt)).map((n) => n.stmt.label);
-        throw new Error(`write-plan: the write-time transaction DAG has a CYCLE (unresolvable ordering among ` +
-            `[${stuck.join(', ')}]). This is either a mutual '$.ref' data dependency or a gate that ` +
-            `depends on a body row (a gate cannot depend on a not-yet-written row). ESCALATE: the ` +
-            `Command's write dependencies are contradictory — no order satisfies both the data ` +
-            `dependencies and gate-first. (Fail-closed; the derivation never guesses an order.)`);
-    }
-    return ordered;
-}
-/**
- * Derive the ORDERED, gate-first {@link TransactionPlan} from a Command's base write(s) + its
- * lifecycle save contract (spec §6 / §14).
- *
- * ## Single base write (WS5 scope)
- *
- * One base write + a top-level `lifecycle`; the order is the fixed §6 group
- * (requires → idempotency → unique → BODY → derive → edges → emits). `$.entity.*` references in
- * derive/edges/emits require the body write to RETURN the entity row (else a loud build error).
- *
- * ## Composite / nested write (WS8a scope) — real DAG derivation
- *
- * Multiple base writes, each carrying its OWN {@link BaseWrite.effects} and a `name`. A later
- * write references an earlier write's RETURNING row via `$.ref.<name>.<field>` (e.g. a child
- * INSERT keyed by the parent's returned id). The derivation builds the data-dependency graph
- * (statement → the writes it references) + the gate-first constraint, TOPOLOGICALLY orders it
- * (deterministic, stable tie-break), and emits ONE ordered gate-first transaction plan. A cycle
- * or dangling reference is ESCALATED (no silent mis-derivation).
- *
- * @throws if a `$.entity.*` reference lacks a RETURNING body, a `$.ref.*` is dangling, two writes
- *   bind the same name, or the dependency graph has a cycle.
- */
-function deriveTransactionPlan(phase, bases, lifecycle, dialect = dialect_1.SQLITE) {
-    if (bases.length === 0) {
-        throw new Error('write-plan: a Command must declare at least one base write (Insert/Update/Delete).');
-    }
-    const nextId = makeIdGen();
-    const seqRef = { n: 0 };
-    const composite = bases.length > 1;
-    // Each base write contributes a node group. In single-base WS5 scope the lifecycle is the
-    // top-level arg; in composite scope each base carries its own `effects` (the shared top-level
-    // `lifecycle` still applies to the FIRST base — the Command body — for backward-compatible
-    // single-write callers that pass effects there).
-    const allNodes = [];
-    const bodyIds = [];
-    bases.forEach((base, i) => {
-        const lc = base.effects !== undefined ? { effects: base.effects } : i === 0 ? lifecycle : { effects: {} };
-        const { nodes, bodyId } = compileWriteGroup(base, lc, nextId, dialect, seqRef);
-        allNodes.push(...nodes);
-        bodyIds.push(bodyId);
-    });
-    const statements = topoOrder(allNodes);
-    // `$.entity.*` back-compat: the SOLE base write's RETURNING row is exposed under __entity.
-    const soleBody = bases[0];
-    const soleBodyId = bodyIds[0];
-    const usesEntity = referencesHead(statements, writes_1.ENTITY_ROOT);
-    const soleBodyReturns = /\breturning\b/i.test(soleBody.op.sql);
-    if (usesEntity && composite) {
-        throw new Error(`write-plan: a composite (multi-write) Command uses '$.entity.*' — ambiguous which write it ` +
-            `denotes. Address each write's row by name via '$.ref.<writeName>.<field>' (fail-closed).`);
-    }
-    if (usesEntity && !soleBodyReturns) {
-        throw new Error(`write-plan: a derive/edges/emits stage references '$.entity.*' but the body write ` +
-            `('${soleBody.label}') has no RETURNING clause — the written row cannot be exposed to later ` +
-            `stages. Add a RETURNING to the base write (fail-closed; no absent-entity default).`);
-    }
-    const entityFrom = usesEntity || (!composite && soleBodyReturns) ? soleBodyId : null;
-    // Every write that a later statement references via `$.ref.<name>.*` MUST RETURN its row.
-    for (const base of bases) {
-        if (base.name === undefined)
-            continue;
-        if (referencesHead(statements, base.name) && !/\breturning\b/i.test(base.op.sql)) {
-            throw new Error(`write-plan: write '${base.name}' is referenced as '$.ref.${base.name}.*' by a later ` +
-                `statement but its op has no RETURNING clause — its row cannot be bound for downstream ` +
-                `writes. Add a RETURNING to write '${base.name}' (fail-closed; no absent-row default).`);
-        }
-    }
-    // Hard rule: every param slot in the plan is closed-set Expression IR only. Fail-closed.
-    for (const s of statements)
-        (0, guard_1.assertOperationPortable)(s.op);
-    return { phase, entityFrom, statements, onIdempotentHit: 'rollback' };
-}
-/** Collect the ref-heads (`ref[0]`) a statement's params + where reference. */
-function refHeadsOf(stmt) {
-    const heads = new Set();
-    collectRefHeads(stmt.op.params, heads);
-    if (stmt.op.where !== null)
-        collectWhereHeads(stmt.op.where, heads);
-    return [...heads];
-}
-/**
- * True if a ref-head is an INPUT head (a bare `$.input.<f>` → `{ref:['<f>']}`), i.e. NOT a
- * cross-statement dependency. An input head is a single-element `ref` path whose head is a plain
- * field. We distinguish it from a write-name head (`$.ref.<w>.<f>` → `{ref:['<w>','<f>']}`, a
- * 2-element path) and the sole-entity head (`__entity`). A 2-element `ref` whose head is neither
- * `__entity` nor a declared write name would be a dangling reference (caught in {@link topoOrder}).
- */
-function isInputHead(head, stmt) {
-    // An input ref is a 1-element path `{ref:[head]}`; a dependency ref is 2-element `{ref:[w,f]}`.
-    return refPathLengthFor(stmt, head) === 1;
-}
-/** The (max) path length of a `ref` node whose head equals `head`, within a statement's op. */
-function refPathLengthFor(stmt, head) {
-    let maxLen = 0;
-    const walk = (node) => {
-        if (node === null || typeof node !== 'object')
-            return;
-        if (Array.isArray(node)) {
-            for (const el of node)
-                walk(el);
-            return;
-        }
-        const keys = Object.keys(node);
-        if (keys.length === 1 && keys[0] === 'ref') {
-            const path = node.ref;
-            if (Array.isArray(path) && path[0] === head)
-                maxLen = Math.max(maxLen, path.length);
-            return;
-        }
-        for (const k of keys)
-            walk(node[k]);
-    };
-    walk(stmt.op.params);
-    if (stmt.op.where !== null) {
-        const collectWhere = (node) => {
-            if (node === null || typeof node !== 'object')
-                return;
-            const n = node;
-            if ('connector' in n && Array.isArray(n.fragments)) {
-                for (const f of n.fragments)
-                    collectWhere(f);
-                return;
-            }
-            if (Array.isArray(n.params))
-                walk(n.params);
-        };
-        collectWhere(stmt.op.where);
-    }
-    return maxLen;
-}
-/** True if any statement's compiled op references a `{ref:[head, …]}` head. */
-function referencesHead(statements, head) {
-    const heads = new Set();
-    for (const s of statements) {
-        collectRefHeads(s.op.params, heads);
-        if (s.op.where !== null)
-            collectWhereHeads(s.op.where, heads);
-    }
-    return heads.has(head);
-}
-function collectRefHeads(node, heads) {
-    if (node === null || typeof node !== 'object')
-        return;
-    if (Array.isArray(node)) {
-        for (const el of node)
-            collectRefHeads(el, heads);
-        return;
-    }
-    const keys = Object.keys(node);
-    if (keys.length === 1 && keys[0] === 'ref') {
-        const path = node.ref;
-        if (Array.isArray(path) && typeof path[0] === 'string')
-            heads.add(path[0]);
-        return;
-    }
-    for (const k of keys)
-        collectRefHeads(node[k], heads);
-}
-function collectWhereHeads(node, heads) {
-    if (node === null || typeof node !== 'object')
-        return;
-    const n = node;
-    if ('connector' in n && Array.isArray(n.fragments)) {
-        for (const f of n.fragments)
-            collectWhereHeads(f, heads);
-        return;
-    }
-    if (Array.isArray(n.params))
-        collectRefHeads(n.params, heads);
-}
-//# sourceMappingURL=write-plan.js.map

package/dist/scp/write-plan.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"write-plan.js","sourceRoot":"","sources":["../../src/scp/write-plan.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;;AA8dH,sDAgEC;AA3hBD,6BAAkC;AAClC,mCAAkD;AAClD,uCAAiD;AACjD,qCAYkB;AAwElB,iFAAiF;AAEjF;;;;;;;;GAQG;AACH,SAAS,SAAS,CAAC,KAAa;IAC9B,MAAM,CAAC,GAAG,IAAA,wBAAe,EAAC,KAAK,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAc,CAAC;IAC9D,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,GAAG,EAAE,CAAC,oBAAW,EAAE,CAAC,CAAC,KAAK,CAAC,EAAc,CAAC;IAC5E,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,SAAU,EAAE,CAAC,CAAC,KAAK,CAAC,EAAc,CAAC,CAAC,mCAAmC;AAC1F,CAAC;AAWD,SAAS,SAAS;IAChB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,IAAY,EAAE,EAAE,CAAC,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;AAC/C,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,CAAiB,EAAE,MAAa;IACvD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC,KAAK,oBAAoB,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,EAAE,GAAsB;QAC5B,SAAS,EAAE,QAAQ;QACnB,GAAG,EAAE,iBAAiB,CAAC,CAAC,KAAK,UAAU,QAAQ,EAAE;QACjD,KAAK,EAAE,IAAI;QACX,MAAM;QACN,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;KAC7B,CAAC;IACF,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;AACzH,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,CAAoB,EAAE,MAAa,EAAE,OAAgB;IAC/E,mFAAmF;IACnF,2FAA2F;IAC3F,MAAM,EAAE,GAAsB;QAC5B,SAAS,EAAE,QAAQ;QACnB,GAAG,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC;QAClD,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5B,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;KAC7B,CAAC;IACF,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;AACzH,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CAAC,CAAe,EAAE,MAAa,EAAE,OAAgB;IACrE,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,MAAM,GAAe;QACzB,CAAC,CAAC,IAA2B,EAAE,sDAAsD;QACrF,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;QACzB,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;KAC3B,CAAC;IACF,MAAM,EAAE,GAAsB;QAC5B,SAAS,EAAE,QAAQ;QACnB,GAAG,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,YAAY,CAAC;QAC1D,KAAK,EAAE,IAAI;QACX,MAAM;QACN,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;KAC7B,CAAC;IACF,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACpH,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CAAC,CAAe,EAAE,MAAa;IACnD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC,KAAK,oBAAoB,CAAC,CAAC;IACjG,2FAA2F;IAC3F,4FAA4F;IAC5F,MAAM,EAAE,GAAsB;QAC5B,SAAS,EAAE,QAAQ;QACnB,GAAG,EAAE,UAAU,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,SAAS,OAAO,eAAU,EAAE;QAC7E,KAAK,EAAE;YACL,SAAS,EAAE,KAAK;YAChB,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACnG;QACD,MAAM,EAAE,CAAC,CAAC,CAAC,MAA6B,CAAC;QACzC,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;KAC7B,CAAC;IACF,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;AACjG,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,CAAa,EAAE,MAAa;IAC/C,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YACvB,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpD,MAAM,EAAE,GAAsB;gBAC5B,SAAS,EAAE,QAAQ;gBACnB,GAAG,EAAE,eAAe,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,YAAY,GAAG;gBAC3E,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChD,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;aAC7B,CAAC;YACF,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QACrF,CAAC;QACD,mDAAmD;QACnD,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,eAAe,CAAC,CAAC,KAAK,GAAG,eAAU,EAAE;YAC1C,KAAK,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAC/H,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;SAC7B,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,mBAAmB,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;IACvF,CAAC;IACD,qEAAqE;IACrE,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAM,CAAC,CAAC;IACxC,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IACzF,MAAM,SAAS,GAAe,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpG,MAAM,EAAE,GAAsB;QAC5B,SAAS,EAAE,QAAQ;QACnB,GAAG,EAAE,UAAU,CAAC,CAAC,KAAK,QAAQ,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,eAAU,EAAE;QAClE,KAAK,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QACnI,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;KAC7B,CAAC;IACF,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;AAC3F,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,WAAW,CAAC,CAAa,EAAE,MAAa;IAC/C,MAAM,UAAU,GAA6B,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QAAE,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,EAAE,GAAsB;QAC5B,SAAS,EAAE,QAAQ;QACnB,GAAG,EAAE,eAAe,CAAC,CAAC,WAAW,gCAAgC;QACjE,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,CAAC,CAAC,CAAC,IAA2B,EAAE,EAAE,GAAG,EAAE,UAAU,EAAyB,CAAC;QACnF,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;KAC7B,CAAC;IACF,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AAC3E,CAAC;AA+CD;;;;;GAKG;AACH,SAAS,iBAAiB,CACxB,IAAe,EACf,SAA4B,EAC5B,MAAa,EACb,OAAgB,EAChB,MAAqB;IAErB,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC;IAC5B,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,MAAM,EAAE,GAAG,CAAC,IAAiB,EAAE,MAAe,EAAW,EAAE;QACzD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,oBAAW,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5F,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,IAAI,IAAI,EAAE,MAAM,EAAE,CAAC;IACnF,CAAC,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACnF,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC1G,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAExF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAgB;QAC5B,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,MAAM;QACZ,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzD,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;IAEhC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAChF,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/E,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAE/E,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,SAAS,CAAC,KAAyB;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACxB,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC,QAAQ,wDAAwD,CAAC,CAAC;YACpI,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,0FAA0F;IAC1F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAuB,CAAC,CAAC,+BAA+B;IAC5E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC/B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,IAAY,EAAQ,EAAE;QACrD,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACjB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACZ,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,GAAG,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC,CAAC;IAEF,uDAAuD;IACvD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,0BAA0B,CAAC,CAAC,IAAI,CAAC,KAAK,uBAAuB,GAAG,2BAA2B;oBACzF,2BAA2B,GAAG,+DAA+D,CAChG,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,qDAAqD;IACrD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE/E,2FAA2F;IAC3F,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAc,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACvG,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAE,EAAE,CAAC;YACzC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAE,GAAG,CAAC,CAAC,CAAC;YACxC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3B,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC;gBAChC,yEAAyE;gBACzE,IAAI,EAAE,GAAG,CAAC,CAAC;gBACX,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG;oBAAE,EAAE,EAAE,CAAC;gBACzD,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtF,MAAM,IAAI,KAAK,CACb,sFAAsF;YACpF,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,qEAAqE;YACzF,uFAAuF;YACvF,oFAAoF;YACpF,oFAAoF,CACvF,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAgB,qBAAqB,CACnC,KAA0B,EAC1B,KAA2B,EAC3B,SAA4B,EAC5B,UAAmB,gBAAM;IAEzB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,oFAAoF,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACxB,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAEnC,0FAA0F;IAC1F,8FAA8F;IAC9F,2FAA2F;IAC3F,iDAAiD;IACjD,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACxB,MAAM,EAAE,GAAsB,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QAC7H,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC/E,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QACxB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IAEvC,2FAA2F;IAC3F,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,UAAU,GAAG,cAAc,CAAC,UAAU,EAAE,oBAAW,CAAC,CAAC;IAC3D,MAAM,eAAe,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IAC/D,IAAI,UAAU,IAAI,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACb,6FAA6F;YAC3F,0FAA0F,CAC7F,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,IAAI,CAAC,eAAe,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,oFAAoF;YAClF,KAAK,QAAQ,CAAC,KAAK,0EAA0E;YAC7F,oFAAoF,CACvF,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,IAAI,CAAC,CAAC,SAAS,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IAErF,0FAA0F;IAC1F,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACtC,IAAI,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACjF,MAAM,IAAI,KAAK,CACb,sBAAsB,IAAI,CAAC,IAAI,6BAA6B,IAAI,CAAC,IAAI,iBAAiB;gBACpF,wFAAwF;gBACxF,qCAAqC,IAAI,CAAC,IAAI,yCAAyC,CAC1F,CAAC;QACJ,CAAC;IACH,CAAC;IAED,yFAAyF;IACzF,KAAK,MAAM,CAAC,IAAI,UAAU;QAAE,IAAA,+BAAuB,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE1D,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC;AACxE,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU,CAAC,IAAiB;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvC,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI;QAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACpE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,IAAY,EAAE,IAAiB;IAClD,gGAAgG;IAChG,OAAO,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,+FAA+F;AAC/F,SAAS,gBAAgB,CAAC,IAAiB,EAAE,IAAY;IACvD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,IAAI,GAAG,CAAC,IAAa,EAAQ,EAAE;QACnC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO;QACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,KAAK,MAAM,EAAE,IAAI,IAAI;gBAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YAChC,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAI,IAAgC,CAAC,GAAG,CAAC;YACnD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACpF,OAAO;QACT,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,IAAI,CAAE,IAAgC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACrB,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC3B,MAAM,YAAY,GAAG,CAAC,IAAa,EAAQ,EAAE;YAC3C,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO;YACtD,MAAM,CAAC,GAAG,IAAyE,CAAC;YACpF,IAAI,WAAW,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;gBACnD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;oBAAE,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC7C,OAAO;YACT,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC,CAAC;QACF,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,+EAA+E;AAC/E,SAAS,cAAc,CAAC,UAAkC,EAAE,IAAY;IACtE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI;YAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,eAAe,CAAC,IAAa,EAAE,KAAkB;IACxD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,EAAE,IAAI,IAAI;YAAE,eAAe,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAI,IAAgC,CAAC,GAAG,CAAC;QACnD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,eAAe,CAAE,IAAgC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,iBAAiB,CAAC,IAA6D,EAAE,KAAkB;IAC1G,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO;IACtD,MAAM,CAAC,GAAG,IAAyE,CAAC;IACpF,IAAI,WAAW,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;YAAE,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACzD,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;QAAE,eAAe,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAChE,CAAC"}

package/dist/scp/write-runtime.d.ts

@@ -1,80 +0,0 @@
-/**
- * litedbmodel v2 SCP — write-time transaction runtime (WS5, #25; spec §6 / §3 / §11).
- *
- * Executes a derived {@link TransactionPlan} against REAL SQLite as ONE transaction with
- * gate-first short-circuit (spec §6). It renders each ordered statement with the SAME normative
- * {@link renderOperation} the read path uses (fragment tree + Expression-IR param slots), and
- * drives an explicit `BEGIN` / `COMMIT` / `ROLLBACK` envelope through the SAME synchronous
- * driver seam ({@link SqliteDb}) the WS3 runtime uses — no mock, no separate interpreter.
- *
- * ## The transaction envelope (spec §6) — Tx is derived, not authored
- *
- *   BEGIN;
- *     for each ordered statement:
- *       render (input + accumulated $.entity row) → execute REAL SQL
- *       if it is a GATE and its rule FAILS  → ROLLBACK and stop (remaining SQL never runs)
- *   COMMIT;   (or ROLLBACK on a driver failure / gate fail)
- *
- * The body write's RETURNING row is captured and exposed to the derive/edges/emits stages under
- * `$.entity.*` ({@link ENTITY_ROOT}) — the §6 example's `$.entity.id`.
- *
- * ## Gate-first is a REAL behavior (spec §6 "Gate First"), proven, not textual
- *
- * A gate statement's {@link GateRule} is evaluated on its actual driver result:
- *   - `existsElseRollback` — `SELECT 1 …` returned ZERO rows ⇒ the required row is absent ⇒
- *     ROLLBACK; the body + all later statements are NEVER prepared/executed (a real query-count
- *     drop, observable via a counting driver, and the DB is unchanged).
- *   - `insertedElseRollback` — a `unique` guard `INSERT … ON CONFLICT DO NOTHING` affected ZERO
- *     rows ⇒ a collision ⇒ ROLLBACK.
- *   - `insertedElseNoop` — an `idempotency` token INSERT affected ZERO rows ⇒ a DUPLICATE request
- *     ⇒ short-circuit as a no-op: ROLLBACK the (empty-so-far) transaction, so a duplicate
- *     `request_id` performs NO double write (idempotent).
- *
- * A short-circuit returns a structured {@link TransactionResult} (`committed:false`) rather than
- * throwing — the caller distinguishes a legitimate gate outcome (absent requires / unique
- * collision / duplicate) from a driver Failure (which IS mapped + thrown, spec §11 item 5).
- */
-import type { Scope } from 'behavior-contracts';
-import { type Dialect } from './dialect';
-import type { TransactionPlan } from './write-plan';
-import type { SqliteDb } from './runtime';
-/** Why a transaction did not commit (a gate short-circuit outcome; not a driver error). */
-export type ShortCircuitReason = 'requires_absent' | 'unique_collision' | 'idempotent_duplicate';
-/** The structured outcome of executing a {@link TransactionPlan}. */
-export interface TransactionResult {
-    /** Whether the transaction COMMITted (`true`) or short-circuited + ROLLBACKed (`false`). */
-    readonly committed: boolean;
-    /** When short-circuited: which gate stopped it (and thus which later SQL never ran). */
-    readonly shortCircuit?: {
-        readonly statementId: string;
-        readonly reason: ShortCircuitReason;
-    };
-    /** The body write's RETURNING row (`$.entity`), or null when the tx short-circuited/omitted RETURNING. */
-    readonly entity: Record<string, unknown> | null;
-    /** The ordered ids of the statements actually EXECUTED (gate-first short-circuit drops the tail). */
-    readonly executed: readonly string[];
-}
-/**
- * Execute a derived {@link TransactionPlan} as ONE real SQLite transaction with gate-first
- * short-circuit (spec §6). Statements run in the plan's fixed order (requires → idempotency →
- * unique → body → derive → edges → emits); a failing gate ROLLBACKs and the remaining statements
- * are never executed. On success COMMITs and returns the `$.entity` RETURNING row.
- *
- * @param db     the synchronous SQLite driver (better-sqlite3 `Database`), supporting `BEGIN` /
- *               `COMMIT` / `ROLLBACK` via `prepare(...).run()`.
- * @param plan   the derived transaction plan (pure JSON; from `deriveTransactionPlan` or the bundle).
- * @param input  the Command input scope (`$.input.*` = bc flat scope).
- * @throws {SqlFailure} a mapped driver failure (the transaction is ROLLBACKed first, spec §11).
- */
-export declare function executeTransaction(db: SqliteDb, plan: TransactionPlan, input: Scope, dialect?: Dialect): TransactionResult;
-/**
- * A counting {@link SqliteDb} wrapper: forwards every call to the wrapped driver but records
- * each PREPARED SQL string. Tests use it to PROVE gate-first short-circuit — after an absent
- * `requires`, the body/derive/edges/emits SQL is never prepared (a real, observable query-count
- * drop), not merely absent from a text list. This is a test aid living beside the runtime.
- */
-export declare function countingDriver(db: SqliteDb): {
-    db: SqliteDb;
-    prepared: string[];
-};
-//# sourceMappingURL=write-runtime.d.ts.map

package/dist/scp/write-runtime.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"write-runtime.d.ts","sourceRoot":"","sources":["../../src/scp/write-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAS,MAAM,oBAAoB,CAAC;AAKvD,OAAO,EAAU,KAAK,OAAO,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,KAAK,EAAY,eAAe,EAAe,MAAM,cAAc,CAAC;AAC3E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE1C,2FAA2F;AAC3F,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,sBAAsB,CAAC;AAEjG,qEAAqE;AACrE,MAAM,WAAW,iBAAiB;IAChC,4FAA4F;IAC5F,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,wFAAwF;IACxF,QAAQ,CAAC,YAAY,CAAC,EAAE;QAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAA;KAAE,CAAC;IAC9F,0GAA0G;IAC1G,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IAChD,qGAAqG;IACrG,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAkDD;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,GAAE,OAAgB,GAAG,iBAAiB,CA6ClI;AAeD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,QAAQ,GAAG;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CASjF"}