@kernlang/core 3.4.0 → 3.4.1

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

@@ -0,0 +1,68 @@
+/** Native KERN handler-body codegen — TypeScript target (slices 1–3).
+ *
+ *  Walks the children of a handler with `lang=kern` and emits a TypeScript
+ *  body string. Recognized statements:
+ *
+ *    - `let name=X value="EXPR"` — `const X = EXPR;` (slice 1)
+ *    - `return value="EXPR"` / bare `return` — `return EXPR;` (slice 1)
+ *    - `if cond="EXPR"` / sibling `else` — `if (EXPR) { … } else { … }` (slice 2c)
+ *
+ *  Statement-level propagation `?` lowers to the same hoisted shape that
+ *  slice 7 established for raw-body propagation:
+ *
+ *      const __k_t1 = await call();
+ *      if (__k_t1.kind === 'err') return __k_t1;
+ *      const u = __k_t1.value;
+ *
+ *  Slice 3 — symmetric `{ code, imports }` shape with the Python target so
+ *  body-emitter callers have a uniform signature regardless of language.
+ *  TS's KERN-stdlib lowerings don't currently demand any imports (`Math` is
+ *  global, `Set`/`Map` are global), so `imports` is typically empty. The
+ *  `BodyEmitOptions.symbolMap` parameter is currently unused on the TS
+ *  target — TS preserves the camelCase identifier shape end-to-end — but
+ *  is plumbed through for parity with the Python emitter (and for any
+ *  future TS-only renames such as reserved-word collision handling).
+ *
+ *  Slice scope:
+ *    - Result-flavored propagation only (`'err'` discriminant). Option
+ *      propagation in native bodies is deferred to slice 8 (typecheck-driven).
+ *    - `if` requires `cond="EXPR"`. `else` is a sibling node (no condition).
+ *      `else if` chains land in slice 3 — for slice 2c users nest `if` inside
+ *      the `else` branch.
+ *
+ *  `gensymCounter` is local to each emit call — every handler gets its own
+ *  fresh `__k_t1`, `__k_t2`, … sequence (same convention as slice 7).
+ *
+ *  Indentation: the recursive walk threads an `indent` string so nested
+ *  `if`/`else` branches indent correctly. The caller adds the leading indent
+ *  for the surrounding function body. */
+import type { IRNode } from '../types.js';
+/** Slice 3e — caller-provided options, parity with the Python body emitter.
+ *  `symbolMap` is currently unused on the TS target; reserved for future
+ *  use (e.g., reserved-word renames). */
+export interface BodyEmitOptions {
+    symbolMap?: Record<string, string>;
+}
+/** Slice 3e — public return shape, parity with the Python body emitter.
+ *  TS's KERN-stdlib lowerings don't currently demand any imports; the
+ *  `imports` set will typically be empty until a future slice introduces
+ *  TS-stdlib entries with `requires.ts` (e.g., a `node:crypto` import). */
+export interface BodyEmitResult {
+    code: string;
+    imports: Set<string>;
+}
+/** Emit the body of a native KERN handler as TypeScript source. Returns
+ *  the joined body text. Each top-level line is unindented; nested
+ *  branches indent by 2 spaces per level.
+ *
+ *  Legacy slice 1/2 signature — returns just the code string. Callers
+ *  that also need the import set (slice 3b parity with Python) should
+ *  use `emitNativeKernBodyTSWithImports`. */
+export declare function emitNativeKernBodyTS(handlerNode: IRNode, options?: BodyEmitOptions): string;
+/** Slice 3e — context-aware variant returning `{ code, imports }`.
+ *  TS's KERN-stdlib lowerings don't currently demand any imports; the
+ *  `imports` set will typically be empty until a future slice introduces
+ *  TS-stdlib entries with `requires.ts` (e.g., a `node:crypto` import).
+ *  Provided for symmetry with the Python target so generators that drive
+ *  both languages have a uniform call shape. */
+export declare function emitNativeKernBodyTSWithImports(handlerNode: IRNode, _options?: BodyEmitOptions): BodyEmitResult;

package/dist/codegen/body-ts.js

