@kernlang/python 3.5.6-canary.199.1.c927d232 → 3.5.6-canary.202.1.31706b95

package/dist/adapters/django.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Django adapter — revised contract (post nero red-team).
+ *
+ * Wraps `PurePythonHandler` values as Django views + URL conf. Same
+ * marshalling-only pattern as the FastAPI adapter — derive/guard/respond
+ * live in the pure handler; the adapter ONLY translates Django's
+ * `HttpRequest` into a `PureRequest` dict and back.
+ *
+ * Adapter responsibilities (the ONLY things it does):
+ *   1. urls.py: one `path()` per route, mapping the (KERN `:param` → Django
+ *      `<type:name>`) converted path to the view function.
+ *   2. views.py per route: build PureRequest dict from `request.method`,
+ *      view-fn kwargs (path params), `request.GET` (query), `json.loads(
+ *      request.body)` (body when content-type is JSON; else raw bytes),
+ *      `dict(request.headers)`. Call `handle_<fnName>(pure_request)`.
+ *      Return `JsonResponse(body, status=status, headers=extra_headers or {})`.
+ *   3. settings.py: minimal — `DEBUG`, `SECRET_KEY` (env), `INSTALLED_APPS=['django.contrib.contenttypes','django.contrib.auth']`
+ *      (the bare minimum Django requires), `ROOT_URLCONF`, `DATABASES={}`,
+ *      `ALLOWED_HOSTS=['*']`.
+ *   4. manage.py: standard Django CLI entry point.
+ *
+ * Acceptance (Phase 3b smoke + Wave 3 end-to-end):
+ *   - Synthetic PureRequest fixture (hand-built in the smoke, NOT from
+ *     Django) → pure handler returns expected (status, body).
+ *   - Django smoke: transpile a real route, generate the Django project,
+ *     run `python manage.py runserver --noreload <port>`, curl the route,
+ *     assert response. CRITICAL: use `--noreload` so the SIGTERM hits the
+ *     real server, not a parent autoreloader (the equivalent of #4's
+ *     `go run .` orphan-on-SIGTERM hang).
+ *
+ * Django is installed globally (`django 6.0.5`) on this dev environment; CI
+ * will need `pip install django` in the workflow that runs the smoke.
+ */
+import type { PurePythonHandler } from '../core/handlers/index.js';
+export interface DjangoAdapterArtifacts {
+    /** Python source for urls.py (URL conf with `path('users/', views.handle_get_users)` lines). */
+    urlsPy: string;
+    /** Python source for views.py (view functions wrapping each PurePythonHandler). */
+    viewsPy: string;
+    /** Python source for settings.py (minimal Django settings — INSTALLED_APPS, ROOT_URLCONF, DEBUG). */
+    settingsPy: string;
+    /** Python source for manage.py (Django CLI entry point). */
+    managePy: string;
+    /** Python source for the pure-handlers module the adapter views import from. Phase 3b's smoke uses a synthetic version; in production the python target writes the real one. */
+    pureHandlersPy: string;
+    /** Imports the ADAPTER itself needs at the top of views.py. */
+    imports: Set<string>;
+}
+export declare function emitDjangoAdapter(handlers: PurePythonHandler[]): DjangoAdapterArtifacts;

package/dist/adapters/django.js

