windows-exe-decompiler-mcp-server 0.1.0

package/dist/tools/system-health.d.ts

@@ -0,0 +1,434 @@
+/**
+ * system.health tool implementation
+ * Aggregated runtime health checks for high-availability operations.
+ */
+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 GhidraHealthStatus } from '../ghidra-config.js';
+export declare const SystemHealthInputSchema: z.ZodObject<{
+    sample_id: z.ZodOptional<z.ZodString>;
+    timeout_ms: z.ZodDefault<z.ZodNumber>;
+    include_ghidra: z.ZodDefault<z.ZodBoolean>;
+    include_static_worker: z.ZodDefault<z.ZodBoolean>;
+    include_cache_probe: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    timeout_ms: number;
+    include_ghidra: boolean;
+    include_static_worker: boolean;
+    include_cache_probe: boolean;
+    sample_id?: string | undefined;
+}, {
+    sample_id?: string | undefined;
+    timeout_ms?: number | undefined;
+    include_ghidra?: boolean | undefined;
+    include_static_worker?: boolean | undefined;
+    include_cache_probe?: boolean | undefined;
+}>;
+export declare const SystemHealthOutputSchema: z.ZodObject<{
+    ok: z.ZodBoolean;
+    data: z.ZodOptional<z.ZodObject<{
+        overall_status: z.ZodEnum<["healthy", "degraded", "unhealthy"]>;
+        checked_at: z.ZodString;
+        components: z.ZodObject<{
+            workspace: z.ZodObject<{
+                status: z.ZodEnum<["healthy", "degraded", "unhealthy", "skipped"]>;
+                ok: z.ZodBoolean;
+                error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+            }, "strip", z.ZodTypeAny, {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            }, {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            }>;
+            database: z.ZodObject<{
+                status: z.ZodEnum<["healthy", "degraded", "unhealthy", "skipped"]>;
+                ok: z.ZodBoolean;
+                error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+            }, "strip", z.ZodTypeAny, {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            }, {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            }>;
+            ghidra: z.ZodObject<{
+                status: z.ZodEnum<["healthy", "degraded", "unhealthy", "skipped"]>;
+                ok: z.ZodBoolean;
+                error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+            }, "strip", z.ZodTypeAny, {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            }, {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            }>;
+            static_worker: z.ZodObject<{
+                status: z.ZodEnum<["healthy", "degraded", "unhealthy", "skipped"]>;
+                ok: z.ZodBoolean;
+                error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+            }, "strip", z.ZodTypeAny, {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            }, {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            }>;
+            cache: z.ZodObject<{
+                status: z.ZodEnum<["healthy", "degraded", "unhealthy", "skipped"]>;
+                ok: z.ZodBoolean;
+                error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+            }, "strip", z.ZodTypeAny, {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            }, {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            database: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            workspace: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            ghidra: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            cache: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            static_worker: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+        }, {
+            database: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            workspace: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            ghidra: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            cache: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            static_worker: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+        }>;
+        cache_observability: z.ZodObject<{
+            key: z.ZodNullable<z.ZodString>;
+            tier: z.ZodNullable<z.ZodString>;
+            created_at: z.ZodNullable<z.ZodString>;
+            expires_at: z.ZodNullable<z.ZodString>;
+            hit_at: z.ZodNullable<z.ZodString>;
+            sample_sha256: z.ZodNullable<z.ZodString>;
+            sample_state_consistent: z.ZodNullable<z.ZodBoolean>;
+        }, "strip", z.ZodTypeAny, {
+            created_at: string | null;
+            key: string | null;
+            tier: string | null;
+            expires_at: string | null;
+            hit_at: string | null;
+            sample_sha256: string | null;
+            sample_state_consistent: boolean | null;
+        }, {
+            created_at: string | null;
+            key: string | null;
+            tier: string | null;
+            expires_at: string | null;
+            hit_at: string | null;
+            sample_sha256: string | null;
+            sample_state_consistent: boolean | null;
+        }>;
+        recommendations: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        checked_at: string;
+        recommendations: string[];
+        overall_status: "degraded" | "healthy" | "unhealthy";
+        components: {
+            database: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            workspace: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            ghidra: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            cache: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            static_worker: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+        };
+        cache_observability: {
+            created_at: string | null;
+            key: string | null;
+            tier: string | null;
+            expires_at: string | null;
+            hit_at: string | null;
+            sample_sha256: string | null;
+            sample_state_consistent: boolean | null;
+        };
+    }, {
+        checked_at: string;
+        recommendations: string[];
+        overall_status: "degraded" | "healthy" | "unhealthy";
+        components: {
+            database: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            workspace: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            ghidra: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            cache: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            static_worker: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+        };
+        cache_observability: {
+            created_at: string | null;
+            key: string | null;
+            tier: string | null;
+            expires_at: string | null;
+            hit_at: string | null;
+            sample_sha256: string | null;
+            sample_state_consistent: boolean | null;
+        };
+    }>>;
+    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;
+    }, "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?: {
+        checked_at: string;
+        recommendations: string[];
+        overall_status: "degraded" | "healthy" | "unhealthy";
+        components: {
+            database: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            workspace: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            ghidra: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            cache: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            static_worker: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+        };
+        cache_observability: {
+            created_at: string | null;
+            key: string | null;
+            tier: string | null;
+            expires_at: string | null;
+            hit_at: string | null;
+            sample_sha256: string | null;
+            sample_state_consistent: boolean | null;
+        };
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+}, {
+    ok: boolean;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+    } | undefined;
+    data?: {
+        checked_at: string;
+        recommendations: string[];
+        overall_status: "degraded" | "healthy" | "unhealthy";
+        components: {
+            database: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            workspace: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            ghidra: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            cache: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+            static_worker: {
+                status: "degraded" | "skipped" | "healthy" | "unhealthy";
+                ok: boolean;
+                error?: string | null | undefined;
+                details?: Record<string, any> | undefined;
+            };
+        };
+        cache_observability: {
+            created_at: string | null;
+            key: string | null;
+            tier: string | null;
+            expires_at: string | null;
+            hit_at: string | null;
+            sample_sha256: string | null;
+            sample_state_consistent: boolean | null;
+        };
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+}>;
+export type SystemHealthInput = z.infer<typeof SystemHealthInputSchema>;
+export type SystemHealthOutput = z.infer<typeof SystemHealthOutputSchema>;
+export declare const systemHealthToolDefinition: ToolDefinition;
+interface StaticWorkerHealthData {
+    status?: string;
+    worker?: Record<string, unknown>;
+    dependencies?: Record<string, unknown>;
+    yara_rules?: Record<string, unknown>;
+    checked_at?: string;
+}
+interface SystemHealthDependencies {
+    checkGhidra?: (timeoutMs: number) => GhidraHealthStatus;
+    probeStaticWorker?: (timeoutMs: number) => Promise<StaticWorkerHealthData>;
+    cacheManager?: CacheManager;
+}
+export declare function createSystemHealthHandler(workspaceManager: WorkspaceManager, database: DatabaseManager, dependencies?: SystemHealthDependencies): (args: ToolArgs) => Promise<WorkerResult>;
+export {};
+//# sourceMappingURL=system-health.d.ts.map