pyric 0.0.1 → 0.1.0-alpha.7

package/dist/rules/grammar/FirestoreParser.js

@@ -0,0 +1,409 @@
+import * as ohm from 'ohm-js';
+import { FIRESTORE_RULES_OHM_SOURCE } from './FirestoreRules.ohm.generated.js';
+// The grammar source is inlined at SDK build time (see
+// scripts/inline-grammar.ts). This keeps the parser browser-safe — no
+// fs / url / path imports — while preserving the .ohm file as the
+// canonical edit surface.
+export const grammar = ohm.grammar(FIRESTORE_RULES_OHM_SOURCE);
+// ---- Semantics for AST generation ----
+const semantics = grammar.createSemantics();
+semantics.addOperation('toAST', {
+    // Both grammar alternatives (`versionFirst` and `importsFirst`)
+    // normalize into the same AST shape — caller code reads
+    // `ast.version`, `ast.imports`, and `ast.service` regardless of
+    // which order the source declared them in.
+    RulesFile_versionFirst(version, imports, service) {
+        return {
+            imports: imports.children.map((c) => c.toAST()),
+            version: version.toAST(),
+            service: service.toAST(),
+        };
+    },
+    RulesFile_importsFirst(imports, version, service) {
+        return {
+            imports: imports.children.map((c) => c.toAST()),
+            version: version.toAST(),
+            service: service.toAST(),
+        };
+    },
+    ImportDecl(_import, _lb, names, _trailingComma, _rb, _from, moduleStr, _semi) {
+        return { functions: names.asIteration().children.map((c) => c.sourceString), module: moduleStr.toAST().value };
+    },
+    RulesVersion(_kw, _eq, str, _semi) {
+        return str.toAST().value;
+    },
+    ServiceBlock(_kw, name, _lb, docMatch, _rb) {
+        return { name: name.sourceString, match: docMatch.toAST() };
+    },
+    DocumentsMatch(_kw, path, _lb, body, _rb) {
+        const { lineNum, colNum } = _kw.source.getLineAndColumn();
+        return {
+            ...body.toAST(),
+            path: parsePath(path.sourceString),
+            loc: { line: lineNum, col: colNum },
+        };
+    },
+    MatchBody(items) {
+        const functions = [];
+        const allows = [];
+        const children = [];
+        for (const item of items.children) {
+            const ast = item.toAST();
+            if (ast._kind === 'function')
+                functions.push(ast);
+            else if (ast._kind === 'allow')
+                allows.push(ast);
+            else if (ast._kind === 'match')
+                children.push(ast);
+        }
+        return { functions, allows, children };
+    },
+    MatchBodyItem(item) { return item.toAST(); },
+    MatchBlock(_kw, path, _lb, body, _rb) {
+        const { functions, allows, children } = body.toAST();
+        const { lineNum, colNum } = _kw.source.getLineAndColumn();
+        return {
+            _kind: 'match',
+            path: parsePath(path.sourceString),
+            functions,
+            allows,
+            children,
+            loc: { line: lineNum, col: colNum },
+        };
+    },
+    AllowStatement(_kw, ops, _colon, _if, expr, _semi) {
+        // Source position of the `allow` keyword. Ohm's `getLineAndColumn`
+        // returns 1-based line + column over the trimmed input the grammar
+        // matched against (see `parseToASTOrError`, which trims before
+        // matching). Trimming only strips outer whitespace, so `allow` line
+        // numbers stay stable — but a caller comparing to a non-trimmed
+        // source must account for any leading blank lines.
+        const { lineNum, colNum } = _kw.source.getLineAndColumn();
+        return {
+            _kind: 'allow',
+            operations: ops.toAST(),
+            condition: expr.toAST(),
+            loc: { line: lineNum, col: colNum },
+        };
+    },
+    OperationList(first, _commas, rest) {
+        return [first.toAST(), ...rest.children.map((c) => c.toAST())];
+    },
+    Operation(op) { return op.sourceString; },
+    FunctionDef(_export, _kw, name, _lp, params, _rp, _lb, body, _rb) {
+        const { lets, expr } = body.toAST();
+        return { _kind: 'function', name: name.sourceString, parameters: params.toAST(), exported: _export.sourceString.trim() === 'export', lets, body: expr };
+    },
+    ParameterList(list) {
+        return list.asIteration().children.map((c) => c.sourceString);
+    },
+    FunctionBody(lets, ret) {
+        return { lets: lets.children.map((c) => c.toAST()), expr: ret.toAST() };
+    },
+    LetBinding(_kw, name, _eq, expr, _semi) {
+        return { name: name.sourceString, value: expr.toAST() };
+    },
+    ReturnStatement(_kw, expr, _semi) { return expr.toAST(); },
+    // Expressions
+    Expr(e) { return e.toAST(); },
+    Ternary_ternary(cond, _q, cons, _colon, alt) {
+        return { type: 'ternary', condition: cond.toAST(), consequent: cons.toAST(), alternate: alt.toAST() };
+    },
+    LogicalOr_or(left, _op, right) {
+        return { type: 'binaryOp', op: '||', left: left.toAST(), right: right.toAST() };
+    },
+    LogicalAnd_and(left, _op, right) {
+        return { type: 'binaryOp', op: '&&', left: left.toAST(), right: right.toAST() };
+    },
+    InIsExpr_in(left, _op, right) {
+        return { type: 'inExpr', element: left.toAST(), collection: right.toAST() };
+    },
+    InIsExpr_is(left, _op, typeName) {
+        return { type: 'isExpr', value: left.toAST(), typeName: typeName.sourceString };
+    },
+    Equality_eq(left, _op, right) {
+        return { type: 'binaryOp', op: '==', left: left.toAST(), right: right.toAST() };
+    },
+    Equality_neq(left, _op, right) {
+        return { type: 'binaryOp', op: '!=', left: left.toAST(), right: right.toAST() };
+    },
+    Comparison_gte(left, _op, right) {
+        return { type: 'binaryOp', op: '>=', left: left.toAST(), right: right.toAST() };
+    },
+    Comparison_lte(left, _op, right) {
+        return { type: 'binaryOp', op: '<=', left: left.toAST(), right: right.toAST() };
+    },
+    Comparison_gt(left, _op, right) {
+        return { type: 'binaryOp', op: '>', left: left.toAST(), right: right.toAST() };
+    },
+    Comparison_lt(left, _op, right) {
+        return { type: 'binaryOp', op: '<', left: left.toAST(), right: right.toAST() };
+    },
+    Additive_add(left, _op, right) {
+        return { type: 'binaryOp', op: '+', left: left.toAST(), right: right.toAST() };
+    },
+    Additive_sub(left, _op, right) {
+        return { type: 'binaryOp', op: '-', left: left.toAST(), right: right.toAST() };
+    },
+    Multiplicative_mul(left, _op, right) {
+        return { type: 'binaryOp', op: '*', left: left.toAST(), right: right.toAST() };
+    },
+    Multiplicative_div(left, _op, right) {
+        return { type: 'binaryOp', op: '/', left: left.toAST(), right: right.toAST() };
+    },
+    Multiplicative_mod(left, _op, right) {
+        return { type: 'binaryOp', op: '%', left: left.toAST(), right: right.toAST() };
+    },
+    UnaryExpr_not(_op, expr) {
+        return { type: 'unaryOp', op: '!', operand: expr.toAST() };
+    },
+    UnaryExpr_neg(_op, expr) {
+        return { type: 'unaryOp', op: '-', operand: expr.toAST() };
+    },
+    PostfixExpr_methodCall(obj, _dot, method, _lp, args, _rp) {
+        return { type: 'methodCall', object: obj.toAST(), method: method.sourceString, args: args.asIteration().children.map((c) => c.toAST()) };
+    },
+    PostfixExpr_memberAccess(obj, _dot, member) {
+        return { type: 'memberAccess', object: obj.toAST(), property: member.sourceString };
+    },
+    PostfixExpr_bracketAccess(obj, _lb, idx, _rb) {
+        return { type: 'bracketAccess', object: obj.toAST(), index: idx.toAST() };
+    },
+    PostfixExpr_sliceAccess(obj, _lb, start, _colon, end, _rb) {
+        return { type: 'sliceAccess', object: obj.toAST(), start: start.toAST(), end: end.toAST() };
+    },
+    Primary_paren(_lp, expr, _rp) { return expr.toAST(); },
+    Primary_path(p) { return p.toAST(); },
+    Primary_list(l) { return l.toAST(); },
+    Primary_map(m) { return m.toAST(); },
+    Primary_functionCall(name, _lp, args, _rp) {
+        return { type: 'functionCall', name: name.sourceString, args: args.asIteration().children.map((c) => c.toAST()) };
+    },
+    PathLiteral(_slash, first, _slashes, rest) {
+        const segments = [first.toAST()];
+        for (const r of rest.children)
+            segments.push(r.toAST());
+        return { type: 'pathLiteral', raw: this.sourceString, segments };
+    },
+    PathLitSegment_interpolation(_dp, expr, _rp) { return expr.toAST(); },
+    // Match-style `{ident}` is INVALID syntax inside path literals — Firestore
+    // requires `$(ident)` for interpolation. We parse it anyway (instead of
+    // letting it fall through to MapLiteral and produce an opaque "expected ':'"
+    // error) so the linter can emit a precise INVALID_PATH_INTERPOLATION
+    // diagnostic. The braces are preserved in the segment string so the linter
+    // can detect it via prefix check (legitimate pathIdent segments cannot
+    // start with '{').
+    PathLitSegment_captureRef(_lb, name, _rb) { return `{${name.sourceString}}`; },
+    PathLitSegment_literal(p) { return p.sourceString; },
+    ListLiteral(_lb, items, _comma, _rb) {
+        return { type: 'listLiteral', elements: items.asIteration().children.map((c) => c.toAST()) };
+    },
+    MapLiteral(_lb, entries, _comma, _rb) {
+        return { type: 'mapLiteral', entries: entries.asIteration().children.map((c) => c.toAST()) };
+    },
+    MapEntry(key, _colon, value) {
+        return { key: key.toAST(), value: value.toAST() };
+    },
+    literal(l) { return l.toAST(); },
+    number_float(_int, _dot, _frac) {
+        return { type: 'literal', value: parseFloat(this.sourceString), raw: this.sourceString };
+    },
+    number_int(_digits) {
+        return { type: 'literal', value: parseInt(this.sourceString, 10), raw: this.sourceString };
+    },
+    string_single(_q1, chars, _q2) {
+        return { type: 'literal', value: processStringEscapes(chars.sourceString), raw: this.sourceString };
+    },
+    string_double(_q1, chars, _q2) {
+        return { type: 'literal', value: processStringEscapes(chars.sourceString), raw: this.sourceString };
+    },
+    bool_true(_) { return { type: 'literal', value: true, raw: 'true' }; },
+    bool_false(_) { return { type: 'literal', value: false, raw: 'false' }; },
+    null(_) { return { type: 'literal', value: null, raw: 'null' }; },
+    ident(_start, _rest) { return { type: 'identifier', name: this.sourceString }; },
+    _nonterminal(...children) {
+        if (children.length === 1)
+            return children[0].toAST();
+        return children.map((c) => c.toAST());
+    },
+    _terminal() { return this.sourceString; },
+});
+// ---- String escape processing ----
+// Process standard escape sequences in string literals so the resulting
+// runtime value matches what production Firestore Rules produces. The
+// grammar's `stringEscapeChar` rule restricts the escape character set, so
+// the `default` branch below is unreachable from a successful parse. It is
+// kept as defense in depth — if grammar and parser ever drift, an unknown
+// escape silently preserving the raw backslash is the safer failure mode
+// than a thrown exception during AST construction.
+function processStringEscapes(raw) {
+    let out = '';
+    for (let i = 0; i < raw.length; i++) {
+        const c = raw[i];
+        if (c !== '\\' || i === raw.length - 1) {
+            out += c;
+            continue;
+        }
+        const next = raw[i + 1];
+        switch (next) {
+            case '\\':
+                out += '\\';
+                i++;
+                break;
+            case '\'':
+                out += '\'';
+                i++;
+                break;
+            case '"':
+                out += '"';
+                i++;
+                break;
+            case 'n':
+                out += '\n';
+                i++;
+                break;
+            case 'r':
+                out += '\r';
+                i++;
+                break;
+            case 't':
+                out += '\t';
+                i++;
+                break;
+            case '/':
+                out += '/';
+                i++;
+                break;
+            default: out += c; // unreachable under current grammar
+        }
+    }
+    return out;
+}
+// ---- Path parsing helper ----
+function parsePath(raw) {
+    const segments = [];
+    const parts = raw.split('/').filter(Boolean);
+    for (const part of parts) {
+        if (part.startsWith('{') && part.endsWith('}')) {
+            const inner = part.slice(1, -1);
+            if (inner.endsWith('=**')) {
+                segments.push({ type: 'recursive', name: inner.slice(0, -3) });
+            }
+            else {
+                segments.push({ type: 'wildcard', name: inner });
+            }
+        }
+        else {
+            segments.push({ type: 'literal', value: part });
+        }
+    }
+    return { raw, segments };
+}
+// ---- Failure diagnostics ----
+/**
+ * Build a ParseError from an ohm failed MatchResult plus the trimmed source
+ * the grammar saw. The ohm match is the only place line/column/expected info
+ * exists — without this conversion that data is lost when the match goes out
+ * of scope.
+ */
+function buildParseError(match, source) {
+    const offset = match.getRightmostFailurePosition?.() ?? 0;
+    const expected = match.getExpectedText?.() ?? '';
+    // 1-based line/column, derived by counting newlines up to the offset.
+    let line = 1;
+    let lastNewline = -1;
+    for (let i = 0; i < offset && i < source.length; i++) {
+        if (source.charCodeAt(i) === 10 /* \n */) {
+            line++;
+            lastNewline = i;
+        }
+    }
+    const column = offset - lastNewline; // 1-based
+    // Snippet: from the failure point to end-of-line, capped at 40 chars.
+    let endOfLine = source.indexOf('\n', offset);
+    if (endOfLine === -1)
+        endOfLine = source.length;
+    const actual = source.slice(offset, Math.min(endOfLine, offset + 40));
+    return {
+        line,
+        column,
+        offset,
+        expected,
+        actual,
+        message: match.message ?? 'Parse error',
+    };
+}
+// ---- Public API ----
+export function parseExpression(input) {
+    const trimmed = input.trim();
+    if (!trimmed)
+        return { valid: false, errors: [{ message: 'Empty expression' }] };
+    const match = grammar.match(trimmed, 'Expr');
+    if (match.succeeded())
+        return { valid: true, errors: [] };
+    const parseError = buildParseError(match, trimmed);
+    return { valid: false, errors: [{ message: parseError.message }], parseError };
+}
+export function parseRulesFile(input) {
+    const trimmed = input.trim();
+    if (!trimmed)
+        return { valid: false, errors: [{ message: 'Empty rules file' }] };
+    const match = grammar.match(trimmed);
+    if (match.succeeded())
+        return { valid: true, errors: [] };
+    const parseError = buildParseError(match, trimmed);
+    return { valid: false, errors: [{ message: parseError.message }], parseError };
+}
+export function parseToAST(input) {
+    const result = parseToASTOrError(input);
+    return result.ok ? result.ast : null;
+}
+/**
+ * Parse and either return the AST or a structured failure. Use this when
+ * the caller wants to surface a diagnostic; use `parseToAST` when null is
+ * a sufficient signal.
+ */
+export function parseToASTOrError(input) {
+    const trimmed = input.trim();
+    if (!trimmed) {
+        return { ok: false, error: { line: 1, column: 1, offset: 0, expected: '', actual: '', message: 'Empty rules file' } };
+    }
+    const match = grammar.match(trimmed);
+    if (!match.succeeded())
+        return { ok: false, error: buildParseError(match, trimmed) };
+    const ast = semantics(match).toAST();
+    // Ohm's line numbers are relative to the *trimmed* input. Shift `loc`
+    // entries by the count of newlines we stripped off the front so callers
+    // can compare against the original source they passed in.
+    const leadingTrimmed = input.length - input.trimStart().length;
+    let leadingLineOffset = 0;
+    for (let i = 0; i < leadingTrimmed; i++) {
+        if (input.charCodeAt(i) === 10 /* \n */)
+            leadingLineOffset++;
+    }
+    if (leadingLineOffset > 0)
+        shiftAstLines(ast, leadingLineOffset);
+    return { ok: true, ast };
+}
+function shiftAstLines(ast, offset) {
+    const stack = [ast.service.match];
+    while (stack.length > 0) {
+        const block = stack.pop();
+        if (block.loc)
+            block.loc.line += offset;
+        for (const allow of block.allows) {
+            if (allow.loc)
+                allow.loc.line += offset;
+        }
+        for (const child of block.children)
+            stack.push(child);
+    }
+}
+export function parseFunctions(input) {
+    const wrapped = `rules_version = '2';\nservice cloud.firestore {\n  match /databases/{db}/documents {\n${input}\n  }\n}`;
+    const ast = parseToAST(wrapped);
+    if (!ast)
+        return null;
+    return ast.service.match.functions;
+}
+//# sourceMappingURL=FirestoreParser.js.map

