@kernlang/python 3.5.8-canary.207.1.43495cde → 3.5.8-canary.209.1.8afcd7e7

package/dist/core/expr/helpers.js

@@ -59,4 +59,96 @@ export const KERN_JS_HELPER_PY = [
     'def js_equals(a, b):',
     '    return a == b',
 ].join('\n');
+export const KERN_JS_OBJECT_HELPERS_PY = [
+    'def _kern_js_is_array_index(__k_key):',
+    '    __k_s = str(__k_key)',
+    '    if not __k_s.isdigit(): return False',
+    '    if len(__k_s) > 1 and __k_s[0] == "0": return False',
+    '    __k_n = int(__k_s)',
+    '    return 0 <= __k_n < 4294967295 and __k_s == str(__k_n)',
+    '',
+    'def _kern_js_property_items(__k_obj):',
+    '    if __k_obj is None:',
+    '        raise TypeError("Cannot convert undefined or null to object")',
+    '    if hasattr(__k_obj, "items"):',
+    '        __k_raw = list(__k_obj.items())',
+    '    else:',
+    '        try:',
+    '            __k_raw = [(str(__k_i), __k_v) for __k_i, __k_v in enumerate(__k_obj)]',
+    '        except TypeError:',
+    '            __k_raw = []',
+    '    __k_indexed = []',
+    '    __k_rest = []',
+    '    for __k_pos, (__k_key, __k_val) in enumerate(__k_raw):',
+    '        __k_s = str(__k_key)',
+    '        if _kern_js_is_array_index(__k_s):',
+    '            __k_indexed.append((int(__k_s), __k_s, __k_val))',
+    '        else:',
+    '            __k_rest.append((__k_pos, __k_s, __k_val))',
+    '    return [(__k_s, __k_v) for _, __k_s, __k_v in sorted(__k_indexed, key=lambda __k_item: __k_item[0])] + [(__k_s, __k_v) for _, __k_s, __k_v in __k_rest]',
+    '',
+    'def _kern_js_object_keys(__k_obj):',
+    '    return [__k_k for __k_k, _ in _kern_js_property_items(__k_obj)]',
+    '',
+    'def _kern_js_object_values(__k_obj):',
+    '    return [__k_v for _, __k_v in _kern_js_property_items(__k_obj)]',
+    '',
+    'def _kern_js_object_entries(__k_obj):',
+    '    return [[__k_k, __k_v] for __k_k, __k_v in _kern_js_property_items(__k_obj)]',
+].join('\n');
+export const KERN_JS_STRING_HELPERS_PY = [
+    'def _kern_js_split_limit(__k_limit):',
+    '    if __k_limit is None:',
+    '        return None',
+    '    try:',
+    '        __k_n = float(__k_limit)',
+    '    except Exception:',
+    '        return 0',
+    '    if __k_n != __k_n or __k_n in (float("inf"), float("-inf")):',
+    '        return 0',
+    '    return int(__k_n) % 4294967296',
+    '',
+    'def _kern_js_replacement(__k_repl, __k_match, __k_prefix, __k_suffix):',
+    '    __k_repl = str(__k_repl)',
+    '    __k_out = []',
+    '    __k_i = 0',
+    '    while __k_i < len(__k_repl):',
+    '        __k_c = __k_repl[__k_i]',
+    '        if __k_c == "$" and __k_i + 1 < len(__k_repl):',
+    '            __k_n = __k_repl[__k_i + 1]',
+    '            if __k_n == "$":',
+    '                __k_out.append("$"); __k_i += 2; continue',
+    '            if __k_n == "&":',
+    '                __k_out.append(__k_match); __k_i += 2; continue',
+    '            if __k_n == "`":',
+    '                __k_out.append(__k_prefix); __k_i += 2; continue',
+    '            if __k_n == "\'":',
+    '                __k_out.append(__k_suffix); __k_i += 2; continue',
+    '        __k_out.append(__k_c)',
+    '        __k_i += 1',
+    '    return "".join(__k_out)',
+    '',
+    'def _kern_js_replace(__k_s, __k_search, __k_repl, __k_all=False):',
+    '    __k_s = str(__k_s)',
+    '    __k_search = str(__k_search)',
+    '    if not __k_all:',
+    '        __k_idx = __k_s.find(__k_search)',
+    '        if __k_idx < 0: return __k_s',
+    '        __k_end = __k_idx + len(__k_search)',
+    '        return __k_s[:__k_idx] + _kern_js_replacement(__k_repl, __k_search, __k_s[:__k_idx], __k_s[__k_end:]) + __k_s[__k_end:]',
+    '    if __k_search == "":',
+    '        return "".join(_kern_js_replacement(__k_repl, "", __k_s[:__k_i], __k_s[__k_i:]) + (__k_s[__k_i] if __k_i < len(__k_s) else "") for __k_i in range(len(__k_s) + 1))',
+    '    __k_parts = []',
+    '    __k_pos = 0',
+    '    while True:',
+    '        __k_idx = __k_s.find(__k_search, __k_pos)',
+    '        if __k_idx < 0:',
+    '            __k_parts.append(__k_s[__k_pos:])',
+    '            break',
+    '        __k_end = __k_idx + len(__k_search)',
+    '        __k_parts.append(__k_s[__k_pos:__k_idx])',
+    '        __k_parts.append(_kern_js_replacement(__k_repl, __k_search, __k_s[:__k_idx], __k_s[__k_end:]))',
+    '        __k_pos = __k_end',
+    '    return "".join(__k_parts)',
+].join('\n');
 //# sourceMappingURL=helpers.js.map

