@agentbridge1/cli 0.0.9 → 0.0.11

package/dist/build-info.json

@@ -1,6 +1,6 @@
 {
-  "builtAt": "2026-06-20T12:33:18.940Z",
-  "gitHead": "b4d6915",
-  "sourceLatestMtime": "2026-06-20T12:02:16.784Z",
-  "sourceLatestFile": "src/commands/start.ts"
+  "builtAt": "2026-06-21T02:05:47.707Z",
+  "gitHead": "09300d7",
+  "sourceLatestMtime": "2026-06-21T01:45:03.790Z",
+  "sourceLatestFile": "src/commands/watch.ts"
 }

package/dist/commands/watch.js

@@ -8,6 +8,8 @@ exports.finalizeWatchSupervision = finalizeWatchSupervision;
 exports.syncAndBuildSupervisionSnapshot = syncAndBuildSupervisionSnapshot;
 exports.renderWatchTaskScopeUsage = renderWatchTaskScopeUsage;
 exports.renderWatchStartupHeader = renderWatchStartupHeader;
+exports.renderLocalWatchWaiting = renderLocalWatchWaiting;
+exports.renderLocalWatchReady = renderLocalWatchReady;
 exports.buildWatchBlockingIssue = buildWatchBlockingIssue;
 exports.renderWatchBlockingIssue = renderWatchBlockingIssue;
 exports.overlayLocalChangedFilesOnSupervision = overlayLocalChangedFilesOnSupervision;
@@ -30,6 +32,7 @@ const domain_resolution_1 = require("../domain-resolution");
 const briefing_1 = require("../briefing");
 const session_1 = require("../session");
 const session_state_1 = require("../session-state");
+const git_status_1 = require("../git-status");
 const watch_core_1 = require("../watch-core");
 const watcher_1 = require("../watcher");
 const server_sync_1 = require("../server-sync");
@@ -49,8 +52,8 @@ const session_state_2 = require("../session-state");
 const file_fingerprints_1 = require("../file-fingerprints");
 const start_1 = require("./start");
 const gates_1 = require("../gates");
-const git_status_1 = require("../git-status");
-Object.defineProperty(exports, "getDirtyWorkingTreeFiles", { enumerable: true, get: function () { return git_status_1.getDirtyWorkingTreeFiles; } });
+const git_status_2 = require("../git-status");
+Object.defineProperty(exports, "getDirtyWorkingTreeFiles", { enumerable: true, get: function () { return git_status_2.getDirtyWorkingTreeFiles; } });
 const IDLE_CLOSE_MS = 5_000;
 const CONTRACT_POLL_MS = 2_000;
 function isLocalFirstMode(cfg) {
@@ -576,6 +579,19 @@ function renderWatchStartupHeader(input) {
         "",
     ].join("\n");
 }
