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.
 * Now also resolves dynamic imports by simulating their path construction.
 */
export declare function analyzeLayer4(context: AnalysisContext): Promise<Finding[]>;