optiprune 1.0.0

package/dist/layer3.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer3.js","sourceRoot":"","sources":["../src/layer3.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAwB;IAC1D,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,uCAAuC;IACvC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC,WAAW,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC;YAClD,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;gBAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACrE,OAAO,GAAG,IAAI,CAAC;oBACf,OAAO,IAAI,CAAC,CAAC,wBAAwB;gBACvC,CAAC;YACH,CAAC,CAAC,CAAC;YACH,IAAI,OAAO;gBAAE,MAAM;QACrB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,IAAI,EAAE,CAAC;IACjC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAE3B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YACrD,SAAS;QACX,CAAC;QAED,MAAM,cAAc,GAAG,MAAM,kBAAkB,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACrE,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,MAAoB,EAAE,EAAO,EAAE,OAAwB;IACvF,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAU,CAAC;IAE9B,MAAM,aAAa,GAAU,EAAE,CAAC;IAChC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACpB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACzH,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,YAAY,GAAG,MAAM,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACnF,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;QACjC,CAAC;IACL,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,KAAU,EAAE,EAAO,EAAE,MAAW,EAAE,MAAoB,EAAE,OAAwB;IAClH,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,MAAM,kBAAkB,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,MAAW;IACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,GAAG,EAAE,CAAC;YACR,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC3B,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,IAAS,EACT,EAAO,EACP,MAAW,EACX,MAAoB,EACpB,QAAmB,EACnB,cAAqB,EACrB,OAAwB;IAExB,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC;IACvB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC;IAC5B,MAAM,SAAS,GAAG,eAAe,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAEjD,IAAI,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC/C,6CAA6C;QAC7C,MAAM,CAAC,IAAI,EAAE,CAAC;QACd,IAAI,CAAC;YACD,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;gBAC9B,IAAI,EAAE;oBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAEtB,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;YAEpC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACnB,qCAAqC;gBACrC,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,MAAM,CAAC,CAAC;gBAC7C,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC;oBAC3B,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC;oBAC1C,gBAAgB,EAAE,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE;oBAC/D,SAAS;iBACZ,CAAC,CAAC;YACP,CAAC;YAED,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;gBACvB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,QAAQ,EAAE,SAAS;oBACnB,UAAU,EAAE,MAAM;oBAClB,OAAO,EAAE,kEAAkE;oBAC3E,IAAI,EAAE,IAAI;oBACV,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG;oBAC7B,QAAQ,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE;iBACxC,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,0CAA0C;gBAC1C,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;wBACtC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;4BAC9B,MAAM,kBAAkB,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,cAAc,EAAE,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;wBAC1G,CAAC;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,SAAS;QACb,CAAC;QACD,MAAM,CAAC,GAAG,EAAE,CAAC;QAEb,6CAA6C;QAC7C,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,EAAE,CAAC;YACd,IAAI,CAAC;gBACD,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;oBAC9B,IAAI,EAAE;wBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC3B,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;gBAE9B,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;gBAEpC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;oBACnB,mDAAmD;oBACnD,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,MAAM,CAAC,CAAC;oBAC7C,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC;wBAC3B,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC;wBACzC,gBAAgB,EAAE,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE;wBAC/D,SAAS;qBACZ,CAAC,CAAC;gBACP,CAAC;gBAED,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;oBACrB,QAAQ,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,oBAAoB;wBAC1B,QAAQ,EAAE,SAAS;wBACnB,UAAU,EAAE,MAAM;wBAClB,OAAO,EAAE,iEAAiE;wBAC1E,IAAI,EAAE,IAAI;wBACV,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG;wBAC5B,QAAQ,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE;qBAC1C,CAAC,CAAC;gBACP,CAAC;qBAAM,CAAC;oBACJ,2BAA2B;oBAC3B,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;wBAC3C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;4BACrC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gCAC9B,MAAM,kBAAkB,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,cAAc,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;4BAClH,CAAC;wBACL,CAAC;oBACL,CAAC;yBAAM,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;wBAC/C,MAAM,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,cAAc,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;oBAC5H,CAAC;gBACL,CAAC;YACL,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACT,SAAS;YACb,CAAC;YACD,MAAM,CAAC,GAAG,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAS,EAAE,EAAO;IAChD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAE9C,IAAI,IAAI,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC3E,IAAI,CAAC;gBACD,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACtB,KAAK,KAAK,CAAC;oBACX,KAAK,IAAI;wBACP,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;oBACxB,KAAK,KAAK,CAAC;oBACX,KAAK,IAAI;wBACP,OAAO,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;oBAChC,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;oBACxB,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;oBACxB,KAAK,IAAI;wBACP,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;oBACxB,KAAK,IAAI;wBACP,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;gBAC1B,CAAC;YACL,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACT,OAAO,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,IAAI,CAAC;YACD,OAAO,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QAClG,OAAO,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,IAAI,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACzE,IAAI,CAAC;gBACD,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;oBAAE,OAAO,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACvD,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;oBAAE,OAAO,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC1D,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACT,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/layer4.d.ts

