windows-exe-decompiler-mcp-server 0.1.0 → 0.1.3

package/dist/workflows/reconstruct.d.ts

@@ -7,6 +7,7 @@ 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 { JobQueue } from '../job-queue.js';
 export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodObject<{
     sample_id: z.ZodString;
     path: z.ZodDefault<z.ZodEnum<["auto", "native", "dotnet"]>>;
@@ -25,6 +26,8 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
     compare_evidence_session_tag: z.ZodOptional<z.ZodString>;
     compare_semantic_scope: z.ZodOptional<z.ZodEnum<["all", "latest", "session"]>>;
     compare_semantic_session_tag: z.ZodOptional<z.ZodString>;
+    include_preflight: z.ZodDefault<z.ZodBoolean>;
+    auto_recover_function_index: z.ZodDefault<z.ZodBoolean>;
     include_plan: z.ZodDefault<z.ZodBoolean>;
     include_obfuscation_fallback: z.ZodDefault<z.ZodBoolean>;
     fallback_on_error: z.ZodDefault<z.ZodBoolean>;
@@ -42,6 +45,8 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
     run_timeout_ms: number;
     reuse_cached: boolean;
     include_obfuscation_fallback: boolean;
+    include_preflight: boolean;
+    auto_recover_function_index: boolean;
     include_plan: boolean;
     fallback_on_error: boolean;
     allow_partial: boolean;
@@ -73,6 +78,8 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
     compare_evidence_session_tag?: string | undefined;
     compare_semantic_scope?: "all" | "latest" | "session" | undefined;
     compare_semantic_session_tag?: string | undefined;
+    include_preflight?: boolean | undefined;
+    auto_recover_function_index?: boolean | undefined;
     include_plan?: boolean | undefined;
     fallback_on_error?: boolean | undefined;
     allow_partial?: boolean | undefined;
@@ -88,6 +95,8 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
     run_timeout_ms: number;
     reuse_cached: boolean;
     include_obfuscation_fallback: boolean;
+    include_preflight: boolean;
+    auto_recover_function_index: boolean;
     include_plan: boolean;
     fallback_on_error: boolean;
     allow_partial: boolean;
@@ -119,6 +128,8 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
     compare_evidence_session_tag?: string | undefined;
     compare_semantic_scope?: "all" | "latest" | "session" | undefined;
     compare_semantic_session_tag?: string | undefined;
+    include_preflight?: boolean | undefined;
+    auto_recover_function_index?: boolean | undefined;
     include_plan?: boolean | undefined;
     fallback_on_error?: boolean | undefined;
     allow_partial?: boolean | undefined;
@@ -134,6 +145,8 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
     run_timeout_ms: number;
     reuse_cached: boolean;
     include_obfuscation_fallback: boolean;
+    include_preflight: boolean;
+    auto_recover_function_index: boolean;
     include_plan: boolean;
     fallback_on_error: boolean;
     allow_partial: boolean;
@@ -165,6 +178,8 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
     compare_evidence_session_tag?: string | undefined;
     compare_semantic_scope?: "all" | "latest" | "session" | undefined;
     compare_semantic_session_tag?: string | undefined;
+    include_preflight?: boolean | undefined;
+    auto_recover_function_index?: boolean | undefined;
     include_plan?: boolean | undefined;
     fallback_on_error?: boolean | undefined;
     allow_partial?: boolean | undefined;
@@ -180,6 +195,8 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
     run_timeout_ms: number;
     reuse_cached: boolean;
     include_obfuscation_fallback: boolean;
+    include_preflight: boolean;
+    auto_recover_function_index: boolean;
     include_plan: boolean;
     fallback_on_error: boolean;
     allow_partial: boolean;
@@ -211,6 +228,8 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
     compare_evidence_session_tag?: string | undefined;
     compare_semantic_scope?: "all" | "latest" | "session" | undefined;
     compare_semantic_session_tag?: string | undefined;
+    include_preflight?: boolean | undefined;
+    auto_recover_function_index?: boolean | undefined;
     include_plan?: boolean | undefined;
     fallback_on_error?: boolean | undefined;
     allow_partial?: boolean | undefined;
@@ -226,6 +245,8 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
     run_timeout_ms: number;
     reuse_cached: boolean;
     include_obfuscation_fallback: boolean;
+    include_preflight: boolean;
+    auto_recover_function_index: boolean;
     include_plan: boolean;
     fallback_on_error: boolean;
     allow_partial: boolean;
@@ -257,6 +278,8 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
     compare_evidence_session_tag?: string | undefined;
     compare_semantic_scope?: "all" | "latest" | "session" | undefined;
     compare_semantic_session_tag?: string | undefined;
+    include_preflight?: boolean | undefined;
+    auto_recover_function_index?: boolean | undefined;
     include_plan?: boolean | undefined;
     fallback_on_error?: boolean | undefined;
     allow_partial?: boolean | undefined;
@@ -264,22 +287,37 @@ export declare const ReconstructWorkflowInputSchema: z.ZodEffects<z.ZodEffects<z
 export type ReconstructWorkflowInput = z.infer<typeof ReconstructWorkflowInputSchema>;
 export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
     ok: z.ZodBoolean;
-    data: z.ZodOptional<z.ZodObject<{
+    data: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
         sample_id: z.ZodString;
         selected_path: z.ZodEnum<["native", "dotnet"]>;
         degraded: z.ZodBoolean;
         stage_status: z.ZodObject<{
             runtime: z.ZodEnum<["ok", "failed"]>;
+            preflight_binary_profile: z.ZodEnum<["ok", "failed", "skipped"]>;
+            preflight_dll_profile: z.ZodEnum<["ok", "failed", "skipped"]>;
+            preflight_com_profile: z.ZodEnum<["ok", "failed", "skipped"]>;
+            preflight_rust_profile: z.ZodEnum<["ok", "failed", "skipped"]>;
+            function_index_recovery: z.ZodEnum<["ok", "failed", "skipped"]>;
             plan: z.ZodEnum<["ok", "failed", "skipped"]>;
             export_primary: z.ZodEnum<["ok", "failed", "skipped"]>;
             export_fallback: z.ZodEnum<["ok", "failed", "skipped"]>;
         }, "strip", z.ZodTypeAny, {
             runtime: "failed" | "ok";
+            function_index_recovery: "failed" | "ok" | "skipped";
+            preflight_binary_profile: "failed" | "ok" | "skipped";
+            preflight_dll_profile: "failed" | "ok" | "skipped";
+            preflight_com_profile: "failed" | "ok" | "skipped";
+            preflight_rust_profile: "failed" | "ok" | "skipped";
             plan: "failed" | "ok" | "skipped";
             export_primary: "failed" | "ok" | "skipped";
             export_fallback: "failed" | "ok" | "skipped";
         }, {
             runtime: "failed" | "ok";
+            function_index_recovery: "failed" | "ok" | "skipped";
+            preflight_binary_profile: "failed" | "ok" | "skipped";
+            preflight_dll_profile: "failed" | "ok" | "skipped";
+            preflight_com_profile: "failed" | "ok" | "skipped";
+            preflight_rust_profile: "failed" | "ok" | "skipped";
             plan: "failed" | "ok" | "skipped";
             export_primary: "failed" | "ok" | "skipped";
             export_fallback: "failed" | "ok" | "skipped";
@@ -369,6 +407,34 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 earliest_artifact_at: string | null;
                 latest_artifact_at: string | null;
             }>>;
+            semantic_module_reviews: 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;
@@ -380,6 +446,16 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 earliest_artifact_at: string | null;
                 latest_artifact_at: string | null;
             };
+            semantic_module_reviews?: {
+                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_names?: {
                 artifact_count: number;
                 scope_note: string;
@@ -411,6 +487,16 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 earliest_artifact_at: string | null;
                 latest_artifact_at: string | null;
             };
+            semantic_module_reviews?: {
+                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_names?: {
                 artifact_count: number;
                 scope_note: string;
@@ -989,6 +1075,1023 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             target_framework: string | null;
             primary_runtime: string | null;
         }>;
+        preflight: z.ZodOptional<z.ZodObject<{
+            binary_profile: z.ZodNullable<z.ZodObject<{
+                sample_id: z.ZodString;
+                original_filename: z.ZodNullable<z.ZodString>;
+                binary_role: z.ZodString;
+                role_confidence: z.ZodNumber;
+                runtime_hint: z.ZodObject<{
+                    is_dotnet: z.ZodNullable<z.ZodBoolean>;
+                    dotnet_version: z.ZodNullable<z.ZodString>;
+                    target_framework: z.ZodNullable<z.ZodString>;
+                    primary_runtime: z.ZodNullable<z.ZodString>;
+                }, "strip", z.ZodTypeAny, {
+                    is_dotnet: boolean | null;
+                    dotnet_version: string | null;
+                    target_framework: string | null;
+                    primary_runtime: string | null;
+                }, {
+                    is_dotnet: boolean | null;
+                    dotnet_version: string | null;
+                    target_framework: string | null;
+                    primary_runtime: string | null;
+                }>;
+                export_surface: z.ZodObject<{
+                    total_exports: z.ZodNumber;
+                    total_forwarders: z.ZodNumber;
+                    notable_exports: z.ZodArray<z.ZodString, "many">;
+                    com_related_exports: z.ZodArray<z.ZodString, "many">;
+                    service_related_exports: z.ZodArray<z.ZodString, "many">;
+                    plugin_related_exports: z.ZodArray<z.ZodString, "many">;
+                    forwarded_exports: z.ZodArray<z.ZodString, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    total_exports: number;
+                    total_forwarders: number;
+                    notable_exports: string[];
+                    com_related_exports: string[];
+                    service_related_exports: string[];
+                    plugin_related_exports: string[];
+                    forwarded_exports: string[];
+                }, {
+                    total_exports: number;
+                    total_forwarders: number;
+                    notable_exports: string[];
+                    com_related_exports: string[];
+                    service_related_exports: string[];
+                    plugin_related_exports: string[];
+                    forwarded_exports: string[];
+                }>;
+                import_surface: z.ZodObject<{
+                    dll_count: z.ZodNumber;
+                    notable_dlls: z.ZodArray<z.ZodString, "many">;
+                    com_related_imports: z.ZodArray<z.ZodString, "many">;
+                    service_related_imports: z.ZodArray<z.ZodString, "many">;
+                    network_related_imports: z.ZodArray<z.ZodString, "many">;
+                    process_related_imports: z.ZodArray<z.ZodString, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    dll_count: number;
+                    notable_dlls: string[];
+                    com_related_imports: string[];
+                    service_related_imports: string[];
+                    network_related_imports: string[];
+                    process_related_imports: string[];
+                }, {
+                    dll_count: number;
+                    notable_dlls: string[];
+                    com_related_imports: string[];
+                    service_related_imports: string[];
+                    network_related_imports: string[];
+                    process_related_imports: string[];
+                }>;
+                packed: z.ZodBoolean;
+                packing_confidence: z.ZodNumber;
+                indicators: z.ZodObject<{
+                    com_server: z.ZodObject<{
+                        likely: z.ZodBoolean;
+                        confidence: z.ZodNumber;
+                        evidence: z.ZodArray<z.ZodString, "many">;
+                    }, "strip", z.ZodTypeAny, {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    }, {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    }>;
+                    service_binary: z.ZodObject<{
+                        likely: z.ZodBoolean;
+                        confidence: z.ZodNumber;
+                        evidence: z.ZodArray<z.ZodString, "many">;
+                    }, "strip", z.ZodTypeAny, {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    }, {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    }>;
+                    plugin_binary: z.ZodObject<{
+                        likely: z.ZodBoolean;
+                        confidence: z.ZodNumber;
+                        evidence: z.ZodArray<z.ZodString, "many">;
+                    }, "strip", z.ZodTypeAny, {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    }, {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    }>;
+                    driver_binary: z.ZodObject<{
+                        likely: z.ZodBoolean;
+                        confidence: z.ZodNumber;
+                        evidence: z.ZodArray<z.ZodString, "many">;
+                    }, "strip", z.ZodTypeAny, {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    }, {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    }>;
+                }, "strip", z.ZodTypeAny, {
+                    com_server: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    service_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    plugin_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    driver_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                }, {
+                    com_server: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    service_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    plugin_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    driver_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                }>;
+                export_dispatch_profile: z.ZodObject<{
+                    command_like_exports: z.ZodArray<z.ZodString, "many">;
+                    callback_like_exports: z.ZodArray<z.ZodString, "many">;
+                    registration_exports: z.ZodArray<z.ZodString, "many">;
+                    ordinal_only_exports: z.ZodNumber;
+                    likely_dispatch_model: z.ZodString;
+                    confidence: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    confidence: number;
+                    command_like_exports: string[];
+                    callback_like_exports: string[];
+                    registration_exports: string[];
+                    ordinal_only_exports: number;
+                    likely_dispatch_model: string;
+                }, {
+                    confidence: number;
+                    command_like_exports: string[];
+                    callback_like_exports: string[];
+                    registration_exports: string[];
+                    ordinal_only_exports: number;
+                    likely_dispatch_model: string;
+                }>;
+                lifecycle_surface: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                com_profile: z.ZodObject<{
+                    clsid_strings: z.ZodArray<z.ZodString, "many">;
+                    progid_strings: z.ZodArray<z.ZodString, "many">;
+                    interface_hints: z.ZodArray<z.ZodString, "many">;
+                    registration_strings: z.ZodArray<z.ZodString, "many">;
+                    class_factory_exports: z.ZodArray<z.ZodString, "many">;
+                    class_factory_surface: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                    confidence: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    confidence: number;
+                    clsid_strings: string[];
+                    progid_strings: string[];
+                    interface_hints: string[];
+                    registration_strings: string[];
+                    class_factory_exports: string[];
+                    class_factory_surface: string[];
+                }, {
+                    confidence: number;
+                    clsid_strings: string[];
+                    progid_strings: string[];
+                    interface_hints: string[];
+                    registration_strings: string[];
+                    class_factory_exports: string[];
+                    class_factory_surface?: string[] | undefined;
+                }>;
+                host_interaction_profile: z.ZodObject<{
+                    likely_hosted: z.ZodBoolean;
+                    host_hints: z.ZodArray<z.ZodString, "many">;
+                    callback_exports: z.ZodArray<z.ZodString, "many">;
+                    callback_surface: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                    callback_strings: z.ZodArray<z.ZodString, "many">;
+                    service_hooks: z.ZodArray<z.ZodString, "many">;
+                    confidence: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    confidence: number;
+                    callback_surface: string[];
+                    likely_hosted: boolean;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                    service_hooks: string[];
+                }, {
+                    confidence: number;
+                    likely_hosted: boolean;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                    service_hooks: string[];
+                    callback_surface?: string[] | undefined;
+                }>;
+                analysis_priorities: z.ZodArray<z.ZodString, "many">;
+                strings_considered: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                sample_id: string;
+                indicators: {
+                    com_server: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    service_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    plugin_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    driver_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                };
+                export_surface: {
+                    total_exports: number;
+                    total_forwarders: number;
+                    notable_exports: string[];
+                    com_related_exports: string[];
+                    service_related_exports: string[];
+                    plugin_related_exports: string[];
+                    forwarded_exports: string[];
+                };
+                packed: boolean;
+                binary_role: string;
+                original_filename: string | null;
+                packing_confidence: number;
+                analysis_priorities: string[];
+                role_confidence: number;
+                runtime_hint: {
+                    is_dotnet: boolean | null;
+                    dotnet_version: string | null;
+                    target_framework: string | null;
+                    primary_runtime: string | null;
+                };
+                import_surface: {
+                    dll_count: number;
+                    notable_dlls: string[];
+                    com_related_imports: string[];
+                    service_related_imports: string[];
+                    network_related_imports: string[];
+                    process_related_imports: string[];
+                };
+                export_dispatch_profile: {
+                    confidence: number;
+                    command_like_exports: string[];
+                    callback_like_exports: string[];
+                    registration_exports: string[];
+                    ordinal_only_exports: number;
+                    likely_dispatch_model: string;
+                };
+                lifecycle_surface: string[];
+                com_profile: {
+                    confidence: number;
+                    clsid_strings: string[];
+                    progid_strings: string[];
+                    interface_hints: string[];
+                    registration_strings: string[];
+                    class_factory_exports: string[];
+                    class_factory_surface: string[];
+                };
+                host_interaction_profile: {
+                    confidence: number;
+                    callback_surface: string[];
+                    likely_hosted: boolean;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                    service_hooks: string[];
+                };
+                strings_considered: number;
+            }, {
+                sample_id: string;
+                indicators: {
+                    com_server: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    service_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    plugin_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    driver_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                };
+                export_surface: {
+                    total_exports: number;
+                    total_forwarders: number;
+                    notable_exports: string[];
+                    com_related_exports: string[];
+                    service_related_exports: string[];
+                    plugin_related_exports: string[];
+                    forwarded_exports: string[];
+                };
+                packed: boolean;
+                binary_role: string;
+                original_filename: string | null;
+                packing_confidence: number;
+                analysis_priorities: string[];
+                role_confidence: number;
+                runtime_hint: {
+                    is_dotnet: boolean | null;
+                    dotnet_version: string | null;
+                    target_framework: string | null;
+                    primary_runtime: string | null;
+                };
+                import_surface: {
+                    dll_count: number;
+                    notable_dlls: string[];
+                    com_related_imports: string[];
+                    service_related_imports: string[];
+                    network_related_imports: string[];
+                    process_related_imports: string[];
+                };
+                export_dispatch_profile: {
+                    confidence: number;
+                    command_like_exports: string[];
+                    callback_like_exports: string[];
+                    registration_exports: string[];
+                    ordinal_only_exports: number;
+                    likely_dispatch_model: string;
+                };
+                com_profile: {
+                    confidence: number;
+                    clsid_strings: string[];
+                    progid_strings: string[];
+                    interface_hints: string[];
+                    registration_strings: string[];
+                    class_factory_exports: string[];
+                    class_factory_surface?: string[] | undefined;
+                };
+                host_interaction_profile: {
+                    confidence: number;
+                    likely_hosted: boolean;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                    service_hooks: string[];
+                    callback_surface?: string[] | undefined;
+                };
+                strings_considered: number;
+                lifecycle_surface?: string[] | undefined;
+            }>>;
+            dll_profile: z.ZodNullable<z.ZodObject<{
+                library_like: z.ZodBoolean;
+                role_confidence: z.ZodNumber;
+                likely_entry_model: z.ZodString;
+                dll_entry_hints: z.ZodArray<z.ZodString, "many">;
+                dispatch_model: z.ZodString;
+                host_hints: z.ZodArray<z.ZodString, "many">;
+                lifecycle_surface: z.ZodObject<{
+                    lifecycle_exports: z.ZodArray<z.ZodString, "many">;
+                    lifecycle_imports: z.ZodArray<z.ZodString, "many">;
+                    attach_detach_strings: z.ZodArray<z.ZodString, "many">;
+                    confidence: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    confidence: number;
+                    lifecycle_exports: string[];
+                    lifecycle_imports: string[];
+                    attach_detach_strings: string[];
+                }, {
+                    confidence: number;
+                    lifecycle_exports: string[];
+                    lifecycle_imports: string[];
+                    attach_detach_strings: string[];
+                }>;
+                class_factory_surface: z.ZodObject<{
+                    class_factory_exports: z.ZodArray<z.ZodString, "many">;
+                    activation_markers: z.ZodArray<z.ZodString, "many">;
+                    confidence: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    confidence: number;
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                }, {
+                    confidence: number;
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                }>;
+                callback_surface: z.ZodObject<{
+                    callback_exports: z.ZodArray<z.ZodString, "many">;
+                    callback_strings: z.ZodArray<z.ZodString, "many">;
+                    host_hints: z.ZodArray<z.ZodString, "many">;
+                    confidence: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    confidence: number;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                }, {
+                    confidence: number;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                }>;
+                analysis_priorities: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                callback_surface: {
+                    confidence: number;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                };
+                analysis_priorities: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                host_hints: string[];
+                role_confidence: number;
+                lifecycle_surface: {
+                    confidence: number;
+                    lifecycle_exports: string[];
+                    lifecycle_imports: string[];
+                    attach_detach_strings: string[];
+                };
+                library_like: boolean;
+                dll_entry_hints: string[];
+                likely_entry_model: string;
+                dispatch_model: string;
+            }, {
+                callback_surface: {
+                    confidence: number;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                };
+                analysis_priorities: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                host_hints: string[];
+                role_confidence: number;
+                lifecycle_surface: {
+                    confidence: number;
+                    lifecycle_exports: string[];
+                    lifecycle_imports: string[];
+                    attach_detach_strings: string[];
+                };
+                library_like: boolean;
+                dll_entry_hints: string[];
+                likely_entry_model: string;
+                dispatch_model: string;
+            }>>;
+            com_profile: z.ZodNullable<z.ZodObject<{
+                likely_com_server: z.ZodBoolean;
+                com_confidence: z.ZodNumber;
+                activation_model: z.ZodString;
+                class_factory_exports: z.ZodArray<z.ZodString, "many">;
+                registration_exports: z.ZodArray<z.ZodString, "many">;
+                clsid_strings: z.ZodArray<z.ZodString, "many">;
+                progid_strings: z.ZodArray<z.ZodString, "many">;
+                interface_hints: z.ZodArray<z.ZodString, "many">;
+                class_factory_surface: z.ZodObject<{
+                    class_factory_exports: z.ZodArray<z.ZodString, "many">;
+                    activation_markers: z.ZodArray<z.ZodString, "many">;
+                    interface_hints: z.ZodArray<z.ZodString, "many">;
+                    confidence: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    confidence: number;
+                    interface_hints: string[];
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                }, {
+                    confidence: number;
+                    interface_hints: string[];
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                }>;
+                activation_steps: z.ZodArray<z.ZodString, "many">;
+                analysis_priorities: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                analysis_priorities: string[];
+                registration_exports: string[];
+                clsid_strings: string[];
+                progid_strings: string[];
+                interface_hints: string[];
+                class_factory_exports: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    interface_hints: string[];
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                likely_com_server: boolean;
+                com_confidence: number;
+                activation_steps: string[];
+                activation_model: string;
+            }, {
+                analysis_priorities: string[];
+                registration_exports: string[];
+                clsid_strings: string[];
+                progid_strings: string[];
+                interface_hints: string[];
+                class_factory_exports: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    interface_hints: string[];
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                likely_com_server: boolean;
+                com_confidence: number;
+                activation_steps: string[];
+                activation_model: string;
+            }>>;
+            rust_profile: z.ZodNullable<z.ZodObject<{
+                suspected_rust: z.ZodBoolean;
+                confidence: z.ZodNumber;
+                primary_runtime: z.ZodNullable<z.ZodString>;
+                runtime_hints: z.ZodArray<z.ZodString, "many">;
+                crate_hints: z.ZodArray<z.ZodString, "many">;
+                cargo_paths: z.ZodArray<z.ZodString, "many">;
+                recovered_function_count: z.ZodNumber;
+                recovered_symbol_count: z.ZodNumber;
+                importable_with_code_functions_define: z.ZodBoolean;
+                analysis_priorities: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                confidence: number;
+                cargo_paths: string[];
+                primary_runtime: string | null;
+                analysis_priorities: string[];
+                crate_hints: string[];
+                runtime_hints: string[];
+                suspected_rust: boolean;
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                importable_with_code_functions_define: boolean;
+            }, {
+                confidence: number;
+                cargo_paths: string[];
+                primary_runtime: string | null;
+                analysis_priorities: string[];
+                crate_hints: string[];
+                runtime_hints: string[];
+                suspected_rust: boolean;
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                importable_with_code_functions_define: boolean;
+            }>>;
+            function_index_recovery: z.ZodNullable<z.ZodObject<{
+                applied: z.ZodBoolean;
+                define_from: z.ZodNullable<z.ZodEnum<["smart_recover", "symbols_recover"]>>;
+                recovered_function_count: z.ZodNumber;
+                recovered_symbol_count: z.ZodNumber;
+                imported_count: z.ZodNumber;
+                function_index_status: z.ZodNullable<z.ZodEnum<["ready"]>>;
+                decompile_status: z.ZodNullable<z.ZodEnum<["missing"]>>;
+                cfg_status: z.ZodNullable<z.ZodEnum<["missing"]>>;
+                recovery_strategy: z.ZodArray<z.ZodString, "many">;
+                next_steps: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                next_steps: string[];
+                imported_count: number;
+                function_index_status: "ready" | null;
+                decompile_status: "missing" | null;
+                cfg_status: "missing" | null;
+                define_from: "smart_recover" | "symbols_recover" | null;
+                recovery_strategy: string[];
+                applied: boolean;
+            }, {
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                next_steps: string[];
+                imported_count: number;
+                function_index_status: "ready" | null;
+                decompile_status: "missing" | null;
+                cfg_status: "missing" | null;
+                define_from: "smart_recover" | "symbols_recover" | null;
+                recovery_strategy: string[];
+                applied: boolean;
+            }>>;
+            role_strategy: z.ZodNullable<z.ZodObject<{
+                target_role: z.ZodString;
+                priority_order: z.ZodArray<z.ZodString, "many">;
+                focus_areas: z.ZodArray<z.ZodString, "many">;
+                rationale: z.ZodArray<z.ZodString, "many">;
+                export_tuning: z.ZodObject<{
+                    topk: z.ZodNumber;
+                    module_limit: z.ZodNumber;
+                    min_module_size: z.ZodNumber;
+                    include_imports: z.ZodBoolean;
+                    include_strings: z.ZodBoolean;
+                }, "strip", z.ZodTypeAny, {
+                    include_strings: boolean;
+                    topk: number;
+                    module_limit: number;
+                    min_module_size: number;
+                    include_imports: boolean;
+                }, {
+                    include_strings: boolean;
+                    topk: number;
+                    module_limit: number;
+                    min_module_size: number;
+                    include_imports: boolean;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                focus_areas: string[];
+                target_role: string;
+                priority_order: string[];
+                rationale: string[];
+                export_tuning: {
+                    include_strings: boolean;
+                    topk: number;
+                    module_limit: number;
+                    min_module_size: number;
+                    include_imports: boolean;
+                };
+            }, {
+                focus_areas: string[];
+                target_role: string;
+                priority_order: string[];
+                rationale: string[];
+                export_tuning: {
+                    include_strings: boolean;
+                    topk: number;
+                    module_limit: number;
+                    min_module_size: number;
+                    include_imports: boolean;
+                };
+            }>>;
+        }, "strip", z.ZodTypeAny, {
+            binary_profile: {
+                sample_id: string;
+                indicators: {
+                    com_server: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    service_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    plugin_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    driver_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                };
+                export_surface: {
+                    total_exports: number;
+                    total_forwarders: number;
+                    notable_exports: string[];
+                    com_related_exports: string[];
+                    service_related_exports: string[];
+                    plugin_related_exports: string[];
+                    forwarded_exports: string[];
+                };
+                packed: boolean;
+                binary_role: string;
+                original_filename: string | null;
+                packing_confidence: number;
+                analysis_priorities: string[];
+                role_confidence: number;
+                runtime_hint: {
+                    is_dotnet: boolean | null;
+                    dotnet_version: string | null;
+                    target_framework: string | null;
+                    primary_runtime: string | null;
+                };
+                import_surface: {
+                    dll_count: number;
+                    notable_dlls: string[];
+                    com_related_imports: string[];
+                    service_related_imports: string[];
+                    network_related_imports: string[];
+                    process_related_imports: string[];
+                };
+                export_dispatch_profile: {
+                    confidence: number;
+                    command_like_exports: string[];
+                    callback_like_exports: string[];
+                    registration_exports: string[];
+                    ordinal_only_exports: number;
+                    likely_dispatch_model: string;
+                };
+                lifecycle_surface: string[];
+                com_profile: {
+                    confidence: number;
+                    clsid_strings: string[];
+                    progid_strings: string[];
+                    interface_hints: string[];
+                    registration_strings: string[];
+                    class_factory_exports: string[];
+                    class_factory_surface: string[];
+                };
+                host_interaction_profile: {
+                    confidence: number;
+                    callback_surface: string[];
+                    likely_hosted: boolean;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                    service_hooks: string[];
+                };
+                strings_considered: number;
+            } | null;
+            com_profile: {
+                analysis_priorities: string[];
+                registration_exports: string[];
+                clsid_strings: string[];
+                progid_strings: string[];
+                interface_hints: string[];
+                class_factory_exports: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    interface_hints: string[];
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                likely_com_server: boolean;
+                com_confidence: number;
+                activation_steps: string[];
+                activation_model: string;
+            } | null;
+            dll_profile: {
+                callback_surface: {
+                    confidence: number;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                };
+                analysis_priorities: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                host_hints: string[];
+                role_confidence: number;
+                lifecycle_surface: {
+                    confidence: number;
+                    lifecycle_exports: string[];
+                    lifecycle_imports: string[];
+                    attach_detach_strings: string[];
+                };
+                library_like: boolean;
+                dll_entry_hints: string[];
+                likely_entry_model: string;
+                dispatch_model: string;
+            } | null;
+            rust_profile: {
+                confidence: number;
+                cargo_paths: string[];
+                primary_runtime: string | null;
+                analysis_priorities: string[];
+                crate_hints: string[];
+                runtime_hints: string[];
+                suspected_rust: boolean;
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                importable_with_code_functions_define: boolean;
+            } | null;
+            function_index_recovery: {
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                next_steps: string[];
+                imported_count: number;
+                function_index_status: "ready" | null;
+                decompile_status: "missing" | null;
+                cfg_status: "missing" | null;
+                define_from: "smart_recover" | "symbols_recover" | null;
+                recovery_strategy: string[];
+                applied: boolean;
+            } | null;
+            role_strategy: {
+                focus_areas: string[];
+                target_role: string;
+                priority_order: string[];
+                rationale: string[];
+                export_tuning: {
+                    include_strings: boolean;
+                    topk: number;
+                    module_limit: number;
+                    min_module_size: number;
+                    include_imports: boolean;
+                };
+            } | null;
+        }, {
+            binary_profile: {
+                sample_id: string;
+                indicators: {
+                    com_server: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    service_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    plugin_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    driver_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                };
+                export_surface: {
+                    total_exports: number;
+                    total_forwarders: number;
+                    notable_exports: string[];
+                    com_related_exports: string[];
+                    service_related_exports: string[];
+                    plugin_related_exports: string[];
+                    forwarded_exports: string[];
+                };
+                packed: boolean;
+                binary_role: string;
+                original_filename: string | null;
+                packing_confidence: number;
+                analysis_priorities: string[];
+                role_confidence: number;
+                runtime_hint: {
+                    is_dotnet: boolean | null;
+                    dotnet_version: string | null;
+                    target_framework: string | null;
+                    primary_runtime: string | null;
+                };
+                import_surface: {
+                    dll_count: number;
+                    notable_dlls: string[];
+                    com_related_imports: string[];
+                    service_related_imports: string[];
+                    network_related_imports: string[];
+                    process_related_imports: string[];
+                };
+                export_dispatch_profile: {
+                    confidence: number;
+                    command_like_exports: string[];
+                    callback_like_exports: string[];
+                    registration_exports: string[];
+                    ordinal_only_exports: number;
+                    likely_dispatch_model: string;
+                };
+                com_profile: {
+                    confidence: number;
+                    clsid_strings: string[];
+                    progid_strings: string[];
+                    interface_hints: string[];
+                    registration_strings: string[];
+                    class_factory_exports: string[];
+                    class_factory_surface?: string[] | undefined;
+                };
+                host_interaction_profile: {
+                    confidence: number;
+                    likely_hosted: boolean;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                    service_hooks: string[];
+                    callback_surface?: string[] | undefined;
+                };
+                strings_considered: number;
+                lifecycle_surface?: string[] | undefined;
+            } | null;
+            com_profile: {
+                analysis_priorities: string[];
+                registration_exports: string[];
+                clsid_strings: string[];
+                progid_strings: string[];
+                interface_hints: string[];
+                class_factory_exports: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    interface_hints: string[];
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                likely_com_server: boolean;
+                com_confidence: number;
+                activation_steps: string[];
+                activation_model: string;
+            } | null;
+            dll_profile: {
+                callback_surface: {
+                    confidence: number;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                };
+                analysis_priorities: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                host_hints: string[];
+                role_confidence: number;
+                lifecycle_surface: {
+                    confidence: number;
+                    lifecycle_exports: string[];
+                    lifecycle_imports: string[];
+                    attach_detach_strings: string[];
+                };
+                library_like: boolean;
+                dll_entry_hints: string[];
+                likely_entry_model: string;
+                dispatch_model: string;
+            } | null;
+            rust_profile: {
+                confidence: number;
+                cargo_paths: string[];
+                primary_runtime: string | null;
+                analysis_priorities: string[];
+                crate_hints: string[];
+                runtime_hints: string[];
+                suspected_rust: boolean;
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                importable_with_code_functions_define: boolean;
+            } | null;
+            function_index_recovery: {
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                next_steps: string[];
+                imported_count: number;
+                function_index_status: "ready" | null;
+                decompile_status: "missing" | null;
+                cfg_status: "missing" | null;
+                define_from: "smart_recover" | "symbols_recover" | null;
+                recovery_strategy: string[];
+                applied: boolean;
+            } | null;
+            role_strategy: {
+                focus_areas: string[];
+                target_role: string;
+                priority_order: string[];
+                rationale: string[];
+                export_tuning: {
+                    include_strings: boolean;
+                    topk: number;
+                    module_limit: number;
+                    min_module_size: number;
+                    include_imports: boolean;
+                };
+            } | null;
+        }>>;
         plan: z.ZodNullable<z.ZodObject<{
             feasibility: z.ZodEnum<["high", "medium", "low"]>;
             confidence: z.ZodNumber;
@@ -1073,7 +2176,8 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 resources: z.ZodArray<z.ZodString, "many">;
                 analysis_priorities: z.ZodArray<z.ZodString, "many">;
             }, "strip", z.ZodTypeAny, {
-                resources: string[];
+                module_name: string | null;
+                analysis_priorities: string[];
                 method_count: number;
                 type_count: number;
                 namespace_count: number;
@@ -1081,16 +2185,16 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 resource_count: number;
                 assembly_name: string | null;
                 assembly_version: string | null;
-                module_name: string | null;
                 metadata_version: string | null;
                 is_library: boolean;
                 entry_point_token: string | null;
                 assembly_references: string[];
-                analysis_priorities: string[];
+                resources: string[];
                 dominant_namespaces: string[];
                 notable_types: string[];
             }, {
-                resources: string[];
+                module_name: string | null;
+                analysis_priorities: string[];
                 method_count: number;
                 type_count: number;
                 namespace_count: number;
@@ -1098,12 +2202,11 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 resource_count: number;
                 assembly_name: string | null;
                 assembly_version: string | null;
-                module_name: string | null;
                 metadata_version: string | null;
                 is_library: boolean;
                 entry_point_token: string | null;
                 assembly_references: string[];
-                analysis_priorities: string[];
+                resources: string[];
                 dominant_namespaces: string[];
                 notable_types: string[];
             }>>;
@@ -1132,7 +2235,8 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             fallback_notes_path: string | null;
             degraded_mode: boolean | null;
             managed_profile: {
-                resources: string[];
+                module_name: string | null;
+                analysis_priorities: string[];
                 method_count: number;
                 type_count: number;
                 namespace_count: number;
@@ -1140,12 +2244,11 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 resource_count: number;
                 assembly_name: string | null;
                 assembly_version: string | null;
-                module_name: string | null;
                 metadata_version: string | null;
                 is_library: boolean;
                 entry_point_token: string | null;
                 assembly_references: string[];
-                analysis_priorities: string[];
+                resources: string[];
                 dominant_namespaces: string[];
                 notable_types: string[];
             } | null;
@@ -1179,7 +2282,8 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             fallback_notes_path: string | null;
             degraded_mode: boolean | null;
             managed_profile: {
-                resources: string[];
+                module_name: string | null;
+                analysis_priorities: string[];
                 method_count: number;
                 type_count: number;
                 namespace_count: number;
@@ -1187,12 +2291,11 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 resource_count: number;
                 assembly_name: string | null;
                 assembly_version: string | null;
-                module_name: string | null;
                 metadata_version: string | null;
                 is_library: boolean;
                 entry_point_token: string | null;
                 assembly_references: string[];
-                analysis_priorities: string[];
+                resources: string[];
                 dominant_namespaces: string[];
                 notable_types: string[];
             } | null;
@@ -1213,52 +2316,6 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             primary_runtime: string | null;
         };
         degraded: boolean;
-        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;
-        };
-        selected_path: "dotnet" | "native";
-        stage_status: {
-            runtime: "failed" | "ok";
-            plan: "failed" | "ok" | "skipped";
-            export_primary: "failed" | "ok" | "skipped";
-            export_fallback: "failed" | "ok" | "skipped";
-        };
-        plan: {
-            confidence: number;
-            feasibility: "high" | "low" | "medium";
-            restoration_expectation: string;
-            blockers: string[];
-            recommendations: string[];
-        } | null;
         export: {
             tool: "code.reconstruct.export" | "dotnet.reconstruct.export";
             executable_path: string | null;
@@ -1284,7 +2341,8 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             fallback_notes_path: string | null;
             degraded_mode: boolean | null;
             managed_profile: {
-                resources: string[];
+                module_name: string | null;
+                analysis_priorities: string[];
                 method_count: number;
                 type_count: number;
                 namespace_count: number;
@@ -1292,12 +2350,11 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 resource_count: number;
                 assembly_name: string | null;
                 assembly_version: string | null;
-                module_name: string | null;
                 metadata_version: string | null;
                 is_library: boolean;
                 entry_point_token: string | null;
                 assembly_references: string[];
-                analysis_priorities: string[];
+                resources: string[];
                 dominant_namespaces: string[];
                 notable_types: string[];
             } | null;
@@ -1307,6 +2364,67 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             harness_log_path: string | null;
             class_count: number | null;
         } | null;
+        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_module_reviews?: {
+                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_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;
+        };
+        selected_path: "dotnet" | "native";
+        stage_status: {
+            runtime: "failed" | "ok";
+            function_index_recovery: "failed" | "ok" | "skipped";
+            preflight_binary_profile: "failed" | "ok" | "skipped";
+            preflight_dll_profile: "failed" | "ok" | "skipped";
+            preflight_com_profile: "failed" | "ok" | "skipped";
+            preflight_rust_profile: "failed" | "ok" | "skipped";
+            plan: "failed" | "ok" | "skipped";
+            export_primary: "failed" | "ok" | "skipped";
+            export_fallback: "failed" | "ok" | "skipped";
+        };
+        plan: {
+            confidence: number;
+            feasibility: "high" | "low" | "medium";
+            restoration_expectation: string;
+            blockers: string[];
+            recommendations: string[];
+        } | null;
         selection_diffs?: {
             runtime?: {
                 summary: string;
@@ -1396,6 +2514,171 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 artifact_count_delta: number;
             } | undefined;
         } | undefined;
+        preflight?: {
+            binary_profile: {
+                sample_id: string;
+                indicators: {
+                    com_server: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    service_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    plugin_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    driver_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                };
+                export_surface: {
+                    total_exports: number;
+                    total_forwarders: number;
+                    notable_exports: string[];
+                    com_related_exports: string[];
+                    service_related_exports: string[];
+                    plugin_related_exports: string[];
+                    forwarded_exports: string[];
+                };
+                packed: boolean;
+                binary_role: string;
+                original_filename: string | null;
+                packing_confidence: number;
+                analysis_priorities: string[];
+                role_confidence: number;
+                runtime_hint: {
+                    is_dotnet: boolean | null;
+                    dotnet_version: string | null;
+                    target_framework: string | null;
+                    primary_runtime: string | null;
+                };
+                import_surface: {
+                    dll_count: number;
+                    notable_dlls: string[];
+                    com_related_imports: string[];
+                    service_related_imports: string[];
+                    network_related_imports: string[];
+                    process_related_imports: string[];
+                };
+                export_dispatch_profile: {
+                    confidence: number;
+                    command_like_exports: string[];
+                    callback_like_exports: string[];
+                    registration_exports: string[];
+                    ordinal_only_exports: number;
+                    likely_dispatch_model: string;
+                };
+                lifecycle_surface: string[];
+                com_profile: {
+                    confidence: number;
+                    clsid_strings: string[];
+                    progid_strings: string[];
+                    interface_hints: string[];
+                    registration_strings: string[];
+                    class_factory_exports: string[];
+                    class_factory_surface: string[];
+                };
+                host_interaction_profile: {
+                    confidence: number;
+                    callback_surface: string[];
+                    likely_hosted: boolean;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                    service_hooks: string[];
+                };
+                strings_considered: number;
+            } | null;
+            com_profile: {
+                analysis_priorities: string[];
+                registration_exports: string[];
+                clsid_strings: string[];
+                progid_strings: string[];
+                interface_hints: string[];
+                class_factory_exports: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    interface_hints: string[];
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                likely_com_server: boolean;
+                com_confidence: number;
+                activation_steps: string[];
+                activation_model: string;
+            } | null;
+            dll_profile: {
+                callback_surface: {
+                    confidence: number;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                };
+                analysis_priorities: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                host_hints: string[];
+                role_confidence: number;
+                lifecycle_surface: {
+                    confidence: number;
+                    lifecycle_exports: string[];
+                    lifecycle_imports: string[];
+                    attach_detach_strings: string[];
+                };
+                library_like: boolean;
+                dll_entry_hints: string[];
+                likely_entry_model: string;
+                dispatch_model: string;
+            } | null;
+            rust_profile: {
+                confidence: number;
+                cargo_paths: string[];
+                primary_runtime: string | null;
+                analysis_priorities: string[];
+                crate_hints: string[];
+                runtime_hints: string[];
+                suspected_rust: boolean;
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                importable_with_code_functions_define: boolean;
+            } | null;
+            function_index_recovery: {
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                next_steps: string[];
+                imported_count: number;
+                function_index_status: "ready" | null;
+                decompile_status: "missing" | null;
+                cfg_status: "missing" | null;
+                define_from: "smart_recover" | "symbols_recover" | null;
+                recovery_strategy: string[];
+                applied: boolean;
+            } | null;
+            role_strategy: {
+                focus_areas: string[];
+                target_role: string;
+                priority_order: string[];
+                rationale: string[];
+                export_tuning: {
+                    include_strings: boolean;
+                    topk: number;
+                    module_limit: number;
+                    min_module_size: number;
+                    include_imports: boolean;
+                };
+            } | null;
+        } | undefined;
     }, {
         sample_id: string;
         notes: string[];
@@ -1406,6 +2689,54 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             primary_runtime: string | null;
         };
         degraded: boolean;
+        export: {
+            tool: "code.reconstruct.export" | "dotnet.reconstruct.export";
+            executable_path: string | null;
+            export_root: string;
+            manifest_path: string | null;
+            gaps_path: string | null;
+            notes_path: string | null;
+            module_count: number | null;
+            unresolved_count: number | null;
+            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[];
+            } | null;
+            csproj_path: string | null;
+            readme_path: string | null;
+            metadata_path: string | null;
+            fallback_notes_path: string | null;
+            degraded_mode: boolean | null;
+            managed_profile: {
+                module_name: string | null;
+                analysis_priorities: string[];
+                method_count: number;
+                type_count: number;
+                namespace_count: number;
+                assembly_reference_count: number;
+                resource_count: number;
+                assembly_name: string | null;
+                assembly_version: string | null;
+                metadata_version: string | null;
+                is_library: boolean;
+                entry_point_token: string | null;
+                assembly_references: string[];
+                resources: string[];
+                dominant_namespaces: string[];
+                notable_types: string[];
+            } | null;
+            build_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
+            harness_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
+            build_log_path: string | null;
+            harness_log_path: string | null;
+            class_count: number | null;
+        } | null;
         provenance: {
             runtime: {
                 artifact_count: number;
@@ -1417,6 +2748,16 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 earliest_artifact_at: string | null;
                 latest_artifact_at: string | null;
             };
+            semantic_module_reviews?: {
+                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_names?: {
                 artifact_count: number;
                 scope_note: string;
@@ -1441,6 +2782,11 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
         selected_path: "dotnet" | "native";
         stage_status: {
             runtime: "failed" | "ok";
+            function_index_recovery: "failed" | "ok" | "skipped";
+            preflight_binary_profile: "failed" | "ok" | "skipped";
+            preflight_dll_profile: "failed" | "ok" | "skipped";
+            preflight_com_profile: "failed" | "ok" | "skipped";
+            preflight_rust_profile: "failed" | "ok" | "skipped";
             plan: "failed" | "ok" | "skipped";
             export_primary: "failed" | "ok" | "skipped";
             export_fallback: "failed" | "ok" | "skipped";
@@ -1452,54 +2798,6 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             blockers: string[];
             recommendations: string[];
         } | null;
-        export: {
-            tool: "code.reconstruct.export" | "dotnet.reconstruct.export";
-            executable_path: string | null;
-            export_root: string;
-            manifest_path: string | null;
-            gaps_path: string | null;
-            notes_path: string | null;
-            module_count: number | null;
-            unresolved_count: number | null;
-            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[];
-            } | null;
-            csproj_path: string | null;
-            readme_path: string | null;
-            metadata_path: string | null;
-            fallback_notes_path: string | null;
-            degraded_mode: boolean | null;
-            managed_profile: {
-                resources: string[];
-                method_count: number;
-                type_count: number;
-                namespace_count: number;
-                assembly_reference_count: number;
-                resource_count: number;
-                assembly_name: string | null;
-                assembly_version: string | null;
-                module_name: string | null;
-                metadata_version: string | null;
-                is_library: boolean;
-                entry_point_token: string | null;
-                assembly_references: string[];
-                analysis_priorities: string[];
-                dominant_namespaces: string[];
-                notable_types: string[];
-            } | null;
-            build_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
-            harness_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
-            build_log_path: string | null;
-            harness_log_path: string | null;
-            class_count: number | null;
-        } | null;
         selection_diffs?: {
             runtime?: {
                 summary: string;
@@ -1589,9 +2887,251 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 artifact_count_delta: number;
             } | undefined;
         } | undefined;
-    }>>;
+        preflight?: {
+            binary_profile: {
+                sample_id: string;
+                indicators: {
+                    com_server: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    service_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    plugin_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    driver_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                };
+                export_surface: {
+                    total_exports: number;
+                    total_forwarders: number;
+                    notable_exports: string[];
+                    com_related_exports: string[];
+                    service_related_exports: string[];
+                    plugin_related_exports: string[];
+                    forwarded_exports: string[];
+                };
+                packed: boolean;
+                binary_role: string;
+                original_filename: string | null;
+                packing_confidence: number;
+                analysis_priorities: string[];
+                role_confidence: number;
+                runtime_hint: {
+                    is_dotnet: boolean | null;
+                    dotnet_version: string | null;
+                    target_framework: string | null;
+                    primary_runtime: string | null;
+                };
+                import_surface: {
+                    dll_count: number;
+                    notable_dlls: string[];
+                    com_related_imports: string[];
+                    service_related_imports: string[];
+                    network_related_imports: string[];
+                    process_related_imports: string[];
+                };
+                export_dispatch_profile: {
+                    confidence: number;
+                    command_like_exports: string[];
+                    callback_like_exports: string[];
+                    registration_exports: string[];
+                    ordinal_only_exports: number;
+                    likely_dispatch_model: string;
+                };
+                com_profile: {
+                    confidence: number;
+                    clsid_strings: string[];
+                    progid_strings: string[];
+                    interface_hints: string[];
+                    registration_strings: string[];
+                    class_factory_exports: string[];
+                    class_factory_surface?: string[] | undefined;
+                };
+                host_interaction_profile: {
+                    confidence: number;
+                    likely_hosted: boolean;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                    service_hooks: string[];
+                    callback_surface?: string[] | undefined;
+                };
+                strings_considered: number;
+                lifecycle_surface?: string[] | undefined;
+            } | null;
+            com_profile: {
+                analysis_priorities: string[];
+                registration_exports: string[];
+                clsid_strings: string[];
+                progid_strings: string[];
+                interface_hints: string[];
+                class_factory_exports: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    interface_hints: string[];
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                likely_com_server: boolean;
+                com_confidence: number;
+                activation_steps: string[];
+                activation_model: string;
+            } | null;
+            dll_profile: {
+                callback_surface: {
+                    confidence: number;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                };
+                analysis_priorities: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                host_hints: string[];
+                role_confidence: number;
+                lifecycle_surface: {
+                    confidence: number;
+                    lifecycle_exports: string[];
+                    lifecycle_imports: string[];
+                    attach_detach_strings: string[];
+                };
+                library_like: boolean;
+                dll_entry_hints: string[];
+                likely_entry_model: string;
+                dispatch_model: string;
+            } | null;
+            rust_profile: {
+                confidence: number;
+                cargo_paths: string[];
+                primary_runtime: string | null;
+                analysis_priorities: string[];
+                crate_hints: string[];
+                runtime_hints: string[];
+                suspected_rust: boolean;
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                importable_with_code_functions_define: boolean;
+            } | null;
+            function_index_recovery: {
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                next_steps: string[];
+                imported_count: number;
+                function_index_status: "ready" | null;
+                decompile_status: "missing" | null;
+                cfg_status: "missing" | null;
+                define_from: "smart_recover" | "symbols_recover" | null;
+                recovery_strategy: string[];
+                applied: boolean;
+            } | null;
+            role_strategy: {
+                focus_areas: string[];
+                target_role: string;
+                priority_order: string[];
+                rationale: string[];
+                export_tuning: {
+                    include_strings: boolean;
+                    topk: number;
+                    module_limit: number;
+                    min_module_size: number;
+                    include_imports: boolean;
+                };
+            } | null;
+        } | undefined;
+    }>, z.ZodObject<{
+        job_id: z.ZodString;
+        status: z.ZodLiteral<"queued">;
+        tool: z.ZodLiteral<"workflow.reconstruct">;
+        sample_id: z.ZodString;
+        requested_path: z.ZodEnum<["auto", "native", "dotnet"]>;
+        progress: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        status: "queued";
+        sample_id: string;
+        tool: "workflow.reconstruct";
+        progress: number;
+        job_id: string;
+        requested_path: "dotnet" | "native" | "auto";
+    }, {
+        status: "queued";
+        sample_id: string;
+        tool: "workflow.reconstruct";
+        progress: number;
+        job_id: string;
+        requested_path: "dotnet" | "native" | "auto";
+    }>]>>;
     warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     errors: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    setup_actions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        required: z.ZodBoolean;
