@holmes-lab/holmes-kit 0.2.1 → 0.3.1

package/dist/holmes/mcp/elicit-approval.js

@@ -1,7 +1,9 @@
 "use strict";
 // @implements A-SPEC-263.1
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.ELICITABLE_KINDS = void 0;
+exports.ELICIT_TIMEOUT_MS = exports.ELICITABLE_KINDS = void 0;
+exports.classifyElicitError = classifyElicitError;
+exports.expiredNotice = expiredNotice;
 exports.buildElicitRequest = buildElicitRequest;
 exports.interpretElicitResult = interpretElicitResult;
 /**
@@ -26,6 +28,29 @@ exports.interpretElicitResult = interpretElicitResult;
  */
 /** Approval kinds that may ask in-session. Widening this set is a spec revision, not a drive-by. */
 exports.ELICITABLE_KINDS = new Set(['spec-approve', 'review-resolve']);
+/** The one timeout truth: the SDK option, the dialog forewarning and `waitedMs` all derive from it. */
+exports.ELICIT_TIMEOUT_MS = 120_000;
+// This module is PURE (no SDK import — the doctrine above), so the SDK's ErrorCode.RequestTimeout
+// lives here as a pinned constant; elicit-expiry.test.ts asserts parity against the real enum.
+const MCP_REQUEST_TIMEOUT_CODE = -32001;
+/**
+ * Classify an elicitInput rejection. Only the exact SDK timeout code — on a real Error — is
+ * `expired`; a message that merely SAYS "timed out", a near-miss code, or a code on a non-Error
+ * is `silent`, because the expiry face carries friendlier guidance and must not be spoofable.
+ */
+function classifyElicitError(e) {
+    return e instanceof Error && e.code === MCP_REQUEST_TIMEOUT_CODE
+        ? { kind: 'expired', waitedMs: exports.ELICIT_TIMEOUT_MS }
+        : { kind: 'silent' };
+}
+/**
+ * The expiry notice that LEADS an expired refusal: what happened (the session dialog expired),
+ * where the request went (the approval queue), and where the decision still lives (the CLI).
+ * Template-owned text with no interpolated attacker data.
+ */
+function expiredNotice(waitedMs) {
+    return `[세션 승인 다이얼로그 만료 — ${Math.round(waitedMs / 1000)}초 무응답] 요청은 승인 큐로 회송되었습니다. 결정: npx holmes-kit approve. `;
+}
 /**
  * The question form. Decisions only (REQ-263 Out): the single free-text field is `reason`, and it
  * is subordinate to the decision — this channel never collects arbitrary input.
@@ -38,7 +63,10 @@ function buildElicitRequest(req) {
     const flat = (s, max) => s.replace(/[\u0000-\u001f\u007f\u0085\u2028\u2029\u200b-\u200f\u202a-\u202e\u2066-\u2069\ufeff]+/g, ' ')
         .replace(/\s{2,}/g, ' ').trim().slice(0, max);
     return {
-        message: `[Holmes-Kit 승인 요청] ${flat(req.kind, 40)} — ${flat(req.target, 80)}\n${flat(req.summary, 200)}\n승인(approve) / 거부(deny) / 질문(question) 을 선택하세요. 사유는 선택입니다.`,
+        // @implements A-SPEC-497.1 — the forewarning is the LAST line and template-owned: it survives a
+        // cap-filling summary (appended after the caps) and tells the human, before the clock runs out,
+        // where an undecided request goes and where the decision still lives.
+        message: `[Holmes-Kit 승인 요청] ${flat(req.kind, 40)} — ${flat(req.target, 80)}\n${flat(req.summary, 200)}\n승인(approve) / 거부(deny) / 질문(question) 을 선택하세요. 사유는 선택입니다.\n⏱ ${exports.ELICIT_TIMEOUT_MS / 1000}초 내 미결정 시 승인 큐로 회송됩니다(운영자: npx holmes-kit approve).`,
         requestedSchema: {
             type: 'object',
             properties: {

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 {};