@@ -0,0 +1,214 @@
+/** Native KERN handler-body codegen — TypeScript target (slices 1–3).
+ *
+ *  Walks the children of a handler with `lang=kern` and emits a TypeScript
+ *  body string. Recognized statements:
+ *
+ *    - `let name=X value="EXPR"` — `const X = EXPR;` (slice 1)
+ *    - `return value="EXPR"` / bare `return` — `return EXPR;` (slice 1)
+ *    - `if cond="EXPR"` / sibling `else` — `if (EXPR) { … } else { … }` (slice 2c)
+ *
+ *  Statement-level propagation `?` lowers to the same hoisted shape that
+ *  slice 7 established for raw-body propagation:
+ *
+ *      const __k_t1 = await call();
+ *      if (__k_t1.kind === 'err') return __k_t1;
+ *      const u = __k_t1.value;
+ *
+ *  Slice 3 — symmetric `{ code, imports }` shape with the Python target so
+ *  body-emitter callers have a uniform signature regardless of language.
+ *  TS's KERN-stdlib lowerings don't currently demand any imports (`Math` is
+ *  global, `Set`/`Map` are global), so `imports` is typically empty. The
+ *  `BodyEmitOptions.symbolMap` parameter is currently unused on the TS
+ *  target — TS preserves the camelCase identifier shape end-to-end — but
+ *  is plumbed through for parity with the Python emitter (and for any
+ *  future TS-only renames such as reserved-word collision handling).
+ *
+ *  Slice scope:
+ *    - Result-flavored propagation only (`'err'` discriminant). Option
+ *      propagation in native bodies is deferred to slice 8 (typecheck-driven).
+ *    - `if` requires `cond="EXPR"`. `else` is a sibling node (no condition).
+ *      `else if` chains land in slice 3 — for slice 2c users nest `if` inside
+ *      the `else` branch.
+ *
+ *  `gensymCounter` is local to each emit call — every handler gets its own
+ *  fresh `__k_t1`, `__k_t2`, … sequence (same convention as slice 7).
+ *
+ *  Indentation: the recursive walk threads an `indent` string so nested
+ *  `if`/`else` branches indent correctly. The caller adds the leading indent
+ *  for the surrounding function body. */
+import { emitExpression } from '../codegen-expression.js';
+import { parseExpression } from '../parser-expression.js';
+const INDENT_STEP = '  ';
+/** Emit the body of a native KERN handler as TypeScript source. Returns
+ *  the joined body text. Each top-level line is unindented; nested
+ *  branches indent by 2 spaces per level.
+ *
+ *  Legacy slice 1/2 signature — returns just the code string. Callers
+ *  that also need the import set (slice 3b parity with Python) should
+ *  use `emitNativeKernBodyTSWithImports`. */
+export function emitNativeKernBodyTS(handlerNode, options) {
+    return emitNativeKernBodyTSWithImports(handlerNode, options).code;
+}
+/** Slice 3e — context-aware variant returning `{ code, imports }`.
+ *  TS's KERN-stdlib lowerings don't currently demand any imports; the
+ *  `imports` set will typically be empty until a future slice introduces
+ *  TS-stdlib entries with `requires.ts` (e.g., a `node:crypto` import).
+ *  Provided for symmetry with the Python target so generators that drive
+ *  both languages have a uniform call shape. */
+export function emitNativeKernBodyTSWithImports(handlerNode, _options) {
+    const ctx = { gensymCounter: 0, tryDepth: 0 };
+    const code = emitChildrenTS(handlerNode.children ?? [], ctx, '').join('\n');
+    return { code, imports: new Set() };
+}
+function emitChildrenTS(children, ctx, indent) {
+    const lines = [];
+    for (let i = 0; i < children.length; i++) {
+        const child = children[i];
+        if (child.type === 'let') {
+            for (const line of emitLetTS(child, ctx))
+                lines.push(`${indent}${line}`);
+        }
+        else if (child.type === 'return') {
+            for (const line of emitReturnTS(child, ctx))
+                lines.push(`${indent}${line}`);
+        }
+        else if (child.type === 'if') {
+            const condRaw = String(child.props?.cond ?? '');
+            const condIR = parseExpression(condRaw);
+            // Slice-2 review fix: propagation `?` in an `if` condition has no
+            // sensible single-line lowering; reject early with a clear message
+            // pointing users at the let-bind workaround.
+            if (condIR.kind === 'propagate') {
+                throw new Error("Propagation '?' is not allowed in `if cond=` — bind the call to a `let` first, then test the bound name.");
+            }
+            lines.push(`${indent}if (${emitExpression(condIR)}) {`);
+            for (const sl of emitChildrenTS(child.children ?? [], ctx, indent + INDENT_STEP))
+                lines.push(sl);
+            const next = children[i + 1];
+            if (next && next.type === 'else') {
+                lines.push(`${indent}} else {`);
+                for (const el of emitChildrenTS(next.children ?? [], ctx, indent + INDENT_STEP))
+                    lines.push(el);
+                i++;
+            }
+            lines.push(`${indent}}`);
+        }
+        else if (child.type === 'else') {
+            // Slice-2 review fix: orphan `else` (without a preceding `if` sibling)
+            // is a structural error — silently dropping it produced confusing
+            // miscompiles. The `if` arm above consumes its paired `else` via i++,
+            // so reaching one here means it was orphaned.
+            throw new Error('`else` must immediately follow an `if` sibling. Found orphan `else` in handler body.');
+        }
+        else if (child.type === 'try') {
+            // Slice 4c — try/catch control flow.
+            // Slice 4c review fix (OpenCode + Gemini high): orphan `try` produces
+            // a syntactically-incomplete body. Both TS (no-catch try is legal but
+            // semantically wrong) and Python (SyntaxError) need a paired catch;
+            // require the sibling and fail loud if missing.
+            const next = children[i + 1];
+            if (!next || next.type !== 'catch') {
+                throw new Error('`try` must be immediately followed by a `catch` sibling. Found orphan `try` in handler body.');
+            }
+            lines.push(`${indent}try {`);
+            ctx.tryDepth++;
+            for (const sl of emitChildrenTS(child.children ?? [], ctx, indent + INDENT_STEP))
+                lines.push(sl);
+            ctx.tryDepth--;
+            const errName = String(next.props?.name ?? 'e');
+            lines.push(`${indent}} catch (${errName}) {`);
+            for (const cl of emitChildrenTS(next.children ?? [], ctx, indent + INDENT_STEP))
+                lines.push(cl);
+            i++;
+            lines.push(`${indent}}`);
+        }
+        else if (child.type === 'catch') {
+            throw new Error('`catch` must immediately follow a `try` sibling. Found orphan `catch` in handler body.');
+        }
+        else if (child.type === 'throw') {
+            // Slice 4c — throw statement.
+            for (const line of emitThrowTS(child, ctx))
+                lines.push(`${indent}${line}`);
+        }
+        else if (child.type === 'each') {
+            // Slice 4d — each loop.
+            // Slice 4c+4d review fix (Codex P1): the schema's `each` already
+            // declares `name` (binding) and `in` (iterable expression). The
+            // earlier slice-4d body-emit read `list`/`as` instead, which meant
+            // (a) schema-validated source `each name=x in=items` fell back to
+            // `for (const item of [])` (empty list, wrong binding) and
+            // (b) tests that used `list`/`as` failed schema validation.
+            // Read schema-compliant `name`/`in` first; accept legacy
+            // `list`/`as` as a fallback for tests that pre-date this fix.
+            const listRaw = String(child.props?.in ?? child.props?.list ?? '[]');
+            const asName = String(child.props?.name ?? child.props?.as ?? 'item');
+            const listIR = parseExpression(listRaw);
+            lines.push(`${indent}for (const ${asName} of ${emitExpression(listIR)}) {`);
+            for (const sl of emitChildrenTS(child.children ?? [], ctx, indent + INDENT_STEP))
+                lines.push(sl);
+            lines.push(`${indent}}`);
+        }
+        // Other child types fall through silently — slice 3 adds more.
+    }
+    return lines;
+}
+/** Slice 4c review fix (OpenCode + Gemini critical) — propagation `?`
+ *  inside a `try` block has no clean lowering. The hoisted err-branch
+ *  emits `return tmp` which exits the function entirely, BYPASSING the
+ *  enclosing `catch`. That's almost never what users mean — they wrote
+ *  `?` to flag a Result.err and (presumably) to let the catch handle
+ *  it. Reject at codegen with a let-bind hint. Same shape as
+ *  slice-2's reject-`?`-in-`if-cond` rule. */
+function rejectPropagationInsideTry(ctx) {
+    if (ctx.tryDepth > 0) {
+        throw new Error("Propagation '?' is not allowed inside a `try` block — `return` from the err branch exits the function and bypasses the enclosing `catch`. " +
+            'Bind the call to a `let` outside the try, then use `if x.kind === "err" throw new Error(...)` inside the try, OR use raw `lang=ts`/`lang=python` for the affected handler.');
+    }
+}
+function emitLetTS(node, ctx) {
+    const props = (node.props ?? {});
+    const name = String(props.name ?? '_');
+    const rawValue = props.value;
+    if (rawValue === undefined || rawValue === '') {
+        return [`const ${name} = undefined;`];
+    }
+    const valueIR = parseExpression(String(rawValue));
+    if (valueIR.kind === 'propagate' && valueIR.op === '?') {
+        rejectPropagationInsideTry(ctx);
+        const tmp = `__k_t${++ctx.gensymCounter}`;
+        const inner = emitExpression(valueIR.argument);
+        return [`const ${tmp} = ${inner};`, `if (${tmp}.kind === 'err') return ${tmp};`, `const ${name} = ${tmp}.value;`];
+    }
+    return [`const ${name} = ${emitExpression(valueIR)};`];
+}
+function emitReturnTS(node, ctx) {
+    const props = (node.props ?? {});
+    const rawValue = props.value;
+    if (rawValue === undefined || rawValue === '') {
+        return [`return;`];
+    }
+    const valueIR = parseExpression(String(rawValue));
+    if (valueIR.kind === 'propagate' && valueIR.op === '?') {
+        rejectPropagationInsideTry(ctx);
+        const tmp = `__k_t${++ctx.gensymCounter}`;
+        const inner = emitExpression(valueIR.argument);
+        return [`const ${tmp} = ${inner};`, `if (${tmp}.kind === 'err') return ${tmp};`, `return ${tmp}.value;`];
+    }
+    return [`return ${emitExpression(valueIR)};`];
+}
+function emitThrowTS(node, ctx) {
+    const props = (node.props ?? {});
+    const rawValue = props.value;
+    if (rawValue === undefined || rawValue === '') {
+        return [`throw new Error();`];
+    }
+    const valueIR = parseExpression(String(rawValue));
+    if (valueIR.kind === 'propagate' && valueIR.op === '?') {
+        rejectPropagationInsideTry(ctx);
+        const tmp = `__k_t${++ctx.gensymCounter}`;
+        const inner = emitExpression(valueIR.argument);
+        return [`const ${tmp} = ${inner};`, `if (${tmp}.kind === 'err') return ${tmp};`, `throw ${tmp}.value;`];
+    }
+    return [`throw ${emitExpression(valueIR)};`];
+}
+//# sourceMappingURL=body-ts.js.map

