pyric 0.0.1 → 0.1.0-alpha.8

package/dist/rules/generators/expressions.js

@@ -0,0 +1,117 @@
+/**
+ * Firestore rules expression generators for grid-based games.
+ *
+ * Each function returns a string that is a valid Firestore rules boolean expression.
+ * The expressions use parameter names (b, ob, nc, nr, mark) that must match
+ * the function signatures in the generated rules.
+ */
+import { indexToColRow } from './grid.js';
+/**
+ * Win detection: OR of all winning lines for a specific mark.
+ * Uses `b` as the board parameter name.
+ *
+ * Example output: (b.c0r0 == 'R' && b.c1r0 == 'R' && b.c2r0 == 'R' && b.c3r0 == 'R') || ...
+ */
+export function winCheckExpr(mark, lines, grid) {
+    return lines.map(line => {
+        const cells = line.map(i => {
+            const [c, r] = indexToColRow(i, grid.cols);
+            return `b.${grid.cellName(c, r)} == '${mark}'`;
+        });
+        return `(${cells.join(' && ')})`;
+    }).join('\n          || ');
+}
+/**
+ * Split win lines by direction for per-direction functions.
+ * Returns { horizontal, vertical, diagUp, diagDown }.
+ */
+export function splitWinLinesByDirection(lines, cols) {
+    const horizontal = [];
+    const vertical = [];
+    const diagUp = [];
+    const diagDown = [];
+    for (const line of lines) {
+        const [c0, r0] = indexToColRow(line[0], cols);
+        const [c1, r1] = indexToColRow(line[1], cols);
+        const dc = c1 - c0;
+        const dr = r1 - r0;
+        if (dc === 1 && dr === 0)
+            horizontal.push(line);
+        else if (dc === 0 && dr === 1)
+            vertical.push(line);
+        else if (dc === 1 && dr === 1)
+            diagUp.push(line);
+        else
+            diagDown.push(line);
+    }
+    return { horizontal, vertical, diagUp, diagDown };
+}
+/**
+ * Gravity: per-column lowest-empty-row check.
+ * Uses `nc` (new col), `nr` (new row), `ob` (old board) as parameter names.
+ *
+ * For each column: if nc == col, verify nr is the lowest empty row.
+ */
+export function gravityExpr(grid) {
+    const colChecks = [];
+    for (let c = 0; c < grid.cols; c++) {
+        const rowChecks = [];
+        for (let r = 0; r < grid.rows; r++) {
+            const parts = [`nr == ${r}`];
+            for (let below = 0; below < r; below++) {
+                parts.push(`ob.${grid.cellName(c, below)} != ''`);
+            }
+            parts.push(`ob.${grid.cellName(c, r)} == ''`);
+            rowChecks.push(`(${parts.join(' && ')})`);
+        }
+        colChecks.push(`(nc == ${c} && (${rowChecks.join(' || ')}))`);
+    }
+    return colChecks.join('\n          || ');
+}
+/**
+ * Board integrity: verify all non-move cells are unchanged.
+ * Uses `nc`, `nr`, `b` (new board), `ob` (old board) as parameter names.
+ *
+ * For each cell: either it's the move cell OR old == new.
+ */
+export function boardIntegrityExpr(grid) {
+    const checks = [];
+    for (let c = 0; c < grid.cols; c++) {
+        const colChecks = [];
+        for (let r = 0; r < grid.rows; r++) {
+            const cn = grid.cellName(c, r);
+            colChecks.push(`((nc == ${c} && nr == ${r}) || b.${cn} == ob.${cn})`);
+        }
+        checks.push(`(${colChecks.join(' && ')})`);
+    }
+    return checks.join('\n          && ');
+}
+/**
+ * Cell-was-empty check: verify the cell at (nc, nr) was empty before the move.
+ * Uses `nc`, `nr`, `ob` (old board) as parameter names.
+ * For gravity games this is redundant (gravity already checks ob.cell == ''),
+ * but for non-gravity games it prevents overwriting occupied cells.
+ */
+export function cellEmptyExpr(grid) {
+    const checks = [];
+    for (let c = 0; c < grid.cols; c++) {
+        for (let r = 0; r < grid.rows; r++) {
+            checks.push(`(nc == ${c} && nr == ${r} && ob.${grid.cellName(c, r)} == '')`);
+        }
+    }
+    return checks.join('\n          || ');
+}
+/**
+ * Placement: verify the cell at (nc, nr) has the correct mark.
+ * Uses `nc`, `nr`, `mark`, `b` (new board) as parameter names.
+ */
+export function placementExpr(grid) {
+    const checks = [];
+    for (let c = 0; c < grid.cols; c++) {
+        for (let r = 0; r < grid.rows; r++) {
+            checks.push(`(nc == ${c} && nr == ${r} && b.${grid.cellName(c, r)} == mark)`);
+        }
+    }
+    return checks.join('\n          || ');
+}
+//# sourceMappingURL=expressions.js.map

