@kernlang/core 3.1.5 → 3.1.6

package/dist/codegen/functions.js

@@ -0,0 +1,147 @@
+/**
+ * Function & Error Generators — fn, error.
+ *
+ * Extracted from codegen-core.ts for modular codegen architecture.
+ */
+import { propsOf } from '../node-props.js';
+import { emitIdentifier, emitTypeAnnotation } from './emitters.js';
+import { getProps, getChildren, getFirstChild, dedent, handlerCode, exportPrefix, parseParamList } from './helpers.js';
+const p = getProps;
+const kids = getChildren;
+const firstChild = getFirstChild;
+// ── Function ─────────────────────────────────────────────────────────────
+export function generateFunction(node) {
+    const props = propsOf(node);
+    const name = emitIdentifier(props.name, 'unknownFn', node);
+    const params = props.params || '';
+    const returns = props.returns;
+    const isAsync = props.async === 'true' || props.async === true;
+    const isStream = props.stream === 'true' || props.stream === true;
+    const exp = exportPrefix(node);
+    const lines = [];
+    // Parse params: "action:PlanAction,ws:WorkspaceSnapshot,spread:number=8"
+    // → "action: PlanAction, ws: WorkspaceSnapshot, spread: number = 8"
+    const paramList = params ? parseParamList(params) : '';
+    // stream=true → async generator function
+    if (isStream) {
+        const yieldType = emitTypeAnnotation(returns, 'unknown', node);
+        const retClause = `: AsyncGenerator<${yieldType}>`;
+        const code = handlerCode(node);
+        lines.push(`${exp}async function* ${name}(${paramList})${retClause} {`);
+        if (code) {
+            for (const line of code.split('\n')) {
+                lines.push(`  ${line}`);
+            }
+        }
+        lines.push('}');
+        return lines;
+    }
+    const retClause = returns ? `: ${emitTypeAnnotation(returns, 'unknown', node)}` : '';
+    const asyncKw = isAsync ? 'async ' : '';
+    const code = handlerCode(node);
+    // Gap 3: signal + cleanup support for async functions
+    const signalNode = firstChild(node, 'signal');
+    const cleanupNode = firstChild(node, 'cleanup');
+    const hasSignal = !!signalNode;
+    const hasCleanup = !!cleanupNode;
+    lines.push(`${exp}${asyncKw}function ${name}(${paramList})${retClause} {`);
+    // Signal → AbortController setup
+    if (hasSignal) {
+        const signalName = emitIdentifier(p(signalNode).name, 'abort', signalNode);
+        lines.push(`  const ${signalName} = new AbortController();`);
+    }
+    // Wrap body in try/finally if cleanup exists
+    if (hasCleanup) {
+        lines.push('  try {');
+        if (code) {
+            for (const line of code.split('\n')) {
+                lines.push(`    ${line}`);
+            }
+        }
+        lines.push('  } finally {');
+        const cleanupCode = p(cleanupNode).code || '';
+        if (cleanupCode) {
+            const dedented = dedent(cleanupCode);
+            for (const line of dedented.split('\n')) {
+                lines.push(`    ${line}`);
+            }
+        }
+        lines.push('  }');
+    }
+    else if (code) {
+        for (const line of code.split('\n')) {
+            lines.push(`  ${line}`);
+        }
+    }
+    lines.push('}');
+    return lines;
+}
+// ── Error Class ──────────────────────────────────────────────────────────
+export function generateError(node) {
+    const props = propsOf(node);
+    const name = emitIdentifier(props.name, 'UnknownError', node);
+    const ext = emitIdentifier(props.extends, 'Error', node);
+    const message = props.message;
+    const exp = exportPrefix(node);
+    const fields = kids(node, 'field');
+    const lines = [];
+    lines.push(`${exp}class ${name} extends ${ext} {`);
+    const code = handlerCode(node);
+    if (fields.length > 0) {
+        lines.push(`  constructor(`);
+        // Check if first field is 'message' — special case: pass to super
+        const hasMessageParam = propsOf(fields[0]).name === 'message';
+        for (const field of fields) {
+            const fp = propsOf(field);
+            const opt = fp.optional === 'true' || fp.optional === true ? '?' : '';
+            const isMessage = fp.name === 'message';
+            // 'message' param is not readonly — it's passed to super
+            const fName = emitIdentifier(fp.name, 'field', field);
+            const fType = emitTypeAnnotation(fp.type, 'unknown', field);
+            if (isMessage) {
+                lines.push(`    ${fName}${opt}: ${fType},`);
+            }
+            else {
+                lines.push(`    public readonly ${fName}${opt}: ${fType},`);
+            }
+        }
+        lines.push(`  ) {`);
+        if (code) {
+            // Custom handler body — replaces auto-generated constructor logic
+            for (const line of code.split('\n')) {
+                lines.push(`    ${line}`);
+            }
+        }
+        else if (message) {
+            // Check if message references array fields that need formatting
+            const arrayFields = fields.filter(f => {
+                const ft = propsOf(f).type || '';
+                return ft.includes('[]') || ft.includes('string |') || ft.includes('| string');
+            });
+            for (const f of arrayFields) {
+                const fn = propsOf(f).name || 'field';
+                lines.push(`    const ${fn}Str = Array.isArray(${fn}) ? ${fn}.join(' | ') : ${fn};`);
+            }
+            lines.push(`    super(\`${message}\`);`);
+            lines.push(`    this.name = '${name}';`);
+        }
+        else if (hasMessageParam) {
+            lines.push(`    super(message);`);
+            lines.push(`    this.name = '${name}';`);
+        }
+        else {
+            lines.push(`    super();`);
+            lines.push(`    this.name = '${name}';`);
+        }
+        lines.push(`  }`);
+    }
+    else {
+        lines.push(`  constructor(message: string) {`);
+        lines.push(`    super(message);`);
+        lines.push(`    this.name = '${name}';`);
+        lines.push(`  }`);
+    }
+    lines.push('}');
+    return lines;
+}
+//# sourceMappingURL=functions.js.map

