@aid-framework/ir 0.0.0 → 0.1.39

package/dist/predicate/lexer.js

@@ -0,0 +1,176 @@
+/**
+ * PredicateExpr lexer. Tracks byte offsets so every diagnostic points at the
+ * offending span. Never throws: malformed input yields tokens plus diagnostics.
+ *
+ * The only difference from the policy lexer is `.`, which is what makes
+ * `case.metadata.<name>` one path rather than three identifiers.
+ */
+import { IR_DIAGNOSTIC_CODES, irError, offsetPosition, withPosition, } from '../diagnostics.js';
+const KEYWORDS = new Set(['true', 'false', 'and', 'or', 'not']);
+export function predicateDiagnostic(source, context, offset, code, message, hint) {
+    const { line, column } = offsetPosition(source, offset);
+    return withPosition(irError({ code, message, path: context.path, hint }), {
+        file: context.file,
+        line,
+        column,
+    });
+}
+export function tokenizePredicate(source, context = {}) {
+    const tokens = [];
+    const diagnostics = [];
+    let index = 0;
+    while (index < source.length) {
+        const char = source[index];
+        if (char === ' ' || char === '\t' || char === '\n' || char === '\r') {
+            index += 1;
+            continue;
+        }
+        if (char === '(' || char === ')' || char === ',' || char === '.') {
+            const type = char === '(' ? 'lparen' : char === ')' ? 'rparen' : char === ',' ? 'comma' : 'dot';
+            tokens.push({ type, value: char, start: index, end: index + 1 });
+            index += 1;
+            continue;
+        }
+        if (char === '"' || char === "'") {
+            const end = scanString(source, index, char);
+            if (end === -1) {
+                diagnostics.push(predicateDiagnostic(source, context, index, IR_DIAGNOSTIC_CODES.predicateUnterminatedString, 'unterminated string literal', 'close the string with the same quote character it opened with'));
+                index = source.length;
+                continue;
+            }
+            tokens.push({
+                type: 'string',
+                value: decodeString(source.slice(index + 1, end - 1)),
+                start: index,
+                end,
+            });
+            index = end;
+            continue;
+        }
+        if (char >= '0' && char <= '9') {
+            const end = scanNumber(source, index);
+            tokens.push({ type: 'number', value: Number(source.slice(index, end)), start: index, end });
+            index = end;
+            continue;
+        }
+        if (isIdentifierStart(char)) {
+            const end = scanIdentifier(source, index);
+            const text = source.slice(index, end);
+            if (text === 'true' || text === 'false') {
+                tokens.push({ type: 'boolean', value: text === 'true', start: index, end });
+            }
+            else if (KEYWORDS.has(text)) {
+                tokens.push({ type: 'operator', value: text, start: index, end });
+            }
+            else {
+                tokens.push({ type: 'identifier', value: text, start: index, end });
+            }
+            index = end;
+            continue;
+        }
+        const pair = source.slice(index, index + 2);
+        if (pair === '==' || pair === '!=' || pair === '<=' || pair === '>=') {
+            tokens.push({ type: 'operator', value: pair, start: index, end: index + 2 });
+            index += 2;
+            continue;
+        }
+        if (char === '<' || char === '>') {
+            tokens.push({ type: 'operator', value: char, start: index, end: index + 1 });
+            index += 1;
+            continue;
+        }
+        const unexpected = scanUnexpected(source, index);
+        diagnostics.push(predicateDiagnostic(source, context, index, IR_DIAGNOSTIC_CODES.predicateSyntax, `unexpected ${JSON.stringify(unexpected)}`, 'PredicateExpr supports prediction, case.id, case.metadata.<name>, string/number/boolean literals, comparisons, and/or/not, parentheses, and the contains/startswith/endswith/length builtins'));
+        index += unexpected.length;
+    }
+    tokens.push({ type: 'eof', value: '', start: source.length, end: source.length });
+    return { tokens, diagnostics };
+}
+/** The token's text as written, for messages. */
+export function tokenText(token) {
+    if (token.type === 'string')
+        return JSON.stringify(token.value);
+    if (token.type === 'boolean')
+        return String(token.value);
+    return String(token.value);
+}
+function scanString(source, start, quote) {
+    let index = start + 1;
+    while (index < source.length) {
+        const char = source[index];
+        if (char === '\\') {
+            index += 2;
+            continue;
+        }
+        if (char === quote)
+            return index + 1;
+        index += 1;
+    }
+    return -1;
+}
+function decodeString(raw) {
+    let decoded = '';
+    for (let index = 0; index < raw.length; index += 1) {
+        const char = raw[index];
+        if (char === '\\' && index + 1 < raw.length) {
+            const next = raw[index + 1];
+            decoded += next === 'n' ? '\n' : next === 't' ? '\t' : next === 'r' ? '\r' : next;
+            index += 1;
+            continue;
+        }
+        decoded += char;
+    }
+    return decoded;
+}
+function scanNumber(source, start) {
+    let index = start;
+    while (index < source.length && isDigit(source[index]))
+        index += 1;
+    if (index < source.length && source[index] === '.') {
+        index += 1;
+        while (index < source.length && isDigit(source[index]))
+            index += 1;
+    }
+    return index;
+}
+function scanIdentifier(source, start) {
+    let index = start;
+    while (index < source.length && isIdentifierPart(source[index]))
+        index += 1;
+    return index;
+}
+function isDigit(char) {
+    return char >= '0' && char <= '9';
+}
+function isIdentifierStart(char) {
+    return (char >= 'a' && char <= 'z') || (char >= 'A' && char <= 'Z') || char === '_';
+}
+function isIdentifierPart(char) {
+    return isIdentifierStart(char) || isDigit(char);
+}
+/**
+ * The span of characters at `start` that no token can begin with.
+ *
+ * Coalesced so one unknown operator such as `=~` reports one error instead of one
+ * per character.
+ */
+function scanUnexpected(source, start) {
+    let index = start;
+    while (index < source.length && isUnexpected(source[index]))
+        index += 1;
+    return source.slice(start, Math.max(index, start + 1));
+}
+function isUnexpected(char) {
+    if (char === ' ' || char === '\t' || char === '\n' || char === '\r')
+        return false;
+    if (char === '(' || char === ')' || char === ',' || char === '.')
+        return false;
+    if (char === '"' || char === "'")
+        return false;
+    if (isDigit(char) || isIdentifierStart(char))
+        return false;
+    // `<` and `>` always lex as operators before reaching here, but they can appear
+    // later in a run, so they still end it.
+    return char !== '<' && char !== '>';
+}
+//# sourceMappingURL=lexer.js.map