package/dist/rules/generators/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/rules/generators/expressions.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAE1C;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,KAAiB,EAAE,IAAgB;IAC5E,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACzB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3C,OAAO,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QACjD,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;IACnC,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;AAC7B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAiB,EACjB,IAAY;IAEZ,MAAM,UAAU,GAAe,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAe,EAAE,CAAC;IAChC,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAe,EAAE,CAAC;IAEhC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACnB,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC3C,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC9C,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;YAC5C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACpD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,IAAgB;IAC1C,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,KAAK,GAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACvC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACpD,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC9C,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5C,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAgB;IACjD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/B,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;AACxC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAgB;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,UAAU,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;AACxC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAgB;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;QAChF,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;AACxC,CAAC"}

package/dist/rules/generators/grid.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Grid geometry utilities for grid-based game rule generation.
+ */
+export interface GridConfig {
+    cols: number;
+    rows: number;
+    cellName: (col: number, row: number) => string;
+}
+export declare function defaultCellName(col: number, row: number): string;
+export declare function indexToColRow(index: number, cols: number): [number, number];
+/**
+ * Generate all winning lines for N-in-a-row on a rectangular grid.
+ * Returns arrays of flat indices (row * cols + col).
+ *
+ * Directions: horizontal (→), vertical (↑), diagonal (↗), diagonal (↘)
+ */
+export declare function generateWinLines(cols: number, rows: number, count: number): number[][];
+/**
+ * Generate an empty board object with all cells set to empty string.
+ */
+export declare function emptyBoard(grid: GridConfig): Record<string, string>;
+//# sourceMappingURL=grid.d.ts.map

package/dist/rules/generators/grid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"grid.d.ts","sourceRoot":"","sources":["../../../src/rules/generators/grid.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC;CAChD;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAE3E;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAyBtF;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAQnE"}

package/dist/rules/generators/grid.js

@@ -0,0 +1,52 @@
+/**
+ * Grid geometry utilities for grid-based game rule generation.
+ */
+export function defaultCellName(col, row) {
+    return `c${col}r${row}`;
+}
+export function indexToColRow(index, cols) {
+    return [index % cols, Math.floor(index / cols)];
+}
+/**
+ * Generate all winning lines for N-in-a-row on a rectangular grid.
+ * Returns arrays of flat indices (row * cols + col).
+ *
+ * Directions: horizontal (→), vertical (↑), diagonal (↗), diagonal (↘)
+ */
+export function generateWinLines(cols, rows, count) {
+    const lines = [];
+    for (let r = 0; r < rows; r++) {
+        for (let c = 0; c < cols; c++) {
+            // Horizontal (→)
+            if (c + count <= cols) {
+                lines.push(Array.from({ length: count }, (_, i) => r * cols + c + i));
+            }
+            // Vertical (↑)
+            if (r + count <= rows) {
+                lines.push(Array.from({ length: count }, (_, i) => (r + i) * cols + c));
+            }
+            // Diagonal (↗)
+            if (c + count <= cols && r + count <= rows) {
+                lines.push(Array.from({ length: count }, (_, i) => (r + i) * cols + c + i));
+            }
+            // Diagonal (↘)
+            if (c + count <= cols && r - count + 1 >= 0) {
+                lines.push(Array.from({ length: count }, (_, i) => (r - i) * cols + c + i));
+            }
+        }
+    }
+    return lines;
+}
+/**
+ * Generate an empty board object with all cells set to empty string.
+ */
+export function emptyBoard(grid) {
+    const board = {};
+    for (let c = 0; c < grid.cols; c++) {
+        for (let r = 0; r < grid.rows; r++) {
+            board[grid.cellName(c, r)] = '';
+        }
+    }
+    return board;
+}
+//# sourceMappingURL=grid.js.map

