windows-exe-decompiler-mcp-server 0.1.0

package/dist/tools/code-reconstruct-export.d.ts

@@ -0,0 +1,1212 @@
+/**
+ * code.reconstruct.export tool implementation
+ * Module-level regrouping + source-like project skeleton export.
+ */
+import { z } from 'zod';
+import type { ToolDefinition, ToolArgs, WorkerResult } from '../types.js';
+import type { WorkspaceManager } from '../workspace-manager.js';
+import type { DatabaseManager } from '../database.js';
+import type { CacheManager } from '../cache-manager.js';
+import { type FunctionSearchResult } from '../decompiler-worker.js';
+import { type DynamicTraceSummary } from '../dynamic-trace.js';
+export declare const CodeReconstructExportInputSchema: z.ZodEffects<z.ZodEffects<z.ZodObject<{
+    sample_id: z.ZodString;
+    topk: z.ZodDefault<z.ZodNumber>;
+    module_limit: z.ZodDefault<z.ZodNumber>;
+    min_module_size: z.ZodDefault<z.ZodNumber>;
+    include_imports: z.ZodDefault<z.ZodBoolean>;
+    include_strings: z.ZodDefault<z.ZodBoolean>;
+    export_name: z.ZodOptional<z.ZodString>;
+    validate_build: z.ZodDefault<z.ZodBoolean>;
+    run_harness: z.ZodDefault<z.ZodBoolean>;
+    compiler_path: z.ZodOptional<z.ZodString>;
+    build_timeout_ms: z.ZodDefault<z.ZodNumber>;
+    run_timeout_ms: z.ZodDefault<z.ZodNumber>;
+    evidence_scope: z.ZodDefault<z.ZodEnum<["all", "latest", "session"]>>;
+    evidence_session_tag: z.ZodOptional<z.ZodString>;
+    semantic_scope: z.ZodDefault<z.ZodEnum<["all", "latest", "session"]>>;
+    semantic_session_tag: z.ZodOptional<z.ZodString>;
+    reuse_cached: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    topk: number;
+    include_strings: boolean;
+    semantic_scope: "all" | "latest" | "session";
+    module_limit: number;
+    min_module_size: number;
+    include_imports: boolean;
+    validate_build: boolean;
+    run_harness: boolean;
+    build_timeout_ms: number;
+    run_timeout_ms: number;
+    reuse_cached: boolean;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    export_name?: string | undefined;
+    compiler_path?: string | undefined;
+}, {
+    sample_id: string;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    topk?: number | undefined;
+    include_strings?: boolean | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+    module_limit?: number | undefined;
+    min_module_size?: number | undefined;
+    include_imports?: boolean | undefined;
+    export_name?: string | undefined;
+    validate_build?: boolean | undefined;
+    run_harness?: boolean | undefined;
+    compiler_path?: string | undefined;
+    build_timeout_ms?: number | undefined;
+    run_timeout_ms?: number | undefined;
+    reuse_cached?: boolean | undefined;
+}>, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    topk: number;
+    include_strings: boolean;
+    semantic_scope: "all" | "latest" | "session";
+    module_limit: number;
+    min_module_size: number;
+    include_imports: boolean;
+    validate_build: boolean;
+    run_harness: boolean;
+    build_timeout_ms: number;
+    run_timeout_ms: number;
+    reuse_cached: boolean;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    export_name?: string | undefined;
+    compiler_path?: string | undefined;
+}, {
+    sample_id: string;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    topk?: number | undefined;
+    include_strings?: boolean | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+    module_limit?: number | undefined;
+    min_module_size?: number | undefined;
+    include_imports?: boolean | undefined;
+    export_name?: string | undefined;
+    validate_build?: boolean | undefined;
+    run_harness?: boolean | undefined;
+    compiler_path?: string | undefined;
+    build_timeout_ms?: number | undefined;
+    run_timeout_ms?: number | undefined;
+    reuse_cached?: boolean | undefined;
+}>, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    topk: number;
+    include_strings: boolean;
+    semantic_scope: "all" | "latest" | "session";
+    module_limit: number;
+    min_module_size: number;
+    include_imports: boolean;
+    validate_build: boolean;
+    run_harness: boolean;
+    build_timeout_ms: number;
+    run_timeout_ms: number;
+    reuse_cached: boolean;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    export_name?: string | undefined;
+    compiler_path?: string | undefined;
+}, {
+    sample_id: string;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    topk?: number | undefined;
+    include_strings?: boolean | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+    module_limit?: number | undefined;
+    min_module_size?: number | undefined;
+    include_imports?: boolean | undefined;
+    export_name?: string | undefined;
+    validate_build?: boolean | undefined;
+    run_harness?: boolean | undefined;
+    compiler_path?: string | undefined;
+    build_timeout_ms?: number | undefined;
+    run_timeout_ms?: number | undefined;
+    reuse_cached?: boolean | undefined;
+}>;
+export type CodeReconstructExportInput = z.infer<typeof CodeReconstructExportInputSchema>;
+export declare const CodeReconstructExportOutputSchema: z.ZodObject<{
+    ok: z.ZodBoolean;
+    data: z.ZodOptional<z.ZodObject<{
+        sample_id: z.ZodString;
+        export_root: z.ZodString;
+        manifest_path: z.ZodString;
+        gaps_path: z.ZodString;
+        notes_path: z.ZodString;
+        cli_model_path: z.ZodString;
+        support_header_path: z.ZodString;
+        harness_path: z.ZodString;
+        build_manifest_path: z.ZodString;
+        build_validation: z.ZodObject<{
+            attempted: z.ZodBoolean;
+            status: z.ZodEnum<["passed", "failed", "skipped", "unavailable"]>;
+            compiler: z.ZodNullable<z.ZodString>;
+            compiler_path: z.ZodNullable<z.ZodString>;
+            command: z.ZodNullable<z.ZodString>;
+            exit_code: z.ZodNullable<z.ZodNumber>;
+            timed_out: z.ZodBoolean;
+            error: z.ZodNullable<z.ZodString>;
+            log_path: z.ZodNullable<z.ZodString>;
+            executable_path: z.ZodNullable<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            compiler_path: string | null;
+            attempted: boolean;
+            compiler: string | null;
+            log_path: string | null;
+            executable_path: string | null;
+        }, {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            compiler_path: string | null;
+            attempted: boolean;
+            compiler: string | null;
+            log_path: string | null;
+            executable_path: string | null;
+        }>;
+        harness_validation: z.ZodObject<{
+            attempted: z.ZodBoolean;
+            status: z.ZodEnum<["passed", "failed", "skipped", "unavailable"]>;
+            command: z.ZodNullable<z.ZodString>;
+            exit_code: z.ZodNullable<z.ZodNumber>;
+            timed_out: z.ZodBoolean;
+            error: z.ZodNullable<z.ZodString>;
+            log_path: z.ZodNullable<z.ZodString>;
+            matched_entries: z.ZodNumber;
+            mismatched_entries: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            attempted: boolean;
+            log_path: string | null;
+            matched_entries: number;
+            mismatched_entries: number;
+        }, {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            attempted: boolean;
+            log_path: string | null;
+            matched_entries: number;
+            mismatched_entries: number;
+        }>;
+        module_count: z.ZodNumber;
+        unresolved_count: z.ZodNumber;
+        binary_profile: z.ZodObject<{
+            binary_role: z.ZodString;
+            original_filename: z.ZodNullable<z.ZodString>;
+            export_count: z.ZodNumber;
+            forwarder_count: z.ZodNumber;
+            notable_exports: z.ZodArray<z.ZodString, "many">;
+            packed: z.ZodBoolean;
+            packing_confidence: z.ZodNumber;
+            analysis_priorities: z.ZodArray<z.ZodString, "many">;
+            cli_profile: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+                tool_name: z.ZodString;
+                help_banner: z.ZodString;
+                command_count: z.ZodNumber;
+                commands: z.ZodArray<z.ZodObject<{
+                    verb: z.ZodString;
+                    summary: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    summary: string;
+                    verb: string;
+                }, {
+                    summary: string;
+                    verb: string;
+                }>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                commands: {
+                    summary: string;
+                    verb: string;
+                }[];
+                tool_name: string;
+                help_banner: string;
+                command_count: number;
+            }, {
+                commands: {
+                    summary: string;
+                    verb: string;
+                }[];
+                tool_name: string;
+                help_banner: string;
+                command_count: number;
+            }>>>;
+        }, "strip", z.ZodTypeAny, {
+            packed: boolean;
+            binary_role: string;
+            original_filename: string | null;
+            export_count: number;
+            forwarder_count: number;
+            notable_exports: string[];
+            packing_confidence: number;
+            analysis_priorities: string[];
+            cli_profile?: {
+                commands: {
+                    summary: string;
+                    verb: string;
+                }[];
+                tool_name: string;
+                help_banner: string;
+                command_count: number;
+            } | null | undefined;
+        }, {
+            packed: boolean;
+            binary_role: string;
+            original_filename: string | null;
+            export_count: number;
+            forwarder_count: number;
+            notable_exports: string[];
+            packing_confidence: number;
+            analysis_priorities: string[];
+            cli_profile?: {
+                commands: {
+                    summary: string;
+                    verb: string;
+                }[];
+                tool_name: string;
+                help_banner: string;
+                command_count: number;
+            } | null | undefined;
+        }>;
+        runtime_evidence: z.ZodNullable<z.ZodObject<{
+            executed: z.ZodBoolean;
+            api_count: z.ZodNumber;
+            stage_count: z.ZodNumber;
+            observed_apis: z.ZodArray<z.ZodString, "many">;
+            region_types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            observed_modules: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            observed_strings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            stages: z.ZodArray<z.ZodString, "many">;
+            summary: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            summary: string;
+            stages: string[];
+            executed: boolean;
+            api_count: number;
+            stage_count: number;
+            observed_apis: string[];
+            observed_strings?: string[] | undefined;
+            region_types?: string[] | undefined;
+            observed_modules?: string[] | undefined;
+        }, {
+            summary: string;
+            stages: string[];
+            executed: boolean;
+            api_count: number;
+            stage_count: number;
+            observed_apis: string[];
+            observed_strings?: string[] | undefined;
+            region_types?: string[] | undefined;
+            observed_modules?: string[] | undefined;
+        }>>;
+        provenance: z.ZodObject<{
+            runtime: z.ZodObject<{
+                scope: z.ZodEnum<["all", "latest", "session"]>;
+                session_selector: z.ZodNullable<z.ZodString>;
+                artifact_count: z.ZodNumber;
+                artifact_ids: z.ZodArray<z.ZodString, "many">;
+                session_tags: z.ZodArray<z.ZodString, "many">;
+                earliest_artifact_at: z.ZodNullable<z.ZodString>;
+                latest_artifact_at: z.ZodNullable<z.ZodString>;
+                scope_note: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }>;
+            semantic_names: z.ZodOptional<z.ZodObject<{
+                scope: z.ZodEnum<["all", "latest", "session"]>;
+                session_selector: z.ZodNullable<z.ZodString>;
+                artifact_count: z.ZodNumber;
+                artifact_ids: z.ZodArray<z.ZodString, "many">;
+                session_tags: z.ZodArray<z.ZodString, "many">;
+                earliest_artifact_at: z.ZodNullable<z.ZodString>;
+                latest_artifact_at: z.ZodNullable<z.ZodString>;
+                scope_note: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }>>;
+            semantic_explanations: z.ZodOptional<z.ZodObject<{
+                scope: z.ZodEnum<["all", "latest", "session"]>;
+                session_selector: z.ZodNullable<z.ZodString>;
+                artifact_count: z.ZodNumber;
+                artifact_ids: z.ZodArray<z.ZodString, "many">;
+                session_tags: z.ZodArray<z.ZodString, "many">;
+                earliest_artifact_at: z.ZodNullable<z.ZodString>;
+                latest_artifact_at: z.ZodNullable<z.ZodString>;
+                scope_note: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }>>;
+        }, "strip", z.ZodTypeAny, {
+            runtime: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            };
+            semantic_names?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+            semantic_explanations?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+        }, {
+            runtime: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            };
+            semantic_names?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+            semantic_explanations?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+        }>;
+        modules: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            confidence: z.ZodNumber;
+            function_count: z.ZodNumber;
+            import_hints: z.ZodArray<z.ZodString, "many">;
+            string_hints: z.ZodArray<z.ZodString, "many">;
+            runtime_apis: z.ZodArray<z.ZodString, "many">;
+            runtime_stages: z.ZodArray<z.ZodString, "many">;
+            interface_path: z.ZodString;
+            pseudocode_path: z.ZodString;
+            rewrite_path: z.ZodString;
+            functions: z.ZodArray<z.ZodObject<{
+                function: z.ZodString;
+                address: z.ZodString;
+                confidence: z.ZodNumber;
+                gaps: z.ZodArray<z.ZodString, "many">;
+                suggested_name: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                suggested_role: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                rename_confidence: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+                rule_based_name: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                llm_suggested_name: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                validated_name: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                name_resolution_source: z.ZodOptional<z.ZodNullable<z.ZodEnum<["rule", "llm", "hybrid", "unresolved"]>>>;
+                explanation_summary: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                explanation_behavior: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                explanation_confidence: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+            }, "strip", z.ZodTypeAny, {
+                function: string;
+                address: string;
+                gaps: string[];
+                confidence: number;
+                rule_based_name?: string | null | undefined;
+                llm_suggested_name?: string | null | undefined;
+                validated_name?: string | null | undefined;
+                suggested_name?: string | null | undefined;
+                suggested_role?: string | null | undefined;
+                rename_confidence?: number | null | undefined;
+                name_resolution_source?: "hybrid" | "rule" | "llm" | "unresolved" | null | undefined;
+                explanation_summary?: string | null | undefined;
+                explanation_behavior?: string | null | undefined;
+                explanation_confidence?: number | null | undefined;
+            }, {
+                function: string;
+                address: string;
+                gaps: string[];
+                confidence: number;
+                rule_based_name?: string | null | undefined;
+                llm_suggested_name?: string | null | undefined;
+                validated_name?: string | null | undefined;
+                suggested_name?: string | null | undefined;
+                suggested_role?: string | null | undefined;
+                rename_confidence?: number | null | undefined;
+                name_resolution_source?: "hybrid" | "rule" | "llm" | "unresolved" | null | undefined;
+                explanation_summary?: string | null | undefined;
+                explanation_behavior?: string | null | undefined;
+                explanation_confidence?: number | null | undefined;
+            }>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            confidence: number;
+            function_count: number;
+            functions: {
+                function: string;
+                address: string;
+                gaps: string[];
+                confidence: number;
+                rule_based_name?: string | null | undefined;
+                llm_suggested_name?: string | null | undefined;
+                validated_name?: string | null | undefined;
+                suggested_name?: string | null | undefined;
+                suggested_role?: string | null | undefined;
+                rename_confidence?: number | null | undefined;
+                name_resolution_source?: "hybrid" | "rule" | "llm" | "unresolved" | null | undefined;
+                explanation_summary?: string | null | undefined;
+                explanation_behavior?: string | null | undefined;
+                explanation_confidence?: number | null | undefined;
+            }[];
+            string_hints: string[];
+            import_hints: string[];
+            runtime_apis: string[];
+            runtime_stages: string[];
+            interface_path: string;
+            pseudocode_path: string;
+            rewrite_path: string;
+        }, {
+            name: string;
+            confidence: number;
+            function_count: number;
+            functions: {
+                function: string;
+                address: string;
+                gaps: string[];
+                confidence: number;
+                rule_based_name?: string | null | undefined;
+                llm_suggested_name?: string | null | undefined;
+                validated_name?: string | null | undefined;
+                suggested_name?: string | null | undefined;
+                suggested_role?: string | null | undefined;
+                rename_confidence?: number | null | undefined;
+                name_resolution_source?: "hybrid" | "rule" | "llm" | "unresolved" | null | undefined;
+                explanation_summary?: string | null | undefined;
+                explanation_behavior?: string | null | undefined;
+                explanation_confidence?: number | null | undefined;
+            }[];
+            string_hints: string[];
+            import_hints: string[];
+            runtime_apis: string[];
+            runtime_stages: string[];
+            interface_path: string;
+            pseudocode_path: string;
+            rewrite_path: string;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        sample_id: string;
+        modules: {
+            name: string;
+            confidence: number;
+            function_count: number;
+            functions: {
+                function: string;
+                address: string;
+                gaps: string[];
+                confidence: number;
+                rule_based_name?: string | null | undefined;
+                llm_suggested_name?: string | null | undefined;
+                validated_name?: string | null | undefined;
+                suggested_name?: string | null | undefined;
+                suggested_role?: string | null | undefined;
+                rename_confidence?: number | null | undefined;
+                name_resolution_source?: "hybrid" | "rule" | "llm" | "unresolved" | null | undefined;
+                explanation_summary?: string | null | undefined;
+                explanation_behavior?: string | null | undefined;
+                explanation_confidence?: number | null | undefined;
+            }[];
+            string_hints: string[];
+            import_hints: string[];
+            runtime_apis: string[];
+            runtime_stages: string[];
+            interface_path: string;
+            pseudocode_path: string;
+            rewrite_path: string;
+        }[];
+        provenance: {
+            runtime: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            };
+            semantic_names?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+            semantic_explanations?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+        };
+        export_root: string;
+        manifest_path: string;
+        gaps_path: string;
+        notes_path: string;
+        cli_model_path: string;
+        support_header_path: string;
+        harness_path: string;
+        build_manifest_path: string;
+        build_validation: {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            compiler_path: string | null;
+            attempted: boolean;
+            compiler: string | null;
+            log_path: string | null;
+            executable_path: string | null;
+        };
+        harness_validation: {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            attempted: boolean;
+            log_path: string | null;
+            matched_entries: number;
+            mismatched_entries: number;
+        };
+        module_count: number;
+        unresolved_count: number;
+        binary_profile: {
+            packed: boolean;
+            binary_role: string;
+            original_filename: string | null;
+            export_count: number;
+            forwarder_count: number;
+            notable_exports: string[];
+            packing_confidence: number;
+            analysis_priorities: string[];
+            cli_profile?: {
+                commands: {
+                    summary: string;
+                    verb: string;
+                }[];
+                tool_name: string;
+                help_banner: string;
+                command_count: number;
+            } | null | undefined;
+        };
+        runtime_evidence: {
+            summary: string;
+            stages: string[];
+            executed: boolean;
+            api_count: number;
+            stage_count: number;
+            observed_apis: string[];
+            observed_strings?: string[] | undefined;
+            region_types?: string[] | undefined;
+            observed_modules?: string[] | undefined;
+        } | null;
+    }, {
+        sample_id: string;
+        modules: {
+            name: string;
+            confidence: number;
+            function_count: number;
+            functions: {
+                function: string;
+                address: string;
+                gaps: string[];
+                confidence: number;
+                rule_based_name?: string | null | undefined;
+                llm_suggested_name?: string | null | undefined;
+                validated_name?: string | null | undefined;
+                suggested_name?: string | null | undefined;
+                suggested_role?: string | null | undefined;
+                rename_confidence?: number | null | undefined;
+                name_resolution_source?: "hybrid" | "rule" | "llm" | "unresolved" | null | undefined;
+                explanation_summary?: string | null | undefined;
+                explanation_behavior?: string | null | undefined;
+                explanation_confidence?: number | null | undefined;
+            }[];
+            string_hints: string[];
+            import_hints: string[];
+            runtime_apis: string[];
+            runtime_stages: string[];
+            interface_path: string;
+            pseudocode_path: string;
+            rewrite_path: string;
+        }[];
+        provenance: {
+            runtime: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            };
+            semantic_names?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+            semantic_explanations?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+        };
+        export_root: string;
+        manifest_path: string;
+        gaps_path: string;
+        notes_path: string;
+        cli_model_path: string;
+        support_header_path: string;
+        harness_path: string;
+        build_manifest_path: string;
+        build_validation: {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            compiler_path: string | null;
+            attempted: boolean;
+            compiler: string | null;
+            log_path: string | null;
+            executable_path: string | null;
+        };
+        harness_validation: {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            attempted: boolean;
+            log_path: string | null;
+            matched_entries: number;
+            mismatched_entries: number;
+        };
+        module_count: number;
+        unresolved_count: number;
+        binary_profile: {
+            packed: boolean;
+            binary_role: string;
+            original_filename: string | null;
+            export_count: number;
+            forwarder_count: number;
+            notable_exports: string[];
+            packing_confidence: number;
+            analysis_priorities: string[];
+            cli_profile?: {
+                commands: {
+                    summary: string;
+                    verb: string;
+                }[];
+                tool_name: string;
+                help_banner: string;
+                command_count: number;
+            } | null | undefined;
+        };
+        runtime_evidence: {
+            summary: string;
+            stages: string[];
+            executed: boolean;
+            api_count: number;
+            stage_count: number;
+            observed_apis: string[];
+            observed_strings?: string[] | undefined;
+            region_types?: string[] | undefined;
+            observed_modules?: string[] | undefined;
+        } | null;
+    }>>;
+    warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    errors: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    artifacts: z.ZodOptional<z.ZodArray<z.ZodAny, "many">>;
+    metrics: z.ZodOptional<z.ZodObject<{
+        elapsed_ms: z.ZodNumber;
+        tool: z.ZodString;
+        cached: z.ZodOptional<z.ZodBoolean>;
+        cache_key: z.ZodOptional<z.ZodString>;
+        cache_tier: z.ZodOptional<z.ZodString>;
+        cache_created_at: z.ZodOptional<z.ZodString>;
+        cache_expires_at: z.ZodOptional<z.ZodString>;
+        cache_hit_at: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        elapsed_ms: number;
+        tool: string;
+        cached?: boolean | undefined;
+        cache_key?: string | undefined;
+        cache_tier?: string | undefined;
+        cache_created_at?: string | undefined;
+        cache_expires_at?: string | undefined;
+        cache_hit_at?: string | undefined;
+    }, {
+        elapsed_ms: number;
+        tool: string;
+        cached?: boolean | undefined;
+        cache_key?: string | undefined;
+        cache_tier?: string | undefined;
+        cache_created_at?: string | undefined;
+        cache_expires_at?: string | undefined;
+        cache_hit_at?: string | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    ok: boolean;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+        cached?: boolean | undefined;
+        cache_key?: string | undefined;
+        cache_tier?: string | undefined;
+        cache_created_at?: string | undefined;
+        cache_expires_at?: string | undefined;
+        cache_hit_at?: string | undefined;
+    } | undefined;
+    data?: {
+        sample_id: string;
+        modules: {
+            name: string;
+            confidence: number;
+            function_count: number;
+            functions: {
+                function: string;
+                address: string;
+                gaps: string[];
+                confidence: number;
+                rule_based_name?: string | null | undefined;
+                llm_suggested_name?: string | null | undefined;
+                validated_name?: string | null | undefined;
+                suggested_name?: string | null | undefined;
+                suggested_role?: string | null | undefined;
+                rename_confidence?: number | null | undefined;
+                name_resolution_source?: "hybrid" | "rule" | "llm" | "unresolved" | null | undefined;
+                explanation_summary?: string | null | undefined;
+                explanation_behavior?: string | null | undefined;
+                explanation_confidence?: number | null | undefined;
+            }[];
+            string_hints: string[];
+            import_hints: string[];
+            runtime_apis: string[];
+            runtime_stages: string[];
+            interface_path: string;
+            pseudocode_path: string;
+            rewrite_path: string;
+        }[];
+        provenance: {
+            runtime: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            };
+            semantic_names?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+            semantic_explanations?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+        };
+        export_root: string;
+        manifest_path: string;
+        gaps_path: string;
+        notes_path: string;
+        cli_model_path: string;
+        support_header_path: string;
+        harness_path: string;
+        build_manifest_path: string;
+        build_validation: {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            compiler_path: string | null;
+            attempted: boolean;
+            compiler: string | null;
+            log_path: string | null;
+            executable_path: string | null;
+        };
+        harness_validation: {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            attempted: boolean;
+            log_path: string | null;
+            matched_entries: number;
+            mismatched_entries: number;
+        };
+        module_count: number;
+        unresolved_count: number;
+        binary_profile: {
+            packed: boolean;
+            binary_role: string;
+            original_filename: string | null;
+            export_count: number;
+            forwarder_count: number;
+            notable_exports: string[];
+            packing_confidence: number;
+            analysis_priorities: string[];
+            cli_profile?: {
+                commands: {
+                    summary: string;
+                    verb: string;
+                }[];
+                tool_name: string;
+                help_banner: string;
+                command_count: number;
+            } | null | undefined;
+        };
+        runtime_evidence: {
+            summary: string;
+            stages: string[];
+            executed: boolean;
+            api_count: number;
+            stage_count: number;
+            observed_apis: string[];
+            observed_strings?: string[] | undefined;
+            region_types?: string[] | undefined;
+            observed_modules?: string[] | undefined;
+        } | null;
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+    artifacts?: any[] | undefined;
+}, {
+    ok: boolean;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+        cached?: boolean | undefined;
+        cache_key?: string | undefined;
+        cache_tier?: string | undefined;
+        cache_created_at?: string | undefined;
+        cache_expires_at?: string | undefined;
+        cache_hit_at?: string | undefined;
+    } | undefined;
+    data?: {
+        sample_id: string;
+        modules: {
+            name: string;
+            confidence: number;
+            function_count: number;
+            functions: {
+                function: string;
+                address: string;
+                gaps: string[];
+                confidence: number;
+                rule_based_name?: string | null | undefined;
+                llm_suggested_name?: string | null | undefined;
+                validated_name?: string | null | undefined;
+                suggested_name?: string | null | undefined;
+                suggested_role?: string | null | undefined;
+                rename_confidence?: number | null | undefined;
+                name_resolution_source?: "hybrid" | "rule" | "llm" | "unresolved" | null | undefined;
+                explanation_summary?: string | null | undefined;
+                explanation_behavior?: string | null | undefined;
+                explanation_confidence?: number | null | undefined;
+            }[];
+            string_hints: string[];
+            import_hints: string[];
+            runtime_apis: string[];
+            runtime_stages: string[];
+            interface_path: string;
+            pseudocode_path: string;
+            rewrite_path: string;
+        }[];
+        provenance: {
+            runtime: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            };
+            semantic_names?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+            semantic_explanations?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+        };
+        export_root: string;
+        manifest_path: string;
+        gaps_path: string;
+        notes_path: string;
+        cli_model_path: string;
+        support_header_path: string;
+        harness_path: string;
+        build_manifest_path: string;
+        build_validation: {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            compiler_path: string | null;
+            attempted: boolean;
+            compiler: string | null;
+            log_path: string | null;
+            executable_path: string | null;
+        };
+        harness_validation: {
+            status: "failed" | "passed" | "skipped" | "unavailable";
+            error: string | null;
+            timed_out: boolean;
+            exit_code: number | null;
+            command: string | null;
+            attempted: boolean;
+            log_path: string | null;
+            matched_entries: number;
+            mismatched_entries: number;
+        };
+        module_count: number;
+        unresolved_count: number;
+        binary_profile: {
+            packed: boolean;
+            binary_role: string;
+            original_filename: string | null;
+            export_count: number;
+            forwarder_count: number;
+            notable_exports: string[];
+            packing_confidence: number;
+            analysis_priorities: string[];
+            cli_profile?: {
+                commands: {
+                    summary: string;
+                    verb: string;
+                }[];
+                tool_name: string;
+                help_banner: string;
+                command_count: number;
+            } | null | undefined;
+        };
+        runtime_evidence: {
+            summary: string;
+            stages: string[];
+            executed: boolean;
+            api_count: number;
+            stage_count: number;
+            observed_apis: string[];
+            observed_strings?: string[] | undefined;
+            region_types?: string[] | undefined;
+            observed_modules?: string[] | undefined;
+        } | null;
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+    artifacts?: any[] | undefined;
+}>;
+export type CodeReconstructExportOutput = z.infer<typeof CodeReconstructExportOutputSchema>;
+export declare const codeReconstructExportToolDefinition: ToolDefinition;
+interface NativeBuildValidationResult {
+    attempted: boolean;
+    status: 'passed' | 'failed' | 'skipped' | 'unavailable';
+    compiler: string | null;
+    compiler_path: string | null;
+    command: string | null;
+    exit_code: number | null;
+    timed_out: boolean;
+    error: string | null;
+    stdout: string;
+    stderr: string;
+    log_path: string | null;
+    executable_path: string | null;
+}
+interface HarnessValidationResult {
+    attempted: boolean;
+    status: 'passed' | 'failed' | 'skipped' | 'unavailable';
+    command: string | null;
+    exit_code: number | null;
+    timed_out: boolean;
+    error: string | null;
+    stdout: string;
+    stderr: string;
+    log_path: string | null;
+    matched_entries: number;
+    mismatched_entries: number;
+}
+interface CodeReconstructExportDependencies {
+    reconstructFunctionsHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    importsExtractHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    exportsExtractHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    packerDetectHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    stringsExtractHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    searchFunctions?: (sampleId: string, options: {
+        apiQuery?: string;
+        stringQuery?: string;
+        limit?: number;
+        timeout?: number;
+    }) => Promise<FunctionSearchResult>;
+    runtimeEvidenceLoader?: (sampleId: string, options?: {
+        evidenceScope?: 'all' | 'latest' | 'session';
+        sessionTag?: string;
+    }) => Promise<DynamicTraceSummary | null>;
+    nativeBuildValidator?: (args: {
+        exportRoot: string;
+        srcRoot: string;
+        moduleRewriteFiles: string[];
+        compilerPath?: string | null;
+        timeoutMs: number;
+    }) => Promise<NativeBuildValidationResult>;
+    harnessValidator?: (args: {
+        executablePath: string;
+        cwd: string;
+        timeoutMs: number;
+    }) => Promise<HarnessValidationResult>;
+}
+export declare function createCodeReconstructExportHandler(workspaceManager: WorkspaceManager, database: DatabaseManager, cacheManager: CacheManager, dependencies?: CodeReconstructExportDependencies): (args: ToolArgs) => Promise<WorkerResult>;
+export {};
+//# sourceMappingURL=code-reconstruct-export.d.ts.map