@kernlang/core 3.3.8 → 3.4.0

package/dist/parser-tokenizer.js

@@ -9,8 +9,87 @@ function isIdentChar(ch) {
 function isDigit(ch) {
     return ch >= '0' && ch <= '9';
 }
-/** @internal Character-by-character tokenizer for a single KERN line (after indent stripped). */
-export function tokenizeLineInternal(line, state) {
+function isHexDigit(ch) {
+    return isDigit(ch) || (ch >= 'a' && ch <= 'f') || (ch >= 'A' && ch <= 'F');
+}
+function isBinDigit(ch) {
+    return ch === '0' || ch === '1';
+}
+function isOctDigit(ch) {
+    return ch >= '0' && ch <= '7';
+}
+/** Consume digits with optional underscore separators. Underscores cannot lead, trail, or repeat. */
+function consumeDigitsWithSep(line, start, isValid) {
+    let i = start;
+    let started = false;
+    let lastWasUnderscore = false;
+    while (i < line.length) {
+        const c = line[i];
+        if (isValid(c)) {
+            lastWasUnderscore = false;
+            started = true;
+            i++;
+        }
+        else if (c === '_' && started && !lastWasUnderscore && i + 1 < line.length && isValid(line[i + 1])) {
+            lastWasUnderscore = true;
+            i++;
+        }
+        else {
+            break;
+        }
+    }
+    return i;
+}
+/** Try to consume a numeric literal. Returns end position, or null if not a number. */
+function tryConsumeNumber(line, start, state) {
+    let i = start;
+    const ch = line[i];
+    if (ch === '0' && i + 1 < line.length) {
+        const next = line[i + 1];
+        let validator = null;
+        if (next === 'x' || next === 'X')
+            validator = isHexDigit;
+        else if (next === 'b' || next === 'B')
+            validator = isBinDigit;
+        else if (next === 'o' || next === 'O')
+            validator = isOctDigit;
+        if (validator) {
+            const after = consumeDigitsWithSep(line, i + 2, validator);
+            if (after === i + 2)
+                return null;
+            i = after;
+            if (i < line.length && line[i] === 'n')
+                i++;
+            return i;
+        }
+    }
+    const hasIntPart = isDigit(ch);
+    let j = hasIntPart ? consumeDigitsWithSep(line, i, isDigit) : i;
+    let hasFracPart = false;
+    if (j < line.length && line[j] === '.' && j + 1 < line.length && isDigit(line[j + 1])) {
+        j++;
+        j = consumeDigitsWithSep(line, j, isDigit);
+        hasFracPart = true;
+    }
+    if (!hasIntPart && !hasFracPart)
+        return null;
+    if (!hasFracPart && j < line.length && line[j] === 'n') {
+        j++;
+    }
+    else if (hasFracPart && j < line.length && line[j] === 'n') {
+        if (state) {
+            emitDiagnostic(state, 'INVALID_BIGINT', 'error', 'BigInt literal cannot have a fractional part', 0, start + 1);
+        }
+        j++;
+    }
+    return j > start ? j : null;
+}
+/** @internal Character-by-character tokenizer for a single KERN line (after indent stripped).
+ *  `mode` selects the lex contract; only 'line' is implemented today. */
+export function tokenizeLineInternal(line, state, mode = 'line') {
+    if (mode !== 'line') {
+        throw new Error(`Lex mode '${mode}' not yet implemented`);
+    }
     const tokens = [];
     let i = 0;
     while (i < line.length) {
@@ -84,16 +163,17 @@ export function tokenizeLineInternal(line, state) {
             i = j;
             continue;
         }
-        // Quoted string "..." with \" escape support
-        if (ch === '"') {
+        // Quoted string "..." or '...' with \" / \' / \\ escape support
+        if (ch === '"' || ch === "'") {
+            const quote = ch;
             const start = i;
             i++;
             let inner = '';
-            while (i < line.length && line[i] !== '"') {
+            while (i < line.length && line[i] !== quote) {
                 if (line[i] === '\\' && i + 1 < line.length) {
                     const next = line[i + 1];
-                    if (next === '"') {
-                        inner += '"';
+                    if (next === quote) {
+                        inner += quote;
                         i += 2;
                     }
                     else if (next === '\\') {
@@ -150,13 +230,14 @@ export function tokenizeLineInternal(line, state) {
             tokens.push({ kind: 'slash', value: line.slice(start, i), pos: start });
             continue;
         }
-        // Number (pure digits)
-        if (isDigit(ch)) {
-            const start = i;
-            while (i < line.length && isDigit(line[i]))
-                i++;
-            tokens.push({ kind: 'number', value: line.slice(start, i), pos: start });
-            continue;
+        // Number — int, float, hex (0x), binary (0b), octal (0o), with optional _ separators and bigint suffix (n)
+        if (isDigit(ch) || (ch === '.' && i + 1 < line.length && isDigit(line[i + 1]))) {
+            const end = tryConsumeNumber(line, i, state);
+            if (end !== null) {
+                tokens.push({ kind: 'number', value: line.slice(i, end), pos: i });
+                i = end;
+                continue;
+            }
         }
         // Identifier: [A-Za-z_][A-Za-z0-9_-]*
         // Handles evolved: prefix (evolved:keyword → strips prefix, returns keyword)
@@ -182,7 +263,7 @@ export function tokenizeLineInternal(line, state) {
     }
     return tokens;
 }
-export function tokenizeLine(line) {
-    return tokenizeLineInternal(line);
+export function tokenizeLine(line, mode = 'line') {
+    return tokenizeLineInternal(line, undefined, mode);
 }
 //# sourceMappingURL=parser-tokenizer.js.map

package/dist/parser-tokenizer.js.map

@@ -1 +1 @@
-{"version":3,"file":"parser-tokenizer.js","sourceRoot":"","sources":["../src/parser-tokenizer.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAuBzD,4EAA4E;AAE5E,SAAS,YAAY,CAAC,EAAU;IAC9B,OAAO,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC;AAC5E,CAAC;AAED,SAAS,WAAW,CAAC,EAAU;IAC7B,OAAO,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC;AACpE,CAAC;AAED,SAAS,OAAO,CAAC,EAAU;IACzB,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC;AAChC,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,KAAkB;IACnE,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAEnB,aAAa;QACb,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;gBAAE,CAAC,EAAE,CAAC;YACrE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,6BAA6B;QAC7B,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,CAAC,IAAI,CAAC,CAAC;YACP,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACxC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBAC3C,KAAK,EAAE,CAAC;oBACR,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;qBAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBAClD,KAAK,EAAE,CAAC;oBACR,IAAI,KAAK,KAAK,CAAC;wBAAE,MAAM;oBACvB,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;;oBAAM,CAAC,EAAE,CAAC;YACb,CAAC;YACD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACd,IAAI,KAAK,EAAE,CAAC;oBACV,cAAc,CACZ,KAAK,EACL,eAAe,EACf,OAAO,EACP,4CAA4C,KAAK,GAAG,CAAC,EAAE,EACvD,CAAC,EACD,KAAK,GAAG,CAAC,EACT,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,CACtB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9C,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,CAAC,IAAI,CAAC,CAAC;;gBAC3B,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACxD,SAAS;QACX,CAAC;QAED,0DAA0D;QAC1D,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBACvB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC5C,CAAC,IAAI,CAAC,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,OAAO,GAAG,CAAC,OAAO,CAAC;gBACxC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBAChC,CAAC,EAAE,CAAC;oBACJ,MAAM,GAAG,IAAI,CAAC;oBACd,MAAM;gBACR,CAAC;gBACD,CAAC,EAAE,CAAC;YACN,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,IAAI,KAAK,EAAE,CAAC;oBACV,cAAc,CACZ,KAAK,EACL,gBAAgB,EAChB,OAAO,EACP,sCAAsC,KAAK,GAAG,CAAC,EAAE,EACjD,CAAC,EACD,KAAK,GAAG,CAAC,EACT,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,CACtB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7F,CAAC,GAAG,CAAC,CAAC;YACN,SAAS;QACX,CAAC;QAED,6CAA6C;QAC7C,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,CAAC,EAAE,CAAC;YACJ,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC1C,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBACzB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;wBACjB,KAAK,IAAI,GAAG,CAAC;wBACb,CAAC,IAAI,CAAC,CAAC;oBACT,CAAC;yBAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;wBACzB,KAAK,IAAI,IAAI,CAAC;wBACd,CAAC,IAAI,CAAC,CAAC;oBACT,CAAC;yBAAM,CAAC;wBACN,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;wBACjB,CAAC,EAAE,CAAC;oBACN,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;oBACjB,CAAC,EAAE,CAAC;gBACN,CAAC;YACH,CAAC;YACD,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBACrB,IAAI,KAAK,EAAE,CAAC;oBACV,cAAc,CACZ,KAAK,EACL,iBAAiB,EACjB,OAAO,EACP,oCAAoC,KAAK,GAAG,CAAC,EAAE,EAC/C,CAAC,EACD,KAAK,GAAG,CAAC,EACT,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,CACtB,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,CAAC,EAAE,CAAC,CAAC,qBAAqB;YAC5B,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,kBAAkB;QAClB,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACnE,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,CAAC,EAAE,CAAC;YACJ,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,CAAC,EAAE,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QAED,SAAS;QACT,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YACpD,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QAED,QAAQ;QACR,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YACnD,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QAED,kCAAkC;QAClC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,CAAC,EAAE,CAAC;YACzG,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QAED,uBAAuB;QACvB,IAAI,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,CAAC,EAAE,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACzE,SAAS;QACX,CAAC;QAED,sCAAsC;QACtC,6EAA6E;QAC7E,IAAI,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,CAAC,EAAE,CAAC;YACpD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9G,CAAC,EAAE,CAAC;gBACJ,MAAM,SAAS,GAAG,CAAC,CAAC;gBACpB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAAE,CAAC,EAAE,CAAC;gBACpD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACnF,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC/E,CAAC;YACD,SAAS;QACX,CAAC;QAED,oBAAoB;QACpB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC,EAAE,CAAC;IACN,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC"}
+{"version":3,"file":"parser-tokenizer.js","sourceRoot":"","sources":["../src/parser-tokenizer.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AA6BzD,4EAA4E;AAE5E,SAAS,YAAY,CAAC,EAAU;IAC9B,OAAO,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC;AAC5E,CAAC;AAED,SAAS,WAAW,CAAC,EAAU;IAC7B,OAAO,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC;AACpE,CAAC;AAED,SAAS,OAAO,CAAC,EAAU;IACzB,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC;AAChC,CAAC;AAED,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC;AAClC,CAAC;AAED,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC;AAChC,CAAC;AAED,qGAAqG;AACrG,SAAS,oBAAoB,CAAC,IAAY,EAAE,KAAa,EAAE,OAA+B;IACxF,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACf,iBAAiB,GAAG,KAAK,CAAC;YAC1B,OAAO,GAAG,IAAI,CAAC;YACf,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,IAAI,OAAO,IAAI,CAAC,iBAAiB,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrG,iBAAiB,GAAG,IAAI,CAAC;YACzB,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,CAAC;YACN,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,uFAAuF;AACvF,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAa,EAAE,KAAkB;IACvE,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAEnB,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,IAAI,SAAS,GAAoC,IAAI,CAAC;QACtD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;YAAE,SAAS,GAAG,UAAU,CAAC;aACpD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;YAAE,SAAS,GAAG,UAAU,CAAC;aACzD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;YAAE,SAAS,GAAG,UAAU,CAAC;QAC9D,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;YAC3D,IAAI,KAAK,KAAK,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjC,CAAC,GAAG,KAAK,CAAC;YACV,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,CAAC,EAAE,CAAC;YAC5C,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/B,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,WAAW,GAAG,KAAK,CAAC;IAExB,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,CAAC,EAAE,CAAC;QACJ,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;QAC3C,WAAW,GAAG,IAAI,CAAC;IACrB,CAAC;IAED,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAE7C,IAAI,CAAC,WAAW,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACvD,CAAC,EAAE,CAAC;IACN,CAAC;SAAM,IAAI,WAAW,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAC7D,IAAI,KAAK,EAAE,CAAC;YACV,cAAc,CAAC,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,8CAA8C,EAAE,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACjH,CAAC;QACD,CAAC,EAAE,CAAC;IACN,CAAC;IAED,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9B,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,KAAkB,EAAE,OAAgB,MAAM;IAC3F,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,uBAAuB,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAEnB,aAAa;QACb,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;gBAAE,CAAC,EAAE,CAAC;YACrE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,6BAA6B;QAC7B,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,CAAC,IAAI,CAAC,CAAC;YACP,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACxC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBAC3C,KAAK,EAAE,CAAC;oBACR,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;qBAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBAClD,KAAK,EAAE,CAAC;oBACR,IAAI,KAAK,KAAK,CAAC;wBAAE,MAAM;oBACvB,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;;oBAAM,CAAC,EAAE,CAAC;YACb,CAAC;YACD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACd,IAAI,KAAK,EAAE,CAAC;oBACV,cAAc,CACZ,KAAK,EACL,eAAe,EACf,OAAO,EACP,4CAA4C,KAAK,GAAG,CAAC,EAAE,EACvD,CAAC,EACD,KAAK,GAAG,CAAC,EACT,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,CACtB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9C,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,CAAC,IAAI,CAAC,CAAC;;gBAC3B,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACxD,SAAS;QACX,CAAC;QAED,0DAA0D;QAC1D,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBACvB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC5C,CAAC,IAAI,CAAC,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,OAAO,GAAG,CAAC,OAAO,CAAC;gBACxC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBAChC,CAAC,EAAE,CAAC;oBACJ,MAAM,GAAG,IAAI,CAAC;oBACd,MAAM;gBACR,CAAC;gBACD,CAAC,EAAE,CAAC;YACN,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,IAAI,KAAK,EAAE,CAAC;oBACV,cAAc,CACZ,KAAK,EACL,gBAAgB,EAChB,OAAO,EACP,sCAAsC,KAAK,GAAG,CAAC,EAAE,EACjD,CAAC,EACD,KAAK,GAAG,CAAC,EACT,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,CACtB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7F,CAAC,GAAG,CAAC,CAAC;YACN,SAAS;QACX,CAAC;QAED,gEAAgE;QAChE,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,CAAC,EAAE,CAAC;YACJ,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;gBAC5C,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBACzB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;wBACnB,KAAK,IAAI,KAAK,CAAC;wBACf,CAAC,IAAI,CAAC,CAAC;oBACT,CAAC;yBAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;wBACzB,KAAK,IAAI,IAAI,CAAC;wBACd,CAAC,IAAI,CAAC,CAAC;oBACT,CAAC;yBAAM,CAAC;wBACN,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;wBACjB,CAAC,EAAE,CAAC;oBACN,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;oBACjB,CAAC,EAAE,CAAC;gBACN,CAAC;YACH,CAAC;YACD,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBACrB,IAAI,KAAK,EAAE,CAAC;oBACV,cAAc,CACZ,KAAK,EACL,iBAAiB,EACjB,OAAO,EACP,oCAAoC,KAAK,GAAG,CAAC,EAAE,EAC/C,CAAC,EACD,KAAK,GAAG,CAAC,EACT,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,CACtB,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,CAAC,EAAE,CAAC,CAAC,qBAAqB;YAC5B,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,kBAAkB;QAClB,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACnE,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,CAAC,EAAE,CAAC;YACJ,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,CAAC,EAAE,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QAED,SAAS;QACT,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YACpD,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QAED,QAAQ;QACR,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YACnD,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QAED,kCAAkC;QAClC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,CAAC,EAAE,CAAC;YACzG,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QAED,2GAA2G;QAC3G,IAAI,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAC7C,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACjB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;gBACnE,CAAC,GAAG,GAAG,CAAC;gBACR,SAAS;YACX,CAAC;QACH,CAAC;QAED,sCAAsC;QACtC,6EAA6E;QAC7E,IAAI,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,CAAC,EAAE,CAAC;YACpD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9G,CAAC,EAAE,CAAC;gBACJ,MAAM,SAAS,GAAG,CAAC,CAAC;gBACpB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAAE,CAAC,EAAE,CAAC;gBACpD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACnF,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC/E,CAAC;YACD,SAAS;QACX,CAAC;QAED,oBAAoB;QACpB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC,EAAE,CAAC;IACN,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,OAAgB,MAAM;IAC/D,OAAO,oBAAoB,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;AACrD,CAAC"}

package/dist/parser-validate-effects.d.ts

@@ -0,0 +1,21 @@
+/** Slice 6 — `effects=pure` validator.
+ *
+ *  Spec: docs/language/effects-pure-spec.md
+ *
+ *  Walks every `fn` / `derive` / `memo` node with `effects=pure` and rejects:
+ *    1. `effects=...` on any other node type (allowed list is `fn|derive|memo`)
+ *    2. `effects=<not-pure>` (slice 6 only accepts the literal `pure`) —
+ *       includes empty string and ExprObject `effects={{ ... }}` per spec.
+ *    3. `async=true` / `stream=true` combined with `effects=pure` (incompatible)
+ *    4. handler / cleanup / expr body containing any of the FORBIDDEN_PATTERNS,
+ *       checked AFTER stripping comments and string literals to avoid false
+ *       positives on commented-out code or string content.
+ *
+ *  This is a static walker — same shape as the `batch=true` rejection in
+ *  packages/terminal/src/transpiler-ink.ts. Limitations are documented in
+ *  the spec doc and are intentional.
+ *
+ *  Does NOT change codegen — bodies that pass the walker emit unchanged. */
+import type { ParseState } from './parser-diagnostics.js';
+import { type IRNode } from './types.js';
+export declare function validateEffects(state: ParseState, root: IRNode): void;

package/dist/parser-validate-effects.js

@@ -0,0 +1,188 @@
+/** Slice 6 — `effects=pure` validator.
+ *
+ *  Spec: docs/language/effects-pure-spec.md
+ *
+ *  Walks every `fn` / `derive` / `memo` node with `effects=pure` and rejects:
+ *    1. `effects=...` on any other node type (allowed list is `fn|derive|memo`)
+ *    2. `effects=<not-pure>` (slice 6 only accepts the literal `pure`) —
+ *       includes empty string and ExprObject `effects={{ ... }}` per spec.
+ *    3. `async=true` / `stream=true` combined with `effects=pure` (incompatible)
+ *    4. handler / cleanup / expr body containing any of the FORBIDDEN_PATTERNS,
+ *       checked AFTER stripping comments and string literals to avoid false
+ *       positives on commented-out code or string content.
+ *
+ *  This is a static walker — same shape as the `batch=true` rejection in
+ *  packages/terminal/src/transpiler-ink.ts. Limitations are documented in
+ *  the spec doc and are intentional.
+ *
+ *  Does NOT change codegen — bodies that pass the walker emit unchanged. */
+import { emitDiagnostic } from './parser-diagnostics.js';
+import { isExprObject } from './types.js';
+const ALLOWED_NODE_TYPES = new Set(['fn', 'derive', 'memo']);
+/** Patterns rejected inside an `effects=pure` body.
+ *
+ *  Each entry is a regex anchored on word boundaries / member-access
+ *  punctuation. The walker reports the first match per pattern by name. */
+const FORBIDDEN_PATTERNS = [
+    // ── I/O — Web ─────────────────────────────────────────────────────
+    { name: 'fetch(', pattern: /\bfetch\s*\(/ },
+    { name: 'XMLHttpRequest', pattern: /\bXMLHttpRequest\b/ },
+    { name: 'console.', pattern: /\bconsole\s*\./ },
+    { name: 'process.', pattern: /\bprocess\s*\./ },
+    // ── I/O — Filesystem ──────────────────────────────────────────────
+    { name: 'readFileSync', pattern: /\breadFileSync\b/ },
+    { name: 'writeFileSync', pattern: /\bwriteFileSync\b/ },
+    { name: 'readFile(', pattern: /\breadFile\s*\(/ },
+    { name: 'writeFile(', pattern: /\bwriteFile\s*\(/ },
+    { name: 'fs.', pattern: /\bfs\s*\./ },
+    // ── I/O — Browser storage ────────────────────────────────────────
+    { name: 'localStorage', pattern: /\blocalStorage\b/ },
+    { name: 'sessionStorage', pattern: /\bsessionStorage\b/ },
+    { name: 'indexedDB', pattern: /\bindexedDB\b/ },
+    { name: 'document.', pattern: /\bdocument\s*\./ },
+    { name: 'window.', pattern: /\bwindow\s*\./ },
+    // ── I/O — Named HTTP clients (Codex review fix) ──────────────────
+    // Spec lists axios/got/ky/undici explicitly — without these patterns
+    // the validator silently accepted `axios.get(...)` etc. as pure.
+    { name: 'axios.', pattern: /\baxios\s*[.(]/ },
+    { name: 'got(', pattern: /\bgot\s*\(/ },
+    { name: 'ky.', pattern: /\bky\s*[.(]/ },
+    { name: 'undici.', pattern: /\bundici\s*\./ },
+    { name: 'http.', pattern: /\bhttps?\s*\./ },
+    // ── Time / randomness ───────────────────────────────────────────────
+    { name: 'Math.random', pattern: /\bMath\.random\b/ },
+    { name: 'Date.now', pattern: /\bDate\.now\b/ },
+    { name: 'new Date()', pattern: /\bnew\s+Date\s*\(\s*\)/ },
+    { name: 'crypto.randomUUID', pattern: /\bcrypto\.randomUUID\b/ },
+    { name: 'crypto.getRandomValues', pattern: /\bcrypto\.getRandomValues\b/ },
+    { name: 'performance.now', pattern: /\bperformance\.now\b/ },
+    // ── Async / scheduling ──────────────────────────────────────────────
+    { name: 'await', pattern: /\bawait\b/ },
+    { name: '.then(', pattern: /\.then\s*\(/ },
+    { name: '.catch(', pattern: /\.catch\s*\(/ },
+    { name: '.finally(', pattern: /\.finally\s*\(/ },
+    { name: 'setTimeout(', pattern: /\bsetTimeout\s*\(/ },
+    { name: 'setInterval(', pattern: /\bsetInterval\s*\(/ },
+    { name: 'setImmediate(', pattern: /\bsetImmediate\s*\(/ },
+    { name: 'queueMicrotask(', pattern: /\bqueueMicrotask\s*\(/ },
+    { name: 'requestAnimationFrame(', pattern: /\brequestAnimationFrame\s*\(/ },
+    { name: 'requestIdleCallback(', pattern: /\brequestIdleCallback\s*\(/ },
+];
+/** Strip JS comments and string literals before pattern matching.
+ *
+ *  Gemini review fix: without this, a comment like `// don't call fetch()` or
+ *  a string literal like `"console.log is forbidden"` would falsely match the
+ *  forbidden patterns. We replace contents with empty quotes / spaces so
+ *  positional source-map info would still survive (we don't emit that here,
+ *  but the offset-preserving substitution is the careful default).
+ *
+ *  Limitations: template literal interpolations (`${...}`) are stripped along
+ *  with the rest of the template — a `fetch(...)` inside `${}` will not be
+ *  detected. Pure code shouldn't be embedding effectful calls inside template
+ *  literals; if it does, declare it impure. */
+function stripCommentsAndStrings(code) {
+    return code
+        .replace(/\/\*[\s\S]*?\*\//g, (m) => ' '.repeat(m.length))
+        .replace(/\/\/[^\n]*/g, (m) => ' '.repeat(m.length))
+        .replace(/"(?:[^"\\\n]|\\.)*"/g, (m) => `"${' '.repeat(Math.max(0, m.length - 2))}"`)
+        .replace(/'(?:[^'\\\n]|\\.)*'/g, (m) => `'${' '.repeat(Math.max(0, m.length - 2))}'`)
+        .replace(/`(?:[^`\\]|\\.)*`/g, (m) => `\`${' '.repeat(Math.max(0, m.length - 2))}\``);
+}
+/** Extract the body code to scan for a node carrying `effects=pure`.
+ *
+ *  - `fn` / `memo`: handler child's `code` prop, plus cleanup blocks (Codex
+ *    review fix — cleanup emits into the function's `finally` and would
+ *    otherwise let `cleanup <<< console.log(...) >>>` bypass the walker).
+ *  - `derive`: `expr` prop value.
+ *  - Compact `expr={{ ... }}` form on `fn` is also scanned. */
+function extractExpr(value) {
+    if (typeof value === 'string')
+        return value;
+    if (isExprObject(value))
+        return value.code;
+    return null;
+}
+function extractBody(node) {
+    const props = node.props || {};
+    const parts = [];
+    if (node.type === 'derive' || node.type === 'fn') {
+        const expr = extractExpr(props.expr);
+        if (expr)
+            parts.push(expr);
+    }
+    // Code-bearing children: handler (always emitted into the body) and
+    // cleanup (emitted into the function's finally block on `fn`).
+    for (const child of node.children || []) {
+        if (child.type !== 'handler' && child.type !== 'cleanup')
+            continue;
+        const code = child.props?.code;
+        if (typeof code === 'string')
+            parts.push(code);
+    }
+    return parts.join('\n');
+}
+function describeEffectsValue(raw) {
+    if (typeof raw === 'string')
+        return raw === '' ? '<empty>' : raw;
+    if (isExprObject(raw))
+        return '<expression>';
+    return String(raw);
+}
+function validateNode(state, node) {
+    const props = node.props || {};
+    // Codex review fix: `effects` is "present" if the prop key exists at all,
+    // including empty string and ExprObject values. The earlier guard
+    // (`effects !== '' && typeof === 'string'`) silently dropped both, which
+    // contradicts the spec rule "anything other than `pure` errors".
+    const effectsRaw = props.effects;
+    const effectsPresent = effectsRaw !== undefined &&
+        (typeof effectsRaw === 'string' || isExprObject(effectsRaw) || typeof effectsRaw === 'boolean');
+    if (effectsPresent) {
+        // 1. Reject on disallowed node types — checked before value validity so
+        // that `effects=junk` on a `transition` still surfaces the right diagnostic.
+        if (!ALLOWED_NODE_TYPES.has(node.type)) {
+            emitDiagnostic(state, 'INVALID_EFFECTS', 'error', `\`effects=\` is only allowed on \`fn\`, \`derive\`, or \`memo\` (got \`${node.type}\`). See docs/language/effects-pure-spec.md.`, node.loc?.line ?? 0, node.loc?.col ?? 0);
+        }
+        else if (effectsRaw !== 'pure') {
+            // 2. Slice 6 only accepts the literal `pure`. Empty string and
+            // ExprObject both land here per Codex review.
+            emitDiagnostic(state, 'INVALID_EFFECTS', 'error', `\`effects=${describeEffectsValue(effectsRaw)}\` is not yet supported — slice 6 only accepts the literal \`pure\`. See docs/language/effects-pure-spec.md for future extensions.`, node.loc?.line ?? 0, node.loc?.col ?? 0);
+        }
+        else {
+            // effects === 'pure' on an allowed node — apply the contract checks.
+            // 3. Reject incompatible prop combinations.
+            const incompatible = [];
+            if (props.async === 'true' || props.async === true)
+                incompatible.push('async=true');
+            if (props.stream === 'true' || props.stream === true)
+                incompatible.push('stream=true');
+            if (incompatible.length > 0) {
+                emitDiagnostic(state, 'INVALID_EFFECTS', 'error', `\`effects=pure\` is incompatible with ${incompatible.join(' and ')} — drop one.`, node.loc?.line ?? 0, node.loc?.col ?? 0);
+            }
+            else {
+                // 4. Body walker — reject any forbidden pattern. Strip comments and
+                // string literals first to avoid false positives (Gemini review fix).
+                const body = stripCommentsAndStrings(extractBody(node));
+                if (body) {
+                    for (const { name, pattern } of FORBIDDEN_PATTERNS) {
+                        if (pattern.test(body)) {
+                            const nameProp = typeof props.name === 'string' ? props.name : node.type;
+                            emitDiagnostic(state, 'INVALID_EFFECTS', 'error', `\`${node.type} name=${nameProp}\` is marked \`effects=pure\` but its body uses \`${name}\` which is not allowed in a pure function. See docs/language/effects-pure-spec.md for the full forbidden list.`, node.loc?.line ?? 0, node.loc?.col ?? 0);
+                            // Report the first match only — a single body usually has one
+                            // root cause; flooding with every match adds noise.
+                            break;
+                        }
+                    }
+                }
+            }
+        }
+    }
+    if (node.children) {
+        for (const child of node.children)
+            validateNode(state, child);
+    }
+}
+export function validateEffects(state, root) {
+    validateNode(state, root);
+}
+//# sourceMappingURL=parser-validate-effects.js.map

package/dist/parser-validate-effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser-validate-effects.js","sourceRoot":"","sources":["../src/parser-validate-effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;4EAiB4E;AAG5E,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAe,YAAY,EAAE,MAAM,YAAY,CAAC;AAEvD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AAE7D;;;2EAG2E;AAC3E,MAAM,kBAAkB,GAAwC;IAC9D,qEAAqE;IACrE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE;IAC3C,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,oBAAoB,EAAE;IACzD,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE;IAC/C,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE;IAC/C,qEAAqE;IACrE,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,kBAAkB,EAAE;IACrD,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,mBAAmB,EAAE;IACvD,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,iBAAiB,EAAE;IACjD,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,kBAAkB,EAAE;IACnD,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE;IACrC,oEAAoE;IACpE,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,kBAAkB,EAAE;IACrD,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,oBAAoB,EAAE;IACzD,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,eAAe,EAAE;IAC/C,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,iBAAiB,EAAE;IACjD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,eAAe,EAAE;IAC7C,oEAAoE;IACpE,qEAAqE;IACrE,iEAAiE;IACjE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,EAAE;IAC7C,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE;IACvC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE;IACvC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,eAAe,EAAE;IAC7C,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE;IAC3C,uEAAuE;IACvE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,kBAAkB,EAAE;IACpD,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,EAAE;IAC9C,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,wBAAwB,EAAE;IACzD,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,wBAAwB,EAAE;IAChE,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,6BAA6B,EAAE;IAC1E,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,sBAAsB,EAAE;IAC5D,uEAAuE;IACvE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE;IACvC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE;IAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE;IAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,gBAAgB,EAAE;IAChD,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,mBAAmB,EAAE;IACrD,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,oBAAoB,EAAE;IACvD,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,qBAAqB,EAAE;IACzD,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,uBAAuB,EAAE;IAC7D,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,8BAA8B,EAAE;IAC3E,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,4BAA4B,EAAE;CACxE,CAAC;AAEF;;;;;;;;;;;+CAW+C;AAC/C,SAAS,uBAAuB,CAAC,IAAY;IAC3C,OAAO,IAAI;SACR,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;SACzD,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;SACnD,OAAO,CAAC,sBAAsB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;SACpF,OAAO,CAAC,sBAAsB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;SACpF,OAAO,CAAC,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAC1F,CAAC;AAED;;;;;;+DAM+D;AAC/D,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IAC3C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,oEAAoE;IACpE,+DAA+D;IAC/D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACnE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;QAC/B,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAY;IACxC,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC;IACjE,IAAI,YAAY,CAAC,GAAG,CAAC;QAAE,OAAO,cAAc,CAAC;IAC7C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB,EAAE,IAAY;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;IAE/B,0EAA0E;IAC1E,kEAAkE;IAClE,yEAAyE;IACzE,iEAAiE;IACjE,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC;IACjC,MAAM,cAAc,GAClB,UAAU,KAAK,SAAS;QACxB,CAAC,OAAO,UAAU,KAAK,QAAQ,IAAI,YAAY,CAAC,UAAU,CAAC,IAAI,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC;IAElG,IAAI,cAAc,EAAE,CAAC;QACnB,wEAAwE;QACxE,6EAA6E;QAC7E,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAc,CAAC,EAAE,CAAC;YACjD,cAAc,CACZ,KAAK,EACL,iBAAiB,EACjB,OAAO,EACP,0EAA0E,IAAI,CAAC,IAAI,8CAA8C,EACjI,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,EACnB,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CACnB,CAAC;QACJ,CAAC;aAAM,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;YACjC,+DAA+D;YAC/D,8CAA8C;YAC9C,cAAc,CACZ,KAAK,EACL,iBAAiB,EACjB,OAAO,EACP,aAAa,oBAAoB,CAAC,UAAU,CAAC,oIAAoI,EACjL,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,EACnB,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CACnB,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,qEAAqE;YACrE,4CAA4C;YAC5C,MAAM,YAAY,GAAa,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;gBAAE,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACpF,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI;gBAAE,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YACvF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,cAAc,CACZ,KAAK,EACL,iBAAiB,EACjB,OAAO,EACP,yCAAyC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EACjF,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,EACnB,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CACnB,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,oEAAoE;gBACpE,sEAAsE;gBACtE,MAAM,IAAI,GAAG,uBAAuB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;gBACxD,IAAI,IAAI,EAAE,CAAC;oBACT,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,kBAAkB,EAAE,CAAC;wBACnD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;4BACvB,MAAM,QAAQ,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;4BACzE,cAAc,CACZ,KAAK,EACL,iBAAiB,EACjB,OAAO,EACP,KAAK,IAAI,CAAC,IAAI,SAAS,QAAQ,qDAAqD,IAAI,iHAAiH,EACzM,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,EACnB,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CACnB,CAAC;4BACF,8DAA8D;4BAC9D,oDAAoD;4BACpD,MAAM;wBACR,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;YAAE,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAiB,EAAE,IAAY;IAC7D,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAC5B,CAAC"}

package/dist/parser-validate-expressions.d.ts

@@ -0,0 +1,6 @@
+/** Post-parse validator: runs parseExpression on bare-string props whose
+ *  schema kind is 'expression'. Failures become INVALID_EXPRESSION diagnostics.
+ *  Does NOT change codegen — strings flow through unchanged on success. */
+import type { ParseState } from './parser-diagnostics.js';
+import { type IRNode } from './types.js';
+export declare function validateExpressions(state: ParseState, root: IRNode): void;

package/dist/parser-validate-expressions.js

@@ -0,0 +1,41 @@
+/** Post-parse validator: runs parseExpression on bare-string props whose
+ *  schema kind is 'expression'. Failures become INVALID_EXPRESSION diagnostics.
+ *  Does NOT change codegen — strings flow through unchanged on success. */
+import { emitDiagnostic } from './parser-diagnostics.js';
+import { parseExpression } from './parser-expression.js';
+import { NODE_SCHEMAS } from './schema.js';
+import { isExprObject } from './types.js';
+function validateNode(state, node) {
+    const schema = NODE_SCHEMAS[node.type];
+    if (schema?.props && node.props) {
+        const quoted = node.__quotedProps;
+        for (const [propName, propSchema] of Object.entries(schema.props)) {
+            if (propSchema.kind !== 'expression')
+                continue;
+            const val = node.props[propName];
+            if (typeof val !== 'string' || val === '')
+                continue;
+            if (isExprObject(val))
+                continue;
+            // Skip props whose value originated from a quoted token — those are
+            // string literals, not expressions, even though the schema says expression.
+            if (quoted?.includes(propName))
+                continue;
+            try {
+                parseExpression(val);
+            }
+            catch (err) {
+                const msg = err instanceof Error ? err.message : String(err);
+                emitDiagnostic(state, 'INVALID_EXPRESSION', 'error', `Invalid expression in '${propName}': ${msg}`, node.loc?.line ?? 0, node.loc?.col ?? 0, { endCol: (node.loc?.col ?? 0) + propName.length });
+            }
+        }
+    }
+    if (node.children) {
+        for (const child of node.children)
+            validateNode(state, child);
+    }
+}
+export function validateExpressions(state, root) {
+    validateNode(state, root);
+}
+//# sourceMappingURL=parser-validate-expressions.js.map

package/dist/parser-validate-expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser-validate-expressions.js","sourceRoot":"","sources":["../src/parser-validate-expressions.ts"],"names":[],"mappings":"AAAA;;2EAE2E;AAG3E,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAe,YAAY,EAAE,MAAM,YAAY,CAAC;AAEvD,SAAS,YAAY,CAAC,KAAiB,EAAE,IAAY;IACnD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;IACjD,IAAI,MAAM,EAAE,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC;QAClC,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAClE,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY;gBAAE,SAAS;YAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACjC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,EAAE;gBAAE,SAAS;YACpD,IAAI,YAAY,CAAC,GAAG,CAAC;gBAAE,SAAS;YAChC,oEAAoE;YACpE,4EAA4E;YAC5E,IAAI,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACzC,IAAI,CAAC;gBACH,eAAe,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,GAAG,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC7D,cAAc,CACZ,KAAK,EACL,oBAAoB,EACpB,OAAO,EACP,0BAA0B,QAAQ,MAAM,GAAG,EAAE,EAC7C,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,EACnB,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,EAClB,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CACnD,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;YAAE,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAiB,EAAE,IAAY;IACjE,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAC5B,CAAC"}

package/dist/parser-validate-union-kind.d.ts

@@ -0,0 +1,24 @@
+/** Slice 4 — `union kind=result|option` validator.
+ *
+ *  Spec: docs/language/result-option-spec.md
+ *
+ *  Walks every `union` node and rejects:
+ *    1. `kind=<other>` — only `result` and `option` are recognised in slice 4.
+ *       Empty string and ExprObject `kind={{ ... }}` also error per the
+ *       slice 6 effects pattern (the prop is a literal-only string).
+ *    2. `kind=result` shape — the union must declare exactly two variants
+ *       named `ok` and `err` (either order). Any other variant set is a
+ *       `KIND_SHAPE_VIOLATION`.
+ *    3. `kind=option` shape — exactly two variants named `some` and `none`.
+ *    4. `discriminant != 'kind'` on `kind=result|option` — the spec mandates
+ *       `discriminant=kind` so slice 7's `?` / `!` propagation operators can
+ *       check `r.kind === 'err'` uniformly across targets.
+ *
+ *  These rules are what make the slice 4 stdlib helpers safe — `map`,
+ *  `unwrapOr`, etc. assume `x.kind === 'ok'` / `x.value` / `x.error`. The
+ *  schema enforces the shape so the helpers don't need defensive checks.
+ *
+ *  Does NOT change codegen — unions that pass the walker emit unchanged. */
+import type { ParseState } from './parser-diagnostics.js';
+import { type IRNode } from './types.js';
+export declare function validateUnionKind(state: ParseState, root: IRNode): void;

package/dist/parser-validate-union-kind.js

@@ -0,0 +1,97 @@
+/** Slice 4 — `union kind=result|option` validator.
+ *
+ *  Spec: docs/language/result-option-spec.md
+ *
+ *  Walks every `union` node and rejects:
+ *    1. `kind=<other>` — only `result` and `option` are recognised in slice 4.
+ *       Empty string and ExprObject `kind={{ ... }}` also error per the
+ *       slice 6 effects pattern (the prop is a literal-only string).
+ *    2. `kind=result` shape — the union must declare exactly two variants
+ *       named `ok` and `err` (either order). Any other variant set is a
+ *       `KIND_SHAPE_VIOLATION`.
+ *    3. `kind=option` shape — exactly two variants named `some` and `none`.
+ *    4. `discriminant != 'kind'` on `kind=result|option` — the spec mandates
+ *       `discriminant=kind` so slice 7's `?` / `!` propagation operators can
+ *       check `r.kind === 'err'` uniformly across targets.
+ *
+ *  These rules are what make the slice 4 stdlib helpers safe — `map`,
+ *  `unwrapOr`, etc. assume `x.kind === 'ok'` / `x.value` / `x.error`. The
+ *  schema enforces the shape so the helpers don't need defensive checks.
+ *
+ *  Does NOT change codegen — unions that pass the walker emit unchanged. */
+import { emitDiagnostic } from './parser-diagnostics.js';
+import { isExprObject } from './types.js';
+const VALID_KINDS = new Set(['result', 'option']);
+const REQUIRED_VARIANTS = {
+    result: new Set(['ok', 'err']),
+    option: new Set(['some', 'none']),
+};
+function describeKindValue(raw) {
+    if (typeof raw === 'string')
+        return raw === '' ? '<empty>' : raw;
+    if (isExprObject(raw))
+        return '<expression>';
+    return String(raw);
+}
+function variantNames(node) {
+    const names = [];
+    for (const child of node.children || []) {
+        if (child.type !== 'variant')
+            continue;
+        const name = child.props?.name;
+        if (typeof name === 'string')
+            names.push(name);
+    }
+    return names;
+}
+function validateNode(state, node) {
+    if (node.type === 'union') {
+        const props = node.props || {};
+        const kindRaw = props.kind;
+        const kindPresent = kindRaw !== undefined && (typeof kindRaw === 'string' || isExprObject(kindRaw) || typeof kindRaw === 'boolean');
+        if (kindPresent) {
+            // 1. Reject any kind value other than the two recognised literals.
+            if (typeof kindRaw !== 'string' || !VALID_KINDS.has(kindRaw)) {
+                emitDiagnostic(state, 'INVALID_UNION_KIND', 'error', `\`kind=${describeKindValue(kindRaw)}\` is not a recognised union kind — slice 4 accepts \`result\` or \`option\`. See docs/language/result-option-spec.md.`, node.loc?.line ?? 0, node.loc?.col ?? 0);
+            }
+            else {
+                const nameProp = typeof props.name === 'string' ? props.name : '<anonymous>';
+                // 4. discriminant must be `kind` — load-bearing for slice 7 propagation
+                // operators (they desugar to `r.kind === 'err'`). The schema does NOT
+                // default discriminant, and `generateUnion` falls back to `'type'` if
+                // missing, so a `union kind=result` without `discriminant=kind` would
+                // silently emit `{ type: 'ok' …}` and break the contract. Codex/Gemini
+                // review fix: enforce presence (not just "if present, must equal").
+                if (props.discriminant !== 'kind') {
+                    const got = props.discriminant === undefined ? '<missing>' : String(props.discriminant);
+                    emitDiagnostic(state, 'KIND_SHAPE_VIOLATION', 'error', `\`union name=${nameProp} kind=${kindRaw}\` must use \`discriminant=kind\` (got \`discriminant=${got}\`). The slice 7 \`?\` / \`!\` operators rely on this. See docs/language/result-option-spec.md.`, node.loc?.line ?? 0, node.loc?.col ?? 0);
+                }
+                else {
+                    // 2/3. Variant-shape check for the two recognised kinds.
+                    // Gemini review fix: compare the SET of variant names so duplicates
+                    // like `[ok, ok]` for kind=result are rejected (the prior `every`
+                    // form let `length === 2 && all in required` slip through).
+                    const required = REQUIRED_VARIANTS[kindRaw];
+                    const found = variantNames(node);
+                    const foundSet = new Set(found);
+                    const sameSet = found.length === required.size &&
+                        foundSet.size === required.size &&
+                        [...required].every((n) => foundSet.has(n));
+                    if (!sameSet) {
+                        const expected = [...required].join(' / ');
+                        const got = found.length === 0 ? '<none>' : found.join(', ');
+                        emitDiagnostic(state, 'KIND_SHAPE_VIOLATION', 'error', `\`union name=${nameProp} kind=${kindRaw}\` must declare exactly the variants \`${expected}\` (got: ${got}). See docs/language/result-option-spec.md.`, node.loc?.line ?? 0, node.loc?.col ?? 0);
+                    }
+                }
+            }
+        }
+    }
+    if (node.children) {
+        for (const child of node.children)
+            validateNode(state, child);
+    }
+}
+export function validateUnionKind(state, root) {
+    validateNode(state, root);
+}
+//# sourceMappingURL=parser-validate-union-kind.js.map

package/dist/parser-validate-union-kind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser-validate-union-kind.js","sourceRoot":"","sources":["../src/parser-validate-union-kind.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;4EAoB4E;AAG5E,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAe,YAAY,EAAE,MAAM,YAAY,CAAC;AAEvD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAElD,MAAM,iBAAiB,GAAwC;IAC7D,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAClC,CAAC;AAEF,SAAS,iBAAiB,CAAC,GAAY;IACrC,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC;IACjE,IAAI,YAAY,CAAC,GAAG,CAAC;QAAE,OAAO,cAAc,CAAC;IAC7C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;QAC/B,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB,EAAE,IAAY;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;QAC3B,MAAM,WAAW,GACf,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC;QAElH,IAAI,WAAW,EAAE,CAAC;YAChB,mEAAmE;YACnE,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7D,cAAc,CACZ,KAAK,EACL,oBAAoB,EACpB,OAAO,EACP,UAAU,iBAAiB,CAAC,OAAO,CAAC,wHAAwH,EAC5J,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,EACnB,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CACnB,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC;gBAE7E,wEAAwE;gBACxE,sEAAsE;gBACtE,sEAAsE;gBACtE,sEAAsE;gBACtE,uEAAuE;gBACvE,oEAAoE;gBACpE,IAAI,KAAK,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;oBAClC,MAAM,GAAG,GAAG,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;oBACxF,cAAc,CACZ,KAAK,EACL,sBAAsB,EACtB,OAAO,EACP,gBAAgB,QAAQ,SAAS,OAAO,yDAAyD,GAAG,iGAAiG,EACrM,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,EACnB,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CACnB,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,yDAAyD;oBACzD,oEAAoE;oBACpE,kEAAkE;oBAClE,4DAA4D;oBAC5D,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;oBAC5C,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;oBACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;oBAChC,MAAM,OAAO,GACX,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI;wBAC9B,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;wBAC/B,CAAC,GAAG,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;wBACb,MAAM,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;wBAC3C,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBAC7D,cAAc,CACZ,KAAK,EACL,sBAAsB,EACtB,OAAO,EACP,gBAAgB,QAAQ,SAAS,OAAO,0CAA0C,QAAQ,YAAY,GAAG,6CAA6C,EACtJ,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,EACnB,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CACnB,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;YAAE,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAiB,EAAE,IAAY;IAC/D,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAC5B,CAAC"}