+        kind: z.ZodEnum<["pip_install", "set_env", "provide_path", "verify_install"]>;
+        title: z.ZodString;
+        summary: z.ZodString;
+        command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        env_var: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        value_hint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        examples: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        applies_to: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        summary: string;
+        kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+        title: string;
+        required: boolean;
+        examples: string[];
+        applies_to: string[];
+        command?: string | null | undefined;
+        env_var?: string | null | undefined;
+        value_hint?: string | null | undefined;
+    }, {
+        id: string;
+        summary: string;
+        kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+        title: string;
+        required: boolean;
+        command?: string | null | undefined;
+        env_var?: string | null | undefined;
+        value_hint?: string | null | undefined;
+        examples?: string[] | undefined;
+        applies_to?: string[] | undefined;
+    }>, "many">>;
+    required_user_inputs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        label: z.ZodString;
+        summary: z.ZodString;
+        required: z.ZodBoolean;
+        env_vars: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        examples: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        summary: string;
+        label: string;
+        required: boolean;
+        examples: string[];
+        key: string;
+        env_vars: string[];
+    }, {
+        summary: string;
+        label: string;
+        required: boolean;
+        key: string;
+        examples?: string[] | undefined;
+        env_vars?: string[] | undefined;
+    }>, "many">>;
     artifacts: z.ZodOptional<z.ZodArray<z.ZodAny, "many">>;
     metrics: z.ZodOptional<z.ZodObject<{
         elapsed_ms: z.ZodNumber;
@@ -1623,17 +3163,14 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
     }>>;
 }, "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?: {
