litedbmodel 1.2.9 → 2.0.0

package/dist/scp/bridge.js

@@ -0,0 +1,329 @@
+"use strict";
+/**
+ * litedbmodel v2 SCP — the WS1↔WS3 Backend-Compile bridge (WS3, #23).
+ *
+ * WS2 (`authoring.ts`) produces the REAL behavior-contracts `ComponentGraphIR`: a
+ * Component's body carries `componentRef` / `map` nodes whose `ports` are Expression IR.
+ * The SQL-structural ports (`where`, `select`, `values.<field>`, `set.<field>`, `limit`,
+ * `order`, …) are NOT plain scalars — the `where` port is `{arr:[ <cond-expr>, … ]}` where
+ * a SKIP-optional condition is a pure `{cond:[c, <frag-expr>, null]}` node (WS2), and a
+ * comparison condition is a closed-set Expression `{eq:[<colRef>, <valueExpr>]}` (spec §7).
+ *
+ * WS1's Backend-Compile (`compile-sqlite.ts`) consumes a structured `SelectDesc` /
+ * `Condition[]`. NOTHING produced that shape from the real IR — this module closes that
+ * gap. It reads a raw `componentRef`/`map` node's ports directly and lowers them to WS1's
+ * `CompiledOperation` (SQL text + fragment tree + static param slots), performing the
+ * **SKIP → fragment-existence collapse**: a `{cond:[c, frag, null]}` where-member becomes a
+ * fragment guarded by `when: c` (present iff `c` is present), exactly the existence rule
+ * `render.ts` implements (dynamic-expansion spec §2). This is the single place that maps
+ * the real bc port shape → WS1 compile input; WS1's compiler is unchanged (its golden
+ * SQL text is the pinned bar) and now has a producer for its `SelectDesc`/`Condition`.
+ *
+ * ## WHERE condition interpretation (spec §7) — closed-set ONLY
+ *
+ * SKIP existence, IN-list membership and IS NULL are **fragment structure, NOT Expression
+ * IR opcodes** (catalog `where` port type is `fragment`; bc `expression-ir.md` §4: SKIP is
+ * OUTSIDE Expression IR). But bc's authoring lowering (`compileBehaviors`) only emits
+ * closed-set Expression IR into a port, so every where-member arrives as a closed-set node.
+ * This bridge therefore reads them STRUCTURALLY into fragment kinds WITHOUT inventing any
+ * opcode (the hard rule): every member is one of bc's closed operators, decoded here.
+ *
+ *   - `{eq:[<colRef>, null]}`          → `{ kind:'isNull', column }`  (SQL `col IS NULL`)
+ *   - `{eq:[<colRef>, <valueExpr>]}`   → `{ kind:'eq',  column, value:<valueExpr> }`
+ *   - `{eq:[{ref:[IN_SENTINEL, col]}, <arrExpr>]}` → `{ kind:'in', column, value:<arrExpr> }`
+ *   - `{lt|le|gt|ge|ne:[<colRef>, v]}` → `{ kind:'cmp', column, op, value:v }`
+ *   - `{and|or:[m1, m2, …]}`           → a nested `{ kind:'group', connector, conditions }`
+ *   - `{cond:[c, <member>, null]}`     → the lowered `<member>` with `skipWhen: c` (SKIP)
+ *
+ * The LEFT operand of a comparison names the column (spec §7 `{ref:["author_id"]}`): its
+ * `ref` path's LAST segment is the column name. The RIGHT operand is the value slot — a
+ * closed-set Expression IR node bound at render time. The litedbmodel authoring helpers
+ * ({@link import('./authoring-sql')}) produce exactly these closed-set encodings, so the
+ * WS2 portability guard passes and this decoder round-trips them to the WS1 fragment tree.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IN_SENTINEL = void 0;
+exports.compileNode = compileNode;
+exports.compileComponentNodes = compileComponentNodes;
+/** The reserved column-ref path head that marks an IN-list membership (see module doc). */
+exports.IN_SENTINEL = '@in';
+const compile_sqlite_1 = require("./compile-sqlite");
+const compile_dialect_1 = require("./compile-dialect");
+const dialect_1 = require("./dialect");
+function isMap(n) {
+    return 'map' in n;
+}
+/** The catalog-name + ports of a `componentRef`/`map` body node (uniform view). */
+function nodeRef(n) {
+    return isMap(n) ? { component: n.map.component, ports: n.map.ports } : { component: n.component, ports: n.ports };
+}
+// ── Port readers (structural — no evaluation) ─────────────────────────────────
+/** A port that must be a literal string (`table`, `order`, `group`, `returning`). */
+function stringPort(ports, name) {
+    const v = ports[name];
+    if (v === undefined)
+        return undefined;
+    if (typeof v !== 'string') {
+        throw new Error(`bridge: port '${name}' must be a literal string in the IR (got ${JSON.stringify(v)})`);
+    }
+    return v;
+}
+/** A `{arr:[...]}` port → its element array (a bc-lowered literal array). */
+function arrPort(ports, name) {
+    const v = ports[name];
+    if (v === undefined)
+        return undefined;
+    if (typeof v === 'object' && v !== null && 'arr' in v && Array.isArray(v.arr)) {
+        return v.arr;
+    }
+    throw new Error(`bridge: port '${name}' must be an {arr:[...]} literal in the IR (got ${JSON.stringify(v)})`);
+}
+/** `select` / `returning` string-array port → `string[]` (elements must be literals). */
+function stringArrayPort(ports, name) {
+    const arr = arrPort(ports, name);
+    if (arr === undefined)
+        return undefined;
+    return arr.map((e) => {
+        if (typeof e !== 'string')
+            throw new Error(`bridge: '${name}' entries must be literal strings (got ${JSON.stringify(e)})`);
+        return e;
+    });
+}
+/** The single-key operator name of an Expression node, or undefined if not a 1-key object. */
+function opKey(node) {
+    if (node === null || typeof node !== 'object' || Array.isArray(node))
+        return undefined;
+    const keys = Object.keys(node);
+    return keys.length === 1 ? keys[0] : undefined;
+}
+/** The column name carried by a `ref`/`refOpt` path (its LAST segment — spec §7). */
+function columnOf(node, ctx) {
+    const op = opKey(node);
+    if (op !== 'ref' && op !== 'refOpt') {
+        throw new Error(`bridge: ${ctx}: the column operand must be a {ref:[...]} / {refOpt:[...]} path, got ${JSON.stringify(node)}`);
+    }
+    const path = node[op];
+    if (!Array.isArray(path) || path.length === 0 || typeof path[path.length - 1] !== 'string') {
+        throw new Error(`bridge: ${ctx}: column ref path must be a non-empty string path`);
+    }
+    return path[path.length - 1];
+}
+const CMP_OPS = {
+    lt: '<',
+    le: '<=',
+    gt: '>',
+    ge: '>=',
+    ne: '<>',
+};
+/**
+ * If a column operand is an IN-list membership marker (its `ref`/`refOpt` path head is
+ * {@link IN_SENTINEL}), return the real column name (the segment AFTER the sentinel);
+ * otherwise undefined. The sentinel keeps IN-list expressible with only the closed-set
+ * `eq` + `ref` operators (no invented `in` opcode).
+ */
+function inSentinelColumn(node) {
+    const op = opKey(node);
+    if (op !== 'ref' && op !== 'refOpt')
+        return undefined;
+    const path = node[op];
+    if (Array.isArray(path) && path.length >= 2 && path[0] === exports.IN_SENTINEL && typeof path[path.length - 1] === 'string') {
+        return path[path.length - 1];
+    }
+    return undefined;
+}
+/**
+ * Lower ONE where-member Expression node to a WS1 {@link Condition} (structural read).
+ * A `{cond:[c, member, null]}` node is the SKIP-optional collapse: the inner `member` is
+ * lowered and its `skipWhen` set to `c` (present iff `c` is present — dynamic-expansion §2).
+ */
+function lowerWhereMember(node, at) {
+    const op = opKey(node);
+    if (op === undefined) {
+        throw new Error(`bridge: ${at}: a where member must be a single-operator Expression node, got ${JSON.stringify(node)}`);
+    }
+    if (op === 'cond') {
+        // SKIP-optional: {cond:[c, <member>, null]}. The else branch MUST be null (absence).
+        const args = node.cond;
+        if (!Array.isArray(args) || args.length !== 3 || args[2] !== null) {
+            throw new Error(`bridge: ${at}: a SKIP-optional condition must be {cond:[c, <member>, null]} (else = null)`);
+        }
+        const inner = lowerWhereMember(args[1], `${at}.cond.then`);
+        if (inner.skipWhen !== undefined) {
+            throw new Error(`bridge: ${at}: nested SKIP guards are not supported (one cond per member)`);
+        }
+        return { ...inner, skipWhen: args[0] };
+    }
+    if (op === 'and' || op === 'or') {
+        // A nested group: {and|or:[m1, m2, ...]} → a Condition group.
+        const args = node[op];
+        if (!Array.isArray(args) || args.length < 2) {
+            throw new Error(`bridge: ${at}: '${op}' group expects >= 2 members`);
+        }
+        return {
+            kind: 'group',
+            connector: op === 'and' ? 'AND' : 'OR',
+            conditions: args.map((m, i) => lowerWhereMember(m, `${at}.${op}[${i}]`)),
+        };
+    }
+    if (op === 'eq') {
+        const [col, val] = binOperands(node, op, at);
+        // IN-list membership: the column ref path head is the reserved IN_SENTINEL.
+        const inCol = inSentinelColumn(col);
+        if (inCol !== undefined) {
+            return { kind: 'in', column: inCol, value: val };
+        }
+        // IS NULL: `eq(col, null)` (a null literal RHS) → SQL `col IS NULL` (v1 parity).
+        if (val === null) {
+            return { kind: 'isNull', column: columnOf(col, at) };
+        }
+        return { kind: 'eq', column: columnOf(col, at), value: val };
+    }
+    if (op in CMP_OPS) {
+        const [col, val] = binOperands(node, op, at);
+        return { kind: 'cmp', column: columnOf(col, at), op: CMP_OPS[op], value: val };
+    }
+    throw new Error(`bridge: ${at}: unsupported where operator '${op}' (supported: eq/ne/lt/le/gt/ge/and/or/cond; IN via ${exports.IN_SENTINEL} column head; IS NULL via eq(col,null))`);
+}
+/** Read the two operands of a binary comparison node, fail-closed on arity. */
+function binOperands(node, op, at) {
+    const args = node[op];
+    if (!Array.isArray(args) || args.length !== 2) {
+        throw new Error(`bridge: ${at}: '${op}' expects exactly 2 operands`);
+    }
+    return [args[0], args[1]];
+}
+/** Lower the `where` port (`{arr:[...]}` of member nodes) to a WS1 `Condition[]`. */
+function lowerWherePort(ports, at) {
+    const arr = arrPort(ports, 'where');
+    if (arr === undefined)
+        return undefined;
+    return arr.map((m, i) => lowerWhereMember(m, `${at}.where[${i}]`));
+}
+// ── The write value/set record families (`values.<field>` / `set.<field>`) ────
+/**
+ * Collect a flattened write record family (`<prefix>.<field>` ports) → an ordered
+ * `Record<field, ExprNode>`. Field order = declaration (insertion) order of the ports,
+ * which is the SQL column order the golden pins.
+ */
+function collectFamily(ports, prefix) {
+    const out = {};
+    for (const k of Object.keys(ports)) {
+        if (k.startsWith(`${prefix}.`))
+            out[k.slice(prefix.length + 1)] = ports[k];
+    }
+    return out;
+}
+/** Parse the Insert conflict ports into WS1's `onConflict` / `onConflictAction`. */
+function conflictOf(ports) {
+    const onConflict = stringPort(ports, 'onConflict');
+    const action = stringPort(ports, 'onConflictAction');
+    if (onConflict === undefined)
+        return {};
+    const keys = onConflict.split(',').map((s) => s.trim()).filter((s) => s.length > 0);
+    if (action === undefined || action === 'ignore') {
+        return { onConflict: keys, onConflictAction: 'ignore' };
+    }
+    if (action === 'update') {
+        // Update all inserted columns except the conflict keys (SQLite `excluded.*` upsert).
+        return { onConflict: keys, onConflictAction: { updateColumns: 'all' } };
+    }
+    // `update:col1,col2` — explicit update column list.
+    const m = /^update:(.+)$/.exec(action);
+    if (m) {
+        return { onConflict: keys, onConflictAction: { updateColumns: m[1].split(',').map((s) => s.trim()) } };
+    }
+    throw new Error(`bridge: unsupported onConflictAction '${action}' (expected 'ignore' / 'update' / 'update:col,col')`);
+}
+/** RETURNING port (`"id, title"` literal) → `string[]`. */
+function returningOf(ports) {
+    const r = stringPort(ports, 'returning');
+    if (r === undefined)
+        return undefined;
+    return r.split(',').map((s) => s.trim()).filter((s) => s.length > 0);
+}
+// ── Node → CompiledOperation ──────────────────────────────────────────────────
+/**
+ * Backend-Compile ONE catalog `componentRef`/`map` body node into a WS1
+ * {@link CompiledOperation}. This is the real IR → WS1 compile-input bridge for the
+ * SQL CRUD primitives.
+ */
+function compileNode(node, dialect = dialect_1.SQLITE) {
+    const { component, ports } = nodeRef(node);
+    const table = stringPort(ports, 'table');
+    if (table === undefined)
+        throw new Error(`bridge: ${component} node requires a literal 'table' port`);
+    const at = `${component}`;
+    switch (component) {
+        case 'Select': {
+            const select = stringArrayPort(ports, 'select');
+            if (select === undefined)
+                throw new Error(`bridge: Select requires a 'select' {arr:[...]} port`);
+            const desc = { table, select };
+            const where = lowerWherePort(ports, at);
+            if (where !== undefined)
+                desc.where = where;
+            const order = stringPort(ports, 'order');
+            if (order !== undefined)
+                desc.order = order;
+            const group = stringPort(ports, 'group');
+            if (group !== undefined)
+                desc.group = group;
+            if (ports.limit !== undefined)
+                desc.limit = ports.limit;
+            if (ports.offset !== undefined)
+                desc.offset = ports.offset;
+            return (0, compile_sqlite_1.compileSelect)(desc);
+        }
+        case 'Insert': {
+            const values = collectFamily(ports, 'values');
+            if (Object.keys(values).length === 0)
+                throw new Error(`bridge: Insert requires at least one 'values.<field>' port`);
+            const desc = { table, values, ...conflictOf(ports) };
+            const returning = returningOf(ports);
+            if (returning !== undefined)
+                desc.returning = returning;
+            return (0, compile_dialect_1.compileInsertFor)(dialect, desc);
+        }
+        case 'Update': {
+            const set = collectFamily(ports, 'set');
+            if (Object.keys(set).length === 0)
+                throw new Error(`bridge: Update requires at least one 'set.<field>' port`);
+            const where = lowerWherePort(ports, at);
+            if (where === undefined)
+                throw new Error(`bridge: Update requires a 'where' port`);
+            const desc = { table, set, where };
+            const returning = returningOf(ports);
+            if (returning !== undefined)
+                desc.returning = returning;
+            return (0, compile_sqlite_1.compileUpdate)(desc);
+        }
+        case 'Delete': {
+            const where = lowerWherePort(ports, at);
+            if (where === undefined)
+                throw new Error(`bridge: Delete requires a 'where' port`);
+            const desc = { table, where };
+            const returning = returningOf(ports);
+            if (returning !== undefined)
+                desc.returning = returning;
+            return (0, compile_sqlite_1.compileDelete)(desc);
+        }
+        default:
+            throw new Error(`bridge: catalog component '${component}' has no Backend-Compile (SQL CRUD only: Select/Insert/Update/Delete)`);
+    }
+}
+/**
+ * Backend-Compile every catalog node of a component into a `nodeId → CompiledOperation`
+ * map. `cond` nodes carry no catalog reference and are skipped (they are pure Expression,
+ * evaluated by bc's `runBehavior`). The thin runtime looks up a node's `CompiledOperation`
+ * by `ctx.nodeId` when its handler fires.
+ */
+function compileComponentNodes(component, dialect = dialect_1.SQLITE) {
+    const out = new Map();
+    for (const n of component.body) {
+        if ('cond' in n)
+            continue;
+        out.set(n.id, compileNode(n, dialect));
+    }
+    return out;
+}
+//# sourceMappingURL=bridge.js.map

