windows-exe-decompiler-mcp-server 0.1.0

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

@@ -0,0 +1,2725 @@
+/**
+ * code.functions.reconstruct tool implementation
+ * Function-level semantic reconstruction by combining decompile + CFG + assembly evidence.
+ */
+import { z } from 'zod';
+import type { ToolDefinition, ToolArgs, WorkerResult } from '../types.js';
+import type { WorkspaceManager } from '../workspace-manager.js';
+import type { DatabaseManager } from '../database.js';
+import type { CacheManager } from '../cache-manager.js';
+import { type RankedFunction, type DecompiledFunction, type ControlFlowGraph, type FunctionXrefSummary } from '../decompiler-worker.js';
+import { type DynamicTraceSummary } from '../dynamic-trace.js';
+import { correlateFunctionWithRuntimeEvidence } from '../runtime-correlation.js';
+import { type SemanticNameSuggestionIndex } from '../semantic-name-suggestion-artifacts.js';
+export declare const CodeFunctionsReconstructInputSchema: z.ZodEffects<z.ZodEffects<z.ZodObject<{
+    sample_id: z.ZodString;
+    address: z.ZodOptional<z.ZodString>;
+    symbol: z.ZodOptional<z.ZodString>;
+    topk: z.ZodDefault<z.ZodNumber>;
+    include_xrefs: z.ZodDefault<z.ZodBoolean>;
+    max_pseudocode_lines: z.ZodDefault<z.ZodNumber>;
+    max_assembly_lines: z.ZodDefault<z.ZodNumber>;
+    timeout: z.ZodDefault<z.ZodNumber>;
+    evidence_scope: z.ZodDefault<z.ZodEnum<["all", "latest", "session"]>>;
+    evidence_session_tag: z.ZodOptional<z.ZodString>;
+    semantic_scope: z.ZodDefault<z.ZodEnum<["all", "latest", "session"]>>;
+    semantic_session_tag: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    timeout: number;
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    topk: number;
+    include_xrefs: boolean;
+    max_pseudocode_lines: number;
+    max_assembly_lines: number;
+    semantic_scope: "all" | "latest" | "session";
+    symbol?: string | undefined;
+    address?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+}, {
+    sample_id: string;
+    symbol?: string | undefined;
+    timeout?: number | undefined;
+    address?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    topk?: number | undefined;
+    include_xrefs?: boolean | undefined;
+    max_pseudocode_lines?: number | undefined;
+    max_assembly_lines?: number | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+}>, {
+    timeout: number;
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    topk: number;
+    include_xrefs: boolean;
+    max_pseudocode_lines: number;
+    max_assembly_lines: number;
+    semantic_scope: "all" | "latest" | "session";
+    symbol?: string | undefined;
+    address?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+}, {
+    sample_id: string;
+    symbol?: string | undefined;
+    timeout?: number | undefined;
+    address?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    topk?: number | undefined;
+    include_xrefs?: boolean | undefined;
+    max_pseudocode_lines?: number | undefined;
+    max_assembly_lines?: number | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+}>, {
+    timeout: number;
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    topk: number;
+    include_xrefs: boolean;
+    max_pseudocode_lines: number;
+    max_assembly_lines: number;
+    semantic_scope: "all" | "latest" | "session";
+    symbol?: string | undefined;
+    address?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+}, {
+    sample_id: string;
+    symbol?: string | undefined;
+    timeout?: number | undefined;
+    address?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    topk?: number | undefined;
+    include_xrefs?: boolean | undefined;
+    max_pseudocode_lines?: number | undefined;
+    max_assembly_lines?: number | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+}>;
+export type CodeFunctionsReconstructInput = z.infer<typeof CodeFunctionsReconstructInputSchema>;
+export declare const CodeFunctionsReconstructOutputSchema: z.ZodObject<{
+    ok: z.ZodBoolean;
+    data: z.ZodOptional<z.ZodObject<{
+        sample_id: z.ZodString;
+        mode: z.ZodEnum<["single", "topk"]>;
+        requested_count: z.ZodNumber;
+        reconstructed_count: z.ZodNumber;
+        overall_confidence: z.ZodNumber;
+        provenance: z.ZodObject<{
+            runtime: z.ZodObject<{
+                scope: z.ZodEnum<["all", "latest", "session"]>;
+                session_selector: z.ZodNullable<z.ZodString>;
+                artifact_count: z.ZodNumber;
+                artifact_ids: z.ZodArray<z.ZodString, "many">;
+                session_tags: z.ZodArray<z.ZodString, "many">;
+                earliest_artifact_at: z.ZodNullable<z.ZodString>;
+                latest_artifact_at: z.ZodNullable<z.ZodString>;
+                scope_note: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }>;
+            semantic_names: z.ZodOptional<z.ZodObject<{
+                scope: z.ZodEnum<["all", "latest", "session"]>;
+                session_selector: z.ZodNullable<z.ZodString>;
+                artifact_count: z.ZodNumber;
+                artifact_ids: z.ZodArray<z.ZodString, "many">;
+                session_tags: z.ZodArray<z.ZodString, "many">;
+                earliest_artifact_at: z.ZodNullable<z.ZodString>;
+                latest_artifact_at: z.ZodNullable<z.ZodString>;
+                scope_note: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }>>;
+            semantic_explanations: z.ZodOptional<z.ZodObject<{
+                scope: z.ZodEnum<["all", "latest", "session"]>;
+                session_selector: z.ZodNullable<z.ZodString>;
+                artifact_count: z.ZodNumber;
+                artifact_ids: z.ZodArray<z.ZodString, "many">;
+                session_tags: z.ZodArray<z.ZodString, "many">;
+                earliest_artifact_at: z.ZodNullable<z.ZodString>;
+                latest_artifact_at: z.ZodNullable<z.ZodString>;
+                scope_note: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }, {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            }>>;
+        }, "strip", z.ZodTypeAny, {
+            runtime: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            };
+            semantic_names?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+            semantic_explanations?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+        }, {
+            runtime: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            };
+            semantic_names?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+            semantic_explanations?: {
+                artifact_count: number;
+                scope_note: string;
+                artifact_ids: string[];
+                session_selector: string | null;
+                session_tags: string[];
+                scope: "all" | "latest" | "session";
+                earliest_artifact_at: string | null;
+                latest_artifact_at: string | null;
+            } | undefined;
+        }>;
+        confidence_map: z.ZodArray<z.ZodObject<{
+            function: z.ZodString;
+            address: z.ZodString;
+            confidence: z.ZodNumber;
+            gaps: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+        }, {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+        }>, "many">;
+        functions: z.ZodArray<z.ZodObject<{
+            target: z.ZodString;
+            function: z.ZodString;
+            address: z.ZodString;
+            rank_score: z.ZodNullable<z.ZodNumber>;
+            rank_reasons: z.ZodArray<z.ZodString, "many">;
+            suggested_name: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            suggested_role: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            rename_confidence: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+            rename_evidence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            semantic_summary: z.ZodString;
+            xref_signals: z.ZodArray<z.ZodObject<{
+                api: z.ZodString;
+                provenance: z.ZodEnum<["static_named_call", "dynamic_resolution_api", "dynamic_resolution_helper", "global_string_hint", "unknown"]>;
+                confidence: z.ZodNumber;
+                evidence: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                confidence: number;
+                api: string;
+                evidence: string[];
+                provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+            }, {
+                confidence: number;
+                api: string;
+                evidence: string[];
+                provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+            }>, "many">;
+            call_context: z.ZodObject<{
+                callers: z.ZodArray<z.ZodString, "many">;
+                callees: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                callees: string[];
+                callers: string[];
+            }, {
+                callees: string[];
+                callers: string[];
+            }>;
+            call_relationships: z.ZodObject<{
+                callers: z.ZodArray<z.ZodObject<{
+                    target: z.ZodString;
+                    relation_types: z.ZodArray<z.ZodString, "many">;
+                    reference_types: z.ZodArray<z.ZodString, "many">;
+                    resolved_by: z.ZodNullable<z.ZodString>;
+                    is_exact: z.ZodNullable<z.ZodBoolean>;
+                }, "strip", z.ZodTypeAny, {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }, {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }>, "many">;
+                callees: z.ZodArray<z.ZodObject<{
+                    target: z.ZodString;
+                    relation_types: z.ZodArray<z.ZodString, "many">;
+                    reference_types: z.ZodArray<z.ZodString, "many">;
+                    resolved_by: z.ZodNullable<z.ZodString>;
+                    is_exact: z.ZodNullable<z.ZodBoolean>;
+                }, "strip", z.ZodTypeAny, {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }, {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                callees: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+                callers: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+            }, {
+                callees: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+                callers: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+            }>;
+            runtime_context: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+                corroborated_apis: z.ZodArray<z.ZodString, "many">;
+                corroborated_stages: z.ZodArray<z.ZodString, "many">;
+                notes: z.ZodArray<z.ZodString, "many">;
+                confidence: z.ZodNumber;
+                executed: z.ZodOptional<z.ZodBoolean>;
+                evidence_sources: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                source_names: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                artifact_count: z.ZodOptional<z.ZodNumber>;
+                executed_artifact_count: z.ZodOptional<z.ZodNumber>;
+                matched_memory_regions: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                suggested_modules: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                matched_by: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                provenance_layers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                latest_artifact_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                scope_note: z.ZodOptional<z.ZodString>;
+            }, "strip", z.ZodTypeAny, {
+                confidence: number;
+                notes: string[];
+                corroborated_apis: string[];
+                corroborated_stages: string[];
+                executed?: boolean | undefined;
+                artifact_count?: number | undefined;
+                executed_artifact_count?: number | undefined;
+                source_names?: string[] | undefined;
+                scope_note?: string | undefined;
+                latest_artifact_at?: string | null | undefined;
+                evidence_sources?: string[] | undefined;
+                matched_memory_regions?: string[] | undefined;
+                suggested_modules?: string[] | undefined;
+                matched_by?: string[] | undefined;
+                provenance_layers?: string[] | undefined;
+            }, {
+                confidence: number;
+                notes: string[];
+                corroborated_apis: string[];
+                corroborated_stages: string[];
+                executed?: boolean | undefined;
+                artifact_count?: number | undefined;
+                executed_artifact_count?: number | undefined;
+                source_names?: string[] | undefined;
+                scope_note?: string | undefined;
+                latest_artifact_at?: string | null | undefined;
+                evidence_sources?: string[] | undefined;
+                matched_memory_regions?: string[] | undefined;
+                suggested_modules?: string[] | undefined;
+                matched_by?: string[] | undefined;
+                provenance_layers?: string[] | undefined;
+            }>>>;
+            parameter_roles: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                slot: z.ZodString;
+                role: z.ZodString;
+                inferred_type: z.ZodString;
+                confidence: z.ZodNumber;
+                evidence: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                slot: string;
+                inferred_type: string;
+            }, {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                slot: string;
+                inferred_type: string;
+            }>, "many">>;
+            state_roles: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                state_key: z.ZodString;
+                role: z.ZodString;
+                confidence: z.ZodNumber;
+                evidence: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                state_key: string;
+            }, {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                state_key: string;
+            }>, "many">>;
+            struct_inference: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                semantic_name: z.ZodString;
+                rewrite_type_name: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                kind: z.ZodEnum<["request", "result", "context", "table", "session"]>;
+                confidence: z.ZodNumber;
+                fields: z.ZodArray<z.ZodObject<{
+                    name: z.ZodString;
+                    inferred_type: z.ZodString;
+                    source_slot: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                }, "strip", z.ZodTypeAny, {
+                    name: string;
+                    inferred_type: string;
+                    source_slot?: string | null | undefined;
+                }, {
+                    name: string;
+                    inferred_type: string;
+                    source_slot?: string | null | undefined;
+                }>, "many">;
+                evidence: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                kind: "session" | "context" | "result" | "request" | "table";
+                confidence: number;
+                evidence: string[];
+                semantic_name: string;
+                fields: {
+                    name: string;
+                    inferred_type: string;
+                    source_slot?: string | null | undefined;
+                }[];
+                rewrite_type_name?: string | null | undefined;
+            }, {
+                kind: "session" | "context" | "result" | "request" | "table";
+                confidence: number;
+                evidence: string[];
+                semantic_name: string;
+                fields: {
+                    name: string;
+                    inferred_type: string;
+                    source_slot?: string | null | undefined;
+                }[];
+                rewrite_type_name?: string | null | undefined;
+            }>, "many">>;
+            semantic_evidence: z.ZodOptional<z.ZodObject<{
+                semantic_summary: z.ZodString;
+                xref_signals: z.ZodArray<z.ZodObject<{
+                    api: z.ZodString;
+                    provenance: z.ZodEnum<["static_named_call", "dynamic_resolution_api", "dynamic_resolution_helper", "global_string_hint", "unknown"]>;
+                    confidence: z.ZodNumber;
+                    evidence: z.ZodArray<z.ZodString, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    confidence: number;
+                    api: string;
+                    evidence: string[];
+                    provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+                }, {
+                    confidence: number;
+                    api: string;
+                    evidence: string[];
+                    provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+                }>, "many">;
+                call_relationships: z.ZodObject<{
+                    callers: z.ZodArray<z.ZodObject<{
+                        target: z.ZodString;
+                        relation_types: z.ZodArray<z.ZodString, "many">;
+                        reference_types: z.ZodArray<z.ZodString, "many">;
+                        resolved_by: z.ZodNullable<z.ZodString>;
+                        is_exact: z.ZodNullable<z.ZodBoolean>;
+                    }, "strip", z.ZodTypeAny, {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }, {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }>, "many">;
+                    callees: z.ZodArray<z.ZodObject<{
+                        target: z.ZodString;
+                        relation_types: z.ZodArray<z.ZodString, "many">;
+                        reference_types: z.ZodArray<z.ZodString, "many">;
+                        resolved_by: z.ZodNullable<z.ZodString>;
+                        is_exact: z.ZodNullable<z.ZodBoolean>;
+                    }, "strip", z.ZodTypeAny, {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }, {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    callees: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                    callers: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                }, {
+                    callees: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                    callers: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                }>;
+                runtime_context: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+                    corroborated_apis: z.ZodArray<z.ZodString, "many">;
+                    corroborated_stages: z.ZodArray<z.ZodString, "many">;
+                    notes: z.ZodArray<z.ZodString, "many">;
+                    confidence: z.ZodNumber;
+                    executed: z.ZodOptional<z.ZodBoolean>;
+                    evidence_sources: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                    source_names: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                    artifact_count: z.ZodOptional<z.ZodNumber>;
+                    executed_artifact_count: z.ZodOptional<z.ZodNumber>;
+                    matched_memory_regions: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                    suggested_modules: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                    matched_by: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                    provenance_layers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                    latest_artifact_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                    scope_note: z.ZodOptional<z.ZodString>;
+                }, "strip", z.ZodTypeAny, {
+                    confidence: number;
+                    notes: string[];
+                    corroborated_apis: string[];
+                    corroborated_stages: string[];
+                    executed?: boolean | undefined;
+                    artifact_count?: number | undefined;
+                    executed_artifact_count?: number | undefined;
+                    source_names?: string[] | undefined;
+                    scope_note?: string | undefined;
+                    latest_artifact_at?: string | null | undefined;
+                    evidence_sources?: string[] | undefined;
+                    matched_memory_regions?: string[] | undefined;
+                    suggested_modules?: string[] | undefined;
+                    matched_by?: string[] | undefined;
+                    provenance_layers?: string[] | undefined;
+                }, {
+                    confidence: number;
+                    notes: string[];
+                    corroborated_apis: string[];
+                    corroborated_stages: string[];
+                    executed?: boolean | undefined;
+                    artifact_count?: number | undefined;
+                    executed_artifact_count?: number | undefined;
+                    source_names?: string[] | undefined;
+                    scope_note?: string | undefined;
+                    latest_artifact_at?: string | null | undefined;
+                    evidence_sources?: string[] | undefined;
+                    matched_memory_regions?: string[] | undefined;
+                    suggested_modules?: string[] | undefined;
+                    matched_by?: string[] | undefined;
+                    provenance_layers?: string[] | undefined;
+                }>>>;
+                string_hints: z.ZodArray<z.ZodString, "many">;
+                pseudocode_excerpt: z.ZodString;
+                cfg_shape: z.ZodObject<{
+                    node_count: z.ZodNumber;
+                    edge_count: z.ZodNumber;
+                    has_loop: z.ZodBoolean;
+                    has_branching: z.ZodBoolean;
+                    block_types: z.ZodArray<z.ZodString, "many">;
+                    entry_block_type: z.ZodNullable<z.ZodString>;
+                }, "strip", z.ZodTypeAny, {
+                    node_count: number;
+                    edge_count: number;
+                    has_loop: boolean;
+                    has_branching: boolean;
+                    block_types: string[];
+                    entry_block_type: string | null;
+                }, {
+                    node_count: number;
+                    edge_count: number;
+                    has_loop: boolean;
+                    has_branching: boolean;
+                    block_types: string[];
+                    entry_block_type: string | null;
+                }>;
+                parameter_roles: z.ZodArray<z.ZodObject<{
+                    slot: z.ZodString;
+                    role: z.ZodString;
+                    inferred_type: z.ZodString;
+                    confidence: z.ZodNumber;
+                    evidence: z.ZodArray<z.ZodString, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    slot: string;
+                    inferred_type: string;
+                }, {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    slot: string;
+                    inferred_type: string;
+                }>, "many">;
+                state_roles: z.ZodArray<z.ZodObject<{
+                    state_key: z.ZodString;
+                    role: z.ZodString;
+                    confidence: z.ZodNumber;
+                    evidence: z.ZodArray<z.ZodString, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    state_key: string;
+                }, {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    state_key: string;
+                }>, "many">;
+                struct_inference: z.ZodArray<z.ZodObject<{
+                    semantic_name: z.ZodString;
+                    rewrite_type_name: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                    kind: z.ZodEnum<["request", "result", "context", "table", "session"]>;
+                    confidence: z.ZodNumber;
+                    fields: z.ZodArray<z.ZodObject<{
+                        name: z.ZodString;
+                        inferred_type: z.ZodString;
+                        source_slot: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                    }, "strip", z.ZodTypeAny, {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }, {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }>, "many">;
+                    evidence: z.ZodArray<z.ZodString, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    kind: "session" | "context" | "result" | "request" | "table";
+                    confidence: number;
+                    evidence: string[];
+                    semantic_name: string;
+                    fields: {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }[];
+                    rewrite_type_name?: string | null | undefined;
+                }, {
+                    kind: "session" | "context" | "result" | "request" | "table";
+                    confidence: number;
+                    evidence: string[];
+                    semantic_name: string;
+                    fields: {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }[];
+                    rewrite_type_name?: string | null | undefined;
+                }>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                semantic_summary: string;
+                xref_signals: {
+                    confidence: number;
+                    api: string;
+                    evidence: string[];
+                    provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+                }[];
+                call_relationships: {
+                    callees: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                    callers: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                };
+                string_hints: string[];
+                pseudocode_excerpt: string;
+                cfg_shape: {
+                    node_count: number;
+                    edge_count: number;
+                    has_loop: boolean;
+                    has_branching: boolean;
+                    block_types: string[];
+                    entry_block_type: string | null;
+                };
+                parameter_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    slot: string;
+                    inferred_type: string;
+                }[];
+                state_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    state_key: string;
+                }[];
+                struct_inference: {
+                    kind: "session" | "context" | "result" | "request" | "table";
+                    confidence: number;
+                    evidence: string[];
+                    semantic_name: string;
+                    fields: {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }[];
+                    rewrite_type_name?: string | null | undefined;
+                }[];
+                runtime_context?: {
+                    confidence: number;
+                    notes: string[];
+                    corroborated_apis: string[];
+                    corroborated_stages: string[];
+                    executed?: boolean | undefined;
+                    artifact_count?: number | undefined;
+                    executed_artifact_count?: number | undefined;
+                    source_names?: string[] | undefined;
+                    scope_note?: string | undefined;
+                    latest_artifact_at?: string | null | undefined;
+                    evidence_sources?: string[] | undefined;
+                    matched_memory_regions?: string[] | undefined;
+                    suggested_modules?: string[] | undefined;
+                    matched_by?: string[] | undefined;
+                    provenance_layers?: string[] | undefined;
+                } | null | undefined;
+            }, {
+                semantic_summary: string;
+                xref_signals: {
+                    confidence: number;
+                    api: string;
+                    evidence: string[];
+                    provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+                }[];
+                call_relationships: {
+                    callees: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                    callers: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                };
+                string_hints: string[];
+                pseudocode_excerpt: string;
+                cfg_shape: {
+                    node_count: number;
+                    edge_count: number;
+                    has_loop: boolean;
+                    has_branching: boolean;
+                    block_types: string[];
+                    entry_block_type: string | null;
+                };
+                parameter_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    slot: string;
+                    inferred_type: string;
+                }[];
+                state_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    state_key: string;
+                }[];
+                struct_inference: {
+                    kind: "session" | "context" | "result" | "request" | "table";
+                    confidence: number;
+                    evidence: string[];
+                    semantic_name: string;
+                    fields: {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }[];
+                    rewrite_type_name?: string | null | undefined;
+                }[];
+                runtime_context?: {
+                    confidence: number;
+                    notes: string[];
+                    corroborated_apis: string[];
+                    corroborated_stages: string[];
+                    executed?: boolean | undefined;
+                    artifact_count?: number | undefined;
+                    executed_artifact_count?: number | undefined;
+                    source_names?: string[] | undefined;
+                    scope_note?: string | undefined;
+                    latest_artifact_at?: string | null | undefined;
+                    evidence_sources?: string[] | undefined;
+                    matched_memory_regions?: string[] | undefined;
+                    suggested_modules?: string[] | undefined;
+                    matched_by?: string[] | undefined;
+                    provenance_layers?: string[] | undefined;
+                } | null | undefined;
+            }>>;
+            name_resolution: z.ZodOptional<z.ZodObject<{
+                rule_based_name: z.ZodNullable<z.ZodString>;
+                llm_suggested_name: z.ZodNullable<z.ZodString>;
+                llm_confidence: z.ZodNullable<z.ZodNumber>;
+                llm_why: z.ZodNullable<z.ZodString>;
+                required_assumptions: z.ZodArray<z.ZodString, "many">;
+                evidence_used: z.ZodArray<z.ZodString, "many">;
+                validated_name: z.ZodNullable<z.ZodString>;
+                resolution_source: z.ZodEnum<["rule", "llm", "hybrid", "unresolved"]>;
+                unresolved_semantic_name: z.ZodBoolean;
+            }, "strip", z.ZodTypeAny, {
+                rule_based_name: string | null;
+                llm_suggested_name: string | null;
+                llm_confidence: number | null;
+                llm_why: string | null;
+                required_assumptions: string[];
+                evidence_used: string[];
+                validated_name: string | null;
+                resolution_source: "hybrid" | "rule" | "llm" | "unresolved";
+                unresolved_semantic_name: boolean;
+            }, {
+                rule_based_name: string | null;
+                llm_suggested_name: string | null;
+                llm_confidence: number | null;
+                llm_why: string | null;
+                required_assumptions: string[];
+                evidence_used: string[];
+                validated_name: string | null;
+                resolution_source: "hybrid" | "rule" | "llm" | "unresolved";
+                unresolved_semantic_name: boolean;
+            }>>;
+            confidence_profile: z.ZodOptional<z.ZodObject<{
+                score_kind: z.ZodEnum<["heuristic_reconstruction", "runtime_correlation", "naming_resolution", "report_assessment"]>;
+                score: z.ZodNullable<z.ZodNumber>;
+                band: z.ZodEnum<["none", "low", "medium", "high"]>;
+                calibrated: z.ZodBoolean;
+                meaning: z.ZodString;
+                compare_within: z.ZodString;
+                caution: z.ZodString;
+                acceptance_rule: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                drivers: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            }, {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            }>>;
+            runtime_confidence_profile: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+                score_kind: z.ZodEnum<["heuristic_reconstruction", "runtime_correlation", "naming_resolution", "report_assessment"]>;
+                score: z.ZodNullable<z.ZodNumber>;
+                band: z.ZodEnum<["none", "low", "medium", "high"]>;
+                calibrated: z.ZodBoolean;
+                meaning: z.ZodString;
+                compare_within: z.ZodString;
+                caution: z.ZodString;
+                acceptance_rule: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                drivers: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            }, {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            }>>>;
+            naming_confidence_profile: z.ZodOptional<z.ZodObject<{
+                score_kind: z.ZodEnum<["heuristic_reconstruction", "runtime_correlation", "naming_resolution", "report_assessment"]>;
+                score: z.ZodNullable<z.ZodNumber>;
+                band: z.ZodEnum<["none", "low", "medium", "high"]>;
+                calibrated: z.ZodBoolean;
+                meaning: z.ZodString;
+                compare_within: z.ZodString;
+                caution: z.ZodString;
+                acceptance_rule: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                drivers: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            }, {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            }>>;
+            confidence: z.ZodNumber;
+            confidence_breakdown: z.ZodObject<{
+                decompile: z.ZodNumber;
+                cfg: z.ZodNumber;
+                assembly: z.ZodNumber;
+                context: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                decompile: number;
+                cfg: number;
+                context: number;
+                assembly: number;
+            }, {
+                decompile: number;
+                cfg: number;
+                context: number;
+                assembly: number;
+            }>;
+            gaps: z.ZodArray<z.ZodString, "many">;
+            evidence: z.ZodObject<{
+                pseudocode_lines: z.ZodNumber;
+                cfg_nodes: z.ZodNumber;
+                cfg_edges: z.ZodNumber;
+                instruction_count: z.ZodNumber;
+                caller_count: z.ZodNumber;
+                callee_count: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                caller_count: number;
+                callee_count: number;
+                pseudocode_lines: number;
+                cfg_nodes: number;
+                cfg_edges: number;
+                instruction_count: number;
+            }, {
+                caller_count: number;
+                callee_count: number;
+                pseudocode_lines: number;
+                cfg_nodes: number;
+                cfg_edges: number;
+                instruction_count: number;
+            }>;
+            behavior_tags: z.ZodArray<z.ZodString, "many">;
+            source_like_snippet: z.ZodString;
+            assembly_excerpt: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+            target: string;
+            evidence: {
+                caller_count: number;
+                callee_count: number;
+                pseudocode_lines: number;
+                cfg_nodes: number;
+                cfg_edges: number;
+                instruction_count: number;
+            };
+            confidence_breakdown: {
+                decompile: number;
+                cfg: number;
+                context: number;
+                assembly: number;
+            };
+            semantic_summary: string;
+            xref_signals: {
+                confidence: number;
+                api: string;
+                evidence: string[];
+                provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+            }[];
+            call_relationships: {
+                callees: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+                callers: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+            };
+            rank_score: number | null;
+            rank_reasons: string[];
+            call_context: {
+                callees: string[];
+                callers: string[];
+            };
+            behavior_tags: string[];
+            source_like_snippet: string;
+            assembly_excerpt: string;
+            runtime_context?: {
+                confidence: number;
+                notes: string[];
+                corroborated_apis: string[];
+                corroborated_stages: string[];
+                executed?: boolean | undefined;
+                artifact_count?: number | undefined;
+                executed_artifact_count?: number | undefined;
+                source_names?: string[] | undefined;
+                scope_note?: string | undefined;
+                latest_artifact_at?: string | null | undefined;
+                evidence_sources?: string[] | undefined;
+                matched_memory_regions?: string[] | undefined;
+                suggested_modules?: string[] | undefined;
+                matched_by?: string[] | undefined;
+                provenance_layers?: string[] | undefined;
+            } | null | undefined;
+            parameter_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                slot: string;
+                inferred_type: string;
+            }[] | undefined;
+            state_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                state_key: string;
+            }[] | undefined;
+            struct_inference?: {
+                kind: "session" | "context" | "result" | "request" | "table";
+                confidence: number;
+                evidence: string[];
+                semantic_name: string;
+                fields: {
+                    name: string;
+                    inferred_type: string;
+                    source_slot?: string | null | undefined;
+                }[];
+                rewrite_type_name?: string | null | undefined;
+            }[] | undefined;
+            suggested_name?: string | null | undefined;
+            suggested_role?: string | null | undefined;
+            rename_confidence?: number | null | undefined;
+            rename_evidence?: string[] | undefined;
+            semantic_evidence?: {
+                semantic_summary: string;
+                xref_signals: {
+                    confidence: number;
+                    api: string;
+                    evidence: string[];
+                    provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+                }[];
+                call_relationships: {
+                    callees: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                    callers: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                };
+                string_hints: string[];
+                pseudocode_excerpt: string;
+                cfg_shape: {
+                    node_count: number;
+                    edge_count: number;
+                    has_loop: boolean;
+                    has_branching: boolean;
+                    block_types: string[];
+                    entry_block_type: string | null;
+                };
+                parameter_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    slot: string;
+                    inferred_type: string;
+                }[];
+                state_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    state_key: string;
+                }[];
+                struct_inference: {
+                    kind: "session" | "context" | "result" | "request" | "table";
+                    confidence: number;
+                    evidence: string[];
+                    semantic_name: string;
+                    fields: {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }[];
+                    rewrite_type_name?: string | null | undefined;
+                }[];
+                runtime_context?: {
+                    confidence: number;
+                    notes: string[];
+                    corroborated_apis: string[];
+                    corroborated_stages: string[];
+                    executed?: boolean | undefined;
+                    artifact_count?: number | undefined;
+                    executed_artifact_count?: number | undefined;
+                    source_names?: string[] | undefined;
+                    scope_note?: string | undefined;
+                    latest_artifact_at?: string | null | undefined;
+                    evidence_sources?: string[] | undefined;
+                    matched_memory_regions?: string[] | undefined;
+                    suggested_modules?: string[] | undefined;
+                    matched_by?: string[] | undefined;
+                    provenance_layers?: string[] | undefined;
+                } | null | undefined;
+            } | undefined;
+            name_resolution?: {
+                rule_based_name: string | null;
+                llm_suggested_name: string | null;
+                llm_confidence: number | null;
+                llm_why: string | null;
+                required_assumptions: string[];
+                evidence_used: string[];
+                validated_name: string | null;
+                resolution_source: "hybrid" | "rule" | "llm" | "unresolved";
+                unresolved_semantic_name: boolean;
+            } | undefined;
+            confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+            runtime_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | null | undefined;
+            naming_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+        }, {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+            target: string;
+            evidence: {
+                caller_count: number;
+                callee_count: number;
+                pseudocode_lines: number;
+                cfg_nodes: number;
+                cfg_edges: number;
+                instruction_count: number;
+            };
+            confidence_breakdown: {
+                decompile: number;
+                cfg: number;
+                context: number;
+                assembly: number;
+            };
+            semantic_summary: string;
+            xref_signals: {
+                confidence: number;
+                api: string;
+                evidence: string[];
+                provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+            }[];
+            call_relationships: {
+                callees: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+                callers: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+            };
+            rank_score: number | null;
+            rank_reasons: string[];
+            call_context: {
+                callees: string[];
+                callers: string[];
+            };
+            behavior_tags: string[];
+            source_like_snippet: string;
+            assembly_excerpt: string;
+            runtime_context?: {
+                confidence: number;
+                notes: string[];
+                corroborated_apis: string[];
+                corroborated_stages: string[];
+                executed?: boolean | undefined;
+                artifact_count?: number | undefined;
+                executed_artifact_count?: number | undefined;
+                source_names?: string[] | undefined;
+                scope_note?: string | undefined;
+                latest_artifact_at?: string | null | undefined;
+                evidence_sources?: string[] | undefined;
+                matched_memory_regions?: string[] | undefined;
+                suggested_modules?: string[] | undefined;
+                matched_by?: string[] | undefined;
+                provenance_layers?: string[] | undefined;
+            } | null | undefined;
+            parameter_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                slot: string;
+                inferred_type: string;
+            }[] | undefined;
+            state_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                state_key: string;
+            }[] | undefined;
+            struct_inference?: {
+                kind: "session" | "context" | "result" | "request" | "table";
+                confidence: number;
+                evidence: string[];
+                semantic_name: string;
+                fields: {
+                    name: string;
+                    inferred_type: string;
+                    source_slot?: string | null | undefined;
+                }[];
+                rewrite_type_name?: string | null | undefined;
+            }[] | undefined;
+            suggested_name?: string | null | undefined;
+            suggested_role?: string | null | undefined;
+            rename_confidence?: number | null | undefined;
+            rename_evidence?: string[] | undefined;
+            semantic_evidence?: {
+                semantic_summary: string;
+                xref_signals: {
+                    confidence: number;
+                    api: string;
+                    evidence: string[];
+                    provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+                }[];
+                call_relationships: {
+                    callees: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                    callers: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                };
+                string_hints: string[];
+                pseudocode_excerpt: string;
+                cfg_shape: {
+                    node_count: number;
+                    edge_count: number;
+                    has_loop: boolean;
+                    has_branching: boolean;
+                    block_types: string[];
+                    entry_block_type: string | null;
+                };
+                parameter_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    slot: string;
+                    inferred_type: string;
+                }[];
+                state_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    state_key: string;
+                }[];
+                struct_inference: {
+                    kind: "session" | "context" | "result" | "request" | "table";
+                    confidence: number;
+                    evidence: string[];
+                    semantic_name: string;
+                    fields: {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }[];
+                    rewrite_type_name?: string | null | undefined;
+                }[];
+                runtime_context?: {
+                    confidence: number;
+                    notes: string[];
+                    corroborated_apis: string[];
+                    corroborated_stages: string[];
+                    executed?: boolean | undefined;
+                    artifact_count?: number | undefined;
+                    executed_artifact_count?: number | undefined;
+                    source_names?: string[] | undefined;
+                    scope_note?: string | undefined;
+                    latest_artifact_at?: string | null | undefined;
+                    evidence_sources?: string[] | undefined;
+                    matched_memory_regions?: string[] | undefined;
+                    suggested_modules?: string[] | undefined;
+                    matched_by?: string[] | undefined;
+                    provenance_layers?: string[] | undefined;
+                } | null | undefined;
+            } | undefined;
+            name_resolution?: {
+                rule_based_name: string | null;
+                llm_suggested_name: string | null;
+                llm_confidence: number | null;
+                llm_why: string | null;
+                required_assumptions: string[];
+                evidence_used: string[];
+                validated_name: string | null;
+                resolution_source: "hybrid" | "rule" | "llm" | "unresolved";
+                unresolved_semantic_name: boolean;
+            } | undefined;
+            confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+            runtime_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | null | undefined;
+            naming_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        sample_id: string;
+        mode: "topk" | "single";
+        functions: {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+            target: string;
+            evidence: {
+                caller_count: number;
+                callee_count: number;
+                pseudocode_lines: number;
+                cfg_nodes: number;
+                cfg_edges: number;
+                instruction_count: number;
+            };
+            confidence_breakdown: {
+                decompile: number;
+                cfg: number;
+                context: number;
+                assembly: number;
+            };
+            semantic_summary: string;
+            xref_signals: {
+                confidence: number;
+                api: string;
+                evidence: string[];
+                provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+            }[];
+            call_relationships: {
+                callees: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+                callers: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+            };
+            rank_score: number | null;
+            rank_reasons: string[];
+            call_context: {
+                callees: string[];
+                callers: string[];
+            };
+            behavior_tags: string[];
+            source_like_snippet: string;
+            assembly_excerpt: string;
+            runtime_context?: {
+                confidence: number;
+                notes: string[];
+                corroborated_apis: string[];
+                corroborated_stages: string[];
+                executed?: boolean | undefined;
+                artifact_count?: number | undefined;
+                executed_artifact_count?: number | undefined;
+                source_names?: string[] | undefined;
+                scope_note?: string | undefined;
+                latest_artifact_at?: string | null | undefined;
+                evidence_sources?: string[] | undefined;
+                matched_memory_regions?: string[] | undefined;
+                suggested_modules?: string[] | undefined;
+                matched_by?: string[] | undefined;
+                provenance_layers?: string[] | undefined;
+            } | null | undefined;
+            parameter_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                slot: string;
+                inferred_type: string;
+            }[] | undefined;
+            state_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                state_key: string;
+            }[] | undefined;
+            struct_inference?: {
+                kind: "session" | "context" | "result" | "request" | "table";
+                confidence: number;
+                evidence: string[];
+                semantic_name: string;
+                fields: {
+                    name: string;
+                    inferred_type: string;
+                    source_slot?: string | null | undefined;
+                }[];
+                rewrite_type_name?: string | null | undefined;
+            }[] | undefined;
+            suggested_name?: string | null | undefined;
+            suggested_role?: string | null | undefined;
+            rename_confidence?: number | null | undefined;
+            rename_evidence?: string[] | undefined;
+            semantic_evidence?: {
+                semantic_summary: string;
+                xref_signals: {
+                    confidence: number;
+                    api: string;
+                    evidence: string[];
+                    provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+                }[];
+                call_relationships: {
+                    callees: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                    callers: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                };
+                string_hints: string[];
+                pseudocode_excerpt: string;
+                cfg_shape: {
+                    node_count: number;
+                    edge_count: number;
+                    has_loop: boolean;
+                    has_branching: boolean;
+                    block_types: string[];
+                    entry_block_type: string | null;
+                };
+                parameter_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    slot: string;
+                    inferred_type: string;
+                }[];
+                state_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    state_key: string;
+                }[];
+                struct_inference: {
+                    kind: "session" | "context" | "result" | "request" | "table";
+                    confidence: number;
+                    evidence: string[];
+                    semantic_name: string;
+                    fields: {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }[];
+                    rewrite_type_name?: string | null | undefined;
+                }[];
+                runtime_context?: {
+                    confidence: number;
+                    notes: string[];
+                    corroborated_apis: string[];
+                    corroborated_stages: string[];
+                    executed?: boolean | undefined;
+                    artifact_count?: number | undefined;
+                    executed_artifact_count?: number | undefined;
+                    source_names?: string[] | undefined;
+                    scope_note?: string | undefined;
+                    latest_artifact_at?: string | null | undefined;
+                    evidence_sources?: string[] | undefined;
+                    matched_memory_regions?: string[] | undefined;
+                    suggested_modules?: string[] | undefined;
+                    matched_by?: string[] | undefined;
+                    provenance_layers?: string[] | undefined;
+                } | null | undefined;
+            } | undefined;
+            name_resolution?: {
+                rule_based_name: string | null;
+                llm_suggested_name: string | null;
+                llm_confidence: number | null;
+                llm_why: string | null;
+                required_assumptions: string[];
+                evidence_used: string[];
+                validated_name: string | null;
+                resolution_source: "hybrid" | "rule" | "llm" | "unresolved";
+                unresolved_semantic_name: boolean;
+            } | undefined;
+            confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+            runtime_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | null | undefined;
+            naming_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+        }[];
+        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;
+        };
+        requested_count: number;
+        reconstructed_count: number;
+        overall_confidence: number;
+        confidence_map: {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+        }[];
+    }, {
+        sample_id: string;
+        mode: "topk" | "single";
+        functions: {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+            target: string;
+            evidence: {
+                caller_count: number;
+                callee_count: number;
+                pseudocode_lines: number;
+                cfg_nodes: number;
+                cfg_edges: number;
+                instruction_count: number;
+            };
+            confidence_breakdown: {
+                decompile: number;
+                cfg: number;
+                context: number;
+                assembly: number;
+            };
+            semantic_summary: string;
+            xref_signals: {
+                confidence: number;
+                api: string;
+                evidence: string[];
+                provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+            }[];
+            call_relationships: {
+                callees: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+                callers: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+            };
+            rank_score: number | null;
+            rank_reasons: string[];
+            call_context: {
+                callees: string[];
+                callers: string[];
+            };
+            behavior_tags: string[];
+            source_like_snippet: string;
+            assembly_excerpt: string;
+            runtime_context?: {
+                confidence: number;
+                notes: string[];
+                corroborated_apis: string[];
+                corroborated_stages: string[];
+                executed?: boolean | undefined;
+                artifact_count?: number | undefined;
+                executed_artifact_count?: number | undefined;
+                source_names?: string[] | undefined;
+                scope_note?: string | undefined;
+                latest_artifact_at?: string | null | undefined;
+                evidence_sources?: string[] | undefined;
+                matched_memory_regions?: string[] | undefined;
+                suggested_modules?: string[] | undefined;
+                matched_by?: string[] | undefined;
+                provenance_layers?: string[] | undefined;
+            } | null | undefined;
+            parameter_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                slot: string;
+                inferred_type: string;
+            }[] | undefined;
+            state_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                state_key: string;
+            }[] | undefined;
+            struct_inference?: {
+                kind: "session" | "context" | "result" | "request" | "table";
+                confidence: number;
+                evidence: string[];
+                semantic_name: string;
+                fields: {
+                    name: string;
+                    inferred_type: string;
+                    source_slot?: string | null | undefined;
+                }[];
+                rewrite_type_name?: string | null | undefined;
+            }[] | undefined;
+            suggested_name?: string | null | undefined;
+            suggested_role?: string | null | undefined;
+            rename_confidence?: number | null | undefined;
+            rename_evidence?: string[] | undefined;
+            semantic_evidence?: {
+                semantic_summary: string;
+                xref_signals: {
+                    confidence: number;
+                    api: string;
+                    evidence: string[];
+                    provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+                }[];
+                call_relationships: {
+                    callees: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                    callers: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                };
+                string_hints: string[];
+                pseudocode_excerpt: string;
+                cfg_shape: {
+                    node_count: number;
+                    edge_count: number;
+                    has_loop: boolean;
+                    has_branching: boolean;
+                    block_types: string[];
+                    entry_block_type: string | null;
+                };
+                parameter_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    slot: string;
+                    inferred_type: string;
+                }[];
+                state_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    state_key: string;
+                }[];
+                struct_inference: {
+                    kind: "session" | "context" | "result" | "request" | "table";
+                    confidence: number;
+                    evidence: string[];
+                    semantic_name: string;
+                    fields: {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }[];
+                    rewrite_type_name?: string | null | undefined;
+                }[];
+                runtime_context?: {
+                    confidence: number;
+                    notes: string[];
+                    corroborated_apis: string[];
+                    corroborated_stages: string[];
+                    executed?: boolean | undefined;
+                    artifact_count?: number | undefined;
+                    executed_artifact_count?: number | undefined;
+                    source_names?: string[] | undefined;
+                    scope_note?: string | undefined;
+                    latest_artifact_at?: string | null | undefined;
+                    evidence_sources?: string[] | undefined;
+                    matched_memory_regions?: string[] | undefined;
+                    suggested_modules?: string[] | undefined;
+                    matched_by?: string[] | undefined;
+                    provenance_layers?: string[] | undefined;
+                } | null | undefined;
+            } | undefined;
+            name_resolution?: {
+                rule_based_name: string | null;
+                llm_suggested_name: string | null;
+                llm_confidence: number | null;
+                llm_why: string | null;
+                required_assumptions: string[];
+                evidence_used: string[];
+                validated_name: string | null;
+                resolution_source: "hybrid" | "rule" | "llm" | "unresolved";
+                unresolved_semantic_name: boolean;
+            } | undefined;
+            confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+            runtime_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | null | undefined;
+            naming_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+        }[];
+        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;
+        };
+        requested_count: number;
+        reconstructed_count: number;
+        overall_confidence: number;
+        confidence_map: {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+        }[];
+    }>>;
+    warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    errors: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    metrics: z.ZodOptional<z.ZodObject<{
+        elapsed_ms: z.ZodNumber;
+        tool: z.ZodString;
+        cached: z.ZodOptional<z.ZodBoolean>;
+        cache_key: z.ZodOptional<z.ZodString>;
+        cache_tier: z.ZodOptional<z.ZodString>;
+        cache_created_at: z.ZodOptional<z.ZodString>;
+        cache_expires_at: z.ZodOptional<z.ZodString>;
+        cache_hit_at: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        elapsed_ms: number;
+        tool: string;
+        cached?: boolean | undefined;
+        cache_key?: string | undefined;
+        cache_tier?: string | undefined;
+        cache_created_at?: string | undefined;
+        cache_expires_at?: string | undefined;
+        cache_hit_at?: string | undefined;
+    }, {
+        elapsed_ms: number;
+        tool: string;
+        cached?: boolean | undefined;
+        cache_key?: string | undefined;
+        cache_tier?: string | undefined;
+        cache_created_at?: string | undefined;
+        cache_expires_at?: string | undefined;
+        cache_hit_at?: string | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    ok: boolean;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+        cached?: boolean | undefined;
+        cache_key?: string | undefined;
+        cache_tier?: string | undefined;
+        cache_created_at?: string | undefined;
+        cache_expires_at?: string | undefined;
+        cache_hit_at?: string | undefined;
+    } | undefined;
+    data?: {
+        sample_id: string;
+        mode: "topk" | "single";
+        functions: {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+            target: string;
+            evidence: {
+                caller_count: number;
+                callee_count: number;
+                pseudocode_lines: number;
+                cfg_nodes: number;
+                cfg_edges: number;
+                instruction_count: number;
+            };
+            confidence_breakdown: {
+                decompile: number;
+                cfg: number;
+                context: number;
+                assembly: number;
+            };
+            semantic_summary: string;
+            xref_signals: {
+                confidence: number;
+                api: string;
+                evidence: string[];
+                provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+            }[];
+            call_relationships: {
+                callees: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+                callers: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+            };
+            rank_score: number | null;
+            rank_reasons: string[];
+            call_context: {
+                callees: string[];
+                callers: string[];
+            };
+            behavior_tags: string[];
+            source_like_snippet: string;
+            assembly_excerpt: string;
+            runtime_context?: {
+                confidence: number;
+                notes: string[];
+                corroborated_apis: string[];
+                corroborated_stages: string[];
+                executed?: boolean | undefined;
+                artifact_count?: number | undefined;
+                executed_artifact_count?: number | undefined;
+                source_names?: string[] | undefined;
+                scope_note?: string | undefined;
+                latest_artifact_at?: string | null | undefined;
+                evidence_sources?: string[] | undefined;
+                matched_memory_regions?: string[] | undefined;
+                suggested_modules?: string[] | undefined;
+                matched_by?: string[] | undefined;
+                provenance_layers?: string[] | undefined;
+            } | null | undefined;
+            parameter_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                slot: string;
+                inferred_type: string;
+            }[] | undefined;
+            state_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                state_key: string;
+            }[] | undefined;
+            struct_inference?: {
+                kind: "session" | "context" | "result" | "request" | "table";
+                confidence: number;
+                evidence: string[];
+                semantic_name: string;
+                fields: {
+                    name: string;
+                    inferred_type: string;
+                    source_slot?: string | null | undefined;
+                }[];
+                rewrite_type_name?: string | null | undefined;
+            }[] | undefined;
+            suggested_name?: string | null | undefined;
+            suggested_role?: string | null | undefined;
+            rename_confidence?: number | null | undefined;
+            rename_evidence?: string[] | undefined;
+            semantic_evidence?: {
+                semantic_summary: string;
+                xref_signals: {
+                    confidence: number;
+                    api: string;
+                    evidence: string[];
+                    provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+                }[];
+                call_relationships: {
+                    callees: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                    callers: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                };
+                string_hints: string[];
+                pseudocode_excerpt: string;
+                cfg_shape: {
+                    node_count: number;
+                    edge_count: number;
+                    has_loop: boolean;
+                    has_branching: boolean;
+                    block_types: string[];
+                    entry_block_type: string | null;
+                };
+                parameter_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    slot: string;
+                    inferred_type: string;
+                }[];
+                state_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    state_key: string;
+                }[];
+                struct_inference: {
+                    kind: "session" | "context" | "result" | "request" | "table";
+                    confidence: number;
+                    evidence: string[];
+                    semantic_name: string;
+                    fields: {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }[];
+                    rewrite_type_name?: string | null | undefined;
+                }[];
+                runtime_context?: {
+                    confidence: number;
+                    notes: string[];
+                    corroborated_apis: string[];
+                    corroborated_stages: string[];
+                    executed?: boolean | undefined;
+                    artifact_count?: number | undefined;
+                    executed_artifact_count?: number | undefined;
+                    source_names?: string[] | undefined;
+                    scope_note?: string | undefined;
+                    latest_artifact_at?: string | null | undefined;
+                    evidence_sources?: string[] | undefined;
+                    matched_memory_regions?: string[] | undefined;
+                    suggested_modules?: string[] | undefined;
+                    matched_by?: string[] | undefined;
+                    provenance_layers?: string[] | undefined;
+                } | null | undefined;
+            } | undefined;
+            name_resolution?: {
+                rule_based_name: string | null;
+                llm_suggested_name: string | null;
+                llm_confidence: number | null;
+                llm_why: string | null;
+                required_assumptions: string[];
+                evidence_used: string[];
+                validated_name: string | null;
+                resolution_source: "hybrid" | "rule" | "llm" | "unresolved";
+                unresolved_semantic_name: boolean;
+            } | undefined;
+            confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+            runtime_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | null | undefined;
+            naming_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+        }[];
+        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;
+        };
+        requested_count: number;
+        reconstructed_count: number;
+        overall_confidence: number;
+        confidence_map: {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+        }[];
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+}, {
+    ok: boolean;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+        cached?: boolean | undefined;
+        cache_key?: string | undefined;
+        cache_tier?: string | undefined;
+        cache_created_at?: string | undefined;
+        cache_expires_at?: string | undefined;
+        cache_hit_at?: string | undefined;
+    } | undefined;
+    data?: {
+        sample_id: string;
+        mode: "topk" | "single";
+        functions: {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+            target: string;
+            evidence: {
+                caller_count: number;
+                callee_count: number;
+                pseudocode_lines: number;
+                cfg_nodes: number;
+                cfg_edges: number;
+                instruction_count: number;
+            };
+            confidence_breakdown: {
+                decompile: number;
+                cfg: number;
+                context: number;
+                assembly: number;
+            };
+            semantic_summary: string;
+            xref_signals: {
+                confidence: number;
+                api: string;
+                evidence: string[];
+                provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+            }[];
+            call_relationships: {
+                callees: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+                callers: {
+                    target: string;
+                    relation_types: string[];
+                    reference_types: string[];
+                    resolved_by: string | null;
+                    is_exact: boolean | null;
+                }[];
+            };
+            rank_score: number | null;
+            rank_reasons: string[];
+            call_context: {
+                callees: string[];
+                callers: string[];
+            };
+            behavior_tags: string[];
+            source_like_snippet: string;
+            assembly_excerpt: string;
+            runtime_context?: {
+                confidence: number;
+                notes: string[];
+                corroborated_apis: string[];
+                corroborated_stages: string[];
+                executed?: boolean | undefined;
+                artifact_count?: number | undefined;
+                executed_artifact_count?: number | undefined;
+                source_names?: string[] | undefined;
+                scope_note?: string | undefined;
+                latest_artifact_at?: string | null | undefined;
+                evidence_sources?: string[] | undefined;
+                matched_memory_regions?: string[] | undefined;
+                suggested_modules?: string[] | undefined;
+                matched_by?: string[] | undefined;
+                provenance_layers?: string[] | undefined;
+            } | null | undefined;
+            parameter_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                slot: string;
+                inferred_type: string;
+            }[] | undefined;
+            state_roles?: {
+                confidence: number;
+                evidence: string[];
+                role: string;
+                state_key: string;
+            }[] | undefined;
+            struct_inference?: {
+                kind: "session" | "context" | "result" | "request" | "table";
+                confidence: number;
+                evidence: string[];
+                semantic_name: string;
+                fields: {
+                    name: string;
+                    inferred_type: string;
+                    source_slot?: string | null | undefined;
+                }[];
+                rewrite_type_name?: string | null | undefined;
+            }[] | undefined;
+            suggested_name?: string | null | undefined;
+            suggested_role?: string | null | undefined;
+            rename_confidence?: number | null | undefined;
+            rename_evidence?: string[] | undefined;
+            semantic_evidence?: {
+                semantic_summary: string;
+                xref_signals: {
+                    confidence: number;
+                    api: string;
+                    evidence: string[];
+                    provenance: "unknown" | "static_named_call" | "dynamic_resolution_api" | "dynamic_resolution_helper" | "global_string_hint";
+                }[];
+                call_relationships: {
+                    callees: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                    callers: {
+                        target: string;
+                        relation_types: string[];
+                        reference_types: string[];
+                        resolved_by: string | null;
+                        is_exact: boolean | null;
+                    }[];
+                };
+                string_hints: string[];
+                pseudocode_excerpt: string;
+                cfg_shape: {
+                    node_count: number;
+                    edge_count: number;
+                    has_loop: boolean;
+                    has_branching: boolean;
+                    block_types: string[];
+                    entry_block_type: string | null;
+                };
+                parameter_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    slot: string;
+                    inferred_type: string;
+                }[];
+                state_roles: {
+                    confidence: number;
+                    evidence: string[];
+                    role: string;
+                    state_key: string;
+                }[];
+                struct_inference: {
+                    kind: "session" | "context" | "result" | "request" | "table";
+                    confidence: number;
+                    evidence: string[];
+                    semantic_name: string;
+                    fields: {
+                        name: string;
+                        inferred_type: string;
+                        source_slot?: string | null | undefined;
+                    }[];
+                    rewrite_type_name?: string | null | undefined;
+                }[];
+                runtime_context?: {
+                    confidence: number;
+                    notes: string[];
+                    corroborated_apis: string[];
+                    corroborated_stages: string[];
+                    executed?: boolean | undefined;
+                    artifact_count?: number | undefined;
+                    executed_artifact_count?: number | undefined;
+                    source_names?: string[] | undefined;
+                    scope_note?: string | undefined;
+                    latest_artifact_at?: string | null | undefined;
+                    evidence_sources?: string[] | undefined;
+                    matched_memory_regions?: string[] | undefined;
+                    suggested_modules?: string[] | undefined;
+                    matched_by?: string[] | undefined;
+                    provenance_layers?: string[] | undefined;
+                } | null | undefined;
+            } | undefined;
+            name_resolution?: {
+                rule_based_name: string | null;
+                llm_suggested_name: string | null;
+                llm_confidence: number | null;
+                llm_why: string | null;
+                required_assumptions: string[];
+                evidence_used: string[];
+                validated_name: string | null;
+                resolution_source: "hybrid" | "rule" | "llm" | "unresolved";
+                unresolved_semantic_name: boolean;
+            } | undefined;
+            confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+            runtime_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | null | undefined;
+            naming_confidence_profile?: {
+                score: number | null;
+                score_kind: "heuristic_reconstruction" | "runtime_correlation" | "naming_resolution" | "report_assessment";
+                band: "high" | "none" | "low" | "medium";
+                calibrated: boolean;
+                meaning: string;
+                compare_within: string;
+                caution: string;
+                drivers: string[];
+                acceptance_rule?: string | null | undefined;
+            } | undefined;
+        }[];
+        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;
+        };
+        requested_count: number;
+        reconstructed_count: number;
+        overall_confidence: number;
+        confidence_map: {
+            function: string;
+            address: string;
+            gaps: string[];
+            confidence: number;
+        }[];
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+}>;
+export type CodeFunctionsReconstructOutput = z.infer<typeof CodeFunctionsReconstructOutputSchema>;
+export declare const codeFunctionsReconstructToolDefinition: ToolDefinition;
+interface CodeFunctionsReconstructDependencies {
+    rankFunctions?: (sampleId: string, topK: number) => Promise<RankedFunction[]>;
+    decompileFunction?: (sampleId: string, addressOrSymbol: string, includeXrefs: boolean, timeoutMs: number) => Promise<DecompiledFunction>;
+    getFunctionCFG?: (sampleId: string, addressOrSymbol: string, timeoutMs: number) => Promise<ControlFlowGraph>;
+    runtimeEvidenceLoader?: (sampleId: string, options?: {
+        evidenceScope?: 'all' | 'latest' | 'session';
+        sessionTag?: string;
+    }) => Promise<DynamicTraceSummary | null>;
+    stringEvidenceLoader?: (sampleId: string) => Promise<SampleStringEvidence | null>;
+    semanticNameSuggester?: (evidencePack: SemanticEvidencePack) => Promise<ConstrainedSemanticNameSuggestion | null>;
+    externalSemanticSuggestionLoader?: (sampleId: string, options?: {
+        scope?: 'all' | 'latest' | 'session';
+        sessionTag?: string;
+    }) => Promise<SemanticNameSuggestionIndex | null>;
+}
+interface SampleStringValue {
+    offset: number;
+    string: string;
+    encoding?: string;
+    categories?: string[];
+}
+interface SampleStringContextWindow {
+    start_offset: number;
+    end_offset: number;
+    score: number;
+    categories: string[];
+    strings: SampleStringValue[];
+}
+interface SampleStringEvidence {
+    top_high_value: SampleStringValue[];
+    context_windows: SampleStringContextWindow[];
+}
+interface SemanticEvidencePack {
+    function_name: string;
+    address: string;
+    semantic_summary: string;
+    xref_signals: FunctionXrefSummary[];
+    call_relationships: RelationshipContext;
+    runtime_context: ReturnType<typeof correlateFunctionWithRuntimeEvidence> | undefined;
+    string_hints: string[];
+    pseudocode_excerpt: string;
+    cfg_shape: {
+        node_count: number;
+        edge_count: number;
+        has_loop: boolean;
+        has_branching: boolean;
+        block_types: string[];
+        entry_block_type: string | null;
+    };
+    parameter_roles: Array<{
+        slot: string;
+        role: string;
+        inferred_type: string;
+        confidence: number;
+        evidence: string[];
+    }>;
+    state_roles: Array<{
+        state_key: string;
+        role: string;
+        confidence: number;
+        evidence: string[];
+    }>;
+    struct_inference: Array<{
+        semantic_name: string;
+        rewrite_type_name?: string | null;
+        kind: 'request' | 'result' | 'context' | 'table' | 'session';
+        confidence: number;
+        fields: Array<{
+            name: string;
+            inferred_type: string;
+            source_slot?: string | null;
+        }>;
+        evidence: string[];
+    }>;
+}
+interface ConstrainedSemanticNameSuggestion {
+    candidate_name: string;
+    confidence: number;
+    why: string;
+    required_assumptions: string[];
+    evidence_used: string[];
+}
+interface RelationshipSummaryEntry {
+    target: string;
+    relation_types: string[];
+    reference_types: string[];
+    resolved_by: string | null;
+    is_exact: boolean | null;
+}
+interface RelationshipContext {
+    callers: RelationshipSummaryEntry[];
+    callees: RelationshipSummaryEntry[];
+}
+export declare function buildDefaultSemanticNameSuggestion(evidencePack: SemanticEvidencePack): ConstrainedSemanticNameSuggestion | null;
+export declare function createCodeFunctionsReconstructHandler(workspaceManager: WorkspaceManager, database: DatabaseManager, cacheManager: CacheManager, dependencies?: CodeFunctionsReconstructDependencies): (args: ToolArgs) => Promise<WorkerResult>;
+export {};
+//# sourceMappingURL=code-functions-reconstruct.d.ts.map