modality-ts 0.0.7 → 0.0.9

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "modality-ts",
-  "version": "0.0.7",
+  "version": "0.0.9",
   "description": "Model-checking-based testing tools for React state-transition bugs.",
   "license": "MIT",
   "repository": {
@@ -8,107 +8,119 @@
     "url": "git+https://github.com/Harineko0/modality-ts.git"
   },
   "type": "module",
-  "types": "./dist/modality/cli.d.ts",
+  "types": "./dist/cli/cli.d.ts",
   "files": [
     "dist/**",
     "README.md",
     "LICENSE"
   ],
   "bin": {
-    "modality": "dist/modality/cli.js"
+    "modality": "dist/cli/cli.js"
   },
   "exports": {
     ".": {
-      "types": "./dist/modality/cli.d.ts",
-      "default": "./dist/modality/cli.js"
+      "types": "./dist/cli/cli.d.ts",
+      "default": "./dist/cli/cli.js"
     },
-    "./check": {
-      "types": "./dist/modality/check.d.ts",
-      "default": "./dist/modality/check.js"
+    "./cli": {
+      "types": "./dist/cli/cli.d.ts",
+      "default": "./dist/cli/cli.js"
     },
-    "./ci": {
-      "types": "./dist/modality/ci.d.ts",
-      "default": "./dist/modality/ci.js"
+    "./cli/check": {
+      "types": "./dist/cli/check.d.ts",
+      "default": "./dist/cli/check.js"
     },
-    "./conform": {
-      "types": "./dist/modality/conform.d.ts",
-      "default": "./dist/modality/conform.js"
+    "./cli/ci": {
+      "types": "./dist/cli/ci.d.ts",
+      "default": "./dist/cli/ci.js"
     },
-    "./extract": {
-      "types": "./dist/modality/extract.d.ts",
-      "default": "./dist/modality/extract.js"
+    "./cli/conform": {
+      "types": "./dist/cli/conform.d.ts",
+      "default": "./dist/cli/conform.js"
+    },
+    "./cli/extract": {
+      "types": "./dist/cli/extract.d.ts",
+      "default": "./dist/cli/extract.js"
+    },
+    "./cli/replay": {
+      "types": "./dist/cli/replay.d.ts",
+      "default": "./dist/cli/replay.js"
     },
-    "./replay": {
-      "types": "./dist/modality/replay.d.ts",
-      "default": "./dist/modality/replay.js"
+    "./cli/export-tla": {
+      "types": "./dist/cli/export-tla.d.ts",
+      "default": "./dist/cli/export-tla.js"
     },
-    "./export-tla": {
-      "types": "./dist/modality/export-tla.d.ts",
-      "default": "./dist/modality/export-tla.js"
+    "./cli/overlay": {
+      "types": "./dist/cli/overlay.d.ts",
+      "default": "./dist/cli/overlay.js"
     },
-    "./kernel": {
-      "types": "./dist/kernel/index.d.ts",
-      "default": "./dist/kernel/index.js"
+    "./cli/harness": {
+      "types": "./dist/cli/harness/index.d.ts",
+      "default": "./dist/cli/harness/index.js"
     },
-    "./kernel/props": {
-      "types": "./dist/kernel/props/index.d.ts",
-      "default": "./dist/kernel/props/index.js"
+    "./cli/runtime": {
+      "types": "./dist/cli/runtime/index.d.ts",
+      "default": "./dist/cli/runtime/index.js"
     },
-    "./checker": {
-      "types": "./dist/checker/index.d.ts",
-      "default": "./dist/checker/index.js"
+    "./core": {
+      "types": "./dist/core/index.d.ts",
+      "default": "./dist/core/index.js"
     },
-    "./extraction": {
-      "types": "./dist/extraction/index.d.ts",
-      "default": "./dist/extraction/index.js"
+    "./core/props": {
+      "types": "./dist/core/props/index.d.ts",
+      "default": "./dist/core/props/index.js"
     },
-    "./extraction/pipeline": {
-      "types": "./dist/extraction/pipeline/index.d.ts",
-      "default": "./dist/extraction/pipeline/index.js"
+    "./check": {
+      "types": "./dist/check/index.d.ts",
+      "default": "./dist/check/index.js"
+    },
+    "./extract": {
+      "types": "./dist/extract/index.d.ts",
+      "default": "./dist/extract/index.js"
     },
-    "./extraction/spi": {
-      "types": "./dist/extraction/spi/index.d.ts",
-      "default": "./dist/extraction/spi/index.js"
+    "./extract/engine": {
+      "types": "./dist/extract/engine/index.d.ts",
+      "default": "./dist/extract/engine/index.js"
     },
-    "./harness": {
-      "types": "./dist/harness/index.d.ts",
-      "default": "./dist/harness/index.js"
+    "./extract/engine/pipeline": {
+      "types": "./dist/extract/engine/pipeline/index.d.ts",
+      "default": "./dist/extract/engine/pipeline/index.js"
     },
-    "./runtime": {
-      "types": "./dist/runtime/index.d.ts",
-      "default": "./dist/runtime/index.js"
+    "./extract/engine/spi": {
+      "types": "./dist/extract/engine/spi/index.d.ts",
+      "default": "./dist/extract/engine/spi/index.js"
     },
-    "./source-jotai": {
-      "types": "./dist/sources/jotai/index.d.ts",
-      "default": "./dist/sources/jotai/index.js"
+    "./extract/sources/jotai": {
+      "types": "./dist/extract/sources/jotai/index.d.ts",
+      "default": "./dist/extract/sources/jotai/index.js"
     },
-    "./source-jotai/harness": {
-      "types": "./dist/sources/jotai/harness.d.ts",
-      "default": "./dist/sources/jotai/harness.js"
+    "./extract/sources/jotai/harness": {
+      "types": "./dist/extract/sources/jotai/harness.d.ts",
+      "default": "./dist/extract/sources/jotai/harness.js"
     },
-    "./source-router": {
-      "types": "./dist/sources/router/index.d.ts",
-      "default": "./dist/sources/router/index.js"
+    "./extract/sources/router": {
+      "types": "./dist/extract/sources/router/index.d.ts",
+      "default": "./dist/extract/sources/router/index.js"
     },
-    "./source-router/harness": {
-      "types": "./dist/sources/router/harness.d.ts",
-      "default": "./dist/sources/router/harness.js"
+    "./extract/sources/router/harness": {
+      "types": "./dist/extract/sources/router/harness.d.ts",
+      "default": "./dist/extract/sources/router/harness.js"
     },
-    "./source-swr": {
-      "types": "./dist/sources/swr/index.d.ts",
-      "default": "./dist/sources/swr/index.js"
+    "./extract/sources/swr": {
+      "types": "./dist/extract/sources/swr/index.d.ts",
+      "default": "./dist/extract/sources/swr/index.js"
     },
-    "./source-swr/harness": {
-      "types": "./dist/sources/swr/harness.d.ts",
-      "default": "./dist/sources/swr/harness.js"
+    "./extract/sources/swr/harness": {
+      "types": "./dist/extract/sources/swr/harness.d.ts",
+      "default": "./dist/extract/sources/swr/harness.js"
     },
-    "./source-use-state": {
-      "types": "./dist/sources/use-state/index.d.ts",
-      "default": "./dist/sources/use-state/index.js"
+    "./extract/sources/use-state": {
+      "types": "./dist/extract/sources/use-state/index.d.ts",
+      "default": "./dist/extract/sources/use-state/index.js"
     },
-    "./source-use-state/harness": {
-      "types": "./dist/sources/use-state/harness.d.ts",
-      "default": "./dist/sources/use-state/harness.js"
+    "./extract/sources/use-state/harness": {
+      "types": "./dist/extract/sources/use-state/harness.d.ts",
+      "default": "./dist/extract/sources/use-state/harness.js"
     }
   },
   "packageManager": "pnpm@10.12.4",
@@ -118,6 +130,7 @@
     "clean": "rm -rf dist tsconfig.tsbuildinfo",
     "ci:examples": "tsx tools/examples-ci.ts",
     "demo": "vitest run test/modality/demo-acceptance.test.ts",
+    "fix": "biome lint --write . && biome format --write .",
     "phase7": "tsx tools/phase7-differential.ts",
     "publish:npm": "npm publish --access public",
     "test": "vitest run",
@@ -128,6 +141,7 @@
     "typescript": "^5.9.3"
   },
   "devDependencies": {
+    "@biomejs/biome": "2.5.0",
     "@types/node": "^24.10.1",
     "dependency-cruiser": "^17.4.3",
     "tsx": "^4.20.6",

package/dist/checker/encode/index.d.ts

@@ -1,2 +0,0 @@
-export { canonicalState } from "modality-ts/kernel";
-//# sourceMappingURL=index.d.ts.map

package/dist/checker/encode/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/checker/encode/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/checker/encode/index.js

@@ -1,2 +0,0 @@
-export { canonicalState } from "modality-ts/kernel";
-//# sourceMappingURL=index.js.map

package/dist/checker/encode/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/checker/encode/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/checker/index.d.ts

@@ -1,6 +0,0 @@
-export * from "./encode/index.js";
-export * from "./monitors/index.js";
-export * from "./search/index.js";
-export * from "./slicing/index.js";
-export * from "./traces/index.js";
-//# sourceMappingURL=index.d.ts.map

package/dist/checker/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/checker/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC"}

package/dist/checker/index.js

@@ -1,6 +0,0 @@
-export * from "./encode/index.js";
-export * from "./monitors/index.js";
-export * from "./search/index.js";
-export * from "./slicing/index.js";
-export * from "./traces/index.js";
-//# sourceMappingURL=index.js.map

package/dist/checker/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/checker/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC"}

package/dist/checker/monitors/index.d.ts

@@ -1,2 +0,0 @@
-export type { CheckOptions, CheckResult, PropertyVerdict } from "../search/index.js";
-//# sourceMappingURL=index.d.ts.map

package/dist/checker/monitors/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/checker/monitors/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/checker/monitors/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/checker/monitors/index.ts"],"names":[],"mappings":""}

package/dist/checker/search/eval.d.ts

@@ -1,16 +0,0 @@
-import type { EffectIR, ExprIR, Model, ModelState, Transition, Value } from "modality-ts/kernel";
-export interface PendingOp {
-    [key: string]: Value;
-    opId: string;
-    continuation: string;
-    args: Record<string, Value>;
-}
-export interface EvalOptions {
-    onBoundHit?: (hit: string) => void;
-}
-export declare function evalExpr(model: Model, state: ModelState, expr: ExprIR, options?: EvalOptions): Value;
-export declare function guardHolds(model: Model, transition: Transition, state: ModelState): boolean;
-export declare function applyEffect(model: Model, state: ModelState, effect: EffectIR, options?: EvalOptions): ModelState[];
-export declare function readPending(state: ModelState): PendingOp[];
-export declare function normalizeInitialRouteLocals(model: Model, state: ModelState): ModelState[];
-//# sourceMappingURL=eval.d.ts.map

package/dist/checker/search/eval.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"eval.d.ts","sourceRoot":"","sources":["../../../src/checker/search/eval.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAkB,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAa,UAAU,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE5H,MAAM,WAAW,SAAS;IACxB,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAC7B;AAED,MAAM,WAAW,WAAW;IAC1B,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CACpC;AAaD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,WAAgB,GAAG,KAAK,CA0CxG;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,OAAO,CAE3F;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAE,WAAgB,GAAG,UAAU,EAAE,CAUtH;AAsCD,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,EAAE,CAG1D;AAsBD,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,GAAG,UAAU,EAAE,CAEzF"}

package/dist/checker/search/eval.js

@@ -1,308 +0,0 @@
-import { createRequire } from "node:module";
-import { isAbsolute, resolve } from "node:path";
-import { enumerateDomain, initialValues, UNMOUNTED, validateValue } from "modality-ts/kernel";
-const require = createRequire(import.meta.url);
-const opaqueCache = new Map();
-class TokenExhausted extends Error {
-    domainOf;
-    constructor(domainOf) {
-        super(`token cap exhausted for ${domainOf}`);
-        this.domainOf = domainOf;
-    }
-}
-export function evalExpr(model, state, expr, options = {}) {
-    switch (expr.kind) {
-        case "lit":
-            return expr.value;
-        case "read":
-            return readPath(state[expr.var], expr.path ?? []);
-        case "eq":
-            return JSON.stringify(evalExpr(model, state, expr.args[0], options)) === JSON.stringify(evalExpr(model, state, expr.args[1], options));
-        case "neq":
-            return JSON.stringify(evalExpr(model, state, expr.args[0], options)) !== JSON.stringify(evalExpr(model, state, expr.args[1], options));
-        case "and":
-            return expr.args.every((arg) => Boolean(evalExpr(model, state, arg, options)));
-        case "or":
-            return expr.args.some((arg) => Boolean(evalExpr(model, state, arg, options)));
-        case "not":
-            return !Boolean(evalExpr(model, state, expr.args[0], options));
-        case "cond":
-            return Boolean(evalExpr(model, state, expr.args[0], options)) ? evalExpr(model, state, expr.args[1], options) : evalExpr(model, state, expr.args[2], options);
-        case "updateField":
-            return writePath(evalExpr(model, state, expr.target, options), expr.path, evalExpr(model, state, expr.value, options));
-        case "tagIs": {
-            const arg = evalExpr(model, state, expr.arg, options);
-            const domain = taggedDomainForExpr(model, expr.arg);
-            return isRecord(arg) && domain !== undefined && arg[domain.tag] === expr.tag;
-        }
-        case "lenCat": {
-            const arg = evalExpr(model, state, expr.arg, options);
-            if (!Array.isArray(arg))
-                return "0";
-            return arg.length === 0 ? "0" : arg.length === 1 ? "1" : "many";
-        }
-        case "freshToken": {
-            const decl = model.vars.find((candidate) => candidate.id === expr.domainOf);
-            if (!decl || decl.domain.kind !== "tokens")
-                throw new Error(`freshToken domainOf must reference token var: ${expr.domainOf}`);
-            const names = enumerateDomain(decl.domain);
-            const tokenSet = new Set(names);
-            const used = new Set();
-            for (const value of Object.values(state))
-                collectTokens(value, used, tokenSet);
-            const fresh = names.find((name) => !used.has(name));
-            if (!fresh)
-                throw new TokenExhausted(expr.domainOf);
-            return fresh;
-        }
-    }
-}
-export function guardHolds(model, transition, state) {
-    return Boolean(evalExpr(model, state, transition.guard));
-}
-export function applyEffect(model, state, effect, options = {}) {
-    try {
-        return applyEffectUnsafe(model, state, effect, options);
-    }
-    catch (error) {
-        if (error instanceof TokenExhausted) {
-            options.onBoundHit?.(`token cap exhausted for ${error.domainOf}`);
-            return [];
-        }
-        throw error;
-    }
-}
-function applyEffectUnsafe(model, state, effect, options) {
-    switch (effect.kind) {
-        case "assign":
-            return [{ ...state, [effect.var]: evalExpr(model, state, effect.expr, options) }];
-        case "havoc": {
-            const decl = mustVar(model, effect.var);
-            return enumerateDomain(decl.domain).map((value) => ({ ...state, [effect.var]: value }));
-        }
-        case "choose":
-            return effect.among.map((expr) => ({ ...state, [effect.var]: evalExpr(model, state, expr, options) }));
-        case "if":
-            return applyEffect(model, state, Boolean(evalExpr(model, state, effect.cond, options)) ? effect.then : effect.else, options);
-        case "seq":
-            return effect.effects.reduce((states, next) => states.flatMap((candidate) => applyEffect(model, candidate, next, options)), [state]);
-        case "enqueue": {
-            const pending = readPending(state);
-            if (pending.length >= model.bounds.maxPending)
-                return [];
-            const op = {
-                opId: effect.op,
-                continuation: effect.continuation,
-                args: Object.fromEntries(Object.entries(effect.args).map(([k, expr]) => [k, evalExpr(model, state, expr, options)]))
-            };
-            return [{ ...state, "sys:pending": [...pending, op] }];
-        }
-        case "dequeue": {
-            const pending = readPending(state);
-            if (effect.index < 0 || effect.index >= pending.length)
-                return [state];
-            return [{ ...state, "sys:pending": pending.filter((_, i) => i !== effect.index) }];
-        }
-        case "navigate":
-            return navigate(model, state, effect, options);
-        case "opaque":
-            return applyOpaqueEffect(model, state, effect.ref);
-    }
-}
-export function readPending(state) {
-    const pending = state["sys:pending"];
-    return Array.isArray(pending) ? pending : [];
-}
-function navigate(model, state, effect, options) {
-    const route = state["sys:route"];
-    const history = Array.isArray(state["sys:history"]) ? state["sys:history"] : [];
-    if (effect.mode === "back") {
-        const previous = history[history.length - 1];
-        if (typeof previous !== "string")
-            return [state];
-        return resetRouteLocals(model, { ...state, "sys:route": previous, "sys:history": history.slice(0, -1) }, route);
-    }
-    const to = effect.to ? evalExpr(model, state, effect.to) : undefined;
-    if (typeof to !== "string")
-        return [state];
-    const historyDecl = model.vars.find((decl) => decl.id === "sys:history");
-    const historyCap = historyDecl?.domain.kind === "boundedList" ? historyDecl.domain.maxLen : undefined;
-    if (effect.mode === "push" && historyCap !== undefined && history.length >= historyCap) {
-        options.onBoundHit?.("history cap saturated");
-        return [];
-    }
-    const nextHistory = effect.mode === "push" && typeof route === "string" ? [...history, route] : history;
-    return resetRouteLocals(model, { ...state, "sys:route": to, "sys:history": nextHistory }, route);
-}
-export function normalizeInitialRouteLocals(model, state) {
-    return resetRouteLocals(model, state, undefined, { preserveMounted: true });
-}
-function resetRouteLocals(model, state, previousRoute, options = {}) {
-    const currentRoute = state["sys:route"];
-    if (previousRoute === currentRoute)
-        return [state];
-    let states = [state];
-    for (const decl of model.vars) {
-        if (decl.scope.kind !== "route-local")
-            continue;
-        if (decl.scope.route === currentRoute) {
-            if (options.preserveMounted)
-                continue;
-            states = states.flatMap((candidate) => initialValues(decl.domain, decl.initial).map((value) => ({ ...candidate, [decl.id]: value })));
-        }
-        else {
-            states = states.map((candidate) => ({ ...candidate, [decl.id]: UNMOUNTED }));
-        }
-    }
-    return states;
-}
-function readPath(value, path) {
-    let current = value;
-    for (const segment of path) {
-        if (Array.isArray(current))
-            current = current[Number(segment)];
-        else if (current && typeof current === "object")
-            current = current[segment];
-        else
-            return undefined;
-    }
-    return current;
-}
-function writePath(target, path, value) {
-    if (path.length === 0)
-        return value;
-    const [head, ...tail] = path;
-    if (Array.isArray(target)) {
-        const copy = [...target];
-        copy[Number(head)] = writePath(copy[Number(head)], tail, value);
-        return copy;
-    }
-    const base = target && typeof target === "object" ? target : {};
-    return { ...base, [head]: writePath(base[head], tail, value) };
-}
-function taggedDomainForExpr(model, expr) {
-    const domain = domainForExpr(model, expr);
-    return domain?.kind === "tagged" ? domain : undefined;
-}
-function domainForExpr(model, expr) {
-    switch (expr.kind) {
-        case "read": {
-            const decl = model.vars.find((candidate) => candidate.id === expr.var);
-            return decl ? domainAtPath(decl.domain, expr.path ?? []) : undefined;
-        }
-        case "cond": {
-            const thenDomain = domainForExpr(model, expr.args[1]);
-            const elseDomain = domainForExpr(model, expr.args[2]);
-            return thenDomain && elseDomain && JSON.stringify(thenDomain) === JSON.stringify(elseDomain) ? thenDomain : undefined;
-        }
-        case "updateField":
-            return domainForExpr(model, expr.target);
-        default:
-            return undefined;
-    }
-}
-function domainAtPath(domain, path) {
-    let current = domain;
-    for (const segment of path) {
-        if (!current)
-            return undefined;
-        while (current.kind === "option")
-            current = current.inner;
-        if (current.kind === "record")
-            current = current.fields[segment];
-        else if (current.kind === "boundedList") {
-            if (!/^\d+$/.test(segment))
-                return undefined;
-            const index = Number(segment);
-            current = index >= 0 && index < current.maxLen ? current.inner : undefined;
-        }
-        else if (current.kind === "tagged") {
-            current = segment === current.tag ? { kind: "enum", values: Object.keys(current.variants) } : undefined;
-        }
-        else
-            return undefined;
-    }
-    return current;
-}
-function isRecord(value) {
-    return typeof value === "object" && value !== null && !Array.isArray(value);
-}
-function collectTokens(value, out, tokenSet) {
-    if (typeof value === "string" && tokenSet.has(value))
-        out.add(value);
-    else if (Array.isArray(value))
-        value.forEach((item) => collectTokens(item, out, tokenSet));
-    else if (value && typeof value === "object")
-        Object.values(value).forEach((item) => collectTokens(item, out, tokenSet));
-}
-function applyOpaqueEffect(model, state, ref) {
-    const fn = loadOpaqueEffect(ref);
-    const first = normalizeOpaqueResults(fn(deepFreeze(cloneValue(state))));
-    const second = normalizeOpaqueResults(fn(deepFreeze(cloneValue(state))));
-    if (JSON.stringify(first) !== JSON.stringify(second)) {
-        throw new Error(`Opaque effect ${ref.module}#${ref.export} returned nondeterministic results for identical input`);
-    }
-    const states = first;
-    return states.map((candidate, index) => validateOpaqueState(model, state, candidate, ref, index));
-}
-function normalizeOpaqueResults(results) {
-    return Array.isArray(results) ? results : [results];
-}
-function loadOpaqueEffect(ref) {
-    const key = `${ref.module}#${ref.export}`;
-    const cached = opaqueCache.get(key);
-    if (cached)
-        return cached;
-    const modulePath = isAbsolute(ref.module) ? ref.module : resolve(process.cwd(), ref.module);
-    const moduleValue = require(modulePath);
-    const fn = moduleValue[ref.export];
-    if (typeof fn !== "function")
-        throw new Error(`Opaque effect ${key} does not export a function`);
-    opaqueCache.set(key, fn);
-    return fn;
-}
-function validateOpaqueState(model, pre, post, ref, index) {
-    if (!post || typeof post !== "object" || Array.isArray(post)) {
-        throw new Error(`Opaque effect ${ref.module}#${ref.export} result ${index} must be a state object`);
-    }
-    const declaredWrites = new Set(ref.declaredWrites);
-    const varIds = new Set(model.vars.map((decl) => decl.id));
-    for (const key of Object.keys(post)) {
-        if (!varIds.has(key))
-            throw new Error(`Opaque effect ${ref.module}#${ref.export} wrote unknown var ${key}`);
-    }
-    for (const decl of model.vars) {
-        if (!Object.hasOwn(post, decl.id))
-            throw new Error(`Opaque effect ${ref.module}#${ref.export} result ${index} omitted var ${decl.id}`);
-        if (!validateValue(decl.domain, post[decl.id])) {
-            throw new Error(`Opaque effect ${ref.module}#${ref.export} produced invalid value for ${decl.id}: ${JSON.stringify(post[decl.id])}`);
-        }
-    }
-    for (const id of changedKeys(pre, post)) {
-        if (!declaredWrites.has(id))
-            throw new Error(`Opaque effect ${ref.module}#${ref.export} wrote undeclared var ${id}`);
-    }
-    return post;
-}
-function changedKeys(left, right) {
-    const ids = new Set([...Object.keys(left), ...Object.keys(right)]);
-    return [...ids].filter((id) => JSON.stringify(left[id]) !== JSON.stringify(right[id]));
-}
-function cloneValue(value) {
-    return JSON.parse(JSON.stringify(value));
-}
-function deepFreeze(value) {
-    if (value && typeof value === "object") {
-        Object.freeze(value);
-        for (const child of Object.values(value))
-            deepFreeze(child);
-    }
-    return value;
-}
-function mustVar(model, id) {
-    const decl = model.vars.find((candidate) => candidate.id === id);
-    if (!decl)
-        throw new Error(`Unknown var ${id}`);
-    return decl;
-}
-//# sourceMappingURL=eval.js.map

package/dist/checker/search/eval.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"eval.js","sourceRoot":"","sources":["../../../src/checker/search/eval.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAgB9F,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,EAA0B,CAAC;AAEtD,MAAM,cAAe,SAAQ,KAAK;IACX;IAArB,YAAqB,QAAgB;QACnC,KAAK,CAAC,2BAA2B,QAAQ,EAAE,CAAC,CAAC;QAD1B,aAAQ,GAAR,QAAQ,CAAQ;IAErC,CAAC;CACF;AAED,MAAM,UAAU,QAAQ,CAAC,KAAY,EAAE,KAAiB,EAAE,IAAY,EAAE,UAAuB,EAAE;IAC/F,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QACpD,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACzI,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACzI,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QACjF,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QAChF,KAAK,KAAK;YACR,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACjE,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAChK,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QACzH,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACtD,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YACpD,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC;QAC/E,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,OAAO,GAAG,CAAC;YACpC,OAAO,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QAClE,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC5E,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC9H,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAa,CAAC;YACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;YAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;gBAAE,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC/E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YACpD,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACpD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAY,EAAE,UAAsB,EAAE,KAAiB;IAChF,OAAO,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAY,EAAE,KAAiB,EAAE,MAAgB,EAAE,UAAuB,EAAE;IACtG,IAAI,CAAC;QACH,OAAO,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,cAAc,EAAE,CAAC;YACpC,OAAO,CAAC,UAAU,EAAE,CAAC,2BAA2B,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;YAClE,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAY,EAAE,KAAiB,EAAE,MAAgB,EAAE,OAAoB;IAChG,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;QACpF,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;YACxC,OAAO,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC1F,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACzG,KAAK,IAAI;YACP,OAAO,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/H,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAe,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACrJ,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU;gBAAE,OAAO,EAAE,CAAC;YACzD,MAAM,EAAE,GAAc;gBACpB,IAAI,EAAE,MAAM,CAAC,EAAE;gBACf,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;aACrH,CAAC;YACF,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,CAAC,GAAG,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,CAAC;YACvE,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrF,CAAC;QACD,KAAK,UAAU;YACb,OAAO,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACjD,KAAK,QAAQ;YACX,OAAO,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAiB;IAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,OAAuB,CAAC,CAAC,CAAC,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,QAAQ,CAAC,KAAY,EAAE,KAAiB,EAAE,MAA+C,EAAE,OAAoB;IACtH,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChF,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QACjD,OAAO,gBAAgB,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAClH,CAAC;IACD,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,aAAa,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,WAAW,EAAE,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACtG,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,IAAI,UAAU,EAAE,CAAC;QACvF,OAAO,CAAC,UAAU,EAAE,CAAC,uBAAuB,CAAC,CAAC;QAC9C,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACxG,OAAO,gBAAgB,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,EAAE,KAAK,CAAC,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,KAAY,EAAE,KAAiB;IACzE,OAAO,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAY,EAAE,KAAiB,EAAE,aAAgC,EAAE,UAAyC,EAAE;IACtI,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACxC,IAAI,aAAa,KAAK,YAAY;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;YAAE,SAAS;QAChD,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YACtC,IAAI,OAAO,CAAC,eAAe;gBAAE,SAAS;YACtC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACxI,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAwB,EAAE,IAAuB;IACjE,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;aAC1D,IAAI,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,GAAI,OAAiC,CAAC,OAAO,CAAC,CAAC;;YAClG,OAAO,SAA6B,CAAC;IAC5C,CAAC;IACD,OAAO,OAAgB,CAAC;AAC1B,CAAC;AAED,SAAS,SAAS,CAAC,MAAa,EAAE,IAAuB,EAAE,KAAY;IACrE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;QACzB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,CAAE,IAA8B,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AAC5F,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAY,EAAE,IAAY;IACrD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1C,OAAO,MAAM,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC;AAED,SAAS,aAAa,CAAC,KAAY,EAAE,IAAY;IAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC;YACvE,OAAO,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,OAAO,UAAU,IAAI,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QACxH,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,MAAsB,EAAE,IAAuB;IACnE,IAAI,OAAO,GAA+B,MAAM,CAAC;IACjD,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAC/B,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC;QAC1D,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;aAC5D,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACxC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,OAAO,GAAG,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7E,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrC,OAAO,GAAG,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1G,CAAC;;YAAM,OAAO,SAAS,CAAC;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAY;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,aAAa,CAAC,KAAY,EAAE,GAAgB,EAAE,QAA6B;IAClF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;SAChE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;SACtF,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC1H,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAY,EAAE,KAAiB,EAAE,GAAc;IACxE,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,sBAAsB,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAyB,CAAC,CAAC,CAAC;IAChG,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAyB,CAAC,CAAC,CAAC;IACjG,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,wDAAwD,CAAC,CAAC;IACrH,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC;IACrB,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAkC;IAChE,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAc;IACtC,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5F,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAA4B,CAAC;IACnE,MAAM,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,OAAO,EAAE,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,6BAA6B,CAAC,CAAC;IACjG,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,EAAoB,CAAC,CAAC;IAC3C,OAAO,EAAoB,CAAC;AAC9B,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAY,EAAE,GAAe,EAAE,IAAgB,EAAE,GAAc,EAAE,KAAa;IACzG,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,WAAW,KAAK,yBAAyB,CAAC,CAAC;IACtG,CAAC;IACD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,sBAAsB,GAAG,EAAE,CAAC,CAAC;IAC9G,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,WAAW,KAAK,gBAAgB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACvI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,+BAA+B,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACvI,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,yBAAyB,EAAE,EAAE,CAAC,CAAC;IACvH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,IAAgB,EAAE,KAAiB;IACtD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnE,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,UAAU,CAA+B,KAAQ;IACxD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAM,CAAC;AAChD,CAAC;AAED,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,KAAY,EAAE,EAAU;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACjE,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/checker/search/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/checker/search/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAc,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAa,KAAK,EAAE,SAAS,EAAqB,MAAM,oBAAoB,CAAC;AAIlI,MAAM,MAAM,eAAe,GACvB;IAAE,MAAM,EAAE,wBAAwB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACtD;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAAC,mBAAmB,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1G;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAAC,mBAAmB,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3G;IAAE,MAAM,EAAE,iBAAiB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAChE;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3D,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,KAAK,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAkBD,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,QAAQ,EAAE,EAAE,OAAO,GAAE,YAAiB,GAAG,WAAW,CAKjH;AAoID,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,KAAK,CAEhF;AAoCD,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAE7D;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,GAAG,SAAS,EAAE,CAM1E"}