@kernlang/core 3.1.5 → 3.1.7

package/dist/codegen/type-system.js

@@ -0,0 +1,171 @@
+/**
+ * Type System Generators — type, interface, union, service, const.
+ *
+ * Extracted from codegen-core.ts for modular codegen architecture.
+ */
+import { propsOf } from '../node-props.js';
+import { emitIdentifier, emitTemplateSafe, emitTypeAnnotation } from './emitters.js';
+import { exportPrefix, getChildren, getFirstChild, getProps, handlerCode, parseParamList } from './helpers.js';
+const p = getProps;
+const kids = getChildren;
+const firstChild = getFirstChild;
+// ── Type Alias ───────────────────────────────────────────────────────────
+// type name=PlanState values="draft|approved|running|paused|completed|failed|cancelled"
+// → export type PlanState = 'draft' | 'approved' | 'running' | ...;
+export function generateType(node) {
+    const props = propsOf(node);
+    const name = emitIdentifier(props.name, 'UnknownType', node);
+    const { values, alias } = props;
+    const exp = exportPrefix(node);
+    if (values) {
+        const members = values
+            .split('|')
+            .map((v) => `'${emitTemplateSafe(v.trim())}'`)
+            .join(' | ');
+        return [`${exp}type ${name} = ${members};`];
+    }
+    if (alias) {
+        return [`${exp}type ${name} = ${emitTypeAnnotation(alias, 'unknown', node)};`];
+    }
+    return [`${exp}type ${name} = unknown;`];
+}
+// ── Interface ────────────────────────────────────────────────────────────
+export function generateInterface(node) {
+    const props = propsOf(node);
+    const name = emitIdentifier(props.name, 'UnknownInterface', node);
+    const ext = props.extends ? ` extends ${emitTypeAnnotation(props.extends, 'unknown', node)}` : '';
+    const exp = exportPrefix(node);
+    const lines = [];
+    lines.push(`${exp}interface ${name}${ext} {`);
+    for (const field of kids(node, 'field')) {
+        const fp = propsOf(field);
+        const fieldName = emitIdentifier(fp.name, 'field', field);
+        const opt = fp.optional === 'true' || fp.optional === true ? '?' : '';
+        lines.push(`  ${fieldName}${opt}: ${emitTypeAnnotation(fp.type, 'unknown', field)};`);
+    }
+    lines.push('}');
+    return lines;
+}
+// ── Discriminated Union ──────────────────────────────────────────────────
+export function generateUnion(node) {
+    const props = propsOf(node);
+    const name = emitIdentifier(props.name, 'UnknownUnion', node);
+    const discriminant = emitIdentifier(props.discriminant, 'type', node);
+    const exp = exportPrefix(node);
+    const variants = kids(node, 'variant');
+    if (variants.length === 0) {
+        return [`${exp}type ${name} = never;`];
+    }
+    const lines = [`${exp}type ${name} =`];
+    for (let i = 0; i < variants.length; i++) {
+        const vp = propsOf(variants[i]);
+        const vname = emitTemplateSafe(vp.name ?? 'variant');
+        const fields = kids(variants[i], 'field');
+        const fieldParts = [`${discriminant}: '${emitTemplateSafe(vname)}'`];
+        for (const field of fields) {
+            const fp = propsOf(field);
+            const opt = fp.optional === 'true' || fp.optional === true ? '?' : '';
+            fieldParts.push(`${emitIdentifier(fp.name, 'field', field)}${opt}: ${emitTypeAnnotation(fp.type, 'unknown', field)}`);
+        }
+        const semi = i === variants.length - 1 ? ';' : '';
+        lines.push(`  | { ${fieldParts.join('; ')} }${semi}`);
+    }
+    return lines;
+}
+// ── Service (Class) ─────────────────────────────────────────────────────
+export function generateService(node) {
+    const props = propsOf(node);
+    const name = emitIdentifier(props.name, 'UnknownService', node);
+    const impl = props.implements;
+    const exp = exportPrefix(node);
+    const lines = [];
+    const implClause = impl ? ` implements ${emitTypeAnnotation(impl, 'unknown', node)}` : '';
+    lines.push(`${exp}class ${name}${implClause} {`);
+    // Fields
+    for (const field of kids(node, 'field')) {
+        const fp = propsOf(field);
+        const fieldName = emitIdentifier(fp.name, 'field', field);
+        const vis = fp.private === 'true' || fp.private === true ? 'private ' : '';
+        const readonly = fp.readonly === 'true' || fp.readonly === true
+            ? 'readonly '
+            : '';
+        const typeAnnotation = fp.type ? `: ${emitTypeAnnotation(fp.type, 'unknown', field)}` : '';
+        const defaultVal = fp.default;
+        // default values are by-design raw code (escape hatch) — documented, not sanitized
+        const init = defaultVal !== undefined ? ` = ${defaultVal}` : '';
+        lines.push(`  ${vis}${readonly}${fieldName}${typeAnnotation}${init};`);
+    }
+    // Constructor (if any constructor child exists)
+    const ctorNode = firstChild(node, 'constructor');
+    if (ctorNode) {
+        const ctorProps = p(ctorNode);
+        const ctorParams = ctorProps.params ? parseParamList(ctorProps.params) : '';
+        const ctorCode = handlerCode(ctorNode);
+        lines.push('');
+        lines.push(`  constructor(${ctorParams}) {`);
+        if (ctorCode) {
+            for (const line of ctorCode.split('\n')) {
+                lines.push(`    ${line}`);
+            }
+        }
+        lines.push('  }');
+    }
+    // Methods
+    for (const method of kids(node, 'method')) {
+        const mp = propsOf(method);
+        const mname = emitIdentifier(mp.name, 'method', method);
+        const mparams = mp.params ? parseParamList(mp.params) : '';
+        const isAsync = mp.async === 'true' || mp.async === true;
+        const isStream = mp.stream === 'true' || mp.stream === true;
+        const isStatic = mp.static === 'true' || mp.static === true;
+        const vis = mp.private === 'true' || mp.private === true
+            ? 'private '
+            : '';
+        const staticKw = isStatic ? 'static ' : '';
+        const star = isStream ? '*' : '';
+        const asyncKw = isAsync || isStream ? 'async ' : '';
+        const mcode = handlerCode(method);
+        // stream=true → AsyncGenerator return type
+        const mreturns = isStream
+            ? `: AsyncGenerator<${emitTypeAnnotation(mp.returns, 'unknown', method)}>`
+            : mp.returns
+                ? `: ${emitTypeAnnotation(mp.returns, 'unknown', method)}`
+                : '';
+        lines.push('');
+        lines.push(`  ${vis}${staticKw}${asyncKw}${star}${mname}(${mparams})${mreturns} {`);
+        if (mcode) {
+            for (const line of mcode.split('\n')) {
+                lines.push(`    ${line}`);
+            }
+        }
+        lines.push('  }');
+    }
+    lines.push('}');
+    // Singleton instances
+    for (const singleton of kids(node, 'singleton')) {
+        const sp = p(singleton);
+        const sname = emitIdentifier(sp.name, 'instance', singleton);
+        const stype = emitIdentifier(sp.type, name, singleton);
+        lines.push('');
+        lines.push(`${exp}const ${sname} = new ${stype}();`);
+    }
+    return lines;
+}
+// ── Const ───────────────────────────────────────────────────────────────
+export function generateConst(node) {
+    const props = propsOf(node);
+    const name = emitIdentifier(props.name, 'unknownConst', node);
+    const constType = props.type;
+    const value = props.value;
+    const exp = exportPrefix(node);
+    const code = handlerCode(node);
+    const typeAnnotation = constType ? `: ${emitTypeAnnotation(constType, 'unknown', node)}` : '';
+    if (code) {
+        return [`${exp}const ${name}${typeAnnotation} = ${code.trim()};`];
+    }
+    if (value) {
+        return [`${exp}const ${name}${typeAnnotation} = ${value};`];
+    }
+    return [`${exp}const ${name}${typeAnnotation};`];
+}
+//# sourceMappingURL=type-system.js.map

