pi-codex-auto-review 0.1.3 → 0.2.0

package/dist/policy/starlark/lexer.d.ts

@@ -0,0 +1,14 @@
+/** A lexer for trusted .rules files. No JavaScript evaluation or host bindings. */
+export interface Token {
+    kind: "name" | "number" | "string" | "format" | "symbol" | "newline" | "indent" | "dedent" | "eof";
+    text: string;
+    line: number;
+}
+export declare class Budget {
+    private steps;
+    private readonly deadline;
+    tick(count?: number): void;
+    size(length: number): void;
+    string(value: string): string;
+}
+export declare function lex(source: string, budget: Budget): Token[];

package/dist/policy/starlark/lexer.js

@@ -0,0 +1,189 @@
+export class Budget {
+    steps = 0;
+    deadline = Date.now() + 10000;
+    tick(count = 1) {
+        this.steps += count;
+        if (this.steps > 1_000_000 || Date.now() > this.deadline)
+            throw new Error("Rule evaluation exceeded its execution budget");
+    }
+    size(length) {
+        if (!Number.isSafeInteger(length) || length < 0 || length > 100_000)
+            throw new Error("Rule collection exceeded its size budget");
+    }
+    string(value) {
+        if (value.length > 8 * 1024 * 1024)
+            throw new Error("Rule string exceeded its size budget");
+        return value;
+    }
+}
+export function lex(source, budget) {
+    const tokens = [];
+    const indents = [0];
+    let index = 0, line = 1, depth = 0, isLineStart = true;
+    const emit = (kind, text = "") => {
+        tokens.push({ kind, text, line });
+    };
+    while (index < source.length) {
+        budget.tick();
+        if (isLineStart && depth === 0) {
+            let width = 0;
+            while (source[index] === " ") {
+                width++;
+                index++;
+            }
+            if (source[index] === "\t")
+                throw new Error(`Tabs are not allowed at line ${line}`);
+            if (source[index] && !["\r", "\n", "#"].includes(source[index])) {
+                if (width > indents[indents.length - 1]) {
+                    indents.push(width);
+                    emit("indent");
+                }
+                while (width < indents[indents.length - 1]) {
+                    indents.pop();
+                    emit("dedent");
+                }
+                if (width !== indents[indents.length - 1])
+                    throw new Error(`Inconsistent indentation at line ${line}`);
+            }
+            isLineStart = false;
+        }
+        const char = source[index];
+        if (char === " " || char === "\t" || char === "\r") {
+            index++;
+            continue;
+        }
+        if (char === "#") {
+            while (index < source.length && source[index] !== "\n")
+                index++;
+            continue;
+        }
+        if (char === "\\") {
+            const continuation = /^\\\r?\n/.exec(source.slice(index));
+            if (!continuation)
+                throw new Error(`Unexpected backslash at line ${line}`);
+            index += continuation[0].length;
+            line++;
+            continue;
+        }
+        if (char === "\n") {
+            if (depth === 0 && tokens.at(-1)?.kind !== "newline")
+                emit("newline");
+            index++;
+            line++;
+            isLineStart = true;
+            continue;
+        }
+        const stringStart = /^(r|f|rf|fr)?(['"])/i.exec(source.slice(index));
+        if (stringStart) {
+            const prefix = (stringStart[1] ?? "").toLowerCase(), quote = stringStart[2];
+            const isRaw = prefix.includes("r"), isFormat = prefix.includes("f");
+            index += stringStart[0].length;
+            const isTriple = source.slice(index, index + 2) === quote.repeat(2);
+            if (isTriple)
+                index += 2;
+            const ending = quote.repeat(isTriple ? 3 : 1);
+            let text = "", isClosed = false;
+            while (index < source.length) {
+                budget.tick();
+                if (source.startsWith(ending, index)) {
+                    index += ending.length;
+                    isClosed = true;
+                    break;
+                }
+                let next = source[index++];
+                if (next === "\n") {
+                    if (!isTriple)
+                        throw new Error(`Unclosed string at line ${line}`);
+                    line++;
+                }
+                if (next === "\\" && index < source.length) {
+                    const escaped = source[index++];
+                    if (isRaw) {
+                        text += next + escaped;
+                        continue;
+                    }
+                    if (escaped === "\n") {
+                        line++;
+                        continue;
+                    }
+                    const escapes = {
+                        n: "\n",
+                        r: "\r",
+                        t: "\t",
+                        a: "\x07",
+                        b: "\b",
+                        f: "\f",
+                        v: "\v",
+                        "\\": "\\",
+                        "'": "'",
+                        '"': '"',
+                    };
+                    if (escaped in escapes)
+                        next = escapes[escaped];
+                    else if (["x", "u", "U"].includes(escaped)) {
+                        const length = escaped === "x" ? 2 : escaped === "u" ? 4 : 8;
+                        const digits = source.slice(index, index + length);
+                        if (!new RegExp(`^[0-9a-fA-F]{${length}}$`).test(digits))
+                            throw new Error("Invalid string escape");
+                        const point = Number.parseInt(digits, 16);
+                        if (point > 0x10ffff ||
+                            (point >= 0xd800 && point <= 0xdfff))
+                            throw new Error("Invalid Unicode escape");
+                        next = String.fromCodePoint(point);
+                        index += length;
+                    }
+                    else if (/[0-7]/.test(escaped)) {
+                        const digits = escaped +
+                            (/^[0-7]{0,2}/.exec(source.slice(index))?.[0] ??
+                                "");
+                        next = String.fromCharCode(Number.parseInt(digits, 8));
+                        index += digits.length - 1;
+                    }
+                    else
+                        next = `\\${escaped}`;
+                }
+                text += next;
+            }
+            if (!isClosed)
+                throw new Error(`Unclosed string at line ${line}`);
+            emit(isFormat ? "format" : "string", budget.string(text));
+            continue;
+        }
+        const name = /^[A-Za-z_][A-Za-z_0-9]*/.exec(source.slice(index));
+        if (name) {
+            emit("name", name[0]);
+            index += name[0].length;
+            continue;
+        }
+        const number = /^(?:0[xX][0-9a-fA-F]+|0[oO][0-7]+|0[bB][01]+|(?:[0-9]+(?:\.[0-9]*)?|\.[0-9]+)(?:[eE][+-]?[0-9]+)?)/.exec(source.slice(index));
+        if (number) {
+            emit("number", number[0]);
+            index += number[0].length;
+            continue;
+        }
+        const operator = /^(?:\/\/=|<<=|>>=|\*\*=|==|!=|<=|>=|\/\/|<<|>>|\*\*|\+=|-=|\*=|\/=|%=|\|=|&=|\^=|->|[()[\]{},:;.+\-*/%<>=|&^~])/.exec(source.slice(index));
+        if (!operator)
+            throw new Error(`Unexpected character ${JSON.stringify(char)} at line ${line}`);
+        if ("([{".includes(operator[0]))
+            depth++;
+        if (")]}".includes(operator[0])) {
+            depth--;
+            if (depth < 0)
+                throw new Error("Unbalanced brackets");
+        }
+        emit("symbol", operator[0]);
+        index += operator[0].length;
+        isLineStart = false;
+    }
+    if (depth !== 0)
+        throw new Error("Unbalanced brackets");
+    if (tokens.at(-1)?.kind !== "newline")
+        emit("newline");
+    while (indents.length > 1) {
+        indents.pop();
+        emit("dedent");
+    }
+    emit("eof");
+    return tokens;
+}
+//# sourceMappingURL=lexer.js.map

package/dist/policy/starlark/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../../src/policy/starlark/lexer.ts"],"names":[],"mappings":"AAgBA,MAAM,OAAO,MAAM;IACP,KAAK,GAAG,CAAC,CAAC;IACD,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;IAC/C,IAAI,CAAC,KAAK,GAAG,CAAC;QACV,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC;QACpB,IAAI,IAAI,CAAC,KAAK,GAAG,SAAS,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,QAAQ;YACpD,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,CAAC,MAAc;QACf,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,OAAO;YAC/D,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,CAAC,KAAa;QAChB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI;YAC9B,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC5D,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ;AAED,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,MAAc;IAC9C,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,KAAK,GAAG,CAAC,EACT,IAAI,GAAG,CAAC,EACR,KAAK,GAAG,CAAC,EACT,WAAW,GAAG,IAAI,CAAC;IACvB,MAAM,IAAI,GAAG,CAAC,IAAmB,EAAE,IAAI,GAAG,EAAE,EAAE,EAAE;QAC5C,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC;IACF,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,EAAE,CAAC;QACd,IAAI,WAAW,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC7B,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC3B,KAAK,EAAE,CAAC;gBACR,KAAK,EAAE,CAAC;YACZ,CAAC;YACD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI;gBACtB,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,EAAE,CAAC,CAAC;YAC5D,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC9D,IAAI,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;oBACtC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACpB,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACnB,CAAC;gBACD,OAAO,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;oBACzC,OAAO,CAAC,GAAG,EAAE,CAAC;oBACd,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACnB,CAAC;gBACD,IAAI,KAAK,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;oBACrC,MAAM,IAAI,KAAK,CAAC,oCAAoC,IAAI,EAAE,CAAC,CAAC;YACpE,CAAC;YACD,WAAW,GAAG,KAAK,CAAC;QACxB,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACjD,KAAK,EAAE,CAAC;YACR,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI;gBAAE,KAAK,EAAE,CAAC;YAChE,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAChB,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,YAAY;gBACb,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,EAAE,CAAC,CAAC;YAC5D,KAAK,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAChC,IAAI,EAAE,CAAC;YACP,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAChB,IAAI,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;gBAChD,IAAI,CAAC,SAAS,CAAC,CAAC;YACpB,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,CAAC;YACP,WAAW,GAAG,IAAI,CAAC;YACnB,SAAS;QACb,CAAC;QACD,MAAM,WAAW,GAAG,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACrE,IAAI,WAAW,EAAE,CAAC;YACd,MAAM,MAAM,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,EAC/C,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAC9B,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACpC,KAAK,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACpE,IAAI,QAAQ;gBAAE,KAAK,IAAI,CAAC,CAAC;YACzB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,IAAI,GAAG,EAAE,EACT,QAAQ,GAAG,KAAK,CAAC;YACrB,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBAC3B,MAAM,CAAC,IAAI,EAAE,CAAC;gBACd,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;oBACnC,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC;oBACvB,QAAQ,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACV,CAAC;gBACD,IAAI,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC3B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAChB,IAAI,CAAC,QAAQ;wBACT,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC;oBACvD,IAAI,EAAE,CAAC;gBACX,CAAC;gBACD,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;oBACzC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;oBAChC,IAAI,KAAK,EAAE,CAAC;wBACR,IAAI,IAAI,IAAI,GAAG,OAAO,CAAC;wBACvB,SAAS;oBACb,CAAC;oBACD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;wBACnB,IAAI,EAAE,CAAC;wBACP,SAAS;oBACb,CAAC;oBACD,MAAM,OAAO,GAA2B;wBACpC,CAAC,EAAE,IAAI;wBACP,CAAC,EAAE,IAAI;wBACP,CAAC,EAAE,IAAI;wBACP,CAAC,EAAE,MAAM;wBACT,CAAC,EAAE,IAAI;wBACP,CAAC,EAAE,IAAI;wBACP,CAAC,EAAE,IAAI;wBACP,IAAI,EAAE,IAAI;wBACV,GAAG,EAAE,GAAG;wBACR,GAAG,EAAE,GAAG;qBACX,CAAC;oBACF,IAAI,OAAO,IAAI,OAAO;wBAAE,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;yBAC3C,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;wBACzC,MAAM,MAAM,GACR,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBAClD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC,CAAC;wBACnD,IACI,CAAC,IAAI,MAAM,CAAC,gBAAgB,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;4BAEpD,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;wBAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;wBAC1C,IACI,KAAK,GAAG,QAAQ;4BAChB,CAAC,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM,CAAC;4BAEpC,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;wBAC9C,IAAI,GAAG,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;wBACnC,KAAK,IAAI,MAAM,CAAC;oBACpB,CAAC;yBAAM,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC/B,MAAM,MAAM,GACR,OAAO;4BACP,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gCACzC,EAAE,CAAC,CAAC;wBACZ,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;wBACvD,KAAK,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;oBAC/B,CAAC;;wBAAM,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;gBACjC,CAAC;gBACD,IAAI,IAAI,IAAI,CAAC;YACjB,CAAC;YACD,IAAI,CAAC,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC;YAClE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;YAC1D,SAAS;QACb,CAAC;QACD,MAAM,IAAI,GAAG,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACjE,IAAI,IAAI,EAAE,CAAC;YACP,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACtB,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACxB,SAAS;QACb,CAAC;QACD,MAAM,MAAM,GACR,oGAAoG,CAAC,IAAI,CACrG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CACtB,CAAC;QACN,IAAI,MAAM,EAAE,CAAC;YACT,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC1B,SAAS;QACb,CAAC;QACD,MAAM,QAAQ,GACV,iHAAiH,CAAC,IAAI,CAClH,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CACtB,CAAC;QACN,IAAI,CAAC,QAAQ;YACT,MAAM,IAAI,KAAK,CACX,wBAAwB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CACjE,CAAC;QACN,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,EAAE,CAAC;YACR,IAAI,KAAK,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5B,WAAW,GAAG,KAAK,CAAC;IACxB,CAAC;IACD,IAAI,KAAK,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,CAAC;IACZ,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/dist/policy/starlark/parser.d.ts

@@ -0,0 +1,140 @@
+import { type Budget } from "./lexer.js";
+export type Expr = {
+    kind: "literal";
+    value: string | number | bigint | boolean | null;
+} | {
+    kind: "name";
+    name: string;
+} | {
+    kind: "format";
+    parts: (string | Expr)[];
+} | {
+    kind: "list" | "tuple";
+    items: Expr[];
+} | {
+    kind: "dict";
+    entries: [Expr, Expr][];
+} | {
+    kind: "unary";
+    op: string;
+    value: Expr;
+} | {
+    kind: "binary";
+    op: string;
+    left: Expr;
+    right: Expr;
+} | {
+    kind: "compare";
+    first: Expr;
+    rest: {
+        op: string;
+        value: Expr;
+    }[];
+} | {
+    kind: "conditional";
+    condition: Expr;
+    yes: Expr;
+    no: Expr;
+} | {
+    kind: "attribute";
+    object: Expr;
+    name: string;
+} | {
+    kind: "index";
+    object: Expr;
+    index: Expr;
+} | {
+    kind: "slice";
+    object: Expr;
+    start?: Expr;
+    end?: Expr;
+    step?: Expr;
+} | {
+    kind: "call";
+    target: Expr;
+    args: {
+        name?: string;
+        spread?: boolean;
+        value: Expr;
+    }[];
+} | {
+    kind: "comprehension";
+    value: Expr;
+    key?: Expr;
+    clauses: Clause[];
+} | {
+    kind: "lambda";
+    parameters: Parameter[];
+    value: Expr;
+};
+export interface Parameter {
+    name: string;
+    mode: "normal" | "rest" | "keywords" | "keyword";
+    value?: Expr;
+    annotation?: Expr;
+}
+export type Clause = {
+    kind: "for";
+    target: Expr;
+    iterable: Expr;
+} | {
+    kind: "if";
+    condition: Expr;
+};
+export type Stmt = {
+    kind: "expression";
+    value: Expr;
+} | {
+    kind: "assign";
+    targets: Expr[];
+    value: Expr;
+    op: string;
+} | {
+    kind: "def";
+    name: string;
+    parameters: Parameter[];
+    body: Stmt[];
+    annotation?: Expr;
+} | {
+    kind: "if";
+    branches: {
+        condition: Expr;
+        body: Stmt[];
+    }[];
+    otherwise: Stmt[];
+} | {
+    kind: "for";
+    target: Expr;
+    iterable: Expr;
+    body: Stmt[];
+} | {
+    kind: "return";
+    value?: Expr;
+} | {
+    kind: "break" | "continue" | "pass";
+};
+export declare class Parser {
+    private readonly budget;
+    private index;
+    private depth;
+    private readonly tokens;
+    constructor(source: string, budget: Budget);
+    private peek;
+    private at;
+    private take;
+    private eat;
+    private expect;
+    private fail;
+    private name;
+    program(until?: "eof" | "dedent"): Stmt[];
+    private block;
+    private statement;
+    private simpleLine;
+    private isEnd;
+    private tuple;
+    private target;
+    private parameters;
+    expression(min?: number): Expr;
+    private clauses;
+    private atom;
+}