@kernlang/python 3.5.2

package/dist/codegen-python.js

@@ -0,0 +1,106 @@
+/**
+ * Core Language Codegen — Python generation dispatcher for KERN's type system.
+ *
+ * This is the thin dispatcher that delegates to modular generators.
+ * Public API: generatePythonCoreNode (switch on node.type)
+ */
+// Core generators (type, interface, fn, machine, error, config, store, test, event, import, const)
+import { generateConfig, generateConst, generateError, generateEvent, generateExtern, generateFunction, generateImport, generateInterface, generateMachine, generateModule, generateStore, generateTest, generateType, generateUse, } from './generators/core.js';
+// Data layer generators (model, repository, cache, dependency, service, union)
+import { generatePythonCache, generatePythonDependency, generatePythonModel, generatePythonRepository, generatePythonService, generatePythonUnion, } from './generators/data.js';
+// Ground layer generators (derive, transform, action, guard, assume, invariant, each, collect, branch, resolve, expect, recover)
+import { generateAction, generateAssume, generateBranch, generateCollect, generateDerive, generateEach, generateExpect, generateGuard, generateInvariant, generateRecover, generateResolve, generateTransform, setDispatcher, } from './generators/ground.js';
+// Infra generators (job, storage, email)
+import { generatePythonEmail, generatePythonJob, generatePythonStorage } from './generators/infra.js';
+// Re-export helpers and annotation emitters for external consumers
+export { emitPyLowConfidenceTodo, emitPyReasonAnnotations, firstChild, kids, p } from './codegen-helpers.js';
+// Re-export individual generators so existing deep imports keep working
+export { generateConfig, generateConst, generateError, generateEvent, generateFunction, generateImport, generateInterface, generateMachine, generateModule, generateStore, generateTest, generateType, generateUse, } from './generators/core.js';
+export { formatPythonDefault, generatePythonCache, generatePythonDependency, generatePythonModel, generatePythonRepository, generatePythonService, generatePythonUnion, mapColumnToPython, } from './generators/data.js';
+export { generateAction, generateAssume, generateBranch, generateCollect, generateDerive, generateEach, generateExpect, generateGuard, generateInvariant, generateRecover, generateResolve, generateTransform, } from './generators/ground.js';
+export { generatePythonEmail, generatePythonJob, generatePythonStorage, } from './generators/infra.js';
+/** Generate Python for any core language node. Returns string lines. */
+export function generatePythonCoreNode(node, options = {}) {
+    switch (node.type) {
+        case 'type':
+            return generateType(node);
+        case 'interface':
+            return generateInterface(node);
+        case 'fn':
+            return generateFunction(node);
+        case 'machine':
+            return generateMachine(node);
+        case 'module':
+            return generateModule(node, (child) => generatePythonCoreNode(child, options), options);
+        case 'error':
+            return generateError(node);
+        case 'config':
+            return generateConfig(node);
+        case 'store':
+            return generateStore(node);
+        case 'test':
+            return generateTest(node);
+        case 'event':
+            return generateEvent(node);
+        case 'import':
+            return generateImport(node);
+        case 'extern':
+            return generateExtern(node);
+        case 'use':
+            return generateUse(node, options);
+        case 'from':
+            return [];
+        case 'const':
+            return generateConst(node);
+        // Data layer
+        case 'model':
+            return generatePythonModel(node);
+        case 'repository':
+            return generatePythonRepository(node);
+        case 'cache':
+            return generatePythonCache(node);
+        case 'dependency':
+            return generatePythonDependency(node);
+        case 'service':
+            return generatePythonService(node);
+        case 'union':
+            return generatePythonUnion(node);
+        // Backend infrastructure
+        case 'job':
+            return generatePythonJob(node);
+        case 'storage':
+            return generatePythonStorage(node);
+        case 'email':
+            return generatePythonEmail(node);
+        // Ground layer
+        case 'derive':
+            return generateDerive(node);
+        case 'transform':
+            return generateTransform(node);
+        case 'action':
+            return generateAction(node);
+        case 'guard':
+            return generateGuard(node);
+        case 'assume':
+            return generateAssume(node);
+        case 'invariant':
+            return generateInvariant(node);
+        case 'each':
+            return generateEach(node);
+        case 'collect':
+            return generateCollect(node);
+        case 'branch':
+            return generateBranch(node);
+        case 'resolve':
+            return generateResolve(node);
+        case 'expect':
+            return generateExpect(node);
+        case 'recover':
+            return generateRecover(node);
+        default:
+            return [];
+    }
+}
+// Wire up the dispatcher for recursive ground-layer nodes (each, branch)
+setDispatcher(generatePythonCoreNode);
+//# sourceMappingURL=codegen-python.js.map

