@holmes-lab/holmes-kit 0.2.1 → 0.3.0

package/dist/holmes/mcp/handlers.d.ts

@@ -1,4 +1,5 @@
 import { SpecStore } from '../spec/spec-store';
+import { MaintenanceGroundTruth, MaintenanceAnalysis } from './maintenance-analyze';
 import { Action } from '../guardrail/phase';
 import { Basis } from './basis';
 import { Finding } from '../review/findings';
@@ -36,6 +37,14 @@ export interface ElicitOpts {
     elicit?: Elicitor;
     clientName?: () => string;
 }
+/**
+ * @implements A-SPEC-299
+ * Ids that were written but cannot be read back. The store drops documents it cannot parse, so
+ * absence from `list()` — not an exception — is the signal.
+ */
+export declare function unreadableAmong(listed: ReadonlyArray<{
+    id: string;
+}>, created: readonly string[]): string[];
 export declare function makeHandlers(store: SpecStore, opts?: ElicitOpts): RawHandlers & {
     basis_detail(a: {
         root?: string;
@@ -188,12 +197,22 @@ declare function makeRawHandlers(store: SpecStore, opts?: ElicitOpts): {
     rtm_check(a?: {
         root?: string;
     }): Promise<{
+        ok: boolean;
+        reason: string;
+        issues?: undefined;
+        gaps?: undefined;
+        breakingChangeDistribution?: undefined;
+    } | {
         issues: import("../rtm/rtm-check").RtmIssue[];
         gaps: import("../rtm/gap-analyzer").ConvergenceGaps;
         breakingChangeDistribution: Record<string, number>;
+        ok?: undefined;
+        reason?: undefined;
     } | {
         issues: import("../rtm/rtm-check").RtmIssue[];
         breakingChangeDistribution: Record<string, number>;
+        ok?: undefined;
+        reason?: undefined;
         gaps?: undefined;
     }>;
     /**
@@ -272,11 +291,21 @@ declare function makeRawHandlers(store: SpecStore, opts?: ElicitOpts): {
     taint_scan(a: {
         root: string;
     }): Promise<{
+        ok: boolean;
+        reason: string;
+        kind?: undefined;
+        limits?: undefined;
+        maxPaths?: undefined;
+        truncated?: undefined;
+        pairs?: undefined;
+    } | {
         kind: string;
         limits: ("name-based matching" | "no def-use" | "no sanitizers" | "call-edge-only")[];
         maxPaths: number | undefined;
         truncated: number;
         pairs: import("../rtm/taint").TaintPair[];
+        ok?: undefined;
+        reason?: undefined;
     }>;
     test_run(a: {
         root: string;
@@ -302,12 +331,57 @@ declare function makeRawHandlers(store: SpecStore, opts?: ElicitOpts): {
         issue: string;
         topN?: number;
     }): Promise<import("../rtm/localize").LocalizationReport>;
+    maintenance_analyze(a: {
+        root: string;
+        request: string;
+        historyLimit?: number;
+        contextBudget?: number;
+        groundTruth?: MaintenanceGroundTruth;
+        persist?: boolean;
+        changedFiles?: string[];
+    }): Promise<MaintenanceAnalysis & {
+        persistedTo?: string;
+    }>;
+    maintenance_outcome(a: {
+        root: string;
+        digest: string;
+        actualFiles?: string[];
+        actualSymbols?: string[];
+        actualTests?: string[];
+        actualClassification?: string;
+    }): Promise<import("./maintenance-evidence").EvidenceArtifact>;
+    impact_gate_check(a: {
+        root: string;
+        target: string;
+        digest?: string;
+    }): Promise<import("../guardrail/impact-gate").EditEvidenceVerdict>;
+    maintenance_calibration(a: {
+        root: string;
+        minSamples?: number;
+    }): Promise<{
+        artifacts: number;
+        unreadable: string[];
+        skippedSchema: number;
+        schema: string;
+        n: number;
+        withoutClassification: number;
+        bins: import("./maintenance-evidence").CalibrationBin[];
+        brierScore: number | null;
+        falsePositives: number;
+        falseNegatives: number;
+        minSamples: number;
+        status: "measured" | "insufficient-data";
+    }>;
     rtm_impact(a: {
         root: string;
         changed: string[];
     }): Promise<{
         breadthWarning?: string | undefined;
         impacted: string[];
+        rankedImpact: {
+            file: string;
+            score: number;
+        }[];
         reachedByDepth: number[];
         bounded: {
             id: string;
@@ -321,6 +395,11 @@ declare function makeRawHandlers(store: SpecStore, opts?: ElicitOpts): {
         head?: string;
         since?: string;
     }): Promise<{
+        semanticWarm?: {
+            tier: string;
+            computed: number;
+            cached: number;
+        } | undefined;
         changed: number;
         nodes: number;
         edges: number;
@@ -508,6 +587,7 @@ declare function makeRawHandlers(store: SpecStore, opts?: ElicitOpts): {
     }): Promise<{
         ok: boolean;
         specsCreated: string[];
+        unreadable: string[];
     }>;
     spec_slice_approve(a: {
         root?: string;
@@ -515,6 +595,10 @@ declare function makeRawHandlers(store: SpecStore, opts?: ElicitOpts): {
     }): Promise<{
         ok: boolean;
         approvedSpecs: string[];
+        refused: {
+            id: string;
+            reason: string;
+        }[];
     }>;
     spec_remediate(a: {
         root?: string;
@@ -523,6 +607,10 @@ declare function makeRawHandlers(store: SpecStore, opts?: ElicitOpts): {
     }): Promise<{
         ok: boolean;
         actionsTaken: string[];
+        refused: {
+            id: string;
+            reason: string;
+        }[];
     }>;
 };
 export {};