package/dist/core/expr/helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../src/core/expr/helpers.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,yBAAyB;IACzB,sEAAsE;IACtE,EAAE;IACF,qCAAqC;IACrC,qCAAqC;IACrC,sCAAsC;IACtC,4BAA4B;IAC5B,WAAW;IACX,6CAA6C;IAC7C,4BAA4B;CAC7B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,uBAAuB;IACvB,iCAAiC;IACjC,6CAA6C;IAC7C,uBAAuB;IACvB,uBAAuB;IACvB,uBAAuB;CACxB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,aAAa;IACb,cAAc;IACd,4BAA4B;IAC5B,UAAU;IACV,2CAA2C;IAC3C,kCAAkC;IAClC,uBAAuB;IACvB,cAAc;IACd,4BAA4B;IAC5B,iDAAiD;IACjD,wCAAwC;IACxC,2BAA2B;IAC3B,sBAAsB;IACtB,2DAA2D;CAC5D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,aAAa;IACb,kBAAkB;IAClB,yBAAyB;IACzB,yBAAyB;IACzB,UAAU;IACV,uBAAuB;IACvB,uBAAuB;IACvB,uBAAuB;IACvB,6BAA6B;IAC7B,8DAA8D;IAC9D,4CAA4C;IAC5C,qCAAqC;IACrC,kCAAkC;IAClC,0CAA0C;CAC3C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,mBAAmB;IACnB,8CAA8C;IAC9C,6DAA6D;IAC7D,qDAAqD;IACrD,iBAAiB;IACjB,sBAAsB;IACtB,mBAAmB;CACpB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC"}
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../src/core/expr/helpers.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,yBAAyB;IACzB,sEAAsE;IACtE,EAAE;IACF,qCAAqC;IACrC,qCAAqC;IACrC,sCAAsC;IACtC,4BAA4B;IAC5B,WAAW;IACX,6CAA6C;IAC7C,4BAA4B;CAC7B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,uBAAuB;IACvB,iCAAiC;IACjC,6CAA6C;IAC7C,uBAAuB;IACvB,uBAAuB;IACvB,uBAAuB;CACxB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,aAAa;IACb,cAAc;IACd,4BAA4B;IAC5B,UAAU;IACV,2CAA2C;IAC3C,kCAAkC;IAClC,uBAAuB;IACvB,cAAc;IACd,4BAA4B;IAC5B,iDAAiD;IACjD,wCAAwC;IACxC,2BAA2B;IAC3B,sBAAsB;IACtB,2DAA2D;CAC5D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,aAAa;IACb,kBAAkB;IAClB,yBAAyB;IACzB,yBAAyB;IACzB,UAAU;IACV,uBAAuB;IACvB,uBAAuB;IACvB,uBAAuB;IACvB,6BAA6B;IAC7B,8DAA8D;IAC9D,4CAA4C;IAC5C,qCAAqC;IACrC,kCAAkC;IAClC,0CAA0C;CAC3C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,mBAAmB;IACnB,8CAA8C;IAC9C,6DAA6D;IAC7D,qDAAqD;IACrD,iBAAiB;IACjB,sBAAsB;IACtB,mBAAmB;CACpB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACvC,uCAAuC;IACvC,0BAA0B;IAC1B,0CAA0C;IAC1C,yDAAyD;IACzD,wBAAwB;IACxB,4DAA4D;IAC5D,EAAE;IACF,uCAAuC;IACvC,yBAAyB;IACzB,uEAAuE;IACvE,mCAAmC;IACnC,yCAAyC;IACzC,WAAW;IACX,cAAc;IACd,oFAAoF;IACpF,2BAA2B;IAC3B,0BAA0B;IAC1B,sBAAsB;IACtB,mBAAmB;IACnB,4DAA4D;IAC5D,8BAA8B;IAC9B,4CAA4C;IAC5C,8DAA8D;IAC9D,eAAe;IACf,wDAAwD;IACxD,6JAA6J;IAC7J,EAAE;IACF,oCAAoC;IACpC,qEAAqE;IACrE,EAAE;IACF,sCAAsC;IACtC,qEAAqE;IACrE,EAAE;IACF,uCAAuC;IACvC,kFAAkF;CACnF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACvC,sCAAsC;IACtC,2BAA2B;IAC3B,qBAAqB;IACrB,UAAU;IACV,kCAAkC;IAClC,uBAAuB;IACvB,kBAAkB;IAClB,kEAAkE;IAClE,kBAAkB;IAClB,oCAAoC;IACpC,EAAE;IACF,wEAAwE;IACxE,8BAA8B;IAC9B,kBAAkB;IAClB,eAAe;IACf,kCAAkC;IAClC,iCAAiC;IACjC,wDAAwD;IACxD,yCAAyC;IACzC,8BAA8B;IAC9B,2DAA2D;IAC3D,8BAA8B;IAC9B,iEAAiE;IACjE,8BAA8B;IAC9B,kEAAkE;IAClE,+BAA+B;IAC/B,kEAAkE;IAClE,+BAA+B;IAC/B,oBAAoB;IACpB,6BAA6B;IAC7B,EAAE;IACF,mEAAmE;IACnE,wBAAwB;IACxB,kCAAkC;IAClC,qBAAqB;IACrB,0CAA0C;IAC1C,sCAAsC;IACtC,6CAA6C;IAC7C,iIAAiI;IACjI,0BAA0B;IAC1B,4KAA4K;IAC5K,oBAAoB;IACpB,iBAAiB;IACjB,iBAAiB;IACjB,mDAAmD;IACnD,yBAAyB;IACzB,+CAA+C;IAC/C,mBAAmB;IACnB,6CAA6C;IAC7C,kDAAkD;IAClD,wGAAwG;IACxG,2BAA2B;IAC3B,+BAA+B;CAChC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC"}