package/dist/rules/grammar/FirestoreParser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FirestoreParser.js","sourceRoot":"","sources":["../../../src/rules/grammar/FirestoreParser.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,GAAG,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAM/E,uDAAuD;AACvD,sEAAsE;AACtE,kEAAkE;AAClE,0BAA0B;AAC1B,MAAM,CAAC,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;AA4B/D,yCAAyC;AAEzC,MAAM,SAAS,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC;AAE5C,SAAS,CAAC,YAAY,CAAM,OAAO,EAAE;IACnC,gEAAgE;IAChE,wDAAwD;IACxD,gEAAgE;IAChE,2CAA2C;IAC3C,sBAAsB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO;QAC9C,OAAO;YACL,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YACpD,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE;YACxB,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE;SACP,CAAC;IACtB,CAAC;IACD,sBAAsB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO;QAC9C,OAAO;YACL,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YACpD,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE;YACxB,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE;SACP,CAAC;IACtB,CAAC;IACD,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK;QAC1E,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC;IACtH,CAAC;IACD,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK;QAC/B,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC;IAC3B,CAAC;IACD,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG;QACxC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAkB,CAAC;IAC9E,CAAC;IACD,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG;QACtC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAI,GAAG,CAAC,MAAc,CAAC,gBAAgB,EAAE,CAAC;QACnE,OAAO;YACL,GAAG,IAAI,CAAC,KAAK,EAAE;YACf,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC;YAClC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE;SACtB,CAAC;IAClB,CAAC;IACD,SAAS,CAAC,KAAK;QACb,MAAM,SAAS,GAAkB,EAAE,CAAC;QACpC,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAiB,EAAE,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YACzB,IAAI,GAAG,CAAC,KAAK,KAAK,UAAU;gBAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;iBAC7C,IAAI,GAAG,CAAC,KAAK,KAAK,OAAO;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;iBAC5C,IAAI,GAAG,CAAC,KAAK,KAAK,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACzC,CAAC;IACD,aAAa,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC5C,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG;QAClC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACrD,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAI,GAAG,CAAC,MAAc,CAAC,gBAAgB,EAAE,CAAC;QACnE,OAAO;YACL,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC;YAClC,SAAS;YACT,MAAM;YACN,QAAQ;YACR,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE;SACpC,CAAC;IACJ,CAAC;IACD,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK;QAC/C,mEAAmE;QACnE,mEAAmE;QACnE,+DAA+D;QAC/D,oEAAoE;QACpE,gEAAgE;QAChE,mDAAmD;QACnD,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAI,GAAG,CAAC,MAAc,CAAC,gBAAgB,EAAE,CAAC;QACnE,OAAO;YACL,KAAK,EAAE,OAAO;YACd,UAAU,EAAE,GAAG,CAAC,KAAK,EAAE;YACvB,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE;YACvB,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE;SACpC,CAAC;IACJ,CAAC;IACD,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI;QAChC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,SAAS,CAAC,EAAE,IAAI,OAAO,EAAE,CAAC,YAAyB,CAAC,CAAC,CAAC;IACtD,WAAW,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG;QAC9D,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACpC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC1J,CAAC;IACD,aAAa,CAAC,IAAI;QAChB,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACrE,CAAC;IACD,YAAY,CAAC,IAAI,EAAE,GAAG;QACpB,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC;IAC/E,CAAC;IACD,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK;QACpC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAgB,CAAC;IACxE,CAAC;IACD,eAAe,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,IAAI,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAE1D,cAAc;IACd,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7B,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG;QACzC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC;IACxG,CAAC;IACD,YAAY,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QAC3B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IAClF,CAAC;IACD,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QAC7B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IAClF,CAAC;IACD,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QAC1B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IAC9E,CAAC;IACD,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ;QAC7B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,YAAY,EAAE,CAAC;IAClF,CAAC;IACD,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QAC1B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IAClF,CAAC;IACD,YAAY,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QAC3B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IAClF,CAAC;IACD,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QAC7B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IAClF,CAAC;IACD,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QAC7B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IAClF,CAAC;IACD,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QAC5B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IACjF,CAAC;IACD,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QAC5B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IACjF,CAAC;IACD,YAAY,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QAC3B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IACjF,CAAC;IACD,YAAY,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QAC3B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IACjF,CAAC;IACD,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QACjC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IACjF,CAAC;IACD,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QACjC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IACjF,CAAC;IACD,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK;QACjC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IACjF,CAAC;IACD,aAAa,CAAC,GAAG,EAAE,IAAI;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;IAC7D,CAAC;IACD,aAAa,CAAC,GAAG,EAAE,IAAI;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;IAC7D,CAAC;IACD,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG;QACtD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;IAChJ,CAAC;IACD,wBAAwB,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM;QACxC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC;IACtF,CAAC;IACD,yBAAyB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG;QAC1C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC;IAC5E,CAAC;IACD,uBAAuB,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG;QACvD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC;IAC9F,CAAC;IACD,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtD,YAAY,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrC,YAAY,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrC,WAAW,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACpC,oBAAoB,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG;QACvC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;IACzH,CAAC;IACD,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI;QACvC,MAAM,QAAQ,GAA+B,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACxD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,EAAE,CAAC;IACnE,CAAC;IACD,4BAA4B,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrE,2EAA2E;IAC3E,wEAAwE;IACxE,6EAA6E;IAC7E,qEAAqE;IACrE,2EAA2E;IAC3E,uEAAuE;IACvE,mBAAmB;IACnB,yBAAyB,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,OAAO,IAAI,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IAC9E,sBAAsB,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IACpD,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG;QACjC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;IACpG,CAAC;IACD,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG;QAClC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;IACpG,CAAC;IACD,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK;QACzB,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IACpD,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK;QAC5B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IAC3F,CAAC;IACD,UAAU,CAAC,OAAO;QAChB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IAC7F,CAAC;IACD,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG;QAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,oBAAoB,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IACtG,CAAC;IACD,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG;QAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,oBAAoB,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IACtG,CAAC;IACD,SAAS,CAAC,CAAC,IAAI,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACtE,UAAU,CAAC,CAAC,IAAI,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IACzE,IAAI,CAAC,CAAC,IAAI,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACjE,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IAChF,YAAY,CAAC,GAAG,QAAQ;QACtB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACtD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC7C,CAAC;IACD,SAAS,KAAK,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;CAC1C,CAAC,CAAC;AAEH,qCAAqC;AACrC,wEAAwE;AACxE,sEAAsE;AACtE,2EAA2E;AAC3E,2EAA2E;AAC3E,0EAA0E;AAC1E,yEAAyE;AACzE,mDAAmD;AACnD,SAAS,oBAAoB,CAAC,GAAW;IACvC,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,GAAG,IAAI,CAAC,CAAC;YACT,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxB,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,IAAI;gBAAE,GAAG,IAAI,IAAI,CAAC;gBAAC,CAAC,EAAE,CAAC;gBAAC,MAAM;YACnC,KAAK,IAAI;gBAAE,GAAG,IAAI,IAAI,CAAC;gBAAC,CAAC,EAAE,CAAC;gBAAC,MAAM;YACnC,KAAK,GAAG;gBAAG,GAAG,IAAI,GAAG,CAAC;gBAAE,CAAC,EAAE,CAAC;gBAAC,MAAM;YACnC,KAAK,GAAG;gBAAG,GAAG,IAAI,IAAI,CAAC;gBAAC,CAAC,EAAE,CAAC;gBAAC,MAAM;YACnC,KAAK,GAAG;gBAAG,GAAG,IAAI,IAAI,CAAC;gBAAC,CAAC,EAAE,CAAC;gBAAC,MAAM;YACnC,KAAK,GAAG;gBAAG,GAAG,IAAI,IAAI,CAAC;gBAAC,CAAC,EAAE,CAAC;gBAAC,MAAM;YACnC,KAAK,GAAG;gBAAG,GAAG,IAAI,GAAG,CAAC;gBAAE,CAAC,EAAE,CAAC;gBAAC,MAAM;YACnC,OAAO,CAAC,CAAG,GAAG,IAAI,CAAC,CAAC,CAAC,oCAAoC;QAC3D,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gCAAgC;AAEhC,SAAS,SAAS,CAAC,GAAW;IAC5B,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjE,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC3B,CAAC;AAED,gCAAgC;AAEhC;;;;;GAKG;AACH,SAAS,eAAe,CAAC,KAAsB,EAAE,MAAc;IAC7D,MAAM,MAAM,GAAI,KAAa,CAAC,2BAA2B,EAAE,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAI,KAAa,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,CAAC;IAC1D,sEAAsE;IACtE,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC;IACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrD,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,CAAC;YACzC,IAAI,EAAE,CAAC;YACP,WAAW,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC,CAAC,UAAU;IAC/C,sEAAsE;IACtE,IAAI,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,SAAS,KAAK,CAAC,CAAC;QAAE,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IAChD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC;IACtE,OAAO;QACL,IAAI;QACJ,MAAM;QACN,MAAM;QACN,QAAQ;QACR,MAAM;QACN,OAAO,EAAG,KAAa,CAAC,OAAO,IAAI,aAAa;KACjD,CAAC;AACJ,CAAC;AAED,uBAAuB;AAEvB,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAC;IACjF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,KAAK,CAAC,SAAS,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAC1D,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACnD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAC;IACjF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,SAAS,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAC1D,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACnD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACxC,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAa;IAEb,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,EAAE,CAAC;IACxH,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;IACrF,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,EAAoB,CAAC;IACvD,sEAAsE;IACtE,wEAAwE;IACxE,0DAA0D;IAC1D,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC;IAC/D,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,QAAQ;YAAE,iBAAiB,EAAE,CAAC;IAC/D,CAAC;IACD,IAAI,iBAAiB,GAAG,CAAC;QAAE,aAAa,CAAC,GAAG,EAAE,iBAAiB,CAAC,CAAC;IACjE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,aAAa,CAAC,GAAmB,EAAE,MAAc;IACxD,MAAM,KAAK,GAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAChD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC3B,IAAI,KAAK,CAAC,GAAG;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC;QACxC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC;QAC1C,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,MAAM,OAAO,GAAG,yFAAyF,KAAK,UAAU,CAAC;IACzH,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,OAAO,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;AACrC,CAAC"}