package/dist/rules/generators/grid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"grid.js","sourceRoot":"","sources":["../../../src/rules/generators/grid.ts"],"names":[],"mappings":"AAAA;;GAEG;AAQH,MAAM,UAAU,eAAe,CAAC,GAAW,EAAE,GAAW;IACtD,OAAO,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,IAAY;IACvD,OAAO,CAAC,KAAK,GAAG,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,IAAY,EAAE,KAAa;IACxE,MAAM,KAAK,GAAe,EAAE,CAAC;IAE7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,iBAAiB;YACjB,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACxE,CAAC;YACD,eAAe;YACf,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1E,CAAC;YACD,eAAe;YACf,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC;gBAC3C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9E,CAAC;YACD,eAAe;YACf,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,IAAgB;IACzC,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAClC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/rules/grammar/FirestoreAST.d.ts

@@ -0,0 +1,129 @@
+/** Typed AST for Firestore Security Rules. */
+/** 1-indexed source position. `col` is 1-indexed too. */
+export interface SourceLoc {
+    line: number;
+    col: number;
+}
+export interface ImportDecl {
+    functions: string[];
+    module: string;
+}
+export interface FirestoreRules {
+    version: string;
+    imports: ImportDecl[];
+    service: ServiceBlock;
+}
+export interface ServiceBlock {
+    name: string;
+    match: MatchBlock;
+}
+export interface MatchBlock {
+    path: PathPattern;
+    functions: FunctionDef[];
+    allows: AllowRule[];
+    children: MatchBlock[];
+    /** Source position of the `match` keyword. Populated by the parser;
+     *  absent on blocks constructed programmatically. Used by the
+     *  path-resolution trace to attribute "near-miss" blocks to their
+     *  source line. */
+    loc?: SourceLoc;
+}
+export interface PathPattern {
+    raw: string;
+    segments: PathSegment[];
+}
+export type PathSegment = {
+    type: 'literal';
+    value: string;
+} | {
+    type: 'wildcard';
+    name: string;
+} | {
+    type: 'recursive';
+    name: string;
+};
+export interface AllowRule {
+    operations: Operation[];
+    condition: Expression;
+    /** Source position of the `allow` keyword. Populated by the parser;
+     *  absent on rules constructed programmatically (e.g. lint test fixtures). */
+    loc?: SourceLoc;
+}
+export type Operation = 'read' | 'write' | 'get' | 'list' | 'create' | 'update' | 'delete';
+export interface FunctionDef {
+    name: string;
+    parameters: string[];
+    exported: boolean;
+    lets: LetBinding[];
+    body: Expression;
+}
+export interface LetBinding {
+    name: string;
+    value: Expression;
+}
+export type Expression = {
+    type: 'literal';
+    value: string | number | boolean | null;
+    raw: string;
+} | {
+    type: 'identifier';
+    name: string;
+} | {
+    type: 'memberAccess';
+    object: Expression;
+    property: string;
+} | {
+    type: 'methodCall';
+    object: Expression;
+    method: string;
+    args: Expression[];
+} | {
+    type: 'bracketAccess';
+    object: Expression;
+    index: Expression;
+} | {
+    type: 'sliceAccess';
+    object: Expression;
+    start: Expression;
+    end: Expression;
+} | {
+    type: 'binaryOp';
+    op: string;
+    left: Expression;
+    right: Expression;
+} | {
+    type: 'unaryOp';
+    op: string;
+    operand: Expression;
+} | {
+    type: 'ternary';
+    condition: Expression;
+    consequent: Expression;
+    alternate: Expression;
+} | {
+    type: 'inExpr';
+    element: Expression;
+    collection: Expression;
+} | {
+    type: 'isExpr';
+    value: Expression;
+    typeName: string;
+} | {
+    type: 'listLiteral';
+    elements: Expression[];
+} | {
+    type: 'mapLiteral';
+    entries: Array<{
+        key: Expression;
+        value: Expression;
+    }>;
+} | {
+    type: 'pathLiteral';
+    raw: string;
+    segments: Array<string | Expression>;
+} | {
+    type: 'functionCall';
+    name: string;
+    args: Expression[];
+};
+//# sourceMappingURL=FirestoreAST.d.ts.map