package/dist/scp/bridge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge.js","sourceRoot":"","sources":["../../src/scp/bridge.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;;;AA2OH,kCAkDC;AAQD,sDAOC;AA1SD,2FAA2F;AAC9E,QAAA,WAAW,GAAG,KAAK,CAAC;AAGjC,qDAS0B;AAC1B,uDAAqD;AACrD,uCAAiD;AAMjD,SAAS,KAAK,CAAC,CAA4B;IACzC,OAAO,KAAK,IAAI,CAAC,CAAC;AACpB,CAAC;AAED,mFAAmF;AACnF,SAAS,OAAO,CAAC,CAAU;IACzB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;AACpH,CAAC;AAED,iFAAiF;AAEjF,qFAAqF;AACrF,SAAS,UAAU,CAAC,KAA8B,EAAE,IAAY;IAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,6CAA6C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC1G,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,6EAA6E;AAC7E,SAAS,OAAO,CAAC,KAA8B,EAAE,IAAY;IAC3D,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAE,CAAsB,CAAC,GAAG,CAAC,EAAE,CAAC;QACpG,OAAQ,CAAwB,CAAC,GAAG,CAAC;IACvC,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,mDAAmD,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAChH,CAAC;AAED,yFAAyF;AACzF,SAAS,eAAe,CAAC,KAA8B,EAAE,IAAY;IACnE,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnB,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,IAAI,0CAA0C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC3H,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;AACL,CAAC;AAED,8FAA8F;AAC9F,SAAS,KAAK,CAAC,IAAa;IAC1B,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACvF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACjD,CAAC;AAED,qFAAqF;AACrF,SAAS,QAAQ,CAAC,IAAa,EAAE,GAAW;IAC1C,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,WAAW,GAAG,yEAAyE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjI,CAAC;IACD,MAAM,IAAI,GAAI,IAAkC,CAAC,EAAE,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC3F,MAAM,IAAI,KAAK,CAAC,WAAW,GAAG,mDAAmD,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAW,CAAC;AACzC,CAAC;AAID,MAAM,OAAO,GAA0B;IACrC,EAAE,EAAE,GAAG;IACP,EAAE,EAAE,IAAI;IACR,EAAE,EAAE,GAAG;IACP,EAAE,EAAE,IAAI;IACR,EAAE,EAAE,IAAI;CACT,CAAC;AAEF;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,IAAa;IACrC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACtD,MAAM,IAAI,GAAI,IAAkC,CAAC,EAAE,CAAC,CAAC;IACrD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,mBAAW,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;QACpH,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAW,CAAC;IACzC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,IAAa,EAAE,EAAU;IACjD,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,WAAW,EAAE,mEAAmE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1H,CAAC;IAED,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;QAClB,qFAAqF;QACrF,MAAM,IAAI,GAAI,IAAkC,CAAC,IAAI,CAAC;QACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAClE,MAAM,IAAI,KAAK,CAAC,WAAW,EAAE,8EAA8E,CAAC,CAAC;QAC/G,CAAC;QACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QAC3D,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,WAAW,EAAE,8DAA8D,CAAC,CAAC;QAC/F,CAAC;QACD,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAa,EAAE,CAAC;IACrD,CAAC;IAED,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAChC,8DAA8D;QAC9D,MAAM,IAAI,GAAI,IAAkC,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,8BAA8B,CAAC,CAAC;QACvE,CAAC;QACD,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;YACtC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;SACzE,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAChB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7C,4EAA4E;QAC5E,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAe,EAAE,CAAC;QAC/D,CAAC;QACD,iFAAiF;QACjF,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC;QACvD,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,GAAe,EAAE,CAAC;IAC3E,CAAC;IAED,IAAI,EAAE,IAAI,OAAO,EAAE,CAAC;QAClB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAe,EAAE,CAAC;IAC7F,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,WAAW,EAAE,iCAAiC,EAAE,uDAAuD,mBAAW,yCAAyC,CAAC,CAAC;AAC/K,CAAC;AAED,+EAA+E;AAC/E,SAAS,WAAW,CAAC,IAAa,EAAE,EAAU,EAAE,EAAU;IACxD,MAAM,IAAI,GAAI,IAAkC,CAAC,EAAE,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,8BAA8B,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC;AAED,qFAAqF;AACrF,SAAS,cAAc,CAAC,KAA8B,EAAE,EAAU;IAChE,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,iFAAiF;AAEjF;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAA8B,EAAE,MAAc;IACnE,MAAM,GAAG,GAA6B,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAa,CAAC;IACzF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oFAAoF;AACpF,SAAS,UAAU,CAAC,KAA8B;IAChD,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IACrD,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACpF,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,qFAAqF;QACrF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,EAAE,CAAC;IAC1E,CAAC;IACD,oDAAoD;IACpD,MAAM,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,EAAE,CAAC;QACN,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;IACzG,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,yCAAyC,MAAM,qDAAqD,CAAC,CAAC;AACxH,CAAC;AAED,2DAA2D;AAC3D,SAAS,WAAW,CAAC,KAA8B;IACjD,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,iFAAiF;AAEjF;;;;GAIG;AACH,SAAgB,WAAW,CAAC,IAAa,EAAE,UAAmB,gBAAM;IAClE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,uCAAuC,CAAC,CAAC;IACtG,MAAM,EAAE,GAAG,GAAG,SAAS,EAAE,CAAC;IAE1B,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAChD,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;YACjG,MAAM,IAAI,GAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACxC,IAAI,KAAK,KAAK,SAAS;gBAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;YAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACzC,IAAI,KAAK,KAAK,SAAS;gBAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;YAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACzC,IAAI,KAAK,KAAK,SAAS;gBAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;YAC5C,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;gBAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAiB,CAAC;YACpE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAkB,CAAC;YACvE,OAAO,IAAA,8BAAa,EAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAC9C,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;YACpH,MAAM,IAAI,GAAe,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACjE,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,SAAS,KAAK,SAAS;gBAAE,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;YACxD,OAAO,IAAA,kCAAgB,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;YAC9G,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACxC,IAAI,KAAK,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;YACnF,MAAM,IAAI,GAAe,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YAC/C,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,SAAS,KAAK,SAAS;gBAAE,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;YACxD,OAAO,IAAA,8BAAa,EAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACxC,IAAI,KAAK,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;YACnF,MAAM,IAAI,GAAe,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YAC1C,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,SAAS,KAAK,SAAS;gBAAE,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;YACxD,OAAO,IAAA,8BAAa,EAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD;YACE,MAAM,IAAI,KAAK,CAAC,8BAA8B,SAAS,uEAAuE,CAAC,CAAC;IACpI,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAgB,qBAAqB,CAAC,SAAoB,EAAE,UAAmB,gBAAM;IACnF,MAAM,GAAG,GAAG,IAAI,GAAG,EAA6B,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,MAAM,IAAI,CAAC;YAAE,SAAS;QAC1B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/scp/catalog.d.ts