package/dist/predicate/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../src/predicate/lexer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EACL,mBAAmB,EAEnB,OAAO,EACP,cAAc,EACd,YAAY,GACb,MAAM,mBAAmB,CAAC;AAgC3B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAEhE,MAAM,UAAU,mBAAmB,CACjC,MAAc,EACd,OAAyB,EACzB,MAAc,EACd,IAAoE,EACpE,OAAe,EACf,IAAa;IAEb,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxD,OAAO,YAAY,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE;QACxE,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,IAAI;QACJ,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,MAAc,EACd,OAAO,GAAqB,EAAE;IAE9B,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,WAAW,GAAmB,EAAE,CAAC;IACvC,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAW,CAAC;QAErC,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACpE,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjE,MAAM,IAAI,GACR,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YACrF,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YACjE,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC5C,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;gBACf,WAAW,CAAC,IAAI,CACd,mBAAmB,CACjB,MAAM,EACN,OAAO,EACP,KAAK,EACL,mBAAmB,CAAC,2BAA2B,EAC/C,6BAA6B,EAC7B,+DAA+D,CAChE,CACF,CAAC;gBACF,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;gBACtB,SAAS;YACX,CAAC;YACD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;gBACrD,KAAK,EAAE,KAAK;gBACZ,GAAG;aACJ,CAAC,CAAC;YACH,KAAK,GAAG,GAAG,CAAC;YACZ,SAAS;QACX,CAAC;QACD,IAAI,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAC5F,KAAK,GAAG,GAAG,CAAC;YACZ,SAAS;QACX,CAAC;QACD,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACtC,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,KAAK,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAC9E,CAAC;iBAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YACpE,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YACtE,CAAC;YACD,KAAK,GAAG,GAAG,CAAC;YACZ,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACrE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7E,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7E,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACjD,WAAW,CAAC,IAAI,CACd,mBAAmB,CACjB,MAAM,EACN,OAAO,EACP,KAAK,EACL,mBAAmB,CAAC,eAAe,EACnC,cAAc,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,EAC1C,8LAA8L,CAC/L,CACF,CAAC;QACF,KAAK,IAAI,UAAU,CAAC,MAAM,CAAC;IAC7B,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAClF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACjC,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,SAAS,CAAC,KAAqB;IAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzD,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,KAAa,EAAE,KAAa;IAC9D,IAAI,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC;IACtB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAW,CAAC;QACrC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,KAAK,GAAG,CAAC,CAAC;QACrC,KAAK,IAAI,CAAC,CAAC;IACb,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED,SAAS,YAAY,CAAC,GAAW;IAC/B,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAW,CAAC;QAClC,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,CAAW,CAAC;YACtC,OAAO,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAClF,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,OAAO,IAAI,IAAI,CAAC;IAClB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,KAAa;IAC/C,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC;QAAE,KAAK,IAAI,CAAC,CAAC;IAC7E,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;QACnD,KAAK,IAAI,CAAC,CAAC;QACX,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC;YAAE,KAAK,IAAI,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,KAAa;IACnD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC;QAAE,KAAK,IAAI,CAAC,CAAC;IACtF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC;AACpC,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,CAAC,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,KAAK,GAAG,CAAC;AACtF,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,iBAAiB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,MAAc,EAAE,KAAa;IACnD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,YAAY,CAAC,MAAM,CAAC,KAAK,CAAW,CAAC;QAAE,KAAK,IAAI,CAAC,CAAC;IAClF,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAClF,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IAC/E,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IAC/C,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3D,gFAAgF;IAChF,wCAAwC;IACxC,OAAO,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC;AACtC,CAAC"}