package/dist/codegen/body-ts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"body-ts.js","sourceRoot":"","sources":["../../src/codegen/body-ts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCAqCyC;AAEzC,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AA8B1D,MAAM,WAAW,GAAG,IAAI,CAAC;AAEzB;;;;;;6CAM6C;AAC7C,MAAM,UAAU,oBAAoB,CAAC,WAAmB,EAAE,OAAyB;IACjF,OAAO,+BAA+B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC;AACpE,CAAC;AAED;;;;;gDAKgD;AAChD,MAAM,UAAU,+BAA+B,CAAC,WAAmB,EAAE,QAA0B;IAC7F,MAAM,GAAG,GAAoB,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC/D,MAAM,IAAI,GAAG,cAAc,CAAC,WAAW,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,cAAc,CAAC,QAAkB,EAAE,GAAoB,EAAE,MAAc;IAC9E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI,EAAE,CAAC,CAAC;QAC3E,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI,EAAE,CAAC,CAAC;QAC9E,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YACxC,kEAAkE;YAClE,mEAAmE;YACnE,6CAA6C;YAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAChC,MAAM,IAAI,KAAK,CACb,0GAA0G,CAC3G,CAAC;YACJ,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACxD,KAAK,MAAM,EAAE,IAAI,cAAc,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjG,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,UAAU,CAAC,CAAC;gBAChC,KAAK,MAAM,EAAE,IAAI,cAAc,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAChG,CAAC,EAAE,CAAC;YACN,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;QAC3B,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACjC,uEAAuE;YACvE,kEAAkE;YAClE,sEAAsE;YACtE,8CAA8C;YAC9C,MAAM,IAAI,KAAK,CAAC,sFAAsF,CAAC,CAAC;QAC1G,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAChC,qCAAqC;YACrC,sEAAsE;YACtE,sEAAsE;YACtE,oEAAoE;YACpE,gDAAgD;YAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,8FAA8F,CAAC,CAAC;YAClH,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;YAC7B,GAAG,CAAC,QAAQ,EAAE,CAAC;YACf,KAAK,MAAM,EAAE,IAAI,cAAc,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjG,GAAG,CAAC,QAAQ,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,YAAY,OAAO,KAAK,CAAC,CAAC;YAC9C,KAAK,MAAM,EAAE,IAAI,cAAc,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChG,CAAC,EAAE,CAAC;YACJ,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;QAC3B,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,wFAAwF,CAAC,CAAC;QAC5G,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAClC,8BAA8B;YAC9B,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI,EAAE,CAAC,CAAC;QAC7E,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACjC,wBAAwB;YACxB,iEAAiE;YACjE,gEAAgE;YAChE,mEAAmE;YACnE,kEAAkE;YAClE,2DAA2D;YAC3D,4DAA4D;YAC5D,yDAAyD;YACzD,8DAA8D;YAC9D,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,IAAI,IAAI,CAAC,CAAC;YACrE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,MAAM,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,MAAM,OAAO,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5E,KAAK,MAAM,EAAE,IAAI,cAAc,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjG,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;QAC3B,CAAC;QACD,+DAA+D;IACjE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;8CAM8C;AAC9C,SAAS,0BAA0B,CAAC,GAAoB;IACtD,IAAI,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CACb,4IAA4I;YAC1I,4KAA4K,CAC/K,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,GAAoB;IACnD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAA4B,CAAC;IAC5D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC;IAC7B,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;QAC9C,OAAO,CAAC,SAAS,IAAI,eAAe,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QACvD,0BAA0B,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,QAAQ,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/C,OAAO,CAAC,SAAS,GAAG,MAAM,KAAK,GAAG,EAAE,OAAO,GAAG,2BAA2B,GAAG,GAAG,EAAE,SAAS,IAAI,MAAM,GAAG,SAAS,CAAC,CAAC;IACpH,CAAC;IACD,OAAO,CAAC,SAAS,IAAI,MAAM,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,GAAoB;IACtD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAA4B,CAAC;IAC5D,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC;IAC7B,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;QAC9C,OAAO,CAAC,SAAS,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QACvD,0BAA0B,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,QAAQ,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/C,OAAO,CAAC,SAAS,GAAG,MAAM,KAAK,GAAG,EAAE,OAAO,GAAG,2BAA2B,GAAG,GAAG,EAAE,UAAU,GAAG,SAAS,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,CAAC,UAAU,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,GAAoB;IACrD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAA4B,CAAC;IAC5D,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC;IAC7B,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;QAC9C,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QACvD,0BAA0B,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,QAAQ,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/C,OAAO,CAAC,SAAS,GAAG,MAAM,KAAK,GAAG,EAAE,OAAO,GAAG,2BAA2B,GAAG,GAAG,EAAE,SAAS,GAAG,SAAS,CAAC,CAAC;IAC1G,CAAC;IACD,OAAO,CAAC,SAAS,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/C,CAAC"}

