pi-codex-auto-review 0.1.4 → 0.2.0

package/dist/policy/starlark/validation.js

@@ -0,0 +1,183 @@
+function known(name, scope) {
+    return (scope.local.has(name) ||
+        (scope.parent ? known(name, scope.parent) : false));
+}
+function targetNames(target, names) {
+    if (target.kind === "name")
+        names.add(target.name);
+    else if (target.kind === "tuple" || target.kind === "list")
+        for (const item of target.items)
+            targetNames(item, names);
+    else if (target.kind !== "index")
+        throw new Error("Invalid assignment target");
+}
+function locals(body, names = new Set()) {
+    for (const statement of body) {
+        if (statement.kind === "def")
+            names.add(statement.name);
+        if (statement.kind === "assign")
+            for (const target of statement.targets)
+                targetNames(target, names);
+        if (statement.kind === "for") {
+            targetNames(statement.target, names);
+            locals(statement.body, names);
+        }
+        if (statement.kind === "if") {
+            for (const branch of statement.branches)
+                locals(branch.body, names);
+            locals(statement.otherwise, names);
+        }
+    }
+    return names;
+}
+/** Resolve every name and control-flow statement, including unreachable branches. */
+export function validate(body, globals, budget) {
+    const root = {
+        local: locals(body),
+        parent: { local: new Set(globals) },
+    };
+    const parameters = (params, scope) => {
+        for (const parameter of params) {
+            if (parameter.value)
+                expression(parameter.value, scope);
+            if (parameter.annotation)
+                expression(parameter.annotation, scope);
+        }
+    };
+    const expression = (value, scope) => {
+        budget.tick();
+        switch (value.kind) {
+            case "name":
+                if (!known(value.name, scope))
+                    throw new Error(`Unknown variable ${value.name}`);
+                break;
+            case "literal":
+                break;
+            case "format":
+                for (const item of value.parts)
+                    if (typeof item !== "string")
+                        expression(item, scope);
+                break;
+            case "list":
+            case "tuple":
+                for (const item of value.items)
+                    expression(item, scope);
+                break;
+            case "dict":
+                for (const [key, item] of value.entries) {
+                    expression(key, scope);
+                    expression(item, scope);
+                }
+                break;
+            case "unary":
+                expression(value.value, scope);
+                break;
+            case "binary":
+                expression(value.left, scope);
+                expression(value.right, scope);
+                break;
+            case "compare":
+                expression(value.first, scope);
+                for (const item of value.rest)
+                    expression(item.value, scope);
+                break;
+            case "conditional":
+                expression(value.condition, scope);
+                expression(value.yes, scope);
+                expression(value.no, scope);
+                break;
+            case "attribute":
+                expression(value.object, scope);
+                break;
+            case "index":
+                expression(value.object, scope);
+                expression(value.index, scope);
+                break;
+            case "slice":
+                expression(value.object, scope);
+                for (const part of [value.start, value.end, value.step])
+                    if (part)
+                        expression(part, scope);
+                break;
+            case "call":
+                expression(value.target, scope);
+                for (const argument of value.args)
+                    expression(argument.value, scope);
+                break;
+            case "lambda": {
+                parameters(value.parameters, scope);
+                expression(value.value, {
+                    parent: scope,
+                    local: new Set(value.parameters.map((parameter) => parameter.name)),
+                });
+                break;
+            }
+            case "comprehension": {
+                const child = { parent: scope, local: new Set() };
+                for (let index = 0; index < value.clauses.length; index++) {
+                    const clause = value.clauses[index];
+                    if (clause.kind === "for") {
+                        expression(clause.iterable, index === 0 ? scope : child);
+                        targetNames(clause.target, child.local);
+                    }
+                    else
+                        expression(clause.condition, child);
+                }
+                if (value.key)
+                    expression(value.key, child);
+                expression(value.value, child);
+                break;
+            }
+        }
+    };
+    const statements = (items, scope, inFunction, loops) => {
+        for (const statement of items) {
+            budget.tick();
+            switch (statement.kind) {
+                case "expression":
+                    expression(statement.value, scope);
+                    break;
+                case "assign":
+                    expression(statement.value, scope);
+                    for (const target of statement.targets)
+                        expression(target, scope);
+                    break;
+                case "def": {
+                    parameters(statement.parameters, scope);
+                    if (statement.annotation)
+                        expression(statement.annotation, scope);
+                    const names = locals(statement.body, new Set(statement.parameters.map((parameter) => parameter.name)));
+                    statements(statement.body, { parent: scope, local: names }, true, 0);
+                    break;
+                }
+                case "if":
+                    for (const branch of statement.branches) {
+                        expression(branch.condition, scope);
+                        statements(branch.body, scope, inFunction, loops);
+                    }
+                    statements(statement.otherwise, scope, inFunction, loops);
+                    break;
+                case "for":
+                    expression(statement.iterable, scope);
+                    expression(statement.target, scope);
+                    statements(statement.body, scope, inFunction, loops + 1);
+                    break;
+                case "return":
+                    if (!inFunction)
+                        throw new Error("return outside a function");
+                    if (statement.value)
+                        expression(statement.value, scope);
+                    break;
+                case "break":
+                case "continue":
+                    if (!loops)
+                        throw new Error(`${statement.kind} outside a loop`);
+                    break;
+                case "pass":
+                    break;
+            }
+        }
+    };
+    statements(body, root, false, 0);
+}
+//# sourceMappingURL=validation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../src/policy/starlark/validation.ts"],"names":[],"mappings":"AAOA,SAAS,KAAK,CAAC,IAAY,EAAE,KAAY;IACrC,OAAO,CACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;QACrB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CACrD,CAAC;AACN,CAAC;AACD,SAAS,WAAW,CAAC,MAAY,EAAE,KAAkB;IACjD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;SAC9C,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QACtD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;YAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SACzD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAC5B,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;AACrD,CAAC;AACD,SAAS,MAAM,CAAC,IAAY,EAAE,QAAQ,IAAI,GAAG,EAAU;IACnD,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK;YAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;YAC3B,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO;gBAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACrC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC1B,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,QAAQ;gBAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACpE,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACvC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,qFAAqF;AACrF,MAAM,UAAU,QAAQ,CACpB,IAAY,EACZ,OAAyB,EACzB,MAAc;IAEd,MAAM,IAAI,GAAU;QAChB,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC;QACnB,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,EAAE;KACtC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,MAAmB,EAAE,KAAY,EAAQ,EAAE;QAC3D,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;YAC7B,IAAI,SAAS,CAAC,KAAK;gBAAE,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACxD,IAAI,SAAS,CAAC,UAAU;gBAAE,UAAU,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACtE,CAAC;IACL,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,KAAW,EAAE,KAAY,EAAQ,EAAE;QACnD,MAAM,CAAC,IAAI,EAAE,CAAC;QACd,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,MAAM;gBACP,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;oBACzB,MAAM,IAAI,KAAK,CAAC,oBAAoB,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBACtD,MAAM;YACV,KAAK,SAAS;gBACV,MAAM;YACV,KAAK,QAAQ;gBACT,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;oBAC1B,IAAI,OAAO,IAAI,KAAK,QAAQ;wBAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC1D,MAAM;YACV,KAAK,MAAM,CAAC;YACZ,KAAK,OAAO;gBACR,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;oBAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACxD,MAAM;YACV,KAAK,MAAM;gBACP,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACtC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;oBACvB,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC5B,CAAC;gBACD,MAAM;YACV,KAAK,OAAO;gBACR,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC/B,MAAM;YACV,KAAK,QAAQ;gBACT,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC9B,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC/B,MAAM;YACV,KAAK,SAAS;gBACV,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI;oBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC7D,MAAM;YACV,KAAK,aAAa;gBACd,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;gBACnC,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBAC7B,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBAC5B,MAAM;YACV,KAAK,WAAW;gBACZ,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAChC,MAAM;YACV,KAAK,OAAO;gBACR,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAChC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC/B,MAAM;YACV,KAAK,OAAO;gBACR,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAChC,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;oBACnD,IAAI,IAAI;wBAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACtC,MAAM;YACV,KAAK,MAAM;gBACP,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAChC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,IAAI;oBAC7B,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACtC,MAAM;YACV,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACZ,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;gBACpC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE;oBACpB,MAAM,EAAE,KAAK;oBACb,KAAK,EAAE,IAAI,GAAG,CACV,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CACtD;iBACJ,CAAC,CAAC;gBACH,MAAM;YACV,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACnB,MAAM,KAAK,GAAU,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;gBACzD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;oBACxD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBACpC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;wBACxB,UAAU,CACN,MAAM,CAAC,QAAQ,EACf,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAC9B,CAAC;wBACF,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;oBAC5C,CAAC;;wBAAM,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;gBAC/C,CAAC;gBACD,IAAI,KAAK,CAAC,GAAG;oBAAE,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBAC5C,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC/B,MAAM;YACV,CAAC;QACL,CAAC;IACL,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CACf,KAAa,EACb,KAAY,EACZ,UAAmB,EACnB,KAAa,EACT,EAAE;QACN,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,EAAE,CAAC;YACd,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;gBACrB,KAAK,YAAY;oBACb,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBACnC,MAAM;gBACV,KAAK,QAAQ;oBACT,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBACnC,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO;wBAClC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;oBAC9B,MAAM;gBACV,KAAK,KAAK,CAAC,CAAC,CAAC;oBACT,UAAU,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;oBACxC,IAAI,SAAS,CAAC,UAAU;wBACpB,UAAU,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;oBAC5C,MAAM,KAAK,GAAG,MAAM,CAChB,SAAS,CAAC,IAAI,EACd,IAAI,GAAG,CACH,SAAS,CAAC,UAAU,CAAC,GAAG,CACpB,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAChC,CACJ,CACJ,CAAC;oBACF,UAAU,CACN,SAAS,CAAC,IAAI,EACd,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAC/B,IAAI,EACJ,CAAC,CACJ,CAAC;oBACF,MAAM;gBACV,CAAC;gBACD,KAAK,IAAI;oBACL,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;wBACtC,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;wBACpC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;oBACtD,CAAC;oBACD,UAAU,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;oBAC1D,MAAM;gBACV,KAAK,KAAK;oBACN,UAAU,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;oBACtC,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;oBACpC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;oBACzD,MAAM;gBACV,KAAK,QAAQ;oBACT,IAAI,CAAC,UAAU;wBACX,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;oBACjD,IAAI,SAAS,CAAC,KAAK;wBAAE,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBACxD,MAAM;gBACV,KAAK,OAAO,CAAC;gBACb,KAAK,UAAU;oBACX,IAAI,CAAC,KAAK;wBACN,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,CAAC,IAAI,iBAAiB,CAAC,CAAC;oBACxD,MAAM;gBACV,KAAK,MAAM;oBACP,MAAM;YACd,CAAC;QACL,CAAC;IACL,CAAC,CAAC;IACF,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AACrC,CAAC"}

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