package/dist/codegen/functions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../src/codegen/functions.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEvH,MAAM,CAAC,GAAG,QAAQ,CAAC;AACnB,MAAM,IAAI,GAAG,WAAW,CAAC;AACzB,MAAM,UAAU,GAAG,aAAa,CAAC;AAEjC,4EAA4E;AAE5E,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,KAAK,GAAG,OAAO,CAAO,IAAI,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAClC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC;IAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;IAClE,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,yEAAyE;IACzE,oEAAoE;IACpE,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAEvD,yCAAyC;IACzC,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QAC/D,MAAM,SAAS,GAAG,oBAAoB,SAAS,GAAG,CAAC;QACnD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,mBAAmB,IAAI,IAAI,SAAS,IAAI,SAAS,IAAI,CAAC,CAAC;QACxE,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAE/B,sDAAsD;IACtD,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,CAAC;IAC/B,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,OAAO,YAAY,IAAI,IAAI,SAAS,IAAI,SAAS,IAAI,CAAC,CAAC;IAE3E,iCAAiC;IACjC,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,UAAU,GAAG,cAAc,CAAE,CAAC,CAAC,UAAW,CAAC,CAAC,IAAe,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACxF,KAAK,CAAC,IAAI,CAAC,WAAW,UAAU,2BAA2B,CAAC,CAAC;IAC/D,CAAC;IAED,6CAA6C;IAC7C,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,MAAM,WAAW,GAAG,CAAC,CAAC,WAAY,CAAC,CAAC,IAAc,IAAI,EAAE,CAAC;QACzD,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;SAAM,IAAI,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,OAAO,CAAU,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,SAAS,IAAI,YAAY,GAAG,IAAI,CAAC,CAAC;IAEnD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAE/B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,kEAAkE;QAClE,MAAM,eAAe,GAAG,OAAO,CAAU,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;QACvE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,OAAO,CAAU,KAAK,CAAC,CAAC;YACnC,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,KAAK,MAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;YACxC,yDAAyD;YACzD,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YACtD,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;YAC5D,IAAI,SAAS,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,GAAG,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC;YAC9C,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,uBAAuB,KAAK,GAAG,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,IAAI,IAAI,EAAE,CAAC;YACT,kEAAkE;YAClE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,EAAE,CAAC;YACnB,gEAAgE;YAChE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;gBACpC,MAAM,EAAE,GAAG,OAAO,CAAU,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;gBAC1C,OAAO,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACjF,CAAC,CAAC,CAAC;YACH,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC5B,MAAM,EAAE,GAAG,OAAO,CAAU,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC;gBAC/C,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,uBAAuB,EAAE,OAAO,EAAE,kBAAkB,EAAE,GAAG,CAAC,CAAC;YACvF,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,eAAe,OAAO,MAAM,CAAC,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QAC3C,CAAC;aAAM,IAAI,eAAe,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QAC3C,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/codegen/ground-layer.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Ground Layer Generators — derive, transform, action, guard, assume, invariant,
+ * collect, resolve, expect, recover, pattern, apply.
+ *
+ * NOTE: generateEach and generateBranch remain in codegen-core.ts because they
+ * call generateCoreNode recursively (avoiding circular imports).
+ *
+ * Extracted from codegen-core.ts for modular codegen architecture.
+ */
+import type { IRNode } from '../types.js';
+export declare function generateDerive(node: IRNode): string[];
+export declare function generateTransform(node: IRNode): string[];
+export declare function generateAction(node: IRNode): string[];
+export declare function generateGuard(node: IRNode): string[];
+export declare function generateAssume(node: IRNode): string[];
+export declare function generateInvariant(node: IRNode): string[];
+export declare function generateCollect(node: IRNode): string[];
+export declare function generateResolve(node: IRNode): string[];
+export declare function generateExpect(node: IRNode): string[];
+export declare function generateRecover(node: IRNode): string[];
+export declare function generatePattern(_node: IRNode): string[];
+export declare function generateApply(node: IRNode, _depth?: number): string[];