+function renderLocalWatchWaiting() {
+    return [
+        "AgentBridge watch — live. No contract yet.",
+        "Waiting for: agentbridge start \"...\" or agent_hello({ intent: \"...\" })",
+        "",
+    ].join("\n");
+}
+function renderLocalWatchReady(session) {
+    if (!session.intent?.trim()) {
+        return renderLocalWatchWaiting();
+    }
+    return (0, contract_intelligence_1.renderLiveContractBanner)(session).replace(/^\n/, "");
+}
 function renderStartupPhase(step, status) {
     const verb = status === "starting" ? "starting" : status === "done" ? "done" : "skipped";
     return `[startup] ${step}: ${verb}\n`;
@@ -632,9 +648,12 @@ async function buildAutoVerifyIssueForFiles(files, options) {
             ? `\nNote: ${coherence.suspiciousFiles.length} file(s) may not match your declared intent ("${options.intent}"). Check: ${coherence.suspiciousFiles.slice(0, 3).join(", ")}`
             : "";
         if (testResult.passed) {
+            const fallbackNote = testResult.fallbackUsed
+                ? "\nScoped test selection could not run cleanly; AgentBridge fell back to the full verify command."
+                : "";
             return {
                 errorCode: "AUTO_VERIFIED",
-                whatHappened: `AgentBridge ran tests and they passed (${testResult.command}).` + driftWarning,
+                whatHappened: `AgentBridge ran tests and they passed (${testResult.command}).` + fallbackNote + driftWarning,
                 whyItMatters: coherence.verdict === "drift"
                     ? "Tests passed, but some changed files look unrelated to your stated intent — review the scope."
                     : "Automated verification confirms the changes are safe.",
@@ -648,18 +667,94 @@ async function buildAutoVerifyIssueForFiles(files, options) {
                 coherence,
             };
         }
+        const failureType = testResult.failureType ?? "test_failures";
         const failedNames = (0, test_runner_1.extractFailedTestNames)(testResult.stdout + "\n" + testResult.stderr);
         const failureSummary = failedNames.length > 0
             ? `Failing: ${failedNames.slice(0, 3).join(", ")}${failedNames.length > 3 ? ` (+${failedNames.length - 3} more)` : ""}`
-            : "Check test output for details.";
+            : "Check verification output for details.";
+        const firstErrorLine = (testResult.stderr.split("\n").find((line) => line.trim().length > 0) ??
+            testResult.stdout.split("\n").find((line) => line.trim().length > 0) ??
+            "No diagnostic output captured.").trim();
+        const fallbackHint = testResult.fallbackUsed
+            ? "AgentBridge retried with the broader verify command after scoped verification failed."
+            : "";
+        if (failureType === "command_invalid") {
+            return {
+                errorCode: "TEST_COMMAND_INVALID",
+                whatHappened: `AgentBridge could not run verification command due to an invalid flag/argument (${testResult.command}).` +
+                    driftWarning,
+                whyItMatters: "This is a verification command configuration issue, so test pass/fail status is unknown.",
+                files: uniqueFiles,
+                suggestedPrompt: [
+                    "AgentBridge could not execute verification because the command arguments are invalid.",
+                    `Diagnostic: ${firstErrorLine}`,
+                    fallbackHint,
+                    options.intent ? `Your declared intent: "${options.intent}"` : "",
+                    "Fix the verification command/config and rerun AgentBridge watch.",
+                    `Files changed: ${summarizeWatchPromptFiles(uniqueFiles)}`,
+                ]
+                    .filter(Boolean)
+                    .join("\n"),
+                nextAction: "Fix verification command flags/options, then rerun: agentbridge watch",
+                testResult,
+                intent: options.intent,
+                coherence,
+            };
+        }
+        if (failureType === "tooling_missing") {
+            return {
+                errorCode: "TEST_TOOLING_MISSING",
+                whatHappened: `AgentBridge could not run verification because required test tooling is missing (${testResult.command}).` +
+                    driftWarning,
+                whyItMatters: "Without test tooling, AgentBridge cannot produce reliable verification evidence for this change.",
+                files: uniqueFiles,
+                suggestedPrompt: [
+                    "AgentBridge could not execute verification because test tooling is missing.",
+                    `Diagnostic: ${firstErrorLine}`,
+                    fallbackHint,
+                    options.intent ? `Your declared intent: "${options.intent}"` : "",
+                    "Install/restore required tooling and rerun AgentBridge watch.",
+                    `Files changed: ${summarizeWatchPromptFiles(uniqueFiles)}`,
+                ]
+                    .filter(Boolean)
+                    .join("\n"),
+                nextAction: "Install missing test tooling/dependencies, then rerun: agentbridge watch",
+                testResult,
+                intent: options.intent,
+                coherence,
+            };
+        }
+        if (failureType === "timeout") {
+            return {
+                errorCode: "TEST_TIMEOUT",
+                whatHappened: `AgentBridge verification timed out (${testResult.command}).` + driftWarning,
+                whyItMatters: "Timed-out verification provides no reliable proof for these changes.",
+                files: uniqueFiles,
+                suggestedPrompt: [
+                    "AgentBridge verification timed out before tests completed.",
+                    `Diagnostic: ${firstErrorLine}`,
+                    fallbackHint,
+                    options.intent ? `Your declared intent: "${options.intent}"` : "",
+                    "Narrow the test scope or increase verify timeout, then rerun AgentBridge watch.",
+                    `Files changed: ${summarizeWatchPromptFiles(uniqueFiles)}`,
+                ]
+                    .filter(Boolean)
+                    .join("\n"),
+                nextAction: "Reduce scope or increase verify timeout, then rerun: agentbridge watch",
+                testResult,
+                intent: options.intent,
+                coherence,
+            };
+        }
         return {
             errorCode: "TEST_FAILED",
-            whatHappened: `AgentBridge ran \`${testResult.command}\` and ${testResult.timedOut ? "it timed out" : "tests failed"}.` +
+            whatHappened: `AgentBridge ran \`${testResult.command}\` and tests failed.` +
                 driftWarning,
             whyItMatters: "These test failures must be fixed before the changes can be trusted.",
             files: uniqueFiles,
             suggestedPrompt: [
                 "AgentBridge ran tests and found failures.",
+                fallbackHint,
                 failureSummary,
                 options.intent ? `Your declared intent: "${options.intent}"` : "",
                 "Fix the failing tests, then rerun AgentBridge watch.",
@@ -859,19 +954,44 @@ function renderWatchBlockingIssue(issue) {
         ].join("\n");
     }
     // ── Test run failed ───────────────────────────────────────────────────────
-    if (issue.errorCode === "TEST_FAILED" && issue.testResult) {
+    if ((issue.errorCode === "TEST_FAILED" ||
+        issue.errorCode === "TEST_TIMEOUT" ||
+        issue.errorCode === "TEST_COMMAND_INVALID" ||
+        issue.errorCode === "TEST_TOOLING_MISSING") &&
+        issue.testResult) {
         const dur = (issue.testResult.durationMs / 1000).toFixed(1);
         const failedNames = (0, test_runner_1.extractFailedTestNames)(issue.testResult.stdout + "\n" + issue.testResult.stderr);
+        const firstDiagnosticLine = (issue.testResult.stderr.split("\n").find((line) => line.trim().length > 0) ??
+            issue.testResult.stdout.split("\n").find((line) => line.trim().length > 0) ??
+            "No diagnostic output captured.").trim();
         const failureLines = failedNames.length > 0
             ? failedNames.slice(0, 5).map((n) => `    ✗ ${n}`).join("\n")
-            : "    (check test output above for details)";
+            : issue.errorCode === "TEST_COMMAND_INVALID" ||
+                issue.errorCode === "TEST_TOOLING_MISSING" ||
+                issue.errorCode === "TEST_TIMEOUT"
+                ? `    ${firstDiagnosticLine}`
+                : "    (check test output above for details)";
         const moreFailures = failedNames.length > 5 ? `\n    (+${failedNames.length - 5} more)` : "";
         const hasDrift = issue.coherence?.verdict === "drift";
         const fileList = issue.files.slice(0, 8).join("\n    ");
         const moreFiles = issue.files.length > 8 ? `\n    (+${issue.files.length - 8} more)` : "";
-        const timedOutNote = issue.testResult.timedOut
+        const timedOutNote = issue.testResult.failureType === "timeout"
             ? `\n    ⚠ Timed out after ${(issue.testResult.durationMs / 1000).toFixed(0)}s — increase verify.timeoutMs in .agentbridge.json`
             : "";
+        const outcomeLabel = issue.errorCode === "TEST_COMMAND_INVALID"
+            ? "⚠ Verification command invalid"
+            : issue.errorCode === "TEST_TOOLING_MISSING"
+                ? "⚠ Verification tooling missing"
+                : issue.errorCode === "TEST_TIMEOUT"
+                    ? "✗ Verification timed out"
+                    : "✗ Tests failed";
+        const stepOne = issue.errorCode === "TEST_COMMAND_INVALID"
+            ? "    1. Fix the verification command flags/options shown above."
+            : issue.errorCode === "TEST_TOOLING_MISSING"
+                ? "    1. Install/fix required test tooling for the verification command."
+                : issue.errorCode === "TEST_TIMEOUT"
+                    ? "    1. Narrow test scope or increase verification timeout."
+                    : "    1. Fix the failing tests listed above.";
         return [
             sep,
             "  AgentBridge Verification Report",
@@ -892,14 +1012,14 @@ function renderWatchBlockingIssue(issue) {
             "🔬  WHAT WE RAN",
             `    Command : ${issue.testResult.command}`,
             `    Duration: ${dur}s${timedOutNote}`,
-            `    Outcome : ✗ Tests failed`,
+            `    Outcome : ${outcomeLabel}`,
             "",
             "❌  WHAT WE FOUND",
             failureLines + moreFailures,
             ...(hasDrift ? ["", `    Scope note: ${issue.whyItMatters}`] : []),
             "",
             "➡   NEXT STEPS",
-            "    1. Fix the failing tests listed above.",
+            stepOne,
             ...(hasDrift ? ["    2. Review the out-of-scope files — are they intentional?"] : []),
             `    ${hasDrift ? "3" : "2"}. Re-run: agentbridge watch`,
             "",
@@ -1124,14 +1244,14 @@ function normalizeDirtyWorkingTreeFiles(files) {
         const normalized = normalizeDirtyFilePath(raw);
         if (!normalized || normalized.startsWith(".."))
             continue;
-        if (normalized === ".agentbridge" || normalized.startsWith(".agentbridge/"))
+        if ((0, git_status_1.isAgentbridgeLocalPath)(normalized))
             continue;
         const expanded = expandDirectoryToFiles(normalized);
         for (const candidate of expanded) {
             const flat = normalizeDirtyFilePath(candidate);
             if (!flat || flat.startsWith(".."))
                 continue;
-            if (flat === ".agentbridge" || flat.startsWith(".agentbridge/"))
+            if ((0, git_status_1.isAgentbridgeLocalPath)(flat))
                 continue;
             if ((0, local_proof_1.isProofNoiseFile)(flat))
                 continue;
@@ -1284,7 +1404,7 @@ function buildStartupScopeDriftIssue(input) {
 async function ensureWatchRepoClean(allowDirty = false, ignoredDirtyFiles = new Set()) {
     if (allowDirty)
         return;
-    const dirtyFiles = filterIgnoredDirtyFiles((0, git_status_1.getDirtyWorkingTreeFiles)(), ignoredDirtyFiles);
+    const dirtyFiles = normalizeDirtyWorkingTreeFiles(filterIgnoredDirtyFiles((0, git_status_2.getDirtyWorkingTreeFiles)(), ignoredDirtyFiles));
     if (dirtyFiles.length === 0)
         return;
     const rl = (0, promises_1.createInterface)({ input: process.stdin, output: process.stdout });
@@ -1343,7 +1463,7 @@ async function runWatchOnceFastPath(input) {
         // No server context (offline / unconfigured) — defer to legacy local flow.
         return { handled: false, hadBlockingIssue: false };
     }
-    const dirtyFiles = timing.trackSync("git_snapshot", () => normalizeDirtyWorkingTreeFiles(filterIgnoredDirtyFiles((0, git_status_1.getDirtyWorkingTreeFiles)(), ignoredDirtyFiles)));
+    const dirtyFiles = timing.trackSync("git_snapshot", () => normalizeDirtyWorkingTreeFiles(filterIgnoredDirtyFiles((0, git_status_2.getDirtyWorkingTreeFiles)(), ignoredDirtyFiles)));
     const localState = (0, session_state_1.readSessionState)();
     const claimedPaths = [
         ...new Set([scope, ...(localState?.claimedPaths ?? [])].map((path) => path.trim()).filter(Boolean)),
@@ -1536,6 +1656,7 @@ async function runWatch(options = {}) {
         (0, session_state_1.writeSessionState)(localSession);
     }
     const explicitStrictMode = Boolean(taskScopeInput.task && taskScopeInput.scope);
+    const localInferredMode = localFirstMode && !explicitStrictMode;
     if (hasActiveLocalSession && explicitStrictMode) {
         const activeLocalSession = localSession;
         if (!activeLocalSession)
@@ -1560,24 +1681,26 @@ async function runWatch(options = {}) {
             return;
         }
     }
-    const startupScope = explicitStrictMode
-        ? taskScopeInput.scope ?? localSession?.claimedPaths?.[0] ?? "(scope unavailable)"
-        : taskScopeInput.scope;
-    const startupTask = explicitStrictMode
-        ? taskScopeInput.task ?? "Current AgentBridge task"
-        : taskScopeInput.task ?? "Inferred from changed files/current work";
-    process.stdout.write(renderWatchStartupHeader({
-        mode: explicitStrictMode ? "explicit" : "inferred",
-        task: startupTask,
-        scope: startupScope,
-        currentStatus: "Starting watch runtime.",
-        nextGuidance: explicitStrictMode
-            ? "AgentBridge will enforce explicit scope and proof checks."
-            : "AgentBridge will classify brainstorming vs coding and infer task/scope from repo activity.",
-    }));
-    await flushStdout();
-    process.stdout.write(renderStartupPhase("resolving project", "starting"));
-    await flushStdout();
+    if (!localInferredMode) {
+        const startupScope = explicitStrictMode
+            ? taskScopeInput.scope ?? localSession?.claimedPaths?.[0] ?? "(scope unavailable)"
+            : taskScopeInput.scope;
+        const startupTask = explicitStrictMode
+            ? taskScopeInput.task ?? "Current AgentBridge task"
+            : taskScopeInput.task ?? "Inferred from changed files/current work";
+        process.stdout.write(renderWatchStartupHeader({
+            mode: explicitStrictMode ? "explicit" : "inferred",
+            task: startupTask,
+            scope: startupScope,
+            currentStatus: "Starting watch runtime.",
+            nextGuidance: explicitStrictMode
+                ? "AgentBridge will enforce explicit scope and proof checks."
+                : "AgentBridge will classify brainstorming vs coding and infer task/scope from repo activity.",
+        }));
+        await flushStdout();
+        process.stdout.write(renderStartupPhase("resolving project", "starting"));
+        await flushStdout();
+    }
     const hasRecoveredDomainMap = Boolean(cfg.domains && cfg.domains.length > 0);
     timing.trackSync("identity_resolution", () => {
         if (explicitStrictMode && !cfg.activeAgentId) {
@@ -1621,7 +1744,7 @@ async function runWatch(options = {}) {
             ...(options.executionSurfaceId ? { executionSurfaceId: options.executionSurfaceId } : {}),
         });
     }
-    if (!options.once) {
+    if (!localInferredMode && !options.once) {
         try {
             await timing.trackAsync("project_access_check", async () => withTimeout((async () => {
                 const requestedCr = options.changeRequestId ?? cfg.activeChangeRequestId ?? null;
@@ -1648,8 +1771,10 @@ async function runWatch(options = {}) {
             // If network context is unavailable, continue in local-only mode.
         }
     }
-    process.stdout.write(renderStartupPhase("resolving project", "done"));
-    await flushStdout();
+    if (!localInferredMode) {
+        process.stdout.write(renderStartupPhase("resolving project", "done"));
+        await flushStdout();
+    }
     // Fast path: collapse the one-shot review into a single bounded server call.
     // Falls through to the legacy multi-call flow when the server predates the
     // consolidated endpoint or no server context is available. `startingTaskAnnounced`
@@ -1745,16 +1870,18 @@ async function runWatch(options = {}) {
             await flushStdout();
         }
     }
-    else {
+    else if (!localInferredMode) {
         process.stdout.write("[startup] session: inferred mode (will start tracking when coding begins)\n");
         await flushStdout();
     }
     // In daemon mode, skip interactive dirty-file prompt (treat as --allow-dirty).
     await timing.trackAsync("repo_clean_check", async () => ensureWatchRepoClean(Boolean(options.allowDirty) || Boolean(options.daemon), ignoredDirtyFiles));
-    process.stdout.write(renderStartupPhase("checking workspace", "done"));
-    await flushStdout();
+    if (!localInferredMode) {
+        process.stdout.write(renderStartupPhase("checking workspace", "done"));
+        await flushStdout();
+    }
     const domainPacketsLoaded = new Set();
-    if (!options.once) {
+    if (!options.once && !localInferredMode) {
         try {
             const packetCtx = (0, config_1.contextFromConfig)();
             const projectPacket = await timing.trackAsync("project_packet_fetch", async () => withTimeout((0, server_sync_1.fetchProjectPacket)(packetCtx), WATCH_STARTUP_TIMEOUT_MS, () => new errors_1.SafeCliError({
@@ -1790,11 +1917,11 @@ async function runWatch(options = {}) {
     let verdictInProgress = false;
     const waitForContract = async () => {
         let session = (0, session_state_1.readSessionState)();
-        if (!(0, session_state_1.isActiveLocalSession)(session)) {
-            process.stdout.write("AgentBridge watching — waiting for contract...\n");
+        if (!(0, session_state_1.hasActiveContract)(session)) {
+            process.stdout.write(renderLocalWatchWaiting());
             await flushStdout();
         }
-        while (!(0, session_state_1.isActiveLocalSession)(session)) {
+        while (!(0, session_state_1.hasActiveContract)(session)) {
             await new Promise((resolve) => setTimeout(resolve, CONTRACT_POLL_MS));
             session = (0, session_state_1.readSessionState)();
         }
@@ -1927,7 +2054,7 @@ async function runWatch(options = {}) {
                     await printVerdictAndReset();
                     return;
                 }
-                if (!(0, session_state_1.isActiveLocalSession)(state)) {
+                if (!(0, session_state_1.hasActiveContract)(state)) {
                     return;
                 }
             }
@@ -2304,7 +2431,10 @@ async function runWatch(options = {}) {
         await handling;
     };
     const processStartupDirty = async () => {
-        const startupDirtyFiles = timing.trackSync("git_snapshot", () => normalizeDirtyWorkingTreeFiles(filterIgnoredDirtyFiles((0, git_status_1.getDirtyWorkingTreeFiles)(), ignoredDirtyFiles)));
+        if (localInferredMode) {
+            return;
+        }
+        const startupDirtyFiles = timing.trackSync("git_snapshot", () => normalizeDirtyWorkingTreeFiles(filterIgnoredDirtyFiles((0, git_status_2.getDirtyWorkingTreeFiles)(), ignoredDirtyFiles)));
         if (startupDirtyFiles.length === 0) {
             if (!explicitStrictMode) {
                 process.stdout.write(`${renderBrainstormingStatus()}\n`);
@@ -2526,7 +2656,10 @@ async function runWatch(options = {}) {
                         nextAction: onceModeVerificationIssue.nextAction,
                     };
                 }
-                else if (onceModeVerificationIssue?.errorCode === "TEST_FAILED") {
+                else if (onceModeVerificationIssue?.errorCode === "TEST_FAILED" ||
+                    onceModeVerificationIssue?.errorCode === "TEST_TIMEOUT" ||
+                    onceModeVerificationIssue?.errorCode === "TEST_COMMAND_INVALID" ||
+                    onceModeVerificationIssue?.errorCode === "TEST_TOOLING_MISSING") {
                     supervision = {
                         ...supervision,
                         decision: "failed",
@@ -2551,32 +2684,39 @@ async function runWatch(options = {}) {
     };
     let stop = null;
     if (!options.once) {
-        process.stdout.write(renderStartupPhase("starting watcher", "starting"));
-        await flushStdout();
+        if (!localInferredMode) {
+            process.stdout.write(renderStartupPhase("starting watcher", "starting"));
+            await flushStdout();
+        }
         stop = timing.trackSync("watcher_startup", () => (0, watcher_1.startWatcher)((0, node_process_1.cwd)(), (absolutePath) => {
             void onAbsolutePathChange(absolutePath);
         }));
-        process.stdout.write(renderStartupPhase("starting watcher", "done"));
-        await flushStdout();
+        if (!localInferredMode) {
+            process.stdout.write(renderStartupPhase("starting watcher", "done"));
+            await flushStdout();
+        }
     }
-    else {
+    else if (!localInferredMode) {
         process.stdout.write(renderStartupPhase("starting watcher", "skipped"));
         await flushStdout();
     }
     await processStartupDirty();
-    process.stdout.write("[startup] ready: watch runtime is live.\n");
-    await flushStdout();
-    if (localFirstMode && !options.once) {
-        if (!(0, session_state_1.isActiveLocalSession)((0, session_state_1.readSessionState)())) {
-            await waitForContract();
+    if (localInferredMode && !options.once) {
+        const readySession = (0, session_state_1.readSessionState)();
+        if ((0, session_state_1.hasActiveContract)(readySession)) {
+            process.stdout.write(`${renderLocalWatchReady(readySession)}\n`);
         }
         else {
-            const active = (0, session_state_1.readSessionState)();
-            if (active) {
-                process.stdout.write((0, contract_intelligence_1.renderLiveContractBanner)(active));
-                await flushStdout();
-            }
+            process.stdout.write(renderLocalWatchWaiting());
         }
+        await flushStdout();
+    }
+    else {
+        process.stdout.write("[startup] ready: watch runtime is live.\n");
+        await flushStdout();
+    }
+    if (localFirstMode && !options.once && !(0, session_state_1.hasActiveContract)((0, session_state_1.readSessionState)())) {
+        await waitForContract();
     }
     if (options.once) {
         if (idleTimer)

package/dist/contract-intelligence.js

@@ -15,6 +15,7 @@ const intent_parser_1 = require("./intent-parser");
 const proof_parser_1 = require("./proof-parser");
 const diff_reader_1 = require("./diff-reader");
 const session_state_1 = require("./session-state");
+const domain_keywords_1 = require("./domain-keywords");
 const MCP_RULE_PROFILE = "mcp_rules_config_install";
 const AUTH_PROFILE = "auth_login_session";
 const DB_PROFILE = "database_schema_migration";
@@ -26,32 +27,30 @@ const GENERIC_PROFILE = "generic";
 function unique(values) {
     return [...new Set(values.map((value) => value.trim()).filter(Boolean))];
 }
-function matchIntent(intent, keywords) {
-    const lower = intent.toLowerCase();
-    return keywords.some((keyword) => lower.includes(keyword));
-}
+const MCP_ENTITY_KEYWORDS = ["mcp", "agentbridge", "cursor"];
+const MCP_ACTION_KEYWORDS = ["rule", "rules", "install", "setup", "config", "configuration"];
 function detectProfiles(intent) {
     const profiles = [];
-    if (matchIntent(intent, ["mcp"]) &&
-        matchIntent(intent, ["rule", "rules", "install", "setup", "config", "configuration"])) {
+    if ((0, domain_keywords_1.matchesAnyKeywordBoundary)(intent, MCP_ENTITY_KEYWORDS) &&
+        (0, domain_keywords_1.matchesAnyKeywordBoundary)(intent, MCP_ACTION_KEYWORDS)) {
         profiles.push(MCP_RULE_PROFILE);
     }
-    if (matchIntent(intent, ["auth", "login", "session", "token", "oauth"])) {
+    if ((0, domain_keywords_1.matchesDomainKeywords)(intent, "auth")) {
         profiles.push(AUTH_PROFILE);
     }
-    if (matchIntent(intent, ["database", "db", "schema", "migration", "prisma", "sql"])) {
+    if ((0, domain_keywords_1.matchesDomainKeywords)(intent, "database")) {
         profiles.push(DB_PROFILE);
     }
-    if (matchIntent(intent, ["ui", "style", "css", "copy", "layout", "component"])) {
+    if ((0, domain_keywords_1.matchesDomainKeywords)(intent, "ui")) {
         profiles.push(UI_PROFILE);
     }
-    if (matchIntent(intent, ["api", "endpoint", "route", "handler", "controller"])) {
+    if ((0, domain_keywords_1.matchesDomainKeywords)(intent, "api")) {
         profiles.push(API_PROFILE);
     }
-    if (matchIntent(intent, ["test", "tests", "vitest", "jest", "proof"])) {
+    if ((0, domain_keywords_1.matchesDomainKeywords)(intent, "tests")) {
         profiles.push(TEST_PROFILE);
     }
-    if (matchIntent(intent, ["payment", "payments", "billing", "stripe", "webhook"])) {
+    if ((0, domain_keywords_1.matchesDomainKeywords)(intent, "payments")) {
         profiles.push(PAYMENTS_PROFILE);
     }
     return profiles.length > 0 ? profiles : [GENERIC_PROFILE];
@@ -229,6 +228,31 @@ function fileMatchesArea(file, area) {
     const normalizedArea = area.replaceAll("\\", "/").trim();
     if (!normalizedArea || normalizedArea === "**")
         return true;
+    // Infix glob: src/**/auth/** — prefix path + directory segment(s), not substring hacks
+    if (normalizedArea.includes("**/")) {
+        const segments = normalizedArea.split("/**/");
+        if (segments.length >= 2) {
+            const prefix = segments[0].replace(/\/$/, "");
+            if (prefix && normalizedFile !== prefix && !normalizedFile.startsWith(`${prefix}/`)) {
+                return false;
+            }
+            const infixPattern = segments
+                .slice(1)
+                .join("/")
+                .replace(/\/\*\*$/, "")
+                .replace(/^\*\//, "");
+            if (!infixPattern || infixPattern === "*")
+                return true;
+            const infixParts = infixPattern.split("/").filter((part) => part && part !== "*");
+            for (const part of infixParts) {
+                const asDir = `/${part}/`;
+                const atEnd = normalizedFile.endsWith(`/${part}`);
+                if (!normalizedFile.includes(asDir) && !atEnd)
+                    return false;
+            }
+            return true;
+        }
+    }
     if (normalizedArea.endsWith("/**")) {
         const prefix = normalizedArea.slice(0, -3);
         return normalizedFile === prefix || normalizedFile.startsWith(`${prefix}/`);
@@ -495,20 +519,23 @@ function evaluateCompletionCriteria(params) {
     });
 }
 function nextStepFromCriteria(evaluations, proofNeeded) {
-    const missing = evaluations.filter((item) => item.status === "no_evidence");
-    if (missing.length === 0) {
+    const unproven = evaluations.filter((item) => item.status === "no_evidence" ||
+        item.status === "partial_evidence" ||
+        item.status === "cannot_verify");
+    if (unproven.length === 0) {
         return "All tracked criteria are evidenced. Confirm final proof and commit when ready.";
     }
     // Prioritise idempotency if it is anywhere in the unproven list
-    const idempotency = missing.find((item) => item.criterion.toLowerCase().includes("idempotent"));
+    const idempotency = unproven.find((item) => item.criterion.toLowerCase().includes("idempotent"));
     if (idempotency) {
         return "Run setup/configuration twice in a clean repo and record output proving idempotency.";
     }
-    const firstMissing = missing[0];
-    if (firstMissing && firstMissing.criterion.toLowerCase().includes("proof")) {
+    const proofGap = unproven.find((item) => item.criterion.toLowerCase().includes("proof"));
+    if (proofGap) {
         return proofNeeded[0] ?? "Run a relevant test/manual proof command and record output.";
     }
-    return `${firstMissing?.criterion ?? "Missing evidence"} — capture concrete proof before closing this contract.`;
+    const firstUnproven = unproven[0];
+    return `${firstUnproven?.criterion ?? "Missing evidence"} — capture concrete proof before closing this contract.`;
 }
 function renderLiveExpectationSummary(contract) {
     const lines = ["AgentBridge expects evidence for:"];

package/dist/contract-verdict.js

@@ -207,7 +207,9 @@ function renderContractVerdict(session, changedFiles, proofRun, domains = []) {
         }
     }
     const stillUnproven = criteriaEvals
-        ? criteriaEvals.filter((e) => e.status === "no_evidence")
+        ? criteriaEvals.filter((e) => e.status === "no_evidence" ||
+            e.status === "partial_evidence" ||
+            e.status === "cannot_verify")
         : [];
     lines.push("", "Here's what is still unproven:");
     if (stillUnproven.length === 0 && (!criteriaEvals || criteriaEvals.length === 0)) {
@@ -218,7 +220,12 @@ function renderContractVerdict(session, changedFiles, proofRun, domains = []) {
     }
     else {
         for (const e of stillUnproven) {
-            lines.push(`  - ${e.criterion}`);
+            const prefix = e.status === "partial_evidence"
+                ? "~"
+                : e.status === "cannot_verify"
+                    ? "?"
+                    : "✗";
+            lines.push(`  ${prefix} [${e.status}] ${e.criterion}`);
             lines.push(`    ${e.evidence}`);
         }
     }