package/dist/predicate/parser.d.ts

@@ -0,0 +1,16 @@
+/**
+ * PredicateExpr recursive-descent parser. Total: it returns an AST plus
+ * diagnostics and never lets an exception escape. An unparseable predicate yields
+ * an `invalid` node and an error diagnostic -- never a missing condition, which a
+ * caller could mistake for "nothing to check".
+ */
+import { type IrDiagnostic } from '../diagnostics.js';
+import { type PredicateNode } from './ast.js';
+import { type PredicateContext } from './lexer.js';
+export interface PredicateParseResult {
+    /** Always present: an unparseable source comes back as an `invalid` node. */
+    ast: PredicateNode;
+    diagnostics: IrDiagnostic[];
+}
+export declare function parsePredicateExpr(source: string, context?: PredicateContext): PredicateParseResult;
+//# sourceMappingURL=parser.d.ts.map

package/dist/predicate/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/predicate/parser.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAuB,KAAK,YAAY,EAAyB,MAAM,mBAAmB,CAAC;AAClG,OAAO,EAOL,KAAK,aAAa,EAGnB,MAAM,UAAU,CAAC;AAClB,OAAO,EACL,KAAK,gBAAgB,EAKtB,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,oBAAoB;IACnC,6EAA6E;IAC7E,GAAG,EAAE,aAAa,CAAC;IACnB,WAAW,EAAE,YAAY,EAAE,CAAC;CAC7B;AAED,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,gBAAqB,GAC7B,oBAAoB,CA2FtB"}

package/dist/predicate/parser.js

