@kernlang/python 4.0.1-canary.222.1.f06f1a51 → 4.0.1-canary.225.1.f5c8d5fe

package/dist/core/emit-models.js

@@ -1,4 +1,5 @@
 import { generatePythonCoreNode } from '../codegen-python.js';
+import { dedupeGroundPrelude } from '../generators/ground.js';
 function findServerNode(root) {
     if (root.type === 'server')
         return root;
@@ -78,8 +79,11 @@ export function emitModels(root, options) {
             lines.push('');
         }
     }
+    // Top-level ground statements inline their helper/import prelude per-statement
+    // (a `module` wrapper dedupes in generateModule); collapse repeats across the
+    // assembled top-level bodies so each helper block appears once in the module.
     return {
-        code: lines.join('\n'),
+        code: dedupeGroundPrelude(lines).join('\n'),
         bodies,
     };
 }

package/dist/core/emit-models.js.map

@@ -1 +1 @@
-{"version":3,"file":"emit-models.js","sourceRoot":"","sources":["../../src/core/emit-models.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,OAKC;IAED,MAAM,YAAY,GAAG,OAAO,EAAE,IAAI,KAAK,QAAQ,IAAI,OAAO,EAAE,MAAM,KAAK,QAAQ,CAAC;IAEhF,0BAA0B;IAC1B,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;QAC7B,MAAM;QACN,WAAW;QACX,IAAI;QACJ,SAAS;QACT,OAAO;QACP,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,MAAM;QACN,OAAO;QACP,QAAQ;QACR,QAAQ;QACR,KAAK;QACL,OAAO;QACP,OAAO;QACP,YAAY;QACZ,OAAO;QACP,YAAY;QACZ,SAAS;QACT,OAAO;QACP,KAAK;QACL,SAAS;QACT,OAAO;QACP,QAAQ;QACR,WAAW;QACX,QAAQ;QACR,OAAO;QACP,QAAQ;QACR,WAAW;QACX,MAAM;QACN,SAAS;QACT,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,SAAS;KACV,CAAC,CAAC;IAEH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAElF,MAAM,YAAY,GAAG,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,CAAC;IAErE,4DAA4D;IAC5D,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IACzC,MAAM,cAAc,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAE5E,MAAM,SAAS,GAAa;QAC1B,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvD,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAC1D,CAAC;IAEF,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,WAAW,GAAG;QAClB,qBAAqB,EAAE,OAAO,EAAE,qBAAqB;QACrD,kBAAkB,EAAE,OAAO,EAAE,kBAAkB;KAChD,CAAC;IAEF,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;IAElF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;QAC/B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;QACtB,MAAM;KACP,CAAC;AACJ,CAAC"}
+{"version":3,"file":"emit-models.js","sourceRoot":"","sources":["../../src/core/emit-models.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAE9D,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,OAKC;IAED,MAAM,YAAY,GAAG,OAAO,EAAE,IAAI,KAAK,QAAQ,IAAI,OAAO,EAAE,MAAM,KAAK,QAAQ,CAAC;IAEhF,0BAA0B;IAC1B,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;QAC7B,MAAM;QACN,WAAW;QACX,IAAI;QACJ,SAAS;QACT,OAAO;QACP,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,MAAM;QACN,OAAO;QACP,QAAQ;QACR,QAAQ;QACR,KAAK;QACL,OAAO;QACP,OAAO;QACP,YAAY;QACZ,OAAO;QACP,YAAY;QACZ,SAAS;QACT,OAAO;QACP,KAAK;QACL,SAAS;QACT,OAAO;QACP,QAAQ;QACR,WAAW;QACX,QAAQ;QACR,OAAO;QACP,QAAQ;QACR,WAAW;QACX,MAAM;QACN,SAAS;QACT,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,SAAS;KACV,CAAC,CAAC;IAEH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAElF,MAAM,YAAY,GAAG,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,CAAC;IAErE,4DAA4D;IAC5D,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IACzC,MAAM,cAAc,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAE5E,MAAM,SAAS,GAAa;QAC1B,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvD,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAC1D,CAAC;IAEF,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,WAAW,GAAG;QAClB,qBAAqB,EAAE,OAAO,EAAE,qBAAqB;QACrD,kBAAkB,EAAE,OAAO,EAAE,kBAAkB;KAChD,CAAC;IAEF,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;IAElF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;QAC/B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,8EAA8E;IAC9E,8EAA8E;IAC9E,OAAO;QACL,IAAI,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3C,MAAM;KACP,CAAC;AACJ,CAAC"}

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

@@ -1,8 +1,85 @@
+export declare const KERN_NULLISH_HELPER_PY: string;
+export declare const KERN_JSON_STRINGIFY_SHIM_PY: string;
 export declare const KERN_PAIR_HELPERS_PY: string;
+/** DECIMAL Slice 1 — KERN-owned canonical Decimal stringifier (Python leg).
+ *
+ *  KERN's parity invariant requires `str(decimalValue)` to render byte-identically
+ *  on both legs. Python's stdlib `decimal` PRESERVES scale (`Decimal("1.5") +
+ *  Decimal("2.5")` renders `"4.0"`, and a literal `Decimal("300")` renders `"300"`
+ *  but `.normalize()` → `"3E+2"`), whereas decimal.js has NO scale concept and
+ *  renders the significance-free form (`"4"`, `"300"`). To make the Python leg
+ *  match decimal.js's `toString()` byte-for-byte, this helper re-renders a Python
+ *  Decimal from its (sign, digits, exponent) tuple under decimal.js's exact
+ *  notation rule (precision 28, toExpNeg=-7, toExpPos=21):
+ *    - drop trailing-zero scale (normalize significance)
+ *    - PLAIN decimal notation iff the adjusted exponent `adj` satisfies
+ *      `-7 < adj < 21`; else LOWERCASE-`e`, signed sci notation (`1e-8`, `1e+21`)
+ *    - `-0` / `0.0` / `+0` all render `"0"` (decimal.js drops the sign of zero)
+ *
+ *  Validated byte-for-byte against decimal.js 10.6.0 across 225/226 cross-cases
+ *  (literals + pairwise sums); the single outlier is a >28-significant-digit input,
+ *  which is OUTSIDE KERN's certified 28-digit precision envelope. Both engines are
+ *  configured to precision 28 / ROUND_HALF_EVEN so ARITHMETIC values agree before
+ *  rendering; this helper only canonicalizes the RENDERING of an agreed value.
+ *
+ *  DECIMAL Slice 2 (Finding B): this block is also EMBEDDED into KERN_FMT_HELPER_PY
+ *  (below) so `_kern_fmt`'s Decimal branch has `_KernDecimal` + `_kern_decimal_str`
+ *  in scope intrinsically — no separate registration to miss. */
+export declare const KERN_DECIMAL_STR_HELPER_PY: string;
+/** DECIMAL Slice 2 (Finding B) — the production `_kern_fmt` helper block, with the
+ *  canonical Decimal stringifier EMBEDDED so `_kern_fmt(decimalValue)` renders the
+ *  significance-free (decimal.js-matching) form. The embed keeps `_kern_decimal_str`
+ *  single-sourced (KERN_DECIMAL_STR_HELPER_PY) while making the dependency intrinsic
+ *  to this one block — so the 7 IR emit sites and the route ground prelude that
+ *  register KERN_FMT_HELPER_PY automatically carry it, with no co-registration to
+ *  miss. The decimal `import` rides along at the top of the embedded block. */
 export declare const KERN_FMT_HELPER_PY: string;
 export declare const KERN_I32_HELPER_PY: string;
+/**
+ * ToNumericPrimitive substrate (slice 0.75) — Python twin of the
+ * `@kernlang/core` `to-numeric` decision kernel.
+ *
+ * Single Python-side source of numeric coercion truth for the FROZEN primitive
+ * domain (numbers, ECMA numeric strings, booleans, null, undefined sentinel).
+ * The emitted Python encodes the ECMA-262 StringNumericLiteral grammar
+ * EXPLICITLY rather than delegating to `float(...)`, because `float()` diverges
+ * from JS `Number()` on three load-bearing cases: it accepts numeric separators
+ * (`float('1_000') == 1000.0`), case-insensitive infinity/NaN words
+ * (`float('infinity')`, `float('nan')`), and raises on `0x`/`0b`/`0o` prefixes.
+ *
+ * Return-type contract (tribunal amendments 1 & 2):
+ *   - `_kern_to_number(x)`            -> Python `float` for EVERY numeric output
+ *     (bool/null/hex/binary/octal inputs included); `-0.0` sign survives; NaN
+ *     and ±inf preserved.
+ *   - `_kern_string_to_number(text)` -> `float` (NaN for any non-grammar string).
+ *   - `_kern_number_to_int32(n)`     -> `int`   (signed 32-bit, shift-mask domain).
+ *   - `_kern_number_to_uint32(n)`    -> `int`   (unsigned 32-bit).
+ *   - `_kern_to_int32(x)`            -> `int`   = int32(to_number(x)).
+ *   - `_kern_to_uint32(x)`           -> `int`   = uint32(to_number(x)).
+ *   - `_kern_to_integer_or_infinity(x)` -> `float` (int-valued, or ±inf).
+ *
+ * Fail-closed: objects/arrays/functions/symbols/custom-valueOf RAISE
+ * `_KernNumericCoercionError` (the caller decides) — full ToPrimitive deferred.
+ *
+ * Single-source-of-int32 note: this block is the coercion-correct int32 path
+ * going forward. The legacy `_i32` (KERN_I32_HELPER_PY) embeds its OWN
+ * float()-based coercion and is still wired to production
+ * (codegen-body-python.ts ToInt32 lowering). Slice 0.75 is a PURE ADDITION —
+ * nothing is rerouted here, so both coexist; the future routing slice retires
+ * `_i32` in favor of `_kern_to_int32` once the fallback count hits zero.
+ *
+ * The ECMA whitespace string below is the exact `StrWhiteSpace` set
+ * (`WhiteSpace` + `LineTerminator`) JS trims from a StringNumericLiteral, kept
+ * byte-aligned with `ECMA_STR_WHITESPACE` in the TS kernel.
+ */
+export declare const KERN_TO_NUMBER_HELPER_PY: string;
 export declare const KERN_TMOD_HELPER_PY: string;
 export declare const KERN_JS_HELPER_PY: string;
 export declare const KERN_JS_ARRAY_HELPERS_PY: string;
 export declare const KERN_JS_OBJECT_HELPERS_PY: string;
+export declare const KERN_JS_NUMBER_HELPERS_PY: string;
+export declare const KERN_JS_MATH_HELPERS_PY: string;
+export declare const KERN_JS_ARRAY_FROM_HELPER_PY: string;
 export declare const KERN_JS_STRING_HELPERS_PY: string;
+export declare const KERN_REGEX_MATCH_HELPER_PY: string;
+export declare const KERN_REGEX_MATCHALL_HELPER_PY: string;