package/dist/codegen-python.js.map

@@ -0,0 +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"}

package/dist/fastapi-middleware.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Middleware artifact builders for the FastAPI transpiler.
+ */
+import type { IRNode } from '@kernlang/core';
+import type { MiddlewareArtifactRef, MiddlewareUsage } from './fastapi-types.js';
+export declare function buildMiddlewareArtifact(node: IRNode): MiddlewareArtifactRef;
+export declare function buildCorsMiddlewareLine(isStrict: boolean): string;
+export declare function resolveMiddlewareUsage(node: IRNode, middlewareArtifacts: Map<string, MiddlewareArtifactRef>, isStrict?: boolean, moduleSpecForArtifact?: (fileBase: string) => string): MiddlewareUsage;

package/dist/fastapi-middleware.js

@@ -0,0 +1,87 @@
+/**
+ * Middleware artifact builders for the FastAPI transpiler.
+ */
+import { getFirstChild, getProps } from '@kernlang/core';
+import { slugify } from './fastapi-utils.js';
+export function buildMiddlewareArtifact(node) {
+    const props = getProps(node);
+    const name = String(props.name || 'middleware');
+    const fileBase = slugify(name);
+    const className = `${name.charAt(0).toUpperCase() + name.slice(1)}Middleware`;
+    const handlerNode = getFirstChild(node, 'handler');
+    const handlerProps = handlerNode ? getProps(handlerNode) : {};
+    const handlerCode = typeof handlerProps.code === 'string' ? String(handlerProps.code) : '';
+    const lines = [];
+    lines.push('from starlette.middleware.base import BaseHTTPMiddleware');
+    lines.push('from starlette.requests import Request');
+    lines.push('from starlette.responses import Response');
+    lines.push('');
+    lines.push('');
+    lines.push(`class ${className}(BaseHTTPMiddleware):`);
+    lines.push(`    async def dispatch(self, request: Request, call_next) -> Response:`);
+    if (handlerCode) {
+        for (const line of handlerCode.split('\n')) {
+            lines.push(`        ${line}`);
+        }
+    }
+    else {
+        lines.push('        response = await call_next(request)');
+        lines.push('        return response');
+    }
+    return {
+        className,
+        fileBase,
+        artifact: {
+            path: `middleware/${fileBase}.py`,
+            content: lines.join('\n'),
+            type: 'middleware',
+        },
+    };
+}
+// ── Built-in middleware mapping ───────────────────────────────────────────
+export function buildCorsMiddlewareLine(isStrict) {
+    return isStrict
+        ? 'app.add_middleware(CORSMiddleware, allow_origins=[origin.strip() for origin in os.environ.get("CORS_ORIGINS", "http://localhost:3000").split(",") if origin.strip()], allow_credentials=True, allow_methods=["GET", "POST", "PUT", "PATCH", "DELETE", "OPTIONS"], allow_headers=["Authorization", "Content-Type", "X-Request-ID"])'
+        : 'app.add_middleware(CORSMiddleware, allow_origins=[origin.strip() for origin in os.environ.get("CORS_ORIGINS", "*").split(",") if origin.strip()], allow_credentials=False, allow_methods=["*"], allow_headers=["*"])';
+}
+export function resolveMiddlewareUsage(node, middlewareArtifacts, isStrict = false, moduleSpecForArtifact = (fileBase) => `middleware.${fileBase}`) {
+    const props = getProps(node);
+    const name = String(props.name || 'middleware');
+    if (name === 'cors') {
+        return {
+            importLine: 'from fastapi.middleware.cors import CORSMiddleware',
+            addLine: buildCorsMiddlewareLine(isStrict),
+        };
+    }
+    if (name === 'gzip') {
+        return {
+            importLine: 'from fastapi.middleware.gzip import GZipMiddleware',
+            addLine: 'app.add_middleware(GZipMiddleware)',
+        };
+    }
+    if (name === 'json') {
+        // FastAPI handles JSON automatically via Pydantic — no-op
+        return { addLine: '# JSON parsing handled automatically by FastAPI/Pydantic' };
+    }
+    if (name === 'rateLimit' || name === 'rate-limit' || name === 'rateLimiter') {
+        return {
+            importLine: 'from slowapi import Limiter, _rate_limit_exceeded_handler\nfrom slowapi.util import get_remote_address\nfrom slowapi.errors import RateLimitExceeded',
+            addLine: 'limiter = Limiter(key_func=get_remote_address)\napp.state.limiter = limiter\napp.add_exception_handler(RateLimitExceeded, _rate_limit_exceeded_handler)',
+        };
+    }
+    // Custom middleware
+    const existing = middlewareArtifacts.get(slugify(name));
+    if (existing) {
+        return {
+            importLine: `from ${moduleSpecForArtifact(existing.fileBase)} import ${existing.className}`,
+            addLine: `app.add_middleware(${existing.className})`,
+        };
+    }
+    const created = buildMiddlewareArtifact(node);
+    middlewareArtifacts.set(created.fileBase, created);
+    return {
+        importLine: `from ${moduleSpecForArtifact(created.fileBase)} import ${created.className}`,
+        addLine: `app.add_middleware(${created.className})`,
+    };
+}
+//# sourceMappingURL=fastapi-middleware.js.map