package/dist/codegen/functions.js

@@ -4,9 +4,26 @@
  * Extracted from codegen-core.ts for modular codegen architecture.
  */
 import { propsOf } from '../node-props.js';
+import { emitNativeKernBodyTS } from './body-ts.js';
 import { emitIdentifier, emitTypeAnnotation } from './emitters.js';
 import { dedent, emitDocComment, exportPrefix, getChildren, getFirstChild, getProps, handlerCode } from './helpers.js';
 import { emitParamList } from './type-system.js';
+/** Slice 1 — native KERN handler bodies (`handler lang=kern`).
+ *  Returns the emitted body when the fn's handler child opts in via `lang=kern`,
+ *  otherwise returns the legacy raw `<<<…>>>` body via `handlerCode`.
+ *
+ *  Slice 3e — `emitNativeKernBodyTS` returns `{ code, imports }` for parity
+ *  with the Python target. TS body emit currently never populates `imports`
+ *  (Math/Map/Set are global, no module-level wiring needed yet), so we just
+ *  unwrap `code`. Future TS-stdlib entries declaring `requires.ts` would
+ *  need this caller to inject the imports above the function declaration. */
+function fnBodyCode(node) {
+    const handler = getFirstChild(node, 'handler');
+    if (handler && getProps(handler).lang === 'kern') {
+        return emitNativeKernBodyTS(handler);
+    }
+    return handlerCode(node);
+}
 const p = getProps;
 const kids = getChildren;
 const firstChild = getFirstChild;