@@ -0,0 +1,151 @@
+/**
+ * Django adapter — revised contract (post nero red-team).
+ *
+ * Wraps `PurePythonHandler` values as Django views + URL conf. Same
+ * marshalling-only pattern as the FastAPI adapter — derive/guard/respond
+ * live in the pure handler; the adapter ONLY translates Django's
+ * `HttpRequest` into a `PureRequest` dict and back.
+ *
+ * Adapter responsibilities (the ONLY things it does):
+ *   1. urls.py: one `path()` per route, mapping the (KERN `:param` → Django
+ *      `<type:name>`) converted path to the view function.
+ *   2. views.py per route: build PureRequest dict from `request.method`,
+ *      view-fn kwargs (path params), `request.GET` (query), `json.loads(
+ *      request.body)` (body when content-type is JSON; else raw bytes),
+ *      `dict(request.headers)`. Call `handle_<fnName>(pure_request)`.
+ *      Return `JsonResponse(body, status=status, headers=extra_headers or {})`.
+ *   3. settings.py: minimal — `DEBUG`, `SECRET_KEY` (env), `INSTALLED_APPS=['django.contrib.contenttypes','django.contrib.auth']`
+ *      (the bare minimum Django requires), `ROOT_URLCONF`, `DATABASES={}`,
+ *      `ALLOWED_HOSTS=['*']`.
+ *   4. manage.py: standard Django CLI entry point.
+ *
+ * Acceptance (Phase 3b smoke + Wave 3 end-to-end):
+ *   - Synthetic PureRequest fixture (hand-built in the smoke, NOT from
+ *     Django) → pure handler returns expected (status, body).
+ *   - Django smoke: transpile a real route, generate the Django project,
+ *     run `python manage.py runserver --noreload <port>`, curl the route,
+ *     assert response. CRITICAL: use `--noreload` so the SIGTERM hits the
+ *     real server, not a parent autoreloader (the equivalent of #4's
+ *     `go run .` orphan-on-SIGTERM hang).
+ *
+ * Django is installed globally (`django 6.0.5`) on this dev environment; CI
+ * will need `pip install django` in the workflow that runs the smoke.
+ */
+export function emitDjangoAdapter(handlers) {
+    const urlPaths = handlers.map((h) => {
+        const cleanPath = h.path.startsWith('/') ? h.path.slice(1) : h.path;
+        const segments = cleanPath.split('/');
+        const hasParams = segments.some((s) => s.startsWith(':'));
+        const mappedSegments = segments.map((segment) => {
+            if (segment.startsWith(':')) {
+                const paramName = segment.slice(1);
+                const paramType = h.pathParamTypes?.[paramName] || 'str';
+                return `<${paramType}:${paramName}>`;
+            }
+            return segment;
+        });
+        const djangoPath = mappedSegments.join('/');
+        if (hasParams) {
+            return `    path("${djangoPath}", views.${h.fnName}_route, name="${h.fnName}"),`;
+        }
+        else {
+            return `    path("${djangoPath}", views.${h.fnName}_route),`;
+        }
+    });
+    const urlsPy = `from django.urls import path
+try:
+    from . import views
+except ImportError:
+    import views
+
+urlpatterns = [
+${urlPaths.join('\n')}
+]
+`;
+    const pureImportsList = Array.from(new Set(handlers.map((h) => h.fnName)));
+    const viewsImports = `import json
+from django.http import JsonResponse, HttpRequest
+from django.views.decorators.csrf import csrf_exempt
+from django.views.decorators.http import require_http_methods
+try:
+    from .pure_handlers import ${pureImportsList.join(', ')}
+except ImportError:
+    from pure_handlers import ${pureImportsList.join(', ')}`;
+    const viewFunctions = handlers
+        .map((h) => {
+        const method = h.method.toUpperCase();
+        const responseHeadersJson = JSON.stringify(h.responseHeaders ?? {});
+        return `@csrf_exempt
+@require_http_methods(["${method}"])
+def ${h.fnName}_route(request: HttpRequest, **path_kwargs):
+    try:
+        body = json.loads(request.body) if request.body else {}
+    except json.JSONDecodeError:
+        body = {}
+    pure_request = {
+        "method": request.method,
+        "path_params": path_kwargs,
+        "query": {k: (request.GET.getlist(k)[0] if len(request.GET.getlist(k)) == 1 else request.GET.getlist(k)) for k in request.GET},
+        "body": body,
+        "headers": {k.lower(): v for k, v in request.headers.items()},
+        "user": getattr(request, "user", None),
+    }
+    result = ${h.fnName}(pure_request)
+    status, body_out, *rest = result if isinstance(result, tuple) else (200, result)
+    extra_headers = rest[0] if rest else {}
+    merged_headers = {**${responseHeadersJson}, **extra_headers}
+    resp = JsonResponse(body_out, status=status, safe=False)
+    for k, v in merged_headers.items():
+        resp[k] = v
+    return resp`;
+    })
+        .join('\n\n');
+    const viewsPy = `${viewsImports}
+
+${viewFunctions}
+`;
+    const settingsPy = `import os
+SECRET_KEY = os.environ.get("DJANGO_SECRET_KEY", "kern-dev-secret-not-for-prod")
+DEBUG = True
+ALLOWED_HOSTS = ["*"]
+INSTALLED_APPS = ["django.contrib.contenttypes", "django.contrib.auth"]
+MIDDLEWARE = []
+ROOT_URLCONF = "urls"
+DATABASES = {}
+USE_TZ = True
+TIME_ZONE = "UTC"
+`;
+    const managePy = `#!/usr/bin/env python
+import os, sys
+if __name__ == "__main__":
+    os.environ.setdefault("DJANGO_SETTINGS_MODULE", "settings")
+    from django.core.management import execute_from_command_line
+    execute_from_command_line(sys.argv)
+`;
+    const handlerImportsSet = new Set();
+    for (const h of handlers) {
+        if (h.imports) {
+            for (const imp of h.imports) {
+                handlerImportsSet.add(imp);
+            }
+        }
+    }
+    const pureHandlersImportsStr = Array.from(handlerImportsSet).sort().join('\n');
+    const pureHandlersCode = handlers.map((h) => `${h.signature}\n${h.bodyLines.join('\n')}`).join('\n\n');
+    const pureHandlersPy = pureHandlersImportsStr ? `${pureHandlersImportsStr}\n\n${pureHandlersCode}` : pureHandlersCode;
+    const imports = new Set([
+        'import json',
+        'from django.http import JsonResponse, HttpRequest',
+        'from django.views.decorators.csrf import csrf_exempt',
+        'from django.views.decorators.http import require_http_methods',
+    ]);
+    return {
+        urlsPy,
+        viewsPy,
+        settingsPy,
+        managePy,
+        pureHandlersPy,
+        imports,
+    };
+}
+//# sourceMappingURL=django.js.map