package/dist/rules/grammar/FirestoreAST.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FirestoreAST.d.ts","sourceRoot":"","sources":["../../../src/rules/grammar/FirestoreAST.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAE9C,yDAAyD;AACzD,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,UAAU;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,OAAO,EAAE,YAAY,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,UAAU,CAAC;CACnB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,WAAW,CAAC;IAClB,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB;;;uBAGmB;IACnB,GAAG,CAAC,EAAE,SAAS,CAAC;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,WAAW,EAAE,CAAC;CACzB;AAED,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAExC,MAAM,WAAW,SAAS;IACxB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,SAAS,EAAE,UAAU,CAAC;IACtB;kFAC8E;IAC9E,GAAG,CAAC,EAAE,SAAS,CAAC;CACjB;AAED,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE3F,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,UAAU,EAAE,CAAC;IACnB,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,UAAU,CAAC;CACnB;AAED,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACzE;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,EAAE,CAAA;CAAE,GAC9E;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAChE;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,UAAU,CAAC;IAAC,GAAG,EAAE,UAAU,CAAA;CAAE,GAC/E;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACrE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,UAAU,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,UAAU,CAAC;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,UAAU,CAAA;CAAE,GACzF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,UAAU,CAAC;IAAC,UAAU,EAAE,UAAU,CAAA;CAAE,GAC/D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,EAAE,UAAU,EAAE,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,KAAK,CAAC;QAAE,GAAG,EAAE,UAAU,CAAC;QAAC,KAAK,EAAE,UAAU,CAAA;KAAE,CAAC,CAAA;CAAE,GAC9E;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,CAAA;CAAE,GAC1E;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,EAAE,CAAA;CAAE,CAAC"}

package/dist/rules/grammar/FirestoreAST.js

@@ -0,0 +1,3 @@
+/** Typed AST for Firestore Security Rules. */
+export {};
+//# sourceMappingURL=FirestoreAST.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FirestoreAST.js","sourceRoot":"","sources":["../../../src/rules/grammar/FirestoreAST.ts"],"names":[],"mappings":"AAAA,8CAA8C"}

package/dist/rules/grammar/FirestoreAssembler.d.ts

@@ -0,0 +1,5 @@
+import type { FirestoreRules, MatchBlock, Expression } from './FirestoreAST.js';
+export declare function assembleExpression(expr: Expression): string;
+export declare function assembleMatchBlock(match: MatchBlock, level?: number): string;
+export declare function assembleRules(ast: FirestoreRules): string;
+//# sourceMappingURL=FirestoreAssembler.d.ts.map

package/dist/rules/grammar/FirestoreAssembler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FirestoreAssembler.d.ts","sourceRoot":"","sources":["../../../src/rules/grammar/FirestoreAssembler.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EAAE,UAAU,EACd,UAAU,EACvB,MAAM,mBAAmB,CAAC;AAoG3B,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAE3D;AAyCD,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,GAAE,MAAU,GAAG,MAAM,CAqB/E;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,cAAc,GAAG,MAAM,CA8BzD"}

package/dist/rules/grammar/FirestoreAssembler.js