@@ -0,0 +1,91 @@
+/**
+ * litedbmodel v2 SCP catalog — WS1 (#21).
+ *
+ * `LITEDBMODEL_CATALOG` is the behavior-contracts–typed `Catalog` that IS the whole
+ * per-DSL difference litedbmodel supplies as a SQL-backend consumer (bc C2: "the only
+ * per-DSL difference is the catalog"). It mirrors the SHAPE of graphddb's
+ * `GRAPHDDB_CATALOG` (`src/spec/catalog.ts`) exactly: compact `PortSchema` constructors,
+ * an `entry()` helper, per-primitive `inputPorts`, an `output.shape`, and a
+ * `portableToIR` flag. The effect implementation (SQL execution + row→model assembly) is
+ * bound separately in the handler registry (WS3, C4 — catalog declares, registry binds).
+ *
+ * ## Catalog names (spec §1 / §11 item 1)
+ *
+ * `Select` / `Insert` / `Update` / `Delete` are the CRUD leaf components. `Fragment` is
+ * the dynamic WHERE/SET fragment-tree component (SKIP → fragment existence rules, §8);
+ * `Tx` is the multi-statement transaction envelope. As in graphddb, the transaction
+ * envelope (`Tx`) is `portableToIR: false` — a transaction is emitted as a Component
+ * whose body references the per-statement CRUD primitives; the atomic BEGIN/COMMIT
+ * envelope is the runtime's execution concern (WS3), never a portable-IR node.
+ *
+ * ## Port schema conventions
+ *
+ * A `CatalogEntry.inputPorts` names the STATIC ports of the emitted wiring. Two families
+ * are dynamic by construction and are validated by {@link assertComponentsInCatalog}
+ * against documented patterns instead of being statically enumerable:
+ *
+ * - **`where`/`set`/`values` records**: one port per model field, flattened one-port-
+ *   per-field under a `<group>.<field>` key ({@link WRITE_PORT_FAMILIES}). These carry
+ *   Expression IR (the field's value/condition), from the closed operator set only.
+ *
+ * The CRUD entries carry `additionalPorts: true` (bc#26) so bc's shared port check
+ * (`checkPortNames` / `buildComponentDefinition`) accepts the dynamic families; every
+ * DECLARED port keeps bc's required/type checks regardless of the opt-in. `Tx`'s single
+ * port is static, so it keeps bc's fail-closed default.
+ */
+import { type Catalog, type CatalogEntry, type Component } from 'behavior-contracts';
+/**
+ * The catalog-name literal union — one entry per SQL primitive litedbmodel declares:
+ * the CRUD leaves (`Select` / `Insert` / `Update` / `Delete`), the dynamic WHERE/SET
+ * fragment-tree component (`Fragment`), and the multi-statement transaction envelope
+ * (`Tx`).
+ */
+export type CatalogName = 'Select' | 'Insert' | 'Update' | 'Delete' | 'Fragment' | 'Tx';
+/**
+ * litedbmodel's specific-component catalog (spec §11 item 1) — the behavior-contracts
+ * `Catalog`-typed source of truth. Each entry declares the Port schema of one SQL
+ * primitive AS THE BACKEND COMPILE WIRES IT; the effect implementation is bound
+ * separately in the handler registry (WS3, C4). All entries except `Tx` may appear in
+ * the portable IR.
+ */
+export declare const LITEDBMODEL_CATALOG: Catalog;
+/** Look up a catalog entry by name (undefined for an unknown primitive). */
+export declare function catalogEntry(name: string): CatalogEntry | undefined;
+/** The catalog names litedbmodel declares (the C2 per-DSL surface). */
+export declare const CATALOG_NAMES: readonly CatalogName[];
+/**
+ * The CQRS write catalog: the names whose presence in a component body makes the
+ * component a COMMAND (spec §2.4 — effect is derived from the graph, not authored).
+ * `Select`/`Fragment` are read-side; `Insert`/`Update`/`Delete`/`Tx` are write-side.
+ */
+export declare const WRITE_CATALOG_NAMES: readonly CatalogName[];
+/**
+ * The dynamic per-field write-port families (`<group>.<field>` — the flattened record
+ * convention; longest-prefix wins). A `values.<field>` (Insert) or `set.<field>`
+ * (Update) port carries the field's Expression IR value.
+ */
+export declare const WRITE_PORT_FAMILIES: readonly string[];
+/**
+ * The emitter's catalog validation (loud; a violation is a BUILD error), mirrored from
+ * graphddb's `assertComponentsInCatalog`. Every `componentRef` / `map` body node of every
+ * emitted component must:
+ *
+ * 1. reference a declared catalog name;
+ * 2. wire every `required` port of that entry;
+ * 3. wire ONLY declared ports — a port is declared if it is a static `inputPorts` name or
+ *    a write record-family port ({@link WRITE_PORT_FAMILIES}, write entries only).
+ *
+ * All violations are collected and thrown as one error. `cond` nodes carry no component
+ * reference and are skipped.
+ */
+export declare function assertComponentsInCatalog(components: readonly Component[]): void;
+/** litedbmodel's CQRS effect vocabulary, mapped 1:1 from bc's `BehaviorEffect`. */
+export type ContractEffect = 'query' | 'command';
+/**
+ * Derive one component's Query/Command classification FROM THE GRAPH: behavior-contracts'
+ * `classifyBehaviorEffect` over {@link WRITE_CATALOG_NAMES} — a component is a `'command'`
+ * iff its body references a write-catalog primitive, else a `'query'` (spec §2.4: effect
+ * is derived, never authored).
+ */
+export declare function deriveContractEffect(component: Component): ContractEffect;
+//# sourceMappingURL=catalog.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../src/scp/catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAA0B,KAAK,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,SAAS,EAAmB,MAAM,oBAAoB,CAAC;AAE9H;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GACnB,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,UAAU,GACV,IAAI,CAAC;AAmDT;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,OAmBjC,CAAC;AAEF,4EAA4E;AAC5E,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAEnE;AAED,uEAAuE;AACvE,eAAO,MAAM,aAAa,EAAE,SAAS,WAAW,EAO/C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,SAAS,WAAW,EAKrD,CAAC;AAIF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,SAAS,MAAM,EAGhD,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI,CA4BhF;AAGD,mFAAmF;AACnF,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,SAAS,CAAC;AAEjD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,SAAS,GAAG,cAAc,CAEzE"}