package/dist/adapters/django.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"django.js","sourceRoot":"","sources":["../../src/adapters/django.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAmBH,MAAM,UAAU,iBAAiB,CAAC,QAA6B;IAC7D,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpE,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;YAC9C,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACnC,MAAM,SAAS,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC;gBACzD,OAAO,IAAI,SAAS,IAAI,SAAS,GAAG,CAAC;YACvC,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,aAAa,UAAU,YAAY,CAAC,CAAC,MAAM,iBAAiB,CAAC,CAAC,MAAM,KAAK,CAAC;QACnF,CAAC;aAAM,CAAC;YACN,OAAO,aAAa,UAAU,YAAY,CAAC,CAAC,MAAM,UAAU,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG;;;;;;;EAOf,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;;CAEpB,CAAC;IAEA,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,YAAY,GAAG;;;;;iCAKU,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;;gCAE3B,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAE3D,MAAM,aAAa,GAAG,QAAQ;SAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QACtC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;QACpE,OAAO;0BACa,MAAM;MAC1B,CAAC,CAAC,MAAM;;;;;;;;;;;;;eAaC,CAAC,CAAC,MAAM;;;0BAGG,mBAAmB;;;;gBAI7B,CAAC;IACb,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,MAAM,OAAO,GAAG,GAAG,YAAY;;EAE/B,aAAa;CACd,CAAC;IAEA,MAAM,UAAU,GAAG;;;;;;;;;;CAUpB,CAAC;IAEA,MAAM,QAAQ,GAAG;;;;;;CAMlB,CAAC;IAEA,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC5B,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,sBAAsB,GAAG,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,MAAM,gBAAgB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvG,MAAM,cAAc,GAAG,sBAAsB,CAAC,CAAC,CAAC,GAAG,sBAAsB,OAAO,gBAAgB,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAEtH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;QACtB,aAAa;QACb,mDAAmD;QACnD,sDAAsD;QACtD,+DAA+D;KAChE,CAAC,CAAC;IAEH,OAAO;QACL,MAAM;QACN,OAAO;QACP,UAAU;QACV,QAAQ;QACR,cAAc;QACd,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/adapters/fastapi.d.ts

@@ -0,0 +1,43 @@
+/**
+ * FastAPI adapter — revised contract (post nero red-team).
+ *
+ * Takes a list of framework-agnostic `PurePythonHandler` values and emits a
+ * FastAPI app skin that wraps each handler in a decorated endpoint. The
+ * adapter does ONLY marshalling — it builds a `PureRequest` dict from
+ * FastAPI's `Request` + path/query/body, calls the pure handler, unpacks
+ * the `PureResponse` tuple, and returns a `JSONResponse`. ROUTE LOWERING
+ * STAYS IN THE PURE HANDLER (the adapter never re-implements derive/guard/
+ * respond — that's the whole point of decoupling).
+ *
+ * Adapter responsibilities (the ONLY things it does):
+ *   1. Wire path params from FastAPI's typed signature into PureRequest.path_params
+ *      (using `PurePythonHandler.pathParamTypes` for coercion).
+ *   2. Wire query params from `request.query_params` into PureRequest.query
+ *      (using `PurePythonHandler.queryParamTypes` for coercion).
+ *   3. Wire body — if `validatesSchema` is set, attach the existing Pydantic
+ *      model as a FastAPI body param; pass `.model_dump()` into the dict.
+ *      Else: `await request.json()` if content-type is JSON, else raw bytes.
+ *   4. Build the PureRequest dict.
+ *   5. Call the pure handler `fnName(pure_request)`.
+ *   6. Unpack `(status, body[, headers])` → `JSONResponse(content=body, status_code=status, headers=headers or {})`.
+ *
+ * Acceptance (Phase 3a smoke + Wave 3 end-to-end):
+ *   - Synthetic PureRequest fixture (hand-built in the smoke, not from any
+ *     framework) → pure handler returns expected (status, body).
+ *   - The existing fastapi conformance suite (194/194 fixtures) passes when
+ *     routed through `pure-python + this adapter` pipeline (Wave 3).
+ *
+ * The current monolithic `transpiler-fastapi.ts` stays as the default until
+ * Phase 3a + Phase 2 both land and a follow-up flips the wiring. This phase
+ * only ADDS the adapter; it does not remove the monolith.
+ */
+import type { PurePythonHandler } from '../core/handlers/index.js';
+export interface FastAPIAdapterArtifacts {
+    /** Python source for the FastAPI app file (imports, `app = FastAPI()`, decorated endpoints). */
+    appPy: string;
+    /** Python source for the pure-handlers module (re-emitted as a sibling .py file the adapter imports). Phase 3a's smoke uses a synthetic version of this; in production the python target writes the real one. */
+    pureHandlersPy: string;
+    /** Imports the ADAPTER itself needs at the top of appPy. */
+    imports: Set<string>;
+}
+export declare function emitFastAPIAdapter(handlers: PurePythonHandler[]): FastAPIAdapterArtifacts;

package/dist/adapters/fastapi.js

@@ -0,0 +1,139 @@
+/**
+ * FastAPI adapter — revised contract (post nero red-team).
+ *
+ * Takes a list of framework-agnostic `PurePythonHandler` values and emits a
+ * FastAPI app skin that wraps each handler in a decorated endpoint. The
+ * adapter does ONLY marshalling — it builds a `PureRequest` dict from
+ * FastAPI's `Request` + path/query/body, calls the pure handler, unpacks
+ * the `PureResponse` tuple, and returns a `JSONResponse`. ROUTE LOWERING
+ * STAYS IN THE PURE HANDLER (the adapter never re-implements derive/guard/
+ * respond — that's the whole point of decoupling).
+ *
+ * Adapter responsibilities (the ONLY things it does):
+ *   1. Wire path params from FastAPI's typed signature into PureRequest.path_params
+ *      (using `PurePythonHandler.pathParamTypes` for coercion).
+ *   2. Wire query params from `request.query_params` into PureRequest.query
+ *      (using `PurePythonHandler.queryParamTypes` for coercion).
+ *   3. Wire body — if `validatesSchema` is set, attach the existing Pydantic
+ *      model as a FastAPI body param; pass `.model_dump()` into the dict.
+ *      Else: `await request.json()` if content-type is JSON, else raw bytes.
+ *   4. Build the PureRequest dict.
+ *   5. Call the pure handler `fnName(pure_request)`.
+ *   6. Unpack `(status, body[, headers])` → `JSONResponse(content=body, status_code=status, headers=headers or {})`.
+ *
+ * Acceptance (Phase 3a smoke + Wave 3 end-to-end):
+ *   - Synthetic PureRequest fixture (hand-built in the smoke, not from any
+ *     framework) → pure handler returns expected (status, body).
+ *   - The existing fastapi conformance suite (194/194 fixtures) passes when
+ *     routed through `pure-python + this adapter` pipeline (Wave 3).
+ *
+ * The current monolithic `transpiler-fastapi.ts` stays as the default until
+ * Phase 3a + Phase 2 both land and a follow-up flips the wiring. This phase
+ * only ADDS the adapter; it does not remove the monolith.
+ */
+export function emitFastAPIAdapter(handlers) {
+    const imports = new Set([
+        'from fastapi import FastAPI, Request',
+        'from fastapi.responses import JSONResponse',
+    ]);
+    const appPyLines = [];
+    // Add standard imports for FastAPI
+    appPyLines.push('from fastapi import FastAPI, Request');
+    appPyLines.push('from fastapi.responses import JSONResponse');
+    // Import each pure handler and its validatesSchema model (if any) from the pure_handlers module
+    // Use try-except to support both absolute and relative imports across different runtime environments
+    for (const handler of handlers) {
+        appPyLines.push('try:');
+        appPyLines.push(`    from .pure_handlers import ${handler.fnName}`);
+        appPyLines.push('except ImportError:');
+        appPyLines.push(`    from pure_handlers import ${handler.fnName}`);
+        if (handler.validatesSchema) {
+            appPyLines.push('try:');
+            appPyLines.push(`    from .pure_handlers import ${handler.validatesSchema}`);
+            appPyLines.push('except ImportError:');
+            appPyLines.push(`    from pure_handlers import ${handler.validatesSchema}`);
+        }
+    }
+    appPyLines.push('');
+    appPyLines.push('app = FastAPI()');
+    appPyLines.push('');
+    function mapPythonType(typeStr) {
+        if (!typeStr)
+            return 'str';
+        const t = typeStr.trim().toLowerCase();
+        if (t === 'string')
+            return 'str';
+        if (t === 'number')
+            return 'float';
+        if (t === 'boolean')
+            return 'bool';
+        if (t === 'integer')
+            return 'int';
+        return typeStr;
+    }
+    for (const handler of handlers) {
+        // Convert path param style from KERN (:param) to FastAPI ({param})
+        const pathWithFastapiBraces = handler.path.replace(/:([a-zA-Z0-9_]+)/g, '{$1}');
+        // Extract path param names
+        const paramMatches = handler.path.match(/:([a-zA-Z0-9_]+)/g) || [];
+        const paramNames = paramMatches.map((m) => m.slice(1));
+        // Map path params to typed parameters
+        const typedPathParams = paramNames.map((name) => {
+            const type = handler.pathParamTypes[name] || 'str';
+            return `${name}: ${mapPythonType(type)}`;
+        });
+        const bodyPydanticParamOrNone = handler.validatesSchema ? `body_pydantic_param: ${handler.validatesSchema}` : '';
+        const routeArgs = [];
+        for (const p of typedPathParams) {
+            routeArgs.push(p);
+        }
+        if (bodyPydanticParamOrNone) {
+            routeArgs.push(bodyPydanticParamOrNone);
+        }
+        routeArgs.push('request: Request');
+        const routeArgsStr = routeArgs.join(', ');
+        // Construct path params dict
+        const pathParamsEntries = paramNames.map((name) => `"${name}": ${name}`).join(', ');
+        const pathParamsStr = `{${pathParamsEntries}}`;
+        const responseHeadersLiteral = JSON.stringify(handler.responseHeaders);
+        const methodLower = handler.method.toLowerCase();
+        const methodUpper = handler.method.toUpperCase();
+        appPyLines.push(`@app.${methodLower}("${pathWithFastapiBraces}")`);
+        appPyLines.push(`async def ${handler.fnName}_route(${routeArgsStr}):`);
+        if (!handler.validatesSchema) {
+            appPyLines.push('    body_pydantic_param = None');
+        }
+        appPyLines.push('    pure_request = {');
+        appPyLines.push(`        "method": "${methodUpper}",`);
+        appPyLines.push(`        "path_params": ${pathParamsStr},`);
+        appPyLines.push('        "query": {k: (request.query_params.getlist(k)[0] if len(request.query_params.getlist(k)) == 1 else request.query_params.getlist(k)) for k in request.query_params.keys()},');
+        appPyLines.push('        "body": (body_pydantic_param.model_dump() if body_pydantic_param is not None else (await request.json() if "application/json" in request.headers.get("content-type", "") else (await request.body()))),');
+        appPyLines.push('        "headers": {k.lower(): v for k, v in request.headers.items()},');
+        appPyLines.push('        "user": getattr(request.state, "user", None),');
+        appPyLines.push('    }');
+        appPyLines.push(`    result = ${handler.fnName}(pure_request)`);
+        appPyLines.push('    status, body, *rest = result if isinstance(result, tuple) else (200, result)');
+        appPyLines.push('    extra_headers = rest[0] if rest else {}');
+        appPyLines.push(`    merged_headers = {**${responseHeadersLiteral}, **extra_headers}`);
+        appPyLines.push('    return JSONResponse(content=body, status_code=status, headers=merged_headers or None)');
+        appPyLines.push('');
+    }
+    // Concatenate all handler code to build pureHandlersPy, including their combined imports
+    const allPureImports = new Set();
+    for (const handler of handlers) {
+        if (handler.imports) {
+            for (const imp of handler.imports) {
+                allPureImports.add(imp);
+            }
+        }
+    }
+    const sortedPureImports = Array.from(allPureImports).sort();
+    const pureImportsStr = sortedPureImports.length > 0 ? `${sortedPureImports.join('\n')}\n\n` : '';
+    const pureHandlersPy = `${pureImportsStr + handlers.map((h) => `${h.signature}\n${h.bodyLines.join('\n')}`).join('\n\n')}\n`;
+    return {
+        appPy: appPyLines.join('\n'),
+        pureHandlersPy,
+        imports,
+    };
+}
+//# sourceMappingURL=fastapi.js.map

package/dist/adapters/fastapi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fastapi.js","sourceRoot":"","sources":["../../src/adapters/fastapi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAaH,MAAM,UAAU,kBAAkB,CAAC,QAA6B;IAC9D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS;QAC9B,sCAAsC;QACtC,4CAA4C;KAC7C,CAAC,CAAC;IAEH,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,mCAAmC;IACnC,UAAU,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACxD,UAAU,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;IAE9D,gGAAgG;IAChG,qGAAqG;IACrG,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,UAAU,CAAC,IAAI,CAAC,kCAAkC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACpE,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QACvC,UAAU,CAAC,IAAI,CAAC,iCAAiC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAEnE,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;YAC5B,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxB,UAAU,CAAC,IAAI,CAAC,kCAAkC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;YAC7E,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YACvC,UAAU,CAAC,IAAI,CAAC,iCAAiC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IAED,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACnC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEpB,SAAS,aAAa,CAAC,OAA2B;QAChD,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACjC,IAAI,CAAC,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAClC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,mEAAmE;QACnE,MAAM,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;QAEhF,2BAA2B;QAC3B,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC;QACnE,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAEvD,sCAAsC;QACtC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;YACnD,OAAO,GAAG,IAAI,KAAK,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,MAAM,uBAAuB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,wBAAwB,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEjH,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;YAChC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,uBAAuB,EAAE,CAAC;YAC5B,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC1C,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAEnC,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1C,6BAA6B;QAC7B,MAAM,iBAAiB,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,MAAM,aAAa,GAAG,IAAI,iBAAiB,GAAG,CAAC;QAE/C,MAAM,sBAAsB,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QACvE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QACjD,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QAEjD,UAAU,CAAC,IAAI,CAAC,QAAQ,WAAW,KAAK,qBAAqB,IAAI,CAAC,CAAC;QACnE,UAAU,CAAC,IAAI,CAAC,aAAa,OAAO,CAAC,MAAM,UAAU,YAAY,IAAI,CAAC,CAAC;QAEvE,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;YAC7B,UAAU,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QACpD,CAAC;QAED,UAAU,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACxC,UAAU,CAAC,IAAI,CAAC,sBAAsB,WAAW,IAAI,CAAC,CAAC;QACvD,UAAU,CAAC,IAAI,CAAC,0BAA0B,aAAa,GAAG,CAAC,CAAC;QAC5D,UAAU,CAAC,IAAI,CACb,oLAAoL,CACrL,CAAC;QACF,UAAU,CAAC,IAAI,CACb,iNAAiN,CAClN,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;QAC1F,UAAU,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;QACzE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,MAAM,gBAAgB,CAAC,CAAC;QAChE,UAAU,CAAC,IAAI,CAAC,kFAAkF,CAAC,CAAC;QACpG,UAAU,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;QAC/D,UAAU,CAAC,IAAI,CAAC,2BAA2B,sBAAsB,oBAAoB,CAAC,CAAC;QACvF,UAAU,CAAC,IAAI,CAAC,2FAA2F,CAAC,CAAC;QAC7G,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC;IAED,yFAAyF;IACzF,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBAClC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5D,MAAM,cAAc,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAEjG,MAAM,cAAc,GAAG,GAAG,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAE7H,OAAO;QACL,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5B,cAAc;QACd,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/codegen-body-python.d.ts

@@ -73,6 +73,16 @@ export interface BodyEmitOptions {
         forIterNext?: boolean;
         letAssign?: boolean;
     };
+    /** Outer-scope names the body INHERITS — typically function parameters and
+     * module-level globals the wrapper has bound. Pre-populated as the
+     * outermost `localScopes` map so an inner-block `let` that shadows ANY of
+     * these triggers the block-scope rename (closes nero red-team Challenge 2
+     * for param shadows). Each name is recorded as 'const' since the body's
+     * own re-declarations of these names go through `let` (a fresh
+     * declaration) rather than `assign`, so this annotation only governs
+     * shadow-detection — it never blocks legitimate inner reassignment of an
+     * unrelated inner binding. */
+    outerBindings?: string[];
 }
 /** Slice 3e — public return shape. `code` is the joined body text;
  *  `imports` is the per-handler set of import identifiers
@@ -96,6 +106,44 @@ export interface BodyEmitResult {
     usedPropagation: boolean;
     helpers: Set<string>;
 }
+interface BodyEmitContext {
+    gensymCounter: number;
+    imports: Set<string>;
+    /** PR-4 — runtime helper function definitions the body references.
+     *  Populated lazily when codegen needs a helper (e.g. `_kern_pairs` for
+     *  `each` pair-mode). Consumer emits each entry at module scope. */
+    helpers: Set<string>;
+    symbolMap: Record<string, string>;
+    shadowedSymbols: Set<string>;
+    localScopes: Array<Map<string, 'const' | 'let' | 'cell'>>;
+    regexScopes: Array<Map<string, Extract<ValueIR, {
+        kind: 'regexLit';
+    }> | null>>;
+    /** Per-scope `userName -> emittedName` map. Populated when an inner-block
+     * `let` shadows an outer binding so TS block-scope (`let x=1; if(c){let x=2}
+     * return x` → 1) survives Python's flat function-scope (would otherwise
+     * leak 2). Parallel to `localScopes`; pushed/popped together. The outermost
+     * scope never renames (function-body lets stay user-facing). Resolved via
+     * `resolveLocalRename`; consulted in ident emission. */
+    renameStack: Array<Map<string, string>>;
+    propagateStyle: 'value' | 'http-exception';
+    usedPropagation: boolean;
+    /** PR-3b differential-harness opt-in (see BodyEmitOptions.traceHooks). */
+    traceHooks?: {
+        eachIterNext?: boolean;
+        forIterNext?: boolean;
+        letAssign?: boolean;
+    };
+    /** Slice 4c review fix (OpenCode + Gemini critical) — depth of nested
+     *  `try` blocks. Propagation `?` lowers to `return tmp` (or `raise
+     *  HTTPException` in route mode), and BOTH bypass the enclosing
+     *  `except` clause unexpectedly. Reject `?` inside try with a clear
+     *  let-bind hint. Increment on try entry, decrement on try exit. */
+    tryDepth: number;
+    /** Depth of nested `finally` blocks. Propagation from finally would
+     *  override pending control flow, so it gets a finally-specific error. */
+    finallyDepth: number;
+}
 /** PR-4 — Python helpers that normalize `each` pair-mode iteration sources.
  *  Co-located with the codegen so the production emitter and the differential
  *  harness use byte-identical definitions; consumers emit the string at module
@@ -114,7 +162,6 @@ export interface BodyEmitResult {
  *      async iterable; sync data is wrapped at iteration entry).
  *
  *  Both helpers are pure functions on the input; no captures, no globals. */
