bonescript-compiler 0.2.0

package/dist/emit_batch.js

@@ -0,0 +1,133 @@
+"use strict";
+/**
+ * BoneScript Batch Executor Emitter
+ * Generates a batch processing module for sync: batch capabilities.
+ * Batch capabilities are queued and processed in configurable intervals.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emitBatchExecutor = void 0;
+function emitBatchExecutor(system) {
+    // Collect all batch capabilities
+    const batchMethods = [];
+    for (const mod of system.modules) {
+        for (const iface of mod.interfaces) {
+            for (const method of iface.methods) {
+                if (method.sync === "batch") {
+                    batchMethods.push({ modName: mod.name, method });
+                }
+            }
+        }
+    }
+    if (batchMethods.length === 0)
+        return "";
+    const lines = [];
+    lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
+    lines.push(`// Batch executor for sync: batch capabilities.`);
+    lines.push(`// Set BATCH_INTERVAL_MS to control flush frequency (default: 5000ms).`);
+    lines.push(``);
+    lines.push(`import { query } from "./db";`);
+    lines.push(`import { logger } from "./logger";`);
+    lines.push(`import { counter, histogram } from "./metrics";`);
+    lines.push(``);
+    // Batch queue type
+    lines.push(`interface BatchItem {`);
+    lines.push(`  capability: string;`);
+    lines.push(`  payload: Record<string, unknown>;`);
+    lines.push(`  enqueuedAt: Date;`);
+    lines.push(`  resolve: (result: any) => void;`);
+    lines.push(`  reject: (err: Error) => void;`);
+    lines.push(`}`);
+    lines.push(``);
+    // Per-capability queues
+    lines.push(`const queues: Map<string, BatchItem[]> = new Map([`);
+    for (const { modName, method } of batchMethods) {
+        lines.push(`  ["${modName}.${method.name}", []],`);
+    }
+    lines.push(`]);`);
+    lines.push(``);
+    // Enqueue function
+    lines.push(`export function enqueueBatch(capability: string, payload: Record<string, unknown>): Promise<any> {`);
+    lines.push(`  return new Promise((resolve, reject) => {`);
+    lines.push(`    const queue = queues.get(capability);`);
+    lines.push(`    if (!queue) {`);
+    lines.push(`      reject(new Error(\`Unknown batch capability: \${capability}\`));`);
+    lines.push(`      return;`);
+    lines.push(`    }`);
+    lines.push(`    queue.push({ capability, payload, enqueuedAt: new Date(), resolve, reject });`);
+    lines.push(`    counter("batch.enqueued", { capability });`);
+    lines.push(`  });`);
+    lines.push(`}`);
+    lines.push(``);
+    // Flush function — processes all queued items
+    lines.push(`async function flushBatch(capability: string, items: BatchItem[]): Promise<void> {`);
+    lines.push(`  if (items.length === 0) return;`);
+    lines.push(`  const start = Date.now();`);
+    lines.push(`  logger.info("batch_flush_started", { event: capability, metadata: { count: items.length } });`);
+    lines.push(``);
+    lines.push(`  // Process items in a single DB transaction`);
+    lines.push(`  const { pool } = require("./db");`);
+    lines.push(`  const client = await pool.connect();`);
+    lines.push(`  try {`);
+    lines.push(`    await client.query("BEGIN");`);
+    lines.push(`    for (const item of items) {`);
+    lines.push(`      try {`);
+    lines.push(`        // Execute the batch item`);
+    lines.push(`        // Each capability's batch handler is registered below`);
+    lines.push(`        const handler = batchHandlers.get(capability);`);
+    lines.push(`        if (handler) {`);
+    lines.push(`          const result = await handler(item.payload, client);`);
+    lines.push(`          item.resolve(result);`);
+    lines.push(`        } else {`);
+    lines.push(`          item.reject(new Error(\`No batch handler for \${capability}\`));`);
+    lines.push(`        }`);
+    lines.push(`      } catch (e: any) {`);
+    lines.push(`        item.reject(e);`);
+    lines.push(`      }`);
+    lines.push(`    }`);
+    lines.push(`    await client.query("COMMIT");`);
+    lines.push(`    histogram("batch.duration_ms", Date.now() - start, { capability });`);
+    lines.push(`    counter("batch.processed", { capability, count: String(items.length) });`);
+    lines.push(`    logger.info("batch_flush_completed", { event: capability, metadata: { count: items.length, duration_ms: Date.now() - start } });`);
+    lines.push(`  } catch (e: any) {`);
+    lines.push(`    await client.query("ROLLBACK");`);
+    lines.push(`    for (const item of items) item.reject(e);`);
+    lines.push(`    logger.error("batch_flush_failed", { event: capability, metadata: { error: e.message } });`);
+    lines.push(`  } finally {`);
+    lines.push(`    client.release();`);
+    lines.push(`  }`);
+    lines.push(`}`);
+    lines.push(``);
+    // Batch handler registry
+    lines.push(`type BatchHandler = (payload: Record<string, unknown>, client: any) => Promise<any>;`);
+    lines.push(`const batchHandlers: Map<string, BatchHandler> = new Map();`);
+    lines.push(``);
+    lines.push(`export function registerBatchHandler(capability: string, handler: BatchHandler): void {`);
+    lines.push(`  batchHandlers.set(capability, handler);`);
+    lines.push(`}`);
+    lines.push(``);
+    // Batch worker — flushes all queues on interval
+    lines.push(`export function startBatchWorker(intervalMs: number = parseInt(process.env.BATCH_INTERVAL_MS || "5000")): NodeJS.Timeout {`);
+    lines.push(`  logger.info("batch_worker_started", { event: "startup", metadata: { interval_ms: intervalMs } });`);
+    lines.push(`  return setInterval(async () => {`);
+    lines.push(`    for (const [capability, queue] of queues) {`);
+    lines.push(`      if (queue.length === 0) continue;`);
+    lines.push(`      const batch = queue.splice(0, queue.length); // drain queue atomically`);
+    lines.push(`      await flushBatch(capability, batch).catch(e => {`);
+    lines.push(`        logger.error("batch_worker_error", { event: capability, metadata: { error: e.message } });`);
+    lines.push(`      });`);
+    lines.push(`    }`);
+    lines.push(`  }, intervalMs);`);
+    lines.push(`}`);
+    lines.push(``);
+    // Capability-specific stub handlers
+    for (const { modName, method } of batchMethods) {
+        const key = `${modName}.${method.name}`;
+        lines.push(`// Batch handler for ${key}`);
+        lines.push(`// Register your implementation:`);
+        lines.push(`// registerBatchHandler("${key}", async (payload, client) => { ... });`);
+        lines.push(``);
+    }
+    return lines.join("\n");
+}
+exports.emitBatchExecutor = emitBatchExecutor;
+//# sourceMappingURL=emit_batch.js.map

package/dist/emit_batch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit_batch.js","sourceRoot":"","sources":["../src/emit_batch.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AAIH,SAAgB,iBAAiB,CAAC,MAAmB;IACnD,iCAAiC;IACjC,MAAM,YAAY,GAA+C,EAAE,CAAC;IACpE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YACnC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACnC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC5B,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;gBACnD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;IACrF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,mBAAmB;IACnB,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,wBAAwB;IACxB,KAAK,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;IACjE,KAAK,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,IAAI,MAAM,CAAC,IAAI,SAAS,CAAC,CAAC;IACrD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,mBAAmB;IACnB,KAAK,CAAC,IAAI,CAAC,oGAAoG,CAAC,CAAC;IACjH,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC1D,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;IACrF,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,mFAAmF,CAAC,CAAC;IAChG,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,8CAA8C;IAC9C,KAAK,CAAC,IAAI,CAAC,oFAAoF,CAAC,CAAC;IACjG,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,iGAAiG,CAAC,CAAC;IAC9G,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtB,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;IAC7E,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;IACrE,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC;IAC5E,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,4EAA4E,CAAC,CAAC;IACzF,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxB,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;IACtF,KAAK,CAAC,IAAI,CAAC,8EAA8E,CAAC,CAAC;IAC3F,KAAK,CAAC,IAAI,CAAC,sIAAsI,CAAC,CAAC;IACnJ,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAC,gGAAgG,CAAC,CAAC;IAC7G,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,yBAAyB;IACzB,KAAK,CAAC,IAAI,CAAC,sFAAsF,CAAC,CAAC;IACnG,KAAK,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;IAC1E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAC;IACtG,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,gDAAgD;IAChD,KAAK,CAAC,IAAI,CAAC,4HAA4H,CAAC,CAAC;IACzI,KAAK,CAAC,IAAI,CAAC,qGAAqG,CAAC,CAAC;IAClH,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,8EAA8E,CAAC,CAAC;IAC3F,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;IACrE,KAAK,CAAC,IAAI,CAAC,oGAAoG,CAAC,CAAC;IACjH,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,oCAAoC;IACpC,KAAK,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,GAAG,OAAO,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,wBAAwB,GAAG,EAAE,CAAC,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,4BAA4B,GAAG,yCAAyC,CAAC,CAAC;QACrF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAnID,8CAmIC"}

package/dist/emit_capability.d.ts

@@ -0,0 +1,7 @@
+/**
+ * BoneScript Capability Body Emitter
+ *
+ * Translates IR effects and preconditions into real TypeScript + SQL.
+ */
+import * as IR from "./ir";
+export declare function emitCapabilityBody(method: IR.IRMethod, mod: IR.IRModule, system: IR.IRSystem, indent?: string): string;

