@kernlang/core 3.3.8 → 3.4.0

package/dist/types.d.ts

@@ -12,6 +12,8 @@ export interface ExprObject {
     __expr: true;
     code: string;
 }
+/** Type guard for ExprObject — matches the ExprObject contract exactly. */
+export declare function isExprObject(value: unknown): value is ExprObject;
 /** Base node in the IR tree */
 export interface IRNode {
     /** Node type identifier — known types have autocomplete, custom/evolved types accepted as string */
@@ -22,6 +24,10 @@ export interface IRNode {
     children?: IRNode[];
     /** Node-specific properties */
     props?: Record<string, unknown>;
+    /** Names of props whose values originated from a quoted token (e.g. value="hello world").
+     *  Used by the post-parse validator to skip expression validation on string literals.
+     *  Stored as string[] (not Set) so it survives JSON serialization in decompile/sourcemap flows. */
+    __quotedProps?: string[];
 }
 /** Source location tracking */
 export interface IRSourceLocation {
@@ -89,7 +95,7 @@ export interface TranspileResult {
     /** Node-level diagnostics (never silently drop) */
     diagnostics?: TranspileDiagnostic[];
 }
-export type ParseErrorCode = 'UNCLOSED_EXPR' | 'UNCLOSED_STYLE' | 'UNCLOSED_STRING' | 'UNEXPECTED_TOKEN' | 'EMPTY_DOCUMENT' | 'INVALID_INDENT' | 'UNKNOWN_NODE_TYPE' | 'INDENT_JUMP' | 'DUPLICATE_PROP' | 'DROPPED_LINE';
+export type ParseErrorCode = 'UNCLOSED_EXPR' | 'UNCLOSED_STYLE' | 'UNCLOSED_STRING' | 'UNEXPECTED_TOKEN' | 'EMPTY_DOCUMENT' | 'INVALID_INDENT' | 'UNKNOWN_NODE_TYPE' | 'INDENT_JUMP' | 'DUPLICATE_PROP' | 'DROPPED_LINE' | 'INVALID_BIGINT' | 'INVALID_EXPRESSION' | 'INVALID_EFFECTS' | 'INVALID_UNION_KIND' | 'KIND_SHAPE_VIOLATION';
 export type ParseDiagnosticSeverity = 'error' | 'warning' | 'info';
 export interface ParseDiagnostic {
     code: ParseErrorCode;

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,69 @@
+/** 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;
+};
+export type ValueIRKind = ValueIR['kind'];
+export declare function isValueIR(x: unknown): x is ValueIR;

package/dist/value-ir.js

@@ -0,0 +1,20 @@
+/** 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');
+}
+//# 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;AAgDtF,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,CACf,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kernlang/core",
-  "version": "3.3.8",
+  "version": "3.4.0",
   "description": "Kern core — parser, types, spec, config, style engines, codegen",
   "type": "module",
   "main": "./dist/index.js",
@@ -26,6 +26,18 @@
       "types": "./dist/runtime.d.ts",
       "default": "./dist/runtime.js"
     },
+    "./config": {
+      "types": "./dist/config.d.ts",
+      "default": "./dist/config.js"
+    },
+    "./parser": {
+      "types": "./dist/parser.d.ts",
+      "default": "./dist/parser.js"
+    },
+    "./utils": {
+      "types": "./dist/utils.d.ts",
+      "default": "./dist/utils.js"
+    },
     "./schema": {
       "types": "./dist/schema.d.ts",
       "default": "./dist/schema.js"