package/dist/scp/catalog.js

@@ -0,0 +1,203 @@
+"use strict";
+/**
+ * litedbmodel v2 SCP catalog — WS1 (#21).
+ *
+ * `LITEDBMODEL_CATALOG` is the behavior-contracts–typed `Catalog` that IS the whole
+ * per-DSL difference litedbmodel supplies as a SQL-backend consumer (bc C2: "the only
+ * per-DSL difference is the catalog"). It mirrors the SHAPE of graphddb's
+ * `GRAPHDDB_CATALOG` (`src/spec/catalog.ts`) exactly: compact `PortSchema` constructors,
+ * an `entry()` helper, per-primitive `inputPorts`, an `output.shape`, and a
+ * `portableToIR` flag. The effect implementation (SQL execution + row→model assembly) is
+ * bound separately in the handler registry (WS3, C4 — catalog declares, registry binds).
+ *
+ * ## Catalog names (spec §1 / §11 item 1)
+ *
+ * `Select` / `Insert` / `Update` / `Delete` are the CRUD leaf components. `Fragment` is
+ * the dynamic WHERE/SET fragment-tree component (SKIP → fragment existence rules, §8);
+ * `Tx` is the multi-statement transaction envelope. As in graphddb, the transaction
+ * envelope (`Tx`) is `portableToIR: false` — a transaction is emitted as a Component
+ * whose body references the per-statement CRUD primitives; the atomic BEGIN/COMMIT
+ * envelope is the runtime's execution concern (WS3), never a portable-IR node.
+ *
+ * ## Port schema conventions
+ *
+ * A `CatalogEntry.inputPorts` names the STATIC ports of the emitted wiring. Two families
+ * are dynamic by construction and are validated by {@link assertComponentsInCatalog}
+ * against documented patterns instead of being statically enumerable:
+ *
+ * - **`where`/`set`/`values` records**: one port per model field, flattened one-port-
+ *   per-field under a `<group>.<field>` key ({@link WRITE_PORT_FAMILIES}). These carry
+ *   Expression IR (the field's value/condition), from the closed operator set only.
+ *
+ * The CRUD entries carry `additionalPorts: true` (bc#26) so bc's shared port check
+ * (`checkPortNames` / `buildComponentDefinition`) accepts the dynamic families; every
+ * DECLARED port keeps bc's required/type checks regardless of the opt-in. `Tx`'s single
+ * port is static, so it keeps bc's fail-closed default.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.WRITE_PORT_FAMILIES = exports.WRITE_CATALOG_NAMES = exports.CATALOG_NAMES = exports.LITEDBMODEL_CATALOG = void 0;
+exports.catalogEntry = catalogEntry;
+exports.assertComponentsInCatalog = assertComponentsInCatalog;
+exports.deriveContractEffect = deriveContractEffect;
+const behavior_contracts_1 = require("behavior-contracts");
+// Compact schema constructors (the IR bundle is size-budgeted — graphddb convention).
+const P = (type, required) => (required ? { type, required } : { type });
+/**
+ * The shared read-port surface for `Select`: `table` always; the optional
+ * `where` (a fragment-tree reference — see `Fragment`), `order`, `limit`, `offset`,
+ * `group` wiring, and the always-emitted `select` projection.
+ *
+ * `where` is typed `fragment` (not `expr`): a Select's dynamic WHERE is a fragment tree
+ * (§8), NOT a single Expression — the SKIP existence rules live on the tree, outside the
+ * Expression IR vocabulary (bc `expression-ir.md` §4: SKIP is OUTSIDE Expression IR).
+ * `limit` / `offset` are `expr` (they may be an input-ref or a `coalesce` default, §8).
+ */
+const SELECT_PORTS = {
+    table: P('string', true),
+    select: P('string[]', true),
+    where: P('fragment'),
+    order: P('string'),
+    limit: P('expr'),
+    offset: P('expr'),
+    group: P('string'),
+};
+/**
+ * The shared write-port surface for `Insert`/`Update`/`Delete`: `table` always;
+ * `where` (fragment tree — required existence enforced by the compiler, not here, since a
+ * Select may legitimately omit it); `returning` projection; `onConflict` wiring for
+ * Insert. The per-field value/set ports (`values.<field>` / `set.<field>`) are dynamic
+ * ({@link WRITE_PORT_FAMILIES}) and each carries an Expression IR value.
+ */
+const WRITE_PORTS = {
+    table: P('string', true),
+    where: P('fragment'),
+    returning: P('string'),
+    onConflict: P('string'),
+    onConflictAction: P('string'),
+};
+const entry = (name, inputPorts, shape, portableToIR) => ({
+    name,
+    inputPorts,
+    output: { shape },
+    portableToIR,
+    // Dynamic port families (where/set/values record ports) are validated by
+    // assertComponentsInCatalog, not statically enumerable. Tx overrides back to
+    // fail-closed (its one port is static).
+    additionalPorts: true,
+});
+/**
+ * litedbmodel's specific-component catalog (spec §11 item 1) — the behavior-contracts
+ * `Catalog`-typed source of truth. Each entry declares the Port schema of one SQL
+ * primitive AS THE BACKEND COMPILE WIRES IT; the effect implementation is bound
+ * separately in the handler registry (WS3, C4). All entries except `Tx` may appear in
+ * the portable IR.
+ */
+exports.LITEDBMODEL_CATALOG = {
+    // Read: `items` (a Select root yields a row list; per-row collapse to `item` is the
+    // consumer's cardinality concern, mirrored from graphddb Query's `cardinality` port).
+    Select: entry('Select', { ...SELECT_PORTS, cardinality: P('string') }, 'items', true),
+    // Writes yield the RETURNING row list (`items`); a single-row write collapses at the
+    // consumer boundary, same as reads.
+    Insert: entry('Insert', WRITE_PORTS, 'items', true),
+    Update: entry('Update', WRITE_PORTS, 'items', true),
+    Delete: entry('Delete', WRITE_PORTS, 'items', true),
+    // The dynamic WHERE/SET fragment-tree component (§8). Its ports carry the fragment
+    // tree; the compiler resolves SKIP/AND-OR structure to fragment existence rules.
+    Fragment: entry('Fragment', { tree: P('fragment', true) }, 'item', true),
+    // The runtime-side atomic envelope: never referenced by the portable IR (a transaction
+    // IS a component over the CRUD primitives) — runtime-only. Its single port is static,
+    // so it keeps bc's fail-closed default (no additionalPorts opt-in).
+    Tx: {
+        ...entry('Tx', { statements: P('map[]', true) }, 'item', false),
+        additionalPorts: false,
+    },
+};
+/** Look up a catalog entry by name (undefined for an unknown primitive). */
+function catalogEntry(name) {
+    return exports.LITEDBMODEL_CATALOG[name];
+}
+/** The catalog names litedbmodel declares (the C2 per-DSL surface). */
+exports.CATALOG_NAMES = [
+    'Select',
+    'Insert',
+    'Update',
+    'Delete',
+    'Fragment',
+    'Tx',
+];
+/**
+ * The CQRS write catalog: the names whose presence in a component body makes the
+ * component a COMMAND (spec §2.4 — effect is derived from the graph, not authored).
+ * `Select`/`Fragment` are read-side; `Insert`/`Update`/`Delete`/`Tx` are write-side.
+ */
+exports.WRITE_CATALOG_NAMES = [
+    'Insert',
+    'Update',
+    'Delete',
+    'Tx',
+];
+const WRITE_SET = new Set(exports.WRITE_CATALOG_NAMES);
+/**
+ * The dynamic per-field write-port families (`<group>.<field>` — the flattened record
+ * convention; longest-prefix wins). A `values.<field>` (Insert) or `set.<field>`
+ * (Update) port carries the field's Expression IR value.
+ */
+exports.WRITE_PORT_FAMILIES = [
+    'values.',
+    'set.',
+];
+/**
+ * The emitter's catalog validation (loud; a violation is a BUILD error), mirrored from
+ * graphddb's `assertComponentsInCatalog`. Every `componentRef` / `map` body node of every
+ * emitted component must:
+ *
+ * 1. reference a declared catalog name;
+ * 2. wire every `required` port of that entry;
+ * 3. wire ONLY declared ports — a port is declared if it is a static `inputPorts` name or
+ *    a write record-family port ({@link WRITE_PORT_FAMILIES}, write entries only).
+ *
+ * All violations are collected and thrown as one error. `cond` nodes carry no component
+ * reference and are skipped.
+ */
+function assertComponentsInCatalog(components) {
+    const errs = [];
+    for (const c of components) {
+        for (const n of c.body) {
+            if ('cond' in n)
+                continue;
+            const ref = 'map' in n ? n.map : n;
+            const entryDef = exports.LITEDBMODEL_CATALOG[ref.component];
+            if (entryDef === undefined) {
+                errs.push(`${c.name}/${n.id}: references '${ref.component}', not a LITEDBMODEL_CATALOG entry (known: ${exports.CATALOG_NAMES.join(', ')})`);
+                continue;
+            }
+            const ports = ref.ports;
+            for (const [p, s] of Object.entries(entryDef.inputPorts)) {
+                if (s.required === true && !(p in ports)) {
+                    errs.push(`${c.name}/${n.id} (${ref.component}): required port '${p}' is not wired`);
+                }
+            }
+            const isWriteItem = WRITE_SET.has(ref.component);
+            for (const p of Object.keys(ports)) {
+                if (p in entryDef.inputPorts)
+                    continue;
+                if (isWriteItem && exports.WRITE_PORT_FAMILIES.some((f) => p.startsWith(f)))
+                    continue;
+                errs.push(`${c.name}/${n.id} (${ref.component}): port '${p}' is not declared by the catalog entry (nor a write record-family port)`);
+            }
+        }
+    }
+    if (errs.length > 0) {
+        throw new Error(`litedbmodel catalog validation failed (${errs.length} violation${errs.length === 1 ? '' : 's'}):\n - ${errs.join('\n - ')}`);
+    }
+}
+/**
+ * Derive one component's Query/Command classification FROM THE GRAPH: behavior-contracts'
+ * `classifyBehaviorEffect` over {@link WRITE_CATALOG_NAMES} — a component is a `'command'`
+ * iff its body references a write-catalog primitive, else a `'query'` (spec §2.4: effect
+ * is derived, never authored).
+ */
+function deriveContractEffect(component) {
+    return (0, behavior_contracts_1.classifyBehaviorEffect)(component, exports.WRITE_CATALOG_NAMES) === 'writing' ? 'command' : 'query';
+}
+//# sourceMappingURL=catalog.js.map