package/dist/core/expr/index.d.ts

@@ -1,7 +1,7 @@
 /**
  * Shared Python expression lowering — framework-agnostic.
  */
-export { KERN_FMT_HELPER_PY, KERN_I32_HELPER_PY, KERN_JS_HELPER_PY, KERN_PAIR_HELPERS_PY, KERN_TMOD_HELPER_PY, } from './helpers.js';
+export { KERN_FMT_HELPER_PY, KERN_I32_HELPER_PY, KERN_JS_HELPER_PY, KERN_JS_OBJECT_HELPERS_PY, KERN_JS_STRING_HELPERS_PY, KERN_PAIR_HELPERS_PY, KERN_TMOD_HELPER_PY, } from './helpers.js';
 export declare function quoteObjectKeysOutsideStrings(expr: string): string;
 export declare function rewriteExpr(expr: string, pathParams: string[], bodyFields?: Set<string>, authUser?: boolean, imports?: Set<string>, hoistedDefs?: string[], closureSeq?: {
     n: number;

package/dist/core/expr/index.js

@@ -1,10 +1,10 @@
 /**
  * Shared Python expression lowering — framework-agnostic.
  */
-import { lowerJsClosureBodyToPython } from '@kernlang/core';
+import { lowerJsClosureBodyToPython, PORTABLE_LOGIC_PRIMITIVES } from '@kernlang/core';
 import { toSnakeCase } from '../../type-map.js';
-import { KERN_I32_HELPER_PY, KERN_JS_HELPER_PY, KERN_TMOD_HELPER_PY } from './helpers.js';
-export { KERN_FMT_HELPER_PY, KERN_I32_HELPER_PY, KERN_JS_HELPER_PY, KERN_PAIR_HELPERS_PY, KERN_TMOD_HELPER_PY, } from './helpers.js';
+import { KERN_I32_HELPER_PY, KERN_JS_HELPER_PY, KERN_JS_OBJECT_HELPERS_PY, KERN_JS_STRING_HELPERS_PY, KERN_TMOD_HELPER_PY, } from './helpers.js';
+export { KERN_FMT_HELPER_PY, KERN_I32_HELPER_PY, KERN_JS_HELPER_PY, KERN_JS_OBJECT_HELPERS_PY, KERN_JS_STRING_HELPERS_PY, KERN_PAIR_HELPERS_PY, KERN_TMOD_HELPER_PY, } from './helpers.js';
 // Quoted strings absorbed by the alternation; only literal `===`/`!==`
 // outside strings get rewritten. Both single and double quotes AND
 // backtick template literals are covered so a message like
@@ -520,6 +520,201 @@ function splitTopLevelArgs(inner) {
     args.push(inner.slice(start).trim());
     return args;
 }
+// ── Host-builtin lowering: Set.has / Date.getTime / logical-not ─────────────
+// Portable-pure constructs lifted from the fitvt/job-central R1 audit. Math/
+// Number/String/Array builtins are handled by the lower*BuiltinCalls passes
+// above; these three were the residual gap (Set membership, epoch-ms dates,
+// `!`). Same balanced-scan approach as the sibling passes.
+function isCustomReceiverChar(c) {
+    return !!c && /[\w.]/.test(c);
+}
+function lowerSetOperandMemberRead(expr) {
+    const simple = expr.match(/^([A-Za-z_]\w*)\.([A-Za-z_]\w*)$/);
+    if (simple) {
+        const [, obj, field] = simple;
+        return `(${obj}.get("${field}") if isinstance(${obj}, dict) else ${obj}.${field})`;
+    }
+    const projection = expr.match(/^\[([A-Za-z_]\w*)\.([A-Za-z_]\w*) for \1 in ([\s\S]+)\]$/);
+    if (projection) {
+        const [, obj, field, source] = projection;
+        return `[${obj}.get("${field}") if isinstance(${obj}, dict) else ${obj}.${field} for ${obj} in ${source}]`;
+    }
+    return expr;
+}
+// new Set(arr).has(x) → (x) in set(arr). Runs AFTER array-method lowering so a
+// `.map(...)` arg is already a comprehension.
+function lowerSetHasCalls(expr, _imports) {
+    let out = '';
+    let i = 0;
+    let quote = null;
+    while (i < expr.length) {
+        const c = expr[i];
+        if (quote) {
+            out += c;
+            if (c === '\\') {
+                out += expr[i + 1] ?? '';
+                i += 2;
+                continue;
+            }
+            if (c === quote)
+                quote = null;
+            i += 1;
+            continue;
+        }
+        if (c === '"' || c === "'" || c === '`') {
+            quote = c;
+            out += c;
+            i += 1;
+            continue;
+        }
+        const m = expr.slice(i).match(/^new\s+Set\s*\(/);
+        if (m && !isCustomReceiverChar(expr[i - 1])) {
+            const setOpen = i + m[0].length - 1;
+            const setClose = matchBalancedParen(expr, setOpen);
+            const afterSet = setClose === -1 ? '' : expr.slice(setClose + 1);
+            const hasMatch = afterSet.match(/^\s*\.has\s*\(/);
+            if (setClose !== -1 && hasMatch) {
+                const hasOpen = setClose + 1 + hasMatch[0].length - 1;
+                const hasClose = matchBalancedParen(expr, hasOpen);
+                if (hasClose !== -1) {
+                    // Recurse so nested `new Set(...)` inside the args lowers too.
+                    const setArg = lowerSetOperandMemberRead(lowerSetHasCalls(expr.slice(setOpen + 1, setClose).trim()));
+                    const hasArg = lowerSetOperandMemberRead(lowerSetHasCalls(expr.slice(hasOpen + 1, hasClose).trim()));
+                    out += `(${hasArg}) in set(${setArg})`;
+                    i = hasClose + 1;
+                    continue;
+                }
+            }
+        }
+        out += c;
+        i += 1;
+    }
+    return out;
+}
+// new Date(arg).getTime() → epoch milliseconds. Runs BEFORE Math builtins so a
+// surrounding Math.round sees an integer.
+function lowerDateGetTimeCalls(expr, imports) {
+    let out = '';
+    let i = 0;
+    let quote = null;
+    while (i < expr.length) {
+        const c = expr[i];
+        if (quote) {
+            out += c;
+            if (c === '\\') {
+                out += expr[i + 1] ?? '';
+                i += 2;
+                continue;
+            }
+            if (c === quote)
+                quote = null;
+            i += 1;
+            continue;
+        }
+        if (c === '"' || c === "'" || c === '`') {
+            quote = c;
+            out += c;
+            i += 1;
+            continue;
+        }
+        const m = expr.slice(i).match(/^new\s+Date\s*\(/);
+        if (m && !isCustomReceiverChar(expr[i - 1])) {
+            const openIdx = i + m[0].length - 1;
+            const closeIdx = matchBalancedParen(expr, openIdx);
+            if (closeIdx !== -1 && expr.slice(closeIdx + 1).match(/^\s*\.getTime\s*\(\s*\)/)) {
+                const tail = expr.slice(closeIdx + 1).match(/^\s*\.getTime\s*\(\s*\)/)[0];
+                // Recurse so nested new Date(...).getTime() inside the arg lowers too.
+                const arg = lowerDateGetTimeCalls(expr.slice(openIdx + 1, closeIdx).trim(), imports);
+                imports?.add('from datetime import datetime, timezone');
+                // Branch on the runtime value: JS `new Date(n)` accepts epoch-ms numbers
+                // (getTime() returns n), else parse an ISO string. Case-insensitive Z.
+                // KNOWN LIMITATIONS (tracked follow-ups, beyond the R1 surface): a
+                // date-only string carrying a TZ offset ("2026-06-03Z") and non-ISO
+                // formats still raise in fromisoformat.
+                out +=
+                    `(lambda __k_v: int(__k_v) if isinstance(__k_v, (int, float)) ` +
+                        `else int((lambda __k_dt: (__k_dt if __k_dt.tzinfo is not None else __k_dt.replace(tzinfo=timezone.utc)).timestamp() * 1000)` +
+                        `(datetime.fromisoformat(str(__k_v).replace("Z", "+00:00").replace("z", "+00:00")))))(${arg})`;
+                i = closeIdx + 1 + tail.length;
+                continue;
+            }
+        }
+        out += c;
+        i += 1;
+    }
+    return out;
+}
+// `!` → Python `not `. Skips `!=`/`!==`. Runs after the operator/Set passes.
+function lowerLogicalNot(expr, _imports) {
+    let out = '';
+    let i = 0;
+    let quote = null;
+    while (i < expr.length) {
+        const c = expr[i];
+        if (quote) {
+            out += c;
+            if (c === '\\') {
+                out += expr[i + 1] ?? '';
+                i += 2;
+                continue;
+            }
+            if (c === quote)
+                quote = null;
+            i += 1;
+            continue;
+        }
+        if (c === '"' || c === "'" || c === '`') {
+            quote = c;
+            out += c;
+            i += 1;
+            continue;
+        }
+        // KNOWN LIMITATION (tracked follow-up): `not` binds looser than comparison
+        // in Python, so `!a < b` (JS: `(!a) < b`) lowers to `not a < b` (Python:
+        // `not (a < b)`). Safe for the boolean-connective uses in the R1 surface.
+        if (c === '!' && expr[i + 1] !== '=') {
+            out += 'not ';
+            i += 1;
+            while (i < expr.length && /\s/.test(expr[i]))
+                i += 1;
+            continue;
+        }
+        out += c;
+        i += 1;
+    }
+    return out;
+}
+const PYTHON_PORTABLE_LOGIC_LOWERINGS = [
+    {
+        primitive: 'time.epochMs',
+        phase: 'beforeMath',
+        lower: lowerDateGetTimeCalls,
+    },
+    {
+        primitive: 'collection.has',
+        phase: 'afterArrayMethods',
+        lower: lowerSetHasCalls,
+    },
+    {
+        primitive: 'logic.not',
+        phase: 'final',
+        lower: lowerLogicalNot,
+    },
+];
+for (const entry of PYTHON_PORTABLE_LOGIC_LOWERINGS) {
+    if (PORTABLE_LOGIC_PRIMITIVES[entry.primitive].targets.python !== 'stable') {
+        throw new Error(`Portable logic primitive '${entry.primitive}' is not stable on the Python target.`);
+    }
+}
+function lowerPortableLogicPrimitives(expr, imports, phase) {
+    let result = expr;
+    for (const entry of PYTHON_PORTABLE_LOGIC_LOWERINGS) {
+        if (entry.phase !== phase)
+            continue;
+        result = entry.lower(result, imports);
+    }
+    return result;
+}
 // Lower JSON.stringify(...) / JSON.parse(...) to json.dumps/loads. Uses a
 // balanced, string-aware scan because the single argument can itself contain
 // commas, nested parens, brackets, braces, or string literals.
@@ -920,7 +1115,7 @@ function lowerStringBuiltinCalls(expr) {
     });
 }
 // Lower the argument-taking JS String methods.
-function lowerStringArgMethods(expr) {
+function lowerStringArgMethods(expr, imports) {
     let out = '';
     let i = 0;
     let quote = null;
@@ -950,9 +1145,18 @@ function lowerStringArgMethods(expr) {
             if (closeIdx !== -1) {
                 const args = splitTopLevelArgs(expr.slice(openIdx + 1, closeIdx));
                 if (args.length === 2 && !args[0].trim().startsWith('/')) {
-                    const a0 = lowerStringArgMethods(args[0]).trim();
-                    const a1 = lowerStringArgMethods(args[1]).trim();
-                    out += `.replace(${a0}, ${a1})`;
+                    const a0 = lowerStringArgMethods(args[0], imports).trim();
+                    const a1 = lowerStringArgMethods(args[1], imports).trim();
+                    const receiverStart = findReceiverStart(out);
+                    if (receiverStart !== -1 && !isStringLiteralWithoutDollar(a1)) {
+                        imports?.add(KERN_JS_STRING_HELPERS_PY);
+                        const receiver = out.slice(receiverStart);
+                        const pre = out.slice(0, receiverStart);
+                        out = `${pre}_kern_js_replace(${receiver}, ${a0}, ${a1}, True)`;
+                    }
+                    else {
+                        out += `.replace(${a0}, ${a1})`;
+                    }
                     i = closeIdx + 1;
                     continue;
                 }
@@ -964,9 +1168,18 @@ function lowerStringArgMethods(expr) {
             if (closeIdx !== -1) {
                 const args = splitTopLevelArgs(expr.slice(openIdx + 1, closeIdx));
                 if (args.length === 2 && !args[0].trim().startsWith('/')) {
-                    const a0 = lowerStringArgMethods(args[0]).trim();
-                    const a1 = lowerStringArgMethods(args[1]).trim();
-                    out += `.replace(${a0}, ${a1}, 1)`;
+                    const a0 = lowerStringArgMethods(args[0], imports).trim();
+                    const a1 = lowerStringArgMethods(args[1], imports).trim();
+                    const receiverStart = findReceiverStart(out);
+                    if (receiverStart !== -1 && !isStringLiteralWithoutDollar(a1)) {
+                        imports?.add(KERN_JS_STRING_HELPERS_PY);
+                        const receiver = out.slice(receiverStart);
+                        const pre = out.slice(0, receiverStart);
+                        out = `${pre}_kern_js_replace(${receiver}, ${a0}, ${a1}, False)`;
+                    }
+                    else {
+                        out += `.replace(${a0}, ${a1}, 1)`;
+                    }
                     i = closeIdx + 1;
                     continue;
                 }
@@ -1031,7 +1244,7 @@ function lowerStringArgMethods(expr) {
             const openIdx = i + '.repeat('.length - 1;
             const closeIdx = matchBalancedParen(expr, openIdx);
             if (closeIdx !== -1) {
-                const args = splitTopLevelArgs(expr.slice(openIdx + 1, closeIdx)).map((a) => lowerStringArgMethods(a).trim());
+                const args = splitTopLevelArgs(expr.slice(openIdx + 1, closeIdx)).map((a) => lowerStringArgMethods(a, imports).trim());
                 const n = args[0] ?? '0';
                 const receiverStart = findReceiverStart(out);
                 if (receiverStart !== -1) {
@@ -1047,9 +1260,19 @@ function lowerStringArgMethods(expr) {
             const openIdx = i + '.split('.length - 1;
             const closeIdx = matchBalancedParen(expr, openIdx);
             if (closeIdx !== -1) {
-                const args = splitTopLevelArgs(expr.slice(openIdx + 1, closeIdx)).map((a) => lowerStringArgMethods(a).trim());
+                const args = splitTopLevelArgs(expr.slice(openIdx + 1, closeIdx)).map((a) => lowerStringArgMethods(a, imports).trim());
+                if (args.length >= 1 && isEmptyStringLiteral(args[0])) {
+                    const receiverStart = findReceiverStart(out);
+                    if (receiverStart !== -1) {
+                        const receiver = out.slice(receiverStart);
+                        const pre = out.slice(0, receiverStart);
+                        out = `${pre}list(${receiver})${args.length === 2 ? `[:${lowerSplitLimit(args[1], imports)}]` : ''}`;
+                        i = closeIdx + 1;
+                        continue;
+                    }
+                }
                 if (args.length === 2) {
-                    out += `.split(${args[0]})[:${args[1]}]`;
+                    out += `.split(${args[0]})[:${lowerSplitLimit(args[1], imports)}]`;
                     i = closeIdx + 1;
                     continue;
                 }
@@ -1060,6 +1283,20 @@ function lowerStringArgMethods(expr) {
     }
     return out;
 }
+function isEmptyStringLiteral(expr) {
+    const t = expr.trim();
+    return t === '""' || t === "''" || t === '``';
+}
+function isStringLiteralWithoutDollar(expr) {
+    const t = expr.trim();
+    if (t.includes('$') || t.includes('\\'))
+        return false;
+    return /^(?:"[^"]*"|'[^']*'|`[^`]*`)$/.test(t);
+}
+function lowerSplitLimit(limit, imports) {
+    imports?.add(KERN_JS_STRING_HELPERS_PY);
+    return `_kern_js_split_limit(${limit})`;
+}
 // Lower selected Object/Array/Date host builtins in portable expressions.
 function lowerObjectArrayDateBuiltinCalls(expr, imports) {
     let out = '';
@@ -1129,12 +1366,18 @@ function lowerObjectArrayDateBuiltinCalls(expr, imports) {
                 }
                 else {
                     const arg = lowerObjectArrayDateBuiltinCalls(rawArgs, imports).trim();
-                    if (method === 'Object.keys')
-                        out += `list(${arg}.keys())`;
-                    else if (method === 'Object.values')
-                        out += `list(${arg}.values())`;
-                    else if (method === 'Object.entries')
-                        out += `list(${arg}.items())`;
+                    if (method === 'Object.keys') {
+                        imports?.add(KERN_JS_OBJECT_HELPERS_PY);
+                        out += `_kern_js_object_keys(${arg})`;
+                    }
+                    else if (method === 'Object.values') {
+                        imports?.add(KERN_JS_OBJECT_HELPERS_PY);
+                        out += `_kern_js_object_values(${arg})`;
+                    }
+                    else if (method === 'Object.entries') {
+                        imports?.add(KERN_JS_OBJECT_HELPERS_PY);
+                        out += `_kern_js_object_entries(${arg})`;
+                    }
                     else
                         out += `isinstance(${arg}, list)`;
                 }
@@ -1786,11 +2029,14 @@ export function rewriteExpr(expr, pathParams, bodyFields = new Set(), authUser =
     });
     result = lowerPortableJsOperators(result, imports);
     result = lowerJsonBuiltinCalls(result, imports);
+    result = lowerPortableLogicPrimitives(result, imports, 'beforeMath'); // before Math: Math.round wraps date diffs
     result = lowerMathBuiltinCalls(result, imports);
     result = lowerNumberBuiltinCalls(result, imports);
     result = lowerStringBuiltinCalls(result);
-    result = lowerStringArgMethods(result);
+    result = lowerStringArgMethods(result, imports);
     result = lowerObjectArrayDateBuiltinCalls(result, imports);
+    result = lowerPortableLogicPrimitives(result, imports, 'afterArrayMethods'); // Set arg may be a .map() comprehension
+    result = lowerPortableLogicPrimitives(result, imports, 'final'); // applies to lowered membership/boolean
     result = quoteObjectKeysOutsideStrings(result);
     for (const replacement of replacements) {
         result = result.split(replacement.placeholder).join(replacement.lowered);
@@ -1960,7 +2206,7 @@ function parseTokens(tokens) {
         let left = parsePrimary();
         while (true) {
             const next = peek();
-            if (!next || next.type !== 'OP')
+            if (next?.type !== 'OP')
                 break;
             const opPrecedence = getPrecedence(next.value);
             if (opPrecedence < precedence)