-export declare const KERN_PAIR_HELPERS_PY: string;
 /** KERN-canonical interpolation formatter for `fmt` / template literals.
  *  Python `f"{v}"` uses `str()`, which gives `True`/`False`/`None` — diverging
  *  from KERN's canonical lowercase `true`/`false`/`null` that TS template
@@ -126,7 +173,6 @@ export declare const KERN_PAIR_HELPERS_PY: string;
  *  `True` → `"True"`. Co-located with the codegen so the production emitter and
  *  the differential harness use byte-identical defs; emitted at module scope
  *  via `BodyEmitResult.helpers` whenever an interpolation is wrapped. */
-export declare const KERN_FMT_HELPER_PY: string;
 /** Emit the body of a native KERN handler as Python source. Returns the
  *  joined body text. Each top-level line is unindented; nested `if`-bodies
  *  carry one level of 4-space indent per level of nesting.
@@ -164,3 +210,6 @@ export declare function emitNativeKernBodyPythonWithImports(handlerNode: IRNode,
  *  `emitPyExprCtx` which threads the live ctx (and therefore the live
  *  imports set) end-to-end. */
 export declare function emitPyExpression(node: ValueIR, options?: BodyEmitOptions): string;
+export declare function lowerBitwiseAndModuloAST(node: ValueIR): ValueIR;
+export declare function registerHelpers(node: ValueIR, ctx: BodyEmitContext): void;
+export {};