windows-exe-decompiler-mcp-server 0.1.0

package/dist/workflows/function-explanation-review.d.ts

@@ -0,0 +1,655 @@
+/**
+ * workflow.function_explanation_review
+ * High-level orchestration for function explanation review plus optional reconstruct export refresh.
+ */
+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';
+import type { MCPServer } from '../server.js';
+export declare const functionExplanationReviewWorkflowInputSchema: 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>;
+    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>;
+    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>;
+    rerun_export: z.ZodDefault<z.ZodBoolean>;
+    export_path: z.ZodDefault<z.ZodEnum<["auto", "native", "dotnet"]>>;
+    export_topk: z.ZodDefault<z.ZodNumber>;
+    export_name: z.ZodOptional<z.ZodString>;
+    include_plan: z.ZodDefault<z.ZodBoolean>;
+    include_obfuscation_fallback: z.ZodDefault<z.ZodBoolean>;
+    fallback_on_error: z.ZodDefault<z.ZodBoolean>;
+    allow_partial: z.ZodDefault<z.ZodBoolean>;
+    validate_build: z.ZodDefault<z.ZodBoolean>;
+    run_harness: z.ZodDefault<z.ZodBoolean>;
+    compiler_path: z.ZodOptional<z.ZodString>;
+    build_timeout_ms: z.ZodDefault<z.ZodNumber>;
+    run_timeout_ms: z.ZodDefault<z.ZodNumber>;
+    reuse_cached: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    temperature: number;
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    validate_build: boolean;
+    run_harness: boolean;
+    build_timeout_ms: number;
+    run_timeout_ms: number;
+    reuse_cached: boolean;
+    include_obfuscation_fallback: boolean;
+    include_plan: boolean;
+    fallback_on_error: boolean;
+    allow_partial: boolean;
+    analysis_goal: string;
+    include_resolved: boolean;
+    max_functions: number;
+    persist_artifact: boolean;
+    auto_apply: boolean;
+    max_tokens: number;
+    include_context: "none" | "thisServer" | "allServers";
+    cost_priority: number;
+    speed_priority: number;
+    intelligence_priority: number;
+    rerun_export: boolean;
+    export_path: "dotnet" | "native" | "auto";
+    export_topk: number;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    export_name?: string | undefined;
+    compiler_path?: 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;
+    export_name?: string | undefined;
+    validate_build?: boolean | undefined;
+    run_harness?: boolean | undefined;
+    compiler_path?: string | undefined;
+    build_timeout_ms?: number | undefined;
+    run_timeout_ms?: number | undefined;
+    reuse_cached?: boolean | undefined;
+    include_obfuscation_fallback?: boolean | undefined;
+    include_plan?: boolean | undefined;
+    fallback_on_error?: boolean | undefined;
+    allow_partial?: boolean | undefined;
+    analysis_goal?: string | undefined;
+    include_resolved?: boolean | undefined;
+    max_functions?: number | undefined;
+    persist_artifact?: boolean | undefined;
+    auto_apply?: 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;
+    rerun_export?: boolean | undefined;
+    export_path?: "dotnet" | "native" | "auto" | undefined;
+    export_topk?: number | undefined;
+}>, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    temperature: number;
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    validate_build: boolean;
+    run_harness: boolean;
+    build_timeout_ms: number;
+    run_timeout_ms: number;
+    reuse_cached: boolean;
+    include_obfuscation_fallback: boolean;
+    include_plan: boolean;
+    fallback_on_error: boolean;
+    allow_partial: boolean;
+    analysis_goal: string;
+    include_resolved: boolean;
+    max_functions: number;
+    persist_artifact: boolean;
+    auto_apply: boolean;
+    max_tokens: number;
+    include_context: "none" | "thisServer" | "allServers";
+    cost_priority: number;
+    speed_priority: number;
+    intelligence_priority: number;
+    rerun_export: boolean;
+    export_path: "dotnet" | "native" | "auto";
+    export_topk: number;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    export_name?: string | undefined;
+    compiler_path?: 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;
+    export_name?: string | undefined;
+    validate_build?: boolean | undefined;
+    run_harness?: boolean | undefined;
+    compiler_path?: string | undefined;
+    build_timeout_ms?: number | undefined;
+    run_timeout_ms?: number | undefined;
+    reuse_cached?: boolean | undefined;
+    include_obfuscation_fallback?: boolean | undefined;
+    include_plan?: boolean | undefined;
+    fallback_on_error?: boolean | undefined;
+    allow_partial?: boolean | undefined;
+    analysis_goal?: string | undefined;
+    include_resolved?: boolean | undefined;
+    max_functions?: number | undefined;
+    persist_artifact?: boolean | undefined;
+    auto_apply?: 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;
+    rerun_export?: boolean | undefined;
+    export_path?: "dotnet" | "native" | "auto" | undefined;
+    export_topk?: number | undefined;
+}>, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    temperature: number;
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    validate_build: boolean;
+    run_harness: boolean;
+    build_timeout_ms: number;
+    run_timeout_ms: number;
+    reuse_cached: boolean;
+    include_obfuscation_fallback: boolean;
+    include_plan: boolean;
+    fallback_on_error: boolean;
+    allow_partial: boolean;
+    analysis_goal: string;
+    include_resolved: boolean;
+    max_functions: number;
+    persist_artifact: boolean;
+    auto_apply: boolean;
+    max_tokens: number;
+    include_context: "none" | "thisServer" | "allServers";
+    cost_priority: number;
+    speed_priority: number;
+    intelligence_priority: number;
+    rerun_export: boolean;
+    export_path: "dotnet" | "native" | "auto";
+    export_topk: number;
+    symbol?: string | undefined;
+    address?: string | undefined;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    export_name?: string | undefined;
+    compiler_path?: 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;
+    export_name?: string | undefined;
+    validate_build?: boolean | undefined;
+    run_harness?: boolean | undefined;
+    compiler_path?: string | undefined;
+    build_timeout_ms?: number | undefined;
+    run_timeout_ms?: number | undefined;
+    reuse_cached?: boolean | undefined;
+    include_obfuscation_fallback?: boolean | undefined;
+    include_plan?: boolean | undefined;
+    fallback_on_error?: boolean | undefined;
+    allow_partial?: boolean | undefined;
+    analysis_goal?: string | undefined;
+    include_resolved?: boolean | undefined;
+    max_functions?: number | undefined;
+    persist_artifact?: boolean | undefined;
+    auto_apply?: 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;
+    rerun_export?: boolean | undefined;
+    export_path?: "dotnet" | "native" | "auto" | undefined;
+    export_topk?: number | undefined;
+}>;
+export declare const functionExplanationReviewWorkflowOutputSchema: z.ZodObject<{
+    ok: z.ZodBoolean;
+    data: z.ZodOptional<z.ZodObject<{
+        sample_id: z.ZodString;
+        review: z.ZodObject<{
+            review_status: z.ZodString;
+            prompt_name: 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;
+                artifact_id: z.ZodNullable<z.ZodString>;
+            }, "strip", z.ZodTypeAny, {
+                artifact_id: string | null;
+                prepared_count: number;
+            }, {
+                artifact_id: string | null;
+                prepared_count: number;
+            }>;
+            sampling: z.ZodObject<{
+                attempted: z.ZodBoolean;
+                model: z.ZodNullable<z.ZodString>;
+                stop_reason: z.ZodNullable<z.ZodString>;
+                parsed_explanation_count: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                model: string | null;
+                attempted: boolean;
+                stop_reason: string | null;
+                parsed_explanation_count: number;
+            }, {
+                model: string | null;
+                attempted: boolean;
+                stop_reason: string | null;
+                parsed_explanation_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;
+            }>;
+            confidence_policy: z.ZodObject<{
+                calibrated: z.ZodBoolean;
+                explanation_scores_are_heuristic: z.ZodBoolean;
+                meaning: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                calibrated: boolean;
+                meaning: string;
+                explanation_scores_are_heuristic: boolean;
+            }, {
+                calibrated: boolean;
+                meaning: string;
+                explanation_scores_are_heuristic: boolean;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            sampling: {
+                model: string | null;
+                attempted: boolean;
+                stop_reason: string | null;
+                parsed_explanation_count: number;
+            };
+            client: {
+                name: string | null;
+                version: string | null;
+                sampling_available: boolean;
+            };
+            prompt_name: string;
+            review_status: string;
+            prepare: {
+                artifact_id: string | null;
+                prepared_count: number;
+            };
+            apply: {
+                artifact_id: string | null;
+                attempted: boolean;
+                accepted_count: number;
+                rejected_count: number;
+            };
+            confidence_policy: {
+                calibrated: boolean;
+                meaning: string;
+                explanation_scores_are_heuristic: boolean;
+            };
+        }, {
+            sampling: {
+                model: string | null;
+                attempted: boolean;
+                stop_reason: string | null;
+                parsed_explanation_count: number;
+            };
+            client: {
+                name: string | null;
+                version: string | null;
+                sampling_available: boolean;
+            };
+            prompt_name: string;
+            review_status: string;
+            prepare: {
+                artifact_id: string | null;
+                prepared_count: number;
+            };
+            apply: {
+                artifact_id: string | null;
+                attempted: boolean;
+                accepted_count: number;
+                rejected_count: number;
+            };
+            confidence_policy: {
+                calibrated: boolean;
+                meaning: string;
+                explanation_scores_are_heuristic: boolean;
+            };
+        }>;
+        export: z.ZodObject<{
+            attempted: z.ZodBoolean;
+            status: z.ZodEnum<["completed", "failed", "skipped"]>;
+            selected_path: z.ZodNullable<z.ZodEnum<["native", "dotnet"]>>;
+            export_tool: z.ZodNullable<z.ZodString>;
+            export_root: z.ZodNullable<z.ZodString>;
+            manifest_path: z.ZodNullable<z.ZodString>;
+            build_validation_status: z.ZodNullable<z.ZodString>;
+            harness_validation_status: z.ZodNullable<z.ZodString>;
+            notes: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            status: "failed" | "completed" | "skipped";
+            notes: string[];
+            attempted: boolean;
+            export_root: string | null;
+            manifest_path: string | null;
+            build_validation_status: string | null;
+            harness_validation_status: string | null;
+            selected_path: "dotnet" | "native" | null;
+            export_tool: string | null;
+        }, {
+            status: "failed" | "completed" | "skipped";
+            notes: string[];
+            attempted: boolean;
+            export_root: string | null;
+            manifest_path: string | null;
+            build_validation_status: string | null;
+            harness_validation_status: string | null;
+            selected_path: "dotnet" | "native" | null;
+            export_tool: string | null;
+        }>;
+        next_steps: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        sample_id: string;
+        export: {
+            status: "failed" | "completed" | "skipped";
+            notes: string[];
+            attempted: boolean;
+            export_root: string | null;
+            manifest_path: string | null;
+            build_validation_status: string | null;
+            harness_validation_status: string | null;
+            selected_path: "dotnet" | "native" | null;
+            export_tool: string | null;
+        };
+        next_steps: string[];
+        review: {
+            sampling: {
+                model: string | null;
+                attempted: boolean;
+                stop_reason: string | null;
+                parsed_explanation_count: number;
+            };
+            client: {
+                name: string | null;
+                version: string | null;
+                sampling_available: boolean;
+            };
+            prompt_name: string;
+            review_status: string;
+            prepare: {
+                artifact_id: string | null;
+                prepared_count: number;
+            };
+            apply: {
+                artifact_id: string | null;
+                attempted: boolean;
+                accepted_count: number;
+                rejected_count: number;
+            };
+            confidence_policy: {
+                calibrated: boolean;
+                meaning: string;
+                explanation_scores_are_heuristic: boolean;
+            };
+        };
+    }, {
+        sample_id: string;
+        export: {
+            status: "failed" | "completed" | "skipped";
+            notes: string[];
+            attempted: boolean;
+            export_root: string | null;
+            manifest_path: string | null;
+            build_validation_status: string | null;
+            harness_validation_status: string | null;
+            selected_path: "dotnet" | "native" | null;
+            export_tool: string | null;
+        };
+        next_steps: string[];
+        review: {
+            sampling: {
+                model: string | null;
+                attempted: boolean;
+                stop_reason: string | null;
+                parsed_explanation_count: number;
+            };
+            client: {
+                name: string | null;
+                version: string | null;
+                sampling_available: boolean;
+            };
+            prompt_name: string;
+            review_status: string;
+            prepare: {
+                artifact_id: string | null;
+                prepared_count: number;
+            };
+            apply: {
+                artifact_id: string | null;
+                attempted: boolean;
+                accepted_count: number;
+                rejected_count: number;
+            };
+            confidence_policy: {
+                calibrated: boolean;
+                meaning: string;
+                explanation_scores_are_heuristic: boolean;
+            };
+        };
+    }>>;
+    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;
+        export: {
+            status: "failed" | "completed" | "skipped";
+            notes: string[];
+            attempted: boolean;
+            export_root: string | null;
+            manifest_path: string | null;
+            build_validation_status: string | null;
+            harness_validation_status: string | null;
+            selected_path: "dotnet" | "native" | null;
+            export_tool: string | null;
+        };
+        next_steps: string[];
+        review: {
+            sampling: {
+                model: string | null;
+                attempted: boolean;
+                stop_reason: string | null;
+                parsed_explanation_count: number;
+            };
+            client: {
+                name: string | null;
+                version: string | null;
+                sampling_available: boolean;
+            };
+            prompt_name: string;
+            review_status: string;
+            prepare: {
+                artifact_id: string | null;
+                prepared_count: number;
+            };
+            apply: {
+                artifact_id: string | null;
+                attempted: boolean;
+                accepted_count: number;
+                rejected_count: number;
+            };
+            confidence_policy: {
+                calibrated: boolean;
+                meaning: string;
+                explanation_scores_are_heuristic: boolean;
+            };
+        };
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+    artifacts?: any[] | undefined;
+}, {
+    ok: boolean;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+    } | undefined;
+    data?: {
+        sample_id: string;
+        export: {
+            status: "failed" | "completed" | "skipped";
+            notes: string[];
+            attempted: boolean;
+            export_root: string | null;
+            manifest_path: string | null;
+            build_validation_status: string | null;
+            harness_validation_status: string | null;
+            selected_path: "dotnet" | "native" | null;
+            export_tool: string | null;
+        };
+        next_steps: string[];
+        review: {
+            sampling: {
+                model: string | null;
+                attempted: boolean;
+                stop_reason: string | null;
+                parsed_explanation_count: number;
+            };
+            client: {
+                name: string | null;
+                version: string | null;
+                sampling_available: boolean;
+            };
+            prompt_name: string;
+            review_status: string;
+            prepare: {
+                artifact_id: string | null;
+                prepared_count: number;
+            };
+            apply: {
+                artifact_id: string | null;
+                attempted: boolean;
+                accepted_count: number;
+                rejected_count: number;
+            };
+            confidence_policy: {
+                calibrated: boolean;
+                meaning: string;
+                explanation_scores_are_heuristic: boolean;
+            };
+        };
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+    artifacts?: any[] | undefined;
+}>;
+export declare const functionExplanationReviewWorkflowToolDefinition: ToolDefinition;
+interface FunctionExplanationReviewWorkflowDependencies {
+    explainReviewHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    reconstructWorkflowHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+}
+export declare function createFunctionExplanationReviewWorkflowHandler(workspaceManager: WorkspaceManager, database: DatabaseManager, cacheManager: CacheManager, mcpServer?: MCPServer, dependencies?: FunctionExplanationReviewWorkflowDependencies): (args: ToolArgs) => Promise<WorkerResult>;
+export {};
+//# sourceMappingURL=function-explanation-review.d.ts.map