@kenkaiiii/ggcoder 5.30.3 → 5.32.0

package/dist/core/verification-evidence.js

@@ -0,0 +1,283 @@
+import { hasUnsafeShellSyntax, splitShellCommandSegments } from "../tools/read-only-bash.js";
+const LONG_RUNNING_FLAGS = new Set([
+    "--watch",
+    "--watchall",
+    "--watchall=false",
+    "--ui",
+    "--inspect",
+    "--inspect-brk",
+    "-w",
+]);
+const MUTATING_FLAGS = new Set([
+    "--init",
+    "--build",
+    "-b",
+    "--clean",
+    "--fix",
+    "--write",
+    "--update",
+    "-u",
+    "--updatesnapshot",
+    "--incremental",
+    "--tsbuildinfofile",
+    "--emitdeclarationonly",
+]);
+const AMBIGUOUS_FLAGS = new Set([
+    "--nocheck",
+    "--listfilesonly",
+    "--showconfig",
+    "--help",
+    "-h",
+    "--version",
+    "--generatetrace",
+    "--traceresolution",
+    "--diagnostics",
+    "--extendeddiagnostics",
+    "--generatecpuprofile",
+    "--collect-only",
+    "--listtests",
+]);
+const SAFE_PACKAGE_SCRIPTS = /^(?:test(?::(?:unit|integration|e2e))?|check|typecheck|type-check|lint(?::check)?|format(?::check|-check)|prettier:check)$/i;
+const UNSAFE_PACKAGE_SCRIPTS = /^(?:build|clean|dev|serve|start|watch|preview|prepare|install|format|lint:fix|test:watch)(?::|$)/i;
+const VERIFIER_WORDS = /(?:^|\s|\/)(?:tsc|vitest|jest|pytest|eslint|prettier|pyright|mypy|ruff|cargo|go|shellcheck)(?:\s|$)/i;
+function tokenize(segment) {
+    return segment
+        .trim()
+        .split(/\s+/)
+        .map((token) => token.replace(/^["']|["']$/g, ""))
+        .filter(Boolean);
+}
+function lowerFlags(tokens) {
+    return new Set(tokens.filter((token) => token.startsWith("-")).map((token) => token.toLowerCase()));
+}
+function hasFlag(flags, denied) {
+    for (const flag of flags) {
+        const name = flag.split("=")[0];
+        if (denied.has(flag) || denied.has(name))
+            return true;
+    }
+    return false;
+}
+function rejected(candidate, reason) {
+    return { accepted: false, candidate, reason };
+}
+function accepted(reason) {
+    return { accepted: true, candidate: true, reason };
+}
+function classifyTsc(tokens) {
+    const flags = lowerFlags(tokens);
+    if (hasFlag(flags, LONG_RUNNING_FLAGS))
+        return rejected(true, "long-running watch/debug mode");
+    if (hasFlag(flags, MUTATING_FLAGS))
+        return rejected(true, "mutating or artifact-producing mode");
+    if (hasFlag(flags, AMBIGUOUS_FLAGS) || flags.has("-v")) {
+        return rejected(true, "does not prove type correctness");
+    }
+    if (!flags.has("--noemit"))
+        return rejected(true, "tsc must explicitly use --noEmit");
+    return accepted("bounded TypeScript no-emit check");
+}
+function classifyTestRunner(executable, tokens) {
+    const flags = lowerFlags(tokens);
+    if (hasFlag(flags, LONG_RUNNING_FLAGS) || flags.has("--watch=false")) {
+        return rejected(true, "long-running or interactive test mode");
+    }
+    if (hasFlag(flags, MUTATING_FLAGS))
+        return rejected(true, "mutating test/update mode");
+    if (hasFlag(flags, AMBIGUOUS_FLAGS))
+        return rejected(true, "does not execute the test suite");
+    if (executable === "vitest") {
+        const positional = tokens.slice(1).filter((token) => !token.startsWith("-"));
+        if (!positional.includes("run") && !flags.has("--run")) {
+            return rejected(true, "vitest must explicitly use one-shot run mode");
+        }
+    }
+    return accepted("bounded one-shot test check");
+}
+function classifyDirect(tokens) {
+    const executable = tokens[0]?.replace(/^.*[\\/]/, "").toLowerCase();
+    if (!executable)
+        return rejected(false, "empty command");
+    if (executable === "tsc")
+        return classifyTsc(tokens);
+    if (executable === "vitest" || executable === "jest" || executable === "pytest") {
+        return classifyTestRunner(executable, tokens);
+    }
+    const flags = lowerFlags(tokens);
+    if (["eslint", "prettier", "ruff"].includes(executable)) {
+        if (hasFlag(flags, LONG_RUNNING_FLAGS))
+            return rejected(true, "long-running mode");
+        if (hasFlag(flags, MUTATING_FLAGS))
+            return rejected(true, "mutating formatter/linter mode");
+        if (hasFlag(flags, AMBIGUOUS_FLAGS))
+            return rejected(true, "does not execute a static check");
+        if (executable === "prettier" && !flags.has("--check")) {
+            return rejected(true, "prettier must explicitly use --check");
+        }
+        if (executable === "ruff" && tokens[1] === "format" && !flags.has("--check")) {
+            return rejected(true, "ruff format must explicitly use --check");
+        }
+        return accepted("bounded static check");
+    }
+    if (["pyright", "mypy", "shellcheck"].includes(executable)) {
+        if (hasFlag(flags, LONG_RUNNING_FLAGS))
+            return rejected(true, "long-running mode");
+        if (hasFlag(flags, AMBIGUOUS_FLAGS))
+            return rejected(true, "does not execute a static check");
+        return accepted("bounded static check");
+    }
+    if (executable === "cargo") {
+        const subcommand = tokens[1]?.toLowerCase();
+        if (subcommand === "build" || subcommand === "clean" || subcommand === "run") {
+            return rejected(true, "artifact-producing Cargo command");
+        }
+        if (subcommand === "fmt" && !flags.has("--check")) {
+            return rejected(true, "cargo fmt must explicitly use --check");
+        }
+        return ["check", "clippy", "test", "fmt"].includes(subcommand)
+            ? accepted("bounded Cargo check")
+            : rejected(false, "not a recognized verification command");
+    }
+    if (executable === "go") {
+        const subcommand = tokens[1]?.toLowerCase();
+        return subcommand === "test" || subcommand === "vet"
+            ? accepted("bounded Go check")
+            : rejected(subcommand === "build" || subcommand === "clean", "not a bounded Go check");
+    }
+    return rejected(VERIFIER_WORDS.test(tokens.join(" ")), "not a recognized verification command");
+}
+function classifyPackageRunner(tokens) {
+    const runner = tokens[0].toLowerCase();
+    let index = 1;
+    while (index < tokens.length) {
+        const token = tokens[index].toLowerCase();
+        if (["--filter", "-f", "--dir", "-c"].includes(token)) {
+            index += 2;
+            continue;
+        }
+        if (token === "--workspace-root" ||
+            token === "-w" ||
+            token.startsWith("--filter=") ||
+            token.startsWith("--dir=")) {
+            index += 1;
+            continue;
+        }
+        break;
+    }
+    const action = tokens[index]?.toLowerCase();
+    if (!action)
+        return rejected(false, "package runner has no command");
+    if (["exec", "x", "dlx"].includes(action))
+        return classifyDirect(tokens.slice(index + 1));
+    const scriptIndex = action === "run" ? index + 1 : index;
+    const script = tokens[scriptIndex]?.toLowerCase();
+    if (!script)
+        return rejected(false, "package runner has no script");
+    if (UNSAFE_PACKAGE_SCRIPTS.test(script)) {
+        return rejected(true, "mutating, artifact-producing, or long-running package script");
+    }
+    if (!SAFE_PACKAGE_SCRIPTS.test(script)) {
+        return rejected(false, "package script is not a recognized verification check");
+    }
+    const scriptArgs = tokens.slice(scriptIndex + 1).filter((token) => token !== "--");
+    const flags = lowerFlags(scriptArgs);
+    if (hasFlag(flags, LONG_RUNNING_FLAGS))
+        return rejected(true, "long-running package-script mode");
+    if (hasFlag(flags, MUTATING_FLAGS))
+        return rejected(true, "mutating package-script mode");
+    if (hasFlag(flags, AMBIGUOUS_FLAGS))
+        return rejected(true, "package script does not prove correctness");
+    return accepted(`bounded ${runner} verification script`);
+}
+function classifySegment(segment) {
+    const candidate = VERIFIER_WORDS.test(segment) || /(?:^|\s)(?:pnpm|npm|yarn|bun)(?:\s|$)/i.test(segment);
+    if (hasUnsafeShellSyntax(segment))
+        return rejected(candidate, "unsafe shell syntax or redirection");
+    const tokens = tokenize(segment);
+    const first = tokens[0]?.toLowerCase();
+    if (["pnpm", "npm", "yarn", "bun"].includes(first))
+        return classifyPackageRunner(tokens);
+    if (["npx", "bunx"].includes(first))
+        return classifyDirect(tokens.slice(1));
+    return classifyDirect(tokens);
+}
+/** Fail-closed semantic classifier: every shell segment must be a bounded check. */
+export function classifyVerificationCommand(command) {
+    const candidate = VERIFIER_WORDS.test(command) || /(?:^|\s)(?:pnpm|npm|yarn|bun)(?:\s|$)/i.test(command);
+    // Only && preserves fail-closed evidence across a chain. Pipes, OR, semicolons,
+    // and newlines can hide a failed check behind a later zero exit status.
+    if (command.includes("||") ||
+        command.includes(";") ||
+        command.includes("\n") ||
+        /(^|[^|])\|([^|]|$)/.test(command)) {
+        return rejected(candidate, "shell control operator can hide a failed check");
+    }
+    const segments = splitShellCommandSegments(command);
+    if (segments.length === 0)
+        return rejected(false, "empty command");
+    const results = segments.map(classifySegment);
+    const firstRejected = results.find((result) => !result.accepted);
+    if (firstRejected) {
+        return rejected(results.some((result) => result.candidate), firstRejected.reason);
+    }
+    return accepted(segments.length === 1 ? results[0].reason : "bounded verification command chain");
+}
+function resultText(result) {
+    if (typeof result.content === "string")
+        return result.content;
+    return result.content
+        .filter((part) => part.type === "text")
+        .map((part) => part.text)
+        .join("\n");
+}
+/** Extract harness-owned evidence from completed bash calls in a transcript. */
+export function collectVerificationEvidence(messages) {
+    const calls = new Map();
+    const evidence = [];
+    for (const message of messages) {
+        if (message.role === "assistant" && Array.isArray(message.content)) {
+            for (const part of message.content) {
+                if (part.type !== "tool_call" || part.name !== "bash")
+                    continue;
+                const command = typeof part.args.command === "string" ? part.args.command.trim() : "";
+                const background = part.args.run_in_background === true || part.args.persist === true;
+                calls.set(part.id, {
+                    command,
+                    classification: classifyVerificationCommand(command),
+                    background,
+                });
+            }
+        }
+        if (message.role !== "tool")
+            continue;
+        for (const result of message.content) {
+            const call = calls.get(result.toolCallId);
+            if (!call || !call.classification.candidate)
+                continue;
+            if (call.background) {
+                evidence.push({
+                    command: call.command,
+                    status: "rejected",
+                    reason: "background or persistent commands are not bounded evidence",
+                });
+                continue;
+            }
+            if (!call.classification.accepted) {
+                evidence.push({
+                    command: call.command,
+                    status: "rejected",
+                    reason: call.classification.reason,
+                });
+                continue;
+            }
+            const passed = !result.isError && /^Exit code:\s*0(?:\s|$)/i.test(resultText(result).trim());
+            evidence.push({
+                command: call.command,
+                status: passed ? "passed" : "failed",
+                reason: passed ? call.classification.reason : "bounded check did not exit successfully",
+            });
+        }
+    }
+    return evidence;
+}
+//# sourceMappingURL=verification-evidence.js.map

package/dist/core/verification-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-evidence.js","sourceRoot":"","sources":["../../src/core/verification-evidence.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAe7F,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,SAAS;IACT,YAAY;IACZ,kBAAkB;IAClB,MAAM;IACN,WAAW;IACX,eAAe;IACf,IAAI;CACL,CAAC,CAAC;AACH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,QAAQ;IACR,SAAS;IACT,IAAI;IACJ,SAAS;IACT,OAAO;IACP,SAAS;IACT,UAAU;IACV,IAAI;IACJ,kBAAkB;IAClB,eAAe;IACf,mBAAmB;IACnB,uBAAuB;CACxB,CAAC,CAAC;AACH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC9B,WAAW;IACX,iBAAiB;IACjB,cAAc;IACd,QAAQ;IACR,IAAI;IACJ,WAAW;IACX,iBAAiB;IACjB,mBAAmB;IACnB,eAAe;IACf,uBAAuB;IACvB,sBAAsB;IACtB,gBAAgB;IAChB,aAAa;CACd,CAAC,CAAC;AACH,MAAM,oBAAoB,GACxB,6HAA6H,CAAC;AAChI,MAAM,sBAAsB,GAC1B,mGAAmG,CAAC;AACtG,MAAM,cAAc,GAClB,sGAAsG,CAAC;AAEzG,SAAS,QAAQ,CAAC,OAAe;IAC/B,OAAO,OAAO;SACX,IAAI,EAAE;SACN,KAAK,CAAC,KAAK,CAAC;SACZ,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;SACjD,MAAM,CAAC,OAAO,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,UAAU,CAAC,MAAyB;IAC3C,OAAO,IAAI,GAAG,CACZ,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CACpF,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,KAA0B,EAAE,MAA2B;IACtE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,SAAkB,EAAE,MAAc;IAClD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc;IAC9B,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,WAAW,CAAC,MAAyB;IAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,OAAO,CAAC,KAAK,EAAE,kBAAkB,CAAC;QAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,+BAA+B,CAAC,CAAC;IAC/F,IAAI,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC;QAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;IACjG,IAAI,OAAO,CAAC,KAAK,EAAE,eAAe,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACvD,OAAO,QAAQ,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC;IACtF,OAAO,QAAQ,CAAC,kCAAkC,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAkB,EAClB,MAAyB;IAEzB,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,OAAO,CAAC,KAAK,EAAE,kBAAkB,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;QACrE,OAAO,QAAQ,CAAC,IAAI,EAAE,uCAAuC,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC;QAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,KAAK,EAAE,eAAe,CAAC;QAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;IAC9F,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7E,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,OAAO,QAAQ,CAAC,IAAI,EAAE,8CAA8C,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,6BAA6B,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,cAAc,CAAC,MAAyB;IAC/C,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACpE,IAAI,CAAC,UAAU;QAAE,OAAO,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IACzD,IAAI,UAAU,KAAK,KAAK;QAAE,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,MAAM,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAChF,OAAO,kBAAkB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACxD,IAAI,OAAO,CAAC,KAAK,EAAE,kBAAkB,CAAC;YAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QACnF,IAAI,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC;YAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;QAC5F,IAAI,OAAO,CAAC,KAAK,EAAE,eAAe,CAAC;YAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;QAC9F,IAAI,UAAU,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACvD,OAAO,QAAQ,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,UAAU,KAAK,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7E,OAAO,QAAQ,CAAC,IAAI,EAAE,yCAAyC,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3D,IAAI,OAAO,CAAC,KAAK,EAAE,kBAAkB,CAAC;YAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QACnF,IAAI,OAAO,CAAC,KAAK,EAAE,eAAe,CAAC;YAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;QAC9F,OAAO,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;QAC5C,IAAI,UAAU,KAAK,OAAO,IAAI,UAAU,KAAK,OAAO,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;YAC7E,OAAO,QAAQ,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,UAAU,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAClD,OAAO,QAAQ,CAAC,IAAI,EAAE,uCAAuC,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC5D,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC;YACjC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,uCAAuC,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;QAC5C,OAAO,UAAU,KAAK,MAAM,IAAI,UAAU,KAAK,KAAK;YAClD,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC;YAC9B,CAAC,CAAC,QAAQ,CAAC,UAAU,KAAK,OAAO,IAAI,UAAU,KAAK,OAAO,EAAE,wBAAwB,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,uCAAuC,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAyB;IACtD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IACvC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACtD,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IACE,KAAK,KAAK,kBAAkB;YAC5B,KAAK,KAAK,IAAI;YACd,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC;YAC7B,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC1B,CAAC;YACD,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,MAAM;IACR,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;IAC5C,IAAI,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC,KAAK,EAAE,+BAA+B,CAAC,CAAC;IACrE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IAE1F,MAAM,WAAW,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACzD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC;IAClD,IAAI,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC,KAAK,EAAE,8BAA8B,CAAC,CAAC;IACpE,IAAI,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,OAAO,QAAQ,CAAC,IAAI,EAAE,8DAA8D,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,KAAK,EAAE,uDAAuD,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,KAAK,EAAE,kBAAkB,CAAC;QAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC;IAClG,IAAI,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC;QAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,8BAA8B,CAAC,CAAC;IAC1F,IAAI,OAAO,CAAC,KAAK,EAAE,eAAe,CAAC;QACjC,OAAO,QAAQ,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;IACrE,OAAO,QAAQ,CAAC,WAAW,MAAM,sBAAsB,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,eAAe,CAAC,OAAe;IACtC,MAAM,SAAS,GACb,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,wCAAwC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzF,IAAI,oBAAoB,CAAC,OAAO,CAAC;QAC/B,OAAO,QAAQ,CAAC,SAAS,EAAE,oCAAoC,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;IACvC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACzF,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,2BAA2B,CAAC,OAAe;IACzD,MAAM,SAAS,GACb,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,wCAAwC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzF,gFAAgF;IAChF,wEAAwE;IACxE,IACE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QACtB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QACtB,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,EAClC,CAAC;QACD,OAAO,QAAQ,CAAC,SAAS,EAAE,gDAAgD,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC9C,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACjE,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,QAAQ,CACb,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,EAC1C,aAAa,CAAC,MAAM,CACrB,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,oCAAoC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,MAAkB;IACpC,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC;IAC9D,OAAO,MAAM,CAAC,OAAO;SAClB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;SACtC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;SACxB,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,2BAA2B,CAAC,QAA4B;IACtE,MAAM,KAAK,GAAG,IAAI,GAAG,EAGlB,CAAC;IACJ,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAE5C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACnE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAwB,EAAE,CAAC;gBACpD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,SAAS;gBAChE,MAAM,OAAO,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,iBAAiB,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC;gBACtF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE;oBACjB,OAAO;oBACP,cAAc,EAAE,2BAA2B,CAAC,OAAO,CAAC;oBACpD,UAAU;iBACX,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACtC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAuB,EAAE,CAAC;YACrD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAC1C,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,SAAS;gBAAE,SAAS;YACtD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,MAAM,EAAE,UAAU;oBAClB,MAAM,EAAE,4DAA4D;iBACrE,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;gBAClC,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,MAAM,EAAE,UAAU;oBAClB,MAAM,EAAE,IAAI,CAAC,cAAc,CAAC,MAAM;iBACnC,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7F,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;gBACpC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,yCAAyC;aACxF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/core/verification-evidence.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=verification-evidence.test.d.ts.map

package/dist/core/verification-evidence.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-evidence.test.d.ts","sourceRoot":"","sources":["../../src/core/verification-evidence.test.ts"],"names":[],"mappings":""}

package/dist/core/verification-evidence.test.js

@@ -0,0 +1,103 @@
+import { describe, expect, it } from "vitest";
+import { classifyVerificationCommand, collectVerificationEvidence, } from "./verification-evidence.js";
+describe("classifyVerificationCommand", () => {
+    it.each([
+        "tsc --noEmit",
+        "pnpm exec tsc --noEmit --pretty false",
+        "pnpm --filter @kenkaiiii/gg-ai check",
+        "pnpm -w typecheck",
+        "vitest run src/foo.test.ts",
+        "pnpm test -- --runInBand",
+        "cargo fmt --check && cargo clippy",
+        "ruff format --check .",
+    ])("accepts bounded check: %s", (command) => {
+        expect(classifyVerificationCommand(command)).toMatchObject({
+            accepted: true,
+            candidate: true,
+        });
+    });
+    it.each([
+        ["tsc --init", "mutating"],
+        ["tsc --build", "mutating"],
+        ["tsc --noEmit --incremental", "mutating"],
+        ["tsc --noEmit --tsBuildInfoFile cache.tsbuildinfo", "mutating"],
+        ["prettier --write src", "mutating"],
+        ["pnpm build", "artifact-producing"],
+        ["tsc --watch --noEmit", "long-running"],
+        ["vitest --watch", "long-running"],
+        ["pnpm dev", "long-running"],
+        ["tsc", "--noEmit"],
+        ["tsc --noEmit --noCheck", "does not prove"],
+        ["tsc --noEmit --listFilesOnly", "does not prove"],
+        ["tsc --showConfig", "does not prove"],
+        ["tsc --help", "does not prove"],
+        ["tsc --version", "does not prove"],
+        ["tsc --noEmit --generateTrace trace", "does not prove"],
+        ["tsc --noEmit --generateCpuProfile cpu.cpuprofile", "does not prove"],
+        ["tsc --noEmit > result.txt", "unsafe shell"],
+        ["tsc --noEmit | cat", "control operator"],
+        ["tsc --noEmit || echo ignored", "control operator"],
+        ["tsc --noEmit; echo ignored", "control operator"],
+        ["tsc --noEmit && npm run clean", "mutating"],
+    ])("rejects non-evidence command: %s", (command, reason) => {
+        expect(classifyVerificationCommand(command)).toMatchObject({
+            accepted: false,
+            candidate: true,
+            reason: expect.stringContaining(reason),
+        });
+    });
+    it("rejects unknown commands without mislabeling ordinary shell work as verification", () => {
+        expect(classifyVerificationCommand("git status --short")).toMatchObject({
+            accepted: false,
+            candidate: false,
+        });
+    });
+});
+function bashExchange(id, command, result, args = {}) {
+    return [
+        {
+            role: "assistant",
+            content: [{ type: "tool_call", id, name: "bash", args: { command, ...args } }],
+        },
+        {
+            role: "tool",
+            content: [{ type: "tool_result", toolCallId: id, content: result }],
+        },
+    ];
+}
+describe("collectVerificationEvidence", () => {
+    it("records only successful bounded checks as passed evidence", () => {
+        const messages = [
+            ...bashExchange("pass", "tsc --noEmit", "Exit code: 0\n"),
+            ...bashExchange("fail", "vitest run src/foo.test.ts", "Exit code: 1\n1 test failed"),
+            ...bashExchange("watch", "tsc --watch --noEmit", "Exit code: 0\nWatching"),
+            ...bashExchange("ordinary", "git status --short", "Exit code: 0\n"),
+            ...bashExchange("background", "vitest run", "Background process started.", {
+                run_in_background: true,
+            }),
+        ];
+        expect(collectVerificationEvidence(messages)).toEqual([
+            {
+                command: "tsc --noEmit",
+                status: "passed",
+                reason: "bounded TypeScript no-emit check",
+            },
+            {
+                command: "vitest run src/foo.test.ts",
+                status: "failed",
+                reason: "bounded check did not exit successfully",
+            },
+            {
+                command: "tsc --watch --noEmit",
+                status: "rejected",
+                reason: "long-running watch/debug mode",
+            },
+            {
+                command: "vitest run",
+                status: "rejected",
+                reason: "background or persistent commands are not bounded evidence",
+            },
+        ]);
+    });
+});
+//# sourceMappingURL=verification-evidence.test.js.map

package/dist/core/verification-evidence.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-evidence.test.js","sourceRoot":"","sources":["../../src/core/verification-evidence.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAEpC,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,EAAE,CAAC,IAAI,CAAC;QACN,cAAc;QACd,uCAAuC;QACvC,sCAAsC;QACtC,mBAAmB;QACnB,4BAA4B;QAC5B,0BAA0B;QAC1B,mCAAmC;QACnC,uBAAuB;KACxB,CAAC,CAAC,2BAA2B,EAAE,CAAC,OAAO,EAAE,EAAE;QAC1C,MAAM,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC;YACzD,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,IAAI,CAAC;QACN,CAAC,YAAY,EAAE,UAAU,CAAC;QAC1B,CAAC,aAAa,EAAE,UAAU,CAAC;QAC3B,CAAC,4BAA4B,EAAE,UAAU,CAAC;QAC1C,CAAC,kDAAkD,EAAE,UAAU,CAAC;QAChE,CAAC,sBAAsB,EAAE,UAAU,CAAC;QACpC,CAAC,YAAY,EAAE,oBAAoB,CAAC;QACpC,CAAC,sBAAsB,EAAE,cAAc,CAAC;QACxC,CAAC,gBAAgB,EAAE,cAAc,CAAC;QAClC,CAAC,UAAU,EAAE,cAAc,CAAC;QAC5B,CAAC,KAAK,EAAE,UAAU,CAAC;QACnB,CAAC,wBAAwB,EAAE,gBAAgB,CAAC;QAC5C,CAAC,8BAA8B,EAAE,gBAAgB,CAAC;QAClD,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;QACtC,CAAC,YAAY,EAAE,gBAAgB,CAAC;QAChC,CAAC,eAAe,EAAE,gBAAgB,CAAC;QACnC,CAAC,oCAAoC,EAAE,gBAAgB,CAAC;QACxD,CAAC,kDAAkD,EAAE,gBAAgB,CAAC;QACtE,CAAC,2BAA2B,EAAE,cAAc,CAAC;QAC7C,CAAC,oBAAoB,EAAE,kBAAkB,CAAC;QAC1C,CAAC,8BAA8B,EAAE,kBAAkB,CAAC;QACpD,CAAC,4BAA4B,EAAE,kBAAkB,CAAC;QAClD,CAAC,+BAA+B,EAAE,UAAU,CAAC;KAC9C,CAAC,CAAC,kCAAkC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACzD,MAAM,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC;YACzD,QAAQ,EAAE,KAAK;YACf,SAAS,EAAE,IAAI;YACf,MAAM,EAAE,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC;SACxC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,CAAC,2BAA2B,CAAC,oBAAoB,CAAC,CAAC,CAAC,aAAa,CAAC;YACtE,QAAQ,EAAE,KAAK;YACf,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,SAAS,YAAY,CACnB,EAAU,EACV,OAAe,EACf,MAAc,EACd,OAAgC,EAAE;IAElC,OAAO;QACL;YACE,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,EAAE,CAAC;SAC/E;QACD;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;SACpE;KACF,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,QAAQ,GAAc;YAC1B,GAAG,YAAY,CAAC,MAAM,EAAE,cAAc,EAAE,gBAAgB,CAAC;YACzD,GAAG,YAAY,CAAC,MAAM,EAAE,4BAA4B,EAAE,6BAA6B,CAAC;YACpF,GAAG,YAAY,CAAC,OAAO,EAAE,sBAAsB,EAAE,wBAAwB,CAAC;YAC1E,GAAG,YAAY,CAAC,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,CAAC;YACnE,GAAG,YAAY,CAAC,YAAY,EAAE,YAAY,EAAE,6BAA6B,EAAE;gBACzE,iBAAiB,EAAE,IAAI;aACxB,CAAC;SACH,CAAC;QAEF,MAAM,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;YACpD;gBACE,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,kCAAkC;aAC3C;YACD;gBACE,OAAO,EAAE,4BAA4B;gBACrC,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,yCAAyC;aAClD;YACD;gBACE,OAAO,EAAE,sBAAsB;gBAC/B,MAAM,EAAE,UAAU;gBAClB,MAAM,EAAE,+BAA+B;aACxC;YACD;gBACE,OAAO,EAAE,YAAY;gBACrB,MAAM,EAAE,UAAU;gBAClB,MAAM,EAAE,4DAA4D;aACrE;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/modes/acp-mode.d.ts

@@ -33,6 +33,19 @@ export interface AcpAgentSession {
     setPlanMode(active: boolean): Promise<void>;
     /** Bake an approved plan into the prompt so [DONE:n] progress markers work. */
     setApprovedPlan(planPath: string | undefined): Promise<void>;
+    /**
+     * Registry commands (/model, /compact, …), including any an extension
+     * registered during `initialize`. Optional so a test double need not carry a
+     * registry — a session without one simply advertises no registry commands.
+     */
+    readonly slashCommands?: {
+        getAll(): {
+            name: string;
+            aliases: string[];
+            description: string;
+            usage: string;
+        }[];
+    };
 }
 export interface AcpModeOptions {
     provider: Provider;

package/dist/modes/acp-mode.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"acp-mode.d.ts","sourceRoot":"","sources":["../../src/modes/acp-mode.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAIzE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAerD,oFAAoF;AACpF,eAAO,MAAM,oBAAoB,IAAI,CAAC;AA8BtC;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvC,QAAQ,IAAI;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACrE,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACzB,4EAA4E;IAC5E,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IACrC,yDAAyD;IACzD,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChD,0EAA0E;IAC1E,WAAW,IAAI,OAAO,EAAE,CAAC;IACzB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5D,gBAAgB,IAAI,aAAa,GAAG,SAAS,CAAC;IAC9C,gBAAgB,CAAC,KAAK,EAAE,aAAa,GAAG,SAAS,GAAG,IAAI,CAAC;IACzD,0EAA0E;IAC1E,WAAW,IAAI,OAAO,CAAC;IACvB,WAAW,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5C,+EAA+E;IAC/E,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC9D;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,sDAAsD;IACtD,KAAK,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;IAC9B,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;IAC/B;;;OAGG;IACH,aAAa,CAAC,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,eAAe,CAAC;CAC1D;AAsED,2EAA2E;AAC3E,eAAO,MAAM,eAAe,UAAU,CAAC;AACvC,eAAO,MAAM,kBAAkB,aAAa,CAAC;AAC7C,eAAO,MAAM,cAAc,SAAS,CAAC;AA0HrC;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAgEtF;AAID;;;;GAIG;AACH,wBAAsB,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAqgBvE;AAED;;;;;GAKG;AACH,wBAAsB,aAAa,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAiB1E"}
+{"version":3,"file":"acp-mode.d.ts","sourceRoot":"","sources":["../../src/modes/acp-mode.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAIzE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAiBrD,oFAAoF;AACpF,eAAO,MAAM,oBAAoB,IAAI,CAAC;AA8BtC;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvC,QAAQ,IAAI;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACrE,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACzB,4EAA4E;IAC5E,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IACrC,yDAAyD;IACzD,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChD,0EAA0E;IAC1E,WAAW,IAAI,OAAO,EAAE,CAAC;IACzB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5D,gBAAgB,IAAI,aAAa,GAAG,SAAS,CAAC;IAC9C,gBAAgB,CAAC,KAAK,EAAE,aAAa,GAAG,SAAS,GAAG,IAAI,CAAC;IACzD,0EAA0E;IAC1E,WAAW,IAAI,OAAO,CAAC;IACvB,WAAW,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5C,+EAA+E;IAC/E,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7D;;;;OAIG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE;QACvB,MAAM,IAAI;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,EAAE,CAAC;YAAC,WAAW,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;KACrF,CAAC;CACH;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,sDAAsD;IACtD,KAAK,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;IAC9B,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;IAC/B;;;OAGG;IACH,aAAa,CAAC,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,eAAe,CAAC;CAC1D;AAsED,2EAA2E;AAC3E,eAAO,MAAM,eAAe,UAAU,CAAC;AACvC,eAAO,MAAM,kBAAkB,aAAa,CAAC;AAC7C,eAAO,MAAM,cAAc,SAAS,CAAC;AA6MrC;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAgEtF;AAID;;;;GAIG;AACH,wBAAsB,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAoiBvE;AAED;;;;;GAKG;AACH,wBAAsB,aAAa,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAiB1E"}

package/dist/modes/acp-mode.js

@@ -23,6 +23,8 @@ import readline from "node:readline";
 import { isAbortError } from "@kenkaiiii/gg-agent";
 import { getAllModels, getMaxThinkingLevel, getModel } from "@kenkaiiii/gg-core";
 import { AgentSession } from "../core/agent-session.js";
+import { PROMPT_COMMANDS } from "../core/prompt-commands.js";
+import { loadCustomCommands } from "../core/custom-commands.js";
 import { findSessionById, listAllSessions, listSessionSummaries, loadSessionCheckpointChain, } from "../session.js";
 import { getHistoryMessageVisibility, reconstructCheckpointHistory, restoreUserRow, } from "../core/session-history.js";
 import { formatUserError } from "../utils/error-handler.js";
@@ -186,6 +188,73 @@ function configOptionsFor(session) {
         },
     ];
 }
+/** What a prompt-template command does with whatever follows the name. */
+const TEMPLATE_ARG_HINT = "extra instructions (optional)";
+/**
+ * The argument hint for a registry command, taken from its own usage string.
+ *
+ * `/add-dir [path] — no path lists the current roots` becomes `[path]`: the
+ * client renders a hint, not a man page, and the prose after the dash is the
+ * description's job.
+ */
+function hintFromUsage(name, usage) {
+    const withoutName = usage.replace(new RegExp(`^\\s*/${name}\\b`), "").trim();
+    const hint = withoutName.split("—")[0].split(" - ")[0].trim();
+    return hint ? { hint } : undefined;
+}
+/**
+ * Every slash command this session would actually honour, in the precedence
+ * `AgentSession.resolveSlashInput` uses: built-in prompt templates, then
+ * `.gg/commands/*.md` from the project, then registry commands.
+ *
+ * That order is not cosmetic. `resolveSlashInput` looks for a template body
+ * FIRST and only falls through to the registry when there is none, so a project
+ * file named `new.md` really does shadow the registry's `/new`. Listing the
+ * registry entry for that name would point a client's user at a description of
+ * something the agent will not run.
+ *
+ * Names already claimed — including a built-in's ALIASES, which
+ * `getPromptCommand` matches — are dropped rather than listed twice.
+ */
+async function availableCommands(session, cwd) {
+    const commands = [];
+    const taken = new Set();
+    const add = (command) => {
+        if (taken.has(command.name))
+            return;
+        taken.add(command.name);
+        commands.push(command);
+    };
+    for (const command of PROMPT_COMMANDS) {
+        for (const alias of command.aliases)
+            taken.add(alias);
+        add({
+            name: command.name,
+            description: command.description,
+            input: { hint: TEMPLATE_ARG_HINT },
+        });
+    }
+    // Project commands are files on disk, so a client that never rescans still
+    // gets whatever existed when the session opened.
+    for (const command of await loadCustomCommands(cwd)) {
+        add({
+            name: command.name,
+            description: command.description,
+            input: { hint: TEMPLATE_ARG_HINT },
+        });
+    }
+    // Last: anything above with the same NAME beats a registry command. An alias
+    // collision does not, so aliases are deliberately not claimed here — a
+    // project `q.md` shadows `/q` without hiding `/quit` itself.
+    for (const command of session.slashCommands?.getAll() ?? []) {
+        add({
+            name: command.name,
+            description: command.description,
+            input: hintFromUsage(command.name, command.usage),
+        });
+    }
+    return commands;
+}
 /** The `modes` block ACP clients like Zed read from session/new and session/load. */
 function sessionModes(session) {
     return {
@@ -338,6 +407,36 @@ export async function runAcpMode(options) {
             configOptions: configOptionsFor(session),
         });
     }
+    /**
+     * Tell the client which slash commands exist, once the session is up.
+     *
+     * Sent as a notification AFTER the response that created the session (a
+     * timer, not a microtask, so it cannot overtake it): the payload is addressed
+     * by sessionId, and a client that has not yet seen its own session/new result
+     * has nowhere to put it. The agent is the only party that can know its
+     * built-ins, so a client scanning `.gg/commands` on its own would miss them.
+     */
+    function notifyAvailableCommands(target) {
+        const forSession = sessionId;
+        setTimeout(() => {
+            // A second session/new (or a dispose) beat us here; that session will
+            // announce its own commands.
+            if (session !== target || sessionId !== forSession)
+                return;
+            void availableCommands(target, options.cwd)
+                .then((commands) => {
+                if (session !== target || sessionId !== forSession)
+                    return;
+                notifyUpdate({
+                    sessionUpdate: "available_commands_update",
+                    availableCommands: commands,
+                });
+            })
+                // Command discovery reads the disk. A failure there must not take down
+                // a session that is otherwise fine.
+                .catch(() => { });
+        }, 0);
+    }
     /**
      * Bridge ggcoder's event bus onto `session/update` notifications.
      *
@@ -491,6 +590,7 @@ export async function runAcpMode(options) {
     }
     async function handleNewSession() {
         const created = await startSession();
+        notifyAvailableCommands(created);
         return { sessionId, configOptions: configOptionsFor(created), modes: sessionModes(created) };
     }
     /** The directory a request is about, defaulting to the one we were started in. */
@@ -559,6 +659,7 @@ export async function runAcpMode(options) {
         sessionId = requested;
         for (const update of historyUpdates(displayMessages))
             notifyUpdate(update);
+        notifyAvailableCommands(restored);
         return { configOptions: configOptionsFor(restored), modes: sessionModes(restored) };
     }
     /**