package/dist/codegen/ground-layer.js

@@ -0,0 +1,317 @@
+/**
+ * Ground Layer Generators — derive, transform, action, guard, assume, invariant,
+ * collect, resolve, expect, recover, pattern, apply.
+ *
+ * NOTE: generateEach and generateBranch remain in codegen-core.ts because they
+ * call generateCoreNode recursively (avoiding circular imports).
+ *
+ * Extracted from codegen-core.ts for modular codegen architecture.
+ */
+import { propsOf } from '../node-props.js';
+import { isTemplateNode, expandTemplateNode } from '../template-engine.js';
+import { KernCodegenError } from '../errors.js';
+import { emitIdentifier, emitTypeAnnotation } from './emitters.js';
+import { getProps, getChildren, getFirstChild, handlerCode, exportPrefix, capitalize, parseParamList, emitReasonAnnotations, emitLowConfidenceTodo } from './helpers.js';
+const p = getProps;
+const kids = getChildren;
+const firstChild = getFirstChild;
+// ── Ground Layer: derive ─────────────────────────────────────────────────
+export function generateDerive(node) {
+    const annotations = emitReasonAnnotations(node);
+    const props = propsOf(node);
+    const conf = props.confidence;
+    const todo = emitLowConfidenceTodo(node, conf);
+    const name = emitIdentifier(props.name, 'derived', node);
+    // expr is by-design raw code (escape hatch)
+    const expr = props.expr;
+    const constType = props.type;
+    const exp = exportPrefix(node);
+    const typeAnnotation = constType ? `: ${emitTypeAnnotation(constType, 'unknown', node)}` : '';
+    return [...todo, ...annotations, `${exp}const ${name}${typeAnnotation} = ${expr};`];
+}
+// ── Ground Layer: transform ──────────────────────────────────────────────
+export function generateTransform(node) {
+    const annotations = emitReasonAnnotations(node);
+    const props = propsOf(node);
+    const conf = props.confidence;
+    const todo = emitLowConfidenceTodo(node, conf);
+    const name = emitIdentifier(props.name, 'transform', node);
+    // target and via are by-design raw code (escape hatches)
+    const target = props.target;
+    const via = props.via;
+    const constType = props.type;
+    const exp = exportPrefix(node);
+    const code = handlerCode(node);
+    const typeAnnotation = constType ? `: ${emitTypeAnnotation(constType, 'unknown', node)}` : '';
+    if (code) {
+        // Handler block form — generate a function
+        const lines = [...todo, ...annotations];
+        lines.push(`${exp}function ${name}(state: unknown)${typeAnnotation} {`);
+        for (const line of code.split('\n')) {
+            lines.push(`  ${line}`);
+        }
+        lines.push('}');
+        return lines;
+    }
+    if (target && via) {
+        return [...todo, ...annotations, `${exp}const ${name}${typeAnnotation} = ${via.replace(/\(/, `(${target}, `).replace(/, \)/, ')')};`];
+    }
+    if (via) {
+        return [...todo, ...annotations, `${exp}const ${name}${typeAnnotation} = ${via};`];
+    }
+    return [...todo, ...annotations, `${exp}const ${name}${typeAnnotation};`];
+}
+// ── Ground Layer: action ─────────────────────────────────────────────────
+export function generateAction(node) {
+    const annotations = emitReasonAnnotations(node);
+    const props = propsOf(node);
+    const conf = props.confidence;
+    const todo = emitLowConfidenceTodo(node, conf);
+    const name = emitIdentifier(props.name, 'action', node);
+    const idempotent = props.idempotent === 'true' || props.idempotent === true;
+    const reversible = props.reversible === 'true' || props.reversible === true;
+    const params = props.params || '';
+    const returns = props.returns;
+    const exp = exportPrefix(node);
+    const code = handlerCode(node);
+    const lines = [...todo, ...annotations];
+    // JSDoc for action metadata
+    const metaParts = [];
+    if (idempotent)
+        metaParts.push('idempotent=true');
+    if (reversible)
+        metaParts.push('reversible=true');
+    if (metaParts.length > 0) {
+        lines.push(`/** @action ${metaParts.join(' ')} */`);
+    }
+    const paramList = params ? parseParamList(params) : '';
+    const retClause = returns ? `: Promise<${emitTypeAnnotation(returns, 'void', node)}>` : ': Promise<void>';
+    lines.push(`${exp}async function ${name}(${paramList})${retClause} {`);
+    if (code) {
+        for (const line of code.split('\n')) {
+            lines.push(`  ${line}`);
+        }
+    }
+    lines.push('}');
+    return lines;
+}
+// ── Ground Layer: guard ──────────────────────────────────────────────────
+export function generateGuard(node) {
+    const annotations = emitReasonAnnotations(node);
+    const props = propsOf(node);
+    const conf = props.confidence;
+    const todo = emitLowConfidenceTodo(node, conf);
+    const name = props.name || 'guard';
+    const expr = props.expr;
+    const elseCode = props.else;
+    const lines = [...todo, ...annotations];
+    if (elseCode && /^\d+$/.test(elseCode)) {
+        lines.push(`if (!(${expr})) { throw new HttpError(${elseCode}, 'Guard: ${name}'); }`);
+    }
+    else if (elseCode) {
+        lines.push(`if (!(${expr})) { ${elseCode}; }`);
+    }
+    else {
+        lines.push(`if (!(${expr})) { throw new Error('Guard failed: ${name}'); }`);
+    }
+    return lines;
+}
+// ── Ground Layer: assume ─────────────────────────────────────────────────
+export function generateAssume(node) {
+    const annotations = emitReasonAnnotations(node);
+    const props = propsOf(node);
+    const conf = props.confidence;
+    const todo = emitLowConfidenceTodo(node, conf);
+    const expr = props.expr;
+    const scope = props.scope || 'request';
+    const evidence = props.evidence;
+    const fallback = props.fallback;
+    if (!evidence)
+        throw new KernCodegenError('assume requires evidence prop', node);
+    if (!fallback)
+        throw new KernCodegenError('assume requires fallback prop', node);
+    const lines = [...todo, ...annotations];
+    lines.push(`/** @assume ${expr} @scope ${scope} @evidence ${evidence} */`);
+    lines.push(`if (process.env.NODE_ENV !== 'production') {`);
+    lines.push(`  if (!(${expr})) { ${fallback}; }`);
+    lines.push(`}`);
+    return lines;
+}
+// ── Ground Layer: invariant ──────────────────────────────────────────────
+export function generateInvariant(node) {
+    const annotations = emitReasonAnnotations(node);
+    const props = propsOf(node);
+    const conf = props.confidence;
+    const todo = emitLowConfidenceTodo(node, conf);
+    const name = props.name || 'invariant';
+    const expr = props.expr;
+    const lines = [...todo, ...annotations];
+    lines.push(`console.assert(${expr}, 'Invariant: ${name}');`);
+    return lines;
+}
+// ── Ground Layer: collect ────────────────────────────────────────────────
+export function generateCollect(node) {
+    const annotations = emitReasonAnnotations(node);
+    const props = propsOf(node);
+    const conf = props.confidence;
+    const todo = emitLowConfidenceTodo(node, conf);
+    const name = emitIdentifier(props.name, 'collected', node);
+    const from = props.from;
+    const where = props.where;
+    const limit = props.limit;
+    const order = props.order;
+    const exp = exportPrefix(node);
+    let chain = from;
+    if (where)
+        chain += `.filter(item => ${where})`;
+    if (order)
+        chain += `.sort((a, b) => ${order})`;
+    if (limit)
+        chain += `.slice(0, ${limit})`;
+    return [...todo, ...annotations, `${exp}const ${name} = ${chain};`];
+}
+// ── Ground Layer: resolve / candidate / discriminator ────────────────────
+export function generateResolve(node) {
+    const annotations = emitReasonAnnotations(node);
+    const props = propsOf(node);
+    const conf = props.confidence;
+    const todo = emitLowConfidenceTodo(node, conf);
+    const name = emitIdentifier(props.name, 'resolver', node);
+    const candidates = kids(node, 'candidate');
+    const discriminator = firstChild(node, 'discriminator');
+    if (!discriminator)
+        throw new KernCodegenError('resolve requires discriminator', node);
+    const lines = [...todo, ...annotations];
+    const dp = p(discriminator);
+    const method = dp.method || 'select';
+    const metric = dp.metric || '';
+    // Candidate array
+    lines.push(`/** resolve: ${name} */`);
+    lines.push(`const _${name}_candidates = [`);
+    for (const c of candidates) {
+        const cp = p(c);
+        const cname = emitIdentifier(cp.name, 'candidate', c);
+        const code = handlerCode(c);
+        lines.push(`  { name: '${cname}', fn: (signal: unknown) => { ${code.trim()} } },`);
+    }
+    lines.push(`];`);
+    lines.push('');
+    // Resolver function
+    const discCode = handlerCode(discriminator);
+    lines.push(`async function resolve${capitalize(name)}(signal: unknown): Promise<unknown> {`);
+    lines.push(`  const candidates = _${name}_candidates;`);
+    lines.push(`  // discriminator: ${method}(${metric})`);
+    if (discCode) {
+        for (const line of discCode.split('\n')) {
+            lines.push(`  ${line}`);
+        }
+    }
+    lines.push(`  return candidates[winnerIdx].fn(signal);`);
+    lines.push('}');
+    return lines;
+}
+// ── Ground Layer: expect ─────────────────────────────────────────────────
+export function generateExpect(node) {
+    const annotations = emitReasonAnnotations(node);
+    const props = propsOf(node);
+    const conf = props.confidence;
+    const todo = emitLowConfidenceTodo(node, conf);
+    const name = props.name || 'expected';
+    const expr = props.expr;
+    const within = props.within;
+    const max = props.max;
+    const min = props.min;
+    const lines = [...todo, ...annotations];
+    lines.push(`if (process.env.NODE_ENV !== 'production') {`);
+    lines.push(`  const _${name} = ${expr};`);
+    if (within) {
+        const [lo, hi] = within.split('..');
+        lines.push(`  console.assert(_${name} >= ${lo} && _${name} <= ${hi}, 'Expected ${name} in [${lo}, ${hi}], got ' + _${name});`);
+    }
+    else if (min && max) {
+        lines.push(`  console.assert(_${name} >= ${min} && _${name} <= ${max}, 'Expected ${name} in [${min}, ${max}], got ' + _${name});`);
+    }
+    else if (max) {
+        lines.push(`  console.assert(_${name} <= ${max}, 'Expected ${name} <= ${max}, got ' + _${name});`);
+    }
+    else if (min) {
+        lines.push(`  console.assert(_${name} >= ${min}, 'Expected ${name} >= ${min}, got ' + _${name});`);
+    }
+    else {
+        lines.push(`  console.assert(_${name} != null, 'Expected ${name} to be defined');`);
+    }
+    lines.push('}');
+    return lines;
+}
+// ── Ground Layer: recover / strategy ─────────────────────────────────────
+export function generateRecover(node) {
+    const annotations = emitReasonAnnotations(node);
+    const props = propsOf(node);
+    const conf = props.confidence;
+    const todo = emitLowConfidenceTodo(node, conf);
+    const name = emitIdentifier(props.name, 'recovery', node);
+    const strategies = kids(node, 'strategy');
+    const hasFallback = strategies.some(s => p(s).name === 'fallback');
+    if (!hasFallback)
+        throw new KernCodegenError('recover requires a fallback strategy', node);
+    const lines = [...todo, ...annotations];
+    lines.push(`/** recover: ${name} */`);
+    lines.push(`async function ${name}WithRecovery<T>(fn: () => Promise<T>): Promise<T> {`);
+    for (const strategy of strategies) {
+        const sp = p(strategy);
+        const sname = emitIdentifier(sp.name, 'strategy', strategy);
+        const code = handlerCode(strategy);
+        if (sname === 'retry') {
+            const max = Number(sp.max) || 3;
+            const delay = Number(sp.delay) || 1000;
+            lines.push(`  // strategy: retry (max=${max}, delay=${delay}ms)`);
+            lines.push(`  for (let _attempt = 0; _attempt < ${max}; _attempt++) {`);
+            lines.push(`    try { return await fn(); }`);
+            lines.push(`    catch { if (_attempt < ${max - 1}) await new Promise(r => setTimeout(r, ${delay})); }`);
+            lines.push(`  }`);
+        }
+        else if (sname === 'fallback') {
+            lines.push(`  // strategy: fallback (terminal)`);
+            if (code) {
+                for (const line of code.split('\n')) {
+                    lines.push(`  ${line}`);
+                }
+            }
+            else {
+                lines.push(`  throw new Error('All recovery strategies exhausted for ${name}');`);
+            }
+        }
+        else {
+            // compensate, degrade, or custom
+            lines.push(`  // strategy: ${sname}`);
+            lines.push(`  try {`);
+            if (code) {
+                for (const line of code.split('\n')) {
+                    lines.push(`    ${line}`);
+                }
+            }
+            lines.push(`  } catch {}`);
+        }
+    }
+    lines.push('}');
+    return lines;
+}
+// ── Ground Layer: pattern / apply ────────────────────────────────────────
+export function generatePattern(_node) {
+    // pattern nodes are registered as templates — no direct output
+    return [];
+}
+export function generateApply(node, _depth = 0) {
+    // apply nodes expand the referenced pattern
+    const props = propsOf(node);
+    const patternName = props.pattern;
+    if (!patternName)
+        return [];
+    // Delegate to template expansion — propagate depth to prevent infinite recursion
+    const syntheticNode = { ...node, type: patternName };
+    if (isTemplateNode(patternName)) {
+        return expandTemplateNode(syntheticNode, _depth + 1);
+    }
+    return [`// apply: pattern '${patternName}' not found`];
+}
+//# sourceMappingURL=ground-layer.js.map

package/dist/codegen/ground-layer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ground-layer.js","sourceRoot":"","sources":["../../src/codegen/ground-layer.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAEzK,MAAM,CAAC,GAAG,QAAQ,CAAC;AACnB,MAAM,IAAI,GAAG,WAAW,CAAC;AACzB,MAAM,UAAU,GAAG,aAAa,CAAC;AAEjC,4EAA4E;AAE5E,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAW,IAAI,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IACzD,4CAA4C;IAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC;IAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAE/B,MAAM,cAAc,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,GAAG,SAAS,IAAI,GAAG,cAAc,MAAM,IAAI,GAAG,CAAC,CAAC;AACtF,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAc,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC3D,yDAAyD;IACzD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC;IAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAE/B,MAAM,cAAc,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAE9F,IAAI,IAAI,EAAE,CAAC;QACT,2CAA2C;QAC3C,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,YAAY,IAAI,mBAAmB,cAAc,IAAI,CAAC,CAAC;QACxE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC1B,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,MAAM,IAAI,GAAG,EAAE,CAAC;QAClB,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,GAAG,SAAS,IAAI,GAAG,cAAc,MAAM,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACxI,CAAC;IACD,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,GAAG,SAAS,IAAI,GAAG,cAAc,MAAM,GAAG,GAAG,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,GAAG,SAAS,IAAI,GAAG,cAAc,GAAG,CAAC,CAAC;AAC5E,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAW,IAAI,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxD,MAAM,UAAU,GAAI,KAAiC,CAAC,UAAU,KAAK,MAAM,IAAK,KAAiC,CAAC,UAAU,KAAK,IAAI,CAAC;IACtI,MAAM,UAAU,GAAI,KAAiC,CAAC,UAAU,KAAK,MAAM,IAAK,KAAiC,CAAC,UAAU,KAAK,IAAI,CAAC;IACtI,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAClC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAE/B,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAElD,4BAA4B;IAC5B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,UAAU;QAAE,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,UAAU;QAAE,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,aAAa,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC;IAC1G,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,kBAAkB,IAAI,IAAI,SAAS,IAAI,SAAS,IAAI,CAAC,CAAC;IACvE,IAAI,IAAI,EAAE,CAAC;QACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAU,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,OAAO,CAAC;IACnC,MAAM,IAAI,GAAI,KAAiC,CAAC,IAAc,CAAC;IAC/D,MAAM,QAAQ,GAAI,KAAiC,CAAC,IAA0B,CAAC;IAE/E,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAElD,IAAI,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,4BAA4B,QAAQ,aAAa,IAAI,OAAO,CAAC,CAAC;IACxF,CAAC;SAAM,IAAI,QAAQ,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,QAAQ,QAAQ,KAAK,CAAC,CAAC;IACjD,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,uCAAuC,IAAI,OAAO,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAW,IAAI,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,KAAK,GAAI,KAAiC,CAAC,KAAe,IAAI,SAAS,CAAC;IAC9E,MAAM,QAAQ,GAAI,KAAiC,CAAC,QAA8B,CAAC;IACnF,MAAM,QAAQ,GAAI,KAAiC,CAAC,QAA8B,CAAC;IAEnF,IAAI,CAAC,QAAQ;QAAE,MAAM,IAAI,gBAAgB,CAAC,+BAA+B,EAAE,IAAI,CAAC,CAAC;IACjF,IAAI,CAAC,QAAQ;QAAE,MAAM,IAAI,gBAAgB,CAAC,+BAA+B,EAAE,IAAI,CAAC,CAAC;IAEjF,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,WAAW,KAAK,cAAc,QAAQ,KAAK,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,QAAQ,QAAQ,KAAK,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAc,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,WAAW,CAAC;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IAExB,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,kBAAkB,IAAI,iBAAiB,IAAI,KAAK,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAY,IAAI,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAE/B,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,IAAI,KAAK;QAAE,KAAK,IAAI,mBAAmB,KAAK,GAAG,CAAC;IAChD,IAAI,KAAK;QAAE,KAAK,IAAI,mBAAmB,KAAK,GAAG,CAAC;IAChD,IAAI,KAAK;QAAE,KAAK,IAAI,aAAa,KAAK,GAAG,CAAC;IAE1C,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,GAAG,SAAS,IAAI,MAAM,KAAK,GAAG,CAAC,CAAC;AACtE,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAY,IAAI,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAExD,IAAI,CAAC,aAAa;QAAE,MAAM,IAAI,gBAAgB,CAAC,gCAAgC,EAAE,IAAI,CAAC,CAAC;IAEvF,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAClD,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IAC5B,MAAM,MAAM,GAAI,EAAE,CAAC,MAAiB,IAAI,QAAQ,CAAC;IACjD,MAAM,MAAM,GAAI,EAAE,CAAC,MAAiB,IAAI,EAAE,CAAC;IAE3C,kBAAkB;IAClB,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,KAAK,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,iBAAiB,CAAC,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAc,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,iCAAiC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,oBAAoB;IACpB,MAAM,QAAQ,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,yBAAyB,UAAU,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IAC7F,KAAK,CAAC,IAAI,CAAC,yBAAyB,IAAI,cAAc,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,uBAAuB,MAAM,IAAI,MAAM,GAAG,CAAC,CAAC;IACvD,IAAI,QAAQ,EAAE,CAAC;QACb,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAW,IAAI,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,UAAU,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IAEtB,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,MAAM,IAAI,GAAG,CAAC,CAAC;IAE1C,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,OAAO,EAAE,QAAQ,IAAI,OAAO,EAAE,eAAe,IAAI,QAAQ,EAAE,KAAK,EAAE,eAAe,IAAI,IAAI,CAAC,CAAC;IACjI,CAAC;SAAM,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,OAAO,GAAG,QAAQ,IAAI,OAAO,GAAG,eAAe,IAAI,QAAQ,GAAG,KAAK,GAAG,eAAe,IAAI,IAAI,CAAC,CAAC;IACrI,CAAC;SAAM,IAAI,GAAG,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,OAAO,GAAG,eAAe,IAAI,OAAO,GAAG,cAAc,IAAI,IAAI,CAAC,CAAC;IACrG,CAAC;SAAM,IAAI,GAAG,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,OAAO,GAAG,eAAe,IAAI,OAAO,GAAG,cAAc,IAAI,IAAI,CAAC,CAAC;IACrG,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,uBAAuB,IAAI,mBAAmB,CAAC,CAAC;IACtF,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAY,IAAI,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAE1C,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAe,KAAK,UAAU,CAAC,CAAC;IAC/E,IAAI,CAAC,WAAW;QAAE,MAAM,IAAI,gBAAgB,CAAC,sCAAsC,EAAE,IAAI,CAAC,CAAC;IAE3F,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,KAAK,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,kBAAkB,IAAI,qDAAqD,CAAC,CAAC;IAExF,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAc,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QACtE,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QAEnC,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,6BAA6B,GAAG,WAAW,KAAK,KAAK,CAAC,CAAC;YAClE,KAAK,CAAC,IAAI,CAAC,uCAAuC,GAAG,iBAAiB,CAAC,CAAC;YACxE,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,8BAA8B,GAAG,GAAG,CAAC,0CAA0C,KAAK,OAAO,CAAC,CAAC;YACxG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;aAAM,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;YACjD,IAAI,IAAI,EAAE,CAAC;gBACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;gBAC1B,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,4DAA4D,IAAI,KAAK,CAAC,CAAC;YACpF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,iCAAiC;YACjC,KAAK,CAAC,IAAI,CAAC,kBAAkB,KAAK,EAAE,CAAC,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtB,IAAI,IAAI,EAAE,CAAC;gBACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,+DAA+D;IAC/D,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,MAAM,GAAG,CAAC;IACpD,4CAA4C;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAY,IAAI,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC;IAClC,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IAE5B,iFAAiF;IACjF,MAAM,aAAa,GAAW,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC7D,IAAI,cAAc,CAAC,WAAW,CAAC,EAAE,CAAC;QAChC,OAAO,kBAAkB,CAAC,aAAa,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,CAAC,sBAAsB,WAAW,aAAa,CAAC,CAAC;AAC1D,CAAC"}

package/dist/codegen/machines.d.ts

@@ -0,0 +1,9 @@
+/**
+ * State Machine Generators — machine, machineReducer.
+ *
+ * KERN's killer feature: 12 lines of KERN → 140+ lines of TypeScript.
+ * Extracted from codegen-core.ts for modular codegen architecture.
+ */
+import type { IRNode } from '../types.js';
+export declare function generateMachine(node: IRNode): string[];
+export declare function generateMachineReducer(node: IRNode): string[];

package/dist/codegen/machines.js

@@ -0,0 +1,127 @@
+/**
+ * State Machine Generators — machine, machineReducer.
+ *
+ * KERN's killer feature: 12 lines of KERN → 140+ lines of TypeScript.
+ * Extracted from codegen-core.ts for modular codegen architecture.
+ */
+import { propsOf } from '../node-props.js';
+import { emitIdentifier, emitTemplateSafe } from './emitters.js';
+import { getProps, getChildren, handlerCode, exportPrefix } from './helpers.js';
+const p = getProps;
+const kids = getChildren;
+// ── State Machine ────────────────────────────────────────────────────────
+export function generateMachine(node) {
+    const props = propsOf(node);
+    const name = emitIdentifier(props.name, 'UnknownMachine', node);
+    const exp = exportPrefix(node);
+    const lines = [];
+    // Collect states
+    const states = kids(node, 'state');
+    const stateNames = states.map(s => {
+        const sp = propsOf(s);
+        return emitIdentifier(sp.name || sp.value, 'state', s);
+    });
+    // State type
+    const stateType = `${name}State`;
+    lines.push(`${exp}type ${stateType} = ${stateNames.map(s => `'${emitTemplateSafe(s)}'`).join(' | ')};`);
+    lines.push('');
+    // Error class
+    const errorName = `${name}StateError`;
+    lines.push(`${exp}class ${errorName} extends Error {`);
+    lines.push(`  constructor(`);
+    lines.push(`    public readonly expected: string | string[],`);
+    lines.push(`    public readonly actual: string,`);
+    lines.push(`  ) {`);
+    lines.push(`    const expectedStr = Array.isArray(expected) ? expected.join(' | ') : expected;`);
+    lines.push(`    super(\`Invalid ${name.toLowerCase()} state: expected \${expectedStr}, got \${actual}\`);`);
+    lines.push(`    this.name = '${errorName}';`);
+    lines.push(`  }`);
+    lines.push('}');
+    lines.push('');
+    // Transition functions
+    const transitions = kids(node, 'transition');
+    for (const t of transitions) {
+        const tp = propsOf(t);
+        const tname = emitIdentifier(tp.name, 'transition', t);
+        const from = tp.from || '';
+        const to = tp.to || '';
+        const fromStates = from.split('|').map(s => s.trim());
+        const isMultiFrom = fromStates.length > 1;
+        const fnName = `${tname}${name}`;
+        const code = handlerCode(t);
+        lines.push(`/** ${from} → ${to} */`);
+        lines.push(`${exp}function ${fnName}<T extends { state: ${stateType} }>(entity: T): T {`);
+        if (isMultiFrom) {
+            lines.push(`  const validStates: ${stateType}[] = [${fromStates.map(s => `'${s}'`).join(', ')}];`);
+            lines.push(`  if (!validStates.includes(entity.state)) {`);
+            lines.push(`    throw new ${errorName}(validStates, entity.state);`);
+            lines.push(`  }`);
+        }
+        else {
+            lines.push(`  if (entity.state !== '${fromStates[0]}') {`);
+            lines.push(`    throw new ${errorName}('${fromStates[0]}', entity.state);`);
+            lines.push(`  }`);
+        }
+        if (code) {
+            for (const line of code.split('\n')) {
+                lines.push(`  ${line}`);
+            }
+        }
+        else {
+            lines.push(`  return { ...entity, state: '${to}' as ${stateType} };`);
+        }
+        lines.push('}');
+        lines.push('');
+    }
+    return lines;
+}
+// ── Machine → useReducer (Ink target) ────────────────────────────────────
+export function generateMachineReducer(node) {
+    const props = propsOf(node);
+    const name = emitIdentifier(props.name, 'UnknownMachine', node);
+    const exp = exportPrefix(node);
+    const lines = [];
+    lines.push(`import { useReducer } from 'react';`);
+    lines.push('');
+    // First emit the standard machine output
+    lines.push(...generateMachine(node));
+    // Collect states + transitions
+    const states = kids(node, 'state');
+    const stateNames = states.map(s => {
+        const sp = propsOf(s);
+        return sp.name || sp.value || '';
+    });
+    const initialState = states.find(s => {
+        const sp = propsOf(s);
+        return sp.initial === 'true' || sp.initial === true;
+    });
+    const initialName = initialState ? (propsOf(initialState).name || propsOf(initialState).value || '') : stateNames[0];
+    const transitions = kids(node, 'transition');
+    const stateType = `${name}State`;
+    // Action type union
+    const actionNames = transitions.map(t => emitIdentifier(propsOf(t).name, 'action', t));
+    lines.push(`${exp}type ${name}Action = ${actionNames.map(a => `'${a}'`).join(' | ')};`);
+    lines.push('');
+    // Reducer function
+    lines.push(`${exp}function ${name.charAt(0).toLowerCase() + name.slice(1)}Reducer(state: ${stateType}, action: ${name}Action): ${stateType} {`);
+    lines.push(`  const entity = { state };`);
+    lines.push(`  switch (action) {`);
+    for (const t of transitions) {
+        const tp = propsOf(t);
+        const tname = emitIdentifier(tp.name, 'action', t);
+        const fnName = `${tname}${name}`;
+        lines.push(`    case '${emitTemplateSafe(tname)}': return ${fnName}(entity).state;`);
+    }
+    lines.push(`    default: return state;`);
+    lines.push(`  }`);
+    lines.push('}');
+    lines.push('');
+    // useReducer hook
+    lines.push(`${exp}function use${name}Reducer() {`);
+    lines.push(`  const [state, dispatch] = useReducer(${name.charAt(0).toLowerCase() + name.slice(1)}Reducer, '${initialName}' as ${stateType});`);
+    lines.push(`  return { state, dispatch } as const;`);
+    lines.push('}');
+    lines.push('');
+    return lines;
+}
+//# sourceMappingURL=machines.js.map