@@ -52,7 +69,7 @@ export function generateFunction(node) {
         const yieldType = emitTypeAnnotation(returns, 'unknown', node);
         // If user already declared AsyncGenerator<...>, use as-is to avoid double-wrapping
         const retClause = yieldType.startsWith('AsyncGenerator<') ? `: ${yieldType}` : `: AsyncGenerator<${yieldType}>`;
-        const code = handlerCode(node);
+        const code = fnBodyCode(node);
         lines.push(`${exp}async function* ${name}${generics}(${paramList})${retClause} {`);
         if (code) {
             for (const line of code.split('\n')) {
@@ -74,7 +91,7 @@ export function generateFunction(node) {
             ? `: ${emitTypeAnnotation(returns, 'unknown', node)}`
             : '';
     const asyncKw = isAsync ? 'async ' : '';
-    const code = handlerCode(node);
+    const code = fnBodyCode(node);
     const signalNode = firstChild(node, 'signal');
     const cleanupNode = firstChild(node, 'cleanup');
     const hasSignal = !!signalNode;

package/dist/codegen/functions.js.map

@@ -1 +1 @@
-{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../src/codegen/functions.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE3C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACvH,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD,MAAM,CAAC,GAAG,QAAQ,CAAC;AACnB,MAAM,IAAI,GAAG,WAAW,CAAC;AACzB,MAAM,UAAU,GAAG,aAAa,CAAC;AAEjC,4EAA4E;AAE5E,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,KAAK,GAAG,OAAO,CAAO,IAAI,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC;IAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;IAClE,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,KAAK,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC;IAC3E,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,gFAAgF;IAChF,4EAA4E;IAC5E,gFAAgF;IAChF,mEAAmE;IACnE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpF,MAAM,KAAK,GAAa,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAElD,yEAAyE;IACzE,4EAA4E;IAC5E,0EAA0E;IAC1E,oDAAoD;IACpD,4EAA4E;IAC5E,sEAAsE;IACtE,yEAAyE;IACzE,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAChD,KAAK,MAAM,EAAE,IAAI,gBAAgB,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,OAAO,CAAa,EAAE,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,+EAA+E;QAC/E,iFAAiF;QACjF,MAAM,SAAS,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACnF,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,YAAY,IAAI,GAAG,SAAS,IAAI,OAAO,IAAI,IAAI,GAAG,CAAC,CAAC;IACvE,CAAC;IAED,yEAAyE;IACzE,oEAAoE;IACpE,8EAA8E;IAC9E,6EAA6E;IAC7E,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEtC,yCAAyC;IACzC,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QAC/D,mFAAmF;QACnF,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC,CAAC,CAAC,oBAAoB,SAAS,GAAG,CAAC;QAChH,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,mBAAmB,IAAI,GAAG,QAAQ,IAAI,SAAS,IAAI,SAAS,IAAI,CAAC,CAAC;QACnF,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,4CAA4C;IAC5C,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC;IAC7D,MAAM,SAAS,GACb,WAAW,IAAI,OAAO;QACpB,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,EAAE,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YACxD,yEAAyE;YACzE,OAAO,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,GAAG,EAAE,GAAG,CAAC;QAC9G,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,OAAO;YACP,CAAC,CAAC,KAAK,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE;YACrD,CAAC,CAAC,EAAE,CAAC;IACX,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAE/B,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,CAAC;IAC/B,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC;IAEjC,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,OAAO,WAAW,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,GAAG,QAAQ,IAAI,SAAS,IAAI,SAAS,IAAI,CAAC,CAAC;IAEzG,iCAAiC;IACjC,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,UAAW,CAAC,CAAC,IAAc,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACtF,KAAK,CAAC,IAAI,CAAC,WAAW,UAAU,2BAA2B,CAAC,CAAC;IAC/D,CAAC;IAED,0EAA0E;IAC1E,oEAAoE;IACpE,mEAAmE;IACnE,yEAAyE;IACzE,+DAA+D;IAC/D,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAE5D,6CAA6C;IAC7C,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;aAAM,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,OAAO,QAAQ,EAAE,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,MAAM,WAAW,GAAI,CAAC,CAAC,WAAY,CAAC,CAAC,IAAe,IAAI,EAAE,CAAC;QAC3D,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;SAAM,IAAI,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;SAAM,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,GAAoC;IACtD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IACtD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,QAAQ,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IAChF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,OAAO,CAAU,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,MAAM,KAAK,GAAa,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAElD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,SAAS,IAAI,YAAY,GAAG,IAAI,CAAC,CAAC;IAEnD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAE/B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,kEAAkE;QAClE,MAAM,eAAe,GAAG,OAAO,CAAU,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;QACvE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,OAAO,CAAU,KAAK,CAAC,CAAC;YACnC,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,KAAK,MAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;YACxC,yDAAyD;YACzD,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YACtD,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;YAC5D,IAAI,SAAS,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,GAAG,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC;YAC9C,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,uBAAuB,KAAK,GAAG,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,IAAI,IAAI,EAAE,CAAC;YACT,kEAAkE;YAClE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,EAAE,CAAC;YACnB,gEAAgE;YAChE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;gBACtC,MAAM,EAAE,GAAG,OAAO,CAAU,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;gBAC1C,OAAO,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACjF,CAAC,CAAC,CAAC;YACH,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC5B,MAAM,EAAE,GAAG,OAAO,CAAU,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC;gBAC/C,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,uBAAuB,EAAE,OAAO,EAAE,kBAAkB,EAAE,GAAG,CAAC,CAAC;YACvF,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,eAAe,OAAO,MAAM,CAAC,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QAC3C,CAAC;aAAM,IAAI,eAAe,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QAC3C,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../src/codegen/functions.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE3C,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACvH,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD;;;;;;;;6EAQ6E;AAC7E,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC/C,IAAI,OAAO,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACjD,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,CAAC,GAAG,QAAQ,CAAC;AACnB,MAAM,IAAI,GAAG,WAAW,CAAC;AACzB,MAAM,UAAU,GAAG,aAAa,CAAC;AAEjC,4EAA4E;AAE5E,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,KAAK,GAAG,OAAO,CAAO,IAAI,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC;IAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;IAClE,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,KAAK,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC;IAC3E,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,gFAAgF;IAChF,4EAA4E;IAC5E,gFAAgF;IAChF,mEAAmE;IACnE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpF,MAAM,KAAK,GAAa,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAElD,yEAAyE;IACzE,4EAA4E;IAC5E,0EAA0E;IAC1E,oDAAoD;IACpD,4EAA4E;IAC5E,sEAAsE;IACtE,yEAAyE;IACzE,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAChD,KAAK,MAAM,EAAE,IAAI,gBAAgB,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,OAAO,CAAa,EAAE,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,+EAA+E;QAC/E,iFAAiF;QACjF,MAAM,SAAS,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACnF,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,YAAY,IAAI,GAAG,SAAS,IAAI,OAAO,IAAI,IAAI,GAAG,CAAC,CAAC;IACvE,CAAC;IAED,yEAAyE;IACzE,oEAAoE;IACpE,8EAA8E;IAC9E,6EAA6E;IAC7E,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEtC,yCAAyC;IACzC,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QAC/D,mFAAmF;QACnF,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC,CAAC,CAAC,oBAAoB,SAAS,GAAG,CAAC;QAChH,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,mBAAmB,IAAI,GAAG,QAAQ,IAAI,SAAS,IAAI,SAAS,IAAI,CAAC,CAAC;QACnF,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,4CAA4C;IAC5C,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC;IAC7D,MAAM,SAAS,GACb,WAAW,IAAI,OAAO;QACpB,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,EAAE,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YACxD,yEAAyE;YACzE,OAAO,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,GAAG,EAAE,GAAG,CAAC;QAC9G,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,OAAO;YACP,CAAC,CAAC,KAAK,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE;YACrD,CAAC,CAAC,EAAE,CAAC;IACX,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAE9B,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,CAAC;IAC/B,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC;IAEjC,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,OAAO,WAAW,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,GAAG,QAAQ,IAAI,SAAS,IAAI,SAAS,IAAI,CAAC,CAAC;IAEzG,iCAAiC;IACjC,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,UAAW,CAAC,CAAC,IAAc,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACtF,KAAK,CAAC,IAAI,CAAC,WAAW,UAAU,2BAA2B,CAAC,CAAC;IAC/D,CAAC;IAED,0EAA0E;IAC1E,oEAAoE;IACpE,mEAAmE;IACnE,yEAAyE;IACzE,+DAA+D;IAC/D,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAE5D,6CAA6C;IAC7C,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;aAAM,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,OAAO,QAAQ,EAAE,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,MAAM,WAAW,GAAI,CAAC,CAAC,WAAY,CAAC,CAAC,IAAe,IAAI,EAAE,CAAC;QAC3D,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;SAAM,IAAI,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;SAAM,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,GAAoC;IACtD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IACtD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,QAAQ,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IAChF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,OAAO,CAAU,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,MAAM,KAAK,GAAa,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAElD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,SAAS,IAAI,YAAY,GAAG,IAAI,CAAC,CAAC;IAEnD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAE/B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,kEAAkE;QAClE,MAAM,eAAe,GAAG,OAAO,CAAU,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;QACvE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,OAAO,CAAU,KAAK,CAAC,CAAC;YACnC,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,KAAK,MAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;YACxC,yDAAyD;YACzD,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YACtD,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;YAC5D,IAAI,SAAS,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,GAAG,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC;YAC9C,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,uBAAuB,KAAK,GAAG,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,IAAI,IAAI,EAAE,CAAC;YACT,kEAAkE;YAClE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,EAAE,CAAC;YACnB,gEAAgE;YAChE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;gBACtC,MAAM,EAAE,GAAG,OAAO,CAAU,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;gBAC1C,OAAO,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACjF,CAAC,CAAC,CAAC;YACH,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC5B,MAAM,EAAE,GAAG,OAAO,CAAU,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC;gBAC/C,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,uBAAuB,EAAE,OAAO,EAAE,kBAAkB,EAAE,GAAG,CAAC,CAAC;YACvF,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,eAAe,OAAO,MAAM,CAAC,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QAC3C,CAAC;aAAM,IAAI,eAAe,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QAC3C,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/codegen/kern-stdlib.d.ts

@@ -0,0 +1,63 @@
+/** KERN-stdlib lowering table — slices 2a + 2b.
+ *
+ *  Per the brainstorm-locked design, KERN handler bodies use module-prefixed
+ *  function calls (`Text.upper(s)`) instead of method dispatch (`s.upper()`).
+ *  This table maps each KERN-stdlib operation to its per-target template so
+ *  the SAME KERN source emits idiomatic TS and idiomatic Python.
+ *
+ *  Template shape: each entry's `ts` and `py` fields are template strings
+ *  with `$0`, `$1`, … placeholders that reference call args by zero-based
+ *  position. The template is a string (not a structured shape) because the
+ *  cross-target divergence is irregular enough that any structured shape
+ *  ends up being "string with knobs". Concrete divergence cases:
+ *    - `Text.includes(s, sub)` → TS `s.includes(sub)` vs Python `sub in s`
+ *      (operator, not method)
+ *    - `List.isEmpty(xs)` → TS `xs.length === 0` vs Python `len(xs) == 0`
+ *      (compound binop expressions, not method/prop)
+ *    - `List.join(xs, sep)` → TS `xs.join(sep)` vs Python `sep.join(xs)`
+ *      (receiver inverted)
+ *    - `List.last(xs)` → TS `xs[xs.length - 1]` vs Python `xs[-1]`
+ *      (different subscript expressions)
+ *    - `Number.floor(n)` → TS `Math.floor(n)` vs Python `math.floor(n)`
+ *      (different module qualification)
+ *  Templates handle all of these uniformly.
+ *
+ *  Slices in this table:
+ *    - 2a: Text upper/lower/length/trim
+ *    - 2b: Text+ (includes, startsWith, endsWith, split, replace);
+ *      List (length, isEmpty, includes, first, last, indexOf, join);
+ *      Map (has, get, size); Number (round, floor, ceil, abs).
+ *  Future slices may extend further (List.map / List.filter need closures,
+ *  so they're deferred until closure support — currently never).
+ *
+ *  Diagnostic: when codegen sees `<KnownModule>.<unknownMethod>(...)`, it
+ *  throws with a Levenshtein did-you-mean. Calls into modules NOT in this
+ *  table fall through to the default emit path (passthrough). */
+export interface StdlibEntry {
+    arity: number;
+    ts: string;
+    py: string;
+    /** Slice 3b — per-target imports required when this lowering is used.
+     *  The body emitter collects these into a per-handler import set so the
+     *  generator can emit `import math` (etc.) at the top of the function
+     *  body. Keys are target names ('ts' / 'py'); values are the import
+     *  identifier (`'math'` ⇒ `import math`). Undefined when none required. */
+    requires?: {
+        ts?: string;
+        py?: string;
+    };
+}
+export declare const KERN_STDLIB: Record<string, Record<string, StdlibEntry>>;
+export declare const KERN_STDLIB_MODULES: Set<string>;
+/** Look up a stdlib lowering by module + method name.
+ *  Returns null if the module is unknown OR the method is unknown on a known
+ *  module — callers should distinguish via `KERN_STDLIB_MODULES.has(module)`
+ *  to surface the right diagnostic. */
+export declare function lookupStdlib(module: string, method: string): StdlibEntry | null;
+/** Suggest the closest method name on a known module via simple Levenshtein
+ *  membership. Used in error messages. Returns null if no close match exists. */
+export declare function suggestStdlibMethod(module: string, method: string): string | null;
+/** Substitute `$0`, `$1`, … placeholders in a template with the corresponding
+ *  args. Throws on out-of-range index — that's a programming error in the
+ *  KERN_STDLIB table, not user input. */
+export declare function applyTemplate(template: string, args: string[]): string;

package/dist/codegen/kern-stdlib.js

@@ -0,0 +1,160 @@
+/** KERN-stdlib lowering table — slices 2a + 2b.
+ *
+ *  Per the brainstorm-locked design, KERN handler bodies use module-prefixed
+ *  function calls (`Text.upper(s)`) instead of method dispatch (`s.upper()`).
+ *  This table maps each KERN-stdlib operation to its per-target template so
+ *  the SAME KERN source emits idiomatic TS and idiomatic Python.
+ *
+ *  Template shape: each entry's `ts` and `py` fields are template strings
+ *  with `$0`, `$1`, … placeholders that reference call args by zero-based
+ *  position. The template is a string (not a structured shape) because the
+ *  cross-target divergence is irregular enough that any structured shape
+ *  ends up being "string with knobs". Concrete divergence cases:
+ *    - `Text.includes(s, sub)` → TS `s.includes(sub)` vs Python `sub in s`
+ *      (operator, not method)
+ *    - `List.isEmpty(xs)` → TS `xs.length === 0` vs Python `len(xs) == 0`
+ *      (compound binop expressions, not method/prop)
+ *    - `List.join(xs, sep)` → TS `xs.join(sep)` vs Python `sep.join(xs)`
+ *      (receiver inverted)
+ *    - `List.last(xs)` → TS `xs[xs.length - 1]` vs Python `xs[-1]`
+ *      (different subscript expressions)
+ *    - `Number.floor(n)` → TS `Math.floor(n)` vs Python `math.floor(n)`
+ *      (different module qualification)
+ *  Templates handle all of these uniformly.
+ *
+ *  Slices in this table:
+ *    - 2a: Text upper/lower/length/trim
+ *    - 2b: Text+ (includes, startsWith, endsWith, split, replace);
+ *      List (length, isEmpty, includes, first, last, indexOf, join);
+ *      Map (has, get, size); Number (round, floor, ceil, abs).
+ *  Future slices may extend further (List.map / List.filter need closures,
+ *  so they're deferred until closure support — currently never).
+ *
+ *  Diagnostic: when codegen sees `<KnownModule>.<unknownMethod>(...)`, it
+ *  throws with a Levenshtein did-you-mean. Calls into modules NOT in this
+ *  table fall through to the default emit path (passthrough). */
+export const KERN_STDLIB = {
+    Text: {
+        upper: { arity: 1, ts: '$0.toUpperCase()', py: '$0.upper()' },
+        lower: { arity: 1, ts: '$0.toLowerCase()', py: '$0.lower()' },
+        length: { arity: 1, ts: '$0.length', py: 'len($0)' },
+        trim: { arity: 1, ts: '$0.trim()', py: '$0.strip()' },
+        includes: { arity: 2, ts: '$0.includes($1)', py: '$1 in $0' },
+        startsWith: { arity: 2, ts: '$0.startsWith($1)', py: '$0.startswith($1)' },
+        endsWith: { arity: 2, ts: '$0.endsWith($1)', py: '$0.endswith($1)' },
+        split: { arity: 2, ts: '$0.split($1)', py: '$0.split($1)' },
+        // Slice-2 review fix: replace-all is the canonical KERN semantics. JS
+        // `replace` only swaps the first match; KERN normalizes to TS
+        // `replaceAll` (ES2021+) and Python `replace` (default replace-all).
+        replace: { arity: 3, ts: '$0.replaceAll($1, $2)', py: '$0.replace($1, $2)' },
+    },
+    List: {
+        length: { arity: 1, ts: '$0.length', py: 'len($0)' },
+        isEmpty: { arity: 1, ts: '$0.length === 0', py: 'len($0) == 0' },
+        includes: { arity: 2, ts: '$0.includes($1)', py: '$1 in $0' },
+        first: { arity: 1, ts: '$0[0]', py: '$0[0]' },
+        // Slice-2 review fix: `$0[$0.length - 1]` evaluated `$0` twice; if `$0`
+        // is a function call, that's a double-evaluation bug. `.at(-1)` is
+        // ES2022+ and matches Python's `[-1]` semantics (single eval, supports
+        // negative index).
+        last: { arity: 1, ts: '$0.at(-1)', py: '$0[-1]' },
+        // Slice-2 review fix: Python `list.index` raises ValueError when the
+        // item isn't found; TS `indexOf` returns -1. Match TS by guarding with
+        // a containment check.
+        indexOf: { arity: 2, ts: '$0.indexOf($1)', py: '($0.index($1) if $1 in $0 else -1)' },
+        // Slice-2 review fix: Python `str.join` requires string elements. Wrap
+        // with `map(str, …)` so non-string KERN values stringify like JS does.
+        join: { arity: 2, ts: '$0.join($1)', py: '$1.join(map(str, $0))' },
+    },
+    Map: {
+        has: { arity: 2, ts: '$0.has($1)', py: '$1 in $0' },
+        // Slice-2 review fix: TS `Map.get(k)` returns `undefined` for missing
+        // keys. Python `dict[k]` raises KeyError. Use `.get($1)` (Python dicts'
+        // safe-access, returns None) for parity.
+        get: { arity: 2, ts: '$0.get($1)', py: '$0.get($1)' },
+        size: { arity: 1, ts: '$0.size', py: 'len($0)' },
+    },
+    Number: {
+        // Slice 3c — JS `Math.round` rounds half toward +∞ (so Math.round(-1.5) === -1
+        // and Math.round(2.5) === 3). Python's built-in `round` is banker's rounding
+        // (half-to-even), which diverges on `.5` values. To preserve the JS-flavored
+        // KERN AST semantics on the Python target, lower to `math.floor($0 + 0.5)`
+        // — a one-line identity that matches JS `Math.round` parity for both
+        // positive and negative half-cases. Single-eval because `$0` is substituted
+        // once.
+        // Slice 3 review fix (Gemini): use `__k_math` alias to avoid shadowing
+        // when the user has a body-local binding or param named `math`. The
+        // FastAPI generator emits `import math as __k_math` for any handler
+        // that references these.
+        round: { arity: 1, ts: 'Math.round($0)', py: '__k_math.floor($0 + 0.5)', requires: { py: 'math' } },
+        floor: { arity: 1, ts: 'Math.floor($0)', py: '__k_math.floor($0)', requires: { py: 'math' } },
+        ceil: { arity: 1, ts: 'Math.ceil($0)', py: '__k_math.ceil($0)', requires: { py: 'math' } },
+        abs: { arity: 1, ts: 'Math.abs($0)', py: 'abs($0)' },
+    },
+};
+export const KERN_STDLIB_MODULES = new Set(Object.keys(KERN_STDLIB));
+/** Look up a stdlib lowering by module + method name.
+ *  Returns null if the module is unknown OR the method is unknown on a known
+ *  module — callers should distinguish via `KERN_STDLIB_MODULES.has(module)`
+ *  to surface the right diagnostic. */
+export function lookupStdlib(module, method) {
+    const moduleEntries = KERN_STDLIB[module];
+    if (!moduleEntries)
+        return null;
+    return moduleEntries[method] ?? null;
+}
+/** Suggest the closest method name on a known module via simple Levenshtein
+ *  membership. Used in error messages. Returns null if no close match exists. */
+export function suggestStdlibMethod(module, method) {
+    const moduleEntries = KERN_STDLIB[module];
+    if (!moduleEntries)
+        return null;
+    const candidates = Object.keys(moduleEntries);
+    let best = null;
+    let bestDist = Infinity;
+    for (const c of candidates) {
+        const d = levenshtein(method, c);
+        if (d < bestDist) {
+            bestDist = d;
+            best = c;
+        }
+    }
+    return bestDist <= 2 ? best : null;
+}
+/** Substitute `$0`, `$1`, … placeholders in a template with the corresponding
+ *  args. Throws on out-of-range index — that's a programming error in the
+ *  KERN_STDLIB table, not user input. */
+export function applyTemplate(template, args) {
+    return template.replace(/\$(\d+)/g, (_match, idxStr) => {
+        const idx = Number.parseInt(idxStr, 10);
+        if (idx < 0 || idx >= args.length) {
+            throw new Error(`KERN-stdlib template references arg index $${idx} but only ${args.length} args provided. Template: ${template}`);
+        }
+        return args[idx];
+    });
+}
+function levenshtein(a, b) {
+    if (a === b)
+        return 0;
+    const m = a.length;
+    const n = b.length;
+    if (m === 0)
+        return n;
+    if (n === 0)
+        return m;
+    const dp = new Array(n + 1);
+    for (let j = 0; j <= n; j++)
+        dp[j] = j;
+    for (let i = 1; i <= m; i++) {
+        let prev = dp[0];
+        dp[0] = i;
+        for (let j = 1; j <= n; j++) {
+            const cur = dp[j];
+            const cost = a[i - 1] === b[j - 1] ? 0 : 1;
+            dp[j] = Math.min(dp[j] + 1, dp[j - 1] + 1, prev + cost);
+            prev = cur;
+        }
+    }
+    return dp[n];
+}
+//# sourceMappingURL=kern-stdlib.js.map

package/dist/codegen/kern-stdlib.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kern-stdlib.js","sourceRoot":"","sources":["../../src/codegen/kern-stdlib.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iEAkCiE;AAcjE,MAAM,CAAC,MAAM,WAAW,GAAgD;IACtE,IAAI,EAAE;QACJ,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE,YAAY,EAAE;QAC7D,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE,YAAY,EAAE;QAC7D,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE;QACpD,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE;QACrD,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,UAAU,EAAE;QAC7D,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,mBAAmB,EAAE,EAAE,EAAE,mBAAmB,EAAE;QAC1E,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,iBAAiB,EAAE;QACpE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,cAAc,EAAE;QAC3D,sEAAsE;QACtE,8DAA8D;QAC9D,qEAAqE;QACrE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,uBAAuB,EAAE,EAAE,EAAE,oBAAoB,EAAE;KAC7E;IACD,IAAI,EAAE;QACJ,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE;QACpD,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,cAAc,EAAE;QAChE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,UAAU,EAAE;QAC7D,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE;QAC7C,wEAAwE;QACxE,mEAAmE;QACnE,uEAAuE;QACvE,mBAAmB;QACnB,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE;QACjD,qEAAqE;QACrE,uEAAuE;QACvE,uBAAuB;QACvB,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,oCAAoC,EAAE;QACrF,uEAAuE;QACvE,uEAAuE;QACvE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,uBAAuB,EAAE;KACnE;IACD,GAAG,EAAE;QACH,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE;QACnD,sEAAsE;QACtE,wEAAwE;QACxE,yCAAyC;QACzC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,YAAY,EAAE;QACrD,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE;KACjD;IACD,MAAM,EAAE;QACN,+EAA+E;QAC/E,6EAA6E;QAC7E,6EAA6E;QAC7E,2EAA2E;QAC3E,qEAAqE;QACrE,4EAA4E;QAC5E,QAAQ;QACR,uEAAuE;QACvE,oEAAoE;QACpE,oEAAoE;QACpE,yBAAyB;QACzB,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,0BAA0B,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE;QACnG,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,oBAAoB,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE;QAC7F,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,mBAAmB,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE;QAC1F,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,SAAS,EAAE;KACrD;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;AAErE;;;uCAGuC;AACvC,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,MAAc;IACzD,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,aAAa,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;AACvC,CAAC;AAED;iFACiF;AACjF,MAAM,UAAU,mBAAmB,CAAC,MAAc,EAAE,MAAc;IAChE,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC9C,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,IAAI,QAAQ,GAAG,QAAQ,CAAC;IACxB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC;YACjB,QAAQ,GAAG,CAAC,CAAC;YACb,IAAI,GAAG,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACrC,CAAC;AAED;;yCAEyC;AACzC,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,IAAc;IAC5D,OAAO,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACrD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,8CAA8C,GAAG,aAAa,IAAI,CAAC,MAAM,6BAA6B,QAAQ,EAAE,CACjH,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,CAAS,EAAE,CAAS;IACvC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACnB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACnB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,MAAM,EAAE,GAAa,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACjB,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAClB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC;YACxD,IAAI,GAAG,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;AACf,CAAC"}

package/dist/codegen/stdlib-preamble.d.ts

@@ -33,7 +33,26 @@ export interface KernStdlibUsage {
     result: boolean;
     /** Module references `Option<…>` somewhere in a type annotation. */
     option: boolean;
+    /** Module uses `KernUnwrapError` — auto-emitted by the slice 7 `!`
+     *  rewriter when a user wrote `expr!`. Optional for back-compat with
+     *  callers who only construct the result/option flags. */
+    unwrap?: boolean;
 }
 export declare function detectKernStdlibUsage(root: IRNode): KernStdlibUsage;
 export declare function kernStdlibPreamble(usage: KernStdlibUsage): string[];
+/** Slice 4 follow-up — inject the preamble INSIDE a Vue/Nuxt SFC's first
+ *  `<script[ setup]? lang="ts">` block instead of before the SFC. The plain
+ *  `injectKernStdlibPreamble` would prepend `type Result<…>` text ahead of
+ *  the SFC, breaking the file's parse.
+ *
+ *  Only matches a TS-language script block. JavaScript script blocks
+ *  (`lang="js"` or no `lang`) are left alone — the preamble emits TS
+ *  syntax (generics, type aliases) which JS can't host.
+ *
+ *  When no matching script tag exists (template-only SFC, JS-only SFC),
+ *  the preamble is dropped entirely — silently injecting it elsewhere
+ *  would corrupt the file. The handler bodies in such SFCs cannot use
+ *  `Result<…>` / `Option<…>` types anyway, so the dropped preamble is
+ *  not load-bearing. */
+export declare function injectKernStdlibPreambleIntoSFC(code: string, preamble: string[]): string;
 export declare function injectKernStdlibPreamble(code: string, preamble: string[]): string;