optiprune 2.1.4 → 2.1.7

package/dist/layer4.js

@@ -1,627 +0,0 @@
-import { getQuickJS } from "quickjs-emscripten";
-import { transform } from "esbuild";
-import { performance } from "node:perf_hooks";
-import path from "pathe";
-/**
- * Layer 4: Proof Asserter Engine
- * Validates candidate branches from Layer 3 using isolated execution.
- * Uses a secure WebAssembly-based QuickJS sandbox.
- * Now also resolves dynamic imports by simulating their path construction.
- */
-export async function analyzeLayer4(context) {
-    const findings = [];
-    const quickJS = await getQuickJS();
-    // 1. Resolve Dynamic Imports
-    if (context.dynamicImportCandidates.length > 0) {
-        await resolveDynamicImports(context, quickJS);
-    }
-    // 2. Validate Candidate Branches
-    if (context.candidateBranches.length > 0) {
-        for (const branch of context.candidateBranches) {
-            const result = await verifyPathInWasmSandbox(quickJS, branch.instrumentedCode, branch.seedInput, context.options.layers.smtTimeoutMs);
-            if (result.pathReached) {
-                // If reached, it's PROVEN alive.
-                continue;
-            }
-            findings.push({
-                rule: "unreachable-dynamic-path",
-                severity: "warning",
-                confidence: "medium",
-                message: `[Proof Asserter] Branch at line ${branch.line} could not be reached with SMT-generated seeds.`,
-                file: branch.file,
-                location: {
-                    start: { line: branch.line, column: 0 },
-                    end: { line: branch.line, column: 0 }
-                },
-                evidence: {
-                    engine: "wasm-quickjs",
-                    executionTimeMs: result.executionTimeMs,
-                    seedInput: branch.seedInput,
-                    status: "SUSPECT_UNREACHABLE"
-                },
-            });
-        }
-    }
-    return findings;
-}
-/**
- * Cleans TypeScript source code for execution in the QuickJS sandbox.
- *
- * The function applies a series of regex-based transformations to strip
- * TypeScript-specific syntax that QuickJS does not understand, while
- * preserving the runtime-relevant logic needed to reconstruct dynamic
- * import paths.
- *
- * Key transformations:
- *  1. Remove top-level `import` declarations entirely (both static and
- *     `import type`) so that QuickJS does not encounter ES-module
- *     syntax it cannot parse.
- *  2. Replace `import(...)` call-expressions with the mock function
- *     `__optiprune_import(...)` that records resolved targets.
- *  3. Strip TypeScript type annotations, `as` casts, and interface/type
- *     imports that would cause syntax errors in plain JavaScript.
- *  4. Rewrite `import.meta.url` to a string expression compatible with
- *     the sandbox's `__filename` global.
- *
- * FIX – String-Interpolation / Identifier-based dynamic imports:
- *  The previous implementation only stripped TS syntax but did not
- *  handle the common pattern where the import argument is a *variable*
- *  whose value was assembled earlier in the same scope via
- *  `pathToFileURL(path.join(dir, file)).href` or similar constructs.
- *  QuickJS would encounter `import(pluginPath)` where `pluginPath` is
- *  an identifier that was never assigned in the cleaned snippet because
- *  the assignment statement was removed or mangled.
- *
- *  The fix ensures that:
- *   a) `const`/`let`/`var` declarations that build path strings are
- *      kept intact after TS-stripping.
- *   b) `await` expressions are preserved (QuickJS runs the script
- *      inside an async IIFE).
- *   c) `for...of` loops that iterate over file lists and call
- *      `import(...)` inside are preserved so that all loop iterations
- *      are simulated and every candidate path is captured.
- *   d) Top-level `import` *declarations* (ESM static imports) are
- *      removed entirely, because QuickJS cannot parse them and they
- *      are not needed for path-construction simulation.
- */
-function cleanForQuickJS(code) {
-    return code
-        // Static ESM imports cannot be evaluated in a QuickJS script. Dynamic
-        // imports are intentionally preserved until they are replaced below.
-        .replace(/^\s*import(?!\s*\()\s+(?:type\s+)?[\s\S]*?\s+from\s+['"][^'"]+['"]\s*;?\s*$/gm, "")
-        .replace(/^\s*import(?!\s*\()\s*['"][^'"]+['"]\s*;?\s*$/gm, "")
-        // Re-exports are likewise irrelevant for path-construction simulation.
-        .replace(/^\s*export\s+type\s*\{[\s\S]*?\}\s*(?:from\s+['"][^'"]+['"])?\s*;?\s*$/gm, "")
-        .replace(/^\s*export\s*\{[\s\S]*?\}\s*(?:from\s+['"][^'"]+['"])?\s*;?\s*$/gm, "")
-        .replace(/^\s*export\s+\*\s+from\s+['"][^'"]+['"]\s*;?\s*$/gm, "")
-        .replace(/\bexport\s+(?=(?:const|let|var|function|class|async|type|interface|enum)\b)/g, "")
-        .replace(/\bexport\s+default\s+/g, "")
-        // Keep import.meta usable after the static import pre-processing.
-        .replace(/import\.meta\.url/g, '("file://" + __filename)')
-        // Record simulated dynamic-import targets instead of loading modules.
-        .replace(/\bimport\s*\(/g, "__optiprune_import(");
-}
-function quickJSSourceLoader(file) {
-    switch (path.extname(file).toLowerCase()) {
-        case ".ts":
-        case ".mts":
-        case ".cts":
-            return "ts";
-        case ".tsx":
-            return "tsx";
-        case ".jsx":
-            return "jsx";
-        default:
-            return "js";
-    }
-}
-/**
- * Compiles the extracted source context to JavaScript before it reaches
- * QuickJS. Regexes are deliberately limited to ESM simulation rewrites;
- * esbuild performs all TypeScript/TSX syntax erasure and downleveling.
- */
-const QUICKJS_CONTEXT_FUNCTION = "__optiprune_execute_context__";
-async function compileForQuickJS(code, sourceFile) {
-    // Candidate context can contain a captured function body, including `await`
-    // and `return`. Wrapping it first lets esbuild parse those statements in the
-    // same asynchronous function scope QuickJS will execute later.
-    const wrappedContext = `async function ${QUICKJS_CONTEXT_FUNCTION}() {\n${cleanForQuickJS(code)}\n}`;
-    const transformed = await transform(wrappedContext, {
-        loader: quickJSSourceLoader(sourceFile),
-        format: "esm",
-        target: "es2018",
-        sourcemap: false,
-        sourcefile: sourceFile,
-        legalComments: "none",
-    });
-    return transformed.code;
-}
-/**
- * Installs a catch-all lexical scope for the simulation. A `with` block over
- * this proxy resolves otherwise-unbound identifiers to a harmless callable
- * proxy, allowing path construction to continue instead of aborting with a
- * ReferenceError. Known globals and the explicit mocks still take priority.
- */
-function installGlobalResilience(vm) {
-    const result = vm.evalCode(`
-    (function() {
-      let fallbackMock;
-      const fallbackHandler = {
-        get(_target, property) {
-          if (property === "then" || property === Symbol.unscopables) return undefined;
-          if (property === Symbol.toPrimitive) return () => "";
-          if (property === "toJSON") return () => ({});
-          if (property === Symbol.iterator) {
-            return () => ({ next: () => ({ done: true }) });
-          }
-          return fallbackMock;
-        },
-        has() { return true; },
-        set() { return true; },
-        apply() { return fallbackMock; },
-        construct() { return fallbackMock; }
-      };
-
-      fallbackMock = new Proxy(function __optiprune_empty_mock() {}, fallbackHandler);
-      globalThis.__create_resilient_mock = () => fallbackMock;
-      globalThis.__optiprune_scope__ = new Proxy(globalThis, {
-        has(_target, property) {
-          return property !== Symbol.unscopables;
-        },
-        get(target, property, receiver) {
-          if (property === Symbol.unscopables) return undefined;
-          if (Reflect.has(target, property)) {
-            return Reflect.get(target, property, receiver);
-          }
-          return fallbackMock;
-        }
-      });
-    })();
-  `);
-    if (result.error) {
-        const error = vm.dump(result.error);
-        result.error.dispose();
-        throw new Error(`Could not install the QuickJS resilience scope: ${String(error)}`);
-    }
-    result.value.dispose();
-}
-function drainQuickJSPendingJobs(runtime, vm, maxJobs = 5000) {
-    let remainingJobs = maxJobs;
-    while (runtime.hasPendingJob() && remainingJobs > 0) {
-        const result = runtime.executePendingJobs(1);
-        if (result.error) {
-            const error = vm.dump(result.error);
-            result.error.dispose();
-            throw new Error(`QuickJS pending job failed: ${String(error)}`);
-        }
-        if (result.value <= 0) {
-            break;
-        }
-        remainingJobs -= result.value;
-    }
-}
-/**
- * Simulates dynamic import expressions in a QuickJS sandbox to resolve targets.
- *
- * FIX – Identifier-based / String-Interpolation imports:
- *
- * The core problem was that when a dynamic import uses a *variable* as its
- * argument (e.g. `await import(pluginPath)` where `pluginPath` was built via
- * `pathToFileURL(path.join(pluginsDir, file)).href`), the previous
- * implementation:
- *
- *  1. Correctly captured the surrounding function body as `contextCode`.
- *  2. Passed it through `clean()` which only stripped TS syntax.
- *  3. Ran the cleaned code in QuickJS.
- *
- * The simulation failed because:
- *  a) Static `import` declarations at the top of the function body were
- *     not removed, causing a QuickJS parse error that silently swallowed
- *     the entire simulation.
- *  b) The `__dirname` / `__filename` globals were set up *outside* the
- *     simulation script, but the context code often re-declared them with
- *     `const __dirname = path.dirname(fileURLToPath(import.meta.url))`.
- *     After stripping `import.meta.url` the expression became valid, but
- *     the `fileURLToPath` call was not mocked in the global scope.
- *  c) The loop variable `file` in `for (const file of files)` had no
- *     value; the mock `fs.readdir` / `readdirSync` returned the correct
- *     file list, but the loop was driven by the *result* of an `await`
- *     expression which QuickJS's pending-job pump must flush.
- *
- * The fix addresses all three issues:
- *  a) `cleanForQuickJS` now removes static ESM import declarations.
- *  b) `fileURLToPath` is already mocked in `setupQuickJSMocks`; the
- *     mock is now also exposed directly on `globalThis` so that bare
- *     calls (without the `url.` prefix) resolve correctly.
- *  c) The pending-job pump deadline is raised and the pump is called
- *     *after* the top-level async IIFE resolves its promise chain.
- */
-async function resolveDynamicImports(context, quickJS) {
-    // Group candidates by file to avoid redundant simulations
-    const candidatesByFile = new Map();
-    for (const candidate of context.dynamicImportCandidates) {
-        const list = candidatesByFile.get(candidate.file) || [];
-        list.push(candidate);
-        candidatesByFile.set(candidate.file, list);
-    }
-    for (const [file, candidates] of candidatesByFile.entries()) {
-        for (const candidate of candidates) {
-            const runtime = quickJS.newRuntime();
-            const vm = runtime.newContext();
-            try {
-                runtime.setMemoryLimit(context.options.layers.isolateMemoryLimitMb * 1024 * 1024);
-                // Setup explicit runtime mocks first, then install the catch-all scope
-                // that safely absorbs additional, unknown globals from application code.
-                setupQuickJSMocks(vm, candidate, context);
-                installGlobalResilience(vm);
-                const globalHandle = vm.global;
-                const targetsHandle = vm.newArray();
-                vm.setProp(globalHandle, "__OPTIPRUNE_TARGETS__", targetsHandle);
-                const importMockFn = vm.newFunction("__optiprune_import", (arg) => {
-                    const target = vm.dump(arg);
-                    const currentTargets = vm.getProp(globalHandle, "__OPTIPRUNE_TARGETS__");
-                    const lenHandle = vm.getProp(currentTargets, "length");
-                    const len = vm.dump(lenHandle);
-                    const targetHandle = vm.newString(String(target));
-                    vm.setProp(currentTargets, len, targetHandle);
-                    targetHandle.dispose();
-                    lenHandle.dispose();
-                    currentTargets.dispose();
-                    // Return a resilient mock instead of a plain empty object
-                    const createFn = vm.getProp(vm.global, "__create_resilient_mock");
-                    const mock = vm.callFunction(createFn, vm.undefined);
-                    createFn.dispose();
-                    return mock;
-                });
-                vm.setProp(globalHandle, "__optiprune_import", importMockFn);
-                importMockFn.dispose();
-                targetsHandle.dispose();
-                globalHandle.dispose();
-                // QuickJS only evaluates JavaScript. esbuild removes TypeScript/TSX
-                // syntax after the minimal import rewrites used for simulation.
-                const processedContext = await compileForQuickJS(candidate.contextCode, file);
-                const simulationScript = `
-          (async function() {
-            try {
-              with (globalThis.__optiprune_scope__) {
-                ${processedContext}
-                await ${QUICKJS_CONTEXT_FUNCTION}.call(globalThis);
-              }
-            } catch (e) {
-              if (globalThis.__VERBOSE__) {
-                console.log("[QuickJS Runtime Error] " + (e instanceof Error ? e.message : String(e)));
-              }
-            }
-          }).call(globalThis);
-        `;
-                if (context.options.verbose) {
-                    console.log(`[Layer 4] Simulation Script for ${file}:\n${simulationScript}`);
-                }
-                const evalResult = vm.evalCode(simulationScript);
-                if (evalResult.error) {
-                    if (context.options.verbose) {
-                        console.log(`[Layer 4] Simulation Syntax Error in ${file}:`, vm.dump(evalResult.error));
-                        console.log(`[Layer 4] Script was:\n${simulationScript}`);
-                    }
-                    evalResult.error.dispose();
-                }
-                else {
-                    evalResult.value.dispose();
-                    // Flush promise continuations created by async path construction.
-                    drainQuickJSPendingJobs(runtime, vm);
-                }
-                const finalGlobalHandle = vm.global;
-                const finalTargetsHandle = vm.getProp(finalGlobalHandle, "__OPTIPRUNE_TARGETS__");
-                const targets = vm.dump(finalTargetsHandle);
-                finalTargetsHandle.dispose();
-                finalGlobalHandle.dispose();
-                if (Array.isArray(targets) && targets.length > 0) {
-                    // Mark the corresponding edge as resolved to suppress the warning
-                    const module = context.modules.get(file);
-                    if (module) {
-                        if (context.options.verbose) {
-                            console.log(`[Layer 4] Searching for edge in ${file} at ${candidate.line}:${candidate.column}`);
-                            module.edges.forEach(e => {
-                                if (e.kind === "unknown-dynamic") {
-                                    console.log(`[Layer 4] Found unknown-dynamic edge at ${e.location?.start.line}:${e.location?.start.column}`);
-                                }
-                            });
-                        }
-                        const edge = module.edges.find(e => (e.kind === "unknown-dynamic" || e.kind === "dynamic-pattern") &&
-                            e.location?.start.line === candidate.line &&
-                            e.location?.start.column === candidate.column);
-                        if (edge) {
-                            edge.resolution = "resolved";
-                        }
-                    }
-                    for (const rawTarget of targets) {
-                        if (typeof rawTarget === 'string') {
-                            resolveAndMarkTarget(rawTarget, file, context);
-                        }
-                    }
-                }
-            }
-            catch (err) {
-                // Simulation failed
-                if (context.options.verbose) {
-                    console.log(`[Layer 4] Simulation threw an exception for ${file}:`, err);
-                }
-            }
-            finally {
-                vm.dispose();
-                runtime.dispose();
-            }
-        }
-    }
-}
-function setupQuickJSMocks(vm, candidate, context) {
-    const globalHandle = vm.global;
-    // 1. __dirname and __filename
-    const fileDir = path.dirname(candidate.file);
-    const dirnameHandle = vm.newString(fileDir);
-    const filenameHandle = vm.newString(candidate.file);
-    vm.setProp(globalHandle, "__dirname", dirnameHandle);
-    vm.setProp(globalHandle, "__filename", filenameHandle);
-    dirnameHandle.dispose();
-    filenameHandle.dispose();
-    // 2. path mock using host's pathe
-    const pathMock = vm.newObject();
-    const joinFn = vm.newFunction("join", (...args) => {
-        const parts = args.map(arg => vm.dump(arg));
-        const result = vm.newString(path.join(...parts));
-        return result;
-    });
-    const dirnameFn = vm.newFunction("dirname", (arg) => {
-        const result = vm.newString(path.dirname(vm.dump(arg)));
-        return result;
-    });
-    const resolveFn = vm.newFunction("resolve", (...args) => {
-        const parts = args.map(arg => vm.dump(arg));
-        const result = vm.newString(path.resolve(...parts));
-        return result;
-    });
-    const basenameFn = vm.newFunction("basename", (arg, extArg) => {
-        const p = vm.dump(arg);
-        const ext = extArg ? vm.dump(extArg) : undefined;
-        const result = vm.newString(path.basename(p, ext));
-        return result;
-    });
-    vm.setProp(pathMock, "join", joinFn);
-    vm.setProp(pathMock, "dirname", dirnameFn);
-    vm.setProp(pathMock, "resolve", resolveFn);
-    vm.setProp(pathMock, "basename", basenameFn);
-    vm.setProp(globalHandle, "path", pathMock);
-    joinFn.dispose();
-    dirnameFn.dispose();
-    resolveFn.dispose();
-    basenameFn.dispose();
-    pathMock.dispose();
-    // 3. url mock
-    //
-    // FIX: `fileURLToPath` and `pathToFileURL` are now exposed *both* on the
-    // `url` namespace object AND directly on `globalThis`.  This is necessary
-    // because `engine.ts` imports them as named imports:
-    //   import { fileURLToPath, pathToFileURL } from 'node:url';
-    // After the static import declaration is stripped by `cleanForQuickJS`,
-    // the bare identifiers `fileURLToPath` and `pathToFileURL` must still
-    // resolve to the mock implementations via the global scope.
-    const urlMock = vm.newObject();
-    const pathToFileURLFn = vm.newFunction("pathToFileURL", (arg) => {
-        const p = vm.dump(arg);
-        const obj = vm.newObject();
-        const hrefValue = vm.newString(`file://${p}`);
-        vm.setProp(obj, "href", hrefValue);
-        hrefValue.dispose();
-        return obj;
-    });
-    const fileURLToPathFn = vm.newFunction("fileURLToPath", (arg) => {
-        const urlStr = vm.dump(arg);
-        const p = typeof urlStr === 'string' && urlStr.startsWith('file://') ? urlStr.slice(7) : String(urlStr);
-        return vm.newString(p);
-    });
-    vm.setProp(urlMock, "pathToFileURL", pathToFileURLFn);
-    vm.setProp(urlMock, "fileURLToPath", fileURLToPathFn);
-    vm.setProp(globalHandle, "url", urlMock);
-    // Expose directly on globalThis so bare calls work after import stripping
-    vm.setProp(globalHandle, "pathToFileURL", pathToFileURLFn);
-    vm.setProp(globalHandle, "fileURLToPath", fileURLToPathFn);
-    urlMock.dispose();
-    pathToFileURLFn.dispose();
-    fileURLToPathFn.dispose();
-    // 4. fs mock
-    //
-    // FIX: The `readdir` mock now returns a *Promise* that resolves to the
-    // file list so that `await fs.readdir(...)` works correctly inside the
-    // async IIFE.  The synchronous `readdirSync` variant is kept as-is.
-    const fsMock = vm.newObject();
-    const buildFileList = (rawDir) => {
-        const cleanPath = String(rawDir).replace(/^file:\/\//, '');
-        const dir = path.isAbsolute(cleanPath) ? cleanPath : path.resolve(fileDir, cleanPath);
-        if (context.options.verbose) {
-            console.log(`[QuickJS Mock] fs.readdir called for: "${rawDir}" -> normalized: "${dir}"`);
-        }
-        const files = Array.from(context.modules.keys())
-            .filter(f => {
-            const parent = path.dirname(f);
-            return parent === dir || parent === dir.replace(/\/$/, '');
-        })
-            .map(f => path.basename(f));
-        if (context.options.verbose) {
-            console.log(`[QuickJS Mock] fs.readdir returned:`, files);
-        }
-        return files;
-    };
-    // Async readdir – returns a Promise via QuickJS's Promise API
-    const readdirAsyncFn = vm.newFunction("readdir", (arg) => {
-        const files = buildFileList(vm.dump(arg));
-        // Build a resolved Promise manually using Promise.resolve([...])
-        const arr = vm.newArray();
-        files.forEach((f, i) => {
-            const val = vm.newString(f);
-            vm.setProp(arr, i, val);
-            val.dispose();
-        });
-        // Use evalCode to create a resolved promise with the array value
-        // We store the array in a temp global, resolve it, then clean up.
-        vm.setProp(vm.global, "__tmp_readdir_result__", arr);
-        arr.dispose();
-        const promiseResult = vm.evalCode(`Promise.resolve(globalThis.__tmp_readdir_result__)`);
-        if (promiseResult.error) {
-            promiseResult.error.dispose();
-            // Fallback: return empty resolved promise
-            const fallback = vm.evalCode(`Promise.resolve([])`);
-            if (fallback.error) {
-                fallback.error.dispose();
-                return vm.newArray();
-            }
-            const val = fallback.value;
-            fallback.value; // keep alive
-            return val;
-        }
-        const promiseHandle = promiseResult.value;
-        return promiseHandle;
-    });
-    // Sync readdirSync
-    const readdirSyncFn = vm.newFunction("readdirSync", (arg) => {
-        const files = buildFileList(vm.dump(arg));
-        const arr = vm.newArray();
-        files.forEach((f, i) => {
-            const val = vm.newString(f);
-            vm.setProp(arr, i, val);
-            val.dispose();
-        });
-        return arr;
-    });
-    const existsSyncFn = vm.newFunction("existsSync", (arg) => {
-        const rawP = vm.dump(arg);
-        const cleanPath = String(rawP).replace(/^file:\/\//, '');
-        const p = path.isAbsolute(cleanPath) ? cleanPath : path.resolve(fileDir, cleanPath);
-        const exists = context.modules.has(p);
-        if (context.options.verbose) {
-            console.log(`[QuickJS Mock] fs.existsSync("${rawP}") -> ${exists}`);
-        }
-        return exists ? vm.true : vm.false;
-    });
-    vm.setProp(fsMock, "readdir", readdirAsyncFn);
-    vm.setProp(fsMock, "readdirSync", readdirSyncFn);
-    vm.setProp(fsMock, "existsSync", existsSyncFn);
-    // Also expose a `promises` sub-object with `readdir`
-    const fsPromisesMock = vm.newObject();
-    vm.setProp(fsPromisesMock, "readdir", readdirAsyncFn);
-    vm.setProp(fsMock, "promises", fsPromisesMock);
-    fsPromisesMock.dispose();
-    vm.setProp(globalHandle, "fs", fsMock);
-    fsMock.dispose();
-    readdirAsyncFn.dispose();
-    readdirSyncFn.dispose();
-    existsSyncFn.dispose();
-    // 5. console mock
-    const consoleMock = vm.newObject();
-    const logFn = vm.newFunction("log", (...args) => {
-        if (context.options.verbose) {
-            console.log(`[QuickJS Console]`, ...args.map(a => vm.dump(a)));
-        }
-        return vm.undefined;
-    });
-    const warnFn = vm.newFunction("warn", (...args) => {
-        if (context.options.verbose) {
-            console.warn(`[QuickJS Console]`, ...args.map(a => vm.dump(a)));
-        }
-        return vm.undefined;
-    });
-    const errorFn = vm.newFunction("error", (...args) => {
-        console.error(`[QuickJS Console Error]`, ...args.map(a => vm.dump(a)));
-        return vm.undefined;
-    });
-    vm.setProp(consoleMock, "log", logFn);
-    vm.setProp(consoleMock, "warn", warnFn);
-    vm.setProp(consoleMock, "error", errorFn);
-    vm.setProp(globalHandle, "console", consoleMock);
-    if (context.options.verbose) {
-        vm.setProp(globalHandle, "__VERBOSE__", vm.true);
-    }
-    consoleMock.dispose();
-    logFn.dispose();
-    warnFn.dispose();
-    errorFn.dispose();
-    globalHandle.dispose();
-}
-function resolveAndMarkTarget(specifier, sourceFile, context) {
-    let cleanSpecifier = specifier;
-    if (specifier.startsWith('file://')) {
-        cleanSpecifier = specifier.slice(7);
-    }
-    const sourceDir = path.dirname(sourceFile);
-    const absolutePath = path.isAbsolute(cleanSpecifier)
-        ? cleanSpecifier
-        : path.resolve(sourceDir, cleanSpecifier);
-    let targetModule = context.modules.get(absolutePath);
-    if (!targetModule) {
-        for (const ext of context.options.extensions) {
-            const withExt = absolutePath + ext;
-            targetModule = context.modules.get(withExt);
-            if (targetModule)
-                break;
-        }
-    }
-    if (targetModule) {
-        if (context.options.verbose) {
-            console.log(`[Layer 4] Marking reachable: ${targetModule.id}`);
-        }
-        context.reachable.add(targetModule.id);
-        for (const exp of targetModule.exports) {
-            context.usedExports.add(`${targetModule.id}:${exp.exportedAs}`);
-        }
-    }
-    else {
-        if (context.options.verbose) {
-            console.log(`[Layer 4] Could not resolve target: ${absolutePath}`);
-        }
-    }
-}
-async function verifyPathInWasmSandbox(quickJS, instrumentedCode, seedInput, timeoutMs = 50) {
-    const startTime = performance.now();
-    const runtime = quickJS.newRuntime();
-    const context = runtime.newContext();
-    try {
-        runtime.setMemoryLimit(16 * 1024 * 1024);
-        const setupScript = `
-      globalThis.__PROVE_REACHED__ = false;
-      globalThis.__coverage__ = {
-        traceBranch: (f, l, hit) => { if (hit) globalThis.__PROVE_REACHED__ = true; },
-        traceFunction: () => {},
-        traceCall: () => {},
-        init: () => {}
-      };
-      const seeds = ${JSON.stringify(seedInput)};
-      Object.assign(globalThis, seeds);
-    `;
-        const setupResult = context.evalCode(setupScript);
-        setupResult.dispose();
-        const wrappedCode = `try { ${instrumentedCode} } catch (e) {}`;
-        const evalResult = context.evalCode(wrappedCode);
-        evalResult.dispose();
-        const globalHandle = context.global;
-        const reachedHandle = context.getProp(globalHandle, "__PROVE_REACHED__");
-        const pathReached = context.dump(reachedHandle);
-        reachedHandle.dispose();
-        globalHandle.dispose();
-        return {
-            pathReached: Boolean(pathReached),
-            executionTimeMs: performance.now() - startTime,
-            logs: []
-        };
-    }
-    catch (err) {
-        return {
-            pathReached: false,
-            executionTimeMs: performance.now() - startTime,
-            logs: [err.message]
-        };
-    }
-    finally {
-        context.dispose();
-        runtime.dispose();
-    }
-}
-//# sourceMappingURL=layer4.js.map

package/dist/layer4.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"layer4.js","sourceRoot":"","sources":["../src/layer4.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAiD,MAAM,oBAAoB,CAAC;AAC/F,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAEpC,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,IAAI,MAAM,OAAO,CAAC;AAEzB;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAwB;IAC1D,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAG,MAAM,UAAU,EAAE,CAAC;IAEnC,6BAA6B;IAC7B,IAAI,OAAO,CAAC,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAED,iCAAiC;IACjC,IAAI,OAAO,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;YAC/C,MAAM,MAAM,GAAG,MAAM,uBAAuB,CAC1C,OAAO,EACP,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,SAAS,EAChB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CACpC,CAAC;YAEF,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACvB,iCAAiC;gBACjC,SAAS;YACX,CAAC;YAED,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,0BAA0B;gBAChC,QAAQ,EAAE,SAAS;gBACnB,UAAU,EAAE,QAAQ;gBACpB,OAAO,EAAE,mCAAmC,MAAM,CAAC,IAAI,iDAAiD;gBACxG,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,QAAQ,EAAE;oBACR,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE;oBACvC,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE;iBACtC;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,cAAc;oBACtB,eAAe,EAAE,MAAM,CAAC,eAAe;oBACvC,SAAS,EAAE,MAAM,CAAC,SAAS;oBAC3B,MAAM,EAAE,qBAAqB;iBAC9B;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,IAAI;QACT,sEAAsE;QACtE,qEAAqE;SACpE,OAAO,CAAC,+EAA+E,EAAE,EAAE,CAAC;SAC5F,OAAO,CAAC,iDAAiD,EAAE,EAAE,CAAC;QAC/D,uEAAuE;SACtE,OAAO,CAAC,0EAA0E,EAAE,EAAE,CAAC;SACvF,OAAO,CAAC,mEAAmE,EAAE,EAAE,CAAC;SAChF,OAAO,CAAC,oDAAoD,EAAE,EAAE,CAAC;SACjE,OAAO,CAAC,8EAA8E,EAAE,EAAE,CAAC;SAC3F,OAAO,CAAC,wBAAwB,EAAE,EAAE,CAAC;QACtC,kEAAkE;SACjE,OAAO,CAAC,oBAAoB,EAAE,0BAA0B,CAAC;QAC1D,sEAAsE;SACrE,OAAO,CAAC,gBAAgB,EAAE,qBAAqB,CAAC,CAAC;AACtD,CAAC;AAID,SAAS,mBAAmB,CAAC,IAAY;IACvC,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QACzC,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,wBAAwB,GAAG,+BAA+B,CAAC;AAEjE,KAAK,UAAU,iBAAiB,CAAC,IAAY,EAAE,UAAkB;IAC/D,4EAA4E;IAC5E,6EAA6E;IAC7E,+DAA+D;IAC/D,MAAM,cAAc,GAAG,kBAAkB,wBAAwB,SAAS,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC;IACrG,MAAM,WAAW,GAAG,MAAM,SAAS,CAAC,cAAc,EAAE;QAClD,MAAM,EAAE,mBAAmB,CAAC,UAAU,CAAC;QACvC,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,QAAQ;QAChB,SAAS,EAAE,KAAK;QAChB,UAAU,EAAE,UAAU;QACtB,aAAa,EAAE,MAAM;KACtB,CAAC,CAAC;IAEH,OAAO,WAAW,CAAC,IAAI,CAAC;AAC1B,CAAC;AAED;;;;;GAKG;AACH,SAAS,uBAAuB,CAAC,EAAkB;IACjD,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkC1B,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,mDAAmD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAuB,EAAE,EAAkB,EAAE,OAAO,GAAG,IAAI;IAC1F,IAAI,aAAa,GAAG,OAAO,CAAC;IAE5B,OAAO,OAAO,CAAC,aAAa,EAAE,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,+BAA+B,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClE,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;YACtB,MAAM;QACR,CAAC;QACD,aAAa,IAAI,MAAM,CAAC,KAAK,CAAC;IAChC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,KAAK,UAAU,qBAAqB,CAAC,OAAwB,EAAE,OAAY;IACzE,0DAA0D;IAC1D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAiB,CAAC;IAClD,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,uBAAuB,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACxD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrB,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5D,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;YAEhC,IAAI,CAAC;gBACH,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,oBAAoB,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;gBAElF,uEAAuE;gBACvE,yEAAyE;gBACzE,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;gBAC1C,uBAAuB,CAAC,EAAE,CAAC,CAAC;gBAE5B,MAAM,YAAY,GAAG,EAAE,CAAC,MAAM,CAAC;gBAC/B,MAAM,aAAa,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;gBACpC,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,uBAAuB,EAAE,aAAa,CAAC,CAAC;gBAEjE,MAAM,YAAY,GAAG,EAAE,CAAC,WAAW,CAAC,oBAAoB,EAAE,CAAC,GAAkB,EAAE,EAAE;oBAC/E,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC5B,MAAM,cAAc,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC;oBACzE,MAAM,SAAS,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;oBACvD,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAC/B,MAAM,YAAY,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;oBAClD,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;oBAC9C,YAAY,CAAC,OAAO,EAAE,CAAC;oBACvB,SAAS,CAAC,OAAO,EAAE,CAAC;oBACpB,cAAc,CAAC,OAAO,EAAE,CAAC;oBAEzB,0DAA0D;oBAC1D,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;oBAClE,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;oBACrD,QAAQ,CAAC,OAAO,EAAE,CAAC;oBACnB,OAAO,IAAI,CAAC;gBACd,CAAC,CAAC,CAAC;gBACH,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,oBAAoB,EAAE,YAAY,CAAC,CAAC;gBAC7D,YAAY,CAAC,OAAO,EAAE,CAAC;gBACvB,aAAa,CAAC,OAAO,EAAE,CAAC;gBACxB,YAAY,CAAC,OAAO,EAAE,CAAC;gBAEvB,oEAAoE;gBACpE,gEAAgE;gBAChE,MAAM,gBAAgB,GAAG,MAAM,iBAAiB,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBAE9E,MAAM,gBAAgB,GAAG;;;;kBAIf,gBAAgB;wBACV,wBAAwB;;;;;;;;SAQvC,CAAC;gBAEF,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;oBAC5B,OAAO,CAAC,GAAG,CAAC,mCAAmC,IAAI,MAAM,gBAAgB,EAAE,CAAC,CAAC;gBAC/E,CAAC;gBAED,MAAM,UAAU,GAAG,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;gBACjD,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;oBACrB,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;wBAC5B,OAAO,CAAC,GAAG,CAAC,wCAAwC,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;wBACxF,OAAO,CAAC,GAAG,CAAC,0BAA0B,gBAAgB,EAAE,CAAC,CAAC;oBAC5D,CAAC;oBACD,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;gBAC7B,CAAC;qBAAM,CAAC;oBACN,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;oBAC3B,kEAAkE;oBAClE,uBAAuB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBACvC,CAAC;gBAED,MAAM,iBAAiB,GAAG,EAAE,CAAC,MAAM,CAAC;gBACpC,MAAM,kBAAkB,GAAG,EAAE,CAAC,OAAO,CAAC,iBAAiB,EAAE,uBAAuB,CAAC,CAAC;gBAClF,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAU,CAAC;gBACrD,kBAAkB,CAAC,OAAO,EAAE,CAAC;gBAC7B,iBAAiB,CAAC,OAAO,EAAE,CAAC;gBAE5B,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACjD,kEAAkE;oBAClE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACzC,IAAI,MAAM,EAAE,CAAC;wBACX,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;4BAC5B,OAAO,CAAC,GAAG,CAAC,mCAAmC,IAAI,OAAO,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;4BAChG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gCACvB,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oCACjC,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gCAC/G,CAAC;4BACH,CAAC,CAAC,CAAC;wBACL,CAAC;wBACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACjC,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC;4BAC9D,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;4BACzC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,CAC9C,CAAC;wBACF,IAAI,IAAI,EAAE,CAAC;4BACT,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;wBAC/B,CAAC;oBACH,CAAC;oBAED,KAAK,MAAM,SAAS,IAAI,OAAO,EAAE,CAAC;wBAChC,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;4BAClC,oBAAoB,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;wBACjD,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,oBAAoB;gBACpB,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;oBAC5B,OAAO,CAAC,GAAG,CAAC,+CAA+C,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC;gBAC3E,CAAC;YACH,CAAC;oBAAS,CAAC;gBACT,EAAE,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAkB,EAAE,SAAc,EAAE,OAAwB;IACrF,MAAM,YAAY,GAAG,EAAE,CAAC,MAAM,CAAC;IAE/B,8BAA8B;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,aAAa,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,cAAc,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpD,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IACrD,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;IACvD,aAAa,CAAC,OAAO,EAAE,CAAC;IACxB,cAAc,CAAC,OAAO,EAAE,CAAC;IAEzB,kCAAkC;IAClC,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;IAChC,MAAM,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,GAAG,IAAqB,EAAE,EAAE;QACjE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QACjD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,GAAkB,EAAE,EAAE;QACjE,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,GAAG,IAAqB,EAAE,EAAE;QACvE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QACpD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC,GAAkB,EAAE,MAAsB,EAAE,EAAE;QAC3F,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACjD,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IAC3C,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IAC3C,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC7C,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3C,MAAM,CAAC,OAAO,EAAE,CAAC;IACjB,SAAS,CAAC,OAAO,EAAE,CAAC;IACpB,SAAS,CAAC,OAAO,EAAE,CAAC;IACpB,UAAU,CAAC,OAAO,EAAE,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,CAAC;IAEnB,cAAc;IACd,EAAE;IACF,yEAAyE;IACzE,0EAA0E;IAC1E,qDAAqD;IACrD,6DAA6D;IAC7D,wEAAwE;IACxE,sEAAsE;IACtE,4DAA4D;IAC5D,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;IAC/B,MAAM,eAAe,GAAG,EAAE,CAAC,WAAW,CAAC,eAAe,EAAE,CAAC,GAAkB,EAAE,EAAE;QAC7E,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9C,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QACnC,SAAS,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IACH,MAAM,eAAe,GAAG,EAAE,CAAC,WAAW,CAAC,eAAe,EAAE,CAAC,GAAkB,EAAE,EAAE;QAC7E,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACxG,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC;IACtD,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC;IACtD,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACzC,0EAA0E;IAC1E,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC;IAC3D,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC;IAC3D,OAAO,CAAC,OAAO,EAAE,CAAC;IAClB,eAAe,CAAC,OAAO,EAAE,CAAC;IAC1B,eAAe,CAAC,OAAO,EAAE,CAAC;IAE1B,aAAa;IACb,EAAE;IACF,uEAAuE;IACvE,uEAAuE;IACvE,oEAAoE;IACpE,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;IAE9B,MAAM,aAAa,GAAG,CAAC,MAAe,EAAY,EAAE;QAClD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAEtF,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,0CAA0C,MAAM,qBAAqB,GAAG,GAAG,CAAC,CAAC;QAC3F,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;aAC7C,MAAM,CAAC,CAAC,CAAC,EAAE;YACV,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC/B,OAAO,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7D,CAAC,CAAC;aACD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9B,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,qCAAqC,EAAE,KAAK,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,8DAA8D;IAC9D,MAAM,cAAc,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,GAAkB,EAAE,EAAE;QACtE,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,iEAAiE;QACjE,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC1B,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC5B,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YACxB,GAAG,CAAC,OAAO,EAAE,CAAC;QAChB,CAAC,CAAC,CAAC;QACH,iEAAiE;QACjE,kEAAkE;QAClE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,wBAAwB,EAAE,GAAG,CAAC,CAAC;QACrD,GAAG,CAAC,OAAO,EAAE,CAAC;QACd,MAAM,aAAa,GAAG,EAAE,CAAC,QAAQ,CAAC,oDAAoD,CAAC,CAAC;QACxF,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC;YACxB,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,0CAA0C;YAC1C,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC;YACpD,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;gBAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC;YAAC,CAAC;YACvE,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC;YAC3B,QAAQ,CAAC,KAAK,CAAC,CAAC,aAAa;YAC7B,OAAO,GAAG,CAAC;QACb,CAAC;QACD,MAAM,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC;QAC1C,OAAO,aAAa,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,mBAAmB;IACnB,MAAM,aAAa,GAAG,EAAE,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,GAAkB,EAAE,EAAE;QACzE,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC1B,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC5B,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YACxB,GAAG,CAAC,OAAO,EAAE,CAAC;QAChB,CAAC,CAAC,CAAC;QACH,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY,EAAE,CAAC,GAAkB,EAAE,EAAE;QACvE,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACpF,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,iCAAiC,IAAI,SAAS,MAAM,EAAE,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IAC9C,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,aAAa,CAAC,CAAC;IACjD,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IAE/C,qDAAqD;IACrD,MAAM,cAAc,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;IACtC,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IACtD,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;IAC/C,cAAc,CAAC,OAAO,EAAE,CAAC;IAEzB,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,CAAC,OAAO,EAAE,CAAC;IACjB,cAAc,CAAC,OAAO,EAAE,CAAC;IACzB,aAAa,CAAC,OAAO,EAAE,CAAC;IACxB,YAAY,CAAC,OAAO,EAAE,CAAC;IAEvB,kBAAkB;IAClB,MAAM,WAAW,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,GAAG,IAAqB,EAAE,EAAE;QAC/D,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,EAAE,CAAC,SAAS,CAAC;IACtB,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,GAAG,IAAqB,EAAE,EAAE;QACjE,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,mBAAmB,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,CAAC;QACD,OAAO,EAAE,CAAC,SAAS,CAAC;IACtB,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,GAAG,IAAqB,EAAE,EAAE;QACnE,OAAO,CAAC,KAAK,CAAC,yBAAyB,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,OAAO,EAAE,CAAC,SAAS,CAAC;IACtB,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACtC,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1C,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;IAEjD,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC5B,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IAED,WAAW,CAAC,OAAO,EAAE,CAAC;IACtB,KAAK,CAAC,OAAO,EAAE,CAAC;IAChB,MAAM,CAAC,OAAO,EAAE,CAAC;IACjB,OAAO,CAAC,OAAO,EAAE,CAAC;IAElB,YAAY,CAAC,OAAO,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,oBAAoB,CAAC,SAAiB,EAAE,UAAkB,EAAE,OAAwB;IAC3F,IAAI,cAAc,GAAG,SAAS,CAAC;IAC/B,IAAI,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,cAAc,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;QAClD,CAAC,CAAC,cAAc;QAChB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IAE5C,IAAI,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAErD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,YAAY,GAAG,GAAG,CAAC;YACnC,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5C,IAAI,YAAY;gBAAE,MAAM;QAC1B,CAAC;IACH,CAAC;IAED,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,gCAAgC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACvC,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC;YACvC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,uCAAuC,YAAY,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,OAAY,EACZ,gBAAwB,EACxB,SAA8B,EAC9B,SAAS,GAAG,EAAE;IAEd,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;IAErC,IAAI,CAAC;QACH,OAAO,CAAC,cAAc,CAAC,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;QAEzC,MAAM,WAAW,GAAG;;;;;;;;sBAQF,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;;KAE1C,CAAC;QAEF,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAClD,WAAW,CAAC,OAAO,EAAE,CAAC;QAEtB,MAAM,WAAW,GAAG,SAAS,gBAAgB,iBAAiB,CAAC;QAC/D,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACjD,UAAU,CAAC,OAAO,EAAE,CAAC;QAErB,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC;QACpC,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,mBAAmB,CAAC,CAAC;QACzE,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChD,aAAa,CAAC,OAAO,EAAE,CAAC;QACxB,YAAY,CAAC,OAAO,EAAE,CAAC;QAEvB,OAAO;YACL,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC;YACjC,eAAe,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS;YAC9C,IAAI,EAAE,EAAE;SACT,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,WAAW,EAAE,KAAK;YAClB,eAAe,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS;YAC9C,IAAI,EAAE,CAAE,GAAa,CAAC,OAAO,CAAC;SAC/B,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,CAAC,OAAO,EAAE,CAAC;IACpB,CAAC;AACH,CAAC"}

package/dist/layer5.d.ts

@@ -1,6 +0,0 @@
-import type { AnalysisContext, Finding } from "./types.js";
-/**
- * Layer 5: Schema Alignment
- * Protects public interfaces and contracts (Zod, Prisma, GraphQL, OpenAPI) from being falsely marked as dead code.
- */
-export declare function analyzeLayer5(context: AnalysisContext): Promise<Finding[]>;