@mcpeak/cli 0.11.0 → 0.14.0

package/dist/cli.cjs

@@ -1,6 +1,6 @@
 #!/usr/bin/env node
 //#region src/cli.ts
-require("./index.cjs").run(process.argv.slice(2)).then((code) => {
+require("./src-BBBK_BXs.cjs").run(process.argv.slice(2)).then((code) => {
 	process.exitCode = code;
 });
 //#endregion

package/dist/cli.mjs

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import { run } from "./index.mjs";
+import { a as run } from "./src-CRsYPuu_.mjs";
 //#region src/cli.ts
 run(process.argv.slice(2)).then((code) => {
 	process.exitCode = code;

package/dist/commands.cjs

@@ -1,9 +1,59 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-const require_test_command = require("./test-command-B_faNSfA.cjs");
-exports.nodeGenerateDependencies = require_test_command.nodeGenerateDependencies;
-exports.nodeReviewIO = require_test_command.nodeReviewIO;
-exports.parseRepairCommand = require_test_command.parseRepairCommand;
-exports.parseTestCommand = require_test_command.parseTestCommand;
-exports.runCli = require_test_command.runCli;
-exports.runGenerateCommand = require_test_command.runGenerateCommand;
-exports.runRepairCommand = require_test_command.runRepairCommand;
+const require_src = require("./src-BBBK_BXs.cjs");
+//#region src/auto-review-io.ts
+function autoReviewIO(sink) {
+	let menuSeen = false;
+	let cancelled = false;
+	const note = (question, answer) => {
+		sink.write(`▸ 자동 승인: ${summarize(question)} → ${answer}\n`);
+	};
+	return {
+		interactive: true,
+		get cancelled() {
+			return cancelled;
+		},
+		write: (text) => sink.write(text),
+		async choose(message, choices) {
+			if (message === "검토 메뉴") {
+				const answer = menuSeen ? "cancel" : "save";
+				if (menuSeen) cancelled = true;
+				menuSeen = true;
+				note(message, answer);
+				return answer;
+			}
+			const answer = choices[0] ?? "";
+			note(message, answer);
+			return answer;
+		},
+		async confirm(message) {
+			const answer = !/그래도 적용합니까/.test(message);
+			note(message, answer ? "예" : "아니오");
+			return answer;
+		},
+		async input(message) {
+			const answer = /^\s*선택:\s*$/.test(message) ? "s" : "";
+			note(message, answer === "" ? "(엔터)" : answer);
+			return answer;
+		}
+	};
+}
+/** 로그 한 줄에 들어갈 만큼만 남긴다. 질문 본문은 이미 화면에 찍혀 있다. */
+function summarize(question) {
+	const oneLine = question.replace(/\s+/g, " ").trim();
+	return oneLine.length > 60 ? `${oneLine.slice(0, 57)}...` : oneLine;
+}
+//#endregion
+exports.REVIEW_BACK_VALUE = require_src.REVIEW_BACK_VALUE;
+exports.autoReviewIO = autoReviewIO;
+exports.nodeAuditDependencies = require_src.nodeAuditDependencies;
+exports.nodeGenerateDependencies = require_src.nodeGenerateDependencies;
+exports.nodeReviewIO = require_src.nodeReviewIO;
+exports.parseAuditCommand = require_src.parseAuditCommand;
+exports.parseOptimizeCommand = require_src.parseOptimizeCommand;
+exports.parseRepairCommand = require_src.parseRepairCommand;
+exports.parseTestCommand = require_src.parseTestCommand;
+exports.runAuditCommand = require_src.runAuditCommand;
+exports.runCli = require_src.runCli;
+exports.runGenerateCommand = require_src.runGenerateCommand;
+exports.runOptimizeCommand = require_src.runOptimizeCommand;
+exports.runRepairCommand = require_src.runRepairCommand;

package/dist/commands.d.cts

@@ -1,7 +1,36 @@
-import { a as GenerateCommandDependencies, c as nodeGenerateDependencies, d as ConnectTarget, i as runRepairCommand, l as nodeReviewIO, n as RepairCommandInput, o as GenerateCommandInput, r as parseRepairCommand, s as ReviewIO, t as RepairCommandDependencies, u as runGenerateCommand } from "./repair-command-D3zL3G5W.cjs";
+import { C as AuditCommandInput, E as ConnectTarget, S as AuditCommandDependencies, T as runAuditCommand, _ as REVIEW_BACK_VALUE, b as nodeReviewIO, c as RepairCommandInput, d as OptimizeCommandDependencies, f as OptimizeCommandInput, g as GenerateCommandInput, h as GenerateCommandDependencies, l as parseRepairCommand, m as runOptimizeCommand, p as parseOptimizeCommand, r as nodeAuditDependencies, s as RepairCommandDependencies, u as runRepairCommand, v as ReviewIO, w as parseAuditCommand, x as runGenerateCommand, y as nodeGenerateDependencies } from "./index-_hQ_Ohu-.cjs";
 import { McpHttpConnection, McpStdioConnection } from "@mcpeak/core";
-import { CheckDeterminismOptions, DeterminismResult, FinalizeRunnerExecutionOptions, InputContractOptions, RunSuiteOptions, RunnerExecution, RunnerReport, SpecFindingsResult, SuiteValidationIssue, SuiteValidationResult, TestSuiteSpec } from "@mcpeak/runner";
+import { CheckDeterminismOptions, DeterminismResult, FinalizeRunnerExecutionOptions, InputContractOptions, RunSuiteOptions, RunnerExecution, RunnerReport, SpecFinding, SpecFindingsResult, SuiteValidationIssue, SuiteValidationResult, TestSuiteSpec } from "@mcpeak/runner";
 import "@mcpeak/record/external";
+//#region src/auto-review-io.d.ts
+/**
+ * `generate` 의 승인 질문에 정해진 정책으로 답하는 ReviewIO.
+ *
+ * 사람용 승인 화면(전송·시험 실행·재검증·저장 확인, 실패 분류, 교정 값 입력)을 에이전트나
+ * 대시보드의 "한 번에 검증" 이 사람 개입 없이 지나가게 한다. 판정 로직은 없다. 질문마다 어떤
+ * 답을 고르는지만 여기 있고, 고른 답은 `sink` 에 한 줄씩 남겨 무엇이 자동으로 결정됐는지
+ * 화면에서 읽을 수 있게 한다.
+ *
+ * 정책:
+ * - 검토 메뉴: 처음은 `save`, 그 뒤는 `cancel`. 저장이 되돌아오면(재검증 실패 등) 같은 답을
+ *   되풀이하지 않고 끝낸다.
+ * - 확인: 전부 예. 단 "그래도 적용합니까" 처럼 선언 위반이 남은 후보의 적용은 아니오.
+ * - 실패 분류(`선택: `): `s`(서버 결함). 교정 뒤에도 남은 실패는 명세가 옳고 서버가 틀린 것으로
+ *   기록한다. 보류(`?`)는 저장을 막으므로 쓰지 않는다.
+ * - 교정 값 입력(`엔터 = …`): 빈 문자열. 제안이 있으면 제안 값, 없으면 현재 값을 그대로 둔다.
+ * - 그 밖의 입력: 빈 문자열. 저장 경로에서는 나오지 않는다.
+ */
+interface AutoReviewIO extends ReviewIO {
+  /**
+   * 검토 메뉴에 두 번째로 닿아 `cancel` 로 끝냈는가. 저장이 되돌아왔다는 뜻이고, 그때 generate
+   * 는 저장 없이 0 을 돌려준다. 호출자는 이 값으로 "저장 성공" 과 "취소" 를 가른다.
+   */
+  readonly cancelled: boolean;
+}
+declare function autoReviewIO(sink: {
+  write(text: string): void;
+}): AutoReviewIO;
+//#endregion
 //#region src/test-command.d.ts
 interface TestCommandInput {
   readonly suitePath: string;
@@ -63,8 +92,13 @@ interface TestCommandDependencies {
   readEnv?(name: string): string | undefined;
   startRunner(options: RunSuiteOptions): RunnerExecution;
   finalize(options: FinalizeRunnerExecutionOptions): Promise<RunnerReport>;
+  /**
+   * `specApproved` 는 명세에 approval 블록이 있는지다. 거절 근거 미확인 고지가 generate 승인
+   * 화면을 가리킬지 `--json` 의 rejectionBody 를 가리킬지 가른다. 설계 문서(경쟁 도구 비교) §3.4.
+   */
   renderReport(report: RunnerReport, options?: {
     color?: boolean;
+    specApproved?: boolean;
   }): string;
   /**
    * runner 의 `renderJUnit`. 두 번째 인자를 선언하지 않는다 — CLI 는 `suiteName` 을 넘길 이유가
@@ -79,6 +113,11 @@ interface TestCommandDependencies {
    */
   checkInputContract?(options: InputContractOptions): SpecFindingsResult;
   checkAssertionSubstance?(suite: TestSuiteSpec): SpecFindingsResult;
+  /**
+   * 거절 기대 케이스에서 억제된 선언 위반. 위 두 필드와 같은 이유로 선택 사항이다. 생략하면
+   * `runner` 의 `acceptedViolations` 다. 설계 문서(경쟁 도구 비교) §3.2.
+   */
+  acceptedViolations?(options: InputContractOptions): ReadonlyMap<string, readonly SpecFinding[]>;
   /**
    * 결정론성 비교와 초기화 명령의 주입 지점. 위 두 필드와 같은 이유로 선택 사항이다.
    * 생략하면 각각 `runner` 의 `checkDeterminism` 과 `reset-hook.ts` 의 `runResetCommand` 다.
@@ -102,4 +141,4 @@ declare function parseTestCommand(argv: readonly string[]): TestCommandInput;
  */
 declare function runCli(argv: readonly string[], dependencies: TestCommandDependencies): Promise<number>;
 //#endregion
-export { type CliErrorCode, type CliFailure, type GenerateCommandDependencies, type GenerateCommandInput, type RepairCommandDependencies, type RepairCommandInput, type ReviewIO, type TestCommandDependencies, type TestCommandInput, nodeGenerateDependencies, nodeReviewIO, parseRepairCommand, parseTestCommand, runCli, runGenerateCommand, runRepairCommand };
+export { type AuditCommandDependencies, type AuditCommandInput, type AutoReviewIO, type CliErrorCode, type CliFailure, type GenerateCommandDependencies, type GenerateCommandInput, type OptimizeCommandDependencies, type OptimizeCommandInput, REVIEW_BACK_VALUE, type RepairCommandDependencies, type RepairCommandInput, type ReviewIO, type TestCommandDependencies, type TestCommandInput, autoReviewIO, nodeAuditDependencies, nodeGenerateDependencies, nodeReviewIO, parseAuditCommand, parseOptimizeCommand, parseRepairCommand, parseTestCommand, runAuditCommand, runCli, runGenerateCommand, runOptimizeCommand, runRepairCommand };

package/dist/commands.d.mts

@@ -1,7 +1,36 @@
-import { a as GenerateCommandDependencies, c as nodeGenerateDependencies, d as ConnectTarget, i as runRepairCommand, l as nodeReviewIO, n as RepairCommandInput, o as GenerateCommandInput, r as parseRepairCommand, s as ReviewIO, t as RepairCommandDependencies, u as runGenerateCommand } from "./repair-command-DQh2h4tQ.mjs";
-import { CheckDeterminismOptions, DeterminismResult, FinalizeRunnerExecutionOptions, InputContractOptions, RunSuiteOptions, RunnerExecution, RunnerReport, SpecFindingsResult, SuiteValidationIssue, SuiteValidationResult, TestSuiteSpec } from "@mcpeak/runner";
+import { C as AuditCommandInput, E as ConnectTarget, S as AuditCommandDependencies, T as runAuditCommand, _ as REVIEW_BACK_VALUE, b as nodeReviewIO, c as RepairCommandInput, d as OptimizeCommandDependencies, f as OptimizeCommandInput, g as GenerateCommandInput, h as GenerateCommandDependencies, l as parseRepairCommand, m as runOptimizeCommand, p as parseOptimizeCommand, r as nodeAuditDependencies, s as RepairCommandDependencies, u as runRepairCommand, v as ReviewIO, w as parseAuditCommand, x as runGenerateCommand, y as nodeGenerateDependencies } from "./index-CBFNkZgR.mjs";
+import { CheckDeterminismOptions, DeterminismResult, FinalizeRunnerExecutionOptions, InputContractOptions, RunSuiteOptions, RunnerExecution, RunnerReport, SpecFinding, SpecFindingsResult, SuiteValidationIssue, SuiteValidationResult, TestSuiteSpec } from "@mcpeak/runner";
 import { McpHttpConnection, McpStdioConnection } from "@mcpeak/core";
 import "@mcpeak/record/external";
+//#region src/auto-review-io.d.ts
+/**
+ * `generate` 의 승인 질문에 정해진 정책으로 답하는 ReviewIO.
+ *
+ * 사람용 승인 화면(전송·시험 실행·재검증·저장 확인, 실패 분류, 교정 값 입력)을 에이전트나
+ * 대시보드의 "한 번에 검증" 이 사람 개입 없이 지나가게 한다. 판정 로직은 없다. 질문마다 어떤
+ * 답을 고르는지만 여기 있고, 고른 답은 `sink` 에 한 줄씩 남겨 무엇이 자동으로 결정됐는지
+ * 화면에서 읽을 수 있게 한다.
+ *
+ * 정책:
+ * - 검토 메뉴: 처음은 `save`, 그 뒤는 `cancel`. 저장이 되돌아오면(재검증 실패 등) 같은 답을
+ *   되풀이하지 않고 끝낸다.
+ * - 확인: 전부 예. 단 "그래도 적용합니까" 처럼 선언 위반이 남은 후보의 적용은 아니오.
+ * - 실패 분류(`선택: `): `s`(서버 결함). 교정 뒤에도 남은 실패는 명세가 옳고 서버가 틀린 것으로
+ *   기록한다. 보류(`?`)는 저장을 막으므로 쓰지 않는다.
+ * - 교정 값 입력(`엔터 = …`): 빈 문자열. 제안이 있으면 제안 값, 없으면 현재 값을 그대로 둔다.
+ * - 그 밖의 입력: 빈 문자열. 저장 경로에서는 나오지 않는다.
+ */
+interface AutoReviewIO extends ReviewIO {
+  /**
+   * 검토 메뉴에 두 번째로 닿아 `cancel` 로 끝냈는가. 저장이 되돌아왔다는 뜻이고, 그때 generate
+   * 는 저장 없이 0 을 돌려준다. 호출자는 이 값으로 "저장 성공" 과 "취소" 를 가른다.
+   */
+  readonly cancelled: boolean;
+}
+declare function autoReviewIO(sink: {
+  write(text: string): void;
+}): AutoReviewIO;
+//#endregion
 //#region src/test-command.d.ts
 interface TestCommandInput {
   readonly suitePath: string;
@@ -63,8 +92,13 @@ interface TestCommandDependencies {
   readEnv?(name: string): string | undefined;
   startRunner(options: RunSuiteOptions): RunnerExecution;
   finalize(options: FinalizeRunnerExecutionOptions): Promise<RunnerReport>;
+  /**
+   * `specApproved` 는 명세에 approval 블록이 있는지다. 거절 근거 미확인 고지가 generate 승인
+   * 화면을 가리킬지 `--json` 의 rejectionBody 를 가리킬지 가른다. 설계 문서(경쟁 도구 비교) §3.4.
+   */
   renderReport(report: RunnerReport, options?: {
     color?: boolean;
+    specApproved?: boolean;
   }): string;
   /**
    * runner 의 `renderJUnit`. 두 번째 인자를 선언하지 않는다 — CLI 는 `suiteName` 을 넘길 이유가
@@ -79,6 +113,11 @@ interface TestCommandDependencies {
    */
   checkInputContract?(options: InputContractOptions): SpecFindingsResult;
   checkAssertionSubstance?(suite: TestSuiteSpec): SpecFindingsResult;
+  /**
+   * 거절 기대 케이스에서 억제된 선언 위반. 위 두 필드와 같은 이유로 선택 사항이다. 생략하면
+   * `runner` 의 `acceptedViolations` 다. 설계 문서(경쟁 도구 비교) §3.2.
+   */
+  acceptedViolations?(options: InputContractOptions): ReadonlyMap<string, readonly SpecFinding[]>;
   /**
    * 결정론성 비교와 초기화 명령의 주입 지점. 위 두 필드와 같은 이유로 선택 사항이다.
    * 생략하면 각각 `runner` 의 `checkDeterminism` 과 `reset-hook.ts` 의 `runResetCommand` 다.
@@ -102,4 +141,4 @@ declare function parseTestCommand(argv: readonly string[]): TestCommandInput;
  */
 declare function runCli(argv: readonly string[], dependencies: TestCommandDependencies): Promise<number>;
 //#endregion
-export { type CliErrorCode, type CliFailure, type GenerateCommandDependencies, type GenerateCommandInput, type RepairCommandDependencies, type RepairCommandInput, type ReviewIO, type TestCommandDependencies, type TestCommandInput, nodeGenerateDependencies, nodeReviewIO, parseRepairCommand, parseTestCommand, runCli, runGenerateCommand, runRepairCommand };
+export { type AuditCommandDependencies, type AuditCommandInput, type AutoReviewIO, type CliErrorCode, type CliFailure, type GenerateCommandDependencies, type GenerateCommandInput, type OptimizeCommandDependencies, type OptimizeCommandInput, REVIEW_BACK_VALUE, type RepairCommandDependencies, type RepairCommandInput, type ReviewIO, type TestCommandDependencies, type TestCommandInput, autoReviewIO, nodeAuditDependencies, nodeGenerateDependencies, nodeReviewIO, parseAuditCommand, parseOptimizeCommand, parseRepairCommand, parseTestCommand, runAuditCommand, runCli, runGenerateCommand, runOptimizeCommand, runRepairCommand };

package/dist/commands.mjs

@@ -1,2 +1,45 @@
-import { a as nodeGenerateDependencies, i as runRepairCommand, n as runCli, o as nodeReviewIO, r as parseRepairCommand, s as runGenerateCommand, t as parseTestCommand } from "./test-command-DEp9hrfH.mjs";
-export { nodeGenerateDependencies, nodeReviewIO, parseRepairCommand, parseTestCommand, runCli, runGenerateCommand, runRepairCommand };
+import { _ as runCli, c as parseOptimizeCommand, d as nodeGenerateDependencies, f as nodeReviewIO, g as parseTestCommand, h as runAuditCommand, l as runOptimizeCommand, m as parseAuditCommand, n as nodeAuditDependencies, o as parseRepairCommand, p as runGenerateCommand, s as runRepairCommand, u as REVIEW_BACK_VALUE } from "./src-CRsYPuu_.mjs";
+//#region src/auto-review-io.ts
+function autoReviewIO(sink) {
+	let menuSeen = false;
+	let cancelled = false;
+	const note = (question, answer) => {
+		sink.write(`▸ 자동 승인: ${summarize(question)} → ${answer}\n`);
+	};
+	return {
+		interactive: true,
+		get cancelled() {
+			return cancelled;
+		},
+		write: (text) => sink.write(text),
+		async choose(message, choices) {
+			if (message === "검토 메뉴") {
+				const answer = menuSeen ? "cancel" : "save";
+				if (menuSeen) cancelled = true;
+				menuSeen = true;
+				note(message, answer);
+				return answer;
+			}
+			const answer = choices[0] ?? "";
+			note(message, answer);
+			return answer;
+		},
+		async confirm(message) {
+			const answer = !/그래도 적용합니까/.test(message);
+			note(message, answer ? "예" : "아니오");
+			return answer;
+		},
+		async input(message) {
+			const answer = /^\s*선택:\s*$/.test(message) ? "s" : "";
+			note(message, answer === "" ? "(엔터)" : answer);
+			return answer;
+		}
+	};
+}
+/** 로그 한 줄에 들어갈 만큼만 남긴다. 질문 본문은 이미 화면에 찍혀 있다. */
+function summarize(question) {
+	const oneLine = question.replace(/\s+/g, " ").trim();
+	return oneLine.length > 60 ? `${oneLine.slice(0, 57)}...` : oneLine;
+}
+//#endregion
+export { REVIEW_BACK_VALUE, autoReviewIO, nodeAuditDependencies, nodeGenerateDependencies, nodeReviewIO, parseAuditCommand, parseOptimizeCommand, parseRepairCommand, parseTestCommand, runAuditCommand, runCli, runGenerateCommand, runOptimizeCommand, runRepairCommand };

package/dist/index-CBFNkZgR.d.mts

@@ -0,0 +1,372 @@
+import { SuiteValidationResult, TestSuiteSpec } from "@mcpeak/runner";
+import { AdvertiseOptions, HttpConnectOptions, McpHttpConnection, McpServerInfo, McpServerSurface, McpStdioConnection, ToolDef } from "@mcpeak/core";
+import { AuthoringExecutionSnapshot, AuthoringSessionView, BaselineGenerationResult, FixtureFile, PreFillProvider } from "@mcpeak/generate";
+import { ProbePolicy, SandboxBackend } from "@mcpeak/audit";
+//#region src/audit-sandbox-target.d.ts
+interface SandboxTargetFs {
+  /** 경로가 가리키는 것. 없거나 볼 수 없으면 undefined 다. 던지지 않는다. */
+  stat(path: string): Promise<"file" | "directory" | undefined>;
+  readFile(path: string): Promise<string>;
+}
+//#endregion
+//#region src/connect-target.d.ts
+/** 파서가 확정한 연결 대상. */
+type ConnectTarget = {
+  readonly transport: "stdio";
+  readonly command: string;
+  readonly args: readonly string[];
+  /**
+   * 자식에게 넘길 부모 환경변수의 **이름**. 값은 여기에도 argv 에도 없다(`--header-env` 와
+   * 같은 이유). `openConnection` 이 `readEnv` 로 읽어 `env` 에 얹는다.
+   */
+  readonly envNames: readonly string[];
+} | {
+  readonly transport: "http";
+  readonly url: string;
+  /**
+   * 헤더 이름 → 그 값을 담은 **환경변수 이름**. 값 자체는 여기에도 argv 에도 없다.
+   *
+   * 평문 `--header 'Authorization: Bearer …'` 를 두지 않은 이유가 이 타입이다. 토큰을
+   * argv 에 실으면 `ps` 목록과 셸 히스토리에 그대로 남고, 그건 우리가 만든 노출이다.
+   */
+  readonly headerEnv: Readonly<Record<string, string>>;
+};
+//#endregion
+//#region src/audit-command.d.ts
+/** `--sandbox` 와 그 하위 옵션. 경로는 사용자가 쓴 글자 그대로다. 실행할 때 푼다. */
+interface AuditSandboxInput {
+  readonly session?: {
+    readonly mode: "record" | "replay";
+    readonly path: string;
+  };
+  /** `--allow-host` 값. 준 순서 그대로다. */
+  readonly allowHosts: readonly string[];
+  readonly compareHost: boolean;
+  /** `--sandbox-mount` 값. */
+  readonly mountPath?: string;
+}
+interface AuditCommandInput {
+  readonly target: ConnectTarget;
+  /** 격리가 켜지지 않은 실행의 호출 정책. 사용자가 주지 않았으면 `readonly` 다. */
+  readonly probe: ProbePolicy;
+  /**
+   * 사용자가 `--probe` 를 직접 주었는가. 격리가 실제로 켜진 실행은 주지 않았을 때만 `all` 로 돈다
+   * (ADR-0107). 준 값은 어느 쪽에서도 그대로다.
+   */
+  readonly probeExplicit: boolean;
+  readonly baselinePath?: string;
+  readonly updateBaseline: boolean;
+  readonly json: boolean;
+  /** `--sandbox` 를 준 실행에만 있다. */
+  readonly sandbox?: AuditSandboxInput;
+}
+/** `--sandbox` 실행에만 쓰는 의존성. 호스트의 파일 시스템과 Docker 를 만지는 유일한 통로다. */
+interface AuditSandboxDependencies {
+  /**
+   * 격리 백엔드를 만든다. `--sandbox` 를 준 실행에서만 불린다. `progress` 는 백엔드의 진행 문장
+   * (이미지를 처음 만들 때의 한 줄)을 받는다.
+   */
+  createBackend(progress: (line: string) => void): SandboxBackend;
+  stat: SandboxTargetFs["stat"];
+  /** 서버 인자의 상대 경로를 푸는 기준이자 서버의 작업 디렉터리. */
+  readonly cwd: string;
+  /** 사용자 홈 디렉터리. 마운트 범위가 이것이면 거절한다. */
+  readonly home: string;
+}
+/** 감사가 쓰는 연결. core 의 connectStdio·connectHttp 반환이 이 꼴이다. */
+type StdioAuditConnection = McpStdioConnection & McpServerInfo & McpServerSurface;
+type HttpAuditConnection = McpHttpConnection & McpServerInfo & McpServerSurface;
+interface AuditCommandDependencies {
+  connectStdio(options: {
+    command: string;
+    args: readonly string[];
+    env?: Readonly<Record<string, string>>;
+    advertise?: AdvertiseOptions;
+    connectTimeoutMs?: number;
+  }): Promise<StdioAuditConnection>;
+  connectHttp(options: HttpConnectOptions): Promise<HttpAuditConnection>;
+  /** `--env`·`--header-env` 가 가리키는 환경변수를 읽는 유일한 지점이다. */
+  readEnv(name: string): string | undefined;
+  /** 기준 파일을 읽는다. 없으면 `code: "ENOENT"` 인 오류를 던진다(node:fs 그대로). */
+  readFile(path: string): Promise<string>;
+  writeFile(path: string, text: string): Promise<void>;
+  readonly audit: typeof import("@mcpeak/audit").audit;
+  readonly renderReport: typeof import("@mcpeak/audit").renderReport;
+  /** 리포트의 `generator.version`. `@mcpeak/audit` 의 패키지 버전이다. */
+  readonly generatorVersion: string;
+  writeStdout(text: string): void;
+  writeStderr(text: string): void;
+  readonly fetch: typeof globalThis.fetch;
+  /** 카나리 값 하나. 16자 소문자 hex 이고 호출마다 다르다. */
+  random(): string;
+  readonly sandbox: AuditSandboxDependencies;
+}
+declare function parseAuditCommand(argv: readonly string[]): AuditCommandInput;
+declare function runAuditCommand(argv: readonly string[], deps: AuditCommandDependencies): Promise<number>;
+//#endregion
+//#region src/reset-hook.d.ts
+/**
+ * 초기화가 실제로 무엇을 했는가. `--reset-cmd` 가 0 으로 끝난 것을 "초기 상태" 라고
+ * 부르지 않기 위해 있다. 명령이 무엇을 복원했는지 우리는 모른다(이슈 #399).
+ */
+type ResetGrade =
+/**
+ * 새 프로세스·새 연결 + 초기화 명령 성공. 우리가 제공할 수 있는 가장 강한 것.
+ *
+ * **이번 회차는 이 값을 내지 않는다.** 프로세스를 다시 띄우는 것은 core 의 수명주기를
+ * 건드리고, generate 흐름 한가운데서 연결을 바꾸면 그 뒤 단계가 전부 새 client 를 봐야
+ * 한다. 값을 미리 정의하는 이유는, commandOnly 를 "초기 상태" 라고 부르지 않으려면
+ * 그보다 강한 것이 있다는 사실이 타입에 있어야 하기 때문이다. 죽은 값이 아니라
+ * 의도된 자리다. 지우지 마라(설계 §3).
+ */
+"freshProcess" |
+/** 같은 연결에 초기화 명령만 성공. 서버 프로세스의 메모리 상태는 그대로다. */
+"commandOnly" |
+/** 초기화 수단이 없다. 앞 실행이 바꾼 상태가 남아 있다. */
+"none" |
+/** 초기화를 시도했으나 실패했다. 상태를 모른다. */
+"failed";
+//#endregion
+//#region src/generate-command.d.ts
+interface GenerateCommandInput {
+  readonly suiteId: string;
+  readonly name: string;
+  readonly outPath: string;
+  /**
+   * 명세를 뽑을 대상. `--command`/`--arg` 면 stdio, `--url` 이면 Streamable HTTP 다(#137).
+   * `command` · `args` 두 필드를 이 하나로 바꾼 근거는 `TestCommandInput.target` 과 같다.
+   */
+  readonly target: ConnectTarget;
+  readonly baselineOnly: boolean;
+  readonly provider?: "codex" | "claude";
+  readonly model?: string;
+  /** 승인 전 시험 실행 여부. 기본은 실행이고 `--no-dry-run` 이 끈다. 설계 문서 §4.3. */
+  readonly dryRun: boolean;
+  /** `--force`. `--out` 에 파일이 있으면 지우고 새로 쓴다. 설계 문서 §5. */
+  readonly force: boolean;
+  /** `--reset-cmd`. 시험 실행 직전 1회 실행한다. */
+  readonly resetCmd?: string;
+  /** 입력값 교정 단계를 돌릴지 여부. 기본은 실행이고 `--no-repair` 가 끈다. 설계 문서 §7. */
+  readonly repair: boolean;
+  /**
+   * 통과한 거절 케이스의 근거를 확인할지 여부. 기본은 꺼짐이고 `--diagnose-rejections` 가 켠다.
+   * 끄면 미확인 목록도 AI 진단도 나가지 않고 한 줄 고지만 남는다(ADR-0098 · 설계 §4.2).
+   */
+  readonly diagnoseRejections: boolean;
+  /**
+   * `--fixtures` 로 명시한 픽스처 파일 경로. 없으면 기본 경로(`mcpeak.fixtures.json`)를 본다.
+   *
+   * "명시했는가" 를 여기서 구분해 두는 이유는 없는 파일의 처리가 다르기 때문이다. 기본
+   * 경로는 없는 것이 정상이라 조용히 지나가고, 사용자가 적은 경로가 없는 것은 오타다(#390).
+   */
+  readonly fixturesPath?: string;
+}
+interface GenerateCommandDependencies {
+  connect(options: {
+    command: string;
+    args: readonly string[];
+  }): Promise<McpStdioConnection>;
+  /**
+   * 원격(Streamable HTTP) 대상용 연결. `core.connectHttp` 다. 선택 사항으로 두는 근거는
+   * `TestCommandDependencies.connectHttp` 와 같다(#137).
+   */
+  connectHttp?(options: {
+    url: string;
+    headers?: Readonly<Record<string, string>>;
+  }): Promise<McpHttpConnection>;
+  /** `--header-env` 가 가리키는 환경변수를 읽는다. CLI 가 `process` 를 직접 읽지 않기 위한 주입점. */
+  readEnv?(name: string): string | undefined;
+  /**
+   * 초기화 주입점. 기본은 `attemptReset` 이다.
+   *
+   * 사전보완 후보 비교가 같은 초기 상태에서 도는지를 유닛테스트가 보려면 초기화를 세워야 하는데,
+   * 실제 `attemptReset` 은 프로세스를 띄운다. 이 저장소는 유닛테스트를 인메모리로만 돌린다
+   * (터미널 병렬 안전). `dryRun` · `preparePreFillRequest` 를 주입으로 받는 것과 같은 이유다.
+   * 실제 명령을 돌리는 테스트는 `reset-hook-e2e.test.ts` 하나에만 둔다(#399).
+   */
+  attemptReset?(resetCmd: string | undefined): Promise<{
+    readonly grade: ResetGrade;
+  }>;
+  createBaselineSuite(tools: readonly ToolDef[], options: {
+    suiteId: string;
+    suiteName: string;
+    fixtures?: FixtureFile;
+  }): BaselineGenerationResult;
+  createAuthoringSession(baseline: BaselineGenerationResult, options?: {
+    readonly preFilledCaseIds?: readonly string[];
+  }): AuthoringSessionView;
+  finalizeAuthoringDraft(options: {
+    session: AuthoringSessionView;
+    approval: {
+      approved: boolean;
+      fingerprint: string;
+    };
+  }): {
+    finalized: true;
+    snapshot: AuthoringExecutionSnapshot;
+  } | {
+    finalized: false;
+  };
+  getAuthoringExecutionSuite(snapshot: AuthoringExecutionSnapshot): TestSuiteSpec;
+  validateSuite(value: unknown): SuiteValidationResult;
+  exists(path: string): Promise<boolean>;
+  openTemp(path: string): Promise<{
+    writeFile(data: string, encoding: "utf8"): Promise<void>;
+    sync(): Promise<void>;
+    close(): Promise<void>;
+  }>;
+  readFile(path: string): Promise<Uint8Array>;
+  /**
+   * 임시 파일을 최종 경로에 커밋한다. `rename`이 아니라 `link`인 것이 요점이다.
+   * `rename`은 대상이 있으면 말없이 덮어쓴다. `link`는 EEXIST로 실패하므로
+   * 원자성과 no-clobber를 동시에 얻는다. 덮어쓸 수 있는 primitive를 아예 두지 않는다.
+   */
+  link(from: string, to: string): Promise<void>;
+  unlink(path: string): Promise<void>;
+  writeStdout(text: string): void;
+  writeStderr(text: string): void;
+  reviewIO?: ReviewIO;
+  providers?: Partial<Record<"codex" | "claude", (model: string) => TestAuthoringProvider | undefined>>;
+  /**
+   * 거절 근거 진단 통로 (#89 · 설계 문서 §6). `providers` 와 **따로 둔다.** 그쪽은
+   * `TestAuthoringProvider`(`author`)이고 이쪽은 `diagnoseRejection` 이라 다른 계약이다.
+   * `preFillProviders` 와 같은 선례다. 없으면 진단을 아예 묻지 않는다.
+   */
+  rejectionProviders?: Partial<Record<"codex" | "claude", (model: string) => import("@mcpeak/generate").RejectionDiagnosisProvider | undefined>>;
+  prepareRejectionDiagnosisRequests?: typeof import("@mcpeak/generate").prepareRejectionDiagnosisRequests;
+  dispatchRejectionDiagnosis?: typeof import("@mcpeak/generate").dispatchRejectionDiagnosis;
+  prepareAuthoringRequest?: typeof import("@mcpeak/generate").prepareAuthoringRequest;
+  dispatchAuthoringRequest?: typeof import("@mcpeak/generate").dispatchAuthoringRequest;
+  createAuthoringDiff?: typeof import("@mcpeak/generate").createAuthoringDiff;
+  applyAuthoringChanges?: typeof import("@mcpeak/generate").applyAuthoringChanges;
+  reviewLocalAuthoringCandidate?: typeof import("@mcpeak/generate").reviewLocalAuthoringCandidate;
+  computeCoverage?: typeof import("@mcpeak/generate").computeCoverage;
+  /**
+   * AI 사전보완 통로. 넷 다 주입돼야 사전보완이 돈다. 하나라도 없으면 건너뛴다.
+   * 위 authoring 통로와 같은 이유로 값 import 가 아니라 주입이다.
+   */
+  preparePreFillRequest?: typeof import("@mcpeak/generate").preparePreFillRequest;
+  previewPreFillRequest?: typeof import("@mcpeak/generate").previewPreFillRequest;
+  dispatchPreFillRequest?: typeof import("@mcpeak/generate").dispatchPreFillRequest;
+  preFillProviders?: Partial<Record<"codex" | "claude", (model: string) => PreFillProvider | undefined>>;
+  /**
+   * `instanceof` 용 클래스. 값 import 가 아니라 주입인 것이 요점이다.
+   *
+   * 이 파일은 `@mcpeak/generate` 에서 타입만 가져온다(위 `import type`). 클래스를 값으로
+   * 가져오면 `index.ts` 가 정적으로 끌어와 `test` 경로까지 `generate` 를 로드한다.
+   * `typeof import(...)` 는 타입 위치라 런타임 import 가 생기지 않고, 주입하면 클래스
+   * 동일성도 보장된다. 위 6개 필드가 같은 방식이다.
+   */
+  GenerateTestsError?: typeof import("@mcpeak/generate").GenerateTestsError;
+}
+interface ReviewIO {
+  input(message: string): Promise<string>;
+  choose(message: string, choices: readonly string[]): Promise<string>;
+  confirm(message: string): Promise<boolean>;
+  write(text: string): void;
+  readonly interactive: boolean;
+  close?(): void;
+}
+type TestAuthoringProvider = import("@mcpeak/generate").TestAuthoringProvider;
+/** 대시보드의 검토 하위 입력에서 상위 메뉴로 돌아갈 때 쓰는 내부 제어값. */
+declare const REVIEW_BACK_VALUE = "__mcpeak_review_back__";
+declare function runGenerateCommand(argv: readonly string[], deps: GenerateCommandDependencies): Promise<number>;
+declare const nodeGenerateDependencies: () => Omit<GenerateCommandDependencies, "connect" | "createBaselineSuite" | "createAuthoringSession" | "finalizeAuthoringDraft" | "getAuthoringExecutionSuite" | "validateSuite">;
+declare function nodeReviewIO(input?: NodeJS.ReadableStream, output?: NodeJS.WritableStream): ReviewIO;
+//#endregion
+//#region src/optimize-command.d.ts
+interface OptimizeCommandInput {
+  readonly outPath: string;
+  readonly target: ConnectTarget;
+  readonly json: boolean;
+}
+interface OptimizeCommandDependencies {
+  /**
+   * 반환에 `McpServerInfo` 가 실려 있어야 한다. `instructions` 와 광고한 능력 키가 오버레이의
+   * 입력이기 때문이다. `core.connectStdio` 가 그 모양이다.
+   */
+  connectStdio(options: {
+    command: string;
+    args: readonly string[];
+    env?: Readonly<Record<string, string>>;
+  }): Promise<McpStdioConnection & McpServerInfo>;
+  connectHttp?(options: HttpConnectOptions): Promise<McpHttpConnection & McpServerInfo>;
+  readEnv?(name: string): string | undefined;
+  readonly optimize: typeof import("@mcpeak/optimize").optimize;
+  readonly renderReport: typeof import("@mcpeak/optimize").renderReport;
+  /** 오버레이의 `generator.version`. `@mcpeak/optimize` 의 패키지 버전이다. */
+  readonly generatorVersion: string;
+  writeFile(path: string, text: string): Promise<void>;
+  writeStdout(text: string): void;
+  writeStderr(text: string): void;
+}
+declare function parseOptimizeCommand(argv: readonly string[]): OptimizeCommandInput;
+declare function runOptimizeCommand(argv: readonly string[], deps: OptimizeCommandDependencies): Promise<number>;
+//#endregion
+//#region src/repair-command.d.ts
+interface RepairCommandInput {
+  readonly bundlePath: string;
+  readonly providerId: "codex" | "claude";
+  readonly model: string;
+  readonly yes: boolean;
+  readonly includeStderr: boolean;
+  readonly maxCases: number;
+}
+interface RepairCommandDependencies {
+  readFile(path: string): Promise<string>;
+  writeStdout(text: string): void;
+  writeStderr(text: string): void;
+  /** 전송 확인 화면. 없으면 비대화형으로 본다. `generate` 가 쓰는 그 인터페이스다. */
+  readonly reviewIO?: ReviewIO;
+  /**
+   * 진단 통로. `@mcpeak/generate` 를 값으로 import 하지 않고 주입받는다. 정적으로 import 하면
+   * `test` 경로가 `generate` 를 함께 로드한다. 계획서 §8 위험표 첫 줄이다.
+   */
+  readonly diagnosis?: {
+    readonly prepare: typeof import("@mcpeak/generate").prepareDiagnosisRequest;
+    readonly dispatch: typeof import("@mcpeak/generate").dispatchDiagnosisRequest;
+    readonly providers: {
+      readonly codex: (model: string) => import("@mcpeak/generate").ServerDiagnosisProvider;
+      readonly claude: (model: string) => import("@mcpeak/generate").ServerDiagnosisProvider;
+    };
+  };
+}
+declare function parseRepairCommand(argv: readonly string[]): RepairCommandInput;
+declare function runRepairCommand(argv: readonly string[], deps: RepairCommandDependencies): Promise<number>;
+//#endregion
+//#region src/index.d.ts
+type Command = (argv: string[]) => Promise<number>;
+declare const COMMANDS: readonly ["test", "generate", "repair", "record", "mock", "optimize", "audit"];
+/**
+ * `repair` 실행 의존성. 함수로 빼 둔 이유는 **주입 자체를 테스트가 단언할 수 있게** 하기
+ * 위해서다. 분기 안에 리터럴로 두면 `reviewIO` 를 빠뜨려도 아무 테스트도 안 깨진다.
+ * 실제로 그렇게 한 번 빠뜨렸다(T10 보고서).
+ *
+ * 대화형 판정은 `generate` 와 같은 기준이다. 같은 `nodeReviewIO()` 를 쓰고, 그 구현이
+ * stdin·stdout 이 둘 다 TTY 일 때만 `interactive` 를 참으로 만든다.
+ */
+declare function nodeRepairDependencies(generate: typeof import("@mcpeak/generate")): RepairCommandDependencies;
+/**
+ * `optimize` 실행 의존성. `nodeRepairDependencies` 와 같은 이유로 함수로 뺀다. 주입 자체를
+ * 테스트가 단언할 수 있어야 `connectHttp` 나 `readEnv` 를 빠뜨린 배선이 초록으로 남지 않는다.
+ *
+ * `generatorVersion` 은 오버레이의 `generator` 가 `@mcpeak/optimize` 이므로 그 패키지의 버전이다.
+ * 그 패키지의 `exports` 가 `package.json` 을 열지 않아 상대 경로로 읽는다. 빌드가 값으로 싣고,
+ * 릴리스는 `changeset version` 뒤에 빌드하므로 발행되는 두 패키지의 버전이 맞는다.
+ */
+declare function nodeOptimizeDependencies(core: typeof import("@mcpeak/core"), optimize: typeof import("@mcpeak/optimize")): OptimizeCommandDependencies;
+/**
+ * `audit` 실행 의존성. `nodeOptimizeDependencies` 와 같은 이유로 함수로 뺀다. 주입 자체를 테스트가
+ * 단언할 수 있어야 `connectHttp`·`readEnv`·`fetch` 를 빠뜨린 배선이 초록으로 남지 않는다.
+ *
+ * `random` 은 카나리 값이다. 출력에 쓰지 않으므로 무작위여도 `--json` 의 바이트 결정론을 깨지
+ * 않는다. 서버가 값을 예측해 숨길 수 없게 암호학적 난수를 쓴다. `generatorVersion` 은 리포트의
+ * `generator` 가 `@mcpeak/audit` 이므로 그 패키지의 버전이고, 읽는 방식은 optimize 와 같다.
+ *
+ * `sandbox.createBackend` 는 `--sandbox` 를 준 실행에서만 불린다. 그 밖의 실행은 Docker 를 찾지도
+ * 부르지도 않는다.
+ */
+declare function nodeAuditDependencies(core: typeof import("@mcpeak/core"), audit: typeof import("@mcpeak/audit")): AuditCommandDependencies;
+declare function run(argv: string[]): Promise<number>;
+//#endregion
+export { AuditCommandInput as C, ConnectTarget as E, AuditCommandDependencies as S, runAuditCommand as T, REVIEW_BACK_VALUE as _, nodeRepairDependencies as a, nodeReviewIO as b, RepairCommandInput as c, OptimizeCommandDependencies as d, OptimizeCommandInput as f, GenerateCommandInput as g, GenerateCommandDependencies as h, nodeOptimizeDependencies as i, parseRepairCommand as l, runOptimizeCommand as m, Command as n, run as o, parseOptimizeCommand as p, nodeAuditDependencies as r, RepairCommandDependencies as s, COMMANDS as t, runRepairCommand as u, ReviewIO as v, parseAuditCommand as w, runGenerateCommand as x, nodeGenerateDependencies as y };