@kernlang/python 3.5.6 → 3.5.7

package/dist/targets/python.js

@@ -2,6 +2,102 @@ import { countTokens, serializeIR } from '@kernlang/core';
 import { emitImports } from '../core/emit-imports.js';
 import { emitModels } from '../core/emit-models.js';
 import { collectFenceDiagnostics } from '../core/fence-diagnostics.js';
+import { emitPureHandlers } from '../core/handlers/index.js';
+import { findServerNode } from '../fastapi-utils.js';
+/**
+ * The PyDotDict / _DotList shim, emitted at the top of every `--emit=backend`
+ * Python module that contains pure handlers. Re-exported so the conformance
+ * harness can import the SAME bytes instead of maintaining a near-duplicate
+ * string (Wave 3 round-3 agon-review finding D — kimi 0.90 / claude 0.50 /
+ * zai 0.65 convergence on the drift hazard).
+ *
+ * Design notes (cumulative across Wave 3 review rounds):
+ *   • Python name-mangling: an identifier with two leading underscores
+ *     INSIDE a class body becomes `_ClassName__name`. So `__DotDict(val)`
+ *     inside `__DotDict`'s own methods would resolve to `_DotDict__DotDict`
+ *     (NameError). Route dict recursion through `cls = type(self); cls(val)`,
+ *     and use `_DotList` (single underscore — NOT mangled) as the list
+ *     idempotency marker.
+ *   • Cached write-back (`self[key] = val`) makes both branches O(1) on
+ *     re-access and persists in-handler writes — `body.profile.name = "x"`
+ *     now sticks. SIDE EFFECT: a dotted read mutates the parent dict; raw
+ *     `body.items()` iteration sees wrapped values. Intentional.
+ *   • `_DotList.__getitem__` auto-wraps elements so post-access append/insert
+ *     of plain dicts still reads back as `__DotDict` — `body.rows.append({a:1});
+ *     body.rows[0].a` works (round-3 codex 0.86 + agy 0.95 regression close).
+ *     Bound at module level so the `__DotDict` reference inside it isn't
+ *     subject to class-body name-mangling.
+ *   • `__delattr__` mirrors `__getattr__`'s camelCase fallback; the
+ *     `from None` suppresses chained KeyError tracebacks (round-3 claude 0.70).
+ */
+export const DOT_DICT_SHIM_PY = `class _DotList(list):
+    pass
+
+
+class __DotDict(dict):
+    def __getattr__(self, name):
+        try:
+            val = self[name]
+            key = name
+        except KeyError:
+            camel = ''.join(x.capitalize() or '_' for x in name.split('_'))
+            camel = camel[0].lower() + camel[1:] if camel else ''
+            if camel in self:
+                val = self[camel]
+                key = camel
+            else:
+                raise AttributeError(name) from None
+        cls = type(self)
+        def _wrap(x):
+            if isinstance(x, cls):
+                return x
+            if isinstance(x, _DotList):
+                return x
+            if isinstance(x, dict):
+                return cls(x)
+            if isinstance(x, list):
+                return _DotList([_wrap(y) for y in x])
+            return x
+        if isinstance(val, dict) and not isinstance(val, cls):
+            val = cls(val)
+            self[key] = val
+        elif isinstance(val, list) and not isinstance(val, _DotList):
+            val = _DotList([_wrap(x) for x in val])
+            self[key] = val
+        return val
+
+    def __setattr__(self, name, value):
+        self[name] = value
+
+    def __delattr__(self, name):
+        try:
+            del self[name]
+        except KeyError:
+            camel = ''.join(x.capitalize() or '_' for x in name.split('_'))
+            camel = camel[0].lower() + camel[1:] if camel else ''
+            if camel in self:
+                del self[camel]
+            else:
+                raise AttributeError(name) from None
+
+
+def _dotlist_getitem(self, index):
+    val = list.__getitem__(self, index)
+    if isinstance(val, (__DotDict, _DotList)):
+        return val
+    if isinstance(val, dict):
+        wrapped = __DotDict(val)
+        list.__setitem__(self, index, wrapped)
+        return wrapped
+    if isinstance(val, list):
+        wrapped = _DotList(val)
+        list.__setitem__(self, index, wrapped)
+        return wrapped
+    return val
+
+
+_DotList.__getitem__ = _dotlist_getitem
+`;
 /**
  * First-class `python` transpiler target. Lowering KERN types and models to pure Python.
  */