@@ -0,0 +1,158 @@
+// ---- Precedence table ----
+const PRECEDENCE = {
+    '||': 2,
+    '&&': 3,
+    '==': 5, '!=': 5,
+    '>': 6, '<': 6, '>=': 6, '<=': 6,
+    '+': 7, '-': 7,
+    '*': 8, '/': 8, '%': 8,
+};
+function precedenceOf(expr) {
+    switch (expr.type) {
+        case 'ternary': return 1;
+        case 'binaryOp': return PRECEDENCE[expr.op] ?? 0;
+        case 'inExpr': return 4;
+        case 'isExpr': return 4;
+        case 'unaryOp': return 9;
+        default: return 100; // atoms, postfix — never need parens
+    }
+}
+// ---- Expression assembly ----
+function assembleExprInner(expr) {
+    switch (expr.type) {
+        case 'literal': {
+            if (typeof expr.value === 'string') {
+                // Use raw (preserves escapes) but normalize double quotes to single
+                if (expr.raw.startsWith('"') && expr.raw.endsWith('"')) {
+                    const inner = expr.raw.slice(1, -1);
+                    return `'${inner}'`;
+                }
+                return expr.raw;
+            }
+            return expr.raw;
+        }
+        case 'identifier':
+            return expr.name;
+        case 'memberAccess':
+            return `${assembleExprWithPrec(expr.object, 10)}.${expr.property}`;
+        case 'methodCall':
+            return `${assembleExprWithPrec(expr.object, 10)}.${expr.method}(${expr.args.map(a => assembleExpression(a)).join(', ')})`;
+        case 'bracketAccess':
+            return `${assembleExprWithPrec(expr.object, 10)}[${assembleExpression(expr.index)}]`;
+        case 'sliceAccess':
+            return `${assembleExprWithPrec(expr.object, 10)}[${assembleExpression(expr.start)}:${assembleExpression(expr.end)}]`;
+        case 'binaryOp': {
+            const prec = PRECEDENCE[expr.op] ?? 0;
+            const left = assembleExprWithPrec(expr.left, prec);
+            const right = assembleExprWithPrec(expr.right, prec + 1);
+            return `${left} ${expr.op} ${right}`;
+        }
+        case 'unaryOp':
+            return `${expr.op}${assembleExprWithPrec(expr.operand, 9)}`;
+        case 'ternary':
+            return `${assembleExprWithPrec(expr.condition, 2)} ? ${assembleExpression(expr.consequent)} : ${assembleExpression(expr.alternate)}`;
+        case 'inExpr':
+            return `${assembleExprWithPrec(expr.element, 5)} in ${assembleExprWithPrec(expr.collection, 5)}`;
+        case 'isExpr':
+            return `${assembleExprWithPrec(expr.value, 5)} is ${expr.typeName}`;
+        case 'listLiteral':
+            if (expr.elements.length === 0)
+                return '[]';
+            return `[${expr.elements.map(e => assembleExpression(e)).join(', ')}]`;
+        case 'mapLiteral':
+            if (expr.entries.length === 0)
+                return '{}';
+            return `{${expr.entries.map(e => `${assembleExpression(e.key)}: ${assembleExpression(e.value)}`).join(', ')}}`;
+        case 'pathLiteral':
+            return '/' + expr.segments.map(s => typeof s === 'string' ? s : `$(${assembleExpression(s)})`).join('/');
+        case 'functionCall':
+            return `${expr.name}(${expr.args.map(a => assembleExpression(a)).join(', ')})`;
+    }
+}
+function assembleExprWithPrec(expr, parentPrec) {
+    const result = assembleExprInner(expr);
+    const myPrec = precedenceOf(expr);
+    if (myPrec < parentPrec) {
+        return `(${result})`;
+    }
+    return result;
+}
+export function assembleExpression(expr) {
+    return assembleExprWithPrec(expr, 0);
+}
+// ---- Path assembly ----
+function assemblePath(path) {
+    return '/' + path.segments.map(seg => {
+        switch (seg.type) {
+            case 'literal': return seg.value;
+            case 'wildcard': return `{${seg.name}}`;
+            case 'recursive': return `{${seg.name}=**}`;
+        }
+    }).join('/');
+}
+// ---- Structural assembly ----
+function indent(level) {
+    return ' '.repeat(level);
+}
+function assembleFunction(fn, level) {
+    const pad = indent(level);
+    const bodyPad = indent(level + 2);
+    const params = fn.parameters.join(', ');
+    const lines = [];
+    const exportPrefix = fn.exported ? 'export ' : '';
+    lines.push(`${pad}${exportPrefix}function ${fn.name}(${params}) {`);
+    for (const binding of fn.lets) {
+        lines.push(`${bodyPad}let ${binding.name} = ${assembleExpression(binding.value)};`);
+    }
+    lines.push(`${bodyPad}return ${assembleExpression(fn.body)};`);
+    lines.push(`${pad}}`);
+    return lines.join('\n');
+}
+function assembleAllow(allow, level) {
+    const pad = indent(level);
+    const ops = allow.operations.join(', ');
+    return `${pad}allow ${ops}: if ${assembleExpression(allow.condition)};`;
+}
+export function assembleMatchBlock(match, level = 0) {
+    const pad = indent(level);
+    const innerLevel = level + 2;
+    const lines = [];
+    lines.push(`${pad}match ${assemblePath(match.path)} {`);
+    for (const fn of match.functions) {
+        lines.push(assembleFunction(fn, innerLevel));
+    }
+    for (const allow of match.allows) {
+        lines.push(assembleAllow(allow, innerLevel));
+    }
+    for (const child of match.children) {
+        lines.push(assembleMatchBlock(child, innerLevel));
+    }
+    lines.push(`${pad}}`);
+    return lines.join('\n');
+}
+export function assembleRules(ast) {
+    const lines = [];
+    for (const imp of ast.imports) {
+        lines.push(`import { ${imp.functions.join(', ')} } from '${imp.module}';`);
+    }
+    lines.push(`rules_version = '${ast.version}';`);
+    lines.push(`service ${ast.service.name} {`);
+    const root = ast.service.match;
+    const rootPad = indent(2);
+    const innerLevel = 4;
+    lines.push(`${rootPad}match ${assemblePath(root.path)} {`);
+    for (const fn of root.functions) {
+        lines.push(assembleFunction(fn, innerLevel));
+    }
+    for (const allow of root.allows) {
+        lines.push(assembleAllow(allow, innerLevel));
+    }
+    for (const child of root.children) {
+        lines.push(assembleMatchBlock(child, innerLevel));
+    }
+    lines.push(`${rootPad}}`);
+    lines.push('}');
+    lines.push('');
+    return lines.join('\n');
+}
+//# sourceMappingURL=FirestoreAssembler.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FirestoreAssembler.js","sourceRoot":"","sources":["../../../src/rules/grammar/FirestoreAssembler.ts"],"names":[],"mappings":"AAKA,6BAA6B;AAE7B,MAAM,UAAU,GAA2B;IACzC,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IAChB,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IAChC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;IACd,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;CACvB,CAAC;AAEF,SAAS,YAAY,CAAC,IAAgB;IACpC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC;QACzB,KAAK,UAAU,CAAC,CAAC,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACjD,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC;QACxB,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC;QACxB,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC;QACzB,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,qCAAqC;IAC5D,CAAC;AACH,CAAC;AAED,gCAAgC;AAEhC,SAAS,iBAAiB,CAAC,IAAgB;IACzC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACnC,oEAAoE;gBACpE,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACvD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBACpC,OAAO,IAAI,KAAK,GAAG,CAAC;gBACtB,CAAC;gBACD,OAAO,IAAI,CAAC,GAAG,CAAC;YAClB,CAAC;YACD,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,CAAC;QACD,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,IAAI,CAAC;QAEnB,KAAK,cAAc;YACjB,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAErE,KAAK,YAAY;YACf,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAE5H,KAAK,eAAe;YAClB,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QAEvF,KAAK,aAAa;YAChB,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAEvH,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACtC,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACnD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;YACzD,OAAO,GAAG,IAAI,IAAI,IAAI,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC;QACvC,CAAC;QAED,KAAK,SAAS;YACZ,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC;QAE9D,KAAK,SAAS;YACZ,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAEvI,KAAK,QAAQ;YACX,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC;QAEnG,KAAK,QAAQ;YACX,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;QAEtE,KAAK,aAAa;YAChB,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5C,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAEzE,KAAK,YAAY;YACf,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC3C,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAEjH,KAAK,aAAa;YAChB,OAAO,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACjC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,CAAC,CAAC,GAAG,CAC1D,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAEd,KAAK,cAAc;YACjB,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACnF,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAgB,EAAE,UAAkB;IAChE,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,MAAM,GAAG,UAAU,EAAE,CAAC;QACxB,OAAO,IAAI,MAAM,GAAG,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAgB;IACjD,OAAO,oBAAoB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,0BAA0B;AAE1B,SAAS,YAAY,CAAC,IAAiB;IACrC,OAAO,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QACnC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC;YACjC,KAAK,UAAU,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC;YACxC,KAAK,WAAW,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,IAAI,MAAM,CAAC;QAC9C,CAAC;IACH,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED,gCAAgC;AAEhC,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAe,EAAE,KAAa;IACtD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,YAAY,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,YAAY,YAAY,EAAE,CAAC,IAAI,IAAI,MAAM,KAAK,CAAC,CAAC;IACpE,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,OAAO,OAAO,CAAC,IAAI,MAAM,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,UAAU,kBAAkB,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACtB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,KAAgB,EAAE,KAAa;IACpD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,GAAG,GAAG,SAAS,GAAG,QAAQ,kBAAkB,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAiB,EAAE,QAAgB,CAAC;IACrE,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,UAAU,GAAG,KAAK,GAAG,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,SAAS,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAExD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACtB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,GAAmB;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,oBAAoB,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC;IAE5C,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC;IAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,UAAU,GAAG,CAAC,CAAC;IAErB,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,SAAS,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE3D,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/rules/grammar/FirestoreParser.d.ts

