@mcpeak/cli 0.12.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,10 +1,59 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-const require_test_command = require("./test-command-1m3myzTS.cjs");
-exports.REVIEW_BACK_VALUE = require_test_command.REVIEW_BACK_VALUE;
-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 ReviewIO, d as runGenerateCommand, f as ConnectTarget, i as runRepairCommand, l as nodeGenerateDependencies, n as RepairCommandInput, o as GenerateCommandInput, r as parseRepairCommand, s as REVIEW_BACK_VALUE, t as RepairCommandDependencies, u as nodeReviewIO } from "./repair-command-CVFqxU6V.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, REVIEW_BACK_VALUE, 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 ReviewIO, d as runGenerateCommand, f as ConnectTarget, i as runRepairCommand, l as nodeGenerateDependencies, n as RepairCommandInput, o as GenerateCommandInput, r as parseRepairCommand, s as REVIEW_BACK_VALUE, t as RepairCommandDependencies, u as nodeReviewIO } from "./repair-command-8GUlJJ47.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, REVIEW_BACK_VALUE, 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 REVIEW_BACK_VALUE, c as runGenerateCommand, i as runRepairCommand, n as runCli, o as nodeGenerateDependencies, r as parseRepairCommand, s as nodeReviewIO, t as parseTestCommand } from "./test-command-P8_uaAIy.mjs";
-export { REVIEW_BACK_VALUE, 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/{repair-command-8GUlJJ47.d.mts → index-CBFNkZgR.d.mts}

@@ -1,6 +1,14 @@
-import { AuthoringExecutionSnapshot, AuthoringSessionView, BaselineGenerationResult, FixtureFile, PreFillProvider } from "@mcpeak/generate";
 import { SuiteValidationResult, TestSuiteSpec } from "@mcpeak/runner";
-import { McpHttpConnection, McpStdioConnection, ToolDef } from "@mcpeak/core";
+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 = {
@@ -24,6 +32,78 @@ type ConnectTarget = {
   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 으로 끝난 것을 "초기 상태" 라고
@@ -194,6 +274,35 @@ declare function runGenerateCommand(argv: readonly string[], deps: GenerateComma
 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;
@@ -225,4 +334,39 @@ interface RepairCommandDependencies {
 declare function parseRepairCommand(argv: readonly string[]): RepairCommandInput;
 declare function runRepairCommand(argv: readonly string[], deps: RepairCommandDependencies): Promise<number>;
 //#endregion
-export { GenerateCommandDependencies as a, ReviewIO as c, runGenerateCommand as d, ConnectTarget as f, runRepairCommand as i, nodeGenerateDependencies as l, RepairCommandInput as n, GenerateCommandInput as o, parseRepairCommand as r, REVIEW_BACK_VALUE as s, RepairCommandDependencies as t, nodeReviewIO as u };
+//#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 };

package/dist/{repair-command-CVFqxU6V.d.cts → index-_hQ_Ohu-.d.cts}

@@ -1,6 +1,14 @@
-import { McpHttpConnection, McpStdioConnection, ToolDef } from "@mcpeak/core";
+import { ProbePolicy, SandboxBackend } from "@mcpeak/audit";
+import { AdvertiseOptions, HttpConnectOptions, McpHttpConnection, McpServerInfo, McpServerSurface, McpStdioConnection, ToolDef } from "@mcpeak/core";
 import { AuthoringExecutionSnapshot, AuthoringSessionView, BaselineGenerationResult, FixtureFile, PreFillProvider } from "@mcpeak/generate";
 import { SuiteValidationResult, TestSuiteSpec } from "@mcpeak/runner";
+//#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 = {
@@ -24,6 +32,78 @@ type ConnectTarget = {
   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 으로 끝난 것을 "초기 상태" 라고
@@ -194,6 +274,35 @@ declare function runGenerateCommand(argv: readonly string[], deps: GenerateComma
 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;
@@ -225,4 +334,39 @@ interface RepairCommandDependencies {
 declare function parseRepairCommand(argv: readonly string[]): RepairCommandInput;
 declare function runRepairCommand(argv: readonly string[], deps: RepairCommandDependencies): Promise<number>;
 //#endregion
-export { GenerateCommandDependencies as a, ReviewIO as c, runGenerateCommand as d, ConnectTarget as f, runRepairCommand as i, nodeGenerateDependencies as l, RepairCommandInput as n, GenerateCommandInput as o, parseRepairCommand as r, REVIEW_BACK_VALUE as s, RepairCommandDependencies as t, nodeReviewIO as u };
+//#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 };