@prestyj/cli 5.12.0 → 5.16.0

package/dist/ui/App.js

@@ -15,6 +15,7 @@ import {} from "@prestyj/ai";
 import { downscaleForPreview, extractMediaPaths } from "../utils/image.js";
 import { buildSubAgentCompletionFollowUp, } from "../core/subagent-manager.js";
 import { buildProcessCompletionFollowUp } from "../core/process-gate.js";
+import { VerificationGate, isCodeFilePath, isVerificationCommand, } from "../core/verification-gate.js";
 import { useAgentLoop } from "./hooks/useAgentLoop.js";
 import { useTranscriptHistory } from "./hooks/useTranscriptHistory.js";
 import { createWebSearchTool } from "../tools/web-search.js";
@@ -67,21 +68,13 @@ import { formatGoalVerifierCompletionEvent, formatGoalWorkerCompletionEvent, } f
 import { buildGoalFinalSummarySections, buildGoalSummaryRows, goalPassedDetail, } from "./goal-summary.js";
 import { addLinesChanged, buildSessionSummary, createSessionStats, recordServerToolCall, recordToolEnd, recordTurnEnd, } from "./session-summary.js";
 import { compactHistory, getNextGeneratedItemId, isActiveItem, isSameAssistantText, normalizeAssistantText, partitionCompleted, pinStreamingTextBeforeToolBoundary, removeItemsWithIds, uniqueItemsById, } from "./item-helpers.js";
-import { IDEAL_HOOK_NOTICE_TEXT, LOOP_BREAK_NOTICE_TEXT, REGROUNDING_NOTICE_TEXT, TRUNCATED_CONTINUING_NOTICE_TEXT, TRUNCATED_INCOMPLETE_NOTICE_TEXT, TRUNCATED_PROVIDER_ERROR_NOTICE_TEXT, TRUNCATED_REFUSAL_NOTICE_TEXT, lastVisibleTranscriptItem, } from "./app-items.js";
+import { IDEAL_HOOK_NOTICE_TEXT, LOOP_BREAK_NOTICE_TEXT, REGROUNDING_NOTICE_TEXT, VERIFICATION_HOOK_NOTICE_TEXT, TRUNCATED_CONTINUING_NOTICE_TEXT, TRUNCATED_INCOMPLETE_NOTICE_TEXT, TRUNCATED_EMPTY_RESPONSE_NOTICE_TEXT, TRUNCATED_PROVIDER_ERROR_NOTICE_TEXT, TRUNCATED_REFUSAL_NOTICE_TEXT, lastVisibleTranscriptItem, } from "./app-items.js";
 export { buildUserContentWithAttachments, routePromptCommandInput } from "./prompt-routing.js";
 export { getNextThinkingLevel } from "./thinking-level.js";
 export { getChatControlsLayoutDecision, getDoneFlushDecision, getScrollStabilizationDecision, getStaticHistoryKey, hasParagraphBreakLiveUserMessage, isTallLiveUserMessage, shouldHideHistoryForOverlayView, shouldHideStaticItemsForOverlayView, shouldStabilizeOverlayPaneRerender, shouldTopSpaceAfterPrintedAgentBoundary, shouldTopSpaceAssistantAfterToolBoundary, shouldTopSpaceStreamingAssistant, } from "./layout-decisions.js";
 export { getNextGeneratedItemId, isActiveItem, partitionCompleted, pinStreamingTextBeforeToolBoundary, } from "./item-helpers.js";
 /** Tools that get aggregated into a single compact group when possible. */