@@ -0,0 +1,46 @@
+import * as ohm from 'ohm-js';
+import type { FirestoreRules, FunctionDef } from './FirestoreAST.js';
+export declare const grammar: ohm.Grammar;
+export interface ParseResult {
+    valid: boolean;
+    errors: Array<{
+        message: string;
+    }>;
+    /** Structured failure data when valid === false. Absent on success. */
+    parseError?: ParseError;
+}
+/**
+ * Structured parse failure. Carries enough information for a caller to
+ * surface a useful diagnostic without re-parsing or string-scraping.
+ *
+ * - `line` / `column` are 1-based.
+ * - `offset` is the byte offset into the trimmed source where parsing failed.
+ * - `expected` is what the grammar wanted next (e.g. ")" or "an identifier").
+ * - `actual` is a short snippet from the source at the failure point.
+ * - `message` is the human-readable ohm message (multi-line, includes a caret).
+ */
+export interface ParseError {
+    line: number;
+    column: number;
+    offset: number;
+    expected: string;
+    actual: string;
+    message: string;
+}
+export declare function parseExpression(input: string): ParseResult;
+export declare function parseRulesFile(input: string): ParseResult;
+export declare function parseToAST(input: string): FirestoreRules | 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 declare function parseToASTOrError(input: string): {
+    ok: true;
+    ast: FirestoreRules;
+} | {
+    ok: false;
+    error: ParseError;
+};
+export declare function parseFunctions(input: string): FunctionDef[] | null;
+//# sourceMappingURL=FirestoreParser.d.ts.map

package/dist/rules/grammar/FirestoreParser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FirestoreParser.d.ts","sourceRoot":"","sources":["../../../src/rules/grammar/FirestoreParser.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,GAAG,MAAM,QAAQ,CAAC;AAE9B,OAAO,KAAK,EACV,cAAc,EACQ,WAAW,EAClC,MAAM,mBAAmB,CAAC;AAM3B,eAAO,MAAM,OAAO,aAA0C,CAAC;AAE/D,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACnC,uEAAuE;IACvE,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAwTD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAO1D;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAOzD;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAG/D;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,GACZ;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,GAAG,EAAE,cAAc,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAkBtE;AAcD,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,EAAE,GAAG,IAAI,CAKlE"}