@kernlang/core 3.3.9 → 3.4.1

package/dist/types.js

@@ -7,5 +7,11 @@
  * 3. A decompiler that converts IRNode tree → human-readable TypeScript
  * 4. Source map generation for debugging
  */
-export {};
+/** Type guard for ExprObject — matches the ExprObject contract exactly. */
+export function isExprObject(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        value.__expr === true &&
+        typeof value.code === 'string');
+}
 //# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAQH,2EAA2E;AAC3E,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACb,KAA8B,CAAC,MAAM,KAAK,IAAI;QAC/C,OAAQ,KAA4B,CAAC,IAAI,KAAK,QAAQ,CACvD,CAAC;AACJ,CAAC"}

package/dist/value-ir.d.ts

@@ -0,0 +1,96 @@
+/** Expression value AST. Mirrors TS/JS precedence semantics for round-trip safety. */
+import type { IRSourceLocation } from './types.js';
+export type BinaryOp = '+' | '-' | '*' | '/' | '%' | '**' | '==' | '!=' | '===' | '!==' | '<' | '<=' | '>' | '>=' | '&&' | '||' | '??' | '&' | '|' | '^' | '<<' | '>>' | '>>>';
+export type UnaryOp = '!' | '-' | '+' | '~' | 'typeof' | 'void';
+export type ValueIR = {
+    kind: 'numLit';
+    value: number;
+    bigint?: boolean;
+    raw: string;
+    loc?: IRSourceLocation;
+} | {
+    kind: 'strLit';
+    value: string;
+    quote: '"' | "'";
+    loc?: IRSourceLocation;
+} | {
+    kind: 'tmplLit';
+    quasis: string[];
+    expressions: ValueIR[];
+    loc?: IRSourceLocation;
+} | {
+    kind: 'boolLit';
+    value: boolean;
+    loc?: IRSourceLocation;
+} | {
+    kind: 'nullLit';
+    loc?: IRSourceLocation;
+} | {
+    kind: 'undefLit';
+    loc?: IRSourceLocation;
+} | {
+    kind: 'regexLit';
+    pattern: string;
+    flags: string;
+    loc?: IRSourceLocation;
+} | {
+    kind: 'ident';
+    name: string;
+    loc?: IRSourceLocation;
+} | {
+    kind: 'member';
+    object: ValueIR;
+    property: string;
+    optional: boolean;
+    loc?: IRSourceLocation;
+} | {
+    kind: 'call';
+    callee: ValueIR;
+    args: ValueIR[];
+    optional: boolean;
+    loc?: IRSourceLocation;
+} | {
+    kind: 'binary';
+    op: BinaryOp;
+    left: ValueIR;
+    right: ValueIR;
+    loc?: IRSourceLocation;
+} | {
+    kind: 'unary';
+    op: UnaryOp;
+    argument: ValueIR;
+    loc?: IRSourceLocation;
+} | {
+    kind: 'spread';
+    argument: ValueIR;
+    loc?: IRSourceLocation;
+} | {
+    kind: 'await';
+    argument: ValueIR;
+    loc?: IRSourceLocation;
+} | {
+    kind: 'new';
+    argument: ValueIR;
+    loc?: IRSourceLocation;
+} | {
+    kind: 'propagate';
+    argument: ValueIR;
+    op: '?' | '!';
+    loc?: IRSourceLocation;
+} | {
+    kind: 'objectLit';
+    entries: ({
+        key: string;
+        value: ValueIR;
+    } | {
+        kind: 'spread';
+        argument: ValueIR;
+    })[];
+    loc?: IRSourceLocation;
+} | {
+    kind: 'arrayLit';
+    items: ValueIR[];
+    loc?: IRSourceLocation;
+};
+export type ValueIRKind = ValueIR['kind'];
+export declare function isValueIR(x: unknown): x is ValueIR;

package/dist/value-ir.js

@@ -0,0 +1,25 @@
+/** Expression value AST. Mirrors TS/JS precedence semantics for round-trip safety. */
+export function isValueIR(x) {
+    if (typeof x !== 'object' || x === null)
+        return false;
+    const k = x.kind;
+    return (k === 'numLit' ||
+        k === 'strLit' ||
+        k === 'tmplLit' ||
+        k === 'boolLit' ||
+        k === 'nullLit' ||
+        k === 'undefLit' ||
+        k === 'regexLit' ||
+        k === 'ident' ||
+        k === 'member' ||
+        k === 'call' ||
+        k === 'binary' ||
+        k === 'unary' ||
+        k === 'spread' ||
+        k === 'await' ||
+        k === 'new' ||
+        k === 'propagate' ||
+        k === 'objectLit' ||
+        k === 'arrayLit');
+}
+//# sourceMappingURL=value-ir.js.map

package/dist/value-ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-ir.js","sourceRoot":"","sources":["../src/value-ir.ts"],"names":[],"mappings":"AAAA,sFAAsF;AAyDtF,MAAM,UAAU,SAAS,CAAC,CAAU;IAClC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,CAAC,GAAI,CAAwB,CAAC,IAAI,CAAC;IACzC,OAAO,CACL,CAAC,KAAK,QAAQ;QACd,CAAC,KAAK,QAAQ;QACd,CAAC,KAAK,SAAS;QACf,CAAC,KAAK,SAAS;QACf,CAAC,KAAK,SAAS;QACf,CAAC,KAAK,UAAU;QAChB,CAAC,KAAK,UAAU;QAChB,CAAC,KAAK,OAAO;QACb,CAAC,KAAK,QAAQ;QACd,CAAC,KAAK,MAAM;QACZ,CAAC,KAAK,QAAQ;QACd,CAAC,KAAK,OAAO;QACb,CAAC,KAAK,QAAQ;QACd,CAAC,KAAK,OAAO;QACb,CAAC,KAAK,KAAK;QACX,CAAC,KAAK,WAAW;QACjB,CAAC,KAAK,WAAW;QACjB,CAAC,KAAK,UAAU,CACjB,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kernlang/core",
-  "version": "3.3.9",
+  "version": "3.4.1",
   "description": "Kern core — parser, types, spec, config, style engines, codegen",
   "type": "module",
   "main": "./dist/index.js",