@kernlang/core 3.1.5 → 3.1.6

package/dist/codegen/machines.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"machines.js","sourceRoot":"","sources":["../../src/codegen/machines.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEhF,MAAM,CAAC,GAAG,QAAQ,CAAC;AACnB,MAAM,IAAI,GAAG,WAAW,CAAC;AAEzB,4EAA4E;AAE5E,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,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,iBAAiB;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAChC,MAAM,EAAE,GAAG,OAAO,CAAU,CAAC,CAAC,CAAC;QAC/B,OAAO,cAAc,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,aAAa;IACb,MAAM,SAAS,GAAG,GAAG,IAAI,OAAO,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,QAAQ,SAAS,MAAM,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,cAAc;IACd,MAAM,SAAS,GAAG,GAAG,IAAI,YAAY,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,SAAS,SAAS,kBAAkB,CAAC,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,oFAAoF,CAAC,CAAC;IACjG,KAAK,CAAC,IAAI,CAAC,uBAAuB,IAAI,CAAC,WAAW,EAAE,sDAAsD,CAAC,CAAC;IAC5G,KAAK,CAAC,IAAI,CAAC,oBAAoB,SAAS,IAAI,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,uBAAuB;IACvB,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,OAAO,CAAe,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;QAEvB,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,GAAG,KAAK,GAAG,IAAI,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAE5B,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,YAAY,MAAM,uBAAuB,SAAS,qBAAqB,CAAC,CAAC;QAE1F,IAAI,WAAW,EAAE,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,wBAAwB,SAAS,SAAS,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnG,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;YAC3D,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,8BAA8B,CAAC,CAAC;YACrE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,2BAA2B,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC3D,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;YAC5E,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QAED,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;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,iCAAiC,EAAE,QAAQ,SAAS,KAAK,CAAC,CAAC;QACxE,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,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,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,yCAAyC;IACzC,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAErC,+BAA+B;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAChC,MAAM,EAAE,GAAG,OAAO,CAAU,CAAC,CAAC,CAAC;QAC/B,OAAO,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;QACnC,MAAM,EAAE,GAAG,OAAO,CAAU,CAAC,CAAC,CAAC;QAC/B,OAAO,EAAE,CAAC,OAAO,KAAK,MAAM,IAAI,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAU,YAAY,CAAC,CAAC,IAAI,IAAI,OAAO,CAAU,YAAY,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAEvI,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,GAAG,IAAI,OAAO,CAAC;IAEjC,oBAAoB;IACpB,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,CAAe,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACrG,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,QAAQ,IAAI,YAAY,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,mBAAmB;IACnB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,YAAY,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,kBAAkB,SAAS,aAAa,IAAI,YAAY,SAAS,IAAI,CAAC,CAAC;IAChJ,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,OAAO,CAAe,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,GAAG,KAAK,GAAG,IAAI,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,aAAa,gBAAgB,CAAC,KAAK,CAAC,aAAa,MAAM,iBAAiB,CAAC,CAAC;IACvF,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,kBAAkB;IAClB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,eAAe,IAAI,aAAa,CAAC,CAAC;IACnD,KAAK,CAAC,IAAI,CAAC,0CAA0C,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,WAAW,QAAQ,SAAS,IAAI,CAAC,CAAC;IAChJ,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/codegen/modules.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Module Generators — import.
+ *
+ * NOTE: generateModule remains in codegen-core.ts because it calls
+ * generateCoreNode recursively for inline child definitions.
+ *
+ * Extracted from codegen-core.ts for modular codegen architecture.
+ */
+import type { IRNode } from '../types.js';
+export declare function generateImport(node: IRNode): string[];

package/dist/codegen/modules.js

@@ -0,0 +1,40 @@
+/**
+ * Module Generators — import.
+ *
+ * NOTE: generateModule remains in codegen-core.ts because it calls
+ * generateCoreNode recursively for inline child definitions.
+ *
+ * Extracted from codegen-core.ts for modular codegen architecture.
+ */
+import { propsOf } from '../node-props.js';
+import { emitIdentifier, emitImportSpecifier } from './emitters.js';
+import { getProps } from './helpers.js';
+const p = getProps;
+// ── Import ──────────────────────────────────────────────────────────────
+export function generateImport(node) {
+    const props = propsOf(node);
+    const from = props.from;
+    const names = props.names;
+    const defaultImport = props.default;
+    const isTypeOnly = props.types === 'true' || props.types === true;
+    if (!from)
+        return [];
+    const safePath = emitImportSpecifier(from, node);
+    const typeKw = isTypeOnly ? 'type ' : '';
+    const safeDefault = defaultImport ? emitIdentifier(defaultImport, 'default', node) : '';
+    const namedList = names
+        ? names.split(',').map(s => emitIdentifier(s.trim(), 'import', node)).join(', ')
+        : '';
+    if (safeDefault && namedList) {
+        return [`import ${typeKw}${safeDefault}, { ${namedList} } from '${safePath}';`];
+    }
+    if (safeDefault) {
+        return [`import ${typeKw}${safeDefault} from '${safePath}';`];
+    }
+    if (namedList) {
+        return [`import ${typeKw}{ ${namedList} } from '${safePath}';`];
+    }
+    // Side-effect import
+    return [`import '${safePath}';`];
+}
+//# sourceMappingURL=modules.js.map

package/dist/codegen/modules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"modules.js","sourceRoot":"","sources":["../../src/codegen/modules.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,MAAM,CAAC,GAAG,QAAQ,CAAC;AAEnB,2EAA2E;AAE3E,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,KAAK,GAAG,OAAO,CAAW,IAAI,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC;IACpC,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC;IAElE,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IAErB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACzC,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,aAAa,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,SAAS,GAAG,KAAK;QACrB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAChF,CAAC,CAAC,EAAE,CAAC;IAEP,IAAI,WAAW,IAAI,SAAS,EAAE,CAAC;QAC7B,OAAO,CAAC,UAAU,MAAM,GAAG,WAAW,OAAO,SAAS,YAAY,QAAQ,IAAI,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,CAAC,UAAU,MAAM,GAAG,WAAW,UAAU,QAAQ,IAAI,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,CAAC,UAAU,MAAM,KAAK,SAAS,YAAY,QAAQ,IAAI,CAAC,CAAC;IAClE,CAAC;IACD,qBAAqB;IACrB,OAAO,CAAC,WAAW,QAAQ,IAAI,CAAC,CAAC;AACnC,CAAC"}

package/dist/codegen/semantic-types.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Semantic Type Map — cross-target type mappings for KERN's semantic types.
+ *
+ * Maps KERN column/field types to target-specific output types:
+ * Prisma schema, SQLAlchemy/SQLModel, Pydantic, TypeScript.
+ */
+export interface SemanticTypeMapping {
+    prisma: string;
+    sqlalchemy: string;
+    pydantic: string;
+    typescript: string;
+}
+export declare const SEMANTIC_TYPE_MAP: Record<string, SemanticTypeMapping>;
+export declare function mapSemanticType(kernType: string, target: keyof SemanticTypeMapping): string;

package/dist/codegen/semantic-types.js

@@ -0,0 +1,31 @@
+/**
+ * Semantic Type Map — cross-target type mappings for KERN's semantic types.
+ *
+ * Maps KERN column/field types to target-specific output types:
+ * Prisma schema, SQLAlchemy/SQLModel, Pydantic, TypeScript.
+ */
+export const SEMANTIC_TYPE_MAP = {
+    uuid: { prisma: 'String @db.Uuid', sqlalchemy: 'UUID', pydantic: 'UUID', typescript: 'string' },
+    string: { prisma: 'String', sqlalchemy: 'String', pydantic: 'str', typescript: 'string' },
+    text: { prisma: 'String', sqlalchemy: 'Text', pydantic: 'str', typescript: 'string' },
+    Email: { prisma: 'String', sqlalchemy: 'String(254)', pydantic: 'EmailStr', typescript: 'string' },
+    URL: { prisma: 'String', sqlalchemy: 'String(2048)', pydantic: 'AnyHttpUrl', typescript: 'string' },
+    PhoneNumber: { prisma: 'String', sqlalchemy: 'String(20)', pydantic: 'str', typescript: 'string' },
+    PersonName: { prisma: 'String', sqlalchemy: 'String(255)', pydantic: 'str', typescript: 'string' },
+    int: { prisma: 'Int', sqlalchemy: 'Integer', pydantic: 'int', typescript: 'number' },
+    integer: { prisma: 'Int', sqlalchemy: 'Integer', pydantic: 'int', typescript: 'number' },
+    float: { prisma: 'Float', sqlalchemy: 'Float', pydantic: 'float', typescript: 'number' },
+    decimal: { prisma: 'Decimal', sqlalchemy: 'Numeric(19, 4)', pydantic: 'Decimal', typescript: 'number' },
+    Money: { prisma: 'Decimal', sqlalchemy: 'Numeric(19, 4)', pydantic: 'Decimal', typescript: 'number' },
+    boolean: { prisma: 'Boolean', sqlalchemy: 'Boolean', pydantic: 'bool', typescript: 'boolean' },
+    bool: { prisma: 'Boolean', sqlalchemy: 'Boolean', pydantic: 'bool', typescript: 'boolean' },
+    date: { prisma: 'DateTime', sqlalchemy: 'Date', pydantic: 'date', typescript: 'Date' },
+    datetime: { prisma: 'DateTime', sqlalchemy: 'DateTime', pydantic: 'datetime', typescript: 'Date' },
+    timestamp: { prisma: 'DateTime', sqlalchemy: 'DateTime', pydantic: 'datetime', typescript: 'Date' },
+    Timestamp: { prisma: 'DateTime', sqlalchemy: 'DateTime', pydantic: 'datetime', typescript: 'Date' },
+    json: { prisma: 'Json', sqlalchemy: 'JSON', pydantic: 'dict[str, Any]', typescript: 'Record<string, unknown>' },
+};
+export function mapSemanticType(kernType, target) {
+    return SEMANTIC_TYPE_MAP[kernType]?.[target] ?? kernType;
+}
+//# sourceMappingURL=semantic-types.js.map

package/dist/codegen/semantic-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-types.js","sourceRoot":"","sources":["../../src/codegen/semantic-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,MAAM,CAAC,MAAM,iBAAiB,GAAwC;IACpE,IAAI,EAAS,EAAE,MAAM,EAAE,iBAAiB,EAAG,UAAU,EAAE,MAAM,EAAY,QAAQ,EAAE,MAAM,EAAW,UAAU,EAAE,QAAQ,EAAE;IAC1H,MAAM,EAAO,EAAE,MAAM,EAAE,QAAQ,EAAY,UAAU,EAAE,QAAQ,EAAW,QAAQ,EAAE,KAAK,EAAY,UAAU,EAAE,QAAQ,EAAE;IAC3H,IAAI,EAAS,EAAE,MAAM,EAAE,QAAQ,EAAY,UAAU,EAAE,MAAM,EAAa,QAAQ,EAAE,KAAK,EAAY,UAAU,EAAE,QAAQ,EAAE;IAC3H,KAAK,EAAQ,EAAE,MAAM,EAAE,QAAQ,EAAY,UAAU,EAAE,aAAa,EAAM,QAAQ,EAAE,UAAU,EAAO,UAAU,EAAE,QAAQ,EAAE;IAC3H,GAAG,EAAU,EAAE,MAAM,EAAE,QAAQ,EAAY,UAAU,EAAE,cAAc,EAAK,QAAQ,EAAE,YAAY,EAAK,UAAU,EAAE,QAAQ,EAAE;IAC3H,WAAW,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAY,UAAU,EAAE,YAAY,EAAO,QAAQ,EAAE,KAAK,EAAY,UAAU,EAAE,QAAQ,EAAE;IAC3H,UAAU,EAAG,EAAE,MAAM,EAAE,QAAQ,EAAY,UAAU,EAAE,aAAa,EAAM,QAAQ,EAAE,KAAK,EAAY,UAAU,EAAE,QAAQ,EAAE;IAC3H,GAAG,EAAU,EAAE,MAAM,EAAE,KAAK,EAAe,UAAU,EAAE,SAAS,EAAU,QAAQ,EAAE,KAAK,EAAY,UAAU,EAAE,QAAQ,EAAE;IAC3H,OAAO,EAAM,EAAE,MAAM,EAAE,KAAK,EAAe,UAAU,EAAE,SAAS,EAAU,QAAQ,EAAE,KAAK,EAAY,UAAU,EAAE,QAAQ,EAAE;IAC3H,KAAK,EAAQ,EAAE,MAAM,EAAE,OAAO,EAAa,UAAU,EAAE,OAAO,EAAY,QAAQ,EAAE,OAAO,EAAU,UAAU,EAAE,QAAQ,EAAE;IAC3H,OAAO,EAAM,EAAE,MAAM,EAAE,SAAS,EAAW,UAAU,EAAE,gBAAgB,EAAE,QAAQ,EAAE,SAAS,EAAQ,UAAU,EAAE,QAAQ,EAAE;IAC1H,KAAK,EAAQ,EAAE,MAAM,EAAE,SAAS,EAAW,UAAU,EAAE,gBAAgB,EAAE,QAAQ,EAAE,SAAS,EAAQ,UAAU,EAAE,QAAQ,EAAE;IAC1H,OAAO,EAAM,EAAE,MAAM,EAAE,SAAS,EAAW,UAAU,EAAE,SAAS,EAAU,QAAQ,EAAE,MAAM,EAAW,UAAU,EAAE,SAAS,EAAE;IAC5H,IAAI,EAAS,EAAE,MAAM,EAAE,SAAS,EAAW,UAAU,EAAE,SAAS,EAAU,QAAQ,EAAE,MAAM,EAAW,UAAU,EAAE,SAAS,EAAE;IAC5H,IAAI,EAAS,EAAE,MAAM,EAAE,UAAU,EAAU,UAAU,EAAE,MAAM,EAAa,QAAQ,EAAE,MAAM,EAAW,UAAU,EAAE,MAAM,EAAE;IACzH,QAAQ,EAAK,EAAE,MAAM,EAAE,UAAU,EAAU,UAAU,EAAE,UAAU,EAAS,QAAQ,EAAE,UAAU,EAAO,UAAU,EAAE,MAAM,EAAE;IACzH,SAAS,EAAI,EAAE,MAAM,EAAE,UAAU,EAAU,UAAU,EAAE,UAAU,EAAS,QAAQ,EAAE,UAAU,EAAO,UAAU,EAAE,MAAM,EAAE;IACzH,SAAS,EAAI,EAAE,MAAM,EAAE,UAAU,EAAU,UAAU,EAAE,UAAU,EAAS,QAAQ,EAAE,UAAU,EAAO,UAAU,EAAE,MAAM,EAAE;IACzH,IAAI,EAAS,EAAE,MAAM,EAAE,MAAM,EAAc,UAAU,EAAE,MAAM,EAAa,QAAQ,EAAE,gBAAgB,EAAE,UAAU,EAAE,yBAAyB,EAAE;CAC9I,CAAC;AAEF,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,MAAiC;IACjF,OAAO,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC;AAC3D,CAAC"}

package/dist/codegen/test-gen.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Test Generator — test.
+ *
+ * Extracted from codegen-core.ts for modular codegen architecture.
+ */
+import type { IRNode } from '../types.js';
+export declare function generateTest(node: IRNode): string[];

package/dist/codegen/test-gen.js

@@ -0,0 +1,56 @@
+/**
+ * Test Generator — test.
+ *
+ * Extracted from codegen-core.ts for modular codegen architecture.
+ */
+import { propsOf } from '../node-props.js';
+import { emitTemplateSafe } from './emitters.js';
+import { getProps, getChildren, handlerCode } from './helpers.js';
+const p = getProps;
+const kids = getChildren;
+// ── Test ─────────────────────────────────────────────────────────────────
+export function generateTest(node) {
+    const props = propsOf(node);
+    const name = emitTemplateSafe(props.name || 'UnknownTest');
+    const lines = [];
+    lines.push(`import { describe, it, expect } from 'vitest';`);
+    lines.push('');
+    // Top-level setup handler
+    const setup = handlerCode(node);
+    if (setup) {
+        for (const line of setup.split('\n'))
+            lines.push(line);
+        lines.push('');
+    }
+    lines.push(`describe('${name}', () => {`);
+    // 'describe' and 'it' children don't have typed interfaces in NodePropsMap
+    for (const desc of kids(node, 'describe')) {
+        const dname = emitTemplateSafe(p(desc).name || 'describe');
+        lines.push(`  describe('${dname}', () => {`);
+        for (const test of kids(desc, 'it')) {
+            const tname = emitTemplateSafe(p(test).name || 'test');
+            const code = handlerCode(test);
+            lines.push(`    it('${tname}', () => {`);
+            if (code) {
+                for (const line of code.split('\n'))
+                    lines.push(`      ${line}`);
+            }
+            lines.push(`    });`);
+        }
+        lines.push(`  });`);
+    }
+    // Top-level it blocks
+    for (const test of kids(node, 'it')) {
+        const tname = emitTemplateSafe(p(test).name || 'test');
+        const code = handlerCode(test);
+        lines.push(`  it('${tname}', () => {`);
+        if (code) {
+            for (const line of code.split('\n'))
+                lines.push(`    ${line}`);
+        }
+        lines.push(`  });`);
+    }
+    lines.push('});');
+    return lines;
+}
+//# sourceMappingURL=test-gen.js.map

package/dist/codegen/test-gen.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-gen.js","sourceRoot":"","sources":["../../src/codegen/test-gen.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAElE,MAAM,CAAC,GAAG,QAAQ,CAAC;AACnB,MAAM,IAAI,GAAG,WAAW,CAAC;AAEzB,4EAA4E;AAE5E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,KAAK,GAAG,OAAO,CAAS,IAAI,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,IAAI,aAAa,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,0BAA0B;IAC1B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,YAAY,CAAC,CAAC;IAE1C,2EAA2E;IAC3E,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,gBAAgB,CAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAe,IAAI,UAAU,CAAC,CAAC;QACvE,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,YAAY,CAAC,CAAC;QAE7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,gBAAgB,CAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAe,IAAI,MAAM,CAAC,CAAC;YACnE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,YAAY,CAAC,CAAC;YACzC,IAAI,IAAI,EAAE,CAAC;gBACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;YACnE,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtB,CAAC;IAED,sBAAsB;IACtB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,gBAAgB,CAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAe,IAAI,MAAM,CAAC,CAAC;QACnE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,YAAY,CAAC,CAAC;QACvC,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/codegen/type-system.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Type System Generators — type, interface, union, service, const.
+ *
+ * Extracted from codegen-core.ts for modular codegen architecture.
+ */
+import type { IRNode } from '../types.js';
+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 generateConst(node: IRNode): string[];

package/dist/codegen/type-system.js

@@ -0,0 +1,162 @@
+/**
+ * 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 { getProps, getChildren, getFirstChild, handlerCode, exportPrefix, 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 = emitIdentifier(vp.name, 'variant', variants[i]);
+        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;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAqB,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxG,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAc,cAAc,EAAE,MAAM,cAAc,CAAC;AAE3H,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,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1F,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,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,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,CAAC,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,CAAC,CAAC;QACxH,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,GAAI,EAA8B,CAAC,QAAQ,KAAK,MAAM,IAAK,EAA8B,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7I,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,GAAI,EAA8B,CAAC,MAAM,KAAK,MAAM,IAAK,EAA8B,CAAC,MAAM,KAAK,IAAI,CAAC;QACtH,MAAM,QAAQ,GAAI,EAA8B,CAAC,MAAM,KAAK,MAAM,IAAK,EAA8B,CAAC,MAAM,KAAK,IAAI,CAAC;QACtH,MAAM,GAAG,GAAI,EAA8B,CAAC,OAAO,KAAK,MAAM,IAAK,EAA8B,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QACrI,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,CAAC,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,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,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAE/E,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,25 @@
  * 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';
+export { generateType, generateInterface, generateUnion, generateService, generateConst } from './codegen/type-system.js';
+export { generateFunction, generateError } from './codegen/functions.js';
+export { generateMachine, generateMachineReducer } from './codegen/machines.js';
+export { generateConfig, generateStore, generateRepository, generateCache, generateDependency, generateModel } from './codegen/data-layer.js';
+export { generateDerive, generateTransform, generateAction, generateGuard, generateAssume, generateInvariant, generateCollect, generateResolve, generateExpect, generateRecover, generatePattern, generateApply } from './codegen/ground-layer.js';
+export { generateEvent, generateOn, generateWebSocket } from './codegen/events.js';
+export { generateImport } from './codegen/modules.js';
+export { generateTest } from './codegen/test-gen.js';
+export { mapSemanticType, SEMANTIC_TYPE_MAP } from './codegen/semantic-types.js';
+export type { SemanticTypeMapping } from './codegen/semantic-types.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 +34,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[];