package/dist/codegen/type-system.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system.js","sourceRoot":"","sources":["../../src/codegen/type-system.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE3C,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACrF,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE/G,MAAM,CAAC,GAAG,QAAQ,CAAC;AACnB,MAAM,IAAI,GAAG,WAAW,CAAC;AACzB,MAAM,UAAU,GAAG,aAAa,CAAC;AAEjC,4EAA4E;AAC5E,wFAAwF;AACxF,oEAAoE;AAEpE,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,KAAK,GAAG,OAAO,CAAS,IAAI,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IAC7D,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAChC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAE/B,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,OAAO,GAAG,MAAM;aACnB,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;aAC7C,IAAI,CAAC,KAAK,CAAC,CAAC;QACf,OAAO,CAAC,GAAG,GAAG,QAAQ,IAAI,MAAM,OAAO,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,GAAG,GAAG,QAAQ,IAAI,MAAM,kBAAkB,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,QAAQ,IAAI,aAAa,CAAC,CAAC;AAC3C,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAc,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,kBAAkB,EAAE,IAAI,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAClG,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,aAAa,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,OAAO,CAAU,KAAK,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC1D,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,KAAK,MAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,GAAG,GAAG,KAAK,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACxF,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,KAAK,GAAG,OAAO,CAAU,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACtE,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAEvC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,KAAK,GAAa,CAAC,GAAG,GAAG,QAAQ,IAAI,IAAI,CAAC,CAAC;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,OAAO,CAAY,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,CAAC,IAAI,IAAI,SAAS,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1C,MAAM,UAAU,GAAG,CAAC,GAAG,YAAY,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACrE,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,UAAU,CAAC,IAAI,CACb,GAAG,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,GAAG,KAAK,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,CACrG,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAY,IAAI,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;IAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,eAAe,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1F,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,SAAS,IAAI,GAAG,UAAU,IAAI,CAAC,CAAC;IAEjD,SAAS;IACT,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,OAAO,CAAU,KAAK,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC1D,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,KAAK,MAAM,IAAI,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,MAAM,QAAQ,GACX,EAA8B,CAAC,QAAQ,KAAK,MAAM,IAAK,EAA8B,CAAC,QAAQ,KAAK,IAAI;YACtG,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,EAAE,CAAC;QACT,MAAM,cAAc,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3F,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC;QAC9B,mFAAmF;QACnF,MAAM,IAAI,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,QAAQ,GAAG,SAAS,GAAG,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC;IACzE,CAAC;IAED,gDAAgD;IAChD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACjD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,MAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,iBAAiB,UAAU,KAAK,CAAC,CAAC;QAC7C,IAAI,QAAQ,EAAE,CAAC;YACb,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;IAED,UAAU;IACV,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,OAAO,CAAW,MAAM,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAI,EAA8B,CAAC,KAAK,KAAK,MAAM,IAAK,EAA8B,CAAC,KAAK,KAAK,IAAI,CAAC;QACnH,MAAM,QAAQ,GACX,EAA8B,CAAC,MAAM,KAAK,MAAM,IAAK,EAA8B,CAAC,MAAM,KAAK,IAAI,CAAC;QACvG,MAAM,QAAQ,GACX,EAA8B,CAAC,MAAM,KAAK,MAAM,IAAK,EAA8B,CAAC,MAAM,KAAK,IAAI,CAAC;QACvG,MAAM,GAAG,GACN,EAA8B,CAAC,OAAO,KAAK,MAAM,IAAK,EAA8B,CAAC,OAAO,KAAK,IAAI;YACpG,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,EAAE,CAAC;QACT,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QAElC,2CAA2C;QAC3C,MAAM,QAAQ,GAAG,QAAQ;YACvB,CAAC,CAAC,oBAAoB,kBAAkB,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG;YAC1E,CAAC,CAAC,EAAE,CAAC,OAAO;gBACV,CAAC,CAAC,KAAK,kBAAkB,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE;gBAC1D,CAAC,CAAC,EAAE,CAAC;QAET,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,QAAQ,GAAG,OAAO,GAAG,IAAI,GAAG,KAAK,IAAI,OAAO,IAAI,QAAQ,IAAI,CAAC,CAAC;QACpF,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEhB,sBAAsB;IACtB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;QAChD,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QACxB,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAc,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QACvE,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAc,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,SAAS,KAAK,UAAU,KAAK,KAAK,CAAC,CAAC;IACvD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAE3E,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,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC;IAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,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,OAAO,CAAC,GAAG,GAAG,SAAS,IAAI,GAAG,cAAc,MAAM,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,GAAG,GAAG,SAAS,IAAI,GAAG,cAAc,MAAM,KAAK,GAAG,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,SAAS,IAAI,GAAG,cAAc,GAAG,CAAC,CAAC;AACnD,CAAC"}

