pyric 0.0.1 → 0.1.0-alpha.7

package/dist/rules/simulator/expression/lexer.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Item 4.1.2 — Lexer for the transaction-tool expression language.
+ *
+ * `tokenize(src)` consumes a single-line source string and returns a
+ * stream of `Token`s ending in an `eof` marker. The lexer is purely
+ * syntactic — no semantic checks (those live in the parser/evaluator).
+ *
+ * Defensive choices, with rationale:
+ *  - Source-length cap is enforced BEFORE the scan begins (cheap reject
+ *    for pathological inputs).
+ *  - The main loop asserts forward progress every iteration (no
+ *    silent infinite loops if a future change forgets to advance).
+ *  - Lone `=`, `&`, `|` are explicit unknown-char errors, NOT silently
+ *    promoted to their two-char cousins. (Otherwise a typo like `a = b`
+ *    would parse as `a == b`.)
+ *  - Numbers reject leading zeros (`01` errors, but `0.5` and `0` are
+ *    fine). Catches typos; matches JSON's stance.
+ *  - Numbers reject anything that doesn't round-trip as
+ *    `Number.isSafeInteger` for the integer portion. Firestore counters
+ *    care about exact integers.
+ *  - Identifiers are strictly ASCII (`[a-zA-Z_][a-zA-Z0-9_]*`); `$café`
+ *    errors loudly rather than silently truncating.
+ *  - String literals accept both `"…"` and `'…'`. Either delimiter
+ *    is valid; the matching delimiter inside the string requires an
+ *    escape (`\"` or `\'`); the other quote is a literal character.
+ *    Single-quote support was folded in 2026-05-05 after the Item 4.6
+ *    forward-deployed probe surfaced 9 lex_errors across 3 prompts
+ *    where models naturally reached for single quotes.
+ *  - String escapes are restricted to `\"`, `\'`, `\\`, `\n`, `\t` —
+ *    anything else after `\` is an error. The escape whitelist is
+ *    documented in the design doc; widening it is a deliberate spec
+ *    change.
+ */
+import { type Token } from './types.js';
+export declare function tokenize(src: string): Token[];
+//# sourceMappingURL=lexer.d.ts.map

package/dist/rules/simulator/expression/lexer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../../../../src/rules/simulator/expression/lexer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAIL,KAAK,KAAK,EAEX,MAAM,YAAY,CAAC;AAwBpB,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,EAAE,CAuJ7C"}

package/dist/rules/simulator/expression/lexer.js

@@ -0,0 +1,318 @@
+/**
+ * Item 4.1.2 — Lexer for the transaction-tool expression language.
+ *
+ * `tokenize(src)` consumes a single-line source string and returns a
+ * stream of `Token`s ending in an `eof` marker. The lexer is purely
+ * syntactic — no semantic checks (those live in the parser/evaluator).
+ *
+ * Defensive choices, with rationale:
+ *  - Source-length cap is enforced BEFORE the scan begins (cheap reject
+ *    for pathological inputs).
+ *  - The main loop asserts forward progress every iteration (no
+ *    silent infinite loops if a future change forgets to advance).
+ *  - Lone `=`, `&`, `|` are explicit unknown-char errors, NOT silently
+ *    promoted to their two-char cousins. (Otherwise a typo like `a = b`
+ *    would parse as `a == b`.)
+ *  - Numbers reject leading zeros (`01` errors, but `0.5` and `0` are
+ *    fine). Catches typos; matches JSON's stance.
+ *  - Numbers reject anything that doesn't round-trip as
+ *    `Number.isSafeInteger` for the integer portion. Firestore counters
+ *    care about exact integers.
+ *  - Identifiers are strictly ASCII (`[a-zA-Z_][a-zA-Z0-9_]*`); `$café`
+ *    errors loudly rather than silently truncating.
+ *  - String literals accept both `"…"` and `'…'`. Either delimiter
+ *    is valid; the matching delimiter inside the string requires an
+ *    escape (`\"` or `\'`); the other quote is a literal character.
+ *    Single-quote support was folded in 2026-05-05 after the Item 4.6
+ *    forward-deployed probe surfaced 9 lex_errors across 3 prompts
+ *    where models naturally reached for single quotes.
+ *  - String escapes are restricted to `\"`, `\'`, `\\`, `\n`, `\t` —
+ *    anything else after `\` is an error. The escape whitelist is
+ *    documented in the design doc; widening it is a deliberate spec
+ *    change.
+ */
+import { EXPRESSION_LIMITS, ExpressionLexError, } from './types.js';
+const SINGLE_CHAR_TOKENS = {
+    '(': 'lparen',
+    ')': 'rparen',
+    '[': 'lbracket',
+    ']': 'rbracket',
+    ',': 'comma',
+    '.': 'dot',
+    '?': 'question',
+    ':': 'colon',
+    '+': 'plus',
+    '-': 'minus',
+    '*': 'star',
+    '/': 'slash',
+    '%': 'percent',
+};
+const KEYWORDS = {
+    true: 'true',
+    false: 'false',
+    null: 'null',
+};
+export function tokenize(src) {
+    if (src.length > EXPRESSION_LIMITS.maxExpressionLength) {
+        throw new ExpressionLexError(`expression exceeds ${EXPRESSION_LIMITS.maxExpressionLength}-character cap (got ${src.length})`, pos(EXPRESSION_LIMITS.maxExpressionLength));
+    }
+    const tokens = [];
+    let i = 0;
+    while (i < src.length) {
+        const startPos = i;
+        const ch = src[i];
+        // Whitespace — tolerate space, tab, CR, LF. Newlines are unusual in
+        // a one-line expression but harmless to tolerate.
+        if (ch === ' ' || ch === '\t' || ch === '\r' || ch === '\n') {
+            i += 1;
+            continue;
+        }
+        // String literal — accepts both `"` and `'` as the delimiter.
+        if (ch === '"' || ch === "'") {
+            const { token, next } = readString(src, i, ch);
+            tokens.push(token);
+            i = next;
+            // Forward-progress invariant.
+            if (i <= startPos) {
+                throw new ExpressionLexError('lexer stalled on string', pos(startPos));
+            }
+            continue;
+        }
+        // Number literal.
+        if (ch >= '0' && ch <= '9') {
+            const { token, next } = readNumber(src, i);
+            tokens.push(token);
+            i = next;
+            if (i <= startPos) {
+                throw new ExpressionLexError('lexer stalled on number', pos(startPos));
+            }
+            continue;
+        }
+        // Identifier or keyword.
+        if (isIdentStart(ch)) {
+            const { token, next } = readIdentifier(src, i);
+            tokens.push(token);
+            i = next;
+            continue;
+        }
+        // Reference: `$alias`.
+        if (ch === '$') {
+            const { token, next } = readPrefixed(src, i, '$', 'reference');
+            tokens.push(token);
+            i = next;
+            continue;
+        }
+        // Sentinel: `@name`.
+        if (ch === '@') {
+            const { token, next } = readPrefixed(src, i, '@', 'sentinel');
+            tokens.push(token);
+            i = next;
+            continue;
+        }
+        // Two-char operators.
+        if (ch === '=' && src[i + 1] === '=') {
+            tokens.push({ kind: 'eq', pos: pos(i) });
+            i += 2;
+            continue;
+        }
+        if (ch === '!' && src[i + 1] === '=') {
+            tokens.push({ kind: 'neq', pos: pos(i) });
+            i += 2;
+            continue;
+        }
+        if (ch === '<') {
+            if (src[i + 1] === '=') {
+                tokens.push({ kind: 'lte', pos: pos(i) });
+                i += 2;
+            }
+            else {
+                tokens.push({ kind: 'lt', pos: pos(i) });
+                i += 1;
+            }
+            continue;
+        }
+        if (ch === '>') {
+            if (src[i + 1] === '=') {
+                tokens.push({ kind: 'gte', pos: pos(i) });
+                i += 2;
+            }
+            else {
+                tokens.push({ kind: 'gt', pos: pos(i) });
+                i += 1;
+            }
+            continue;
+        }
+        if (ch === '&') {
+            if (src[i + 1] !== '&') {
+                throw new ExpressionLexError(`unexpected '&' (did you mean '&&'?)`, pos(i));
+            }
+            tokens.push({ kind: 'and', pos: pos(i) });
+            i += 2;
+            continue;
+        }
+        if (ch === '|') {
+            if (src[i + 1] !== '|') {
+                throw new ExpressionLexError(`unexpected '|' (did you mean '||'?)`, pos(i));
+            }
+            tokens.push({ kind: 'or', pos: pos(i) });
+            i += 2;
+            continue;
+        }
+        if (ch === '!') {
+            tokens.push({ kind: 'bang', pos: pos(i) });
+            i += 1;
+            continue;
+        }
+        if (ch === '=') {
+            throw new ExpressionLexError(`unexpected '=' (did you mean '=='?)`, pos(i));
+        }
+        // Single-char punctuators / arithmetic operators.
+        const single = SINGLE_CHAR_TOKENS[ch];
+        if (single) {
+            tokens.push({ kind: single, pos: pos(i) });
+            i += 1;
+            continue;
+        }
+        // Unknown character.
+        throw new ExpressionLexError(`unexpected character ${JSON.stringify(ch)}`, pos(i));
+    }
+    tokens.push({ kind: 'eof', pos: pos(src.length) });
+    return tokens;
+}
+function pos(offset) {
+    return { offset, column: offset + 1 };
+}
+function isIdentStart(ch) {
+    return ((ch >= 'a' && ch <= 'z')
+        || (ch >= 'A' && ch <= 'Z')
+        || ch === '_');
+}
+function isIdentCont(ch) {
+    return isIdentStart(ch) || (ch >= '0' && ch <= '9');
+}
+function readIdentifier(src, start) {
+    let end = start + 1;
+    while (end < src.length && isIdentCont(src[end]))
+        end += 1;
+    const text = src.slice(start, end);
+    const keyword = KEYWORDS[text];
+    if (keyword) {
+        return { token: { kind: keyword, pos: pos(start) }, next: end };
+    }
+    return { token: { kind: 'identifier', pos: pos(start), value: text }, next: end };
+}
+function readPrefixed(src, start, prefix, kind) {
+    // After consuming the prefix, expect an identifier.
+    const idStart = start + 1;
+    if (idStart >= src.length || !isIdentStart(src[idStart])) {
+        throw new ExpressionLexError(`expected identifier after '${prefix}'`, pos(start));
+    }
+    let end = idStart + 1;
+    while (end < src.length && isIdentCont(src[end]))
+        end += 1;
+    const text = src.slice(idStart, end);
+    return { token: { kind, pos: pos(start), value: text }, next: end };
+}
+function readNumber(src, start) {
+    let i = start;
+    // Integer portion.
+    // Leading zero rule: a leading `0` is OK only if followed by `.` or
+    // an end-of-number boundary. `01`, `00` are errors.
+    const firstDigit = src[i];
+    i += 1;
+    if (firstDigit === '0') {
+        if (i < src.length && src[i] >= '0' && src[i] <= '9') {
+            throw new ExpressionLexError(`leading zeros are not allowed in number literals`, pos(start));
+        }
+    }
+    else {
+        while (i < src.length && src[i] >= '0' && src[i] <= '9')
+            i += 1;
+    }
+    // Optional fractional portion. The `.` is fractional ONLY if the
+    // next char is a digit; if it's an ident-start, leave the `.` for
+    // the main loop to lex as postfix-access (e.g. `5.foo` → number,
+    // dot, ident). A `.` followed by anything else (whitespace, EOF,
+    // another operator) is a malformed `5.` literal — error.
+    let hasFraction = false;
+    if (i < src.length && src[i] === '.') {
+        const after = src[i + 1];
+        if (after !== undefined && after >= '0' && after <= '9') {
+            hasFraction = true;
+            i += 1; // consume `.`
+            while (i < src.length && src[i] >= '0' && src[i] <= '9')
+                i += 1;
+        }
+        else if (after !== undefined && isIdentStart(after)) {
+            // Leave the dot for postfix lexing — number ends at `i`.
+        }
+        else {
+            throw new ExpressionLexError(`expected digit after '.' in number literal`, pos(i));
+        }
+    }
+    // No scientific notation in v1. If we encounter `e`/`E` here, it'd
+    // be the start of an identifier — emit just the number, the next
+    // iteration will pick up the identifier and the parser will fail.
+    const raw = src.slice(start, i);
+    const value = Number.parseFloat(raw);
+    if (!Number.isFinite(value)) {
+        throw new ExpressionLexError(`numeric literal '${raw}' is not finite`, pos(start));
+    }
+    if (!hasFraction && !Number.isSafeInteger(value)) {
+        throw new ExpressionLexError(`integer literal '${raw}' exceeds safe integer range`, pos(start));
+    }
+    return { token: { kind: 'number', pos: pos(start), value }, next: i };
+}
+function readString(src, start, quote) {
+    // Caller guarantees src[start] === quote.
+    let i = start + 1;
+    let out = '';
+    while (i < src.length) {
+        const ch = src[i];
+        if (ch === quote) {
+            // (length already enforced incrementally below)
+            return {
+                token: { kind: 'string', pos: pos(start), value: out },
+                next: i + 1,
+            };
+        }
+        if (ch === '\\') {
+            const esc = src[i + 1];
+            if (esc === undefined) {
+                throw new ExpressionLexError(`unterminated escape sequence in string literal`, pos(i));
+            }
+            switch (esc) {
+                case '"':
+                    out += '"';
+                    break;
+                case "'":
+                    out += "'";
+                    break;
+                case '\\':
+                    out += '\\';
+                    break;
+                case 'n':
+                    out += '\n';
+                    break;
+                case 't':
+                    out += '\t';
+                    break;
+                default:
+                    throw new ExpressionLexError(`invalid escape sequence '\\${esc}' (only \\", \\', \\\\, \\n, \\t are allowed)`, pos(i));
+            }
+            i += 2;
+        }
+        else if (ch === '\n' || ch === '\r') {
+            throw new ExpressionLexError(`unterminated string literal (newline before closing quote)`, pos(start));
+        }
+        else {
+            out += ch;
+            i += 1;
+        }
+        if (out.length > EXPRESSION_LIMITS.maxStringLiteralLength) {
+            throw new ExpressionLexError(`string literal exceeds ${EXPRESSION_LIMITS.maxStringLiteralLength}-character cap`, pos(start));
+        }
+    }
+    throw new ExpressionLexError(`unterminated string literal`, pos(start));
+}
+//# sourceMappingURL=lexer.js.map

