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

package/dist/workflows/semantic-name-review.js

@@ -7,6 +7,8 @@ import { createCodeFunctionRenameReviewHandler } from '../tools/code-function-re
 import { createReconstructWorkflowHandler } from './reconstruct.js';
 import { AnalysisProvenanceSchema } from '../analysis-provenance.js';
 import { AnalysisSelectionDiffSchema } from '../selection-diff.js';
+import { BinaryRoleProfileDataSchema } from '../tools/binary-role-profile.js';
+import { RequiredUserInputSchema, SetupActionSchema, collectSetupGuidanceFromWorkerResult, mergeRequiredUserInputs, mergeSetupActions, } from '../setup-guidance.js';
 const TOOL_NAME = 'workflow.semantic_name_review';
 export const semanticNameReviewWorkflowInputSchema = z
     .object({
@@ -157,6 +159,14 @@ export const semanticNameReviewWorkflowInputSchema = z
         .max(64)
         .optional()
         .describe('Optional export folder name used for the refresh run'),
+    include_preflight: z
+        .boolean()
+        .default(true)
+        .describe('Run binary role and language-specific preflight profiling before refresh export'),
+    auto_recover_function_index: z
+        .boolean()
+        .default(true)
+        .describe('When native function-index coverage is missing, automatically recover it before refresh export'),
     include_plan: z
         .boolean()
         .default(false)
@@ -225,70 +235,88 @@ export const semanticNameReviewWorkflowInputSchema = z
 export const semanticNameReviewWorkflowOutputSchema = z.object({
     ok: z.boolean(),
     data: z
-        .object({
-        sample_id: z.string(),
-        review: z.object({
-            review_status: z.string(),
-            prompt_name: z.string(),
-            client: z.object({
-                name: z.string().nullable(),
-                version: z.string().nullable(),
-                sampling_available: z.boolean(),
-            }),
-            prepare: z.object({
-                prepared_count: z.number().int().nonnegative(),
-                unresolved_count: z.number().int().nonnegative(),
-                include_resolved: z.boolean(),
-                artifact_id: z.string().nullable(),
-            }),
-            sampling: z.object({
-                attempted: z.boolean(),
-                model: z.string().nullable(),
-                stop_reason: z.string().nullable(),
-                parsed_suggestion_count: z.number().int().nonnegative(),
-            }),
-            apply: z.object({
-                attempted: z.boolean(),
-                accepted_count: z.number().int().nonnegative(),
-                rejected_count: z.number().int().nonnegative(),
-                artifact_id: z.string().nullable(),
-            }),
-            confidence_policy: z.object({
-                calibrated: z.boolean(),
-                rule_priority_over_llm: z.boolean(),
-                llm_acceptance_threshold: z.number().min(0).max(1),
-                meaning: z.string(),
+        .union([
+        z.object({
+            job_id: z.string(),
+            status: z.literal('queued'),
+            tool: z.literal(TOOL_NAME),
+            sample_id: z.string(),
+            progress: z.number().int().min(0).max(100),
+        }),
+        z.object({
+            sample_id: z.string(),
+            review: z.object({
+                review_status: z.string(),
+                prompt_name: z.string(),
+                client: z.object({
+                    name: z.string().nullable(),
+                    version: z.string().nullable(),
+                    sampling_available: z.boolean(),
+                }),
+                prepare: z.object({
+                    prepared_count: z.number().int().nonnegative(),
+                    unresolved_count: z.number().int().nonnegative(),
+                    include_resolved: z.boolean(),
+                    artifact_id: z.string().nullable(),
+                }),
+                sampling: z.object({
+                    attempted: z.boolean(),
+                    model: z.string().nullable(),
+                    stop_reason: z.string().nullable(),
+                    parsed_suggestion_count: z.number().int().nonnegative(),
+                }),
+                apply: z.object({
+                    attempted: z.boolean(),
+                    accepted_count: z.number().int().nonnegative(),
+                    rejected_count: z.number().int().nonnegative(),
+                    artifact_id: z.string().nullable(),
+                }),
+                confidence_policy: z.object({
+                    calibrated: z.boolean(),
+                    rule_priority_over_llm: z.boolean(),
+                    llm_acceptance_threshold: z.number().min(0).max(1),
+                    meaning: z.string(),
+                }),
+                reconstruct: z.object({
+                    attempted: z.boolean(),
+                    reconstructed_count: z.number().int().nonnegative(),
+                    llm_or_hybrid_count: z.number().int().nonnegative(),
+                    functions: z.array(z.object({
+                        function: z.string(),
+                        address: z.string(),
+                        validated_name: z.string().nullable(),
+                        resolution_source: z.string().nullable(),
+                    })),
+                }),
             }),
-            reconstruct: z.object({
+            export: z.object({
                 attempted: z.boolean(),
-                reconstructed_count: z.number().int().nonnegative(),
-                llm_or_hybrid_count: z.number().int().nonnegative(),
-                functions: z.array(z.object({
-                    function: z.string(),
-                    address: z.string(),
-                    validated_name: z.string().nullable(),
-                    resolution_source: z.string().nullable(),
-                })),
+                status: z.enum(['completed', 'failed', 'skipped']),
+                selected_path: z.enum(['native', 'dotnet']).nullable(),
+                export_tool: z.string().nullable(),
+                export_root: z.string().nullable(),
+                manifest_path: z.string().nullable(),
+                build_validation_status: z.string().nullable(),
+                harness_validation_status: z.string().nullable(),
+                preflight: z
+                    .object({
+                    binary_profile: BinaryRoleProfileDataSchema.nullable(),
+                    rust_profile: z.any().nullable(),
+                    function_index_recovery: z.any().nullable(),
+                })
+                    .nullable(),
+                provenance: AnalysisProvenanceSchema.nullable(),
+                selection_diffs: AnalysisSelectionDiffSchema.nullable(),
+                notes: z.array(z.string()),
             }),
+            next_steps: z.array(z.string()),
         }),
-        export: z.object({
-            attempted: z.boolean(),
-            status: z.enum(['completed', 'failed', 'skipped']),
-            selected_path: z.enum(['native', 'dotnet']).nullable(),
-            export_tool: z.string().nullable(),
-            export_root: z.string().nullable(),
-            manifest_path: z.string().nullable(),
-            build_validation_status: z.string().nullable(),
-            harness_validation_status: z.string().nullable(),
-            provenance: AnalysisProvenanceSchema.nullable(),
-            selection_diffs: AnalysisSelectionDiffSchema.nullable(),
-            notes: z.array(z.string()),
-        }),
-        next_steps: z.array(z.string()),
-    })
+    ])
         .optional(),
     warnings: z.array(z.string()).optional(),
     errors: z.array(z.string()).optional(),
+    setup_actions: z.array(SetupActionSchema).optional(),
+    required_user_inputs: z.array(RequiredUserInputSchema).optional(),
     artifacts: z.array(z.any()).optional(),
     metrics: z
         .object({
@@ -303,7 +331,7 @@ export const semanticNameReviewWorkflowToolDefinition = {
     inputSchema: semanticNameReviewWorkflowInputSchema,
     outputSchema: semanticNameReviewWorkflowOutputSchema,
 };
-export function createSemanticNameReviewWorkflowHandler(workspaceManager, database, cacheManager, mcpServer, dependencies) {
+export function createSemanticNameReviewWorkflowHandler(workspaceManager, database, cacheManager, mcpServer, dependencies, jobQueue) {
     const renameReviewHandler = dependencies?.renameReviewHandler ||
         createCodeFunctionRenameReviewHandler(workspaceManager, database, cacheManager, mcpServer);
     const reconstructWorkflowHandler = dependencies?.reconstructWorkflowHandler ||
@@ -313,8 +341,51 @@ export function createSemanticNameReviewWorkflowHandler(workspaceManager, databa
         const warnings = [];
         const errors = [];
         const artifacts = [];
+        let setupActions = [];
+        let requiredUserInputs = [];
         try {
             const input = semanticNameReviewWorkflowInputSchema.parse(args);
+            const sample = database.findSample(input.sample_id);
+            if (!sample) {
+                return {
+                    ok: false,
+                    errors: [`Sample not found: ${input.sample_id}`],
+                    metrics: {
+                        elapsed_ms: Date.now() - startTime,
+                        tool: TOOL_NAME,
+                    },
+                };
+            }
+            if (jobQueue) {
+                const jobTimeoutMs = Math.max(input.build_timeout_ms + input.run_timeout_ms + 45 * 60 * 1000, 60 * 60 * 1000);
+                const jobId = jobQueue.enqueue({
+                    type: 'static',
+                    tool: TOOL_NAME,
+                    sampleId: input.sample_id,
+                    args: input,
+                    priority: 5,
+                    timeout: jobTimeoutMs,
+                    retryPolicy: {
+                        maxRetries: 1,
+                        backoffMs: 5000,
+                        retryableErrors: ['E_TIMEOUT', 'E_RESOURCE_EXHAUSTED'],
+                    },
+                });
+                return {
+                    ok: true,
+                    data: {
+                        job_id: jobId,
+                        status: 'queued',
+                        tool: TOOL_NAME,
+                        sample_id: input.sample_id,
+                        progress: 0,
+                    },
+                    metrics: {
+                        elapsed_ms: Date.now() - startTime,
+                        tool: TOOL_NAME,
+                    },
+                };
+            }
             const reviewResult = await renameReviewHandler({
                 sample_id: input.sample_id,
                 address: input.address,
@@ -343,11 +414,18 @@ export function createSemanticNameReviewWorkflowHandler(workspaceManager, databa
             });
             warnings.push(...(reviewResult.warnings || []));
             artifacts.push(...(reviewResult.artifacts || []));
+            {
+                const setupGuidance = collectSetupGuidanceFromWorkerResult(reviewResult);
+                setupActions = mergeSetupActions(setupActions, setupGuidance.setupActions);
+                requiredUserInputs = mergeRequiredUserInputs(requiredUserInputs, setupGuidance.requiredUserInputs);
+            }
             if (!reviewResult.ok) {
                 return {
                     ok: false,
                     errors: reviewResult.errors || ['code.function.rename.review failed'],
                     warnings: warnings.length > 0 ? warnings : undefined,
+                    setup_actions: setupActions.length > 0 ? setupActions : undefined,
+                    required_user_inputs: requiredUserInputs.length > 0 ? requiredUserInputs : undefined,
                     artifacts: artifacts.length > 0 ? artifacts : undefined,
                     metrics: {
                         elapsed_ms: Date.now() - startTime,
@@ -370,6 +448,7 @@ export function createSemanticNameReviewWorkflowHandler(workspaceManager, databa
                 manifest_path: null,
                 build_validation_status: null,
                 harness_validation_status: null,
+                preflight: null,
                 provenance: null,
                 selection_diffs: null,
                 notes: [],
@@ -393,6 +472,8 @@ export function createSemanticNameReviewWorkflowHandler(workspaceManager, databa
                     semantic_session_tag: input.semantic_session_tag || input.session_tag,
                     compare_semantic_scope: input.compare_semantic_scope,
                     compare_semantic_session_tag: input.compare_semantic_session_tag,
+                    include_preflight: input.include_preflight,
+                    auto_recover_function_index: input.auto_recover_function_index,
                     include_plan: input.include_plan,
                     include_obfuscation_fallback: input.include_obfuscation_fallback,
                     fallback_on_error: input.fallback_on_error,
@@ -401,6 +482,11 @@ export function createSemanticNameReviewWorkflowHandler(workspaceManager, databa
                 });
                 warnings.push(...(exportResult.warnings || []));
                 artifacts.push(...(exportResult.artifacts || []));
+                {
+                    const setupGuidance = collectSetupGuidanceFromWorkerResult(exportResult);
+                    setupActions = mergeSetupActions(setupActions, setupGuidance.setupActions);
+                    requiredUserInputs = mergeRequiredUserInputs(requiredUserInputs, setupGuidance.requiredUserInputs);
+                }
                 if (!exportResult.ok) {
                     errors.push(...(exportResult.errors || ['workflow.reconstruct failed during export refresh']));
                     exportSummary = {
@@ -412,6 +498,7 @@ export function createSemanticNameReviewWorkflowHandler(workspaceManager, databa
                         manifest_path: null,
                         build_validation_status: null,
                         harness_validation_status: null,
+                        preflight: null,
                         provenance: null,
                         selection_diffs: null,
                         notes: ['Refresh export failed after semantic name apply.'],
@@ -428,6 +515,7 @@ export function createSemanticNameReviewWorkflowHandler(workspaceManager, databa
                         manifest_path: exportData.export?.manifest_path || null,
                         build_validation_status: exportData.export?.build_validation_status || null,
                         harness_validation_status: exportData.export?.harness_validation_status || null,
+                        preflight: exportData.preflight || null,
                         provenance: exportData.provenance || null,
                         selection_diffs: exportData.selection_diffs || null,
                         notes: Array.isArray(exportData.notes) ? exportData.notes : [],
@@ -499,6 +587,8 @@ export function createSemanticNameReviewWorkflowHandler(workspaceManager, databa
                 },
                 warnings: warnings.length > 0 ? warnings : undefined,
                 errors: errors.length > 0 ? errors : undefined,
+                setup_actions: setupActions.length > 0 ? setupActions : undefined,
+                required_user_inputs: requiredUserInputs.length > 0 ? requiredUserInputs : undefined,
                 artifacts: artifacts.length > 0 ? artifacts : undefined,
                 metrics: {
                     elapsed_ms: Date.now() - startTime,
@@ -510,6 +600,8 @@ export function createSemanticNameReviewWorkflowHandler(workspaceManager, databa
             return {
                 ok: false,
                 errors: [error instanceof Error ? error.message : String(error)],
+                setup_actions: setupActions.length > 0 ? setupActions : undefined,
+                required_user_inputs: requiredUserInputs.length > 0 ? requiredUserInputs : undefined,
                 metrics: {
                     elapsed_ms: Date.now() - startTime,
                     tool: TOOL_NAME,

package/dist/workflows/triage.d.ts

@@ -446,10 +446,6 @@ export declare const TriageWorkflowOutputSchema: z.ZodObject<{
     }>>;
 }, "strip", z.ZodTypeAny, {
     ok: boolean;
-    metrics?: {
-        elapsed_ms: number;
-        tool: string;
-    } | undefined;
     data?: {
         summary: string;
         confidence: number;
@@ -519,14 +515,14 @@ export declare const TriageWorkflowOutputSchema: z.ZodObject<{
             } | undefined;
         } | undefined;
     } | undefined;
-    warnings?: string[] | undefined;
-    errors?: string[] | undefined;
-}, {
-    ok: boolean;
     metrics?: {
         elapsed_ms: number;
         tool: string;
     } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+}, {
+    ok: boolean;
     data?: {
         summary: string;
         confidence: number;
@@ -596,6 +592,10 @@ export declare const TriageWorkflowOutputSchema: z.ZodObject<{
             } | undefined;
         } | undefined;
     } | undefined;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+    } | undefined;
     warnings?: string[] | undefined;
     errors?: string[] | undefined;
 }>;