package/dist/codegen-core.d.ts

@@ -5,11 +5,26 @@
  * These are target-agnostic — they compile to TypeScript regardless of target.
  *
  * Machine nodes are KERN's killer feature: 12 lines of KERN → 140+ lines of TS.
+ *
+ * Generator implementations are split into domain modules under codegen/.
+ * This file is the thin dispatcher: imports, re-exports, and generateCoreNode switch.
+ * Generators that call generateCoreNode recursively remain here to avoid circular imports.
  */
-import type { IRNode } from './types.js';
 import { type KernRuntime } from './runtime.js';
-export { emitIdentifier, emitStringLiteral, emitPath, emitTemplateSafe, emitTypeAnnotation, emitImportSpecifier } from './codegen/emitters.js';
-export { getProps, getChildren, getFirstChild, getStyles, getPseudoStyles, getThemeRefs, dedent, cssPropertyName, handlerCode, exportPrefix, capitalize, parseParamList, emitReasonAnnotations, emitLowConfidenceTodo } from './codegen/helpers.js';
+import type { IRNode } from './types.js';
+export { generateCache, generateConfig, generateDependency, generateModel, generateRepository, generateStore, } from './codegen/data-layer.js';
+export { emitIdentifier, emitImportSpecifier, emitPath, emitStringLiteral, emitTemplateSafe, emitTypeAnnotation, } from './codegen/emitters.js';
+export { generateEvent, generateOn, generateWebSocket } from './codegen/events.js';
+export { generateError, generateFunction } from './codegen/functions.js';
+export { generateAction, generateApply, generateAssume, generateCollect, generateDerive, generateExpect, generateGuard, generateInvariant, generatePattern, generateRecover, generateResolve, generateTransform, } from './codegen/ground-layer.js';
+export { capitalize, cssPropertyName, dedent, emitLowConfidenceTodo, emitReasonAnnotations, exportPrefix, getChildren, getFirstChild, getProps, getPseudoStyles, getStyles, getThemeRefs, handlerCode, parseParamList, sourceComment, } from './codegen/helpers.js';
+export { generateMachine, generateMachineReducer } from './codegen/machines.js';
+export { generateImport } from './codegen/modules.js';
+export { generateScreen } from './codegen/screens.js';
+export type { SemanticTypeMapping } from './codegen/semantic-types.js';
+export { mapSemanticType, SEMANTIC_TYPE_MAP } from './codegen/semantic-types.js';
+export { generateTest } from './codegen/test-gen.js';
+export { generateConst, generateInterface, generateService, generateType, generateUnion, } from './codegen/type-system.js';
 /** Register an evolved generator (called at startup). */
 export declare function registerEvolvedGenerator(keyword: string, fn: (node: IRNode) => string[]): void;
 /** Register a target-specific evolved generator (called at startup). */
