windows-exe-decompiler-mcp-server 0.1.0

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

@@ -0,0 +1,574 @@
+import { z } from 'zod';
+import type { ClientCapabilities, CreateMessageRequest, CreateMessageResult, CreateMessageResultWithTools, Implementation } from '@modelcontextprotocol/sdk/types.js';
+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';
+import type { MCPServer } from '../server.js';
+export declare const codeFunctionRenameReviewInputSchema: 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>;
+    auto_include_resolved_on_empty: z.ZodDefault<z.ZodBoolean>;
+    analysis_goal: z.ZodDefault<z.ZodString>;
+    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>;
+    persist_artifact: z.ZodDefault<z.ZodBoolean>;
+    auto_apply: z.ZodDefault<z.ZodBoolean>;
+    rerun_reconstruct: z.ZodDefault<z.ZodBoolean>;
+    temperature: z.ZodDefault<z.ZodNumber>;
+    max_tokens: z.ZodDefault<z.ZodNumber>;
+    include_context: z.ZodDefault<z.ZodEnum<["none", "thisServer", "allServers"]>>;
+    model_hint: z.ZodOptional<z.ZodString>;
+    cost_priority: z.ZodDefault<z.ZodNumber>;
+    speed_priority: z.ZodDefault<z.ZodNumber>;
+    intelligence_priority: z.ZodDefault<z.ZodNumber>;
+    system_prompt: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    temperature: number;
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    analysis_goal: string;
+    include_resolved: boolean;
+    max_functions: number;
+    persist_artifact: boolean;
+    auto_include_resolved_on_empty: boolean;
+    auto_apply: boolean;
+    rerun_reconstruct: boolean;
+    max_tokens: number;
+    include_context: "none" | "thisServer" | "allServers";
+    cost_priority: number;
+    speed_priority: number;
+    intelligence_priority: number;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    model_hint?: string | undefined;
+    system_prompt?: string | undefined;
+}, {
+    sample_id: string;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    temperature?: number | 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;
+    auto_include_resolved_on_empty?: boolean | undefined;
+    auto_apply?: boolean | undefined;
+    rerun_reconstruct?: boolean | undefined;
+    max_tokens?: number | undefined;
+    include_context?: "none" | "thisServer" | "allServers" | undefined;
+    model_hint?: string | undefined;
+    cost_priority?: number | undefined;
+    speed_priority?: number | undefined;
+    intelligence_priority?: number | undefined;
+    system_prompt?: string | undefined;
+}>, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    temperature: number;
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    analysis_goal: string;
+    include_resolved: boolean;
+    max_functions: number;
+    persist_artifact: boolean;
+    auto_include_resolved_on_empty: boolean;
+    auto_apply: boolean;
+    rerun_reconstruct: boolean;
+    max_tokens: number;
+    include_context: "none" | "thisServer" | "allServers";
+    cost_priority: number;
+    speed_priority: number;
+    intelligence_priority: number;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    model_hint?: string | undefined;
+    system_prompt?: string | undefined;
+}, {
+    sample_id: string;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    temperature?: number | 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;
+    auto_include_resolved_on_empty?: boolean | undefined;
+    auto_apply?: boolean | undefined;
+    rerun_reconstruct?: boolean | undefined;
+    max_tokens?: number | undefined;
+    include_context?: "none" | "thisServer" | "allServers" | undefined;
+    model_hint?: string | undefined;
+    cost_priority?: number | undefined;
+    speed_priority?: number | undefined;
+    intelligence_priority?: number | undefined;
+    system_prompt?: string | undefined;
+}>, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    temperature: number;
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    analysis_goal: string;
+    include_resolved: boolean;
+    max_functions: number;
+    persist_artifact: boolean;
+    auto_include_resolved_on_empty: boolean;
+    auto_apply: boolean;
+    rerun_reconstruct: boolean;
+    max_tokens: number;
+    include_context: "none" | "thisServer" | "allServers";
+    cost_priority: number;
+    speed_priority: number;
+    intelligence_priority: number;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    model_hint?: string | undefined;
+    system_prompt?: string | undefined;
+}, {
+    sample_id: string;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    temperature?: number | 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;
+    auto_include_resolved_on_empty?: boolean | undefined;
+    auto_apply?: boolean | undefined;
+    rerun_reconstruct?: boolean | undefined;
+    max_tokens?: number | undefined;
+    include_context?: "none" | "thisServer" | "allServers" | undefined;
+    model_hint?: string | undefined;
+    cost_priority?: number | undefined;
+    speed_priority?: number | undefined;
+    intelligence_priority?: number | undefined;
+    system_prompt?: string | undefined;
+}>;
+export declare const codeFunctionRenameReviewOutputSchema: z.ZodObject<{
+    ok: z.ZodBoolean;
+    data: z.ZodOptional<z.ZodObject<{
+        sample_id: z.ZodString;
+        review_status: z.ZodEnum<["sampled_and_applied", "sampled_only", "prompt_contract_only", "no_targets", "sampling_parse_failed"]>;
+        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;
+        client: z.ZodObject<{
+            name: z.ZodNullable<z.ZodString>;
+            version: z.ZodNullable<z.ZodString>;
+            sampling_available: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        }, {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        }>;
+        prepare: z.ZodObject<{
+            prepared_count: z.ZodNumber;
+            unresolved_count: z.ZodNumber;
+            include_resolved: z.ZodBoolean;
+            artifact_id: z.ZodNullable<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            artifact_id: string | null;
+            unresolved_count: number;
+            include_resolved: boolean;
+            prepared_count: number;
+        }, {
+            artifact_id: string | null;
+            unresolved_count: number;
+            include_resolved: boolean;
+            prepared_count: number;
+        }>;
+        sampling: z.ZodObject<{
+            attempted: z.ZodBoolean;
+            model: z.ZodNullable<z.ZodString>;
+            stop_reason: z.ZodNullable<z.ZodString>;
+            response_text: z.ZodNullable<z.ZodString>;
+            parsed_suggestion_count: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            model: string | null;
+            attempted: boolean;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_suggestion_count: number;
+        }, {
+            model: string | null;
+            attempted: boolean;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_suggestion_count: number;
+        }>;
+        apply: z.ZodObject<{
+            attempted: z.ZodBoolean;
+            accepted_count: z.ZodNumber;
+            rejected_count: z.ZodNumber;
+            artifact_id: z.ZodNullable<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            artifact_id: string | null;
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+        }, {
+            artifact_id: string | null;
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+        }>;
+        reconstruct: z.ZodObject<{
+            attempted: z.ZodBoolean;
+            reconstructed_count: z.ZodNumber;
+            llm_or_hybrid_count: z.ZodNumber;
+            functions: z.ZodArray<z.ZodObject<{
+                function: z.ZodString;
+                address: z.ZodString;
+                validated_name: z.ZodNullable<z.ZodString>;
+                resolution_source: z.ZodNullable<z.ZodString>;
+            }, "strip", z.ZodTypeAny, {
+                function: string;
+                address: string;
+                validated_name: string | null;
+                resolution_source: string | null;
+            }, {
+                function: string;
+                address: string;
+                validated_name: string | null;
+                resolution_source: string | null;
+            }>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            functions: {
+                function: string;
+                address: string;
+                validated_name: string | null;
+                resolution_source: string | null;
+            }[];
+            reconstructed_count: number;
+            attempted: boolean;
+            llm_or_hybrid_count: number;
+        }, {
+            functions: {
+                function: string;
+                address: string;
+                validated_name: string | null;
+                resolution_source: string | null;
+            }[];
+            reconstructed_count: number;
+            attempted: boolean;
+            llm_or_hybrid_count: number;
+        }>;
+        confidence_policy: z.ZodObject<{
+            calibrated: z.ZodBoolean;
+            rule_priority_over_llm: z.ZodBoolean;
+            llm_acceptance_threshold: z.ZodNumber;
+            meaning: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            calibrated: boolean;
+            meaning: string;
+            rule_priority_over_llm: boolean;
+            llm_acceptance_threshold: number;
+        }, {
+            calibrated: boolean;
+            meaning: string;
+            rule_priority_over_llm: boolean;
+            llm_acceptance_threshold: number;
+        }>;
+        next_steps: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        sample_id: string;
+        sampling: {
+            model: string | null;
+            attempted: boolean;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_suggestion_count: number;
+        };
+        reconstruct: {
+            functions: {
+                function: string;
+                address: string;
+                validated_name: string | null;
+                resolution_source: string | null;
+            }[];
+            reconstructed_count: number;
+            attempted: boolean;
+            llm_or_hybrid_count: number;
+        };
+        client: {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        };
+        prompt_name: "reverse.semantic_name_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        next_steps: string[];
+        review_status: "sampled_and_applied" | "sampled_only" | "prompt_contract_only" | "no_targets" | "sampling_parse_failed";
+        prepare: {
+            artifact_id: string | null;
+            unresolved_count: number;
+            include_resolved: boolean;
+            prepared_count: number;
+        };
+        apply: {
+            artifact_id: string | null;
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+        };
+        confidence_policy: {
+            calibrated: boolean;
+            meaning: string;
+            rule_priority_over_llm: boolean;
+            llm_acceptance_threshold: number;
+        };
+    }, {
+        sample_id: string;
+        sampling: {
+            model: string | null;
+            attempted: boolean;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_suggestion_count: number;
+        };
+        reconstruct: {
+            functions: {
+                function: string;
+                address: string;
+                validated_name: string | null;
+                resolution_source: string | null;
+            }[];
+            reconstructed_count: number;
+            attempted: boolean;
+            llm_or_hybrid_count: number;
+        };
+        client: {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        };
+        prompt_name: "reverse.semantic_name_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        next_steps: string[];
+        review_status: "sampled_and_applied" | "sampled_only" | "prompt_contract_only" | "no_targets" | "sampling_parse_failed";
+        prepare: {
+            artifact_id: string | null;
+            unresolved_count: number;
+            include_resolved: boolean;
+            prepared_count: number;
+        };
+        apply: {
+            artifact_id: string | null;
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+        };
+        confidence_policy: {
+            calibrated: boolean;
+            meaning: string;
+            rule_priority_over_llm: boolean;
+            llm_acceptance_threshold: number;
+        };
+    }>>;
+    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;
+        sampling: {
+            model: string | null;
+            attempted: boolean;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_suggestion_count: number;
+        };
+        reconstruct: {
+            functions: {
+                function: string;
+                address: string;
+                validated_name: string | null;
+                resolution_source: string | null;
+            }[];
+            reconstructed_count: number;
+            attempted: boolean;
+            llm_or_hybrid_count: number;
+        };
+        client: {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        };
+        prompt_name: "reverse.semantic_name_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        next_steps: string[];
+        review_status: "sampled_and_applied" | "sampled_only" | "prompt_contract_only" | "no_targets" | "sampling_parse_failed";
+        prepare: {
+            artifact_id: string | null;
+            unresolved_count: number;
+            include_resolved: boolean;
+            prepared_count: number;
+        };
+        apply: {
+            artifact_id: string | null;
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+        };
+        confidence_policy: {
+            calibrated: boolean;
+            meaning: string;
+            rule_priority_over_llm: boolean;
+            llm_acceptance_threshold: number;
+        };
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+    artifacts?: any[] | undefined;
+}, {
+    ok: boolean;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+    } | undefined;
+    data?: {
+        sample_id: string;
+        sampling: {
+            model: string | null;
+            attempted: boolean;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_suggestion_count: number;
+        };
+        reconstruct: {
+            functions: {
+                function: string;
+                address: string;
+                validated_name: string | null;
+                resolution_source: string | null;
+            }[];
+            reconstructed_count: number;
+            attempted: boolean;
+            llm_or_hybrid_count: number;
+        };
+        client: {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        };
+        prompt_name: "reverse.semantic_name_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        next_steps: string[];
+        review_status: "sampled_and_applied" | "sampled_only" | "prompt_contract_only" | "no_targets" | "sampling_parse_failed";
+        prepare: {
+            artifact_id: string | null;
+            unresolved_count: number;
+            include_resolved: boolean;
+            prepared_count: number;
+        };
+        apply: {
+            artifact_id: string | null;
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+        };
+        confidence_policy: {
+            calibrated: boolean;
+            meaning: string;
+            rule_priority_over_llm: boolean;
+            llm_acceptance_threshold: number;
+        };
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+    artifacts?: any[] | undefined;
+}>;
+export declare const codeFunctionRenameReviewToolDefinition: ToolDefinition;
+type SamplingResult = CreateMessageResult | CreateMessageResultWithTools;
+interface CodeFunctionRenameReviewDependencies {
+    prepareHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    applyHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    reconstructHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    samplingRequester?: (params: CreateMessageRequest['params']) => Promise<SamplingResult>;
+    clientCapabilitiesProvider?: () => ClientCapabilities | undefined;
+    clientVersionProvider?: () => Implementation | undefined;
+}
+export declare function createCodeFunctionRenameReviewHandler(workspaceManager: WorkspaceManager, database: DatabaseManager, cacheManager: CacheManager, mcpServer?: MCPServer, dependencies?: CodeFunctionRenameReviewDependencies): (args: ToolArgs) => Promise<WorkerResult>;
+export {};
+//# sourceMappingURL=code-function-rename-review.d.ts.map