@@ -0,0 +1,317 @@
+/**
+ * PredicateExpr recursive-descent parser. Total: it returns an AST plus
+ * diagnostics and never lets an exception escape. An unparseable predicate yields
+ * an `invalid` node and an error diagnostic -- never a missing condition, which a
+ * caller could mistake for "nothing to check".
+ */
+import { IR_DIAGNOSTIC_CODES, irError, withPosition } from '../diagnostics.js';
+import { formatPredicateExpr, isPredicateBuiltin, PREDICATE_BUILTIN_ARITY, PREDICATE_OPERATORS, predicateIsBoolean, } from './ast.js';
+import { predicateDiagnostic, tokenizePredicate, tokenText, } from './lexer.js';
+export function parsePredicateExpr(source, context = {}) {
+    const diagnostics = [];
+    if (source.trim() === '') {
+        diagnostics.push(predicateDiagnostic(source, context, 0, IR_DIAGNOSTIC_CODES.predicateEmpty, 'empty predicate expression', 'an assert must evaluate to true or false; there is no implicit "pass"'));
+        return { ast: invalidNode('empty predicate expression'), diagnostics };
+    }
+    const lexed = tokenizePredicate(source, context);
+    diagnostics.push(...lexed.diagnostics);
+    // A tokenization failure makes the token stream untrustworthy: parsing it would
+    // report cascading syntax errors for characters the lexer already rejected.
+    if (diagnostics.some((entry) => entry.severity === 'error')) {
+        const first = diagnostics.find((entry) => entry.severity === 'error');
+        return { ast: invalidNode(first?.message ?? 'predicate could not be read'), diagnostics };
+    }
+    let ast;
+    try {
+        const parser = new Parser(source, context, lexed.tokens, diagnostics);
+        ast = parser.parseExpression();
+        if (ast !== undefined && !parser.atEnd()) {
+            const token = parser.peek();
+            diagnostics.push(predicateDiagnostic(source, context, token.start, IR_DIAGNOSTIC_CODES.predicateTrailingToken, `unexpected trailing ${tokenText(token)} after a complete expression`, 'a predicate is a single expression; combine conditions with and/or'));
+        }
+    }
+    catch (error) {
+        diagnostics.push(withPosition(irError({
+            code: IR_DIAGNOSTIC_CODES.predicateSyntax,
+            message: `predicate expression could not be parsed: ${error instanceof Error ? error.message : String(error)}`,
+            path: context.path,
+        }), { file: context.file }));
+    }
+    const firstError = diagnostics.find((entry) => entry.severity === 'error');
+    if (firstError !== undefined || ast === undefined) {
+        return {
+            ast: invalidNode(firstError?.message ?? 'predicate could not be parsed'),
+            diagnostics,
+        };
+    }
+    // Every boolean position, not just the root: `length(prediction)` at the root and
+    // `not prediction` under a `not` are the same mistake, and both must be refused
+    // here rather than surfacing as "not a pass" at eval time.
+    const mistyped = booleanPositionErrors(ast);
+    if (mistyped.length > 0) {
+        for (const node of mistyped) {
+            diagnostics.push(predicateDiagnostic(source, context, 0, IR_DIAGNOSTIC_CODES.predicateNotBoolean, `${formatPredicateExpr(node)} is not true or false`, 'a predicate must evaluate to true or false; compare it, for example `prediction != ""` or `length(prediction) < 4000`'));
+        }
+        return {
+            ast: invalidNode('a predicate must evaluate to true or false'),
+            diagnostics,
+        };
+    }
+    return { ast, diagnostics };
+}
+/**
+ * Every node sitting in a boolean position that is not boolean by construction.
+ *
+ * `predicateIsBoolean` only answers for one node; `and`/`or`/`not` are boolean
+ * whatever their operands are, so the walk is what catches a string or a number
+ * smuggled into a boolean slot.
+ */
+function booleanPositionErrors(root) {
+    const wrong = [];
+    const visit = (node, booleanPosition) => {
+        if (booleanPosition && !predicateIsBoolean(node))
+            wrong.push(node);
+        switch (node.kind) {
+            case 'and':
+            case 'or':
+                visit(node.left, true);
+                visit(node.right, true);
+                return;
+            case 'not':
+                visit(node.operand, true);
+                return;
+            case 'comparison':
+                visit(node.left, false);
+                visit(node.right, false);
+                return;
+            case 'call':
+                for (const argument of node.args)
+                    visit(argument, false);
+                return;
+            default:
+                return;
+        }
+    };
+    visit(root, true);
+    return wrong;
+}
+function invalidNode(reason) {
+    return { kind: 'invalid', reason };
+}
+class Parser {
+    source;
+    context;
+    tokens;
+    diagnostics;
+    index = 0;
+    constructor(source, context, tokens, diagnostics) {
+        this.source = source;
+        this.context = context;
+        this.tokens = tokens;
+        this.diagnostics = diagnostics;
+    }
+    atEnd() {
+        return this.peek().type === 'eof';
+    }
+    peek(offset = 0) {
+        const token = this.tokens[Math.min(this.index + offset, this.tokens.length - 1)];
+        return token;
+    }
+    parseExpression() {
+        return this.parseOr();
+    }
+    parseOr() {
+        let left = this.parseAnd();
+        while (this.isOperator('or')) {
+            this.index += 1;
+            const right = this.parseAnd();
+            if (left === undefined || right === undefined)
+                return left ?? right;
+            left = { kind: 'or', left, right };
+        }
+        return left;
+    }
+    parseAnd() {
+        let left = this.parseNot();
+        while (this.isOperator('and')) {
+            this.index += 1;
+            const right = this.parseNot();
+            if (left === undefined || right === undefined)
+                return left ?? right;
+            left = { kind: 'and', left, right };
+        }
+        return left;
+    }
+    /**
+     * `not` binds looser than a comparison, so `not prediction == "a"` negates the
+     * comparison rather than negating a string. Binding it tighter would let
+     * `not <string path>` reach the evaluator as a well-typed-looking tree.
+     */
+    parseNot() {
+        if (!this.isOperator('not'))
+            return this.parseComparison();
+        this.index += 1;
+        const operand = this.parseNot();
+        return operand === undefined ? undefined : { kind: 'not', operand };
+    }
+    parseComparison() {
+        const left = this.parsePrimary();
+        const token = this.peek();
+        const op = token.type === 'operator' ? toOperator(String(token.value)) : undefined;
+        if (op === undefined)
+            return left;
+        this.index += 1;
+        const right = this.parsePrimary();
+        if (left === undefined || right === undefined)
+            return left ?? right;
+        return { kind: 'comparison', op, left, right };
+    }
+    parsePrimary() {
+        const token = this.peek();
+        if (token.type === 'boolean') {
+            this.index += 1;
+            return { kind: 'boolean', value: Boolean(token.value) };
+        }
+        if (token.type === 'number') {
+            this.index += 1;
+            return { kind: 'number', value: Number(token.value) };
+        }
+        if (token.type === 'string') {
+            this.index += 1;
+            return { kind: 'string', value: String(token.value) };
+        }
+        if (token.type === 'lparen') {
+            this.index += 1;
+            const inner = this.parseExpression();
+            if (this.peek().type !== 'rparen') {
+                this.report(this.peek().start, IR_DIAGNOSTIC_CODES.predicateUnclosedParen, 'unclosed parenthesis in predicate expression', 'add the matching ")"');
+                return inner;
+            }
+            this.index += 1;
+            return inner;
+        }
+        if (token.type === 'identifier') {
+            return this.parseIdentifier();
+        }
+        this.report(token.start, IR_DIAGNOSTIC_CODES.predicateExpected, token.type === 'eof'
+            ? 'unexpected end of predicate expression'
+            : `unexpected ${tokenText(token)} in predicate expression`, 'expected prediction, case.id, case.metadata.<name>, a literal, or a builtin call');
+        return undefined;
+    }
+    parseIdentifier() {
+        const token = this.peek();
+        const name = String(token.value);
+        if (this.peek(1).type === 'lparen') {
+            return this.parseCall(token, name);
+        }
+        return this.parsePath(token, name);
+    }
+    parseCall(token, name) {
+        if (!isPredicateBuiltin(name)) {
+            this.report(token.start, IR_DIAGNOSTIC_CODES.predicateUnknownBuiltin, `unknown builtin "${name}"`, 'a predicate naming a builtin the runtime cannot evaluate is rejected rather than treated as true');
+            this.skipCallArguments();
+            return undefined;
+        }
+        this.index += 2; // identifier and '('
+        const args = [];
+        if (this.peek().type !== 'rparen') {
+            for (;;) {
+                const argument = this.parsePrimary();
+                if (argument === undefined)
+                    break;
+                args.push(argument);
+                if (this.peek().type !== 'comma')
+                    break;
+                this.index += 1;
+            }
+        }
+        if (this.peek().type !== 'rparen') {
+            this.report(this.peek().start, IR_DIAGNOSTIC_CODES.predicateUnclosedParen, `unclosed argument list for ${name}(...)`, 'add the matching ")"');
+            return undefined;
+        }
+        this.index += 1;
+        const builtin = name;
+        const arity = PREDICATE_BUILTIN_ARITY[builtin];
+        if (args.length !== arity) {
+            this.report(token.start, IR_DIAGNOSTIC_CODES.predicateArity, `${name}() takes ${arity} argument${arity === 1 ? '' : 's'}, received ${args.length}`);
+            return undefined;
+        }
+        const call = { kind: 'call', name: builtin, args };
+        return call;
+    }
+    parsePath(token, name) {
+        if (name === 'prediction') {
+            this.index += 1;
+            return { kind: 'path', path: 'prediction' };
+        }
+        if (name !== 'case') {
+            this.reportUnknownPath(token, name);
+            this.index += 1;
+            return undefined;
+        }
+        this.index += 1; // 'case'
+        if (this.peek().type !== 'dot') {
+            this.reportUnknownPath(token, name);
+            return undefined;
+        }
+        this.index += 1; // '.'
+        const field = this.peek();
+        if (field.type !== 'identifier') {
+            this.reportUnknownPath(token, name);
+            return undefined;
+        }
+        const fieldName = String(field.value);
+        this.index += 1;
+        if (fieldName === 'id') {
+            return { kind: 'path', path: 'case.id' };
+        }
+        if (fieldName !== 'metadata') {
+            this.reportUnknownPath(token, `case.${fieldName}`);
+            return undefined;
+        }
+        if (this.peek().type !== 'dot') {
+            this.report(field.start, IR_DIAGNOSTIC_CODES.predicateUnknownPath, 'case.metadata is not a value on its own; name one of its keys', 'write case.metadata.<name>, for example case.metadata.locale');
+            return undefined;
+        }
+        this.index += 1; // '.'
+        const key = this.peek();
+        if (key.type !== 'identifier') {
+            this.report(key.start, IR_DIAGNOSTIC_CODES.predicateUnknownPath, 'case.metadata requires a key name after the final "."', 'write case.metadata.<name>, for example case.metadata.locale');
+            return undefined;
+        }
+        this.index += 1;
+        return { kind: 'path', path: 'case.metadata', name: String(key.value) };
+    }
+    reportUnknownPath(token, name) {
+        this.report(token.start, IR_DIAGNOSTIC_CODES.predicateUnknownPath, `unknown path "${name}"`, 'the only paths are prediction, case.id, and case.metadata.<name>');
+    }
+    /** Consumes a rejected call's arguments so one bad builtin yields one error. */
+    skipCallArguments() {
+        let depth = 0;
+        while (!this.atEnd()) {
+            const token = this.peek();
+            this.index += 1;
+            if (token.type === 'lparen') {
+                depth += 1;
+            }
+            else if (token.type === 'rparen') {
+                depth -= 1;
+                if (depth <= 0)
+                    return;
+            }
+        }
+    }
+    isOperator(value) {
+        const token = this.peek();
+        return token.type === 'operator' && token.value === value;
+    }
+    report(offset, code, message, hint) {
+        this.diagnostics.push(predicateDiagnostic(this.source, this.context, offset, code, message, hint));
+    }
+}
+function toOperator(value) {
+    return PREDICATE_OPERATORS.includes(value)
+        ? value
+        : undefined;
+}
+//# sourceMappingURL=parser.js.map