package/dist/fastapi-middleware.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fastapi-middleware.js","sourceRoot":"","sources":["../src/fastapi-middleware.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAEzD,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAE7C,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,YAAY,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,SAAS,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC;IAE9E,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,MAAM,WAAW,GAAG,OAAO,YAAY,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE3F,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;IACvE,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,SAAS,SAAS,uBAAuB,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;IACrF,IAAI,WAAW,EAAE,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACxC,CAAC;IAED,OAAO;QACL,SAAS;QACT,QAAQ;QACR,QAAQ,EAAE;YACR,IAAI,EAAE,cAAc,QAAQ,KAAK;YACjC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YACzB,IAAI,EAAE,YAAY;SACnB;KACF,CAAC;AACJ,CAAC;AAED,6EAA6E;AAE7E,MAAM,UAAU,uBAAuB,CAAC,QAAiB;IACvD,OAAO,QAAQ;QACb,CAAC,CAAC,oUAAoU;QACtU,CAAC,CAAC,sNAAsN,CAAC;AAC7N,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,mBAAuD,EACvD,QAAQ,GAAG,KAAK,EAChB,wBAAsD,CAAC,QAAQ,EAAE,EAAE,CAAC,cAAc,QAAQ,EAAE;IAE5F,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,YAAY,CAAC,CAAC;IAEhD,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,OAAO;YACL,UAAU,EAAE,oDAAoD;YAChE,OAAO,EAAE,uBAAuB,CAAC,QAAQ,CAAC;SAC3C,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,OAAO;YACL,UAAU,EAAE,oDAAoD;YAChE,OAAO,EAAE,oCAAoC;SAC9C,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,0DAA0D;QAC1D,OAAO,EAAE,OAAO,EAAE,0DAA0D,EAAE,CAAC;IACjF,CAAC;IAED,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;QAC5E,OAAO;YACL,UAAU,EACR,sJAAsJ;YACxJ,OAAO,EACL,yJAAyJ;SAC5J,CAAC;IACJ,CAAC;IAED,oBAAoB;IACpB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACxD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL,UAAU,EAAE,QAAQ,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,QAAQ,CAAC,SAAS,EAAE;YAC3F,OAAO,EAAE,sBAAsB,QAAQ,CAAC,SAAS,GAAG;SACrD,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAC9C,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnD,OAAO;QACL,UAAU,EAAE,QAAQ,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,OAAO,CAAC,SAAS,EAAE;QACzF,OAAO,EAAE,sBAAsB,OAAO,CAAC,SAAS,GAAG;KACpD,CAAC;AACJ,CAAC"}

package/dist/fastapi-portable.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Portable handler generation for the FastAPI transpiler.
+ *
+ * Converts IR portable nodes (derive, guard, handler, respond, branch, each, collect, effect)
+ * into Python/FastAPI handler code.
+ */
+import type { IRNode } from '@kernlang/core';
+export declare function generatePortableChildFastAPI(child: IRNode, indent: string, pathParams: string[], imports: Set<string>): string[];
+export declare function generatePortableHandlerFastAPI(routeNode: IRNode, indent: string, pathParams: string[], imports: Set<string>): string[];

package/dist/fastapi-portable.js

