optiprune 1.0.0

package/LICENSE

@@ -0,0 +1,7 @@
+Copyright 2026 DreamLongYT
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

package/README.md

@@ -0,0 +1,49 @@
+![Optiprune Logo](docs/public/logo.svg)
+![NPM Version](https://img.shields.io/npm/v/optiprune)
+![GitHub License](https://img.shields.io/github/license/DreamLongYT/optiprune)
+
+
+# Optiprune
+
+**Resilient static dead-code analyzer for TypeScript and JavaScript workspaces.**
+
+---
+
+**Optiprune** is a multi-layered static analyzer designed to prune unreachable files, dead exports, untangled monorepo imports, and unused dependencies with surgical precision. Built for cross-platform reliability (Windows/Linux) and fast CI pipelines.
+
+## Key Features
+
+* **Staged 6-Layer Engine:** From AST entry point resolution to SMT constraint solving, isolated V8 execution, and unused package sweeping.
+* **Schema & Contract Preserver (Layer 5):** Introspects Zod schemas (`z.*`), Class declarations (`*Schema`), Prisma models, decorators, and OpenAPI resolvers to prevent false positives on public interfaces.
+* **Cross-Platform Path Normalization:** Flawless resolution across Windows drive letters, backslashes, and POSIX path specs.
+* **Circular Dependency Resilient:** Iterative worklist analysis using Strongly Connected Components (SCCs) to resolve cyclical import paths accurately.
+* **Monorepo & Package Sweeper (Layer 6):** Identifies unused root and package-level `node_modules` dependencies alongside dead code.
+* **VitePress Powered Docs:** Comprehensive architecture breakdown and guide available in the `/docs` suite.
+
+---
+
+## Architecture Overview
+
+Optiprune runs code through a 6-stage analysis pipeline:
+
+| Layer | Stage | Focus |
+| :--- | :--- | :--- |
+| **Layer 1** | Entry Point Graph | Static import/export dependency graph & entry point discovery |
+| **Layer 2** | Monorepo & Workspaces | Cross-package references and boundary resolution |
+| **Layer 3** | Dynamic Tracing & SMT | Path unreachability via Z3 constraint solving |
+| **Layer 4** | Isolated V8 Execution | Candidate validation inside sandboxed `isolated-vm` Isolates |
+| **Layer 5** | AST Contract & Schema | Preserves Zod/Schema classes, decorators, and API boundaries |
+| **Layer 6** | Unused Package Sweeper | Flags unused external dependencies in `package.json` |
+
+---
+
+## Installation
+
+Install Optiprune as a dev dependency via pnpm, npm, or yarn:
+
+```bash
+pnpm add -D optiprune
+# or
+npm install --save-dev optiprune
+# or
+yarn add -D optiprune

package/dist/cache.d.ts

@@ -0,0 +1,14 @@
+import type { ModuleRecord } from "./types.js";
+export interface CacheEntry {
+    hash: string;
+    moduleRecord: ModuleRecord;
+    timestamp: number;
+}
+export interface AnalysisCache {
+    version: string;
+    entries: Record<string, CacheEntry>;
+}
+export declare function getFileHash(content: string): string;
+export declare function loadCache(rootDir: string): AnalysisCache;
+export declare function saveCache(rootDir: string, cache: AnalysisCache): void;
+export declare function isCacheValid(entry: CacheEntry, currentContent: string): boolean;

package/dist/cache.js

@@ -0,0 +1,36 @@
+import fs from "node:fs";
+import path from "node:path";
+import crypto from "node:crypto";
+const CACHE_DIR = ".optiprune";
+const CACHE_FILE = "cache.json";
+export function getFileHash(content) {
+    return crypto.createHash("sha256").update(content).digest("hex");
+}
+export function loadCache(rootDir) {
+    const cachePath = path.join(rootDir, CACHE_DIR, CACHE_FILE);
+    if (fs.existsSync(cachePath)) {
+        try {
+            return JSON.parse(fs.readFileSync(cachePath, "utf-8"));
+        }
+        catch (e) {
+            // Ignore
+        }
+    }
+    return { version: "1.0", entries: {} };
+}
+export function saveCache(rootDir, cache) {
+    try {
+        const dirPath = path.join(rootDir, CACHE_DIR);
+        if (!fs.existsSync(dirPath)) {
+            fs.mkdirSync(dirPath, { recursive: true });
+        }
+        fs.writeFileSync(path.join(dirPath, CACHE_FILE), JSON.stringify(cache, null, 2));
+    }
+    catch (e) {
+        // Ignore cache write errors in environments like tests where rootDir might be problematic
+    }
+}
+export function isCacheValid(entry, currentContent) {
+    return entry.hash === getFileHash(currentContent);
+}
+//# sourceMappingURL=cache.js.map

package/dist/cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.js","sourceRoot":"","sources":["../src/cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,MAAM,MAAM,aAAa,CAAC;AAcjC,MAAM,SAAS,GAAG,YAAY,CAAC;AAC/B,MAAM,UAAU,GAAG,YAAY,CAAC;AAEhC,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAe;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAC5D,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QACzD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,SAAS;QACX,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAe,EAAE,KAAoB;IAC7D,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC9C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,0FAA0F;IAC5F,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAiB,EAAE,cAAsB;IACpE,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,cAAc,CAAC,CAAC;AACpD,CAAC"}

package/dist/cli.d.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+export {};

package/dist/cli.js

@@ -0,0 +1,53 @@
+#!/usr/bin/env node
+import { Command } from "commander";
+const program = new Command();
+import { analyze, shouldFail } from "./index.js";
+import { readJsonFile } from "./fs-utils.js";
+import { formatTerminal, formatSarif } from "./reporters.js";
+const PKG_JSON = await readJsonFile("package.json");
+program
+    .name("optiprune")
+    .version(PKG_JSON?.version ?? "1.0.0")
+    .description("Finds dead code in TypeScript/JavaScript projects.")
+    .option("-r, --rootDir <path>", "Root directory of the project", process.cwd())
+    .option("-e, --entry <patterns...>", "Entry point patterns (glob or file paths)", [])
+    .option("-x, --extensions <exts...>", "File extensions to analyze", [".ts", ".tsx", ".js", ".jsx"])
+    .option("-i, --ignore <patterns...>", "Ignore patterns (glob)", [])
+    .option("--no-report-unused-exports", "Do not report unused exports")
+    .option("--no-conventional-entries", "Do not include conventional entry points (e.g., src/index.ts)")
+    .option("--fail-on <confidence>", "Fail on findings with confidence level (high, medium, low, none)", "high")
+    .option("--json", "Output results as JSON")
+    .option("--sarif", "Output results in SARIF format")
+    .action(async (options) => {
+    try {
+        const analyzerOptions = {
+            rootDir: options.rootDir,
+            entry: options.entry,
+            extensions: options.extensions,
+            ignore: options.ignore,
+            reportUnusedExports: options.reportUnusedExports,
+            includeConventionalEntries: options.conventionalEntries,
+            failOn: options.failOn,
+            json: options.json || options.sarif,
+        };
+        const report = await analyze(analyzerOptions);
+        if (options.sarif) {
+            console.log(formatSarif(report));
+        }
+        else if (options.json) {
+            console.log(JSON.stringify(report, null, 2));
+        }
+        else {
+            console.log(formatTerminal(report));
+        }
+        if (shouldFail(report, options.failOn)) {
+            process.exit(1);
+        }
+    }
+    catch (error) {
+        console.error("An unexpected error occurred:", error);
+        process.exit(1);
+    }
+});
+program.parse(process.argv);
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAG7D,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAuB,cAAc,CAAC,CAAC;AAE1E,OAAO;KACJ,IAAI,CAAC,WAAW,CAAC;KACjB,OAAO,CAAC,QAAQ,EAAE,OAAO,IAAI,OAAO,CAAC;KACrC,WAAW,CAAC,oDAAoD,CAAC;KACjE,MAAM,CAAC,sBAAsB,EAAE,+BAA+B,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;KAC9E,MAAM,CAAC,2BAA2B,EAAE,2CAA2C,EAAE,EAAE,CAAC;KACpF,MAAM,CAAC,4BAA4B,EAAE,4BAA4B,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;KAClG,MAAM,CAAC,4BAA4B,EAAE,wBAAwB,EAAE,EAAE,CAAC;KAClE,MAAM,CAAC,4BAA4B,EAAE,8BAA8B,CAAC;KACpE,MAAM,CAAC,2BAA2B,EAAE,+DAA+D,CAAC;KACpG,MAAM,CAAC,wBAAwB,EAAE,kEAAkE,EAAE,MAAM,CAAC;KAC5G,MAAM,CAAC,QAAQ,EAAE,wBAAwB,CAAC;KAC1C,MAAM,CAAC,SAAS,EAAE,gCAAgC,CAAC;KACnD,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;IACxB,IAAI,CAAC;QACH,MAAM,eAAe,GAAoB;YACvC,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;YAChD,0BAA0B,EAAE,OAAO,CAAC,mBAAmB;YACvD,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,KAAK;SACpC,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,eAAe,CAAC,CAAC;QAE9C,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAClB,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;QACnC,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;QACtC,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,MAAa,CAAC,EAAE,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,+BAA+B,EAAE,KAAK,CAAC,CAAC;QACtD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC"}

package/dist/config-loader.d.ts

@@ -0,0 +1,4 @@
+import type { Config, ResolvedOptions } from "./types.js";
+export declare const DEFAULT_CONFIG: ResolvedOptions;
+export declare function loadConfig(rootDir: string): Promise<Config>;
+export declare function mergeConfig(base: ResolvedOptions, userConfig: Config): ResolvedOptions;

package/dist/config-loader.js

@@ -0,0 +1,68 @@
+import path from "pathe";
+import fs from "node:fs";
+import { pathToFileURL } from "node:url";
+import { DEFAULT_EXTENSIONS, DEFAULT_IGNORE, normalizeAbsolute } from "./fs-utils.js";
+export const DEFAULT_CONFIG = {
+    rootDir: normalizeAbsolute(process.cwd()),
+    entry: [],
+    extensions: DEFAULT_EXTENSIONS,
+    ignore: DEFAULT_IGNORE,
+    reportUnusedExports: true,
+    schemaEnums: {},
+    failOn: "high",
+    json: false,
+    includeConventionalEntries: true,
+    externalContracts: [],
+    layers: {
+        smtTimeoutMs: 100,
+        isolateMemoryLimitMb: 16,
+        enableConcolicProof: true,
+    },
+    rules: {
+        'unused-export': 'warning',
+        'unreachable-file': 'warning',
+        'constant-condition': 'warning',
+        'unreachable-dynamic-path': 'warning',
+    }
+};
+export async function loadConfig(rootDir) {
+    const configPaths = [
+        path.join(rootDir, "optiprune.config.ts"),
+        path.join(rootDir, "optiprune.config.js"),
+        path.join(rootDir, "optiprune.config.mjs"),
+    ];
+    for (const configPath of configPaths) {
+        if (fs.existsSync(configPath)) {
+            try {
+                // In a real CLI, we'd use something like jiti or ts-node to load TS configs
+                // For this sandbox, we'll try dynamic import
+                const configUrl = pathToFileURL(configPath).href;
+                const module = await import(configUrl);
+                return module.default || module;
+            }
+            catch (e) {
+                console.warn(`[Config] Failed to load config from ${configPath}:`, e);
+            }
+        }
+    }
+    return {};
+}
+export function mergeConfig(base, userConfig) {
+    return {
+        ...base,
+        ...userConfig,
+        layers: {
+            ...base.layers,
+            ...userConfig.layers,
+        },
+        rules: {
+            ...base.rules,
+            ...userConfig.rules,
+        },
+        externalContracts: [
+            ...base.externalContracts,
+            ...(userConfig.externalContracts || []),
+        ],
+    };
+}
+//# sourceMappingURL=config-loader.js.map

package/dist/config-loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config-loader.js","sourceRoot":"","sources":["../src/config-loader.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,OAAO,CAAC;AACzB,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEtF,MAAM,CAAC,MAAM,cAAc,GAAoB;IAC7C,OAAO,EAAE,iBAAiB,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;IACzC,KAAK,EAAE,EAAE;IACT,UAAU,EAAE,kBAAkB;IAC9B,MAAM,EAAE,cAAc;IACtB,mBAAmB,EAAE,IAAI;IACzB,WAAW,EAAE,EAAE;IACf,MAAM,EAAE,MAAM;IACd,IAAI,EAAE,KAAK;IACX,0BAA0B,EAAE,IAAI;IAChC,iBAAiB,EAAE,EAAE;IACrB,MAAM,EAAE;QACN,YAAY,EAAE,GAAG;QACjB,oBAAoB,EAAE,EAAE;QACxB,mBAAmB,EAAE,IAAI;KAC1B;IACD,KAAK,EAAE;QACL,eAAe,EAAE,SAAS;QAC1B,kBAAkB,EAAE,SAAS;QAC7B,oBAAoB,EAAE,SAAS;QAC/B,0BAA0B,EAAE,SAAS;KACtC;CACF,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,OAAe;IAC9C,MAAM,WAAW,GAAG;QAClB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,qBAAqB,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,qBAAqB,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,sBAAsB,CAAC;KAC3C,CAAC;IAEF,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC;gBACH,4EAA4E;gBAC5E,6CAA6C;gBAC7C,MAAM,SAAS,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;gBACjD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;gBACvC,OAAO,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC;YAClC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,CAAC,IAAI,CAAC,uCAAuC,UAAU,GAAG,EAAE,CAAC,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAqB,EAAE,UAAkB;IACnE,OAAO;QACL,GAAG,IAAI;QACP,GAAG,UAAU;QACb,MAAM,EAAE;YACN,GAAG,IAAI,CAAC,MAAM;YACd,GAAG,UAAU,CAAC,MAAM;SACrB;QACD,KAAK,EAAE;YACL,GAAG,IAAI,CAAC,KAAK;YACb,GAAG,UAAU,CAAC,KAAK;SACpB;QACD,iBAAiB,EAAE;YACjB,GAAG,IAAI,CAAC,iBAAiB;YACzB,GAAG,CAAC,UAAU,CAAC,iBAAiB,IAAI,EAAE,CAAC;SACxC;KACiB,CAAC;AACvB,CAAC"}

package/dist/coverage-tracker.d.ts

@@ -0,0 +1,39 @@
+interface BranchCoverage {
+    file: string;
+    line: number;
+    condition: any;
+    hit: boolean;
+}
+interface FunctionCoverage {
+    file: string;
+    line: number;
+    name: string;
+    hit: boolean;
+}
+interface CallCoverage {
+    file: string;
+    line: number;
+    callee: string;
+    hit: boolean;
+}
+export declare class CoverageTracker {
+    private branches;
+    private functions;
+    private calls;
+    private currentFile;
+    private z3;
+    constructor(z3Context: any);
+    init(file: string): void;
+    traceBranch(file: string, line: number, condition: any): void;
+    traceFunction(file: string, line: number, name: string): void;
+    traceCall(file: string, line: number, callee: string): void;
+    traceAndExecuteCall(file: string, line: number, calleeName: string, callee: Function, args: any[]): any;
+    getCoverage(): {
+        branches: BranchCoverage[];
+        functions: FunctionCoverage[];
+        calls: CallCoverage[];
+    };
+    reset(): void;
+}
+export declare function createCoverageTracker(): Promise<CoverageTracker>;
+export {};

package/dist/coverage-tracker.js

@@ -0,0 +1,61 @@
+import { init } from "z3-solver";
+export class CoverageTracker {
+    branches = new Map();
+    functions = new Map();
+    calls = new Map();
+    currentFile = "";
+    z3;
+    constructor(z3Context) {
+        this.z3 = z3Context;
+    }
+    init(file) {
+        this.currentFile = file;
+    }
+    traceBranch(file, line, condition) {
+        const key = `${file}:${line}`;
+        if (!this.branches.has(key)) {
+            this.branches.set(key, { file, line, condition, hit: false });
+        }
+        this.branches.get(key).hit = true;
+    }
+    traceFunction(file, line, name) {
+        const key = `${file}:${line}:${name}`;
+        if (!this.functions.has(key)) {
+            this.functions.set(key, { file, line, name, hit: false });
+        }
+        this.functions.get(key).hit = true;
+    }
+    traceCall(file, line, callee) {
+        const key = `${file}:${line}:${callee}`;
+        if (!this.calls.has(key)) {
+            this.calls.set(key, { file, line, callee, hit: false });
+        }
+        this.calls.get(key).hit = true;
+    }
+    // New method to trace and execute calls
+    traceAndExecuteCall(file, line, calleeName, callee, args) {
+        this.traceCall(file, line, calleeName);
+        // Execute the original function call
+        return callee(...args);
+    }
+    getCoverage() {
+        return {
+            branches: Array.from(this.branches.values()),
+            functions: Array.from(this.functions.values()),
+            calls: Array.from(this.calls.values()),
+        };
+    }
+    reset() {
+        this.branches.clear();
+        this.functions.clear();
+        this.calls.clear();
+        this.currentFile = "";
+    }
+}
+// This will be initialized once in Layer 4 and passed to the sandbox
+export async function createCoverageTracker() {
+    const { Context } = await init();
+    const z3 = Context("main");
+    return new CoverageTracker(z3);
+}
+//# sourceMappingURL=coverage-tracker.js.map

package/dist/coverage-tracker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-tracker.js","sourceRoot":"","sources":["../src/coverage-tracker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAuBjC,MAAM,OAAO,eAAe;IAClB,QAAQ,GAAgC,IAAI,GAAG,EAAE,CAAC;IAClD,SAAS,GAAkC,IAAI,GAAG,EAAE,CAAC;IACrD,KAAK,GAA8B,IAAI,GAAG,EAAE,CAAC;IAC7C,WAAW,GAAW,EAAE,CAAC;IACzB,EAAE,CAAM;IAEhB,YAAY,SAAc;QACxB,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC;IACtB,CAAC;IAED,IAAI,CAAC,IAAY;QACf,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,WAAW,CAAC,IAAY,EAAE,IAAY,EAAE,SAAc;QACpD,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,GAAG,IAAI,CAAC;IACrC,CAAC;IAED,aAAa,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY;QACpD,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,GAAG,IAAI,CAAC;IACtC,CAAC;IAED,SAAS,CAAC,IAAY,EAAE,IAAY,EAAE,MAAc;QAClD,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,GAAG,IAAI,CAAC;IAClC,CAAC;IAED,wCAAwC;IACxC,mBAAmB,CAAC,IAAY,EAAE,IAAY,EAAE,UAAkB,EAAE,MAAgB,EAAE,IAAW;QAC/F,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QACvC,qCAAqC;QACrC,OAAO,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,WAAW;QACT,OAAO;YACL,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC5C,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YAC9C,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;SACvC,CAAC;IACJ,CAAC;IAED,KAAK;QACH,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;IACxB,CAAC;CACF;AAED,qEAAqE;AACrE,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACvC,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,IAAI,EAAE,CAAC;IACjC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3B,OAAO,IAAI,eAAe,CAAC,EAAE,CAAC,CAAC;AACnC,CAAC"}

package/dist/fs-utils.d.ts

@@ -0,0 +1,33 @@
+export declare const DEFAULT_EXTENSIONS: string[];
+export declare const DEFAULT_IGNORE: string[];
+/**
+ * Normalizes paths universally for all operating systems and virtual filesystems.
+ * Ensures Windows drive letters are capitalized and separators are POSIX-style.
+ */
+export declare function normalizeCanonicalPath(filePath: string): string;
+export declare function toPosix(value: string): string;
+export declare function normalizeAbsolute(value: string): string;
+export declare function pathInside(parent: string, candidate: string): boolean;
+/** A deliberately small glob matcher supporting the configuration patterns this tool documents. */
+export declare function globToRegExp(pattern: string): RegExp;
+export declare function compileGlobs(patterns: string[]): RegExp[];
+export declare function matchesAnyGlob(relativePath: string, compiledPatterns: RegExp[]): boolean;
+export declare function fileExists(candidate: string): Promise<boolean>;
+export declare function directoryExists(candidate: string): Promise<boolean>;
+export declare function discoverSourceFiles(rootDir: string, extensions: string[], compiledIgnorePatterns: RegExp[]): Promise<string[]>;
+export declare function isLikelyLocalSpecifier(specifier: string): boolean;
+export declare function removeQueryAndHash(specifier: string): string;
+/**
+ * Resolves an import specifier against a set of known files.
+ * Uses POSIX path logic for consistency across platforms.
+ */
+export declare function resolveLocalSpecifier(sourceFilePath: string, rawSpecifier: string, knownFiles: Set<string> | Map<string, unknown>, extensions?: string[]): string | undefined;
+export declare function resolveDynamicPattern(fromFile: string, prefix: string, suffix: string, knownFiles: Set<string>): string[];
+export declare function expandEntryPatterns(sourceFiles: string[], rootDir: string, patterns: string[]): string[];
+export declare function discoverPackageEntryPatterns(rootDir: string): Promise<string[]>;
+export declare function conventionalEntryPatterns(): string[];
+export declare function normalizedConventionalEntryPatterns(): string[];
+export declare function readJsonFile<T>(candidate: string): Promise<T | undefined>;
+export declare function findNearestConfig(startDirectory: string): Promise<string | undefined>;
+export declare function relativeDisplayPath(rootDir: string, candidate: string): string;
+export declare function rootLooksValid(rootDir: string): Promise<boolean>;