+        status: "queued";
+        sample_id: string;
+        tool: "workflow.reconstruct";
+        progress: number;
+        job_id: string;
+        requested_path: "dotnet" | "native" | "auto";
+    } | {
         sample_id: string;
         notes: string[];
         runtime: {
@@ -1643,6 +3180,54 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             primary_runtime: string | null;
         };
         degraded: boolean;
+        export: {
+            tool: "code.reconstruct.export" | "dotnet.reconstruct.export";
+            executable_path: string | null;
+            export_root: string;
+            manifest_path: string | null;
+            gaps_path: string | null;
+            notes_path: string | null;
+            module_count: number | null;
+            unresolved_count: number | null;
+            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[];
+            } | null;
+            csproj_path: string | null;
+            readme_path: string | null;
+            metadata_path: string | null;
+            fallback_notes_path: string | null;
+            degraded_mode: boolean | null;
+            managed_profile: {
+                module_name: string | null;
+                analysis_priorities: string[];
+                method_count: number;
+                type_count: number;
+                namespace_count: number;
+                assembly_reference_count: number;
+                resource_count: number;
+                assembly_name: string | null;
+                assembly_version: string | null;
+                metadata_version: string | null;
+                is_library: boolean;
+                entry_point_token: string | null;
+                assembly_references: string[];
+                resources: string[];
+                dominant_namespaces: string[];
+                notable_types: string[];
+            } | null;
+            build_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
+            harness_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
+            build_log_path: string | null;
+            harness_log_path: string | null;
+            class_count: number | null;
+        } | null;
         provenance: {
             runtime: {
                 artifact_count: number;
@@ -1654,6 +3239,16 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 earliest_artifact_at: string | null;
                 latest_artifact_at: string | null;
             };
+            semantic_module_reviews?: {
+                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_names?: {
                 artifact_count: number;
                 scope_note: string;
@@ -1678,6 +3273,11 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
         selected_path: "dotnet" | "native";
         stage_status: {
             runtime: "failed" | "ok";
+            function_index_recovery: "failed" | "ok" | "skipped";
+            preflight_binary_profile: "failed" | "ok" | "skipped";
+            preflight_dll_profile: "failed" | "ok" | "skipped";
+            preflight_com_profile: "failed" | "ok" | "skipped";
+            preflight_rust_profile: "failed" | "ok" | "skipped";
             plan: "failed" | "ok" | "skipped";
             export_primary: "failed" | "ok" | "skipped";
             export_fallback: "failed" | "ok" | "skipped";
@@ -1689,54 +3289,6 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             blockers: string[];
             recommendations: string[];
         } | null;
-        export: {
-            tool: "code.reconstruct.export" | "dotnet.reconstruct.export";
-            executable_path: string | null;
-            export_root: string;
-            manifest_path: string | null;
-            gaps_path: string | null;
-            notes_path: string | null;
-            module_count: number | null;
-            unresolved_count: number | null;
-            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[];
-            } | null;
-            csproj_path: string | null;
-            readme_path: string | null;
-            metadata_path: string | null;
-            fallback_notes_path: string | null;
-            degraded_mode: boolean | null;
-            managed_profile: {
-                resources: string[];
-                method_count: number;
-                type_count: number;
-                namespace_count: number;
-                assembly_reference_count: number;
-                resource_count: number;
-                assembly_name: string | null;
-                assembly_version: string | null;
-                module_name: string | null;
-                metadata_version: string | null;
-                is_library: boolean;
-                entry_point_token: string | null;
-                assembly_references: string[];
-                analysis_priorities: string[];
-                dominant_namespaces: string[];
-                notable_types: string[];
-            } | null;
-            build_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
-            harness_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
-            build_log_path: string | null;
-            harness_log_path: string | null;
-            class_count: number | null;
-        } | null;
         selection_diffs?: {
             runtime?: {
                 summary: string;
@@ -1826,12 +3378,172 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 artifact_count_delta: number;
             } | undefined;
         } | undefined;
+        preflight?: {
+            binary_profile: {
+                sample_id: string;
+                indicators: {
+                    com_server: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    service_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    plugin_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    driver_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                };
+                export_surface: {
+                    total_exports: number;
+                    total_forwarders: number;
+                    notable_exports: string[];
+                    com_related_exports: string[];
+                    service_related_exports: string[];
+                    plugin_related_exports: string[];
+                    forwarded_exports: string[];
+                };
+                packed: boolean;
+                binary_role: string;
+                original_filename: string | null;
+                packing_confidence: number;
+                analysis_priorities: string[];
+                role_confidence: number;
+                runtime_hint: {
+                    is_dotnet: boolean | null;
+                    dotnet_version: string | null;
+                    target_framework: string | null;
+                    primary_runtime: string | null;
+                };
+                import_surface: {
+                    dll_count: number;
+                    notable_dlls: string[];
+                    com_related_imports: string[];
+                    service_related_imports: string[];
+                    network_related_imports: string[];
+                    process_related_imports: string[];
+                };
+                export_dispatch_profile: {
+                    confidence: number;
+                    command_like_exports: string[];
+                    callback_like_exports: string[];
+                    registration_exports: string[];
+                    ordinal_only_exports: number;
+                    likely_dispatch_model: string;
+                };
+                lifecycle_surface: string[];
+                com_profile: {
+                    confidence: number;
+                    clsid_strings: string[];
+                    progid_strings: string[];
+                    interface_hints: string[];
+                    registration_strings: string[];
+                    class_factory_exports: string[];
+                    class_factory_surface: string[];
+                };
+                host_interaction_profile: {
+                    confidence: number;
+                    callback_surface: string[];
+                    likely_hosted: boolean;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                    service_hooks: string[];
+                };
+                strings_considered: number;
+            } | null;
+            com_profile: {
+                analysis_priorities: string[];
+                registration_exports: string[];
+                clsid_strings: string[];
+                progid_strings: string[];
+                interface_hints: string[];
+                class_factory_exports: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    interface_hints: string[];
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                likely_com_server: boolean;
+                com_confidence: number;
+                activation_steps: string[];
+                activation_model: string;
+            } | null;
+            dll_profile: {
+                callback_surface: {
+                    confidence: number;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                };
+                analysis_priorities: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                host_hints: string[];
+                role_confidence: number;
+                lifecycle_surface: {
+                    confidence: number;
+                    lifecycle_exports: string[];
+                    lifecycle_imports: string[];
+                    attach_detach_strings: string[];
+                };
+                library_like: boolean;
+                dll_entry_hints: string[];
+                likely_entry_model: string;
+                dispatch_model: string;
+            } | null;
+            rust_profile: {
+                confidence: number;
+                cargo_paths: string[];
+                primary_runtime: string | null;
+                analysis_priorities: string[];
+                crate_hints: string[];
+                runtime_hints: string[];
+                suspected_rust: boolean;
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                importable_with_code_functions_define: boolean;
+            } | null;
+            function_index_recovery: {
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                next_steps: string[];
+                imported_count: number;
+                function_index_status: "ready" | null;
+                decompile_status: "missing" | null;
+                cfg_status: "missing" | null;
+                define_from: "smart_recover" | "symbols_recover" | null;
+                recovery_strategy: string[];
+                applied: boolean;
+            } | null;
+            role_strategy: {
+                focus_areas: string[];
+                target_role: string;
+                priority_order: string[];
+                rationale: string[];
+                export_tuning: {
+                    include_strings: boolean;
+                    topk: number;
+                    module_limit: number;
+                    min_module_size: number;
+                    include_imports: boolean;
+                };
+            } | null;
+        } | undefined;
     } | undefined;
-    warnings?: string[] | undefined;
-    errors?: string[] | undefined;
-    artifacts?: any[] | undefined;
-}, {
-    ok: boolean;
     metrics?: {
         elapsed_ms: number;
         tool: string;
@@ -1842,7 +3554,39 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
         cache_expires_at?: string | undefined;
         cache_hit_at?: string | undefined;
     } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+    artifacts?: any[] | undefined;
+    setup_actions?: {
+        id: string;
+        summary: string;
+        kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+        title: string;
+        required: boolean;
+        examples: string[];
+        applies_to: string[];
+        command?: string | null | undefined;
+        env_var?: string | null | undefined;
+        value_hint?: string | null | undefined;
+    }[] | undefined;
+    required_user_inputs?: {
+        summary: string;
+        label: string;
+        required: boolean;
+        examples: string[];
+        key: string;
+        env_vars: string[];
+    }[] | undefined;
+}, {
+    ok: boolean;
     data?: {
+        status: "queued";
+        sample_id: string;
+        tool: "workflow.reconstruct";
+        progress: number;
+        job_id: string;
+        requested_path: "dotnet" | "native" | "auto";
+    } | {
         sample_id: string;
         notes: string[];
         runtime: {
@@ -1852,6 +3596,54 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             primary_runtime: string | null;
         };
         degraded: boolean;
+        export: {
+            tool: "code.reconstruct.export" | "dotnet.reconstruct.export";
+            executable_path: string | null;
+            export_root: string;
+            manifest_path: string | null;
+            gaps_path: string | null;
+            notes_path: string | null;
+            module_count: number | null;
+            unresolved_count: number | null;
+            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[];
+            } | null;
+            csproj_path: string | null;
+            readme_path: string | null;
+            metadata_path: string | null;
+            fallback_notes_path: string | null;
+            degraded_mode: boolean | null;
+            managed_profile: {
+                module_name: string | null;
+                analysis_priorities: string[];
+                method_count: number;
+                type_count: number;
+                namespace_count: number;
+                assembly_reference_count: number;
+                resource_count: number;
+                assembly_name: string | null;
+                assembly_version: string | null;
+                metadata_version: string | null;
+                is_library: boolean;
+                entry_point_token: string | null;
+                assembly_references: string[];
+                resources: string[];
+                dominant_namespaces: string[];
+                notable_types: string[];
+            } | null;
+            build_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
+            harness_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
+            build_log_path: string | null;
+            harness_log_path: string | null;
+            class_count: number | null;
+        } | null;
         provenance: {
             runtime: {
                 artifact_count: number;
@@ -1863,6 +3655,16 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 earliest_artifact_at: string | null;
                 latest_artifact_at: string | null;
             };
+            semantic_module_reviews?: {
+                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_names?: {
                 artifact_count: number;
                 scope_note: string;
@@ -1887,6 +3689,11 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
         selected_path: "dotnet" | "native";
         stage_status: {
             runtime: "failed" | "ok";
+            function_index_recovery: "failed" | "ok" | "skipped";
+            preflight_binary_profile: "failed" | "ok" | "skipped";
+            preflight_dll_profile: "failed" | "ok" | "skipped";
+            preflight_com_profile: "failed" | "ok" | "skipped";
+            preflight_rust_profile: "failed" | "ok" | "skipped";
             plan: "failed" | "ok" | "skipped";
             export_primary: "failed" | "ok" | "skipped";
             export_fallback: "failed" | "ok" | "skipped";
@@ -1898,54 +3705,6 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
             blockers: string[];
             recommendations: string[];
         } | null;
-        export: {
-            tool: "code.reconstruct.export" | "dotnet.reconstruct.export";
-            executable_path: string | null;
-            export_root: string;
-            manifest_path: string | null;
-            gaps_path: string | null;
-            notes_path: string | null;
-            module_count: number | null;
-            unresolved_count: number | null;
-            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[];
-            } | null;
-            csproj_path: string | null;
-            readme_path: string | null;
-            metadata_path: string | null;
-            fallback_notes_path: string | null;
-            degraded_mode: boolean | null;
-            managed_profile: {
-                resources: string[];
-                method_count: number;
-                type_count: number;
-                namespace_count: number;
-                assembly_reference_count: number;
-                resource_count: number;
-                assembly_name: string | null;
-                assembly_version: string | null;
-                module_name: string | null;
-                metadata_version: string | null;
-                is_library: boolean;
-                entry_point_token: string | null;
-                assembly_references: string[];
-                analysis_priorities: string[];
-                dominant_namespaces: string[];
-                notable_types: string[];
-            } | null;
-            build_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
-            harness_validation_status: "failed" | "passed" | "skipped" | "unavailable" | null;
-            build_log_path: string | null;
-            harness_log_path: string | null;
-            class_count: number | null;
-        } | null;
         selection_diffs?: {
             runtime?: {
                 summary: string;
@@ -2035,10 +3794,205 @@ export declare const ReconstructWorkflowOutputSchema: z.ZodObject<{
                 artifact_count_delta: number;
             } | undefined;
         } | undefined;
+        preflight?: {
+            binary_profile: {
+                sample_id: string;
+                indicators: {
+                    com_server: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    service_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    plugin_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                    driver_binary: {
+                        confidence: number;
+                        evidence: string[];
+                        likely: boolean;
+                    };
+                };
+                export_surface: {
+                    total_exports: number;
+                    total_forwarders: number;
+                    notable_exports: string[];
+                    com_related_exports: string[];
+                    service_related_exports: string[];
+                    plugin_related_exports: string[];
+                    forwarded_exports: string[];
+                };
+                packed: boolean;
+                binary_role: string;
+                original_filename: string | null;
+                packing_confidence: number;
+                analysis_priorities: string[];
+                role_confidence: number;
+                runtime_hint: {
+                    is_dotnet: boolean | null;
+                    dotnet_version: string | null;
+                    target_framework: string | null;
+                    primary_runtime: string | null;
+                };
+                import_surface: {
+                    dll_count: number;
+                    notable_dlls: string[];
+                    com_related_imports: string[];
+                    service_related_imports: string[];
+                    network_related_imports: string[];
+                    process_related_imports: string[];
+                };
+                export_dispatch_profile: {
+                    confidence: number;
+                    command_like_exports: string[];
+                    callback_like_exports: string[];
+                    registration_exports: string[];
+                    ordinal_only_exports: number;
+                    likely_dispatch_model: string;
+                };
+                com_profile: {
+                    confidence: number;
+                    clsid_strings: string[];
+                    progid_strings: string[];
+                    interface_hints: string[];
+                    registration_strings: string[];
+                    class_factory_exports: string[];
+                    class_factory_surface?: string[] | undefined;
+                };
+                host_interaction_profile: {
+                    confidence: number;
+                    likely_hosted: boolean;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                    service_hooks: string[];
+                    callback_surface?: string[] | undefined;
+                };
+                strings_considered: number;
+                lifecycle_surface?: string[] | undefined;
+            } | null;
+            com_profile: {
+                analysis_priorities: string[];
+                registration_exports: string[];
+                clsid_strings: string[];
+                progid_strings: string[];
+                interface_hints: string[];
+                class_factory_exports: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    interface_hints: string[];
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                likely_com_server: boolean;
+                com_confidence: number;
+                activation_steps: string[];
+                activation_model: string;
+            } | null;
+            dll_profile: {
+                callback_surface: {
+                    confidence: number;
+                    host_hints: string[];
+                    callback_exports: string[];
+                    callback_strings: string[];
+                };
+                analysis_priorities: string[];
+                class_factory_surface: {
+                    confidence: number;
+                    class_factory_exports: string[];
+                    activation_markers: string[];
+                };
+                host_hints: string[];
+                role_confidence: number;
+                lifecycle_surface: {
+                    confidence: number;
+                    lifecycle_exports: string[];
+                    lifecycle_imports: string[];
+                    attach_detach_strings: string[];
+                };
+                library_like: boolean;
+                dll_entry_hints: string[];
+                likely_entry_model: string;
+                dispatch_model: string;
+            } | null;
+            rust_profile: {
+                confidence: number;
+                cargo_paths: string[];
+                primary_runtime: string | null;
+                analysis_priorities: string[];
+                crate_hints: string[];
+                runtime_hints: string[];
+                suspected_rust: boolean;
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                importable_with_code_functions_define: boolean;
+            } | null;
+            function_index_recovery: {
+                recovered_function_count: number;
+                recovered_symbol_count: number;
+                next_steps: string[];
+                imported_count: number;
+                function_index_status: "ready" | null;
+                decompile_status: "missing" | null;
+                cfg_status: "missing" | null;
+                define_from: "smart_recover" | "symbols_recover" | null;
+                recovery_strategy: string[];
+                applied: boolean;
+            } | null;
+            role_strategy: {
+                focus_areas: string[];
+                target_role: string;
+                priority_order: string[];
+                rationale: string[];
+                export_tuning: {
+                    include_strings: boolean;
+                    topk: number;
+                    module_limit: number;
+                    min_module_size: number;
+                    include_imports: boolean;
+                };
+            } | null;
+        } | undefined;
+    } | undefined;
+    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;
     warnings?: string[] | undefined;
     errors?: string[] | undefined;
     artifacts?: any[] | undefined;
+    setup_actions?: {
+        id: string;
+        summary: string;
+        kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+        title: string;
+        required: boolean;
+        command?: string | null | undefined;
+        env_var?: string | null | undefined;
+        value_hint?: string | null | undefined;
+        examples?: string[] | undefined;
+        applies_to?: string[] | undefined;
+    }[] | undefined;
+    required_user_inputs?: {
+        summary: string;
+        label: string;
+        required: boolean;
+        key: string;
+        examples?: string[] | undefined;
+        env_vars?: string[] | undefined;
+    }[] | undefined;
 }>;
 export type ReconstructWorkflowOutput = z.infer<typeof ReconstructWorkflowOutputSchema>;
 export declare const reconstructWorkflowToolDefinition: ToolDefinition;
@@ -2047,7 +4001,12 @@ interface ReconstructWorkflowDependencies {
     planHandler?: (args: ToolArgs) => Promise<WorkerResult>;
     nativeExportHandler?: (args: ToolArgs) => Promise<WorkerResult>;
     dotnetExportHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    binaryRoleProfileHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    dllExportProfileHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    comRoleProfileHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    rustBinaryAnalyzeHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    functionIndexRecoverHandler?: (args: ToolArgs) => Promise<WorkerResult>;
 }
-export declare function createReconstructWorkflowHandler(workspaceManager: WorkspaceManager, database: DatabaseManager, cacheManager: CacheManager, dependencies?: ReconstructWorkflowDependencies): (args: ToolArgs) => Promise<WorkerResult>;
+export declare function createReconstructWorkflowHandler(workspaceManager: WorkspaceManager, database: DatabaseManager, cacheManager: CacheManager, dependencies?: ReconstructWorkflowDependencies, jobQueue?: JobQueue): (args: ToolArgs) => Promise<WorkerResult>;
 export {};
 //# sourceMappingURL=reconstruct.d.ts.map