package/dist/rules/simulator/expression/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../../../src/rules/simulator/expression/lexer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EACL,iBAAiB,EACjB,kBAAkB,GAInB,MAAM,YAAY,CAAC;AAEpB,MAAM,kBAAkB,GAA8B;IACpD,GAAG,EAAE,QAAQ;IACb,GAAG,EAAE,QAAQ;IACb,GAAG,EAAE,UAAU;IACf,GAAG,EAAE,UAAU;IACf,GAAG,EAAE,OAAO;IACZ,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,UAAU;IACf,GAAG,EAAE,OAAO;IACZ,GAAG,EAAE,MAAM;IACX,GAAG,EAAE,OAAO;IACZ,GAAG,EAAE,MAAM;IACX,GAAG,EAAE,OAAO;IACZ,GAAG,EAAE,SAAS;CACf,CAAC;AAEF,MAAM,QAAQ,GAA8B;IAC1C,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,MAAM;CACb,CAAC;AAEF,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,IAAI,GAAG,CAAC,MAAM,GAAG,iBAAiB,CAAC,mBAAmB,EAAE,CAAC;QACvD,MAAM,IAAI,kBAAkB,CAC1B,sBAAsB,iBAAiB,CAAC,mBAAmB,uBAAuB,GAAG,CAAC,MAAM,GAAG,EAC/F,GAAG,CAAC,iBAAiB,CAAC,mBAAmB,CAAC,CAC3C,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QAEnB,oEAAoE;QACpE,kDAAkD;QAClD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC5D,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QAED,8DAA8D;QAC9D,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC7B,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,CAAC,GAAG,IAAI,CAAC;YACT,8BAA8B;YAC9B,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;gBAClB,MAAM,IAAI,kBAAkB,CAAC,yBAAyB,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,CAAC;YACD,SAAS;QACX,CAAC;QAED,kBAAkB;QAClB,IAAI,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC;YAC3B,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,CAAC,GAAG,IAAI,CAAC;YACT,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;gBAClB,MAAM,IAAI,kBAAkB,CAAC,yBAAyB,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,CAAC;YACD,SAAS;QACX,CAAC;QAED,yBAAyB;QACzB,IAAI,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,CAAC,GAAG,IAAI,CAAC;YACT,SAAS;QACX,CAAC;QAED,uBAAuB;QACvB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAC/D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,CAAC,GAAG,IAAI,CAAC;YACT,SAAS;QACX,CAAC;QAED,qBAAqB;QACrB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;YAC9D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,CAAC,GAAG,IAAI,CAAC;YACT,SAAS;QACX,CAAC;QAED,sBAAsB;QACtB,IAAI,EAAE,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzC,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1C,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC1C,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACzC,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC1C,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACzC,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACvB,MAAM,IAAI,kBAAkB,CAC1B,qCAAqC,EACrC,GAAG,CAAC,CAAC,CAAC,CACP,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1C,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACvB,MAAM,IAAI,kBAAkB,CAC1B,qCAAqC,EACrC,GAAG,CAAC,CAAC,CAAC,CACP,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzC,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3C,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,IAAI,kBAAkB,CAC1B,qCAAqC,EACrC,GAAG,CAAC,CAAC,CAAC,CACP,CAAC;QACJ,CAAC;QAED,kDAAkD;QAClD,MAAM,MAAM,GAAG,kBAAkB,CAAC,EAAE,CAAC,CAAC;QACtC,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3C,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QAED,qBAAqB;QACrB,MAAM,IAAI,kBAAkB,CAC1B,wBAAwB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAC5C,GAAG,CAAC,CAAC,CAAC,CACP,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACnD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,GAAG,CAAC,MAAc;IACzB,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,YAAY,CAAC,EAAU;IAC9B,OAAO,CACL,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC;WACrB,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC;WACxB,EAAE,KAAK,GAAG,CACd,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,EAAU;IAC7B,OAAO,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,cAAc,CAAC,GAAW,EAAE,KAAa;IAChD,IAAI,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC;IACpB,OAAO,GAAG,GAAG,GAAG,CAAC,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QAAE,GAAG,IAAI,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACpF,CAAC;AAED,SAAS,YAAY,CACnB,GAAW,EACX,KAAa,EACb,MAAiB,EACjB,IAA8B;IAE9B,oDAAoD;IACpD,MAAM,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC;IAC1B,IAAI,OAAO,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,kBAAkB,CAC1B,8BAA8B,MAAM,GAAG,EACvC,GAAG,CAAC,KAAK,CAAC,CACX,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,GAAG,OAAO,GAAG,CAAC,CAAC;IACtB,OAAO,GAAG,GAAG,GAAG,CAAC,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QAAE,GAAG,IAAI,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACrC,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACtE,CAAC;AAED,SAAS,UAAU,CAAC,GAAW,EAAE,KAAa;IAC5C,IAAI,CAAC,GAAG,KAAK,CAAC;IAEd,mBAAmB;IACnB,oEAAoE;IACpE,oDAAoD;IACpD,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;IAC3B,CAAC,IAAI,CAAC,CAAC;IACP,IAAI,UAAU,KAAK,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAE,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAE,IAAI,GAAG,EAAE,CAAC;YACvD,MAAM,IAAI,kBAAkB,CAC1B,kDAAkD,EAClD,GAAG,CAAC,KAAK,CAAC,CACX,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAE,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAE,IAAI,GAAG;YAAE,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC;IAED,iEAAiE;IACjE,kEAAkE;IAClE,iEAAiE;IACjE,iEAAiE;IACjE,yDAAyD;IACzD,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,EAAE,CAAC;YACxD,WAAW,GAAG,IAAI,CAAC;YACnB,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc;YACtB,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAE,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAE,IAAI,GAAG;gBAAE,CAAC,IAAI,CAAC,CAAC;QACpE,CAAC;aAAM,IAAI,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YACtD,yDAAyD;QAC3D,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,kBAAkB,CAC1B,4CAA4C,EAC5C,GAAG,CAAC,CAAC,CAAC,CACP,CAAC;QACJ,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,iEAAiE;IACjE,kEAAkE;IAElE,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,kBAAkB,CAC1B,oBAAoB,GAAG,iBAAiB,EACxC,GAAG,CAAC,KAAK,CAAC,CACX,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,WAAW,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,kBAAkB,CAC1B,oBAAoB,GAAG,8BAA8B,EACrD,GAAG,CAAC,KAAK,CAAC,CACX,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,UAAU,CACjB,GAAW,EACX,KAAa,EACb,KAAgB;IAEhB,0CAA0C;IAC1C,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IAClB,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QACnB,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACjB,gDAAgD;YAChD,OAAO;gBACL,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE;gBACtD,IAAI,EAAE,CAAC,GAAG,CAAC;aACZ,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACvB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,kBAAkB,CAC1B,gDAAgD,EAChD,GAAG,CAAC,CAAC,CAAC,CACP,CAAC;YACJ,CAAC;YACD,QAAQ,GAAG,EAAE,CAAC;gBACZ,KAAK,GAAG;oBACN,GAAG,IAAI,GAAG,CAAC;oBACX,MAAM;gBACR,KAAK,GAAG;oBACN,GAAG,IAAI,GAAG,CAAC;oBACX,MAAM;gBACR,KAAK,IAAI;oBACP,GAAG,IAAI,IAAI,CAAC;oBACZ,MAAM;gBACR,KAAK,GAAG;oBACN,GAAG,IAAI,IAAI,CAAC;oBACZ,MAAM;gBACR,KAAK,GAAG;oBACN,GAAG,IAAI,IAAI,CAAC;oBACZ,MAAM;gBACR;oBACE,MAAM,IAAI,kBAAkB,CAC1B,8BAA8B,GAAG,+CAA+C,EAChF,GAAG,CAAC,CAAC,CAAC,CACP,CAAC;YACN,CAAC;YACD,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YACtC,MAAM,IAAI,kBAAkB,CAC1B,4DAA4D,EAC5D,GAAG,CAAC,KAAK,CAAC,CACX,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,EAAE,CAAC;YACV,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,GAAG,iBAAiB,CAAC,sBAAsB,EAAE,CAAC;YAC1D,MAAM,IAAI,kBAAkB,CAC1B,0BAA0B,iBAAiB,CAAC,sBAAsB,gBAAgB,EAClF,GAAG,CAAC,KAAK,CAAC,CACX,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,IAAI,kBAAkB,CAC1B,6BAA6B,EAC7B,GAAG,CAAC,KAAK,CAAC,CACX,CAAC;AACJ,CAAC"}

