@kernlang/python 3.5.2

package/dist/generators/ground.js

@@ -0,0 +1,333 @@
+/**
+ * Ground Layer generators — Python generation for KERN's ground-truth nodes:
+ * derive, transform, action, guard, assume, invariant, each, collect, branch, resolve, expect, recover
+ */
+import { handlerCode } from '@kernlang/core';
+import { buildPythonParamList, emitPyLowConfidenceTodo, emitPyReasonAnnotations, firstChild, kids, p, } from '../codegen-helpers.js';
+import { mapTsTypeToPython, toSnakeCase } from '../type-map.js';
+/**
+ * Common preamble extracted from all ground layer generators.
+ * Returns { annotations, todo, props, name } ready for use.
+ */
+function groundPreamble(node) {
+    const annotations = emitPyReasonAnnotations(node);
+    const conf = p(node).confidence;
+    const todo = emitPyLowConfidenceTodo(node, conf);
+    const props = p(node);
+    const name = toSnakeCase(props.name);
+    return { annotations, todo, props, name };
+}
+// ── derive ──────────────────────────────────────────────────────────────
+export function generateDerive(node) {
+    const { annotations, todo, props, name } = groundPreamble(node);
+    const expr = props.expr;
+    const constType = props.type;
+    const typeAnnotation = constType ? `: ${mapTsTypeToPython(constType)}` : '';
+    return [...todo, ...annotations, `${name}${typeAnnotation} = ${expr}`];
+}
+// ── transform ───────────────────────────────────────────────────────────
+export function generateTransform(node) {
+    const { annotations, todo, props, name } = groundPreamble(node);
+    const target = props.target;
+    const via = props.via;
+    const constType = props.type;
+    const code = handlerCode(node);
+    const typeAnnotation = constType ? `: ${mapTsTypeToPython(constType)}` : '';
+    if (code) {
+        const lines = [...todo, ...annotations];
+        lines.push(`def ${name}(state)${typeAnnotation}:`);
+        for (const line of code.split('\n')) {
+            lines.push(`    ${line}`);
+        }
+        return lines;
+    }
+    if (target && via) {
+        return [
+            ...todo,
+            ...annotations,
+            `${name}${typeAnnotation} = ${via.replace(/\(/, `(${target}, `).replace(/, \)/, ')')}`,
+        ];
+    }
+    if (via) {
+        return [...todo, ...annotations, `${name}${typeAnnotation} = ${via}`];
+    }
+    return [...todo, ...annotations, `${name}${typeAnnotation} = None`];
+}
+// ── action ──────────────────────────────────────────────────────────────
+export function generateAction(node) {
+    const { annotations, todo, props, name } = groundPreamble(node);
+    const idempotent = props.idempotent === 'true' || props.idempotent === true;
+    const reversible = props.reversible === 'true' || props.reversible === true;
+    const returns = props.returns;
+    const code = handlerCode(node);
+    // Slice 3c P2 follow-up: target-neutral helper reads structured `param`
+    // children when present, falls back to legacy `params="..."` otherwise.
+    const paramList = buildPythonParamList(node);
+    const retClause = returns ? ` -> ${mapTsTypeToPython(returns)}` : ' -> None';
+    const lines = [...todo, ...annotations];
+    lines.push(`async def ${name}(${paramList})${retClause}:`);
+    // Docstring with metadata
+    const metaParts = [];
+    if (idempotent)
+        metaParts.push('idempotent=True');
+    if (reversible)
+        metaParts.push('reversible=True');
+    if (metaParts.length > 0) {
+        lines.push(`    """@action ${metaParts.join(' ')}"""`);
+    }
+    if (code) {
+        for (const line of code.split('\n')) {
+            lines.push(`    ${line}`);
+        }
+    }
+    else {
+        lines.push('    pass');
+    }
+    return lines;
+}
+// ── guard ───────────────────────────────────────────────────────────────
+export function generateGuard(node) {
+    const annotations = emitPyReasonAnnotations(node);
+    const conf = p(node).confidence;
+    const todo = emitPyLowConfidenceTodo(node, conf);
+    const props = p(node);
+    const name = props.name || 'guard';
+    const expr = props.expr;
+    const elseCode = props.else;
+    if (elseCode && /^\d+$/.test(elseCode)) {
+        return [
+            ...todo,
+            ...annotations,
+            `if not (${expr}):\n    raise HTTPException(status_code=${elseCode}, detail="Guard: ${name}")`,
+        ];
+    }
+    else if (elseCode) {
+        return [...todo, ...annotations, `if not (${expr}):\n    ${elseCode}`];
+    }
+    return [...todo, ...annotations, `if not (${expr}):\n    raise ValueError("Guard failed: ${name}")`];
+}
+// ── assume ──────────────────────────────────────────────────────────────
+export function generateAssume(node) {
+    const annotations = emitPyReasonAnnotations(node);
+    const conf = p(node).confidence;
+    const todo = emitPyLowConfidenceTodo(node, conf);
+    const props = p(node);
+    const expr = props.expr;
+    const name = props.name || 'assumption';
+    return [...todo, ...annotations, `assert ${expr}, "Assume failed: ${name}"`];
+}
+// ── invariant ───────────────────────────────────────────────────────────
+export function generateInvariant(node) {
+    const annotations = emitPyReasonAnnotations(node);
+    const conf = p(node).confidence;
+    const todo = emitPyLowConfidenceTodo(node, conf);
+    const props = p(node);
+    const name = props.name || 'invariant';
+    const expr = props.expr;
+    return [...todo, ...annotations, `assert ${expr}, "Invariant: ${name}"`];
+}
+let _dispatcher = () => [];
+/** Set the dispatcher function to break the circular dependency. */
+export function setDispatcher(fn) {
+    _dispatcher = fn;
+}
+export function generateEach(node) {
+    const annotations = emitPyReasonAnnotations(node);
+    const conf = p(node).confidence;
+    const todo = emitPyLowConfidenceTodo(node, conf);
+    const props = p(node);
+    const name = props.name || 'item';
+    const collection = props.in;
+    const index = props.index;
+    const isAwait = props.await === true || props.await === 'true';
+    const lines = [...todo, ...annotations];
+    if (index) {
+        if (isAwait) {
+            throw new Error('each await=true cannot be combined with index=');
+        }
+        lines.push(`for ${index}, ${name} in enumerate(${collection}):`);
+    }
+    else {
+        lines.push(`${isAwait ? 'async ' : ''}for ${name} in ${collection}:`);
+    }
+    const children = kids(node);
+    if (children.length === 0) {
+        lines.push('    pass');
+    }
+    else {
+        for (const child of children) {
+            const childLines = _dispatcher(child);
+            for (const line of childLines) {
+                lines.push(`    ${line}`);
+            }
+        }
+    }
+    return lines;
+}
+// ── collect ─────────────────────────────────────────────────────────────
+export function generateCollect(node) {
+    const { annotations, todo, props, name } = groundPreamble(node);
+    const from = props.from;
+    const where = props.where;
+    const limit = props.limit;
+    if (where && limit) {
+        return [...todo, ...annotations, `${name} = [item for item in ${from} if ${where}][:${limit}]`];
+    }
+    if (where) {
+        return [...todo, ...annotations, `${name} = [item for item in ${from} if ${where}]`];
+    }
+    if (limit) {
+        return [...todo, ...annotations, `${name} = ${from}[:${limit}]`];
+    }
+    return [...todo, ...annotations, `${name} = list(${from})`];
+}
+// ── branch / path ───────────────────────────────────────────────────────
+export function generateBranch(node) {
+    const annotations = emitPyReasonAnnotations(node);
+    const conf = p(node).confidence;
+    const todo = emitPyLowConfidenceTodo(node, conf);
+    const props = p(node);
+    const name = props.name || 'branch';
+    const on = props.on;
+    const paths = kids(node, 'path');
+    const lines = [...todo, ...annotations];
+    lines.push(`# branch: ${name}`);
+    lines.push(`match ${on}:`);
+    for (const pathNode of paths) {
+        const pp = p(pathNode);
+        const value = pp.value;
+        lines.push(`    case "${value}":`);
+        const children = kids(pathNode);
+        if (children.length === 0) {
+            lines.push('        pass');
+        }
+        else {
+            for (const child of children) {
+                const childLines = _dispatcher(child);
+                for (const line of childLines) {
+                    lines.push(`        ${line}`);
+                }
+            }
+        }
+    }
+    return lines;
+}
+// ── resolve ─────────────────────────────────────────────────────────────
+export function generateResolve(node) {
+    const { annotations, todo, name } = groundPreamble(node);
+    const candidates = kids(node, 'candidate');
+    const discriminator = firstChild(node, 'discriminator');
+    if (!discriminator)
+        return [`# resolve: ${name} — missing discriminator`];
+    const dp = p(discriminator);
+    const method = dp.method || 'select';
+    const metric = dp.metric || '';
+    const lines = [...todo, ...annotations];
+    lines.push(`# resolve: ${name}`);
+    lines.push(`_${name}_candidates = [`);
+    for (const c of candidates) {
+        const cp = p(c);
+        const cname = cp.name;
+        const code = handlerCode(c);
+        lines.push(`    {"name": "${cname}", "fn": lambda signal: ${code.trim() || 'None'}},`);
+    }
+    lines.push(`]`);
+    lines.push('');
+    const discCode = handlerCode(discriminator);
+    lines.push(`async def resolve_${name}(signal):`);
+    lines.push(`    candidates = _${name}_candidates`);
+    lines.push(`    # discriminator: ${method}(${metric})`);
+    if (discCode) {
+        for (const line of discCode.split('\n')) {
+            lines.push(`    ${line}`);
+        }
+    }
+    lines.push(`    return candidates[winner_idx]["fn"](signal)`);
+    return lines;
+}
+// ── expect ──────────────────────────────────────────────────────────────
+export function generateExpect(node) {
+    const annotations = emitPyReasonAnnotations(node);
+    const conf = p(node).confidence;
+    const todo = emitPyLowConfidenceTodo(node, conf);
+    const props = p(node);
+    const name = toSnakeCase(props.name || 'expected');
+    const expr = props.expr;
+    const within = props.within;
+    const max = props.max;
+    const min = props.min;
+    if (within) {
+        const [lo, hi] = within.split('..');
+        return [
+            ...todo,
+            ...annotations,
+            `assert ${lo} <= (${expr}) <= ${hi}, f"Expected ${name} in [${lo}, ${hi}], got {${expr}}"`,
+        ];
+    }
+    if (min && max) {
+        return [
+            ...todo,
+            ...annotations,
+            `assert ${min} <= (${expr}) <= ${max}, f"Expected ${name} in [${min}, ${max}], got {${expr}}"`,
+        ];
+    }
+    if (max) {
+        return [...todo, ...annotations, `assert (${expr}) <= ${max}, f"Expected ${name} <= ${max}, got {${expr}}"`];
+    }
+    if (min) {
+        return [...todo, ...annotations, `assert (${expr}) >= ${min}, f"Expected ${name} >= ${min}, got {${expr}}"`];
+    }
+    return [...todo, ...annotations, `assert (${expr}) is not None, "Expected ${name} to be defined"`];
+}
+// ── recover ─────────────────────────────────────────────────────────────
+export function generateRecover(node) {
+    const { annotations, todo, name } = groundPreamble(node);
+    const strategies = kids(node, 'strategy');
+    const lines = [...todo, ...annotations];
+    lines.push(`# recover: ${name}`);
+    lines.push(`async def ${name}_with_recovery(fn):`);
+    for (const strategy of strategies) {
+        const sp = p(strategy);
+        const sname = sp.name;
+        const code = handlerCode(strategy);
+        if (sname === 'retry') {
+            const max = Number(sp.max) || 3;
+            const delay = Number(sp.delay) || 1000;
+            lines.push(`    # strategy: retry (max=${max}, delay=${delay}ms)`);
+            lines.push(`    import asyncio`);
+            lines.push(`    for _attempt in range(${max}):`);
+            lines.push(`        try:`);
+            lines.push(`            return await fn()`);
+            lines.push(`        except Exception:`);
+            lines.push(`            if _attempt < ${max - 1}:`);
+            lines.push(`                await asyncio.sleep(${delay / 1000})`);
+        }
+        else if (sname === 'fallback') {
+            lines.push(`    # strategy: fallback (terminal)`);
+            if (code) {
+                for (const line of code.split('\n')) {
+                    lines.push(`    ${line}`);
+                }
+            }
+            else {
+                lines.push(`    raise RuntimeError("All recovery strategies exhausted for ${name}")`);
+            }
+        }
+        else {
+            lines.push(`    # strategy: ${sname}`);
+            lines.push(`    try:`);
+            if (code) {
+                for (const line of code.split('\n')) {
+                    lines.push(`        ${line}`);
+                }
+            }
+            else {
+                lines.push(`        pass`);
+            }
+            lines.push(`    except Exception:`);
+            lines.push(`        pass`);
+        }
+    }
+    return lines;
+}
+//# sourceMappingURL=ground.js.map

package/dist/generators/ground.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ground.js","sourceRoot":"","sources":["../../src/generators/ground.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,EACvB,UAAU,EACV,IAAI,EACJ,CAAC,GACF,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAEhE;;;GAGG;AACH,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAgC,CAAC;IACtD,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAc,CAAC,CAAC;IAC/C,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC5C,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,SAAS,GAAG,KAAK,CAAC,IAA0B,CAAC;IACnD,MAAM,cAAc,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,IAAI,GAAG,cAAc,MAAM,IAAI,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,KAAK,CAAC,MAA4B,CAAC;IAClD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAyB,CAAC;IAC5C,MAAM,SAAS,GAAG,KAAK,CAAC,IAA0B,CAAC;IACnD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,cAAc,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAE5E,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,UAAU,cAAc,GAAG,CAAC,CAAC;QACnD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,MAAM,IAAI,GAAG,EAAE,CAAC;QAClB,OAAO;YACL,GAAG,IAAI;YACP,GAAG,WAAW;YACd,GAAG,IAAI,GAAG,cAAc,MAAM,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE;SACvF,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,IAAI,GAAG,cAAc,MAAM,GAAG,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,IAAI,GAAG,cAAc,SAAS,CAAC,CAAC;AACtE,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC;IAC5E,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC;IAC5E,MAAM,OAAO,GAAG,KAAK,CAAC,OAA6B,CAAC;IACpD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAE/B,wEAAwE;IACxE,wEAAwE;IACxE,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAE7C,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;IAC7E,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAElD,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,SAAS,IAAI,SAAS,GAAG,CAAC,CAAC;IAE3D,0BAA0B;IAC1B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,UAAU;QAAE,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,UAAU;QAAE,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,kBAAkB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IAED,IAAI,IAAI,EAAE,CAAC;QACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAgC,CAAC;IACtD,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAI,KAAK,CAAC,IAAe,IAAI,OAAO,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAA0B,CAAC;IAElD,IAAI,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO;YACL,GAAG,IAAI;YACP,GAAG,WAAW;YACd,WAAW,IAAI,2CAA2C,QAAQ,oBAAoB,IAAI,IAAI;SAC/F,CAAC;IACJ,CAAC;SAAM,IAAI,QAAQ,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,WAAW,IAAI,WAAW,QAAQ,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,WAAW,IAAI,2CAA2C,IAAI,IAAI,CAAC,CAAC;AACvG,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAgC,CAAC;IACtD,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,IAAI,GAAI,KAAK,CAAC,IAAe,IAAI,YAAY,CAAC;IACpD,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,UAAU,IAAI,qBAAqB,IAAI,GAAG,CAAC,CAAC;AAC/E,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAgC,CAAC;IACtD,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAI,KAAK,CAAC,IAAe,IAAI,WAAW,CAAC;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,UAAU,IAAI,iBAAiB,IAAI,GAAG,CAAC,CAAC;AAC3E,CAAC;AAQD,IAAI,WAAW,GAAuB,GAAG,EAAE,CAAC,EAAE,CAAC;AAE/C,oEAAoE;AACpE,MAAM,UAAU,aAAa,CAAC,EAAsB;IAClD,WAAW,GAAG,EAAE,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAgC,CAAC;IACtD,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAI,KAAK,CAAC,IAAe,IAAI,MAAM,CAAC;IAC9C,MAAM,UAAU,GAAG,KAAK,CAAC,EAAY,CAAC;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,KAA2B,CAAC;IAChD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC;IAE/D,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAClD,IAAI,KAAK,EAAE,CAAC;QACV,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACpE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,IAAI,iBAAiB,UAAU,IAAI,CAAC,CAAC;IACnE,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,OAAO,UAAU,GAAG,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YACtC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,KAAK,GAAG,KAAK,CAAC,KAA2B,CAAC;IAChD,MAAM,KAAK,GAAG,KAAK,CAAC,KAA2B,CAAC;IAEhD,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,IAAI,wBAAwB,IAAI,OAAO,KAAK,MAAM,KAAK,GAAG,CAAC,CAAC;IAClG,CAAC;IACD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,IAAI,wBAAwB,IAAI,OAAO,KAAK,GAAG,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,IAAI,MAAM,IAAI,KAAK,KAAK,GAAG,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,GAAG,IAAI,WAAW,IAAI,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAgC,CAAC;IACtD,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAI,KAAK,CAAC,IAAe,IAAI,QAAQ,CAAC;IAChD,MAAM,EAAE,GAAG,KAAK,CAAC,EAAY,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAEjC,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAE3B,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,EAAE,CAAC,KAAe,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gBAC7B,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBACtC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;oBAC9B,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAExD,IAAI,CAAC,aAAa;QAAE,OAAO,CAAC,cAAc,IAAI,0BAA0B,CAAC,CAAC;IAE1E,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IAC5B,MAAM,MAAM,GAAI,EAAE,CAAC,MAAiB,IAAI,QAAQ,CAAC;IACjD,MAAM,MAAM,GAAI,EAAE,CAAC,MAAiB,IAAI,EAAE,CAAC;IAE3C,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,iBAAiB,CAAC,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,EAAE,CAAC,IAAc,CAAC;QAChC,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,2BAA2B,IAAI,CAAC,IAAI,EAAE,IAAI,MAAM,IAAI,CAAC,CAAC;IACzF,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,MAAM,QAAQ,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,WAAW,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,aAAa,CAAC,CAAC;IACnD,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,IAAI,MAAM,GAAG,CAAC,CAAC;IACxD,IAAI,QAAQ,EAAE,CAAC;QACb,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAgC,CAAC;IACtD,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,WAAW,CAAE,KAAK,CAAC,IAAe,IAAI,UAAU,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,MAAM,GAAG,KAAK,CAAC,MAA4B,CAAC;IAClD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAyB,CAAC;IAC5C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAyB,CAAC;IAE5C,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpC,OAAO;YACL,GAAG,IAAI;YACP,GAAG,WAAW;YACd,UAAU,EAAE,QAAQ,IAAI,QAAQ,EAAE,gBAAgB,IAAI,QAAQ,EAAE,KAAK,EAAE,WAAW,IAAI,IAAI;SAC3F,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;QACf,OAAO;YACL,GAAG,IAAI;YACP,GAAG,WAAW;YACd,UAAU,GAAG,QAAQ,IAAI,QAAQ,GAAG,gBAAgB,IAAI,QAAQ,GAAG,KAAK,GAAG,WAAW,IAAI,IAAI;SAC/F,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,WAAW,IAAI,QAAQ,GAAG,gBAAgB,IAAI,OAAO,GAAG,UAAU,IAAI,IAAI,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,WAAW,IAAI,QAAQ,GAAG,gBAAgB,IAAI,OAAO,GAAG,UAAU,IAAI,IAAI,CAAC,CAAC;IAC/G,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,EAAE,WAAW,IAAI,4BAA4B,IAAI,iBAAiB,CAAC,CAAC;AACrG,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAE1C,MAAM,KAAK,GAAa,CAAC,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,qBAAqB,CAAC,CAAC;IAEnD,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,EAAE,CAAC,IAAc,CAAC;QAChC,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QAEnC,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,8BAA8B,GAAG,WAAW,KAAK,KAAK,CAAC,CAAC;YACnE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,6BAA6B,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,uCAAuC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC;QACrE,CAAC;aAAM,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;YAClD,IAAI,IAAI,EAAE,CAAC;gBACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,iEAAiE,IAAI,IAAI,CAAC,CAAC;YACxF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,mBAAmB,KAAK,EAAE,CAAC,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvB,IAAI,IAAI,EAAE,CAAC;gBACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpC,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAC7B,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/generators/infra.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Infrastructure generators — Python generation for KERN's infra nodes:
+ * job, storage, email
+ */
+import type { IRNode } from '@kernlang/core';
+export declare function generatePythonJob(node: IRNode): string[];
+export declare function generatePythonStorage(node: IRNode): string[];
+export declare function generatePythonEmail(node: IRNode): string[];

package/dist/generators/infra.js

@@ -0,0 +1,109 @@
+/**
+ * Infrastructure generators — Python generation for KERN's infra nodes:
+ * job, storage, email
+ */
+import { handlerCode } from '@kernlang/core';
+import { kids, p } from '../codegen-helpers.js';
+import { mapTsTypeToPython, toSnakeCase } from '../type-map.js';
+// ── Job (arq worker) ────────────────────────────────────────────────────
+export function generatePythonJob(node) {
+    const props = p(node);
+    const name = toSnakeCase(props.name || 'job');
+    const _queue = props.queue || name;
+    const code = handlerCode(node);
+    const lines = [];
+    lines.push(`# Run: arq main.WorkerSettings`);
+    lines.push(`from arq import create_pool, func`);
+    lines.push(`from arq.connections import RedisSettings`);
+    lines.push('');
+    lines.push(`async def ${name}(ctx${kids(node, 'field').length > 0
+        ? ', ' +
+            kids(node, 'field')
+                .map((f) => `${toSnakeCase(p(f).name)}: ${mapTsTypeToPython(p(f).type || 'Any')}`)
+                .join(', ')
+        : ''}):`);
+    if (code) {
+        for (const line of code.split('\n'))
+            lines.push(`    ${line}`);
+    }
+    else {
+        lines.push(`    pass`);
+    }
+    lines.push('');
+    lines.push('');
+    lines.push(`class WorkerSettings:`);
+    lines.push(`    functions = [func(${name}, name="${name}")]`);
+    lines.push(`    redis_settings = RedisSettings()`);
+    return lines;
+}
+// ── Storage (S3/local) ──────────────────────────────────────────────────
+export function generatePythonStorage(node) {
+    const props = p(node);
+    const provider = props.provider || 's3';
+    const bucket = props.bucket || 'my-app-uploads';
+    const lines = [];
+    if (provider === 's3') {
+        lines.push(`import aioboto3`);
+        lines.push(`import os`);
+        lines.push('');
+        lines.push(`BUCKET = os.environ.get("S3_BUCKET", "${bucket}")`);
+        lines.push(`REGION = os.environ.get("AWS_REGION", "us-east-1")`);
+        lines.push(`session = aioboto3.Session()`);
+        lines.push('');
+        lines.push(`async def upload_file(key: str, data: bytes, content_type: str) -> str:`);
+        lines.push(`    async with session.client("s3", region_name=REGION) as s3:`);
+        lines.push(`        await s3.put_object(Bucket=BUCKET, Key=key, Body=data, ContentType=content_type)`);
+        lines.push(`    return key`);
+        lines.push('');
+        lines.push(`async def get_signed_url(key: str, expires_in: int = 3600) -> str:`);
+        lines.push(`    async with session.client("s3", region_name=REGION) as s3:`);
+        lines.push(`        return await s3.generate_presigned_url("get_object", Params={"Bucket": BUCKET, "Key": key}, ExpiresIn=expires_in)`);
+    }
+    else {
+        lines.push(`from pathlib import Path`);
+        lines.push('');
+        lines.push(`STORAGE_DIR = Path("./uploads")`);
+        lines.push(`STORAGE_DIR.mkdir(parents=True, exist_ok=True)`);
+        lines.push('');
+        lines.push(`async def upload_file(key: str, data: bytes) -> str:`);
+        lines.push(`    (STORAGE_DIR / key).write_bytes(data)`);
+        lines.push(`    return key`);
+        lines.push('');
+        lines.push(`async def read_file(key: str) -> bytes:`);
+        lines.push(`    return (STORAGE_DIR / key).read_bytes()`);
+    }
+    return lines;
+}
+// ── Email (SendGrid/SMTP) ───────────────────────────────────────────────
+export function generatePythonEmail(node) {
+    const props = p(node);
+    const provider = props.provider || 'smtp';
+    const from = props.from || 'noreply@example.com';
+    const lines = [];
+    if (provider === 'sendgrid') {
+        lines.push(`import httpx`);
+        lines.push(`import os`);
+        lines.push('');
+        lines.push(`SENDGRID_API_KEY = os.environ.get("SENDGRID_API_KEY", "")`);
+        lines.push(`DEFAULT_FROM = "${from}"`);
+        lines.push('');
+        lines.push(`async def send_email(to: str, subject: str, html: str, sender: str = DEFAULT_FROM) -> None:`);
+        lines.push(`    async with httpx.AsyncClient() as client:`);
+        lines.push(`        await client.post("https://api.sendgrid.com/v3/mail/send", headers={"Authorization": f"Bearer {SENDGRID_API_KEY}"}, json={"personalizations": [{"to": [{"email": to}]}], "from": {"email": sender}, "subject": subject, "content": [{"type": "text/html", "value": html}]})`);
+    }
+    else {
+        lines.push(`import aiosmtplib`);
+        lines.push(`from email.message import EmailMessage`);
+        lines.push(`import os`);
+        lines.push('');
+        lines.push(`async def send_email(to: str, subject: str, html: str, sender: str = "${from}") -> None:`);
+        lines.push(`    msg = EmailMessage()`);
+        lines.push(`    msg["From"] = sender`);
+        lines.push(`    msg["To"] = to`);
+        lines.push(`    msg["Subject"] = subject`);
+        lines.push(`    msg.set_content(html, subtype="html")`);
+        lines.push(`    await aiosmtplib.send(msg, hostname=os.environ.get("SMTP_HOST", "localhost"), port=int(os.environ.get("SMTP_PORT", "587")))`);
+    }
+    return lines;
+}
+//# sourceMappingURL=infra.js.map

package/dist/generators/infra.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"infra.js","sourceRoot":"","sources":["../../src/generators/infra.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAEhE,2EAA2E;AAE3E,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,WAAW,CAAE,KAAK,CAAC,IAAe,IAAI,KAAK,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAI,KAAK,CAAC,KAAgB,IAAI,IAAI,CAAC;IAC/C,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CACR,aAAa,IAAI,OACf,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC;QAC5B,CAAC,CAAC,IAAI;YACJ,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;iBAChB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAc,CAAC,KAAK,iBAAiB,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAe,IAAI,KAAK,CAAC,EAAE,CAAC;iBACvG,IAAI,CAAC,IAAI,CAAC;QACf,CAAC,CAAC,EACN,IAAI,CACL,CAAC;IACF,IAAI,IAAI,EAAE,CAAC;QACT,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IACjE,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,yBAAyB,IAAI,WAAW,IAAI,KAAK,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACnD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,QAAQ,GAAI,KAAK,CAAC,QAAmB,IAAI,IAAI,CAAC;IACpD,MAAM,MAAM,GAAI,KAAK,CAAC,MAAiB,IAAI,gBAAgB,CAAC;IAC5D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,yCAAyC,MAAM,IAAI,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;QACtF,KAAK,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;QAC7E,KAAK,CAAC,IAAI,CAAC,0FAA0F,CAAC,CAAC;QACvG,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC;QACjF,KAAK,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;QAC7E,KAAK,CAAC,IAAI,CACR,2HAA2H,CAC5H,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,QAAQ,GAAI,KAAK,CAAC,QAAmB,IAAI,MAAM,CAAC;IACtD,MAAM,IAAI,GAAI,KAAK,CAAC,IAAe,IAAI,qBAAqB,CAAC;IAC7D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;QACxE,KAAK,CAAC,IAAI,CAAC,mBAAmB,IAAI,GAAG,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,6FAA6F,CAAC,CAAC;QAC1G,KAAK,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CACR,qRAAqR,CACtR,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,yEAAyE,IAAI,aAAa,CAAC,CAAC;QACvG,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CACR,iIAAiI,CAClI,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * @kernlang/python — FastAPI Python backend transpiler
+ */
+export { generatePythonCoreNode } from './codegen-python.js';
+export { transpileFastAPI } from './transpiler-fastapi.js';
+export { mapTsTypeToPython, toScreamingSnake, toSnakeCase } from './type-map.js';

package/dist/index.js

@@ -0,0 +1,7 @@
+/**
+ * @kernlang/python — FastAPI Python backend transpiler
+ */
+export { generatePythonCoreNode } from './codegen-python.js';
+export { transpileFastAPI } from './transpiler-fastapi.js';
+export { mapTsTypeToPython, toScreamingSnake, toSnakeCase } from './type-map.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC"}

package/dist/ir-semantics/python-leg.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Python emitter leg — Phase 1 PR-3b.
+ *
+ * Council-approved design (6-engine agon brainstorm, run 1778871685720):
+ *
+ *   - **(A) Fresh `python3 -u` subprocess per fixture.** Clean isolation;
+ *     ~50-100ms overhead × 19 fixtures = ~1-2s test cost; no shared state.
+ *     `-u` flag forces unbuffered stdio so short-lived fixtures cannot
+ *     drop trace events to a half-flushed buffer.
+ *   - **(ii) Dedicated FD 3 for trace transport.** stdout is reserved for
+ *     emitted-code `print()` calls; FD3 carries one JSON event per line.
+ *     This keeps user output from polluting the trace channel.
+ *   - **(B1) Codegen hook injected in production Python emitter** behind
+ *     `BodyEmitOptions.traceHooks.eachIterNext` (opt-in only; production
+ *     callers never set it). Symmetric with TS leg's hook contract.
+ *   - **(P1) Sentinel exception classes** `_KernReturn`/`_KernThrow`
+ *     defined in the prelude. Lowered `throw` body-stmts raise them;
+ *     a wrapping `async def __kern_run()` catches and resolves them
+ *     into [[CompletionRecord]]s. Symmetric with TS sentinel approach.
+ *
+ * Council-flagged mitigations applied:
+ *   - Deterministic JSON: `sort_keys=True` on Python side; we already do
+ *     key-sorted serialization on TS side via `serializeValue`.
+ *   - Unbuffered stdio: `python3 -u`.
+ *   - Async-aware timeout: subprocess SIGKILLed after 10s if it hasn't
+ *     exited; surfaces as PythonLegError.
+ *
+ * Fixture authors: do NOT use Python `print()` inside fixture bodies — the
+ * harness writes the completion record to stdout. Use `__trace` events with
+ * `op: 'stdout'` if you need to observe stdout-style output through the
+ * trace channel (FD 3).
+ */
+import type { NodeFixture, SemanticEnv, Trace } from '@kernlang/core';
+export declare class PythonLegError extends Error {
+    constructor(message: string);
+}
+/**
+ * Run the Python emitter leg of the differential harness.
+ *
+ * Error model mirrors `runTsEmitterLeg`: ONLY the sentinel-resolved
+ * completions count as fixture-comparable; any other failure (spawn
+ * error, non-zero exit, malformed FD3 output) is thrown so the harness
+ * records `leg-error`.
+ */
+export declare function runPythonEmitterLeg(fixture: NodeFixture, env: SemanticEnv): Promise<Trace>;