-const AGGREGATABLE_TOOLS = new Set([
-    "read",
-    "grep",
-    "find",
-    "ls",
-    "mcp__kencode-search__searchCode",
-    "mcp__kencode-search__referenceSources",
-    "mcp__kencode-search__discoverRepos",
-]);
+const AGGREGATABLE_TOOLS = new Set(["read", "grep", "find", "ls", "steroids"]);
 const RUNNING_INDICATOR_ANIMATION_MS = 1_200;
 function summarizeGoalCompletion(summary) {
     const trimmed = summary.trim();
@@ -403,6 +396,9 @@ export function App(props) {
     const idealReviewEnabledRef = useRef(idealReviewEnabled);
     const [autoApprovePlansEnabled, setAutoApprovePlansEnabled] = useState(props.sessionStore?.autoApprovePlans ?? props.autoApprovePlans ?? true);
     const autoApprovePlansEnabledRef = useRef(autoApprovePlansEnabled);
+    /** Pre-stop verification gate: code edited this run, nothing proved it since. */
+    const verificationGateRef = useRef(new VerificationGate());
+    const verificationGateEnabledRef = useRef(props.sessionStore?.verificationGateEnabled ?? props.verificationGateEnabled ?? true);
     /**
      * Languages whose style packs are currently injected into the system prompt.
      * Grown by `maybeInjectLanguagePacks` after `write`/`bash` tool results when
@@ -655,22 +651,8 @@ export function App(props) {
             .then((mcpTools) => {
             if (cancelled)
                 return;
-            if (mcpTools.length === 0) {
-                // No MCP tools connected (e.g. kencode-search failed to boot). The
-                // system prompt was built without them, so the model is never told
-                // to call tools it doesn't have — but flag it so the user knows
-                // public-code research is degraded this session.
-                log("WARN", "mcp", "No MCP tools connected at startup");
-                setLiveItems((prev) => [
-                    ...prev,
-                    {
-                        kind: "info",
-                        text: "Research tools (kencode-search) didn't connect — public-code search is unavailable this session.",
-                        id: getId(),
-                    },
-                ]);
+            if (mcpTools.length === 0)
                 return;
-            }
             log("INFO", "mcp", `MCP tools ready: ${mcpTools.length} tool(s)`);
             setCurrentTools((prev) => {
                 const next = [...prev.filter((tool) => !tool.name.startsWith("mcp__")), ...mcpTools];
@@ -1176,7 +1158,28 @@ export function App(props) {
                 return next;
             });
         }, []),
-        onToolEnd: useCallback((toolCallId, name, result, isError, durationMs, details) => {
+        onToolEnd: useCallback((toolCallId, name, result, isError, durationMs, details, args) => {
+            // Verification-gate bookkeeping, mirroring AgentSession.trackHookEvent:
+            // successful code mutations vs completed foreground verification runs.
+            if (!isError && args) {
+                const filePath = String(args.file_path ?? "");
+                if ((name === "edit" || name === "write") && isCodeFilePath(filePath)) {
+                    verificationGateRef.current.recordMutation(filePath);
+                }
+                if (name === "bash" &&
+                    !args.run_in_background &&
+                    isVerificationCommand(String(args.command ?? ""))) {
+                    verificationGateRef.current.recordVerification();
+                }
+                // Reading the final output of an EXITED background verification run
+                // counts as verification — mirrors AgentSession.trackHookEvent.
+                if (name === "task_output") {
+                    const proc = props.processManager?.list().find((p) => p.id === args.id);
+                    if (proc && proc.exitCode !== null && isVerificationCommand(proc.command)) {
+                        verificationGateRef.current.recordVerification();
+                    }
+                }
+            }
             recordToolEnd(sessionStatsRef.current, name, isError, durationMs);
             setLiveToolFeed((prev) => prev.map((entry) => entry.id === toolCallId
                 ? { ...entry, status: "done", isError, result, details }
@@ -1629,12 +1632,32 @@ export function App(props) {
             if (gate.runStartedAt !== runStartedAt) {
                 gate.runStartedAt = runStartedAt;
                 gate.injected = 0;
+                verificationGateRef.current.reset();
             }
             const processFollowUp = buildProcessCompletionFollowUp(props.processManager?.list() ?? [], runStartedAt, gate.injected);
             if (processFollowUp) {
                 gate.injected += 1;
                 return processFollowUp;
             }
+            // Verification gate: code was edited but no test/typecheck/lint/build
+            // completed since the last edit — demand it once, then let the run stop.
+            if (verificationGateEnabledRef.current) {
+                const verificationFollowUp = verificationGateRef.current.followUp();
+                if (verificationFollowUp) {
+                    // Say why the run is continuing past its apparent end, or the extra
+                    // answer reads as the agent talking to itself.
+                    setLiveItems((prev) => [
+                        ...prev,
+                        {
+                            kind: "ideal_hook",
+                            text: VERIFICATION_HOOK_NOTICE_TEXT,
+                            tone: "review",
+                            id: getId(),
+                        },
+                    ]);
+                    return verificationFollowUp;
+                }
+            }
             const steps = planStepsRef.current;
             if (steps.length === 0 || !approvedPlanPathRef.current)
                 return null;
@@ -1673,7 +1696,9 @@ export function App(props) {
                     : TRUNCATED_INCOMPLETE_NOTICE_TEXT
                 : reason === "refusal"
                     ? TRUNCATED_REFUSAL_NOTICE_TEXT
-                    : TRUNCATED_PROVIDER_ERROR_NOTICE_TEXT;
+                    : reason === "empty_response"
+                        ? TRUNCATED_EMPTY_RESPONSE_NOTICE_TEXT
+                        : TRUNCATED_PROVIDER_ERROR_NOTICE_TEXT;
             setLiveItems((prev) => [
                 ...prev,
                 { kind: "ideal_hook", text, tone: "warning", id: getId() },
@@ -2241,7 +2266,7 @@ export function App(props) {
         const modelInfo = getModel(currentModel);
         const modelSupportsImages = modelInfo?.supportsImages ?? true;
         const modelSupportsVideo = modelInfo?.supportsVideo ?? false;
-        const userContent = buildUserContentWithAttachments(input, inputImages, modelSupportsImages, modelSupportsVideo);
+        const userContent = buildUserContentWithAttachments(input, inputImages, modelSupportsImages, modelSupportsVideo, modelInfo?.provider);
         // ── Queue message if agent is already running ──
         if (agentLoop.isRunning) {
             log("INFO", "queue", `Queued message: ${trimmed.length > 80 ? trimmed.slice(0, 80) + "..." : trimmed}`);
@@ -2420,8 +2445,8 @@ export function App(props) {
                 // Reconnect MCP servers ONLY when the resolved server set actually
                 // changes. GLM is the only provider with a different set (Z.AI
                 // servers), so a switch that doesn't involve GLM on either side
-                // keeps the identical set — tearing down a live stdio child (e.g.
-                // kencode-search) and re-spawning `npx` there only risks a failed
+                // keeps the identical set — tearing down a live stdio child and
+                // re-spawning `npx` there only risks a failed
                 // re-spawn that would silently drop the tools.
                 const glmInvolved = newProvider === "glm" || prevProvider === "glm";
                 if (props.mcpManager && glmInvolved) {
@@ -2548,6 +2573,7 @@ export function App(props) {
             "compare",
             // Setup / installers
             "setup-commit",
+            "setup-ci",
             "setup-skills",
         ];
         const orderedPromptCommands = promptOrder