@@ -0,0 +1,7 @@
+import type { AnalysisContext, Finding } from "./types.js";
+/**
+ * Layer 4: Proof Asserter Engine
+ * Validates candidate branches from Layer 3 using isolated execution.
+ * Uses a secure WebAssembly-based QuickJS sandbox.
+ */
+export declare function analyzeLayer4(context: AnalysisContext): Promise<Finding[]>;

package/dist/layer4.js

@@ -0,0 +1,90 @@
+import { getQuickJS } from "quickjs-emscripten";
+import { performance } from "node:perf_hooks";
+/**
+ * Layer 4: Proof Asserter Engine
+ * Validates candidate branches from Layer 3 using isolated execution.
+ * Uses a secure WebAssembly-based QuickJS sandbox.
+ */
+export async function analyzeLayer4(context) {
+    if (context.candidateBranches.length === 0) {
+        return [];
+    }
+    const findings = [];
+    const quickJS = await getQuickJS();
+    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;
+}
+/**
+ * Executes instrumented code paths in a secure Wasm-based QuickJS sandbox.
+ */
+async function verifyPathInWasmSandbox(quickJS, instrumentedCode, seedInput, timeoutMs = 50) {
+    const startTime = performance.now();
+    const runtime = quickJS.newRuntime();
+    const context = runtime.newContext();
+    try {
+        // Set a memory limit (e.g., 16MB)
+        runtime.setMemoryLimit(16 * 1024 * 1024);
+        // Setup the sandbox environment
+        const setupScript = `
+      globalThis.__PROVE_REACHED__ = false;
+      globalThis.__coverage__ = {
+        traceBranch: (f, l, hit) => { if (hit) globalThis.__PROVE_REACHED__ = true; },
+        traceFunction: () => {},
+        traceCall: () => {},
+        init: () => {}
+      };
+      // Inject seed inputs
+      const seeds = ${JSON.stringify(seedInput)};
+      Object.assign(globalThis, seeds);
+    `;
+        context.evalCode(setupScript);
+        // Execute the instrumented code
+        // We wrap it in a try-catch to prevent VM crashes from throwing in the host
+        const wrappedCode = `try { ${instrumentedCode} } catch (e) {}`;
+        // QuickJS-emscripten evalCode is synchronous but we can enforce a timeout
+        // In a more complex setup we'd use a worker, but for concolic execution snippets,
+        // we rely on the host's performance.now() and runtime limits.
+        context.evalCode(wrappedCode);
+        const pathReached = context.dump(context.getProp(context.global, "__PROVE_REACHED__"));
+        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

@@ -0,0 +1 @@
+{"version":3,"file":"layer4.js","sourceRoot":"","sources":["../src/layer4.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAEhD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE9C;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAwB;IAC1D,IAAI,OAAO,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAG,MAAM,UAAU,EAAE,CAAC;IAEnC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QAC/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;QAEF,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACvB,iCAAiC;YACjC,SAAS;QACX,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,0BAA0B;YAChC,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,QAAQ;YACpB,OAAO,EAAE,mCAAmC,MAAM,CAAC,IAAI,iDAAiD;YACxG,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,QAAQ,EAAE;gBACR,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE;gBACvC,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE;aACtC;YACD,QAAQ,EAAE;gBACR,MAAM,EAAE,cAAc;gBACtB,eAAe,EAAE,MAAM,CAAC,eAAe;gBACvC,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,MAAM,EAAE,qBAAqB;aAC9B;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,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,kCAAkC;QAClC,OAAO,CAAC,cAAc,CAAC,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;QAEzC,gCAAgC;QAChC,MAAM,WAAW,GAAG;;;;;;;;;sBASF,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;;KAE1C,CAAC;QAEF,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAE9B,gCAAgC;QAChC,4EAA4E;QAC5E,MAAM,WAAW,GAAG,SAAS,gBAAgB,iBAAiB,CAAC;QAE/D,0EAA0E;QAC1E,kFAAkF;QAClF,8DAA8D;QAC9D,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAE9B,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;QAEvF,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

@@ -0,0 +1,6 @@
+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[]>;

package/dist/layer5.js

@@ -0,0 +1,141 @@
+import { walkAst } from "./parser.js";
+/**
+ * Layer 5: Schema Alignment
+ * Protects public interfaces and contracts (Zod, Prisma, GraphQL, OpenAPI) from being falsely marked as dead code.
+ */
+export async function analyzeLayer5(context) {
+    const findings = [];
+    const externallyDefinedContracts = new Set(context.options.externalContracts || []);
+    const PROTECTED_DECORATORS = new Set([
+        'Controller', 'Injectable', 'Module', 'Resolver', 'Directive',
+        'ObjectType', 'InputType', 'Field', 'Query', 'Mutation', 'Subscription',
+        'Entity', 'Table', 'Column', 'PrimaryGeneratedColumn', 'OneToMany', 'ManyToOne', 'ManyToMany', 'JoinColumn',
+        'Get', 'Post', 'Put', 'Delete', 'Patch', 'Options', 'Head', 'All'
+    ]);
+    // Phase 1: Identify symbols explicitly provided as external contracts via options
+    // These are already added to `externallyDefinedContracts` at initialization.
+    // Phase 2: Decorator & Framework Metadata Reader
+    for (const module of context.modules.values()) {
+        if (!module.ast)
+            continue;
+        walkAst(module.ast, (rawNode) => {
+            const node = rawNode;
+            // 1. Framework Decorators (NestJS, TypeORM, MikroORM, TypeGraphQL)
+            const decorators = [
+                ...(Array.isArray(node.decorators) ? node.decorators : []),
+                ...(Array.isArray(node.modifiers)
+                    ? node.modifiers.filter((m) => m.type === 'Decorator')
+                    : []),
+            ];
+            if (decorators.length > 0) {
+                for (const decorator of decorators) {
+                    let decoratorName = "";
+                    const expr = decorator.expression;
+                    if (expr?.type === 'CallExpression' && expr.callee?.type === 'Identifier') {
+                        decoratorName = expr.callee.name;
+                    }
+                    else if (expr?.type === 'Identifier') {
+                        decoratorName = expr.name;
+                    }
+                    if (PROTECTED_DECORATORS.has(decoratorName)) {
+                        let targetNode = node;
+                        if ((node.type === 'ExportNamedDeclaration' || node.type === 'ExportDefaultDeclaration') && node.declaration) {
+                            targetNode = node.declaration;
+                        }
+                        if ((targetNode.type === 'ClassDeclaration' || targetNode.type === 'FunctionDeclaration') && targetNode.id?.name) {
+                            externallyDefinedContracts.add(targetNode.id.name);
+                        }
+                        else if ((targetNode.type === 'ClassMethod' || targetNode.type === 'ClassProperty') && targetNode.key?.type === 'Identifier') {
+                            externallyDefinedContracts.add(targetNode.key.name);
+                        }
+                        else if (targetNode.type === 'VariableDeclaration') {
+                            targetNode.declarations.forEach((decl) => {
+                                if (decl.id?.type === 'Identifier')
+                                    externallyDefinedContracts.add(decl.id.name);
+                            });
+                        }
+                    }
+                }
+            }
+            // 2. JSDoc Annotations (@public, @used, optiprune-ignore)
+            if (Array.isArray(node.leadingComments)) {
+                const isPublic = node.leadingComments.some((comment) => comment.value.includes("@public") ||
+                    comment.value.includes("@used") ||
+                    comment.value.includes("optiprune-ignore"));
+                if (isPublic) {
+                    if (node.type === 'VariableDeclaration') {
+                        node.declarations.forEach((decl) => {
+                            if (decl.id?.type === 'Identifier')
+                                externallyDefinedContracts.add(decl.id.name);
+                        });
+                    }
+                    else if ((node.type === 'FunctionDeclaration' || node.type === 'ClassDeclaration') &&
+                        node.id?.name) {
+                        externallyDefinedContracts.add(node.id.name);
+                    }
+                    else if (node.type === 'ExportNamedDeclaration' && node.declaration) {
+                        const decl = node.declaration;
+                        if (decl.type === 'VariableDeclaration') {
+                            decl.declarations.forEach((d) => {
+                                if (d.id?.type === 'Identifier')
+                                    externallyDefinedContracts.add(d.id.name);
+                            });
+                        }
+                        else if ((decl.type === 'FunctionDeclaration' || decl.type === 'ClassDeclaration') &&
+                            decl.id?.name) {
+                            externallyDefinedContracts.add(decl.id.name);
+                        }
+                    }
+                }
+            }
+            // 3. Schema & Validation Framework Naming Pattern Matching
+            let varDeclarations = [];
+            if (node.type === 'VariableDeclaration') {
+                varDeclarations = node.declarations || [];
+            }
+            else if (node.type === 'ExportNamedDeclaration' && node.declaration?.type === 'VariableDeclaration') {
+                varDeclarations = node.declaration.declarations || [];
+            }
+            for (const decl of varDeclarations) {
+                if (decl.id?.type === 'Identifier') {
+                    const varName = decl.id.name;
+                    const init = decl.init;
+                    const isZodCall = init?.type === 'CallExpression' &&
+                        ((init.callee?.type === 'MemberExpression' &&
+                            (init.callee.object?.name === 'z' || init.callee.object?.name === 'zod')) ||
+                            (init.callee?.type === 'Identifier' &&
+                                (init.callee.name === 'z' || init.callee.name.startsWith('zod'))));
+                    if (isZodCall || varName.endsWith('Schema')) {
+                        externallyDefinedContracts.add(varName);
+                    }
+                }
+            }
+            // Check class and function declarations ending in Schema (e.g., export class UserSchema)
+            let targetNameNode = null;
+            if (node.type === 'ClassDeclaration' || node.type === 'FunctionDeclaration') {
+                targetNameNode = node;
+            }
+            else if (node.type === 'ExportNamedDeclaration' &&
+                node.declaration &&
+                (node.declaration.type === 'ClassDeclaration' || node.declaration.type === 'FunctionDeclaration')) {
+                targetNameNode = node.declaration;
+            }
+            if (targetNameNode?.id?.name && targetNameNode.id.name.endsWith('Schema')) {
+                externallyDefinedContracts.add(targetNameNode.id.name);
+            }
+        });
+    }
+    // Phase 3: Apply Contract Guard Marking to ExportRecords
+    for (const module of context.modules.values()) {
+        if (module.exports) {
+            for (const exportRecord of module.exports) {
+                if ((exportRecord.name && externallyDefinedContracts.has(exportRecord.name)) ||
+                    (exportRecord.exportedAs && externallyDefinedContracts.has(exportRecord.exportedAs))) {
+                    exportRecord.isExternalContract = true;
+                }
+            }
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=layer5.js.map

package/dist/layer5.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer5.js","sourceRoot":"","sources":["../src/layer5.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAEtC;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAwB;IAC1D,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAS,OAAO,CAAC,OAAO,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;IAE5F,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;QACnC,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW;QAC7D,YAAY,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc;QACvE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,wBAAwB,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY;QAC3G,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK;KAClE,CAAC,CAAC;IAEH,kFAAkF;IAClF,6EAA6E;IAE7E,iDAAiD;IACjD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,IAAI,CAAC,MAAM,CAAC,GAAG;YAAE,SAAS;QAE1B,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE;YAC9B,MAAM,IAAI,GAAG,OAAc,CAAC;YAE5B,mEAAmE;YACnE,MAAM,UAAU,GAAU;gBACxB,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1D,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC;oBAC/B,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;oBAC3D,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;YAEF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;oBACnC,IAAI,aAAa,GAAG,EAAE,CAAC;oBACvB,MAAM,IAAI,GAAG,SAAS,CAAC,UAAiB,CAAC;oBACzC,IAAI,IAAI,EAAE,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;wBAC1E,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;oBACnC,CAAC;yBAAM,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;wBACvC,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC;oBAC5B,CAAC;oBAED,IAAI,oBAAoB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;wBAC5C,IAAI,UAAU,GAAG,IAAI,CAAC;wBACtB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,wBAAwB,IAAI,IAAI,CAAC,IAAI,KAAK,0BAA0B,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;4BAC7G,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC;wBAChC,CAAC;wBAED,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,kBAAkB,IAAI,UAAU,CAAC,IAAI,KAAK,qBAAqB,CAAC,IAAI,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;4BACjH,0BAA0B,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;wBACrD,CAAC;6BAAM,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;4BAC/H,0BAA0B,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;wBACtD,CAAC;6BAAM,IAAI,UAAU,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;4BACpD,UAAU,CAAC,YAAsB,CAAC,OAAO,CAAC,CAAC,IAAS,EAAE,EAAE;gCACvD,IAAI,IAAI,CAAC,EAAE,EAAE,IAAI,KAAK,YAAY;oCAAE,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;4BACnF,CAAC,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,0DAA0D;YAC1D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;gBACxC,MAAM,QAAQ,GAAI,IAAI,CAAC,eAAyB,CAAC,IAAI,CAAC,CAAC,OAAY,EAAE,EAAE,CACrE,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;oBACjC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;oBAC/B,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAC3C,CAAC;gBAEF,IAAI,QAAQ,EAAE,CAAC;oBACb,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;wBACvC,IAAI,CAAC,YAAsB,CAAC,OAAO,CAAC,CAAC,IAAS,EAAE,EAAE;4BACjD,IAAI,IAAI,CAAC,EAAE,EAAE,IAAI,KAAK,YAAY;gCAAE,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;wBACnF,CAAC,CAAC,CAAC;oBACL,CAAC;yBAAM,IACL,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,CAAC;wBACzE,IAAI,CAAC,EAAE,EAAE,IAAI,EACb,CAAC;wBACD,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;oBAC/C,CAAC;yBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,wBAAwB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;wBACtE,MAAM,IAAI,GAAG,IAAI,CAAC,WAAkB,CAAC;wBACrC,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;4BACvC,IAAI,CAAC,YAAsB,CAAC,OAAO,CAAC,CAAC,CAAM,EAAE,EAAE;gCAC9C,IAAI,CAAC,CAAC,EAAE,EAAE,IAAI,KAAK,YAAY;oCAAE,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;4BAC7E,CAAC,CAAC,CAAC;wBACL,CAAC;6BAAM,IACL,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,CAAC;4BACzE,IAAI,CAAC,EAAE,EAAE,IAAI,EACb,CAAC;4BACD,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;wBAC/C,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,2DAA2D;YAC3D,IAAI,eAAe,GAAU,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACxC,eAAe,GAAG,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;YAC5C,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,wBAAwB,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACtG,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,IAAI,EAAE,CAAC;YACxD,CAAC;YAED,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACnC,IAAI,IAAI,CAAC,EAAE,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;oBACnC,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;oBAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;oBAEvB,MAAM,SAAS,GACb,IAAI,EAAE,IAAI,KAAK,gBAAgB;wBAC/B,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,kBAAkB;4BACxC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC;4BAC1E,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,YAAY;gCAClC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAEvE,IAAI,SAAS,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;wBAC5C,0BAA0B,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBAC1C,CAAC;gBACH,CAAC;YACH,CAAC;YAED,yFAAyF;YACzF,IAAI,cAAc,GAAQ,IAAI,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5E,cAAc,GAAG,IAAI,CAAC;YACxB,CAAC;iBAAM,IACL,IAAI,CAAC,IAAI,KAAK,wBAAwB;gBACtC,IAAI,CAAC,WAAW;gBAChB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB,CAAC,EACjG,CAAC;gBACD,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC;YACpC,CAAC;YAED,IAAI,cAAc,EAAE,EAAE,EAAE,IAAI,IAAI,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1E,0BAA0B,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACzD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,yDAAyD;IACzD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC1C,IACE,CAAC,YAAY,CAAC,IAAI,IAAI,0BAA0B,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;oBACxE,CAAC,YAAY,CAAC,UAAU,IAAI,0BAA0B,CAAC,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,EACpF,CAAC;oBACD,YAAY,CAAC,kBAAkB,GAAG,IAAI,CAAC;gBACzC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/layer6.d.ts

@@ -0,0 +1,25 @@
+import type { AnalysisContext, Finding } from './types.js';
+export interface DtsExportGraph {
+    filePath: string;
+    exportedTypes: Set<string>;
+    hasModuleAugmentation: boolean;
+}
+export interface DependencyNode {
+    name: string;
+    version: string;
+    dependencies: Set<string>;
+}
+/**
+ * Parses a library's entry point `.d.ts` file using SWC.
+ * Handles Windows & POSIX paths natively.
+ */
+export declare function parseDtsWithSwc(entryPointRelative: string): Promise<DtsExportGraph>;
+/**
+ * Fast-path topology extraction from lockfiles.
+ */
+export declare function buildLockfileGraph(projectRoot: string): Map<string, DependencyNode>;
+/**
+ * Layer 6: Dependency & Boundary Engine
+ * Audits package usage and refines Layer 5 protections.
+ */
+export declare function analyzeLayer6(context: AnalysisContext): Promise<Finding[]>;

package/dist/layer6.js

@@ -0,0 +1,183 @@
+import fs from 'node:fs';
+import path from 'pathe';
+import { parseFile } from '@swc/core';
+import * as yaml from 'js-yaml';
+/**
+ * Parses a library's entry point `.d.ts` file using SWC.
+ * Handles Windows & POSIX paths natively.
+ */
+export async function parseDtsWithSwc(entryPointRelative) {
+    const absolutePath = path.resolve(entryPointRelative);
+    if (!fs.existsSync(absolutePath)) {
+        return { filePath: absolutePath, exportedTypes: new Set(), hasModuleAugmentation: false };
+    }
+    // SWC parses TypeScript declarations directly with native performance
+    const moduleAst = await parseFile(absolutePath, {
+        syntax: 'typescript',
+        dts: true,
+    });
+    const exportedTypes = new Set();
+    let hasModuleAugmentation = false;
+    for (const item of moduleAst.body) {
+        // 1. Capture exported interfaces/types/classes
+        if (item.type === 'ExportDeclaration') {
+            if (item.declaration && 'identifier' in item.declaration) {
+                exportedTypes.add(item.declaration.identifier.value);
+            }
+        }
+        else if (item.type === 'ExportNamedDeclaration') {
+            for (const spec of item.specifiers) {
+                if (spec.type === 'ExportSpecifier') {
+                    exportedTypes.add(spec.exported?.value || spec.orig.value);
+                }
+            }
+        }
+        // 2. Track ambient module augmentations (e.g., declare module 'express')
+        if (item.type === 'TsModuleDeclaration') {
+            hasModuleAugmentation = true;
+        }
+    }
+    return {
+        filePath: absolutePath,
+        exportedTypes,
+        hasModuleAugmentation,
+    };
+}
+/**
+ * Fast-path topology extraction from lockfiles.
+ */
+export function buildLockfileGraph(projectRoot) {
+    const graph = new Map();
+    const pnpmLockPath = path.join(projectRoot, 'pnpm-lock.yaml');
+    const packageLockPath = path.join(projectRoot, 'package-lock.json');
+    if (fs.existsSync(packageLockPath)) {
+        try {
+            const raw = fs.readFileSync(packageLockPath, 'utf-8');
+            const parsed = JSON.parse(raw);
+            const packages = parsed.packages || {};
+            for (const [pkgPath, meta] of Object.entries(packages)) {
+                if (!pkgPath)
+                    continue;
+                const cleanName = pkgPath.replace(/^node_modules\//, '');
+                const deps = new Set(Object.keys(meta.dependencies || {}).concat(Object.keys(meta.peerDependencies || {})));
+                graph.set(cleanName, {
+                    name: cleanName,
+                    version: meta.version || 'unknown',
+                    dependencies: deps,
+                });
+            }
+        }
+        catch (e) {
+            console.error(`[Layer 6] Error parsing package-lock.json: ${e}`);
+        }
+    }
+    else if (fs.existsSync(pnpmLockPath)) {
+        try {
+            const raw = fs.readFileSync(pnpmLockPath, 'utf-8');
+            const parsed = yaml.load(raw);
+            const snapshots = parsed.snapshots || {};
+            for (const [pkgId, meta] of Object.entries(snapshots)) {
+                // pnpm lock v6/v9 format: /pkg-name@version
+                const nameMatch = pkgId.match(/^\/(@?[^@]+)/);
+                const cleanName = (nameMatch ? nameMatch[1] : pkgId);
+                const deps = new Set(Object.keys(meta.dependencies || {}).concat(Object.keys(meta.peerDependencies || {})));
+                graph.set(cleanName, {
+                    name: cleanName,
+                    version: 'pnpm-managed',
+                    dependencies: deps,
+                });
+            }
+        }
+        catch (e) {
+            console.error(`[Layer 6] Error parsing pnpm-lock.yaml: ${e}`);
+        }
+    }
+    return graph;
+}
+/**
+ * Layer 6: Dependency & Boundary Engine
+ * Audits package usage and refines Layer 5 protections.
+ */
+export async function analyzeLayer6(context) {
+    const findings = [];
+    const projectRoot = context.options.rootDir;
+    // 1. Audit declared dependencies vs imported ones
+    const lockfileGraph = buildLockfileGraph(projectRoot);
+    const importedPackages = new Set();
+    for (const module of context.modules.values()) {
+        for (const edge of module.edges) {
+            if (edge.resolution === 'external') {
+                // Extract package name (e.g., '@scope/pkg/path' -> '@scope/pkg')
+                const parts = edge.rawSpecifier.split('/');
+                const pkgName = edge.rawSpecifier.startsWith('@') ? `${parts[0] ?? ''}/${parts[1] ?? ''}` : (parts[0] ?? '');
+                importedPackages.add(pkgName);
+            }
+            else if (edge.resolution === 'resolved' && edge.target && context.options.monorepo) {
+                // Check if the target is inside a workspace package
+                for (const [pkgName, pkg] of context.options.monorepo.packageMap.entries()) {
+                    if (edge.target.startsWith(pkg.location + '/') || edge.target === pkg.location) {
+                        importedPackages.add(pkgName);
+                        break;
+                    }
+                }
+            }
+        }
+    }
+    // Find unused direct dependencies from all package.json files
+    const manifestPaths = [path.join(projectRoot, 'package.json')];
+    if (context.options.monorepo) {
+        for (const pkg of context.options.monorepo.packageMap.values()) {
+            manifestPaths.push(pkg.manifestPath);
+        }
+    }
+    for (const manifestPath of manifestPaths) {
+        if (fs.existsSync(manifestPath)) {
+            try {
+                const pkg = JSON.parse(fs.readFileSync(manifestPath, 'utf-8'));
+                const declaredDeps = Object.keys(pkg.dependencies || {});
+                const relativeManifest = path.posix.relative(projectRoot, manifestPath);
+                for (const dep of declaredDeps) {
+                    if (!importedPackages.has(dep)) {
+                        findings.push({
+                            rule: 'unused-export',
+                            severity: 'warning',
+                            confidence: 'high',
+                            message: `Package '${dep}' is declared in ${relativeManifest} but never imported in /src.`,
+                            file: relativeManifest,
+                            evidence: { package: dep }
+                        });
+                    }
+                }
+            }
+            catch (e) {
+                console.error(`[Layer 6] Error auditing ${manifestPath}: ${e}`);
+            }
+        }
+    }
+    // 2. Refine Layer 5 Protection
+    // In a real scenario, we'd scan for framework registrations.
+    // For this implementation, we look for symbols in SCCs that are not reachable.
+    // If a Layer 5 protected symbol is in a module that is unreachable, we revoked it.
+    for (const module of context.modules.values()) {
+        const isReachable = context.reachable.has(module.id) || context.maybeReachable.has(module.id);
+        if (!isReachable) {
+            for (const exp of module.exports) {
+                if (exp.isExternalContract) {
+                    // Revoke protection because the entire file is abandoned
+                    findings.push({
+                        rule: 'protected-contract',
+                        severity: 'info',
+                        confidence: 'high',
+                        message: `[Layer 6] Revoked protection for unreferenced contract: ${exp.exportedAs} (File is unreachable).`,
+                        file: module.relativePath,
+                        ...(exp.location !== undefined && { location: exp.location }),
+                        evidence: { symbol: exp.exportedAs, reason: 'unreachable-file' }
+                    });
+                    exp.isExternalContract = false;
+                }
+            }
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=layer6.js.map

package/dist/layer6.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer6.js","sourceRoot":"","sources":["../src/layer6.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,OAAO,CAAC;AACzB,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,IAAI,MAAM,SAAS,CAAC;AAehC;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,kBAA0B;IAC9D,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAEtD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,IAAI,GAAG,EAAE,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC;IAC5F,CAAC;IAED,sEAAsE;IACtE,MAAM,SAAS,GAAG,MAAM,SAAS,CAAC,YAAY,EAAE;QAC9C,MAAM,EAAE,YAAY;QACpB,GAAG,EAAE,IAAI;KACH,CAAC,CAAC;IAEV,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,IAAI,qBAAqB,GAAG,KAAK,CAAC;IAElC,KAAK,MAAM,IAAI,IAAK,SAAiB,CAAC,IAAa,EAAE,CAAC;QACpD,+CAA+C;QAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,WAAW,IAAI,YAAY,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACzD,aAAa,CAAC,GAAG,CAAE,IAAI,CAAC,WAAW,CAAC,UAAkB,CAAC,KAAK,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YAClD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACnC,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACpC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7D,CAAC;YACH,CAAC;QACH,CAAC;QAED,yEAAyE;QACzE,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxC,qBAAqB,GAAG,IAAI,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,YAAY;QACtB,aAAa;QACb,qBAAqB;KACtB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,WAAmB;IACpD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;IAEpE,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC;YAEvC,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAM,QAAQ,CAAC,EAAE,CAAC;gBAC5D,IAAI,CAAC,OAAO;oBAAE,SAAS;gBAEvB,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;gBACzD,MAAM,IAAI,GAAG,IAAI,GAAG,CAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,CACtF,CAAC;gBAEF,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE;oBACnB,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,SAAS;oBAClC,YAAY,EAAE,IAAI;iBACnB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,CAAC,KAAK,CAAC,8CAA8C,CAAC,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YACnD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAQ,CAAC;YACrC,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC;YAEzC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAM,SAAS,CAAC,EAAE,CAAC;gBAC3D,4CAA4C;gBAC5C,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;gBAC9C,MAAM,SAAS,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAW,CAAC;gBAE/D,MAAM,IAAI,GAAG,IAAI,GAAG,CAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,CACtF,CAAC;gBAEF,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE;oBACnB,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,cAAc;oBACvB,YAAY,EAAE,IAAI;iBACnB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,CAAC,KAAK,CAAC,2CAA2C,CAAC,EAAE,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAwB;IAC1D,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;IAE5C,kDAAkD;IAClD,MAAM,aAAa,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE3C,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACnC,iEAAiE;gBACjE,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC7G,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAChC,CAAC;iBAAM,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACrF,oDAAoD;gBACpD,KAAK,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC3E,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;wBAC/E,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;wBAC9B,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YAC/D,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YAChC,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC/D,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;gBACzD,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;gBAExE,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;oBAC/B,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC/B,QAAQ,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,eAAe;4BACrB,QAAQ,EAAE,SAAS;4BACnB,UAAU,EAAE,MAAM;4BAClB,OAAO,EAAE,YAAY,GAAG,oBAAoB,gBAAgB,8BAA8B;4BAC1F,IAAI,EAAE,gBAAgB;4BACtB,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;yBAC3B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,CAAC,KAAK,CAAC,4BAA4B,YAAY,KAAK,CAAC,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IAED,+BAA+B;IAC/B,6DAA6D;IAC7D,+EAA+E;IAC/E,mFAAmF;IAEnF,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC9F,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,kBAAkB,EAAE,CAAC;oBAC3B,yDAAyD;oBACzD,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,oBAAoB;wBAC1B,QAAQ,EAAE,MAAM;wBAChB,UAAU,EAAE,MAAM;wBAClB,OAAO,EAAE,2DAA2D,GAAG,CAAC,UAAU,yBAAyB;wBAC3G,IAAI,EAAE,MAAM,CAAC,YAAY;wBACzB,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;wBAC7D,QAAQ,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,kBAAkB,EAAE;qBACjE,CAAC,CAAC;oBACH,GAAG,CAAC,kBAAkB,GAAG,KAAK,CAAC;gBACjC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/parser.d.ts

@@ -0,0 +1,24 @@
+import type { ModuleRecord, Position, Range } from "./types.js";
+interface AstNode {
+    type?: string;
+    start?: number;
+    end?: number;
+    loc?: {
+        start?: Position;
+        end?: Position;
+    };
+    [key: string]: unknown;
+}
+/**
+ * Parse a module without executing it. Recoverable Babel diagnostics retain AST analysis;
+ * unrecoverable input uses a lexical fallback so a bad file cannot sever graph traversal.
+ */
+export declare function parseModule(sourceText: string, file: string): ModuleRecord;
+export declare function getNodeRange(node: unknown): Range | undefined;
+export declare function getNodeType(node: unknown): string | undefined;
+export declare function getNodeProperty(node: unknown, property: string): unknown;
+export declare function getStringLiteral(node: unknown): string | undefined;
+export declare function getIdentifier(node: unknown): string | undefined;
+export declare function isAstNode(node: unknown): boolean;
+export declare function walkAst(node: unknown, visitor: (node: AstNode) => void): void;
+export type { AstNode };