@@ -0,0 +1,46 @@
+import type { Budget } from "./lexer.js";
+/** Rust/Starlark White_Space includes NEL and excludes the JavaScript BOM whitespace. */
+export declare function trimWhitespace(value: string): string;
+export type Value = null | boolean | bigint | number | string | Value[] | Tuple | Range | StringIterator | Dict | Callable;
+export interface Callable {
+    kind: "function";
+    name: string;
+    call(args: Value[], keywords: Map<string, Value>): Value;
+}
+export declare class Tuple {
+    readonly items: Value[];
+    constructor(items: Value[]);
+}
+export declare class Range {
+    readonly start: number;
+    readonly stop: number;
+    readonly step: number;
+    constructor(start: number, stop: number, step: number);
+    get length(): number;
+    items(): Value[];
+}
+export declare class StringIterator {
+    readonly items: Value[];
+    constructor(items: Value[]);
+}
+export declare class Dict {
+    private readonly data;
+    get size(): number;
+    entries(): [Value, Value][];
+    has(key: Value): boolean;
+    get(key: Value): Value;
+    set(key: Value, value: Value): void;
+    delete(key: Value): void;
+    clear(): void;
+}
+export declare function typeName(value: Value): string;
+export declare function truth(value: Value): boolean;
+export declare function sequence(value: Value): Value[];
+export declare function integer(value: Value): number;
+export declare function text(value: Value): string;
+export declare function equal(left: Value, right: Value, depth?: number): boolean;
+export declare function compare(left: Value, right: Value): number;
+export declare function repr(value: Value, depth?: number): string;
+export declare function display(value: Value): string;
+export declare function contains(container: Value, value: Value): boolean;
+export declare function binary(op: string, left: Value, right: Value, budget: Budget): Value;

