windows-exe-decompiler-mcp-server 0.1.0

package/dist/tools/code-function-rename-prepare.d.ts

@@ -0,0 +1,506 @@
+import { z } from 'zod';
+import type { ToolArgs, ToolDefinition, WorkerResult } from '../types.js';
+import type { WorkspaceManager } from '../workspace-manager.js';
+import type { DatabaseManager } from '../database.js';
+import type { CacheManager } from '../cache-manager.js';
+export declare const codeFunctionRenamePrepareInputSchema: 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>;
+    max_functions: z.ZodDefault<z.ZodNumber>;
+    include_resolved: z.ZodDefault<z.ZodBoolean>;
+    analysis_goal: z.ZodDefault<z.ZodString>;
+    persist_artifact: z.ZodDefault<z.ZodBoolean>;
+    session_tag: z.ZodOptional<z.ZodString>;
+    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, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    analysis_goal: string;
+    include_resolved: boolean;
+    max_functions: number;
+    persist_artifact: boolean;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+}, {
+    sample_id: string;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    topk?: number | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+    analysis_goal?: string | undefined;
+    include_resolved?: boolean | undefined;
+    max_functions?: number | undefined;
+    persist_artifact?: boolean | undefined;
+}>, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    analysis_goal: string;
+    include_resolved: boolean;
+    max_functions: number;
+    persist_artifact: boolean;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+}, {
+    sample_id: string;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    topk?: number | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+    analysis_goal?: string | undefined;
+    include_resolved?: boolean | undefined;
+    max_functions?: number | undefined;
+    persist_artifact?: boolean | undefined;
+}>, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    analysis_goal: string;
+    include_resolved: boolean;
+    max_functions: number;
+    persist_artifact: boolean;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+}, {
+    sample_id: string;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    topk?: number | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+    analysis_goal?: string | undefined;
+    include_resolved?: boolean | undefined;
+    max_functions?: number | undefined;
+    persist_artifact?: boolean | undefined;
+}>;
+export declare const codeFunctionRenamePrepareOutputSchema: z.ZodObject<{
+    ok: z.ZodBoolean;
+    data: z.ZodOptional<z.ZodObject<{
+        sample_id: z.ZodString;
+        analysis_goal: z.ZodString;
+        prepared_count: z.ZodNumber;
+        unresolved_count: z.ZodNumber;
+        prompt_name: z.ZodLiteral<"reverse.semantic_name_review">;
+        prompt_arguments: z.ZodObject<{
+            analysis_goal: z.ZodString;
+            prepared_bundle_json: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        }, {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        }>;
+        task_prompt: z.ZodString;
+        prepared_bundle: z.ZodObject<{
+            schema_version: z.ZodLiteral<1>;
+            sample_id: z.ZodString;
+            analysis_goal: z.ZodString;
+            generated_at: z.ZodString;
+            selection: z.ZodObject<{
+                address: z.ZodNullable<z.ZodString>;
+                symbol: z.ZodNullable<z.ZodString>;
+                topk: z.ZodNumber;
+                include_resolved: z.ZodBoolean;
+                max_functions: z.ZodNumber;
+                evidence_scope: z.ZodEnum<["all", "latest", "session"]>;
+                evidence_session_tag: z.ZodNullable<z.ZodString>;
+                semantic_scope: z.ZodEnum<["all", "latest", "session"]>;
+                semantic_session_tag: z.ZodNullable<z.ZodString>;
+            }, "strip", z.ZodTypeAny, {
+                symbol: string | null;
+                address: string | null;
+                evidence_scope: "all" | "latest" | "session";
+                topk: number;
+                evidence_session_tag: string | null;
+                semantic_scope: "all" | "latest" | "session";
+                semantic_session_tag: string | null;
+                include_resolved: boolean;
+                max_functions: number;
+            }, {
+                symbol: string | null;
+                address: string | null;
+                evidence_scope: "all" | "latest" | "session";
+                topk: number;
+                evidence_session_tag: string | null;
+                semantic_scope: "all" | "latest" | "session";
+                semantic_session_tag: string | null;
+                include_resolved: boolean;
+                max_functions: number;
+            }>;
+            suggestion_contract: z.ZodObject<{
+                output_root: z.ZodLiteral<"suggestions">;
+                required_fields: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                output_root: "suggestions";
+                required_fields: string[];
+            }, {
+                output_root: "suggestions";
+                required_fields: string[];
+            }>;
+            functions: z.ZodArray<z.ZodObject<{
+                function: z.ZodString;
+                address: z.ZodString;
+                confidence: z.ZodNumber;
+                suggested_name: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                name_resolution: z.ZodOptional<z.ZodAny>;
+                semantic_evidence: z.ZodOptional<z.ZodAny>;
+                suggestion_required: z.ZodBoolean;
+            }, "strip", z.ZodTypeAny, {
+                function: string;
+                address: string;
+                confidence: number;
+                suggestion_required: boolean;
+                suggested_name?: string | null | undefined;
+                semantic_evidence?: any;
+                name_resolution?: any;
+            }, {
+                function: string;
+                address: string;
+                confidence: number;
+                suggestion_required: boolean;
+                suggested_name?: string | null | undefined;
+                semantic_evidence?: any;
+                name_resolution?: any;
+            }>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            sample_id: string;
+            schema_version: 1;
+            functions: {
+                function: string;
+                address: string;
+                confidence: number;
+                suggestion_required: boolean;
+                suggested_name?: string | null | undefined;
+                semantic_evidence?: any;
+                name_resolution?: any;
+            }[];
+            analysis_goal: string;
+            generated_at: string;
+            selection: {
+                symbol: string | null;
+                address: string | null;
+                evidence_scope: "all" | "latest" | "session";
+                topk: number;
+                evidence_session_tag: string | null;
+                semantic_scope: "all" | "latest" | "session";
+                semantic_session_tag: string | null;
+                include_resolved: boolean;
+                max_functions: number;
+            };
+            suggestion_contract: {
+                output_root: "suggestions";
+                required_fields: string[];
+            };
+        }, {
+            sample_id: string;
+            schema_version: 1;
+            functions: {
+                function: string;
+                address: string;
+                confidence: number;
+                suggestion_required: boolean;
+                suggested_name?: string | null | undefined;
+                semantic_evidence?: any;
+                name_resolution?: any;
+            }[];
+            analysis_goal: string;
+            generated_at: string;
+            selection: {
+                symbol: string | null;
+                address: string | null;
+                evidence_scope: "all" | "latest" | "session";
+                topk: number;
+                evidence_session_tag: string | null;
+                semantic_scope: "all" | "latest" | "session";
+                semantic_session_tag: string | null;
+                include_resolved: boolean;
+                max_functions: number;
+            };
+            suggestion_contract: {
+                output_root: "suggestions";
+                required_fields: string[];
+            };
+        }>;
+        artifact: z.ZodOptional<z.ZodObject<{
+            id: z.ZodString;
+            type: z.ZodLiteral<"semantic_name_prepare_bundle">;
+            path: z.ZodString;
+            sha256: z.ZodString;
+            mime: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            type: "semantic_name_prepare_bundle";
+            id: string;
+            sha256: string;
+            mime?: string | undefined;
+        }, {
+            path: string;
+            type: "semantic_name_prepare_bundle";
+            id: string;
+            sha256: string;
+            mime?: string | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        sample_id: string;
+        unresolved_count: number;
+        analysis_goal: string;
+        prepared_count: number;
+        prompt_name: "reverse.semantic_name_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        prepared_bundle: {
+            sample_id: string;
+            schema_version: 1;
+            functions: {
+                function: string;
+                address: string;
+                confidence: number;
+                suggestion_required: boolean;
+                suggested_name?: string | null | undefined;
+                semantic_evidence?: any;
+                name_resolution?: any;
+            }[];
+            analysis_goal: string;
+            generated_at: string;
+            selection: {
+                symbol: string | null;
+                address: string | null;
+                evidence_scope: "all" | "latest" | "session";
+                topk: number;
+                evidence_session_tag: string | null;
+                semantic_scope: "all" | "latest" | "session";
+                semantic_session_tag: string | null;
+                include_resolved: boolean;
+                max_functions: number;
+            };
+            suggestion_contract: {
+                output_root: "suggestions";
+                required_fields: string[];
+            };
+        };
+        artifact?: {
+            path: string;
+            type: "semantic_name_prepare_bundle";
+            id: string;
+            sha256: string;
+            mime?: string | undefined;
+        } | undefined;
+    }, {
+        sample_id: string;
+        unresolved_count: number;
+        analysis_goal: string;
+        prepared_count: number;
+        prompt_name: "reverse.semantic_name_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        prepared_bundle: {
+            sample_id: string;
+            schema_version: 1;
+            functions: {
+                function: string;
+                address: string;
+                confidence: number;
+                suggestion_required: boolean;
+                suggested_name?: string | null | undefined;
+                semantic_evidence?: any;
+                name_resolution?: any;
+            }[];
+            analysis_goal: string;
+            generated_at: string;
+            selection: {
+                symbol: string | null;
+                address: string | null;
+                evidence_scope: "all" | "latest" | "session";
+                topk: number;
+                evidence_session_tag: string | null;
+                semantic_scope: "all" | "latest" | "session";
+                semantic_session_tag: string | null;
+                include_resolved: boolean;
+                max_functions: number;
+            };
+            suggestion_contract: {
+                output_root: "suggestions";
+                required_fields: string[];
+            };
+        };
+        artifact?: {
+            path: string;
+            type: "semantic_name_prepare_bundle";
+            id: string;
+            sha256: string;
+            mime?: string | undefined;
+        } | undefined;
+    }>>;
+    warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    errors: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    artifacts: z.ZodOptional<z.ZodArray<z.ZodAny, "many">>;
+    metrics: z.ZodOptional<z.ZodObject<{
+        elapsed_ms: z.ZodNumber;
+        tool: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        elapsed_ms: number;
+        tool: string;
+    }, {
+        elapsed_ms: number;
+        tool: string;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    ok: boolean;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+    } | undefined;
+    data?: {
+        sample_id: string;
+        unresolved_count: number;
+        analysis_goal: string;
+        prepared_count: number;
+        prompt_name: "reverse.semantic_name_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        prepared_bundle: {
+            sample_id: string;
+            schema_version: 1;
+            functions: {
+                function: string;
+                address: string;
+                confidence: number;
+                suggestion_required: boolean;
+                suggested_name?: string | null | undefined;
+                semantic_evidence?: any;
+                name_resolution?: any;
+            }[];
+            analysis_goal: string;
+            generated_at: string;
+            selection: {
+                symbol: string | null;
+                address: string | null;
+                evidence_scope: "all" | "latest" | "session";
+                topk: number;
+                evidence_session_tag: string | null;
+                semantic_scope: "all" | "latest" | "session";
+                semantic_session_tag: string | null;
+                include_resolved: boolean;
+                max_functions: number;
+            };
+            suggestion_contract: {
+                output_root: "suggestions";
+                required_fields: string[];
+            };
+        };
+        artifact?: {
+            path: string;
+            type: "semantic_name_prepare_bundle";
+            id: string;
+            sha256: string;
+            mime?: string | undefined;
+        } | undefined;
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+    artifacts?: any[] | undefined;
+}, {
+    ok: boolean;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+    } | undefined;
+    data?: {
+        sample_id: string;
+        unresolved_count: number;
+        analysis_goal: string;
+        prepared_count: number;
+        prompt_name: "reverse.semantic_name_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        prepared_bundle: {
+            sample_id: string;
+            schema_version: 1;
+            functions: {
+                function: string;
+                address: string;
+                confidence: number;
+                suggestion_required: boolean;
+                suggested_name?: string | null | undefined;
+                semantic_evidence?: any;
+                name_resolution?: any;
+            }[];
+            analysis_goal: string;
+            generated_at: string;
+            selection: {
+                symbol: string | null;
+                address: string | null;
+                evidence_scope: "all" | "latest" | "session";
+                topk: number;
+                evidence_session_tag: string | null;
+                semantic_scope: "all" | "latest" | "session";
+                semantic_session_tag: string | null;
+                include_resolved: boolean;
+                max_functions: number;
+            };
+            suggestion_contract: {
+                output_root: "suggestions";
+                required_fields: string[];
+            };
+        };
+        artifact?: {
+            path: string;
+            type: "semantic_name_prepare_bundle";
+            id: string;
+            sha256: string;
+            mime?: string | undefined;
+        } | undefined;
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+    artifacts?: any[] | undefined;
+}>;
+export declare const codeFunctionRenamePrepareToolDefinition: ToolDefinition;
+interface CodeFunctionRenamePrepareDependencies {
+    reconstructHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+}
+export declare function createCodeFunctionRenamePrepareHandler(workspaceManager: WorkspaceManager, database: DatabaseManager, cacheManager: CacheManager, dependencies?: CodeFunctionRenamePrepareDependencies): (args: ToolArgs) => Promise<WorkerResult>;
+export {};
+//# sourceMappingURL=code-function-rename-prepare.d.ts.map