@kernlang/python 3.5.6-canary.195.1.72010f21 → 3.5.6

package/dist/codegen-python.d.ts

@@ -12,6 +12,7 @@ export { generateAction, generateAssume, generateBranch, generateCollect, genera
 export { generatePythonEmail, generatePythonJob, generatePythonStorage, } from './generators/infra.js';
 export interface PythonCodegenOptions {
     resolveKernModuleSpec?: (rawPath: string, node: IRNode) => string | undefined;
+    pythonModelBackend?: 'pydantic' | 'sqlmodel' | 'auto';
 }
 /** Generate Python for any core language node. Returns string lines. */
 export declare function generatePythonCoreNode(node: IRNode, options?: PythonCodegenOptions): string[];

package/dist/codegen-python.js

@@ -54,7 +54,7 @@ export function generatePythonCoreNode(node, options = {}) {
             return generateConst(node);
         // Data layer
         case 'model':
-            return generatePythonModel(node);
+            return generatePythonModel(node, options);
         case 'repository':
             return generatePythonRepository(node);
         case 'cache':

package/dist/codegen-python.js.map

@@ -1 +1 @@
-{"version":3,"file":"codegen-python.js","sourceRoot":"","sources":["../src/codegen-python.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,mGAAmG;AACnG,OAAO,EACL,cAAc,EACd,aAAa,EACb,aAAa,EACb,aAAa,EACb,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAC9B,+EAA+E;AAC/E,OAAO,EACL,mBAAmB,EACnB,wBAAwB,EACxB,mBAAmB,EACnB,wBAAwB,EACxB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAC9B,iIAAiI;AACjI,OAAO,EACL,cAAc,EACd,cAAc,EACd,cAAc,EACd,eAAe,EACf,cAAc,EACd,YAAY,EACZ,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,aAAa,GACd,MAAM,wBAAwB,CAAC;AAEhC,yCAAyC;AACzC,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAEtG,mEAAmE;AACnE,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,sBAAsB,CAAC;AAE7G,wEAAwE;AACxE,OAAO,EACL,cAAc,EACd,aAAa,EACb,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,wBAAwB,EACxB,mBAAmB,EACnB,wBAAwB,EACxB,qBAAqB,EACrB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,cAAc,EACd,cAAc,EACd,cAAc,EACd,eAAe,EACf,cAAc,EACd,YAAY,EACZ,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,mBAAmB,EACnB,iBAAiB,EACjB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAQ/B,wEAAwE;AACxE,MAAM,UAAU,sBAAsB,CAAC,IAAY,EAAE,UAAgC,EAAE;IACrF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,WAAW;YACd,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,IAAI;YACP,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAChC,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1F,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,MAAM;YACT,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,KAAK;YACR,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACpC,KAAK,MAAM;YACT,OAAO,EAAE,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,aAAa;QACb,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnC,KAAK,YAAY;YACf,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;QACxC,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnC,KAAK,YAAY;YACf,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;QACxC,KAAK,SAAS;YACZ,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnC,yBAAyB;QACzB,KAAK,KAAK;YACR,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,SAAS;YACZ,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnC,eAAe;QACf,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,WAAW;YACd,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,WAAW;YACd,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,MAAM;YACT,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/B;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,aAAa,CAAC,sBAAsB,CAAC,CAAC"}
+{"version":3,"file":"codegen-python.js","sourceRoot":"","sources":["../src/codegen-python.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,mGAAmG;AACnG,OAAO,EACL,cAAc,EACd,aAAa,EACb,aAAa,EACb,aAAa,EACb,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAC9B,+EAA+E;AAC/E,OAAO,EACL,mBAAmB,EACnB,wBAAwB,EACxB,mBAAmB,EACnB,wBAAwB,EACxB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAC9B,iIAAiI;AACjI,OAAO,EACL,cAAc,EACd,cAAc,EACd,cAAc,EACd,eAAe,EACf,cAAc,EACd,YAAY,EACZ,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,aAAa,GACd,MAAM,wBAAwB,CAAC;AAEhC,yCAAyC;AACzC,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAEtG,mEAAmE;AACnE,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,sBAAsB,CAAC;AAE7G,wEAAwE;AACxE,OAAO,EACL,cAAc,EACd,aAAa,EACb,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,wBAAwB,EACxB,mBAAmB,EACnB,wBAAwB,EACxB,qBAAqB,EACrB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,cAAc,EACd,cAAc,EACd,cAAc,EACd,eAAe,EACf,cAAc,EACd,YAAY,EACZ,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,mBAAmB,EACnB,iBAAiB,EACjB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAS/B,wEAAwE;AACxE,MAAM,UAAU,sBAAsB,CAAC,IAAY,EAAE,UAAgC,EAAE;IACrF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,WAAW;YACd,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,IAAI;YACP,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAChC,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1F,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,MAAM;YACT,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,KAAK;YACR,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACpC,KAAK,MAAM;YACT,OAAO,EAAE,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,aAAa;QACb,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,KAAK,YAAY;YACf,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;QACxC,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnC,KAAK,YAAY;YACf,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;QACxC,KAAK,SAAS;YACZ,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnC,yBAAyB;QACzB,KAAK,KAAK;YACR,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,SAAS;YACZ,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnC,eAAe;QACf,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,WAAW;YACd,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,WAAW;YACd,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,MAAM;YACT,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/B;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,aAAa,CAAC,sBAAsB,CAAC,CAAC"}

package/dist/core/emit-imports.d.ts

@@ -0,0 +1,11 @@
+import type { IRNode } from '@kernlang/core';
+/**
+ * Perform a demand-driven AST traversal to collect necessary Python imports
+ * for the generated models and types, plus any Result/Option preamble imports.
+ */
+export declare function emitImports(root: IRNode, options?: {
+    pythonModelBackend?: 'pydantic' | 'sqlmodel' | 'auto';
+}): {
+    lines: string[];
+    imports: Set<string>;
+};

package/dist/core/emit-imports.js

@@ -0,0 +1,166 @@
+import { getChildren } from '@kernlang/core';
+import { buildPythonStdlibPreamble } from '../python-stdlib-preamble.js';
+import { mapTsTypeToPython } from '../type-map.js';
+function findServerNode(root) {
+    if (root.type === 'server')
+        return root;
+    for (const child of root.children || []) {
+        const found = findServerNode(child);
+        if (found)
+            return found;
+    }
+    return undefined;
+}
+/**
+ * Perform a demand-driven AST traversal to collect necessary Python imports
+ * for the generated models and types, plus any Result/Option preamble imports.
+ */
+export function emitImports(root, options) {
+    const imports = new Set();
+    // 1. Collect KERN standard library preamble imports and definition lines
+    const stdlib = buildPythonStdlibPreamble(root);
+    for (const imp of stdlib.imports) {
+        imports.add(imp);
+    }
+    // 2. Selection of the exact same core nodes as the original transpiler
+    const TOP_LEVEL_CORE = new Set([
+        'type',
+        'interface',
+        'fn',
+        'machine',
+        'error',
+        'module',
+        'config',
+        'store',
+        'test',
+        'event',
+        'import',
+        'extern',
+        'use',
+        'const',
+        'model',
+        'repository',
+        'cache',
+        'dependency',
+        'service',
+        'union',
+        'job',
+        'storage',
+        'email',
+        'derive',
+        'transform',
+        'action',
+        'guard',
+        'assume',
+        'invariant',
+        'each',
+        'collect',
+        'branch',
+        'resolve',
+        'expect',
+        'recover',
+    ]);
+    const serverNode = findServerNode(root) || root;
+    const rootChildren = root.children || [];
+    const serverChildren = serverNode !== root ? serverNode.children || [] : [];
+    const coreNodes = [
+        ...rootChildren.filter((c) => TOP_LEVEL_CORE.has(c.type)),
+        ...serverChildren.filter((c) => TOP_LEVEL_CORE.has(c.type)),
+    ];
+    if (TOP_LEVEL_CORE.has(root.type) && !coreNodes.includes(root)) {
+        coreNodes.unshift(root);
+    }
+    const coreTypes = new Set(coreNodes.map((n) => n.type));
+    const backend = options?.pythonModelBackend || 'auto';
+    // 3. BaseModel / SQLModel imports
+    if (coreTypes.has('interface') || coreTypes.has('union')) {
+        imports.add('from pydantic import BaseModel');
+    }
+    if (coreTypes.has('model')) {
+        if (backend === 'pydantic') {
+            imports.add('from pydantic import BaseModel');
+        }
+        else {
+            imports.add('from sqlmodel import SQLModel, Field, Relationship');
+        }
+    }
+    if (coreTypes.has('repository')) {
+        imports.add('from sqlalchemy.ext.asyncio import AsyncSession');
+    }
+    if (coreTypes.has('event')) {
+        imports.add('from typing import TypedDict');
+        imports.add('from typing import Literal');
+        imports.add('from typing import Any');
+    }
+    // 4. Examine all type strings in the AST to pull in typing / built-in imports
+    const typeProps = ['type', 'returns', 'constType', 'alias', 'values'];
+    function checkTypeString(tsType) {
+        const pyType = mapTsTypeToPython(tsType);
+        if (pyType.includes('Literal[')) {
+            imports.add('from typing import Literal');
+        }
+        if (pyType.includes('Union[')) {
+            imports.add('from typing import Union');
+        }
+        if (pyType.includes('Any')) {
+            imports.add('from typing import Any');
+        }
+        if (pyType.includes('Callable[')) {
+            imports.add('from typing import Callable');
+        }
+        if (tsType.includes('=>')) {
+            imports.add('from typing import Callable');
+        }
+        if (pyType.includes('UUID')) {
+            imports.add('from uuid import UUID');
+        }
+        if (pyType.includes('date') || pyType.includes('datetime')) {
+            imports.add('from datetime import date, datetime');
+        }
+        if (pyType.includes('Decimal')) {
+            imports.add('from decimal import Decimal');
+        }
+    }
+    function walkProps(node) {
+        if (node.type === 'type' && node.props?.values) {
+            imports.add('from typing import Literal');
+        }
+        if (node.props) {
+            for (const prop of typeProps) {
+                if (typeof node.props[prop] === 'string') {
+                    checkTypeString(node.props[prop]);
+                }
+            }
+        }
+        if (node.type === 'model') {
+            for (const col of getChildren(node, 'column')) {
+                const colType = col.props?.type || '';
+                if (colType === 'uuid')
+                    imports.add('from uuid import UUID');
+                if (['date', 'datetime', 'timestamp', 'Timestamp'].includes(colType)) {
+                    imports.add('from datetime import date, datetime');
+                }
+                if (['decimal', 'Money'].includes(colType)) {
+                    imports.add('from decimal import Decimal');
+                }
+                if (colType === 'json')
+                    imports.add('from typing import Any');
+            }
+        }
+        for (const child of node.children || []) {
+            walkProps(child);
+        }
+    }
+    // Only walk type properties of the selected coreNodes and the root itself to remain strictly demand-driven for compiled components
+    for (const node of coreNodes) {
+        walkProps(node);
+    }
+    if (root !== serverNode) {
+        walkProps(root);
+    }
+    return {
+        lines: stdlib.lines,
+        imports,
+    };
+}
+//# sourceMappingURL=emit-imports.js.map

package/dist/core/emit-imports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-imports.js","sourceRoot":"","sources":["../../src/core/emit-imports.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CACzB,IAAY,EACZ,OAAmE;IAEnE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,yEAAyE;IACzE,MAAM,MAAM,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IAED,uEAAuE;IACvE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;QAC7B,MAAM;QACN,WAAW;QACX,IAAI;QACJ,SAAS;QACT,OAAO;QACP,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,MAAM;QACN,OAAO;QACP,QAAQ;QACR,QAAQ;QACR,KAAK;QACL,OAAO;QACP,OAAO;QACP,YAAY;QACZ,OAAO;QACP,YAAY;QACZ,SAAS;QACT,OAAO;QACP,KAAK;QACL,SAAS;QACT,OAAO;QACP,QAAQ;QACR,WAAW;QACX,QAAQ;QACR,OAAO;QACP,QAAQ;QACR,WAAW;QACX,MAAM;QACN,SAAS;QACT,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,SAAS;KACV,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IACzC,MAAM,cAAc,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAE5E,MAAM,SAAS,GAAa;QAC1B,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzD,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAC5D,CAAC;IAEF,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,OAAO,EAAE,kBAAkB,IAAI,MAAM,CAAC;IAEtD,kCAAkC;IAClC,IAAI,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3B,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,oDAAoD,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,GAAG,CAAC,iDAAiD,CAAC,CAAC;IACjE,CAAC;IAED,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;QAC5C,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;QAC1C,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IACxC,CAAC;IAED,8EAA8E;IAC9E,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAEtE,SAAS,eAAe,CAAC,MAAc;QACrC,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;QACxC,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QACvC,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/B,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,SAAS,SAAS,CAAC,IAAY;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;YAC/C,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;gBAC7B,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;oBACzC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAW,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAC9C,MAAM,OAAO,GAAI,GAAG,CAAC,KAAK,EAAE,IAAe,IAAI,EAAE,CAAC;gBAClD,IAAI,OAAO,KAAK,MAAM;oBAAE,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;gBAC7D,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;oBACrE,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;gBACrD,CAAC;gBACD,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC3C,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;gBAC7C,CAAC;gBACD,IAAI,OAAO,KAAK,MAAM;oBAAE,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YACxC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,mIAAmI;IACnI,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,SAAS,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,SAAS,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IAED,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/core/emit-models.d.ts

@@ -0,0 +1,14 @@
+import type { IRNode } from '@kernlang/core';
+/**
+ * Filter the AST for core nodes / declarations and render their bodies using `generatePythonCoreNode`.
+ * In types-only projection (e.g. `--emit=models` or target `python`), functions are suppressed.
+ */
+export declare function emitModels(root: IRNode, options?: {
+    pythonModelBackend?: 'pydantic' | 'sqlmodel' | 'auto';
+    emit?: string;
+    target?: string;
+    resolveKernModuleSpec?: (rawPath: string, node: IRNode) => string | undefined;
+}): {
+    code: string;
+    bodies: string[][];
+};

package/dist/core/emit-models.js

@@ -0,0 +1,86 @@
+import { generatePythonCoreNode } from '../codegen-python.js';
+function findServerNode(root) {
+    if (root.type === 'server')
+        return root;
+    for (const child of root.children || []) {
+        const found = findServerNode(child);
+        if (found)
+            return found;
+    }
+    return undefined;
+}
+/**
+ * Filter the AST for core nodes / declarations and render their bodies using `generatePythonCoreNode`.
+ * In types-only projection (e.g. `--emit=models` or target `python`), functions are suppressed.
+ */
+export function emitModels(root, options) {
+    const isModelsOnly = options?.emit === 'models' || options?.target === 'python';
+    // Allowed core node types
+    const TOP_LEVEL_CORE = new Set([
+        'type',
+        'interface',
+        'fn',
+        'machine',
+        'error',
+        'module',
+        'config',
+        'store',
+        'test',
+        'event',
+        'import',
+        'extern',
+        'use',
+        'const',
+        'model',
+        'repository',
+        'cache',
+        'dependency',
+        'service',
+        'union',
+        'job',
+        'storage',
+        'email',
+        'derive',
+        'transform',
+        'action',
+        'guard',
+        'assume',
+        'invariant',
+        'each',
+        'collect',
+        'branch',
+        'resolve',
+        'expect',
+        'recover',
+    ]);
+    const MODEL_ONLY_CORE = new Set(['type', 'interface', 'event', 'model', 'union']);
+    const allowedTypes = isModelsOnly ? MODEL_ONLY_CORE : TOP_LEVEL_CORE;
+    // Replicate original transpiler-fastapi core node selection
+    const serverNode = findServerNode(root) || root;
+    const rootChildren = root.children || [];
+    const serverChildren = serverNode !== root ? serverNode.children || [] : [];
+    const coreNodes = [
+        ...rootChildren.filter((c) => allowedTypes.has(c.type)),
+        ...serverChildren.filter((c) => allowedTypes.has(c.type)),
+    ];
+    if (allowedTypes.has(root.type) && !coreNodes.includes(root)) {
+        coreNodes.unshift(root);
+    }
+    const codegenOpts = {
+        resolveKernModuleSpec: options?.resolveKernModuleSpec,
+        pythonModelBackend: options?.pythonModelBackend,
+    };
+    const bodies = coreNodes.map((node) => generatePythonCoreNode(node, codegenOpts));
+    const lines = [];
+    for (const coreLines of bodies) {
+        if (coreLines.length > 0) {
+            lines.push(...coreLines);
+            lines.push('');
+        }
+    }
+    return {
+        code: lines.join('\n'),
+        bodies,
+    };
+}
+//# sourceMappingURL=emit-models.js.map

package/dist/core/emit-models.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-models.js","sourceRoot":"","sources":["../../src/core/emit-models.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,OAKC;IAED,MAAM,YAAY,GAAG,OAAO,EAAE,IAAI,KAAK,QAAQ,IAAI,OAAO,EAAE,MAAM,KAAK,QAAQ,CAAC;IAEhF,0BAA0B;IAC1B,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;QAC7B,MAAM;QACN,WAAW;QACX,IAAI;QACJ,SAAS;QACT,OAAO;QACP,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,MAAM;QACN,OAAO;QACP,QAAQ;QACR,QAAQ;QACR,KAAK;QACL,OAAO;QACP,OAAO;QACP,YAAY;QACZ,OAAO;QACP,YAAY;QACZ,SAAS;QACT,OAAO;QACP,KAAK;QACL,SAAS;QACT,OAAO;QACP,QAAQ;QACR,WAAW;QACX,QAAQ;QACR,OAAO;QACP,QAAQ;QACR,WAAW;QACX,MAAM;QACN,SAAS;QACT,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,SAAS;KACV,CAAC,CAAC;IAEH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAElF,MAAM,YAAY,GAAG,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,CAAC;IAErE,4DAA4D;IAC5D,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IACzC,MAAM,cAAc,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAE5E,MAAM,SAAS,GAAa;QAC1B,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvD,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAC1D,CAAC;IAEF,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,WAAW,GAAG;QAClB,qBAAqB,EAAE,OAAO,EAAE,qBAAqB;QACrD,kBAAkB,EAAE,OAAO,EAAE,kBAAkB;KAChD,CAAC;IAEF,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;IAElF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;QAC/B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;QACtB,MAAM;KACP,CAAC;AACJ,CAAC"}

package/dist/core/fence-diagnostics.d.ts

@@ -0,0 +1,17 @@
+import type { IRNode, TranspileDiagnostic } from '@kernlang/core';
+export type FenceSeverity = 'error' | 'warning' | 'info';
+/**
+ * Walk every handler body and report what the (models-only) python target drops.
+ *
+ * The python target emits only models/types — every handler body is dropped. This
+ * surfaces at most one diagnostic per dropped handler so the drop is never silent:
+ *  - raw unmarked TS fence  → `rawFenceSeverity` (default warning) — the portability hazard
+ *  - explicit lang="ts"/etc → info (foreign, intentional, but still dropped)
+ *  - native kern / python   → info ("not yet emitted") — prevents a false sense of portability
+ *  - empty fence            → skipped (nothing to port)
+ *
+ * Classifying a handler stops descent into its children (they are body content),
+ * so each handler yields a single diagnostic and there is no double-reporting; the
+ * python target runs no generic `buildDiagnostics` pass.
+ */
+export declare function collectFenceDiagnostics(root: IRNode, rawFenceSeverity?: FenceSeverity): TranspileDiagnostic[];

package/dist/core/fence-diagnostics.js

@@ -0,0 +1,86 @@
+// Foreign fence languages that are explicitly NOT Python — declared on purpose,
+// but still dropped by the (models-only) python target.
+const FOREIGN_TS_LANGS = new Set(['ts', 'typescript', 'js', 'javascript', 'tsx', 'jsx']);
+const PYTHON_LANGS = new Set(['python', 'py']);
+const kernNotEmitted = (label) => `${label}: portable kern handler body is not yet emitted by the python target (dropped)`;
+function ownerLabel(owner) {
+    if (!owner)
+        return 'handler';
+    const name = owner.props?.name;
+    if (typeof name === 'string' && name !== '')
+        return `${owner.type} "${name}"`;
+    return owner.type || 'handler';
+}
+function mk(node, severity, message) {
+    return {
+        nodeType: node.type,
+        outcome: 'unsupported',
+        target: 'python',
+        loc: node.loc ? { line: node.loc.line, col: node.loc.col } : undefined,
+        severity,
+        message,
+    };
+}
+function classify(handler, owner, rawFenceSeverity) {
+    const props = handler.props ?? {};
+    const lang = typeof props.lang === 'string' ? props.lang.trim().toLowerCase() : undefined;
+    const rawCode = typeof props.code === 'string' ? props.code : undefined;
+    const label = ownerLabel(owner);
+    // Raw / foreign fence — the body lives verbatim in props.code.
+    if (rawCode !== undefined) {
+        if (rawCode.trim() === '')
+            return null; // Empty fence — nothing to port.
+        if (lang === undefined || lang === '') {
+            // Unmarked raw fence — assumed TypeScript. The direct twin of the TS shadow analyzer.
+            return mk(handler, rawFenceSeverity, `${label}: raw TS fence is not portable to the python target (handler body dropped)`);
+        }
+        if (FOREIGN_TS_LANGS.has(lang)) {
+            return mk(handler, 'info', `${label}: lang="${lang}" foreign fence is dropped in the python target`);
+        }
+        if (PYTHON_LANGS.has(lang)) {
+            return mk(handler, 'info', `${label}: python-native fence is not yet emitted by the python target (dropped)`);
+        }
+        if (lang === 'kern') {
+            return mk(handler, 'info', kernNotEmitted(label));
+        }
+        // Unknown lang — treat as a raw, non-portable fence.
+        return mk(handler, rawFenceSeverity, `${label}: lang="${lang}" fence is not portable to the python target (handler body dropped)`);
+    }
+    // No raw code: a native body lives in statement children. Report it dropped so
+    // native handlers never look silently portable — independent of whether the
+    // parser tagged the body lang="kern".
+    if ((handler.children?.length ?? 0) > 0) {
+        return mk(handler, 'info', kernNotEmitted(label));
+    }
+    return null; // Bodiless handler — nothing dropped.
+}
+/**
+ * Walk every handler body and report what the (models-only) python target drops.
+ *
+ * The python target emits only models/types — every handler body is dropped. This
+ * surfaces at most one diagnostic per dropped handler so the drop is never silent:
+ *  - raw unmarked TS fence  → `rawFenceSeverity` (default warning) — the portability hazard
+ *  - explicit lang="ts"/etc → info (foreign, intentional, but still dropped)
+ *  - native kern / python   → info ("not yet emitted") — prevents a false sense of portability
+ *  - empty fence            → skipped (nothing to port)
+ *
+ * Classifying a handler stops descent into its children (they are body content),
+ * so each handler yields a single diagnostic and there is no double-reporting; the
+ * python target runs no generic `buildDiagnostics` pass.
+ */
+export function collectFenceDiagnostics(root, rawFenceSeverity = 'warning') {
+    const diagnostics = [];
+    function walk(node, parent) {
+        if (node.type === 'handler') {
+            const diag = classify(node, parent, rawFenceSeverity);
+            if (diag)
+                diagnostics.push(diag);
+            return; // Handler children are body content — don't descend.
+        }
+        for (const child of node.children ?? [])
+            walk(child, node);
+    }
+    walk(root, null);
+    return diagnostics;
+}
+//# sourceMappingURL=fence-diagnostics.js.map

package/dist/core/fence-diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fence-diagnostics.js","sourceRoot":"","sources":["../../src/core/fence-diagnostics.ts"],"names":[],"mappings":"AAIA,gFAAgF;AAChF,wDAAwD;AACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACzF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;AAE/C,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,EAAE,CACvC,GAAG,KAAK,gFAAgF,CAAC;AAE3F,SAAS,UAAU,CAAC,KAAoB;IACtC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;IAC/B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,GAAG,CAAC;IAC9E,OAAO,KAAK,CAAC,IAAI,IAAI,SAAS,CAAC;AACjC,CAAC;AAED,SAAS,EAAE,CAAC,IAAY,EAAE,QAAuB,EAAE,OAAe;IAChE,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,IAAI;QACnB,OAAO,EAAE,aAAa;QACtB,MAAM,EAAE,QAAQ;QAChB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS;QACtE,QAAQ;QACR,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,OAAe,EAAE,KAAoB,EAAE,gBAA+B;IACtF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1F,MAAM,OAAO,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAEhC,+DAA+D;IAC/D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC,CAAC,iCAAiC;QACzE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YACtC,sFAAsF;YACtF,OAAO,EAAE,CACP,OAAO,EACP,gBAAgB,EAChB,GAAG,KAAK,4EAA4E,CACrF,CAAC;QACJ,CAAC;QACD,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,WAAW,IAAI,iDAAiD,CAAC,CAAC;QACvG,CAAC;QACD,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,yEAAyE,CAAC,CAAC;QAChH,CAAC;QACD,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YACpB,OAAO,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;QACpD,CAAC;QACD,qDAAqD;QACrD,OAAO,EAAE,CACP,OAAO,EACP,gBAAgB,EAChB,GAAG,KAAK,WAAW,IAAI,qEAAqE,CAC7F,CAAC;IACJ,CAAC;IAED,+EAA+E;IAC/E,4EAA4E;IAC5E,sCAAsC;IACtC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,sCAAsC;AACrD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAY,EACZ,mBAAkC,SAAS;IAE3C,MAAM,WAAW,GAA0B,EAAE,CAAC;IAE9C,SAAS,IAAI,CAAC,IAAY,EAAE,MAAqB;QAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;YACtD,IAAI,IAAI;gBAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,OAAO,CAAC,qDAAqD;QAC/D,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE;YAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC7D,CAAC;IAED,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjB,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/core/index.d.ts

@@ -0,0 +1,3 @@
+export { emitImports } from './emit-imports.js';
+export { emitModels } from './emit-models.js';
+export { mapKernTypeToPython } from './type-mapper.js';

package/dist/core/index.js

@@ -0,0 +1,4 @@
+export { emitImports } from './emit-imports.js';
+export { emitModels } from './emit-models.js';
+export { mapKernTypeToPython } from './type-mapper.js';
+//# sourceMappingURL=index.js.map

package/dist/core/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/core/type-mapper.d.ts

@@ -0,0 +1,4 @@
+/**
+ * Convert a KERN/TypeScript type string to a Python type string.
+ */
+export declare function mapKernTypeToPython(tsType: string): string;

package/dist/core/type-mapper.js

@@ -0,0 +1,8 @@
+import { mapTsTypeToPython } from '../type-map.js';
+/**
+ * Convert a KERN/TypeScript type string to a Python type string.
+ */
+export function mapKernTypeToPython(tsType) {
+    return mapTsTypeToPython(tsType);
+}
+//# sourceMappingURL=type-mapper.js.map

package/dist/core/type-mapper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-mapper.js","sourceRoot":"","sources":["../../src/core/type-mapper.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAc;IAChD,OAAO,iBAAiB,CAAC,MAAM,CAAC,CAAC;AACnC,CAAC"}

package/dist/fastapi-portable.d.ts

@@ -29,7 +29,12 @@ export interface FastAPIStreamCtx {
         n: number;
     };
 }
-export declare function generatePortableChildFastAPI(child: IRNode, indent: string, pathParams: string[], imports: Set<string>, bodyFields?: Set<string>, authUser?: boolean, streamCtx?: FastAPIStreamCtx): string[];
+interface FastAPIClosureHoistCtx {
+    seq: {
+        n: number;
+    };
+}
+export declare function generatePortableChildFastAPI(child: IRNode, indent: string, pathParams: string[], imports: Set<string>, bodyFields?: Set<string>, authUser?: boolean, streamCtx?: FastAPIStreamCtx, closureHoistCtx?: FastAPIClosureHoistCtx): string[];
 export declare function generatePortableHandlerFastAPI(routeNode: IRNode, indent: string, pathParams: string[], imports: Set<string>, bodyFields?: Set<string>, authUser?: boolean): string[];
 export declare function hasPortableStreamBodyFastAPI(streamNode: IRNode): boolean;
 /**
@@ -40,3 +45,4 @@ export declare function hasPortableStreamBodyFastAPI(streamNode: IRNode): boolea
  * in a `StreamingResponse`.
  */
 export declare function generatePortableStreamFastAPI(streamNode: IRNode, indent: string, pathParams: string[], imports: Set<string>, bodyFields?: Set<string>, authUser?: boolean): string[];
+export {};