iterate-plugin 3.5.2 → 3.5.4

package/dist/transcript.js

@@ -35,6 +35,10 @@ const MAX_TIMELINE = 500;
 /** Max applied-fix records kept (newest wins; bounded so a long run cannot
  *  grow the manifest payload without limit). */
 const MAX_FIXES = 200;
+/** Max round number accepted by the builder. A model-authored/manifest-backed
+ *  round value is attacker-influenced JSON: `roundStart(1e9)` / `snapshotConvergence`
+ *  would otherwise preallocate arrays of that size and OOM the host. */
+const MAX_ROUNDS = 1000;
 /** Thresholds applied when reducing a string list under a cap. */
 function clampStringList(source, cap) {
     const out = [];
@@ -103,6 +107,7 @@ export class ReviewTranscriptBuilder {
     round = 0;
     maxRounds = 0;
     active = true;
+    stoppedReason = null;
     rounds = [];
     convergence = [];
     globalFindings = [];
@@ -154,17 +159,27 @@ export class ReviewTranscriptBuilder {
             this.phases.push(n);
         this.touch();
     }
-    /** End the run (stops the "active" pulsing in the UI). */
-    finish() {
+    /**
+     * End the run (stops the "active" pulsing in the UI). `reason` records WHY
+     * it ended, so a run stopped by max-rounds or validation is never mistaken
+     * for a live run NOR for a clean convergence.
+     */
+    finish(reason) {
         this.active = false;
+        if (typeof reason === 'string' && reason.trim())
+            this.stoppedReason = reason.trim();
         this.touch();
     }
     /** Open a review round, capturing the current round index. */
     roundStart(round, maxRounds) {
         const r = typeof round === 'number' && Number.isFinite(round) ? Math.floor(round) : 1;
-        this.round = r > 0 ? r : 1;
+        // Clamp to MAX_ROUNDS: `this.rounds.length < this.round` below preallocates
+        // an array of size `round` — an unbounded model-controlled value (e.g. 1e9)
+        // would OOM the host. Values above the cap are folded into the cap so the
+        // real rounds are never silently dropped.
+        this.round = Math.min(r > 0 ? r : 1, MAX_ROUNDS);
         if (typeof maxRounds === 'number' && Number.isFinite(maxRounds) && maxRounds >= 0) {
-            this.maxRounds = Math.floor(maxRounds);
+            this.maxRounds = Math.min(Math.floor(maxRounds), MAX_ROUNDS);
         }
         while (this.rounds.length < this.round) {
             this.rounds.push({ round: this.rounds.length + 1, threads: [] });
@@ -248,7 +263,10 @@ export class ReviewTranscriptBuilder {
     // ─── Convergence (F2) ───────────────────────────────────────────────────
     /** Record a round's new-finding count for the convergence series. */
     snapshotConvergence(round, newCount) {
-        const r = typeof round === 'number' && Number.isFinite(round) ? Math.floor(round) : 1;
+        const rawR = typeof round === 'number' && Number.isFinite(round) ? Math.floor(round) : 1;
+        // Clamp (mirrors roundStart): the loop below preallocates `r` slots, so an
+        // unbounded model-controlled round number would OOM the host.
+        const r = Math.min(rawR > 0 ? rawR : 1, MAX_ROUNDS);
         const n = typeof newCount === 'number' && Number.isFinite(newCount) ? newCount : 0;
         while (this.convergence.length < r)
             this.convergence.push(-1);
@@ -267,7 +285,9 @@ export class ReviewTranscriptBuilder {
         this.fixes.push({
             id,
             timestamp: typeof record.timestamp === 'string' ? record.timestamp : isoNow(),
-            round: typeof record.round === 'number' ? record.round : this.round,
+            round: typeof record.round === 'number' && Number.isFinite(record.round)
+                ? Math.floor(record.round)
+                : this.round,
             file,
             summary: typeof record.summary === 'string' ? record.summary : '',
             linesAdded: typeof record.linesAdded === 'number' ? Math.floor(record.linesAdded) : 0,
@@ -313,7 +333,9 @@ export class ReviewTranscriptBuilder {
         const type = typeof entry.type === 'string' ? entry.type : 'decision';
         this.timeline.push({
             timestamp: typeof entry.timestamp === 'string' ? entry.timestamp : isoNow(),
-            round: typeof entry.round === 'number' ? entry.round : this.round,
+            round: typeof entry.round === 'number' && Number.isFinite(entry.round)
+                ? Math.floor(entry.round)
+                : this.round,
             type,
             data: entry.data && typeof entry.data === 'object'
                 ? entry.data
@@ -370,6 +392,7 @@ export class ReviewTranscriptBuilder {
             checkpoint: this.checkpoint,
             timeline: this.timeline,
             nudge: this.nudge,
+            stoppedReason: this.stoppedReason,
             approval: {
                 active: this.approval !== 'allow',
                 policy: this.approval,

package/lib/client.js

@@ -941,18 +941,25 @@ function computeConvergenceProgress(report) {
     report.convergence ?? {}
   );
   const totalRounds = typeof convergence.totalRounds === "number" ? convergence.totalRounds : 1;
-  const currentRounds = (
-    /** @type {Array<unknown>} */
-    (report.rounds ?? []).length
-  );
+  const currentRounds = currentRoundNumber(report);
   if (!(totalRounds > 0)) return 0;
   return Math.min(100, Math.round(currentRounds / totalRounds * 100));
 }
-function getCurrentRound(report) {
-  return (
-    /** @type {Array<unknown>} */
-    (report.rounds ?? []).length
+function currentRoundNumber(report) {
+  const rounds = (
+    /** @type {Array<Record<string, unknown>>} */
+    report.rounds ?? []
   );
+  let max = 0;
+  for (const r of rounds) {
+    if (!r || typeof r !== "object") continue;
+    const n = Number(r.round);
+    if (Number.isFinite(n) && n > max) max = n;
+  }
+  return rounds.length > 0 && max === 0 ? rounds.length : max;
+}
+function getCurrentRound(report) {
+  return currentRoundNumber(report);
 }
 function getTotalRounds(report) {
   const convergence = (
@@ -1283,7 +1290,10 @@ function buildRuntimeStatusGuide() {
     ...RUNTIME_ARTIFACTS.map((a) => `- ${a.key}\uFF08${a.label}\uFF09\uFF1A${a.hint}`),
     "",
     "\u67E5\u770B\u72B6\u6001\uFF1A\u8BA9\u6A21\u578B\u8C03\u7528 iterate_status\uFF08\u6C47\u603B\uFF09\u6216 iterate_history\uFF08\u660E\u7EC6\uFF09\u3002",
-    "\u6E05\u7406\u72B6\u6001\uFF1A\u8BA9\u6A21\u578B\u8C03\u7528 iterate_prune\uFF08\u9ED8\u8BA4 dry-run\uFF0C\u53EA\u62A5\u544A\u4E0D\u5220\u9664\uFF0C\u663E\u5F0F dryRun:false \u624D\u771F\u6B63\u6E05\u7406\uFF09\u3002"
+    "\u6E05\u7406\u72B6\u6001\uFF1A\u8BA9\u6A21\u578B\u8C03\u7528 iterate_prune\uFF08\u9ED8\u8BA4 dry-run\uFF0C\u53EA\u62A5\u544A\u4E0D\u5220\u9664\uFF0C\u663E\u5F0F dryRun:false \u624D\u771F\u6B63\u6E05\u7406\uFF09\u3002",
+    '\u91CD\u7F6E\u72B6\u6001\uFF1A\u4E2D\u65AD\u540E\u91CD\u65B0\u5F00\u59CB\u524D\uFF0C\u53EF\u5206\u522B\u8BA9\u6A21\u578B\u8C03\u7528 iterate_checkpoint(operation:"clear")\u3001',
+    '  iterate_quality_gate(operation:"clear")\u3001iterate_defense_events(operation:"clear")',
+    "  \u6E05\u9664\u9648\u65E7\u65AD\u70B9\u3001\u8D28\u91CF\u95E8\u7981\u8BC1\u4E66\u4E0E\u9632\u5FA1\u4E8B\u4EF6\u6D41\u3002"
   ];
   return lines.join("\n");
 }
@@ -1710,6 +1720,25 @@ function severityColor(severity) {
 function severityLabel(severity) {
   return SEVERITY_LABEL[coerceSeverity(severity)];
 }
+function stoppedReasonLabel(reason) {
+  switch (reason) {
+    case "converged":
+      return "\u5DF2\u7ED3\u675F \xB7 \u5DF2\u6536\u655B\uFF08\u65E0\u65B0\u53D1\u73B0\uFF09";
+    case "max_rounds_reached":
+      return "\u5DF2\u7ED3\u675F \xB7 \u8FBE\u5230\u8F6E\u6570\u4E0A\u9650";
+    case "aborted_by_validation":
+      return "\u5DF2\u7ED3\u675F \xB7 \u9A8C\u8BC1\u5931\u8D25\u540E\u56DE\u6EDA\u505C\u6B62";
+    case "aborted_by_config":
+      return "\u5DF2\u7ED3\u675F \xB7 \u9A8C\u8BC1\u547D\u4EE4\u4E0D\u5728\u767D\u540D\u5355\uFF08\u914D\u7F6E\u9700\u4FEE\u590D\uFF09";
+    default:
+      return reason ? `\u5DF2\u7ED3\u675F \xB7 ${reason}` : "\u5DF2\u7ED3\u675F";
+  }
+}
+function runStatusText(live, manifest) {
+  if (live) return "\u8FD0\u884C\u4E2D";
+  const reason = manifest && typeof manifest.stoppedReason === "string" ? manifest.stoppedReason : "";
+  return reason ? stoppedReasonLabel(reason) : "\u5DF2\u7ED3\u675F";
+}
 function readSlots(ctx) {
   if (ctx && ctx.slots && typeof ctx.slots.inject === "function" && typeof ctx.slots.register === "function") {
     return ctx.slots;
@@ -1855,7 +1884,7 @@ function ConvergenceDashboard(props) {
     key: "phase",
     "data-live": transcript.active === true ? "" : void 0,
     title: transcript.active === true ? `\u5F53\u524D\u5904\u4E8E\u300C${phase}\u300D\u9636\u6BB5\uFF08\u8FD0\u884C\u4E2D\uFF09` : `\u6700\u8FD1\u4E00\u6B21\u6267\u884C\u505C\u7559\u5728\u300C${phase}\u300D\u9636\u6BB5\uFF08\u5DF2\u7ED3\u675F\uFF09`
-  }, `${phase} \xB7 ${transcript.active === true ? "\u8FD0\u884C\u4E2D" : "\u5DF2\u7ED3\u675F"}`) : null;
+  }, `${phase} \xB7 ${runStatusText(transcript.active === true, transcript)}`) : null;
   const taskModeTranscript = latestTranscript(session);
   const taskMode = taskModeTranscript?.taskMode;
   const taskModeChip = taskMode ? React.createElement("span", {
@@ -3095,6 +3124,11 @@ ${JSON.stringify({
       mode: String(cp.mode || "normal"),
       maxRounds: typeof cp.maxRounds === "number" ? cp.maxRounds : null
     }, null, 2)}
+\`\`\``;
+    const clearText = `\u8BF7\u8C03\u7528 \`iterate_checkpoint\` \u6E05\u9664\u5F53\u524D\u65AD\u70B9\uFF1A
+
+\`\`\`json
+${JSON.stringify({ operation: "clear" }, null, 2)}
 \`\`\``;
     const item = (label, value) => React.createElement("span", { className: "iterate-obs-chip" }, `${label} ${String(value ?? "?")}`);
     return React.createElement(
@@ -3118,13 +3152,24 @@ ${JSON.stringify({
           item("fixed", cp.fixedCount),
           item("resume", cp.resumeCount)
         ),
-        React.createElement("button", {
-          className: "iterate-btn",
-          "data-primary": "",
-          "data-copied": copiedKey === "cp-resume" ? "" : void 0,
-          onClick: () => copyInstruction("cp-resume", resumeText),
-          title: "\u590D\u5236 iterate_checkpoint resume \u6307\u4EE4\u6587\u672C\uFF08\u52A0\u8F7D\u65AD\u70B9\u5E76\u8BA1\u6570\u4E00\u6B21\u6062\u590D\uFF09"
-        }, copiedKey === "cp-resume" ? "\u5DF2\u590D\u5236" : "\u590D\u5236\u6062\u590D\u6307\u4EE4")
+        React.createElement(
+          "div",
+          { className: "iterate-obs-bar", style: { marginBottom: 4 } },
+          React.createElement("button", {
+            className: "iterate-btn",
+            "data-primary": "",
+            "data-copied": copiedKey === "cp-resume" ? "" : void 0,
+            onClick: () => copyInstruction("cp-resume", resumeText),
+            title: "\u590D\u5236 iterate_checkpoint resume \u6307\u4EE4\u6587\u672C\uFF08\u52A0\u8F7D\u65AD\u70B9\u5E76\u8BA1\u6570\u4E00\u6B21\u6062\u590D\uFF09"
+          }, copiedKey === "cp-resume" ? "\u5DF2\u590D\u5236" : "\u590D\u5236\u6062\u590D\u6307\u4EE4"),
+          React.createElement("button", {
+            className: "iterate-btn",
+            "data-danger": "",
+            "data-copied": copiedKey === "cp-clear" ? "" : void 0,
+            onClick: () => copyInstruction("cp-clear", clearText),
+            title: "\u590D\u5236 iterate_checkpoint clear \u6307\u4EE4\u6587\u672C\uFF08\u6E05\u9664\u5F53\u524D\u65AD\u70B9\uFF0C\u4F9B\u91CD\u65B0\u5F00\u59CB\uFF09"
+          }, copiedKey === "cp-clear" ? "\u5DF2\u590D\u5236" : "\u6E05\u9664\u65AD\u70B9")
+        )
       )
     );
   };
@@ -3152,7 +3197,7 @@ ${JSON.stringify({ operation: "nudge", text: null }, null, 2)}
         "div",
         { className: "iterate-obs-block-head" },
         React.createElement("span", {}, "\u8FD0\u884C\u63A7\u5236\u53F0"),
-        React.createElement("span", { className: "iterate-obs-badge", "data-live": live ? "" : void 0 }, live ? "\u8FD0\u884C\u4E2D" : "\u5DF2\u7ED3\u675F"),
+        React.createElement("span", { className: "iterate-obs-badge", "data-live": live ? "" : void 0 }, runStatusText(live, manifest)),
         React.createElement("span", { className: "iterate-obs-head-meta" }, `\u6279\u51C6\u7B56\u7565\uFF1A${policyLabel}`)
       ),
       React.createElement(
@@ -3293,6 +3338,11 @@ ${JSON.stringify({ operation: "nudge", text: null }, null, 2)}
   };
   const renderQualityGate = () => {
     const gateInstruction = "\u8BF7\u8C03\u7528 `iterate_quality_gate` \u67E5\u8BE2\u5F53\u524D\u8D28\u91CF\u95E8\u7981\u72B6\u6001";
+    const gateClearInstruction = `\u8BF7\u8C03\u7528 \`iterate_quality_gate\` \u6E05\u9664\u5F53\u524D\u8D28\u91CF\u95E8\u7981\u8BC1\u4E66\uFF1A
+
+\`\`\`json
+${JSON.stringify({ operation: "clear" }, null, 2)}
+\`\`\``;
     const gate = qualityGate;
     const dims = gate && gate.dimensions ? gate.dimensions : [];
     const hasGate = gate !== null && Boolean(gate.overallStatus || gate.overallScore != null || dims.length > 0);
@@ -3309,7 +3359,14 @@ ${JSON.stringify({ operation: "nudge", text: null }, null, 2)}
         "data-copied": copiedKey === "qgate" ? "" : void 0,
         onClick: () => copyInstruction("qgate", gateInstruction),
         title: "\u590D\u5236 iterate_quality_gate \u67E5\u8BE2\u6307\u4EE4"
-      }, copiedKey === "qgate" ? "\u5DF2\u590D\u5236" : "\u67E5\u8BE2\u95E8\u7981")
+      }, copiedKey === "qgate" ? "\u5DF2\u590D\u5236" : "\u67E5\u8BE2\u95E8\u7981"),
+      React.createElement("button", {
+        className: "iterate-btn",
+        "data-danger": "",
+        "data-copied": copiedKey === "qgate-clear" ? "" : void 0,
+        onClick: () => copyInstruction("qgate-clear", gateClearInstruction),
+        title: "\u590D\u5236 iterate_quality_gate clear \u6307\u4EE4\u6587\u672C\uFF08\u91CD\u7F6E\u9648\u65E7\u7684 FAIL \u8BC1\u4E66\uFF09"
+      }, copiedKey === "qgate-clear" ? "\u5DF2\u590D\u5236" : "\u6E05\u9664\u95E8\u7981")
     );
     if (!hasGate) {
       return React.createElement(
@@ -3524,7 +3581,18 @@ ${JSON.stringify({ operation: "list", type: defenseFilter || void 0 }, null, 2)}
         "data-copied": copiedKey === "defense-counts" ? "" : void 0,
         onClick: () => copyInstruction("defense-counts", "\u8BF7\u8C03\u7528 `iterate_defense_events` \u67E5\u8BE2\u4E8B\u4EF6\u7EDF\u8BA1"),
         title: "\u590D\u5236\u7EDF\u8BA1\u6307\u4EE4"
-      }, copiedKey === "defense-counts" ? "\u5DF2\u590D\u5236" : "\u7EDF\u8BA1")
+      }, copiedKey === "defense-counts" ? "\u5DF2\u590D\u5236" : "\u7EDF\u8BA1"),
+      React.createElement("button", {
+        className: "iterate-btn",
+        "data-danger": "",
+        "data-copied": copiedKey === "defense-clear" ? "" : void 0,
+        onClick: () => copyInstruction("defense-clear", `\u8BF7\u8C03\u7528 \`iterate_defense_events\` \u6E05\u9664\u9632\u5FA1\u4E8B\u4EF6\u6D41\uFF1A
+
+\`\`\`json
+${JSON.stringify({ operation: "clear" }, null, 2)}
+\`\`\``),
+        title: "\u590D\u5236 iterate_defense_events clear \u6307\u4EE4\u6587\u672C\uFF08\u91CD\u7F6E\u9648\u65E7\u4E8B\u4EF6\u6D41\uFF09"
+      }, copiedKey === "defense-clear" ? "\u5DF2\u590D\u5236" : "\u6E05\u9664\u4E8B\u4EF6")
     );
     if (allEvents.length === 0 && totalCount === 0) {
       return React.createElement(
@@ -3725,7 +3793,7 @@ ${JSON.stringify({ operation: "list", type: defenseFilter || void 0 }, null, 2)}
       "div",
       { className: "iterate-obs-head", "data-closed": open ? void 0 : "", onClick: () => setOpen((v) => !v) },
       React.createElement("span", { className: "iterate-obs-title" }, "iterate \u89C2\u6D4B\u53F0"),
-      React.createElement("span", { className: "iterate-obs-badge", "data-live": live ? "" : void 0 }, live ? "\u8FD0\u884C\u4E2D" : "\u5DF2\u7ED3\u675F"),
+      React.createElement("span", { className: "iterate-obs-badge", "data-live": live ? "" : void 0 }, runStatusText(live, manifest)),
       React.createElement("span", { className: "iterate-obs-head-meta" }, headMeta || "runtime"),
       React.createElement("button", {
         className: "iterate-btn",

package/lib/parse.js

@@ -1217,12 +1217,34 @@ export function computeConvergenceProgress(report) {
   const totalRounds = typeof convergence.totalRounds === 'number'
     ? convergence.totalRounds
     : 1
-  const currentRounds = /** @type {Array<unknown>} */ (report.rounds ?? []).length
+  const currentRounds = currentRoundNumber(report)
   // Guard against an empty report (totalRounds <= 0) producing NaN.
   if (!(totalRounds > 0)) return 0
   return Math.min(100, Math.round((currentRounds / totalRounds) * 100))
 }
 
+/**
+ * The actual current round (1-indexed) carried by a report. Uses the highest
+ * per-round `round` field: a normal-mode aggregate ships ONLY the live round
+ * (`rounds: [{round: r, ...}]`), so `rounds.length` would be stuck at 1 while
+ * the run is on round 3. Dry-run aggregates ship the cumulative list, where
+ * the round numbers and the array length agree anyway.
+ *
+ * @param {Record<string, unknown>} report
+ * @returns {number}
+ */
+function currentRoundNumber(report) {
+  const rounds = /** @type {Array<Record<string, unknown>>} */ (report.rounds ?? [])
+  let max = 0
+  for (const r of rounds) {
+    if (!r || typeof r !== 'object') continue
+    const n = Number(r.round)
+    if (Number.isFinite(n) && n > max) max = n
+  }
+  // Fallback: no usable round numbers → array length (covers all-0 rounds).
+  return rounds.length > 0 && max === 0 ? rounds.length : max
+}
+
 /**
  * Get the current round number (1-indexed) from a report.
  *
@@ -1230,7 +1252,7 @@ export function computeConvergenceProgress(report) {
  * @returns {number}
  */
 export function getCurrentRound(report) {
-  return (/** @type {Array<unknown>} */ (report.rounds ?? [])).length
+  return currentRoundNumber(report)
 }
 
 /**
@@ -1816,6 +1838,9 @@ export function buildRuntimeStatusGuide() {
     '',
     '查看状态：让模型调用 iterate_status（汇总）或 iterate_history（明细）。',
     '清理状态：让模型调用 iterate_prune（默认 dry-run，只报告不删除，显式 dryRun:false 才真正清理）。',
+    '重置状态：中断后重新开始前，可分别让模型调用 iterate_checkpoint(operation:"clear")、',
+    '  iterate_quality_gate(operation:"clear")、iterate_defense_events(operation:"clear")',
+    '  清除陈旧断点、质量门禁证书与防御事件流。',
   ]
   return lines.join('\n')
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "iterate-plugin",
-  "version": "3.5.2",
+  "version": "3.5.4",
   "description": "dsh plugin that turns the iterate skill into an autonomous closed-loop harness with quality command center and experience bank (v3.3). Features: plan -> parallel review xN -> atomic fixes -> validate -> loop -> auto-stop, plus dry-run pure-review mode, quality gate compute/persist, writable experience bank, defense events stream (record + bilingual labels), and native command buttons — with a live quality command center (F8/F9/F10 render real session data), §8 assign-fix instruction, and task_mode indicator wired end to end.",
   "type": "module",
   "license": "MIT",
@@ -37,7 +37,8 @@
         "0.1.5-alpha.1": "compatible",
         "0.1.5-alpha.2": "compatible",
         "0.1.5-rc.1": "compatible",
-        "0.1.5-rc.2": "compatible"
+        "0.1.5-rc.2": "compatible",
+        "0.1.6-alpha.1": "compatible"
       }
     },
     "client": {
@@ -75,13 +76,14 @@
   },
   "dependencies": {
     "@deepseek-ai/cordis": "4.0.2",
-    "@deepseek-ai/dsh-tools": "0.1.5-rc.2",
-    "@deepseek-ai/dsh-util-values": "0.1.5-rc.2",
-    "js-yaml": "4.3.1"
+    "@deepseek-ai/dsh-tools": "0.1.6-alpha.1",
+    "@deepseek-ai/dsh-util-values": "0.1.6-alpha.1",
+    "js-yaml": "4.3.2"
   },
   "devDependencies": {
-    "@deepseek-ai/dsh-jobs": "^0.1.5-rc.2",
-    "@deepseek-ai/dsh-session": "0.1.5-rc.2",
+    "@deepseek-ai/dsh-agent": "0.1.6-alpha.1",
+    "@deepseek-ai/dsh-jobs": "^0.1.6-alpha.1",
+    "@deepseek-ai/dsh-session": "0.1.6-alpha.1",
     "@types/js-yaml": "4.0.9",
     "@types/node": "22.15.0",
     "@types/react": "19.2.2",

package/src/client/index.ts

@@ -244,6 +244,8 @@ interface ObsManifest {
   timeline?: ObsEntry[]
   nudge?: ObsNudge | null
   approval?: ObsApproval
+  /** Why the run ended: converged / max_rounds_reached / aborted_by_validation. */
+  stoppedReason?: string | null
 }
 
 // ─── Quality command center data types (v3.1+; mirrors src/types.ts) ────────
@@ -735,6 +737,24 @@ function severityLabel(severity: string | undefined): string {
   return SEVERITY_LABEL[coerceSeverity(severity)]
 }
 
+/** Human label for WHY a finished run stopped (transcript manifest). */
+function stoppedReasonLabel(reason: string | null | undefined): string {
+  switch (reason) {
+    case 'converged': return '已结束 · 已收敛（无新发现）'
+    case 'max_rounds_reached': return '已结束 · 达到轮数上限'
+    case 'aborted_by_validation': return '已结束 · 验证失败后回滚停止'
+    case 'aborted_by_config': return '已结束 · 验证命令不在白名单（配置需修复）'
+    default: return reason ? `已结束 · ${reason}` : '已结束'
+  }
+}
+
+/** Badge text for the run's live/finished state, annotated with the stop reason. */
+function runStatusText(live: boolean, manifest: ObsManifest | null | undefined): string {
+  if (live) return '运行中'
+  const reason = manifest && typeof manifest.stoppedReason === 'string' ? manifest.stoppedReason : ''
+  return reason ? stoppedReasonLabel(reason) : '已结束'
+}
+
 /** Resolve the slots service: prefer the typed `ctx.slots`, fall back to `ctx.get`. */
 function readSlots(ctx: ClientContext): SlotsService | undefined {
   if (ctx && ctx.slots && typeof ctx.slots.inject === 'function' && typeof ctx.slots.register === 'function') {
@@ -940,7 +960,7 @@ function ConvergenceDashboard(props: SlotProps) {
         title: transcript.active === true
           ? `当前处于「${phase}」阶段（运行中）`
           : `最近一次执行停留在「${phase}」阶段（已结束）`,
-      }, `${phase} · ${transcript.active === true ? '运行中' : '已结束'}`)
+      }, `${phase} · ${runStatusText(transcript.active === true, transcript)}`)
     : null
 
   // v3.0: task_mode indicator (code/iterate)
@@ -2172,6 +2192,11 @@ function ObservatoryPanel(props: SlotProps) {
       mode: String(cp.mode || 'normal'),
       maxRounds: typeof cp.maxRounds === 'number' ? cp.maxRounds : null,
     }, null, 2)}\n\`\`\``
+    // Clearing a stale checkpoint after an interrupted run — iterate_checkpoint
+    // exposes `clear`, but before this button it was only reachable by typing
+    // the command manually (an interrupted run otherwise shows a permanent
+    // "可恢复" chip with no companion reset action).
+    const clearText = `请调用 \`iterate_checkpoint\` 清除当前断点：\n\n\`\`\`json\n${JSON.stringify({ operation: 'clear' }, null, 2)}\n\`\`\``
     const item = (label: string, value: unknown) =>
       React.createElement('span', { className: 'iterate-obs-chip' }, `${label} ${String(value ?? '?')}`)
     return React.createElement('div', { className: 'iterate-obs-block' },
@@ -2187,11 +2212,18 @@ function ObservatoryPanel(props: SlotProps) {
           item('fixed', cp.fixedCount),
           item('resume', cp.resumeCount),
         ),
-        React.createElement('button', {
-          className: 'iterate-btn', 'data-primary': '', 'data-copied': copiedKey === 'cp-resume' ? '' : undefined,
-          onClick: () => copyInstruction('cp-resume', resumeText),
-          title: '复制 iterate_checkpoint resume 指令文本（加载断点并计数一次恢复）',
-        }, copiedKey === 'cp-resume' ? '已复制' : '复制恢复指令'),
+        React.createElement('div', { className: 'iterate-obs-bar', style: { marginBottom: 4 } },
+          React.createElement('button', {
+            className: 'iterate-btn', 'data-primary': '', 'data-copied': copiedKey === 'cp-resume' ? '' : undefined,
+            onClick: () => copyInstruction('cp-resume', resumeText),
+            title: '复制 iterate_checkpoint resume 指令文本（加载断点并计数一次恢复）',
+          }, copiedKey === 'cp-resume' ? '已复制' : '复制恢复指令'),
+          React.createElement('button', {
+            className: 'iterate-btn', 'data-danger': '', 'data-copied': copiedKey === 'cp-clear' ? '' : undefined,
+            onClick: () => copyInstruction('cp-clear', clearText),
+            title: '复制 iterate_checkpoint clear 指令文本（清除当前断点，供重新开始）',
+          }, copiedKey === 'cp-clear' ? '已复制' : '清除断点'),
+        ),
       ),
     )
   }
@@ -2212,7 +2244,7 @@ function ObservatoryPanel(props: SlotProps) {
     return React.createElement('div', { className: 'iterate-obs-block' },
       React.createElement('div', { className: 'iterate-obs-block-head' },
         React.createElement('span', {}, '运行控制台'),
-        React.createElement('span', { className: 'iterate-obs-badge', 'data-live': live ? '' : undefined }, live ? '运行中' : '已结束'),
+        React.createElement('span', { className: 'iterate-obs-badge', 'data-live': live ? '' : undefined }, runStatusText(live, manifest)),
         React.createElement('span', { className: 'iterate-obs-head-meta' }, `批准策略：${policyLabel}`),
       ),
       React.createElement('div', { className: 'iterate-obs-block-body' },
@@ -2338,6 +2370,9 @@ function ObservatoryPanel(props: SlotProps) {
   // falls back to copy-able query instructions when no snapshot exists yet.
   const renderQualityGate = () => {
     const gateInstruction = '请调用 `iterate_quality_gate` 查询当前质量门禁状态'
+    // Reset a stale FAIL certificate before a fresh iteration — the tool's
+    // `clear` operation existed since v3.5.1 but had no client entry point.
+    const gateClearInstruction = `请调用 \`iterate_quality_gate\` 清除当前质量门禁证书：\n\n\`\`\`json\n${JSON.stringify({ operation: 'clear' }, null, 2)}\n\`\`\``
     const gate = qualityGate
     const dims = gate && gate.dimensions ? gate.dimensions : []
     const hasGate = gate !== null && Boolean(gate.overallStatus || gate.overallScore != null || dims.length > 0)
@@ -2352,6 +2387,11 @@ function ObservatoryPanel(props: SlotProps) {
         onClick: () => copyInstruction('qgate', gateInstruction),
         title: '复制 iterate_quality_gate 查询指令',
       }, copiedKey === 'qgate' ? '已复制' : '查询门禁'),
+      React.createElement('button', {
+        className: 'iterate-btn', 'data-danger': '', 'data-copied': copiedKey === 'qgate-clear' ? '' : undefined,
+        onClick: () => copyInstruction('qgate-clear', gateClearInstruction),
+        title: '复制 iterate_quality_gate clear 指令文本（重置陈旧的 FAIL 证书）',
+      }, copiedKey === 'qgate-clear' ? '已复制' : '清除门禁'),
     )
 
     if (!hasGate) {
@@ -2538,6 +2578,11 @@ function ObservatoryPanel(props: SlotProps) {
         onClick: () => copyInstruction('defense-counts', '请调用 `iterate_defense_events` 查询事件统计'),
         title: '复制统计指令',
       }, copiedKey === 'defense-counts' ? '已复制' : '统计'),
+      React.createElement('button', {
+        className: 'iterate-btn', 'data-danger': '', 'data-copied': copiedKey === 'defense-clear' ? '' : undefined,
+        onClick: () => copyInstruction('defense-clear', `请调用 \`iterate_defense_events\` 清除防御事件流：\n\n\`\`\`json\n${JSON.stringify({ operation: 'clear' }, null, 2)}\n\`\`\``),
+        title: '复制 iterate_defense_events clear 指令文本（重置陈旧事件流）',
+      }, copiedKey === 'defense-clear' ? '已复制' : '清除事件'),
     )
 
     if (allEvents.length === 0 && totalCount === 0) {
@@ -2706,7 +2751,7 @@ function ObservatoryPanel(props: SlotProps) {
   return React.createElement('div', { 'data-iterate-root': '', 'data-iterate': 'obs', className: 'iterate-obs' },
     React.createElement('div', { className: 'iterate-obs-head', 'data-closed': open ? undefined : '', onClick: () => setOpen((v) => !v) },
       React.createElement('span', { className: 'iterate-obs-title' }, 'iterate 观测台'),
-      React.createElement('span', { className: 'iterate-obs-badge', 'data-live': live ? '' : undefined }, live ? '运行中' : '已结束'),
+      React.createElement('span', { className: 'iterate-obs-badge', 'data-live': live ? '' : undefined }, runStatusText(live, manifest)),
       React.createElement('span', { className: 'iterate-obs-head-meta' }, headMeta || 'runtime'),
       React.createElement('button', {
         className: 'iterate-btn', 'data-ghost': '',

package/src/session-hooks.ts

@@ -7,12 +7,22 @@
  *
  *   - `allow` policy      → the call runs.
  *   - `deny`  policy      → the call is refused (fail-closed), surfaced as an
- *                           error to the model.
+ *                           error to the model. Since dsh 0.1.6-alpha.1 the
+ *                           denial carries a structured `info` (name
+ *                           `iterate-approval-gate`, code `APPROVAL_DENIED`,
+ *                           plus the human-readable reason) so durable
+ *                           projections can route it distinctly from a normal
+ *                           tool failure.
  *   - `ask`   policy      → return `{ kind: 'ask', reason }`; dsh's own
  *                           scheduler routes it through the `approval` service
  *                           (see `@deepseek-ai/dsh-user-approval`), which
  *                           prompts the human and audits an approve/deny pair
  *                           on the session.
+ *   - canceled            → if the caller aborted the invocation before
+ *                           dispatch, return `{ kind: 'cancel' }` (the
+ *                           canonical 0.1.6-alpha.1 cancellation result) so a
+ *                           destructive call never runs (or asks) for a dead
+ *                           request.
  *
  * We deliberately do NOT also add `approved` flags inside the tool bodies:
  * the pre-execute waterfall consumes the human decision before the tool runs,
@@ -29,7 +39,15 @@
 import { loadEffectiveConfig, resolveProjectRoot } from './config-loader.ts'
 import { decideApproval, isDestructiveIterateTool } from './approval-gate.ts'
 import type { Context } from '@deepseek-ai/cordis'
-import type { ToolExecution, PreToolDecision } from '@deepseek-ai/dsh-tools'
+import type { ToolErrorInfo, ToolExecution, PreToolDecision } from '@deepseek-ai/dsh-tools'
+
+/** Structured error identity attached to policy denials (dsh 0.1.6-alpha.1:
+ *  `deny.info` lets durable projections / retry / replay distinguish an
+ *  approval-policy denial from a tool-thrown failure). */
+const DENY_INFO: ToolErrorInfo = {
+  name: 'iterate-approval-gate',
+  code: 'APPROVAL_DENIED',
+}
 
 /**
  * Build the per-call approval decision for a tool execution.
@@ -49,6 +67,20 @@ export function gateDecision(exec: ToolExecution): PreToolDecision {
   }
   if (!isDestructiveIterateTool(name)) return { kind: 'allow' }
 
+  // dsh 0.1.6-alpha.1: if the caller already aborted this invocation before
+  // dispatch, there is nothing to gate — select the canonical cancellation
+  // result (`cancel`) rather than prompting a human for a dead call or running
+  // `next()` (which would allow) on an aborted one.
+  let signal: Readonly<AbortSignal> | undefined
+  try {
+    signal = exec.signal
+  } catch {
+    signal = undefined
+  }
+  if (signal && typeof signal.aborted === 'boolean' && signal.aborted) {
+    return { kind: 'cancel' }
+  }
+
   // Resolve the project root (use the call's own `path` arg, else the agent's
   // session cwd) to read the effective observatory policy.
   let argPath: string | undefined
@@ -74,7 +106,18 @@ export function gateDecision(exec: ToolExecution): PreToolDecision {
   }
 
   const decision = decideApproval(exec, policy)
-  if (decision.kind === 'deny') return { kind: 'deny', reason: decision.reason }
+  if (decision.kind === 'deny') {
+    return {
+      kind: 'deny',
+      reason: decision.reason,
+      info: {
+        ...DENY_INFO,
+        // ToolErrorInfo.reason (0.1.6-alpha.1): raw user-facing detail kept in
+        // durable state; the model-facing text still only sees `reason` above.
+        reason: decision.reason,
+      },
+    }
+  }
   if (decision.kind === 'ask') return { kind: 'ask', reason: decision.reason }
   return { kind: 'allow' }
 }
@@ -104,7 +147,10 @@ export function registerSessionHooks(ctx: Context): void {
       // to allow, which would bypass consent — so return our ask decision.
       return Promise.resolve(decision)
     }
-    if (decision.kind === 'deny') {
+    if (decision.kind === 'deny' || decision.kind === 'cancel') {
+      // deny: refuse the call. cancel: the caller already aborted this
+      // invocation — selecting the canonical cancellation result instead of
+      // letting `next()` allow it or prompting consent for a dead request.
       return Promise.resolve(decision)
     }
     return next()