package/dist/policy/starlark/values.js

@@ -0,0 +1,363 @@
+/** Rust/Starlark White_Space includes NEL and excludes the JavaScript BOM whitespace. */
+export function trimWhitespace(value) {
+    return value.replace(/^\p{White_Space}+|\p{White_Space}+$/gu, "");
+}
+export class Tuple {
+    items;
+    constructor(items) {
+        this.items = items;
+    }
+}
+export class Range {
+    start;
+    stop;
+    step;
+    constructor(start, stop, step) {
+        this.start = start;
+        this.stop = stop;
+        this.step = step;
+    }
+    get length() {
+        return Math.max(0, Math.ceil((this.stop - this.start) / this.step));
+    }
+    items() {
+        return Array.from({ length: this.length }, (_, index) => BigInt(this.start + index * this.step));
+    }
+}
+export class StringIterator {
+    items;
+    constructor(items) {
+        this.items = items;
+    }
+}
+function hash(value) {
+    if (value === null)
+        return "none";
+    if (typeof value === "string")
+        return `s${value.length}:${value}`;
+    if (typeof value === "bigint" || typeof value === "number")
+        return `n${value}`;
+    if (typeof value === "boolean")
+        return `b${value}`;
+    if (value instanceof Tuple)
+        return `t${value.items
+            .map(hash)
+            .map((part) => `${part.length}:${part}`)
+            .join("")}`;
+    throw new Error(`Unhashable ${typeName(value)}`);
+}
+export class Dict {
+    data = new Map();
+    get size() {
+        return this.data.size;
+    }
+    entries() {
+        return [...this.data.values()];
+    }
+    has(key) {
+        return this.data.has(hash(key));
+    }
+    get(key) {
+        const entry = this.data.get(hash(key));
+        if (!entry)
+            throw new Error(`Missing dictionary key ${repr(key)}`);
+        return entry[1];
+    }
+    set(key, value) {
+        this.data.set(hash(key), [key, value]);
+    }
+    delete(key) {
+        if (!this.data.delete(hash(key)))
+            throw new Error("Missing dictionary key");
+    }
+    clear() {
+        this.data.clear();
+    }
+}
+export function typeName(value) {
+    if (value === null)
+        return "NoneType";
+    if (Array.isArray(value))
+        return "list";
+    if (value instanceof Tuple)
+        return "tuple";
+    if (value instanceof Range)
+        return "range";
+    if (value instanceof StringIterator)
+        return "iterator";
+    if (value instanceof Dict)
+        return "dict";
+    return {
+        boolean: "bool",
+        bigint: "int",
+        number: "float",
+        string: "string",
+        object: "function",
+        function: "function",
+        undefined: "NoneType",
+        symbol: "unknown",
+    }[typeof value];
+}
+export function truth(value) {
+    if (value instanceof Dict)
+        return value.size > 0;
+    if (value instanceof Tuple)
+        return value.items.length > 0;
+    if (value instanceof Range)
+        return value.length > 0;
+    if (Array.isArray(value) || typeof value === "string")
+        return value.length > 0;
+    return value !== null && value !== false && value !== 0n && value !== 0;
+}
+export function sequence(value) {
+    if (Array.isArray(value))
+        return value;
+    if (value instanceof Tuple)
+        return value.items;
+    if (value instanceof Range)
+        return value.items();
+    if (value instanceof StringIterator)
+        return value.items;
+    if (value instanceof Dict)
+        return value.entries().map(([key]) => key);
+    throw new Error(`${typeName(value)} is not iterable`);
+}
+export function integer(value) {
+    if (typeof value !== "bigint" ||
+        value > BigInt(Number.MAX_SAFE_INTEGER) ||
+        value < BigInt(Number.MIN_SAFE_INTEGER))
+        throw new Error("Expected an integer in the supported range");
+    return Number(value);
+}
+export function text(value) {
+    if (typeof value !== "string")
+        throw new Error(`Expected string, got ${typeName(value)}`);
+    return value;
+}
+export function equal(left, right, depth = 0) {
+    if (depth > 128)
+        throw new Error("Value comparison exceeded its depth budget");
+    if (left === right)
+        return true;
+    if ((typeof left === "bigint" && typeof right === "number") ||
+        (typeof left === "number" && typeof right === "bigint"))
+        return left <= right && left >= right;
+    if (left instanceof Range && right instanceof Range)
+        return (left.length === right.length &&
+            (left.length === 0 ||
+                (left.start === right.start &&
+                    (left.length === 1 || left.step === right.step))));
+    if ((Array.isArray(left) && Array.isArray(right)) ||
+        (left instanceof Tuple && right instanceof Tuple)) {
+        const a = sequence(left), b = sequence(right);
+        return (a.length === b.length &&
+            a.every((value, index) => equal(value, b[index], depth + 1)));
+    }
+    if (left instanceof Dict && right instanceof Dict)
+        return (left.size === right.size &&
+            left
+                .entries()
+                .every(([key, value]) => right.has(key) &&
+                equal(value, right.get(key), depth + 1)));
+    return false;
+}
+export function compare(left, right) {
+    if ((typeof left === "bigint" || typeof left === "number") &&
+        (typeof right === "bigint" || typeof right === "number"))
+        return left < right ? -1 : left > right ? 1 : 0;
+    if (typeof left === "string" && typeof right === "string")
+        return Buffer.compare(Buffer.from(left), Buffer.from(right));
+    if (typeof left === "boolean" && typeof right === "boolean")
+        return Number(left) - Number(right);
+    if ((Array.isArray(left) && Array.isArray(right)) ||
+        (left instanceof Tuple && right instanceof Tuple)) {
+        const a = sequence(left), b = sequence(right);
+        for (let index = 0; index < Math.min(a.length, b.length); index++)
+            if (!equal(a[index], b[index]))
+                return compare(a[index], b[index]);
+        return a.length - b.length;
+    }
+    throw new Error(`Cannot order ${typeName(left)} and ${typeName(right)}`);
+}
+export function repr(value, depth = 0) {
+    if (depth > 128)
+        throw new Error("Value representation exceeded its depth budget");
+    if (value === null)
+        return "None";
+    if (typeof value === "boolean")
+        return value ? "True" : "False";
+    if (typeof value === "string")
+        return `"${[...value]
+            .map((char) => {
+            const point = char.codePointAt(0) ?? 0;
+            if (char === '"' || char === "\\")
+                return `\\${char}`;
+            if (char === "\n")
+                return "\\n";
+            if (char === "\r")
+                return "\\r";
+            if (char === "\t")
+                return "\\t";
+            if (point < 0x20 || (point >= 0x7f && point <= 0xff))
+                return `\\x${point.toString(16).padStart(2, "0")}`;
+            if (point > 0xffff)
+                return `\\U${point.toString(16).padStart(8, "0")}`;
+            return char;
+        })
+            .join("")}"`;
+    if (typeof value === "bigint")
+        return String(value);
+    if (typeof value === "number")
+        return Number.isNaN(value)
+            ? "nan"
+            : value === Infinity
+                ? "+inf"
+                : value === -Infinity
+                    ? "-inf"
+                    : Number.isInteger(value)
+                        ? `${value}.0`
+                        : String(value);
+    if (value instanceof Range)
+        return value.start === 0 && value.step === 1
+            ? `range(${value.stop})`
+            : `range(${value.start}, ${value.stop}${value.step === 1 ? "" : `, ${value.step}`})`;
+    if (value instanceof StringIterator)
+        return "iterator";
+    if (Array.isArray(value))
+        return `[${value.map((item) => repr(item, depth + 1)).join(", ")}]`;
+    if (value instanceof Tuple)
+        return `(${value.items.map((item) => repr(item, depth + 1)).join(", ")}${value.items.length === 1 ? "," : ""})`;
+    if (value instanceof Dict)
+        return `{${value
+            .entries()
+            .map(([key, item]) => `${repr(key, depth + 1)}: ${repr(item, depth + 1)}`)
+            .join(", ")}}`;
+    return `<function ${value.name}>`;
+}
+export function display(value) {
+    return typeof value === "string" ? value : repr(value);
+}
+export function contains(container, value) {
+    if (typeof container === "string")
+        return container.includes(text(value));
+    if (container instanceof Dict)
+        return container.has(value);
+    return sequence(container).some((item) => equal(item, value));
+}
+export function binary(op, left, right, budget) {
+    budget.tick();
+    if (op === "==")
+        return equal(left, right);
+    if (op === "!=")
+        return !equal(left, right);
+    if (op === "in" || op === "not in")
+        return contains(right, left) === (op === "in");
+    if (["<", "<=", ">", ">="].includes(op)) {
+        const order = compare(left, right);
+        return op === "<"
+            ? order < 0
+            : op === "<="
+                ? order <= 0
+                : op === ">"
+                    ? order > 0
+                    : order >= 0;
+    }
+    if (op === "+" && typeof left === "string" && typeof right === "string")
+        return budget.string(left + right);
+    if (op === "+" &&
+        ((Array.isArray(left) && Array.isArray(right)) ||
+            (left instanceof Tuple && right instanceof Tuple))) {
+        const a = sequence(left), b = sequence(right);
+        budget.size(a.length + b.length);
+        return left instanceof Tuple ? new Tuple([...a, ...b]) : [...a, ...b];
+    }
+    if (op === "*" && (typeof left === "bigint" || typeof right === "bigint")) {
+        const value = typeof left === "bigint" ? right : left, count = Math.max(0, integer(typeof left === "bigint" ? left : right));
+        if (typeof value === "string") {
+            if (count * value.length > 8 * 1024 * 1024)
+                throw new Error("Rule string exceeded its size budget");
+            return value.repeat(count);
+        }
+        if (Array.isArray(value) || value instanceof Tuple) {
+            const items = sequence(value);
+            budget.size(items.length * count);
+            const result = Array.from({ length: count }, () => items).flat();
+            return value instanceof Tuple ? new Tuple(result) : result;
+        }
+    }
+    if (left instanceof Dict && right instanceof Dict && op === "|") {
+        const result = new Dict();
+        for (const [key, value] of [...left.entries(), ...right.entries()])
+            result.set(key, value);
+        budget.size(result.size);
+        return result;
+    }
+    if (typeof left === "bigint" && typeof right === "bigint" && op !== "/") {
+        if ((op === "//" || op === "%") && right === 0n)
+            throw new Error("Division by zero");
+        if (["<<", ">>"].includes(op) && (right < 0n || right > 100000n))
+            throw new Error("Invalid shift count");
+        let result;
+        switch (op) {
+            case "+":
+                result = left + right;
+                break;
+            case "-":
+                result = left - right;
+                break;
+            case "*":
+                result = left * right;
+                break;
+            case "//":
+                result =
+                    left / right -
+                        (left % right !== 0n && left < 0n !== right < 0n ? 1n : 0n);
+                break;
+            case "%":
+                result = ((left % right) + right) % right;
+                break;
+            case "|":
+                result = left | right;
+                break;
+            case "&":
+                result = left & right;
+                break;
+            case "^":
+                result = left ^ right;
+                break;
+            case "<<":
+                result = left << right;
+                break;
+            case ">>":
+                result = left >> right;
+                break;
+            default:
+                throw new Error(`Unsupported operator ${op}`);
+        }
+        if (result.toString(16).length > 25000)
+            throw new Error("Rule integer exceeded its size budget");
+        return result;
+    }
+    if ((typeof left === "number" || typeof left === "bigint") &&
+        (typeof right === "number" || typeof right === "bigint")) {
+        const a = Number(left), b = Number(right);
+        if (["/", "//", "%"].includes(op) && b === 0)
+            throw new Error("Division by zero");
+        switch (op) {
+            case "+":
+                return a + b;
+            case "-":
+                return a - b;
+            case "*":
+                return a * b;
+            case "/":
+                return a / b;
+            case "//":
+                return Math.floor(a / b);
+            case "%":
+                return ((a % b) + b) % b;
+        }
+    }
+    throw new Error(`Invalid ${typeName(left)} ${op} ${typeName(right)}`);
+}
+//# sourceMappingURL=values.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../../src/policy/starlark/values.ts"],"names":[],"mappings":"AAEA,yFAAyF;AACzF,MAAM,UAAU,cAAc,CAAC,KAAa;IACxC,OAAO,KAAK,CAAC,OAAO,CAAC,uCAAuC,EAAE,EAAE,CAAC,CAAC;AACtE,CAAC;AAmBD,MAAM,OAAO,KAAK;IACO;IAArB,YAAqB,KAAc;QAAd,UAAK,GAAL,KAAK,CAAS;IAAG,CAAC;CAC1C;AACD,MAAM,OAAO,KAAK;IAED;IACA;IACA;IAHb,YACa,KAAa,EACb,IAAY,EACZ,IAAY;QAFZ,UAAK,GAAL,KAAK,CAAQ;QACb,SAAI,GAAJ,IAAI,CAAQ;QACZ,SAAI,GAAJ,IAAI,CAAQ;IACtB,CAAC;IACJ,IAAI,MAAM;QACN,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,KAAK;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CACpD,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CACzC,CAAC;IACN,CAAC;CACJ;AACD,MAAM,OAAO,cAAc;IACF;IAArB,YAAqB,KAAc;QAAd,UAAK,GAAL,KAAK,CAAS;IAAG,CAAC;CAC1C;AACD,SAAS,IAAI,CAAC,KAAY;IACtB,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,EAAE,CAAC;IAClE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;QACtD,OAAO,IAAI,KAAK,EAAE,CAAC;IACvB,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,KAAK,EAAE,CAAC;IACnD,IAAI,KAAK,YAAY,KAAK;QACtB,OAAO,IAAI,KAAK,CAAC,KAAK;aACjB,GAAG,CAAC,IAAI,CAAC;aACT,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC;aACvC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;IACpB,MAAM,IAAI,KAAK,CAAC,cAAc,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACrD,CAAC;AACD,MAAM,OAAO,IAAI;IACI,IAAI,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC1D,IAAI,IAAI;QACJ,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC1B,CAAC;IACD,OAAO;QACH,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACnC,CAAC;IACD,GAAG,CAAC,GAAU;QACV,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,GAAG,CAAC,GAAU;QACV,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,GAAG,CAAC,GAAU,EAAE,KAAY;QACxB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,CAAC,GAAU;QACb,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAClD,CAAC;IACD,KAAK;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;CACJ;AACD,MAAM,UAAU,QAAQ,CAAC,KAAY;IACjC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,UAAU,CAAC;IACtC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,KAAK,YAAY,KAAK;QAAE,OAAO,OAAO,CAAC;IAC3C,IAAI,KAAK,YAAY,KAAK;QAAE,OAAO,OAAO,CAAC;IAC3C,IAAI,KAAK,YAAY,cAAc;QAAE,OAAO,UAAU,CAAC;IACvD,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,MAAM,CAAC;IACzC,OAAO;QACH,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,OAAO;QACf,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,UAAU;QAClB,QAAQ,EAAE,UAAU;QACpB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,SAAS;KACpB,CAAC,OAAO,KAAK,CAAC,CAAC;AACpB,CAAC;AACD,MAAM,UAAU,KAAK,CAAC,KAAY;IAC9B,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;IACjD,IAAI,KAAK,YAAY,KAAK;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1D,IAAI,KAAK,YAAY,KAAK;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACpD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ;QACjD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC;AAC5E,CAAC;AACD,MAAM,UAAU,QAAQ,CAAC,KAAY;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,IAAI,KAAK,YAAY,KAAK;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC;IAC/C,IAAI,KAAK,YAAY,KAAK;QAAE,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC;IACjD,IAAI,KAAK,YAAY,cAAc;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC;IACxD,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IACtE,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;AAC1D,CAAC;AACD,MAAM,UAAU,OAAO,CAAC,KAAY;IAChC,IACI,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC;QACvC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC;QAEvC,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAClE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC;AACD,MAAM,UAAU,IAAI,CAAC,KAAY;IAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ;QACzB,MAAM,IAAI,KAAK,CAAC,wBAAwB,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,MAAM,UAAU,KAAK,CAAC,IAAW,EAAE,KAAY,EAAE,KAAK,GAAG,CAAC;IACtD,IAAI,KAAK,GAAG,GAAG;QACX,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAClE,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAChC,IACI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;QACvD,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;QAEvD,OAAO,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,CAAC;IAC1C,IAAI,IAAI,YAAY,KAAK,IAAI,KAAK,YAAY,KAAK;QAC/C,OAAO,CACH,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAC5B,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBACd,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;oBACvB,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAC5D,CAAC;IACN,IACI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7C,CAAC,IAAI,YAAY,KAAK,IAAI,KAAK,YAAY,KAAK,CAAC,EACnD,CAAC;QACC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,EACpB,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACxB,OAAO,CACH,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YACrB,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAC/D,CAAC;IACN,CAAC;IACD,IAAI,IAAI,YAAY,IAAI,IAAI,KAAK,YAAY,IAAI;QAC7C,OAAO,CACH,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YACxB,IAAI;iBACC,OAAO,EAAE;iBACT,KAAK,CACF,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CACb,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBACd,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAC9C,CACR,CAAC;IACN,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,MAAM,UAAU,OAAO,CAAC,IAAW,EAAE,KAAY;IAC7C,IACI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC;QACtD,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;QAExD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;QACrD,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACjE,IAAI,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,SAAS;QACvD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACxC,IACI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7C,CAAC,IAAI,YAAY,KAAK,IAAI,KAAK,YAAY,KAAK,CAAC,EACnD,CAAC;QACC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,EACpB,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACxB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE;YAC7D,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBAAE,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/B,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,gBAAgB,QAAQ,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC7E,CAAC;AACD,MAAM,UAAU,IAAI,CAAC,KAAY,EAAE,KAAK,GAAG,CAAC;IACxC,IAAI,KAAK,GAAG,GAAG;QACX,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACtE,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,IAAI,CAAC,GAAG,KAAK,CAAC;aAChB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACV,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,IAAI,EAAE,CAAC;YACtD,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAChC,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAChC,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAChC,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC;gBAChD,OAAO,MAAM,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACvD,IAAI,KAAK,GAAG,MAAM;gBACd,OAAO,MAAM,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACvD,OAAO,IAAI,CAAC;QAChB,CAAC,CAAC;aACD,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;IACrB,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YACtB,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK,KAAK,QAAQ;gBAClB,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,KAAK,KAAK,CAAC,QAAQ;oBACnB,CAAC,CAAC,MAAM;oBACR,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;wBACvB,CAAC,CAAC,GAAG,KAAK,IAAI;wBACd,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,KAAK,YAAY,KAAK;QACtB,OAAO,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;YACxC,CAAC,CAAC,SAAS,KAAK,CAAC,IAAI,GAAG;YACxB,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;IAC7F,IAAI,KAAK,YAAY,cAAc;QAAE,OAAO,UAAU,CAAC;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACxE,IAAI,KAAK,YAAY,KAAK;QACtB,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;IACpH,IAAI,KAAK,YAAY,IAAI;QACrB,OAAO,IAAI,KAAK;aACX,OAAO,EAAE;aACT,GAAG,CACA,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CACZ,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAC1D;aACA,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACvB,OAAO,aAAa,KAAK,CAAC,IAAI,GAAG,CAAC;AACtC,CAAC;AACD,MAAM,UAAU,OAAO,CAAC,KAAY;IAChC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3D,CAAC;AACD,MAAM,UAAU,QAAQ,CAAC,SAAgB,EAAE,KAAY;IACnD,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,IAAI,SAAS,YAAY,IAAI;QAAE,OAAO,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC3D,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAClE,CAAC;AACD,MAAM,UAAU,MAAM,CAClB,EAAU,EACV,IAAW,EACX,KAAY,EACZ,MAAc;IAEd,MAAM,CAAC,IAAI,EAAE,CAAC;IACd,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5C,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,QAAQ;QAC9B,OAAO,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnC,OAAO,EAAE,KAAK,GAAG;YACb,CAAC,CAAC,KAAK,GAAG,CAAC;YACX,CAAC,CAAC,EAAE,KAAK,IAAI;gBACX,CAAC,CAAC,KAAK,IAAI,CAAC;gBACZ,CAAC,CAAC,EAAE,KAAK,GAAG;oBACV,CAAC,CAAC,KAAK,GAAG,CAAC;oBACX,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;QACnE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IACvC,IACI,EAAE,KAAK,GAAG;QACV,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1C,CAAC,IAAI,YAAY,KAAK,IAAI,KAAK,YAAY,KAAK,CAAC,CAAC,EACxD,CAAC;QACC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,EACpB,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACjC,OAAO,IAAI,YAAY,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QACxE,MAAM,KAAK,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EACjD,KAAK,GAAG,IAAI,CAAC,GAAG,CACZ,CAAC,EACD,OAAO,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CACnD,CAAC;QACN,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI;gBACtC,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;YAC5D,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACjE,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC/D,CAAC;IACL,CAAC;IACD,IAAI,IAAI,YAAY,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9D,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QACtE,IAAI,CAAC,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE;YAC3C,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,IAAI,KAAK,GAAG,OAAO,CAAC;YAC5D,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAC3C,IAAI,MAAc,CAAC;QACnB,QAAQ,EAAE,EAAE,CAAC;YACT,KAAK,GAAG;gBACJ,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;gBACtB,MAAM;YACV,KAAK,GAAG;gBACJ,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;gBACtB,MAAM;YACV,KAAK,GAAG;gBACJ,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;gBACtB,MAAM;YACV,KAAK,IAAI;gBACL,MAAM;oBACF,IAAI,GAAG,KAAK;wBACZ,CAAC,IAAI,GAAG,KAAK,KAAK,EAAE,IAAI,IAAI,GAAG,EAAE,KAAK,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChE,MAAM;YACV,KAAK,GAAG;gBACJ,MAAM,GAAG,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;gBAC1C,MAAM;YACV,KAAK,GAAG;gBACJ,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;gBACtB,MAAM;YACV,KAAK,GAAG;gBACJ,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;gBACtB,MAAM;YACV,KAAK,GAAG;gBACJ,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;gBACtB,MAAM;YACV,KAAK,IAAI;gBACL,MAAM,GAAG,IAAI,IAAI,KAAK,CAAC;gBACvB,MAAM;YACV,KAAK,IAAI;gBACL,MAAM,GAAG,IAAI,IAAI,KAAK,CAAC;gBACvB,MAAM;YACV;gBACI,MAAM,IAAI,KAAK,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,KAAK;YAClC,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC7D,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,IACI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC;QACtD,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,EAC1D,CAAC;QACC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAClB,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACxC,QAAQ,EAAE,EAAE,CAAC;YACT,KAAK,GAAG;gBACJ,OAAO,CAAC,GAAG,CAAC,CAAC;YACjB,KAAK,GAAG;gBACJ,OAAO,CAAC,GAAG,CAAC,CAAC;YACjB,KAAK,GAAG;gBACJ,OAAO,CAAC,GAAG,CAAC,CAAC;YACjB,KAAK,GAAG;gBACJ,OAAO,CAAC,GAAG,CAAC,CAAC;YACjB,KAAK,IAAI;gBACL,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7B,KAAK,GAAG;gBACJ,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACjC,CAAC;IACL,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,WAAW,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC1E,CAAC"}

package/dist/reports.d.ts

@@ -1,4 +1,4 @@
-import { type TestEvidence } from './contracts.js';
+import { type TestEvidence } from "./contracts.js";
 export declare function validateEvidence(evidence: TestEvidence, requiredBehavior: readonly string[], expected?: {
     contractDigest: string;
     sourceDigest: string;