package/dist/rules/simulator/expression/parser.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Item 4.1.3 — Recursive-descent parser for the transaction-tool
+ * expression language.
+ *
+ * `parse(tokens)` consumes a token stream from `tokenize()` and returns
+ * a single `AstNode` representing the whole expression. The parser
+ * implements the corrected grammar (see types.ts header for the four
+ * supersedence corrections):
+ *
+ *   Expression  = Ternary
+ *   Ternary     = LogicalOr ( "?" Expression ":" Expression )?
+ *   LogicalOr   = LogicalAnd ( "||" LogicalAnd )*
+ *   LogicalAnd  = Comparison ( "&&" Comparison )*
+ *   Comparison  = Sum ( ("==" | "!=" | "<" | "<=" | ">" | ">=") Sum )*
+ *   Sum         = Product ( ("+" | "-") Product )*
+ *   Product     = Unary ( ("*" | "/" | "%") Unary )*
+ *   Unary       = ("-" | "!") Unary | Postfix
+ *   Postfix     = Primary ("." Identifier | "[" Expression "]")*
+ *   Primary     = Number | String | Boolean | Null
+ *               | Reference | SentinelCall | "(" Expression ")"
+ *
+ * Defensive choices, mirrored from the pre-mortem:
+ *  - Comparison and arithmetic chains are LEFT-associative; ternary is
+ *    RIGHT-associative. Both are tested explicitly so a future refactor
+ *    can't silently flip them.
+ *  - `&&` and `||` are SPLIT into LogicalAnd / LogicalOr so `a || b && c`
+ *    parses as `a || (b && c)` (mainstream-language convention, matches
+ *    Firestore Rules).
+ *  - Sentinels MUST have a name on the whitelist, MUST have parens, and
+ *    MUST satisfy arity at parse time. Failure is a loud
+ *    `ExpressionParseError` before evaluation begins.
+ *  - AST depth (root-to-leaf, counting every node) is enforced after
+ *    parsing in a single O(n) walk. The 256-char source cap bounds the
+ *    AST size globally, so the depth check is correctness-only, not a
+ *    DoS gate.
+ */
+import { type AstNode, type Token } from './types.js';
+export declare function parse(tokens: Token[]): AstNode;
+//# sourceMappingURL=parser.d.ts.map

package/dist/rules/simulator/expression/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../../../src/rules/simulator/expression/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,EAKL,KAAK,OAAO,EAIZ,KAAK,KAAK,EAEX,MAAM,YAAY,CAAC;AAEpB,wBAAgB,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAM9C"}