package/dist/predicate/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/predicate/parser.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,mBAAmB,EAAqB,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClG,OAAO,EACL,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,EACvB,mBAAmB,EAKnB,kBAAkB,GACnB,MAAM,UAAU,CAAC;AAClB,OAAO,EAGL,mBAAmB,EACnB,iBAAiB,EACjB,SAAS,GACV,MAAM,YAAY,CAAC;AAQpB,MAAM,UAAU,kBAAkB,CAChC,MAAc,EACd,OAAO,GAAqB,EAAE;IAE9B,MAAM,WAAW,GAAmB,EAAE,CAAC;IAEvC,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACzB,WAAW,CAAC,IAAI,CACd,mBAAmB,CACjB,MAAM,EACN,OAAO,EACP,CAAC,EACD,mBAAmB,CAAC,cAAc,EAClC,4BAA4B,EAC5B,uEAAuE,CACxE,CACF,CAAC;QACF,OAAO,EAAE,GAAG,EAAE,WAAW,CAAC,4BAA4B,CAAC,EAAE,WAAW,EAAE,CAAC;IACzE,CAAC;IAED,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IAEvC,gFAAgF;IAChF,4EAA4E;IAC5E,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QACtE,OAAO,EAAE,GAAG,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,IAAI,6BAA6B,CAAC,EAAE,WAAW,EAAE,CAAC;IAC5F,CAAC;IAED,IAAI,GAA8B,CAAC;IACnC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACtE,GAAG,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;QAC/B,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CACd,mBAAmB,CACjB,MAAM,EACN,OAAO,EACP,KAAK,CAAC,KAAK,EACX,mBAAmB,CAAC,sBAAsB,EAC1C,uBAAuB,SAAS,CAAC,KAAK,CAAC,8BAA8B,EACrE,oEAAoE,CACrE,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,WAAW,CAAC,IAAI,CACd,YAAY,CACV,OAAO,CAAC;YACN,IAAI,EAAE,mBAAmB,CAAC,eAAe;YACzC,OAAO,EAAE,6CACP,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CACvD,EAAE;YACF,IAAI,EAAE,OAAO,CAAC,IAAI;SACnB,CAAC,EACF,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CACvB,CACF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC3E,IAAI,UAAU,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAClD,OAAO;YACL,GAAG,EAAE,WAAW,CAAC,UAAU,EAAE,OAAO,IAAI,+BAA+B,CAAC;YACxE,WAAW;SACZ,CAAC;IACJ,CAAC;IAED,kFAAkF;IAClF,gFAAgF;IAChF,2DAA2D;IAC3D,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CACd,mBAAmB,CACjB,MAAM,EACN,OAAO,EACP,CAAC,EACD,mBAAmB,CAAC,mBAAmB,EACvC,GAAG,mBAAmB,CAAC,IAAI,CAAC,uBAAuB,EACnD,uHAAuH,CACxH,CACF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,EAAE,WAAW,CAAC,4CAA4C,CAAC;YAC9D,WAAW;SACZ,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qBAAqB,CAAC,IAAmB;IAChD,MAAM,KAAK,GAAoB,EAAE,CAAC;IAElC,MAAM,KAAK,GAAG,CAAC,IAAmB,EAAE,eAAwB,EAAQ,EAAE;QACpE,IAAI,eAAe,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,KAAK,CAAC;YACX,KAAK,IAAI;gBACP,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBACxB,OAAO;YACT,KAAK,KAAK;gBACR,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC1B,OAAO;YACT,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACzB,OAAO;YACT,KAAK,MAAM;gBACT,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI;oBAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBACzD,OAAO;YACT;gBACE,OAAO;QACX,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,MAAc;IACjC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AACrC,CAAC;AAED,MAAM,MAAM;IAIS,MAAM;IACN,OAAO;IACP,MAAM;IACN,WAAW;IANtB,KAAK,GAAG,CAAC,CAAC;IAElB,YACmB,MAAc,EACd,OAAyB,EACzB,MAAwB,EACxB,WAA2B;sBAH3B,MAAM;uBACN,OAAO;sBACP,MAAM;2BACN,WAAW;IAC3B,CAAC;IAEJ,KAAK;QACH,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC;IACpC,CAAC;IAED,IAAI,CAAC,MAAM,GAAG,CAAC;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QACjF,OAAO,KAAuB,CAAC;IACjC,CAAC;IAED,eAAe;QACb,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;IACxB,CAAC;IAEO,OAAO;QACb,IAAI,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,IAAI,IAAI,KAAK,CAAC;YACpE,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,QAAQ;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,IAAI,IAAI,KAAK,CAAC;YACpE,IAAI,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACtC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;OAIG;IACK,QAAQ;QACd,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,eAAe,EAAE,CAAC;QAC3D,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAChB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACtE,CAAC;IAEO,eAAe;QACrB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnF,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAClC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,IAAI,KAAK,CAAC;QACpE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACjD,CAAC;IAEO,YAAY;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAE1B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAChB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAChB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAChB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAClC,IAAI,CAAC,MAAM,CACT,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,EACjB,mBAAmB,CAAC,sBAAsB,EAC1C,8CAA8C,EAC9C,sBAAsB,CACvB,CAAC;gBACF,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAChB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,eAAe,EAAE,CAAC;QAChC,CAAC;QAED,IAAI,CAAC,MAAM,CACT,KAAK,CAAC,KAAK,EACX,mBAAmB,CAAC,iBAAiB,EACrC,KAAK,CAAC,IAAI,KAAK,KAAK;YAClB,CAAC,CAAC,wCAAwC;YAC1C,CAAC,CAAC,cAAc,SAAS,CAAC,KAAK,CAAC,0BAA0B,EAC5D,kFAAkF,CACnF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAEO,eAAe;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;IAEO,SAAS,CAAC,KAAqB,EAAE,IAAY;QACnD,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CACT,KAAK,CAAC,KAAK,EACX,mBAAmB,CAAC,uBAAuB,EAC3C,oBAAoB,IAAI,GAAG,EAC3B,kGAAkG,CACnG,CAAC;YACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACzB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,qBAAqB;QACtC,MAAM,IAAI,GAAoB,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClC,SAAS,CAAC;gBACR,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,QAAQ,KAAK,SAAS;oBAAE,MAAM;gBAClC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACpB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;oBAAE,MAAM;gBACxC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClC,IAAI,CAAC,MAAM,CACT,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,EACjB,mBAAmB,CAAC,sBAAsB,EAC1C,8BAA8B,IAAI,OAAO,EACzC,sBAAsB,CACvB,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAEhB,MAAM,OAAO,GAAG,IAAwB,CAAC;QACzC,MAAM,KAAK,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,MAAM,CACT,KAAK,CAAC,KAAK,EACX,mBAAmB,CAAC,cAAc,EAClC,GAAG,IAAI,YAAY,KAAK,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,cAAc,IAAI,CAAC,MAAM,EAAE,CACtF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,IAAI,GAAkB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,SAAS,CAAC,KAAqB,EAAE,IAAY;QACnD,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;YAC1B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAChB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QAC9C,CAAC;QAED,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YACpB,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAChB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS;QAC1B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACpC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACpC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAEhB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC3C,CAAC;QACD,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YAC7B,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,QAAQ,SAAS,EAAE,CAAC,CAAC;YACnD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,MAAM,CACT,KAAK,CAAC,KAAK,EACX,mBAAmB,CAAC,oBAAoB,EACxC,+DAA+D,EAC/D,8DAA8D,CAC/D,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM;QACvB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CACT,GAAG,CAAC,KAAK,EACT,mBAAmB,CAAC,oBAAoB,EACxC,uDAAuD,EACvD,8DAA8D,CAC/D,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAChB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;IAC1E,CAAC;IAEO,iBAAiB,CAAC,KAAqB,EAAE,IAAY;QAC3D,IAAI,CAAC,MAAM,CACT,KAAK,CAAC,KAAK,EACX,mBAAmB,CAAC,oBAAoB,EACxC,iBAAiB,IAAI,GAAG,EACxB,kEAAkE,CACnE,CAAC;IACJ,CAAC;IAED,gFAAgF;IACxE,iBAAiB;QACvB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAChB,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC5B,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnC,KAAK,IAAI,CAAC,CAAC;gBACX,IAAI,KAAK,IAAI,CAAC;oBAAE,OAAO;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAEO,UAAU,CAAC,KAAa;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC;IAC5D,CAAC;IAEO,MAAM,CACZ,MAAc,EACd,IAAoE,EACpE,OAAe,EACf,IAAa;QAEb,IAAI,CAAC,WAAW,CAAC,IAAI,CACnB,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAC5E,CAAC;IACJ,CAAC;CACF;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAQ,mBAAyC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAC/D,CAAC,CAAE,KAA2B;QAC9B,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}