@@ -0,0 +1,295 @@
+/**
+ * Portable handler generation for the FastAPI transpiler.
+ *
+ * Converts IR portable nodes (derive, guard, handler, respond, branch, each, collect, effect)
+ * into Python/FastAPI handler code.
+ */
+import { getChildren, getFirstChild, getProps } from '@kernlang/core';
+import { isUnsupportedJsHandlerBody, unsupportedRawHandlerBody } from './fastapi-raw-handler.js';
+import { addRespondImports, extractExprCode, generateRespondFastAPI, rewriteFastAPIExpr } from './fastapi-response.js';
+import { escapePyStr, indentHandler } from './fastapi-utils.js';
+import { toSnakeCase } from './type-map.js';
+// Extract the code from a prop that may arrive as a `{{ ... }}` curly-
+// expression IR wrapper (`{ __expr: true, code: '...' }`), a plain string
+// (legacy `name=value` form), OR a bare number/boolean primitive that the
+// IR may carry through (e.g. `fallback=0`). Returns '' for anything else
+// (objects without `__expr`, null/undefined).
+//
+// Review fix (Gemini B5 on 86e6b893): the previous `typeof val ===
+// 'string' ? val : ''` branch silently dropped numeric/boolean primitives
+// to '' and lowerPropToPython then emitted `None` — a data-loss
+// regression versus the original naked `String(...)` which at least
+// preserved `"0"`/`"false"`.
+function extractCodeOrString(val) {
+    const fromExpr = extractExprCode(val);
+    if (fromExpr)
+        return fromExpr;
+    if (typeof val === 'string')
+        return val;
+    if (typeof val === 'number' || typeof val === 'boolean')
+        return String(val);
+    return '';
+}
+// Lower a prop value to a Python expression. Handles the JS-literal
+// translations that KERN authors expect to flow across the language
+// boundary: `null`/`undefined` → `None`, `true` → `True`, `false`
+// → `False`. Anything else routes through `rewriteFastAPIExpr` so
+// that KERN idioms (`params.X`, `effectName.result`, etc.) lower
+// consistently regardless of which IR prop they live in.
+//
+// Review fix (Codex+Gemini B4 on 86e6b893): trim the extracted code
+// before comparing against literal names so `{{ true }}` (with internal
+// whitespace from KERN curly-expression syntax) maps to `True`, not the
+// invalid Python identifier `true`.
+function lowerPropToPython(val, pathParams) {
+    const raw = extractCodeOrString(val);
+    const trimmed = raw.trim();
+    if (trimmed === '' || trimmed === 'null' || trimmed === 'undefined')
+        return 'None';
+    if (trimmed === 'true')
+        return 'True';
+    if (trimmed === 'false')
+        return 'False';
+    // Pass the TRIMMED form to the rewriter — leading/trailing whitespace in
+    // a curly-expression carries no semantic information and only risks
+    // confusing any future anchor-based regex (Gemini defensive note on
+    // commit 7a25348b).
+    return rewriteFastAPIExpr(trimmed, pathParams);
+}
+export function generatePortableChildFastAPI(child, indent, pathParams, imports) {
+    const lines = [];
+    const p = getProps(child);
+    switch (child.type) {
+        case 'derive': {
+            const name = String(p.name || '');
+            const exprCode = extractExprCode(p.expr);
+            if (name && exprCode) {
+                lines.push(`${indent}${toSnakeCase(name)} = ${rewriteFastAPIExpr(exprCode, pathParams)}`);
+            }
+            break;
+        }
+        case 'guard': {
+            const name = String(p.name || '');
+            const exprCode = extractExprCode(p.expr);
+            const elseStatus = p.else ? parseInt(String(p.else), 10) : 404;
+            const elseMessage = typeof p.message === 'string' ? p.message : name ? `${name} guard failed` : 'Guard failed';
+            if (exprCode) {
+                imports.add('from fastapi import HTTPException');
+                lines.push(`${indent}if not (${rewriteFastAPIExpr(exprCode, pathParams)}):`);
+                lines.push(`${indent}    raise HTTPException(status_code=${elseStatus}, detail="${escapePyStr(elseMessage)}")`);
+            }
+            break;
+        }
+        case 'handler': {
+            const code = String(p.code || '');
+            if (code) {
+                // When a route uses portable nodes and ALSO has a raw `<<<...>>>`
+                // handler child, the body is typically JS/TS (the legacy authoring
+                // form). Emitting it verbatim into a Python `def` produces
+                // `SyntaxError` on import. Apply the same JS-detection guard the
+                // top-level handler path in fastapi-route.ts uses.
+                if (isUnsupportedJsHandlerBody(code)) {
+                    lines.push(...unsupportedRawHandlerBody(indent));
+                }
+                else {
+                    lines.push(...indentHandler(code, indent));
+                }
+            }
+            break;
+        }
+        case 'respond': {
+            // Clone props to avoid mutating shared AST, then rewrite portable refs
+            const clonedRespond = { ...child, props: { ...child.props } };
+            if (clonedRespond.props.json)
+                clonedRespond.props.json = rewriteFastAPIExpr(String(clonedRespond.props.json), pathParams);
+            if (clonedRespond.props.text)
+                clonedRespond.props.text = rewriteFastAPIExpr(String(clonedRespond.props.text), pathParams);
+            addRespondImports(clonedRespond, imports);
+            lines.push(...generateRespondFastAPI(clonedRespond, indent));
+            break;
+        }
+        case 'branch': {
+            const on = lowerPropToPython(p.on, pathParams);
+            const paths = getChildren(child, 'path');
+            for (let i = 0; i < paths.length; i++) {
+                const pathNode = paths[i];
+                const pp = getProps(pathNode);
+                const value = String(pp.value || '');
+                const keyword = i === 0 ? 'if' : 'elif';
+                lines.push(`${indent}${keyword} ${on} == "${escapePyStr(value)}":`);
+                const bodyStart = lines.length;
+                for (const pathChild of pathNode.children || []) {
+                    lines.push(...generatePortableChildFastAPI(pathChild, `${indent}    `, pathParams, imports));
+                }
+                if (lines.length === bodyStart)
+                    lines.push(`${indent}    pass`);
+            }
+            break;
+        }
+        case 'each': {
+            const name = String(p.name || 'item');
+            const collection = rewriteFastAPIExpr(extractExprCode(p.in) || String(p.in || ''), pathParams);
+            const index = p.index ? String(p.index) : undefined;
+            if (index) {
+                lines.push(`${indent}for ${index}, ${name} in enumerate(${collection}):`);
+            }
+            else {
+                lines.push(`${indent}for ${name} in ${collection}:`);
+            }
+            const bodyStart = lines.length;
+            for (const eachChild of child.children || []) {
+                lines.push(...generatePortableChildFastAPI(eachChild, `${indent}    `, pathParams, imports));
+            }
+            if (lines.length === bodyStart)
+                lines.push(`${indent}    pass`);
+            break;
+        }
+        case 'collect': {
+            const rawName = toSnakeCase(String(p.name || ''));
+            // Avoid shadowing Python built-ins
+            const PY_BUILTINS = new Set([
+                'sorted',
+                'list',
+                'dict',
+                'set',
+                'map',
+                'filter',
+                'type',
+                'id',
+                'input',
+                'print',
+                'range',
+                'len',
+                'min',
+                'max',
+                'sum',
+                'any',
+                'all',
+            ]);
+            const collectName = PY_BUILTINS.has(rawName) ? `${rawName}_result` : rawName;
+            const from = lowerPropToPython(p.from, pathParams);
+            const where = p.where ? extractExprCode(p.where) : undefined;
+            // `limit` is typically a literal integer (`limit=10`) but can be a
+            // curly-expression (`limit={{params.max}}`) — route through the same
+            // helper used for from/order so the `[object Object]` bug class
+            // doesn't lurk here either (Gemini M3 on 86e6b893).
+            const limit = p.limit !== undefined && p.limit !== null && p.limit !== ''
+                ? lowerPropToPython(p.limit, pathParams)
+                : undefined;
+            // Compute order in two stages so we can suppress `sorted()`
+            // emission entirely when the source value resolves to absent / null
+            // / undefined. Fix-up 6 routed `order` through `lowerPropToPython`,
+            // but that maps `null`/`undefined`/empty to `'None'` — which then
+            // emitted `sorted(items, key=lambda item: None)` and crashed at
+            // runtime with `TypeError: '<' not supported between instances of
+            // 'NoneType' and 'NoneType'`. Worse failure than the pre-fix
+            // `NameError: null`. Codex flagged this as blocking on commit
+            // 7a25348b.
+            //
+            // The right call is: `order=null`/`order={{null}}` means "no
+            // ordering," not "sort by None." Detect those forms in the source
+            // and skip sort emission entirely.
+            const orderSourceTrimmed = extractCodeOrString(p.order).trim();
+            const order = orderSourceTrimmed === '' || orderSourceTrimmed === 'null' || orderSourceTrimmed === 'undefined'
+                ? undefined
+                : lowerPropToPython(p.order, pathParams);
+            if (where && !order && !limit) {
+                lines.push(`${indent}${collectName} = [item for item in ${from} if ${rewriteFastAPIExpr(where, pathParams)}]`);
+            }
+            else {
+                lines.push(`${indent}${collectName} = ${from}`);
+                if (where)
+                    lines.push(`${indent}${collectName} = [item for item in ${collectName} if ${rewriteFastAPIExpr(where, pathParams)}]`);
+                if (order)
+                    // `order` already routed through `lowerPropToPython` above (which
+                    // includes the rewriter), so no second `rewriteFastAPIExpr` call.
+                    lines.push(`${indent}${collectName} = sorted(${collectName}, key=lambda item: ${order})`);
+                if (limit)
+                    lines.push(`${indent}${collectName} = ${collectName}[:${limit}]`);
+            }
+            break;
+        }
+        case 'effect': {
+            const effectName = toSnakeCase(String(p.name || 'effect'));
+            const triggerNode = getFirstChild(child, 'trigger');
+            const recoverNode = getFirstChild(child, 'recover');
+            const triggerProps = triggerNode ? getProps(triggerNode) : {};
+            // Source-of-truth ordering for the trigger expression:
+            //   1. `expr={{...}}` — canonical expression form.
+            //   2. `query=...` — typically SQL string; flows as expression
+            //      (existing test behavior — emits as identifier chain that
+            //      happens to ast.parse; runtime is up to the user's `db` var).
+            //   3. `url=...` — ALWAYS a URL/path string; wrap as Python string
+            //      literal so leading-`/` doesn't become Python division.
+            //   4. `call=...` — function-call form, flows as expression.
+            //
+            // B8 (Codex review on 048ff1c1): I had silently reordered url
+            // ahead of query in commit 048ff1c1. Restore the original
+            // precedence (expr > query > url > call) so any existing
+            // specs that set both `query` and `url` keep their prior
+            // semantics, while still quoting `url` when it's selected.
+            //
+            // B9 (Codex review on 048ff1c1): use presence checks (`!== undefined`)
+            // rather than truthiness, so `url=""` falls through correctly
+            // instead of being treated as "missing" (truthy fallback).
+            const exprCode = extractExprCode(triggerProps.expr);
+            const queryCode = extractCodeOrString(triggerProps.query);
+            const urlCode = extractCodeOrString(triggerProps.url);
+            const callCode = extractCodeOrString(triggerProps.call);
+            let triggerExpr;
+            if (exprCode) {
+                triggerExpr = exprCode;
+            }
+            else if (queryCode) {
+                triggerExpr = queryCode;
+            }
+            else if (triggerProps.url !== undefined && triggerProps.url !== null) {
+                // `url` is always a URL string — quote it. Empty string still
+                // emits `""` (rather than falling through to `call`) because
+                // the author explicitly set it.
+                triggerExpr = `"${escapePyStr(urlCode)}"`;
+            }
+            else if (callCode) {
+                triggerExpr = callCode;
+            }
+            else {
+                triggerExpr = '';
+            }
+            const retryCount = recoverNode ? parseInt(String(getProps(recoverNode).retry || '0'), 10) : 0;
+            const pyFallback = lowerPropToPython(recoverNode ? getProps(recoverNode).fallback : undefined, pathParams);
+            if (retryCount > 0) {
+                lines.push(`${indent}${effectName} = ${pyFallback}`);
+                lines.push(`${indent}for _attempt in range(${retryCount}):`);
+                lines.push(`${indent}    try:`);
+                lines.push(`${indent}        ${effectName} = ${rewriteFastAPIExpr(triggerExpr, pathParams)}`);
+                lines.push(`${indent}        break`);
+                lines.push(`${indent}    except Exception:`);
+                lines.push(`${indent}        if _attempt == ${retryCount - 1}:`);
+                lines.push(`${indent}            ${effectName} = ${pyFallback}`);
+            }
+            else {
+                lines.push(`${indent}try:`);
+                lines.push(`${indent}    ${effectName} = ${rewriteFastAPIExpr(triggerExpr, pathParams)}`);
+                lines.push(`${indent}except Exception:`);
+                lines.push(`${indent}    ${effectName} = ${pyFallback}`);
+            }
+            break;
+        }
+        default:
+            break;
+    }
+    return lines;
+}
+export function generatePortableHandlerFastAPI(routeNode, indent, pathParams, imports) {
+    const lines = [];
+    const children = routeNode.children || [];
+    // Walk all route children in document order
+    const PORTABLE_TYPES = new Set(['derive', 'guard', 'handler', 'respond', 'branch', 'each', 'collect', 'effect']);
+    for (const child of children) {
+        if (PORTABLE_TYPES.has(child.type)) {
+            lines.push(...generatePortableChildFastAPI(child, indent, pathParams, imports));
+        }
+    }
+    return lines;
+}
+//# sourceMappingURL=fastapi-portable.js.map