package/dist/scp/catalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../src/scp/catalog.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;;;AAgGH,oCAEC;AAiDD,8DA4BC;AAYD,oDAEC;AA3LD,2DAA8H;AAgB9H,sFAAsF;AACtF,MAAM,CAAC,GAAG,CAAC,IAAY,EAAE,QAAe,EAAc,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAEpG;;;;;;;;;GASG;AACH,MAAM,YAAY,GAA+B;IAC/C,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC;IAC3B,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC;IACpB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC;IAClB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;IACjB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC;CACnB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,WAAW,GAA+B;IAC9C,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC;IACpB,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC;IACtB,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC;IACvB,gBAAgB,EAAE,CAAC,CAAC,QAAQ,CAAC;CAC9B,CAAC;AAEF,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAE,UAAsC,EAAE,KAAa,EAAE,YAAqB,EAAgB,EAAE,CAAC,CAAC;IAChI,IAAI;IACJ,UAAU;IACV,MAAM,EAAE,EAAE,KAAK,EAAE;IACjB,YAAY;IACZ,yEAAyE;IACzE,6EAA6E;IAC7E,wCAAwC;IACxC,eAAe,EAAE,IAAI;CACtB,CAAC,CAAC;AAEH;;;;;;GAMG;AACU,QAAA,mBAAmB,GAAY;IAC1C,oFAAoF;IACpF,sFAAsF;IACtF,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,GAAG,YAAY,EAAE,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC;IACrF,qFAAqF;IACrF,oCAAoC;IACpC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC;IACnD,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC;IACnD,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC;IACnD,mFAAmF;IACnF,iFAAiF;IACjF,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC;IACxE,uFAAuF;IACvF,sFAAsF;IACtF,oEAAoE;IACpE,EAAE,EAAE;QACF,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC;QAC/D,eAAe,EAAE,KAAK;KACvB;CACF,CAAC;AAEF,4EAA4E;AAC5E,SAAgB,YAAY,CAAC,IAAY;IACvC,OAAO,2BAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,uEAAuE;AAC1D,QAAA,aAAa,GAA2B;IACnD,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,UAAU;IACV,IAAI;CACL,CAAC;AAEF;;;;GAIG;AACU,QAAA,mBAAmB,GAA2B;IACzD,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,IAAI;CACL,CAAC;AAEF,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,2BAAmB,CAAC,CAAC;AAEpE;;;;GAIG;AACU,QAAA,mBAAmB,GAAsB;IACpD,SAAS;IACT,MAAM;CACP,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,SAAgB,yBAAyB,CAAC,UAAgC;IACxE,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACvB,IAAI,MAAM,IAAI,CAAC;gBAAE,SAAS;YAC1B,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,2BAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,iBAAiB,GAAG,CAAC,SAAS,8CAA8C,qBAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACpI,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;YACxB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzD,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBACzC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,SAAS,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;YACD,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACjD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,IAAI,QAAQ,CAAC,UAAU;oBAAE,SAAS;gBACvC,IAAI,WAAW,IAAI,2BAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC9E,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,SAAS,YAAY,CAAC,yEAAyE,CAAC,CAAC;YACvI,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,0CAA0C,IAAI,CAAC,MAAM,aAAa,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChJ,CAAC;AACH,CAAC;AAMD;;;;;GAKG;AACH,SAAgB,oBAAoB,CAAC,SAAoB;IACvD,OAAO,IAAA,2CAAsB,EAAC,SAAS,EAAE,2BAAmB,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;AACpG,CAAC"}