package/dist/emit_capability.js

@@ -0,0 +1,376 @@
+"use strict";
+/**
+ * BoneScript Capability Body Emitter
+ *
+ * Translates IR effects and preconditions into real TypeScript + SQL.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emitCapabilityBody = void 0;
+function parseExprStr(s) {
+    s = s.trim();
+    // Strip outer parens
+    if (s.startsWith("(") && s.endsWith(")")) {
+        return parseExprStr(s.slice(1, -1));
+    }
+    // String literal
+    if (s.startsWith('"') && s.endsWith('"')) {
+        return { kind: "literal", value: s.slice(1, -1), raw: s };
+    }
+    // Number literal
+    if (/^-?\d+(\.\d+)?$/.test(s)) {
+        return { kind: "literal", value: s, raw: s };
+    }
+    // Boolean
+    if (s === "true" || s === "false") {
+        return { kind: "literal", value: s, raw: s };
+    }
+    // Binary operators (check in precedence order, right-to-left to handle left-assoc)
+    const binOps = [" or ", " and ", " == ", " != ", " >= ", " <= ", " > ", " < ", " in ", " contains ", " + ", " - ", " * ", " / "];
+    for (const op of binOps) {
+        const idx = findBinOp(s, op);
+        if (idx !== -1) {
+            const left = parseExprStr(s.slice(0, idx));
+            const right = parseExprStr(s.slice(idx + op.length));
+            return { kind: "binop", op: op.trim(), left, right };
+        }
+    }
+    // Function call: name(args)
+    const callMatch = s.match(/^(\w+)\((.*)?\)$/);
+    if (callMatch) {
+        const args = callMatch[2] ? splitArgs(callMatch[2]).map(parseExprStr) : [];
+        return { kind: "call", name: callMatch[1], args };
+    }
+    // Field reference: a.b.c
+    if (/^[\w.]+$/.test(s)) {
+        return { kind: "field", path: s.split(".") };
+    }
+    // Fallback: treat as opaque literal
+    return { kind: "literal", value: s, raw: s };
+}
+function findBinOp(s, op) {
+    let depth = 0;
+    for (let i = 0; i <= s.length - op.length; i++) {
+        const ch = s[i];
+        if (ch === "(" || ch === "[")
+            depth++;
+        else if (ch === ")" || ch === "]")
+            depth--;
+        else if (depth === 0 && s.slice(i, i + op.length) === op) {
+            return i;
+        }
+    }
+    return -1;
+}
+function splitArgs(s) {
+    const args = [];
+    let depth = 0;
+    let current = "";
+    for (const ch of s) {
+        if (ch === "(" || ch === "[")
+            depth++;
+        else if (ch === ")" || ch === "]")
+            depth--;
+        else if (ch === "," && depth === 0) {
+            args.push(current.trim());
+            current = "";
+            continue;
+        }
+        current += ch;
+    }
+    if (current.trim())
+        args.push(current.trim());
+    return args;
+}
+function toSnakeCase(s) {
+    return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
+}
+function getEntityFetches(method, mod, system) {
+    const fetches = [];
+    const seen = new Set();
+    // Build a map of all entity names → table names across the whole system
+    const allModels = new Map(); // entityName → tableName
+    for (const m of system.modules) {
+        for (const model of m.models) {
+            allModels.set(model.name, toSnakeCase(model.name) + "s");
+            allModels.set(model.name.toLowerCase(), toSnakeCase(model.name) + "s");
+        }
+    }
+    for (const param of method.input) {
+        const tableName = allModels.get(param.type) || allModels.get(param.type.toLowerCase());
+        if (tableName && !seen.has(param.name)) {
+            seen.add(param.name);
+            fetches.push({
+                paramName: param.name,
+                entityType: param.type,
+                tableName,
+                idField: param.name + "_id",
+            });
+        }
+    }
+    return fetches;
+}
+function compilePrecondition(expr, indent) {
+    const condition = exprToTs(expr, true);
+    const description = exprToDescription(expr).replace(/"/g, '\\"');
+    return [
+        `${indent}if (${condition}) {`,
+        `${indent}  return res.status(422).json({ error: { code: "PRECONDITION_FAILED", message: ${JSON.stringify(description)} } });`,
+        `${indent}}`,
+    ].join("\n");
+}
+function exprToTs(expr, negate = false) {
+    const inner = exprToTsInner(expr);
+    return negate ? `!(${inner})` : inner;
+}
+function exprToTsInner(expr) {
+    switch (expr.kind) {
+        case "literal":
+            if (expr.value === "true")
+                return "true";
+            if (expr.value === "false")
+                return "false";
+            if (/^"/.test(expr.raw))
+                return expr.raw;
+            return expr.value;
+        case "field":
+            // Convert field path to JS property access
+            return expr.path.join("?.");
+        case "binop": {
+            const l = exprToTsInner(expr.left);
+            const r = exprToTsInner(expr.right);
+            switch (expr.op) {
+                case "==": return `${l} === ${r}`;
+                case "!=": return `${l} !== ${r}`;
+                case "and": return `(${l} && ${r})`;
+                case "or": return `(${l} || ${r})`;
+                case "in": return `[${r}].flat().includes(${l})`;
+                case "contains": return `${l}?.includes(${r})`;
+                case ">":
+                case "<":
+                case ">=":
+                case "<=":
+                case "+":
+                case "-":
+                case "*":
+                case "/":
+                    return `${l} ${expr.op} ${r}`;
+                default: return `${l} ${expr.op} ${r}`;
+            }
+        }
+        case "call":
+            if (expr.name === "now")
+                return "new Date()";
+            return `${expr.name}(${expr.args.map(exprToTsInner).join(", ")})`;
+    }
+}
+function exprToDescription(expr) {
+    switch (expr.kind) {
+        case "literal": return expr.raw;
+        case "field": return expr.path.join(".");
+        case "binop": {
+            const l = exprToDescription(expr.left);
+            const r = exprToDescription(expr.right);
+            return `${l} ${expr.op} ${r}`;
+        }
+        case "call": return `${expr.name}(${expr.args.map(exprToDescription).join(", ")})`;
+    }
+}
+function compileEffect(effect, mod, system, paramIdx) {
+    const targetParts = effect.target.split(".");
+    if (targetParts.length < 2)
+        return null;
+    const entityParam = targetParts[0]; // e.g., "item" or "trade"
+    const fieldName = targetParts[1]; // e.g., "quantity" or "offered_items"
+    const nestedPath = targetParts.slice(2); // e.g., ["owner_id"] for nested JSONB
+    // Find the model for this entity param — search across all modules
+    const model = (() => {
+        for (const m of system.modules) {
+            const found = m.models.find(mdl => toSnakeCase(mdl.name) === entityParam ||
+                mdl.name.toLowerCase() === entityParam.toLowerCase());
+            if (found)
+                return found;
+        }
+        return mod.models.find(m => toSnakeCase(m.name) === entityParam ||
+            m.name.toLowerCase() === entityParam.toLowerCase());
+    })();
+    if (!model)
+        return null;
+    const tableName = toSnakeCase(model.name) + "s";
+    const valueExpr = parseExprStr(effect.value);
+    const valueTs = exprToTsInner(valueExpr);
+    const idParam = `req.body.${entityParam}_id || req.params.id`;
+    // Detect if the param is a list type (bulk operation)
+    const isBulk = effect.target.includes("[]") ||
+        (entityParam.endsWith("s") && !model.name.toLowerCase().endsWith("s"));
+    const bulkIdParam = `req.body.${entityParam}_ids || req.body.${entityParam}?.map((x: any) => x.id)`;
+    const whereClause = isBulk
+        ? `WHERE id = ANY($2::uuid[])`
+        : `WHERE id = ${`$${2}`}`;
+    // Handle nested JSONB path: trade.offered_items.owner_id
+    if (nestedPath.length > 0) {
+        const jsonbField = fieldName;
+        const jsonbPath = nestedPath.join(".");
+        const p1 = `$${paramIdx.n++}`;
+        const p2 = `$${paramIdx.n++}`;
+        // Use jsonb_set to update nested path
+        const jsonbPathLiteral = `'{${nestedPath.join(",")}}'`;
+        return {
+            sql: `UPDATE ${tableName} SET ${jsonbField} = jsonb_set(COALESCE(${jsonbField}, '{}'), ${jsonbPathLiteral}, to_jsonb(${p1}::text), true), updated_at = NOW() WHERE id = ${p2} RETURNING *`,
+            params: [valueTs, idParam],
+            description: `${effect.target} = ${effect.value}`,
+        };
+    }
+    switch (effect.op) {
+        case "assign": {
+            const p1 = `$${paramIdx.n++}`;
+            const p2 = `$${paramIdx.n++}`;
+            return {
+                sql: `UPDATE ${tableName} SET ${fieldName} = ${p1}, updated_at = NOW() WHERE id = ${p2} RETURNING *`,
+                params: [valueTs, idParam],
+                description: `${effect.target} = ${effect.value}`,
+            };
+        }
+        case "add": {
+            const p1 = `$${paramIdx.n++}`;
+            const p2 = `$${paramIdx.n++}`;
+            const fieldType = model.fields.find(f => f.name === fieldName)?.type || "";
+            const isNumeric = ["uint", "int", "float"].includes(fieldType);
+            if (isNumeric) {
+                return {
+                    sql: `UPDATE ${tableName} SET ${fieldName} = ${fieldName} + ${p1}, updated_at = NOW() WHERE id = ${p2} RETURNING *`,
+                    params: [valueTs, idParam],
+                    description: `${effect.target} += ${effect.value}`,
+                };
+            }
+            else {
+                return {
+                    sql: `UPDATE ${tableName} SET ${fieldName} = ${fieldName} || jsonb_build_array(${p1}::jsonb), updated_at = NOW() WHERE id = ${p2} RETURNING *`,
+                    params: [valueTs, idParam],
+                    description: `${effect.target} += ${effect.value}`,
+                };
+            }
+        }
+        case "remove": {
+            const p1 = `$${paramIdx.n++}`;
+            const p2 = `$${paramIdx.n++}`;
+            const fieldType = model.fields.find(f => f.name === fieldName)?.type || "";
+            const isNumeric = ["uint", "int", "float"].includes(fieldType);
+            if (isNumeric) {
+                return {
+                    sql: `UPDATE ${tableName} SET ${fieldName} = ${fieldName} - ${p1}, updated_at = NOW() WHERE id = ${p2} RETURNING *`,
+                    params: [valueTs, idParam],
+                    description: `${effect.target} -= ${effect.value}`,
+                };
+            }
+            else {
+                return {
+                    sql: `UPDATE ${tableName} SET ${fieldName} = (SELECT jsonb_agg(elem) FROM jsonb_array_elements(${fieldName}) elem WHERE elem != ${p1}::jsonb), updated_at = NOW() WHERE id = ${p2} RETURNING *`,
+                    params: [valueTs, idParam],
+                    description: `${effect.target} -= ${effect.value}`,
+                };
+            }
+        }
+    }
+}
+// ─── Main Capability Body Emitter ─────────────────────────────────────────────
+function emitCapabilityBody(method, mod, system, indent = "    ") {
+    const lines = [];
+    const fetches = getEntityFetches(method, mod, system);
+    // 0. Destructure primitive params from req.body
+    const primitiveParams = method.input.filter(p => {
+        const isPrimitive = ["string", "uint", "int", "float", "bool", "timestamp", "uuid", "bytes", "json"].includes(p.type);
+        const isListOrSet = p.type.startsWith("list<") || p.type.startsWith("set<");
+        const isEntityFetch = fetches.some(f => f.paramName === p.name);
+        return (isPrimitive || isListOrSet) && !isEntityFetch;
+    });
+    if (primitiveParams.length > 0) {
+        const destructured = primitiveParams.map(p => p.name).join(", ");
+        lines.push(`${indent}const { ${destructured} } = req.body;`);
+        lines.push(``);
+    }
+    // 1. Fetch entities referenced in preconditions/effects
+    if (fetches.length > 0) {
+        lines.push(`${indent}// Fetch entities`);
+        for (const fetch of fetches) {
+            const idExpr = `req.body.${fetch.idField} || req.params.id`;
+            lines.push(`${indent}const ${fetch.paramName} = await queryOne(\`SELECT * FROM ${fetch.tableName} WHERE id = $1\`, [${idExpr}]);`);
+            lines.push(`${indent}if (!${fetch.paramName}) {`);
+            lines.push(`${indent}  return res.status(404).json({ error: { code: "NOT_FOUND", message: "${fetch.paramName} not found" } });`);
+            lines.push(`${indent}}`);
+        }
+        lines.push(``);
+    }
+    // 2. Precondition checks
+    if (method.preconditions.length > 0) {
+        lines.push(`${indent}// Preconditions`);
+        for (const pre of method.preconditions) {
+            try {
+                const expr = parseExprStr(pre.expression);
+                lines.push(compilePrecondition(expr, indent));
+            }
+            catch {
+                // Fallback: emit as comment if parsing fails
+                lines.push(`${indent}// CHECK: ${pre.description}`);
+            }
+        }
+        lines.push(``);
+    }
+    // 3. Effects (applied in declaration order, each in its own query)
+    if (method.effects.length > 0) {
+        lines.push(`${indent}// Effects (applied in declaration order)`);
+        const effectResults = [];
+        for (const effect of method.effects) {
+            // Each effect gets its own parameter numbering starting at 1
+            const paramIdx = { n: 1 };
+            const compiled = compileEffect(effect, mod, system, paramIdx);
+            if (compiled) {
+                const resultVar = `__effect_${effectResults.length}`;
+                effectResults.push(resultVar);
+                lines.push(`${indent}const ${resultVar} = await query(\`${compiled.sql}\`, [${compiled.params.join(", ")}]);`);
+                lines.push(`${indent}if (!${resultVar} || ${resultVar}.length === 0) {`);
+                lines.push(`${indent}  throw new Error("Effect failed: ${compiled.description.replace(/"/g, '\\"')}");`);
+                lines.push(`${indent}}`);
+            }
+            else {
+                // Fallback for complex effects we can't compile
+                lines.push(`${indent}// EFFECT: ${effect.target} ${effect.op === "assign" ? "=" : effect.op === "add" ? "+=" : "-="} ${effect.value}`);
+                lines.push(`${indent}// TODO: Implement this effect manually`);
+            }
+        }
+        lines.push(``);
+    }
+    // 4. Event emissions
+    if (method.emissions.length > 0) {
+        lines.push(`${indent}// Emit events`);
+        for (const ev of method.emissions) {
+            const payload = buildEventPayload(method, fetches);
+            if (method.sync === "transactional") {
+                lines.push(`${indent}await eventBus.publish("${ev}", ${payload}, "${mod.name}", auth.trace_id, __client);`);
+            }
+            else {
+                lines.push(`${indent}await eventBus.publish("${ev}", ${payload}, "${mod.name}", auth.trace_id);`);
+            }
+        }
+        lines.push(``);
+    }
+    // 5. Return result
+    const resultEntity = fetches[0];
+    if (resultEntity) {
+        lines.push(`${indent}res.json({ ok: true, action: "${method.name}", entity: ${resultEntity.paramName} });`);
+    }
+    else {
+        lines.push(`${indent}res.json({ ok: true, action: "${method.name}" });`);
+    }
+    return lines.join("\n");
+}
+exports.emitCapabilityBody = emitCapabilityBody;
+function buildEventPayload(method, fetches) {
+    const fields = [];
+    for (const fetch of fetches) {
+        fields.push(`${fetch.paramName}_id: ${fetch.paramName}?.id`);
+    }
+    fields.push(`timestamp: new Date().toISOString()`);
+    fields.push(`actor_id: auth.actor_id`);
+    return `{ ${fields.join(", ")} }`;
+}
+//# sourceMappingURL=emit_capability.js.map

package/dist/emit_capability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit_capability.js","sourceRoot":"","sources":["../src/emit_capability.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AAeH,SAAS,YAAY,CAAC,CAAS;IAC7B,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAEb,qBAAqB;IACrB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,OAAO,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,iBAAiB;IACjB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC5D,CAAC;IAED,iBAAiB;IACjB,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC/C,CAAC;IAED,UAAU;IACV,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC/C,CAAC;IAED,mFAAmF;IACnF,MAAM,MAAM,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACjI,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3C,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;YACrD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACvD,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC9C,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IACpD,CAAC;IAED,yBAAyB;IACzB,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/C,CAAC;IAED,oCAAoC;IACpC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,SAAS,CAAC,CAAS,EAAE,EAAU;IACtC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACjC,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACtC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;YACzD,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACnB,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACjC,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACtC,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1B,OAAO,GAAG,EAAE,CAAC;YACb,SAAS;QACX,CAAC;QACD,OAAO,IAAI,EAAE,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9C,OAAO,IAAI,CAAC;AACd,CAAC;AAYD,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAmB,EAAE,GAAgB,EAAE,MAAmB;IAClF,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,wEAAwE;IACxE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,yBAAyB;IACtE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAC7B,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACzD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QACvF,IAAI,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrB,OAAO,CAAC,IAAI,CAAC;gBACX,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,UAAU,EAAE,KAAK,CAAC,IAAI;gBACtB,SAAS;gBACT,OAAO,EAAE,KAAK,CAAC,IAAI,GAAG,KAAK;aAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AASD,SAAS,mBAAmB,CAAC,IAAU,EAAE,MAAc;IACrD,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjE,OAAO;QACL,GAAG,MAAM,OAAO,SAAS,KAAK;QAC9B,GAAG,MAAM,kFAAkF,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,QAAQ;QAC9H,GAAG,MAAM,GAAG;KACb,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,IAAU,EAAE,SAAkB,KAAK;IACnD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;AACxC,CAAC;AAED,SAAS,aAAa,CAAC,IAAU;IAC/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM;gBAAE,OAAO,MAAM,CAAC;YACzC,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO;gBAAE,OAAO,OAAO,CAAC;YAC3C,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC,GAAG,CAAC;YACzC,OAAO,IAAI,CAAC,KAAK,CAAC;QAEpB,KAAK,OAAO;YACV,2CAA2C;YAC3C,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE9B,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpC,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;gBAChB,KAAK,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClC,KAAK,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClC,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;gBACpC,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;gBACnC,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC;gBACjD,KAAK,UAAU,CAAC,CAAC,OAAO,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC;gBAC/C,KAAK,GAAG,CAAC;gBAAC,KAAK,GAAG,CAAC;gBAAC,KAAK,IAAI,CAAC;gBAAC,KAAK,IAAI,CAAC;gBACzC,KAAK,GAAG,CAAC;gBAAC,KAAK,GAAG,CAAC;gBAAC,KAAK,GAAG,CAAC;gBAAC,KAAK,GAAG;oBACpC,OAAO,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;gBAChC,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YACzC,CAAC;QACH,CAAC;QAED,KAAK,MAAM;YACT,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,YAAY,CAAC;YAC7C,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACtE,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAU;IACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC;QAChC,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzC,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxC,OAAO,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;QAChC,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACrF,CAAC;AACH,CAAC;AAUD,SAAS,aAAa,CAAC,MAAmB,EAAE,GAAgB,EAAE,MAAmB,EAAE,QAAuB;IACxG,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAExC,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAG,0BAA0B;IAChE,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAK,sCAAsC;IAC5E,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,sCAAsC;IAE/E,mEAAmE;IACnE,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE;QAClB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAChC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,WAAW;gBACrC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,WAAW,EAAE,CACrD,CAAC;YACF,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QAC1B,CAAC;QACD,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACzB,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,WAAW;YACnC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,WAAW,EAAE,CACnD,CAAC;IACJ,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;IAChD,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,YAAY,WAAW,sBAAsB,CAAC;IAE9D,sDAAsD;IACtD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QACzC,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,YAAY,WAAW,oBAAoB,WAAW,yBAAyB,CAAC;IACpG,MAAM,WAAW,GAAG,MAAM;QACxB,CAAC,CAAC,4BAA4B;QAC9B,CAAC,CAAC,cAAc,IAAI,CAAC,EAAE,EAAE,CAAC;IAE5B,yDAAyD;IACzD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,SAAS,CAAC;QAC7B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QAC9B,sCAAsC;QACtC,MAAM,gBAAgB,GAAG,KAAK,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACvD,OAAO;YACL,GAAG,EAAE,UAAU,SAAS,QAAQ,UAAU,yBAAyB,UAAU,YAAY,gBAAgB,cAAc,EAAE,iDAAiD,EAAE,cAAc;YAC1L,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;YAC1B,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,MAAM,MAAM,CAAC,KAAK,EAAE;SAClD,CAAC;IACJ,CAAC;IAED,QAAQ,MAAM,CAAC,EAAE,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,OAAO;gBACL,GAAG,EAAE,UAAU,SAAS,QAAQ,SAAS,MAAM,EAAE,mCAAmC,EAAE,cAAc;gBACpG,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;gBAC1B,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,MAAM,MAAM,CAAC,KAAK,EAAE;aAClD,CAAC;QACJ,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;YAC3E,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAC/D,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO;oBACL,GAAG,EAAE,UAAU,SAAS,QAAQ,SAAS,MAAM,SAAS,MAAM,EAAE,mCAAmC,EAAE,cAAc;oBACnH,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;oBAC1B,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,OAAO,MAAM,CAAC,KAAK,EAAE;iBACnD,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,OAAO;oBACL,GAAG,EAAE,UAAU,SAAS,QAAQ,SAAS,MAAM,SAAS,yBAAyB,EAAE,2CAA2C,EAAE,cAAc;oBAC9I,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;oBAC1B,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,OAAO,MAAM,CAAC,KAAK,EAAE;iBACnD,CAAC;YACJ,CAAC;QACH,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;YAC3E,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAC/D,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO;oBACL,GAAG,EAAE,UAAU,SAAS,QAAQ,SAAS,MAAM,SAAS,MAAM,EAAE,mCAAmC,EAAE,cAAc;oBACnH,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;oBAC1B,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,OAAO,MAAM,CAAC,KAAK,EAAE;iBACnD,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,OAAO;oBACL,GAAG,EAAE,UAAU,SAAS,QAAQ,SAAS,wDAAwD,SAAS,wBAAwB,EAAE,2CAA2C,EAAE,cAAc;oBAC/L,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;oBAC1B,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,OAAO,MAAM,CAAC,KAAK,EAAE;iBACnD,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF,SAAgB,kBAAkB,CAChC,MAAmB,EACnB,GAAgB,EAChB,MAAmB,EACnB,SAAiB,MAAM;IAEvB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAEtD,gDAAgD;IAChD,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;QAC9C,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtH,MAAM,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC5E,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;QAChE,OAAO,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,YAAY,gBAAgB,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,wDAAwD;IACxD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,CAAC,CAAC;QACzC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,YAAY,KAAK,CAAC,OAAO,mBAAmB,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,SAAS,KAAK,CAAC,SAAS,qCAAqC,KAAK,CAAC,SAAS,sBAAsB,MAAM,KAAK,CAAC,CAAC;YACnI,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,QAAQ,KAAK,CAAC,SAAS,KAAK,CAAC,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,yEAAyE,KAAK,CAAC,SAAS,mBAAmB,CAAC,CAAC;YACjI,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;QAC3B,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,yBAAyB;IACzB,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC;QACxC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAC1C,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,CAAC;YAAC,MAAM,CAAC;gBACP,6CAA6C;gBAC7C,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,aAAa,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,mEAAmE;IACnE,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,2CAA2C,CAAC,CAAC;QACjE,MAAM,aAAa,GAAa,EAAE,CAAC;QAEnC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,6DAA6D;YAC7D,MAAM,QAAQ,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC9D,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,SAAS,GAAG,YAAY,aAAa,CAAC,MAAM,EAAE,CAAC;gBACrD,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,SAAS,SAAS,oBAAoB,QAAQ,CAAC,GAAG,QAAQ,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC/G,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,QAAQ,SAAS,OAAO,SAAS,kBAAkB,CAAC,CAAC;gBACzE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,qCAAqC,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBACzG,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACN,gDAAgD;gBAChD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;gBACvI,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,yCAAyC,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,qBAAqB;IACrB,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,CAAC,CAAC;QACtC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnD,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,2BAA2B,EAAE,MAAM,OAAO,MAAM,GAAG,CAAC,IAAI,8BAA8B,CAAC,CAAC;YAC9G,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,2BAA2B,EAAE,MAAM,OAAO,MAAM,GAAG,CAAC,IAAI,oBAAoB,CAAC,CAAC;YACpG,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,mBAAmB;IACnB,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,iCAAiC,MAAM,CAAC,IAAI,cAAc,YAAY,CAAC,SAAS,MAAM,CAAC,CAAC;IAC9G,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,iCAAiC,MAAM,CAAC,IAAI,OAAO,CAAC,CAAC;IAC3E,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAnGD,gDAmGC;AAED,SAAS,iBAAiB,CAAC,MAAmB,EAAE,OAAsB;IACpE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,QAAQ,KAAK,CAAC,SAAS,MAAM,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACnD,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACvC,OAAO,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACpC,CAAC"}

package/dist/emit_composition.d.ts

@@ -0,0 +1,22 @@
+/**
+ * BoneScript Composition Emitter
+ * Generates real implementations for pipeline and algorithm capabilities.
+ */
+import * as IR from "./ir";
+/**
+ * Generate the body of a pipeline-based capability.
+ * Sequential pipelines thread results step-to-step with auto-rollback on error.
+ * Parallel pipelines run all steps concurrently and collect results.
+ */
+export declare function emitPipelineBody(method: IR.IRMethod, indent?: string): string;
+/**
+ * Generate the body of an algorithm-based capability by looking up the
+ * implementation in the algorithm catalog.
+ */
+export declare function emitAlgorithmBody(method: IR.IRMethod, indent?: string): string;
+/**
+ * Emit a single TypeScript file containing all algorithm implementations
+ * referenced by capabilities in the system.
+ */
+export declare function emitAlgorithmsFile(usedAlgorithms: Set<string>): string;
+export declare function collectUsedAlgorithms(system: IR.IRSystem): Set<string>;