package/dist/fastapi-portable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fastapi-portable.js","sourceRoot":"","sources":["../src/fastapi-portable.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACtE,OAAO,EAAE,0BAA0B,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACjG,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AACvH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C,uEAAuE;AACvE,0EAA0E;AAC1E,0EAA0E;AAC1E,yEAAyE;AACzE,8CAA8C;AAC9C,EAAE;AACF,mEAAmE;AACnE,0EAA0E;AAC1E,gEAAgE;AAChE,oEAAoE;AACpE,6BAA6B;AAC7B,SAAS,mBAAmB,CAAC,GAAY;IACvC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC;IACxC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5E,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,oEAAoE;AACpE,oEAAoE;AACpE,kEAAkE;AAClE,kEAAkE;AAClE,iEAAiE;AACjE,yDAAyD;AACzD,EAAE;AACF,oEAAoE;AACpE,wEAAwE;AACxE,wEAAwE;AACxE,oCAAoC;AACpC,SAAS,iBAAiB,CAAC,GAAY,EAAE,UAAoB;IAC3D,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,WAAW;QAAE,OAAO,MAAM,CAAC;IACnF,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IACtC,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IACxC,yEAAyE;IACzE,oEAAoE;IACpE,oEAAoE;IACpE,oBAAoB;IACpB,OAAO,kBAAkB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,KAAa,EACb,MAAc,EACd,UAAoB,EACpB,OAAoB;IAEpB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAE1B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,IAAI,IAAI,QAAQ,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,kBAAkB,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;YAC5F,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAC/D,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,eAAe,CAAC,CAAC,CAAC,cAAc,CAAC;YAC/G,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;gBACjD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,kBAAkB,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC7E,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,uCAAuC,UAAU,aAAa,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAClH,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YAClC,IAAI,IAAI,EAAE,CAAC;gBACT,kEAAkE;gBAClE,mEAAmE;gBACnE,2DAA2D;gBAC3D,iEAAiE;gBACjE,mDAAmD;gBACnD,IAAI,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrC,KAAK,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC;gBACnD,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,uEAAuE;YACvE,MAAM,aAAa,GAAW,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;YACtE,IAAI,aAAa,CAAC,KAAM,CAAC,IAAI;gBAC3B,aAAa,CAAC,KAAM,CAAC,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,KAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;YAChG,IAAI,aAAa,CAAC,KAAM,CAAC,IAAI;gBAC3B,aAAa,CAAC,KAAM,CAAC,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,KAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;YAChG,iBAAiB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;YAC7D,MAAM;QACR,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;gBACrC,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,OAAO,IAAI,EAAE,QAAQ,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACpE,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC;gBAC/B,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;oBAChD,KAAK,CAAC,IAAI,CAAC,GAAG,4BAA4B,CAAC,SAAS,EAAE,GAAG,MAAM,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC/F,CAAC;gBACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;oBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,UAAU,CAAC,CAAC;YAClE,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC;YACtC,MAAM,UAAU,GAAG,kBAAkB,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;YAC/F,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACpD,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,KAAK,KAAK,IAAI,iBAAiB,UAAU,IAAI,CAAC,CAAC;YAC5E,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,IAAI,OAAO,UAAU,GAAG,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC;YAC/B,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBAC7C,KAAK,CAAC,IAAI,CAAC,GAAG,4BAA4B,CAAC,SAAS,EAAE,GAAG,MAAM,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;YAC/F,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,UAAU,CAAC,CAAC;YAChE,MAAM;QACR,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;YAClD,mCAAmC;YACnC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;gBAC1B,QAAQ;gBACR,MAAM;gBACN,MAAM;gBACN,KAAK;gBACL,KAAK;gBACL,QAAQ;gBACR,MAAM;gBACN,IAAI;gBACJ,OAAO;gBACP,OAAO;gBACP,OAAO;gBACP,KAAK;gBACL,KAAK;gBACL,KAAK;gBACL,KAAK;gBACL,KAAK;gBACL,KAAK;aACN,CAAC,CAAC;YACH,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7E,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACnD,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7D,mEAAmE;YACnE,qEAAqE;YACrE,gEAAgE;YAChE,oDAAoD;YACpD,MAAM,KAAK,GACT,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,EAAE;gBACzD,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,UAAU,CAAC;gBACxC,CAAC,CAAC,SAAS,CAAC;YAChB,4DAA4D;YAC5D,oEAAoE;YACpE,oEAAoE;YACpE,kEAAkE;YAClE,gEAAgE;YAChE,kEAAkE;YAClE,6DAA6D;YAC7D,8DAA8D;YAC9D,YAAY;YACZ,EAAE;YACF,6DAA6D;YAC7D,kEAAkE;YAClE,mCAAmC;YACnC,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YAC/D,MAAM,KAAK,GACT,kBAAkB,KAAK,EAAE,IAAI,kBAAkB,KAAK,MAAM,IAAI,kBAAkB,KAAK,WAAW;gBAC9F,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YAC7C,IAAI,KAAK,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,WAAW,wBAAwB,IAAI,OAAO,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;YACjH,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,WAAW,MAAM,IAAI,EAAE,CAAC,CAAC;gBAChD,IAAI,KAAK;oBACP,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,GAAG,WAAW,wBAAwB,WAAW,OAAO,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,CAC1G,CAAC;gBACJ,IAAI,KAAK;oBACP,kEAAkE;oBAClE,kEAAkE;oBAClE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,WAAW,aAAa,WAAW,sBAAsB,KAAK,GAAG,CAAC,CAAC;gBAC5F,IAAI,KAAK;oBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,WAAW,MAAM,WAAW,KAAK,KAAK,GAAG,CAAC,CAAC;YAC/E,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC;YAC3D,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACpD,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACpD,MAAM,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,uDAAuD;YACvD,mDAAmD;YACnD,+DAA+D;YAC/D,gEAAgE;YAChE,oEAAoE;YACpE,mEAAmE;YACnE,8DAA8D;YAC9D,6DAA6D;YAC7D,EAAE;YACF,8DAA8D;YAC9D,0DAA0D;YAC1D,yDAAyD;YACzD,yDAAyD;YACzD,2DAA2D;YAC3D,EAAE;YACF,uEAAuE;YACvE,8DAA8D;YAC9D,2DAA2D;YAC3D,MAAM,QAAQ,GAAG,eAAe,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YACpD,MAAM,SAAS,GAAG,mBAAmB,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,mBAAmB,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACtD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YACxD,IAAI,WAAmB,CAAC;YACxB,IAAI,QAAQ,EAAE,CAAC;gBACb,WAAW,GAAG,QAAQ,CAAC;YACzB,CAAC;iBAAM,IAAI,SAAS,EAAE,CAAC;gBACrB,WAAW,GAAG,SAAS,CAAC;YAC1B,CAAC;iBAAM,IAAI,YAAY,CAAC,GAAG,KAAK,SAAS,IAAI,YAAY,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;gBACvE,8DAA8D;gBAC9D,6DAA6D;gBAC7D,gCAAgC;gBAChC,WAAW,GAAG,IAAI,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC;YAC5C,CAAC;iBAAM,IAAI,QAAQ,EAAE,CAAC;gBACpB,WAAW,GAAG,QAAQ,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACN,WAAW,GAAG,EAAE,CAAC;YACnB,CAAC;YACD,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9F,MAAM,UAAU,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YAE3G,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;gBACnB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,UAAU,MAAM,UAAU,EAAE,CAAC,CAAC;gBACrD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,yBAAyB,UAAU,IAAI,CAAC,CAAC;gBAC7D,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,UAAU,CAAC,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,UAAU,MAAM,kBAAkB,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;gBAC9F,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,eAAe,CAAC,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,uBAAuB,CAAC,CAAC;gBAC7C,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,0BAA0B,UAAU,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,eAAe,UAAU,MAAM,UAAU,EAAE,CAAC,CAAC;YACnE,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,MAAM,CAAC,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,UAAU,MAAM,kBAAkB,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;gBAC1F,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,CAAC,CAAC;gBACzC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,UAAU,MAAM,UAAU,EAAE,CAAC,CAAC;YAC3D,CAAC;YACD,MAAM;QACR,CAAC;QACD;YACE,MAAM;IACV,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,SAAiB,EACjB,MAAc,EACd,UAAoB,EACpB,OAAoB;IAEpB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC;IAE1C,4CAA4C;IAC5C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjH,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,4BAA4B,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/fastapi-raw-handler.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Detection + emission helpers for raw `<<<...>>>` handler bodies when the
+ * target is FastAPI/Python.
+ *
+ * Raw handler bodies are usually JavaScript/TypeScript — the legacy authoring
+ * form before native KERN body-stmts existed. The TS codegen path can emit
+ * them verbatim (it's already TypeScript), but the Python codegen must either
+ * lower them or refuse them; emitting raw JS inside a Python `def` produces
+ * invalid Python that breaks `ast.parse` on the generated module.
+ *
+ * Two helpers exposed:
+ *   - `isUnsupportedJsHandlerBody`: returns true if the body uses
+ *     JS-specific idioms that Python cannot accept verbatim (`res.X`,
+ *     backtick template literals, optional chaining `?.`, nullish
+ *     coalescing `??`, arrow functions `=>`, object shorthand inside
+ *     literals).
+ *   - `unsupportedRawHandlerBody`: returns the boilerplate Python that
+ *     replaces an unsupported body with a `NotImplementedError` raise,
+ *     so the route file still parses + imports cleanly.
+ *
+ * Co-locating these here (instead of inside fastapi-route.ts) lets the
+ * portable-handler path in fastapi-portable.ts apply the same guard without
+ * introducing an import cycle between portable and route.
+ */
+export declare function stripStringsForJsCheck(code: string): string;
+export declare function hasObjectShorthandOutsideStrings(expr: string): boolean;
+export declare function isUnsupportedJsHandlerBody(code: string): boolean;
+export declare function unsupportedRawHandlerBody(indent: string): string[];