@@ -10,15 +106,40 @@ export function transpilePython(root, config) {
     const emit = config?.emit || 'models'; // In Phase 1, target python implies models-only
     // 1. Demand-driven imports
     const { lines: preambleLines, imports } = emitImports(root, { pythonModelBackend });
-    // 2. Core node render
-    const { code: modelsCode, bodies } = emitModels(root, {
+    // 2. Pure route handlers — emit only when caller requested `emit: 'backend'`.
+    // The existing models-only path (the default) must stay byte-identical whether
+    // a server node is present or not; `python-target.test.ts:60` (`route
+    // invariance (decl-driven emit-models)`) is the canonical contract.
+    const serverNode = emit === 'backend' ? findServerNode(root) : undefined;
+    let handlersCode = '';
+    if (serverNode) {
+        const handlers = emitPureHandlers(serverNode, imports, root);
+        if (handlers.length > 0) {
+            const handlerBlocks = handlers.map((h) => `${h.signature}\n${h.bodyLines.join('\n')}`).join('\n\n');
+            handlersCode = `\n${DOT_DICT_SHIM_PY}\n\n${handlerBlocks}\n`;
+        }
+    }
+    // 3. Core node render
+    const { code: modelsCode } = emitModels(root, {
         pythonModelBackend,
         emit,
         target: 'python',
     });
     const lines = [];
     // Sort and print imports
-    for (const imp of [...imports].sort()) {
+    let filteredImports = [...imports];
+    if (emit === 'backend') {
+        filteredImports = filteredImports.filter((imp) => {
+            const lower = imp.toLowerCase();
+            return (!lower.includes('pydantic') &&
+                !lower.includes('fastapi') &&
+                !lower.includes('django') &&
+                !lower.includes('httpexception') &&
+                !lower.includes('jsonresponse') &&
+                !lower.includes('depends('));
+        });
+    }
+    for (const imp of filteredImports.sort()) {
         lines.push(imp);
     }
     lines.push('');
@@ -28,10 +149,15 @@ export function transpilePython(root, config) {
         lines.push(...preambleLines);
     }
     // Model and type definitions
-    if (modelsCode.trim().length > 0) {
+    if (emit !== 'backend' && modelsCode.trim().length > 0) {
         lines.push('');
         lines.push(modelsCode);
     }
+    // Pure handlers (additive)
+    if (handlersCode) {
+        lines.push('');
+        lines.push(handlersCode);
+    }
     const output = lines.join('\n');
     const irText = serializeIR(root);
     const irTokenCount = countTokens(irText);

package/dist/targets/python.js.map

@@ -1 +1 @@
-{"version":3,"file":"python.js","sourceRoot":"","sources":["../../src/targets/python.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAEvE;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,MAA2B;IACvE,MAAM,kBAAkB,GAAG,MAAM,EAAE,kBAAkB,IAAI,MAAM,CAAC;IAChE,MAAM,IAAI,GAAG,MAAM,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC,gDAAgD;IAEvF,2BAA2B;IAC3B,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,kBAAkB,EAAE,CAAC,CAAC;IAEpF,sBAAsB;IACtB,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE;QACpD,kBAAkB;QAClB,IAAI;QACJ,MAAM,EAAE,QAAQ;KACjB,CAAC,CAAC;IAEH,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,yBAAyB;IACzB,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,kBAAkB;IAClB,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;IAC/B,CAAC;IAED,6BAA6B;IAC7B,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,YAAY,GAAG,YAAY,CAAC,GAAG,GAAG,CAAC,CAAC;IAE3E,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,SAAS,EAAE,EAAE;QACb,YAAY;QACZ,YAAY;QACZ,cAAc;QACd,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,mBAAmB,IAAI,SAAS,CAAC;KACrF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"python.js","sourceRoot":"","sources":["../../src/targets/python.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmE/B,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,MAA2B;IACvE,MAAM,kBAAkB,GAAG,MAAM,EAAE,kBAAkB,IAAI,MAAM,CAAC;IAChE,MAAM,IAAI,GAAG,MAAM,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC,gDAAgD;IAEvF,2BAA2B;IAC3B,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,kBAAkB,EAAE,CAAC,CAAC;IAEpF,8EAA8E;IAC9E,+EAA+E;IAC/E,sEAAsE;IACtE,oEAAoE;IACpE,MAAM,UAAU,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzE,IAAI,YAAY,GAAG,EAAE,CAAC;IACtB,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7D,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpG,YAAY,GAAG,KAAK,gBAAgB,OAAO,aAAa,IAAI,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE;QAC5C,kBAAkB;QAClB,IAAI;QACJ,MAAM,EAAE,QAAQ;KACjB,CAAC,CAAC;IAEH,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,yBAAyB;IACzB,IAAI,eAAe,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YAC/C,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;YAChC,OAAO,CACL,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAC3B,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;gBAC1B,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBACzB,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC;gBAChC,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC;gBAC/B,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAC5B,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,kBAAkB;IAClB,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;IAC/B,CAAC;IAED,6BAA6B;IAC7B,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IAED,2BAA2B;IAC3B,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,YAAY,GAAG,YAAY,CAAC,GAAG,GAAG,CAAC,CAAC;IAE3E,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,SAAS,EAAE,EAAE;QACb,YAAY;QACZ,YAAY;QACZ,cAAc;QACd,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,mBAAmB,IAAI,SAAS,CAAC;KACrF,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kernlang/python",
-  "version": "3.5.6",
+  "version": "3.5.7",
   "description": "KERN Python backend codegen (FastAPI router target included)",
   "type": "module",
   "main": "./dist/index.js",
@@ -28,7 +28,7 @@
     "python": ">=3.8"
   },
   "dependencies": {
-    "@kernlang/core": "3.5.6"
+    "@kernlang/core": "3.5.7"
   },
   "scripts": {
     "build": "tsc -b",