package/dist/rules/grammar/FirestoreRules.ohm

@@ -0,0 +1,229 @@
+FirestoreRules {
+  // === Top-level ===
+  // Syntactic rules (capitalized) auto-skip spaces between terms.
+  // Lexical rules (lowercase) do NOT skip spaces.
+
+  // Two accepted orderings. Real `firestore.rules` files put
+  // `rules_version` at line 1 (Firebase convention), so the
+  // `versionFirst` branch matches that natural shape. The
+  // `importsFirst` branch keeps legacy samples that put `import`
+  // declarations above the version line working. The semantic
+  // action below normalizes both into the same AST shape, so
+  // downstream code doesn't have to care which path matched.
+  RulesFile = RulesVersion ImportDecl* ServiceBlock  -- versionFirst
+            | ImportDecl* RulesVersion ServiceBlock  -- importsFirst
+
+  ImportDecl = "import" "{" ListOf<ident, ","> ","? "}" "from" string ";"
+
+  RulesVersion = "rules_version" "=" string ";"
+
+  ServiceBlock = "service" serviceName "{" DocumentsMatch "}"
+
+  DocumentsMatch = "match" matchPath "{" MatchBody "}"
+
+  MatchBody = MatchBodyItem*
+
+  MatchBodyItem
+    = FunctionDef
+    | MatchBlock
+    | AllowStatement
+
+  MatchBlock = "match" matchPath "{" MatchBody "}"
+
+  // === Statements ===
+
+  AllowStatement = "allow" OperationList ":" "if" Expr ";"
+
+  OperationList = Operation ("," Operation)*
+
+  FunctionDef = "export"? "function" ident "(" ParameterList ")" "{" FunctionBody "}"
+
+  ParameterList = ListOf<ident, ",">
+
+  FunctionBody = LetBinding* ReturnStatement
+
+  LetBinding = "let" ident "=" Expr ";"
+
+  ReturnStatement = "return" Expr ";"
+
+  // === Lexical: operations and service name ===
+
+  Operation
+    = "read" ~identChar
+    | "write" ~identChar
+    | "get" ~identChar
+    | "list" ~identChar
+    | "create" ~identChar
+    | "update" ~identChar
+    | "delete" ~identChar
+
+  serviceName = letter (letter | ".")*
+
+  // === Lexical: match paths ===
+
+  matchPath = "/" matchPathSegment ("/" matchPathSegment)*
+
+  matchPathSegment
+    = "{" matchWildcard "}"    -- wildcard
+    | pathIdent                -- literal
+
+  matchWildcard
+    = identStart identChar* "=" "**"  -- recursive
+    | identStart identChar*           -- single
+
+  pathIdent = (letter | digit | "_" | "-" | ".")+
+
+  // === Expressions ===
+
+  Expr = Ternary
+
+  Ternary
+    = LogicalOr "?" Ternary ":" Ternary  -- ternary
+    | LogicalOr
+
+  LogicalOr
+    = LogicalOr "||" LogicalAnd  -- or
+    | LogicalAnd
+
+  LogicalAnd
+    = LogicalAnd "&&" InIsExpr  -- and
+    | InIsExpr
+
+  InIsExpr
+    = Equality in Equality   -- in
+    | Equality is typeName   -- is
+    | Equality
+
+  in = "in" ~identChar
+  is = "is" ~identChar
+
+  Equality
+    = Equality "==" Comparison  -- eq
+    | Equality "!=" Comparison  -- neq
+    | Comparison
+
+  Comparison
+    = Comparison ">=" Additive  -- gte
+    | Comparison "<=" Additive  -- lte
+    | Comparison ">" Additive   -- gt
+    | Comparison "<" Additive   -- lt
+    | Additive
+
+  Additive
+    = Additive "+" Multiplicative  -- add
+    | Additive "-" Multiplicative  -- sub
+    | Multiplicative
+
+  Multiplicative
+    = Multiplicative "*" UnaryExpr  -- mul
+    | Multiplicative "/" UnaryExpr  -- div
+    | Multiplicative "%" UnaryExpr  -- mod
+    | UnaryExpr
+
+  UnaryExpr
+    = "!" UnaryExpr  -- not
+    | "-" UnaryExpr  -- neg
+    | PostfixExpr
+
+  PostfixExpr
+    = PostfixExpr "." memberName "(" ListOf<Expr, ","> ")"  -- methodCall
+    | PostfixExpr "." memberName                             -- memberAccess
+    | PostfixExpr "[" Expr ":" Expr "]"                      -- sliceAccess
+    | PostfixExpr "[" Expr "]"                               -- bracketAccess
+    | Primary
+
+  memberName = identStart identChar*
+
+  Primary
+    = "(" Expr ")"       -- paren
+    | PathLiteral        -- path
+    | ListLiteral        -- list
+    | MapLiteral         -- map
+    | ident "(" ListOf<Expr, ","> ")"  -- functionCall
+    | literal
+    | ident
+
+  // === Path literals ===
+
+  PathLiteral = "/" PathLitSegment ("/" PathLitSegment)*
+
+  PathLitSegment
+    = "$(" Expr ")"    -- interpolation
+    | "{" ident "}"    -- captureRef
+    | pathIdent        -- literal
+
+  // === Literals ===
+
+  literal
+    = number
+    | string
+    | bool
+    | null
+
+  number
+    = digit+ "." digit+  -- float
+    | digit+              -- int
+
+  string
+    = "'" singleStringChar* "'"    -- single
+    | "\"" doubleStringChar* "\""  -- double
+
+  singleStringChar
+    = "\\" stringEscapeChar  -- escape
+    | ~"\\" ~"'" any         -- char
+
+  doubleStringChar
+    = "\\" stringEscapeChar  -- escape
+    | ~"\\" ~"\"" any        -- char
+
+  // Valid escape characters following a backslash. Anything else is rejected
+  // at parse time to match production semantics — production Firestore Rules
+  // raises a syntax error on unknown escapes (e.g. `\d`, `\.`). Keeping the
+  // sim strict here prevents over-permissive acceptance that masks model
+  // output that would crash at deploy.
+  stringEscapeChar = "\\" | "'" | "\"" | "n" | "r" | "t" | "/"
+
+  ListLiteral = "[" ListOf<Expr, ","> ","? "]"
+
+  MapLiteral = "{" ListOf<MapEntry, ","> ","? "}"
+
+  MapEntry = (string | ident) ":" Expr
+
+  bool
+    = "true" ~identChar   -- true
+    | "false" ~identChar  -- false
+
+  null = "null" ~identChar
+
+  typeName
+    = "string" ~identChar
+    | "int" ~identChar
+    | "float" ~identChar
+    | "number" ~identChar
+    | "bool" ~identChar
+    | "list" ~identChar
+    | "map" ~identChar
+    | "timestamp" ~identChar
+    | "path" ~identChar
+    | "bytes" ~identChar
+    | "duration" ~identChar
+    | "latlng" ~identChar
+    | "reference" ~identChar
+
+  ident = ~keyword identStart identChar*
+
+  keyword
+    = ("true" | "false" | "null" | "in" | "is" | "if" | "return" | "let") ~identChar
+
+  identStart = letter | "_"
+
+  identChar = alnum | "_"
+
+  // === Whitespace and comments ===
+
+  space += comment
+
+  comment
+    = "//" (~"\n" any)* &("\n" | end)  -- singleLine
+    | "/*" (~"*/" any)* "*/"            -- multiLine
+}