@@ -20,45 +35,24 @@ export declare function unregisterEvolvedGenerator(keyword: string): void;
 export declare function clearEvolvedGenerators(): void;
 /** Check if an evolved generator exists for a type. */
 export declare function hasEvolvedGenerator(type: string): boolean;
-export declare function generateType(node: IRNode): string[];
-export declare function generateInterface(node: IRNode): string[];
-export declare function generateUnion(node: IRNode): string[];
-export declare function generateService(node: IRNode): string[];
-export declare function generateFunction(node: IRNode): string[];
-export declare function generateError(node: IRNode): string[];
-export declare function generateMachine(node: IRNode): string[];
-export declare function generateMachineReducer(node: IRNode): string[];
-export declare function generateConfig(node: IRNode): string[];
-export declare function generateStore(node: IRNode): string[];
-export declare function generateTest(node: IRNode): string[];
-export declare function generateEvent(node: IRNode): string[];
-export declare function generateOn(node: IRNode): string[];
-export declare function generateWebSocket(node: IRNode): string[];
 export declare function generateModule(node: IRNode): string[];
-export declare function generateImport(node: IRNode): string[];
-export declare function generateConst(node: IRNode): string[];
-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 generateEach(node: IRNode): string[];
-export declare function generateCollect(node: IRNode): string[];
 export declare function generateBranch(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[];
 export declare function generateConditional(node: IRNode): string[];
 export declare function generateSelect(node: IRNode): string[];
-export declare function generateModel(node: IRNode): string[];
-export declare function generateRepository(node: IRNode): string[];
-export declare function generateDependency(node: IRNode): string[];
-export declare function generateCache(node: IRNode): string[];
 export declare const CORE_NODE_TYPES: Set<string>;
 /** Check if a node type is a core language construct. */
 export declare function isCoreNode(type: string): boolean;
-/** Generate TypeScript for any core language node. */
+/**
+ * Generate TypeScript lines for a core IR node (type system, functions, machines, etc.).
+ *
+ * Returns an empty array if the node type is unknown and no evolved generator is registered.
+ * Template nodes are expanded automatically via the template engine.
+ *
+ * @param node - The IR node to generate code for
+ * @param target - Optional target hint (e.g., `'ink'` for machine → useReducer)
+ * @param runtime - Optional KernRuntime instance
+ * @returns Array of TypeScript source lines
+ * @throws {KernCodegenError} For nodes with invalid/missing required props
+ */
 export declare function generateCoreNode(node: IRNode, target?: string, runtime?: KernRuntime): string[];