@kylecheng3146/agent-ops 0.8.0 → 0.8.3

package/dist/runtime/src/office/page.js

@@ -159,12 +159,12 @@ var languageButton = document.getElementById("language"), live = document.getEle
 var snapshot = null, model = null, frame = 0, offline = false, scale = 1, scaleY = 1;
 var mode = "overview", selectedKey = null, showRecent = false, detailPage = 0, dialogClose = null, detailPreviousFocus = null, detailTarget = null;
 var detailSignature = "";
-var people = {}, staffMemory = {}, viewer = spawnViewer(), doorFrames = {}, images = {}, bases = {}, roomCanvases = {}, overviewSignature = "", hudSignature = "", labelNodes = {}, lastFigures = [], stageCanvas = null;
+var people = {}, staffMemory = {}, glances = {}, viewer = spawnViewer(), doorFrames = {}, images = {}, bases = {}, roomCanvases = {}, overviewSignature = "", hudSignature = "", labelNodes = {}, lastFigures = [], stageCanvas = null;
 var reducedMotion = window.matchMedia && window.matchMedia("(prefers-reduced-motion: reduce)").matches;
 function spawnViewer(){ return {x: Math.round(LAYOUT.spawn.x / 2) * 2, y: Math.round(LAYOUT.spawn.y / 2) * 2, path: [], dir: "up", step: 0}; }
 var STRINGS = {
-  en: {copyFailed:"Copy manually", copyHint:"Clipboard unavailable; select the command and copy it manually.", checks:"Acceptance checks", unfinished:"Not complete", sessionEnded:"Session ended", attention:"Needs attention", verifyFailed:"Verification failed", reviewFailed:"Review failed", blockedUnknown:"Blocked; reason not provided", openQuestion:"View questions and commands", detailsAction:"Details and commands", stale:"Reconnecting; showing last known state", viewer:"You", overview:"Office overview", rooms:"rooms", people:"people", recent:"Recently completed", recentOn:"Hide completed", repos:"Repository", allRepos:"All repositories", noTask:"No task", noTaskHint:"Nothing to verify or review", panel_task:"Whiteboard", panel_diff:"Screen", panel_verify:"QA board", panel_review:"Review desk", panel_integration:"Sorting table", noChanges:"No changed files yet.", filesCount:"files", notReviewed:"Not reviewed yet.", firstRound:"Round 1", recheck:"Re-check", blocking:"blocking", refutedYes:"The re-check overturned round 1.", refutedNo:"The re-check upheld round 1.", worktree:"Worktree", branch:"Branch", base:"Base", ahead:"Commits ahead", commitStep:"Commit", finishStep:"worktree finish (merge)", hideList:"Hide list »", showList:"« Work list", moveHint:"Arrow keys or WASD walk; Enter talks to the nearest person; Esc returns.", critPass:"PASS", critFail:"FAIL", critUnknown:"Undetermined", critPending:"Not verified yet", noCriteria:"This room has no acceptance criteria.", back:"Back to overview", connected:"● Connected", offline:"○ Reconnecting", quiet:"The office is quiet. No agent is at work.", integrator:"Integrator", staff_verify:"Running verification", staff_review:"Reviewing", staff_wait:"Waiting for the other round", staff_finish:"Merging the worktree", staff_rest:"Resting in the lobby", waiting:"waiting for your answer", enter:"Enter room", close:"Close", previous:"Previous", next:"Next", page:"Page", details:"Details", progress:"Progress", verify:"Verify", review:"Review", pending:"Awaiting answer", task:"Task", status:"Status", phase:"Phase", host:"Host", now:"Now", owner:"Owner", currentWork:"Current work", question:"Pending question", questions:"Questions", workList:"Work list", clickWork:"Click for work", keyboardWork:"Press L for work list", keyboardPhase:"Press 1-5 for phase work", keyboardQuestions:"Press Q for questions", noPeople:"No known work is in this phase", noQuestions:"No pending questions", files:"Changed files", commands:"Commands", copy:"Copy", copied:"Copied", unknown:"unknown", unassigned:"unassigned", phases:{planning:"Planning", implementing:"Implementing", verifying:"Verifying", reviewing:"Reviewing", integrating:"Integrating", lobby:"Lobby", unknown:"Unassigned"}, statuses:{active:"active", idle:"idle", running:"running", reviewing:"reviewing", verifying:"verifying", blocked:"blocked", delivered:"delivered", complete:"complete", unknown:"unknown", unassigned:"unassigned", pending:"pending"}},
-  zh: {copyFailed:"手動複製", copyHint:"無法存取剪貼簿；請選取指令後手動複製。", checks:"驗收條件", unfinished:"尚未完成", sessionEnded:"工作階段已結束", attention:"需要介入", verifyFailed:"驗證未通過", reviewFailed:"審查未通過", blockedUnknown:"受阻；尚無原因資料", openQuestion:"查看問題與指令", detailsAction:"詳情與指令", stale:"重新連線中；顯示最後已知狀態", viewer:"你", overview:"辦公室總覽", rooms:"個房間", people:"位成員", recent:"最近完成", recentOn:"隱藏已完成", repos:"專案", allRepos:"所有專案", noTask:"無任務", noTaskHint:"沒有需要驗證或審查的工作", panel_task:"白板", panel_diff:"隔間螢幕", panel_verify:"QA 狀態看板", panel_review:"主管桌", panel_integration:"分信桌", noChanges:"目前沒有變更的檔案。", filesCount:"個檔案", notReviewed:"尚未審查。", firstRound:"第 1 輪", recheck:"對抗複查", blocking:"阻擋", refutedYes:"對抗複查推翻了第 1 輪。", refutedNo:"對抗複查維持第 1 輪的結論。", worktree:"Worktree", branch:"分支", base:"基準", ahead:"領先 commit", commitStep:"commit", finishStep:"worktree finish（合併）", hideList:"收合 »", showList:"« 工作清單", moveHint:"方向鍵或 WASD 走動；Enter 和最近的人對話；Esc 返回。", critPass:"通過", critFail:"未通過", critUnknown:"無法判定", critPending:"還沒驗證", noCriteria:"這間房沒有驗收條件。", back:"返回總覽", connected:"● 已連線", offline:"○ 重新連線中", quiet:"辦公室很安靜，目前沒有成員工作。", integrator:"整合", staff_verify:"執行驗證中", staff_review:"審查中", staff_wait:"等待另一輪審查", staff_finish:"合併 worktree 中", staff_rest:"在大廳休息", waiting:"等待你的回覆", enter:"進入房間", close:"關閉", previous:"上一頁", next:"下一頁", page:"頁", details:"詳細資料", progress:"進度", verify:"驗證", review:"審查", pending:"待回覆", task:"任務", status:"狀態", phase:"階段", host:"主機", now:"目前", owner:"負責人", currentWork:"目前工作", question:"待回覆問題", questions:"問題", workList:"工作清單", clickWork:"點擊查看工作", keyboardWork:"按 L 開啟工作清單", keyboardPhase:"按 1-5 查看階段工作", keyboardQuestions:"按 Q 查看問題", noPeople:"此階段目前沒有已知工作", noQuestions:"目前沒有待回覆問題", files:"變更檔案", commands:"指令", copy:"複製", copied:"已複製", unknown:"未知", unassigned:"未分配", phases:{planning:"規劃", implementing:"開發", verifying:"驗證", reviewing:"審查", integrating:"整合", lobby:"大廳", unknown:"未分配"}, statuses:{active:"進行中", idle:"閒置", running:"工作中", reviewing:"審查中", verifying:"驗證中", blocked:"受阻", delivered:"已交付", complete:"已完成", unknown:"未知", unassigned:"未分配", pending:"待回覆"}}
+  en: {copyFailed:"Copy manually", copyHint:"Clipboard unavailable; select the command and copy it manually.", checks:"Acceptance checks", unfinished:"Not complete", sessionEnded:"Session ended", attention:"Needs attention", verifyFailed:"Verification failed", reviewFailed:"Review failed", blockedUnknown:"Blocked; reason not provided", openQuestion:"View questions and commands", detailsAction:"Details and commands", stale:"Reconnecting; showing last known state", viewer:"You", overview:"Office overview", rooms:"rooms", people:"people", recent:"Recently completed", recentOn:"Hide completed", repos:"Repository", allRepos:"All repositories", noTask:"No task", noTaskHint:"Nothing to verify or review", panel_task:"Whiteboard", panel_diff:"Screen", panel_verify:"QA board", panel_review:"Review desk", panel_integration:"Sorting table", noChanges:"No changed files yet.", filesCount:"files", notReviewed:"Not reviewed yet.", firstRound:"Round 1", recheck:"Re-check", blocking:"blocking", refutedYes:"The re-check overturned round 1.", refutedNo:"The re-check upheld round 1.", worktree:"Worktree", branch:"Branch", base:"Base", ahead:"Commits ahead", commitStep:"Commit", finishStep:"worktree finish (merge)", hideList:"Hide list »", showList:"« Work list", moveHint:"Arrow keys or WASD walk; Enter talks to the nearest person; Esc returns.", critPass:"PASS", critFail:"FAIL", critUnknown:"Undetermined", critPending:"Not verified yet", noCriteria:"This room has no acceptance criteria.", back:"Back to overview", connected:"● Connected", offline:"○ Reconnecting", quiet:"The office is quiet. No agent is at work.", glance_pass:"Verify {n}/{t} passed", glance_fail:"Verify failed: {id}", glance_failed:"Verify failed", glance_pending:"{n} criteria still to verify", glance_all:"Criteria {n}/{t} passed", glance_review_pass:"Review passed ✓", glance_review_fail:"Review failed ✗", glance_wait_verify:"Still waiting for QA…", glance_wait_review:"Waiting for the review…", glance_wait_finish:"Waiting for the merge…", integrator:"Integrator", staff_verify:"Running verification", staff_review:"Reviewing", staff_wait:"Waiting for the other round", staff_finish:"Merging the worktree", staff_rest:"Resting in the lobby", waiting:"waiting for your answer", enter:"Enter room", close:"Close", previous:"Previous", next:"Next", page:"Page", details:"Details", progress:"Progress", verify:"Verify", review:"Review", pending:"Awaiting answer", task:"Task", status:"Status", phase:"Phase", host:"Host", now:"Now", owner:"Owner", currentWork:"Current work", question:"Pending question", questions:"Questions", workList:"Work list", clickWork:"Click for work", keyboardWork:"Press L for work list", keyboardPhase:"Press 1-5 for phase work", keyboardQuestions:"Press Q for questions", noPeople:"No known work is in this phase", noQuestions:"No pending questions", files:"Changed files", commands:"Commands", copy:"Copy", copied:"Copied", unknown:"unknown", unassigned:"unassigned", phases:{planning:"Planning", implementing:"Implementing", verifying:"Verifying", reviewing:"Reviewing", integrating:"Integrating", lobby:"Lobby", unknown:"Unassigned"}, statuses:{active:"active", idle:"idle", running:"running", reviewing:"reviewing", verifying:"verifying", blocked:"blocked", delivered:"delivered", complete:"complete", unknown:"unknown", unassigned:"unassigned", pending:"pending"}},
+  zh: {copyFailed:"手動複製", copyHint:"無法存取剪貼簿；請選取指令後手動複製。", checks:"驗收條件", unfinished:"尚未完成", sessionEnded:"工作階段已結束", attention:"需要介入", verifyFailed:"驗證未通過", reviewFailed:"審查未通過", blockedUnknown:"受阻；尚無原因資料", openQuestion:"查看問題與指令", detailsAction:"詳情與指令", stale:"重新連線中；顯示最後已知狀態", viewer:"你", overview:"辦公室總覽", rooms:"個房間", people:"位成員", recent:"最近完成", recentOn:"隱藏已完成", repos:"專案", allRepos:"所有專案", noTask:"無任務", noTaskHint:"沒有需要驗證或審查的工作", panel_task:"白板", panel_diff:"隔間螢幕", panel_verify:"QA 狀態看板", panel_review:"主管桌", panel_integration:"分信桌", noChanges:"目前沒有變更的檔案。", filesCount:"個檔案", notReviewed:"尚未審查。", firstRound:"第 1 輪", recheck:"對抗複查", blocking:"阻擋", refutedYes:"對抗複查推翻了第 1 輪。", refutedNo:"對抗複查維持第 1 輪的結論。", worktree:"Worktree", branch:"分支", base:"基準", ahead:"領先 commit", commitStep:"commit", finishStep:"worktree finish（合併）", hideList:"收合 »", showList:"« 工作清單", moveHint:"方向鍵或 WASD 走動；Enter 和最近的人對話；Esc 返回。", critPass:"通過", critFail:"未通過", critUnknown:"無法判定", critPending:"還沒驗證", noCriteria:"這間房沒有驗收條件。", back:"返回總覽", connected:"● 已連線", offline:"○ 重新連線中", quiet:"辦公室很安靜，目前沒有成員工作。", glance_pass:"驗證 {n}/{t} 通過", glance_fail:"驗證未通過：{id}", glance_failed:"驗證未通過", glance_pending:"待驗證 {n} 條", glance_all:"條件 {n}/{t} 通過", glance_review_pass:"審查通過 ✓", glance_review_fail:"審查未通過 ✗", glance_wait_verify:"還在等 QA…", glance_wait_review:"等審查中…", glance_wait_finish:"等整合中…", integrator:"整合", staff_verify:"執行驗證中", staff_review:"審查中", staff_wait:"等待另一輪審查", staff_finish:"合併 worktree 中", staff_rest:"在大廳休息", waiting:"等待你的回覆", enter:"進入房間", close:"關閉", previous:"上一頁", next:"下一頁", page:"頁", details:"詳細資料", progress:"進度", verify:"驗證", review:"審查", pending:"待回覆", task:"任務", status:"狀態", phase:"階段", host:"主機", now:"目前", owner:"負責人", currentWork:"目前工作", question:"待回覆問題", questions:"問題", workList:"工作清單", clickWork:"點擊查看工作", keyboardWork:"按 L 開啟工作清單", keyboardPhase:"按 1-5 查看階段工作", keyboardQuestions:"按 Q 查看問題", noPeople:"此階段目前沒有已知工作", noQuestions:"目前沒有待回覆問題", files:"變更檔案", commands:"指令", copy:"複製", copied:"已複製", unknown:"未知", unassigned:"未分配", phases:{planning:"規劃", implementing:"開發", verifying:"驗證", reviewing:"審查", integrating:"整合", lobby:"大廳", unknown:"未分配"}, statuses:{active:"進行中", idle:"閒置", running:"工作中", reviewing:"審查中", verifying:"驗證中", blocked:"受阻", delivered:"已交付", complete:"已完成", unknown:"未知", unassigned:"未分配", pending:"待回覆"}}
 };
 function getLanguage(){
   try { var cookie = document.cookie.split(";").map(function(part){ return part.trim().split("="); }).find(function(pair){ return pair[0] === "agent-office-language"; }); if (cookie && (cookie[1] === "en" || cookie[1] === "zh")) return cookie[1]; } catch (_) {}
@@ -249,8 +249,57 @@ function roomBase(floor){
 // ---- people: a slot in the room of their phase; they walk only when the phase changes ----
 /** Engineers plan and build; once the work is with QA, the reviewers or the integrator, they stay at their cubicle. */
 function roomFor(actor){ var room = ROOM_OF[actor.phase] || "lobby"; return room === "verifying" || room === "reviewing" || room === "integrating" ? "implementing" : room; }
-// ---- resident staff: they rest in the lobby and walk to their station while their real process runs ----
-var STAFF_ROLES = ["qa", "reviewerA", "reviewerB", "integrator"], STAFF_FADE = 600;
+// ---- resident staff: they idle in the lobby and walk to their station while their real process runs ----
+var STAFF_ROLES = ["qa", "reviewerA", "reviewerB", "integrator"], STAFF_FADE = 600, staffSpots = {};
+/** Frames a person stays at a lobby spot: 20 to 45 seconds at 60 frames a second, fixed by their key and visit. */
+function dwellFrames(key, visit){ var h = 0, s = key + "#" + visit; for (var i = 0; i < s.length; i++) h = (Math.imul(h, 31) + s.charCodeAt(i)) >>> 0; return 1200 + h % 1501; }
+function keyHash(s){ var h = 0; for (var i = 0; i < s.length; i++) h = (Math.imul(h, 31) + s.charCodeAt(i)) >>> 0; return h; }
+/** Spots an idle engineer stands near are left to them. */
+function engineerNear(floor, spot){
+  var place = placements(floor).byActor, lobby = layoutRoom("lobby");
+  return floor.actors.some(function(actor){ var p = place[actor.key]; if (!p || p.room !== "lobby") return false; var slot = lobby.slots[Math.min(p.index, lobby.slots.length - 1)]; return Math.abs(slot.feet.x - spot.feet.x) < 30 && Math.abs(slot.feet.y - spot.feet.y) < 30; });
+}
+/** The free lobby spots of a room, nearest to a point first. */
+function freeSpots(floor, from, except){
+  var taken = {};
+  STAFF_ROLES.forEach(function(role){ var key = floor.key + "|staff:" + role, held = staffSpots[key]; if (key !== except && held && held.spot !== null) taken[held.spot] = true; });
+  return LAYOUT.staff.spots.map(function(spot, index){ return index; }).filter(function(index){ return !taken[index] && !engineerNear(floor, LAYOUT.staff.spots[index]); })
+    .sort(function(a, b){ var p = LAYOUT.staff.spots[a].feet, q = LAYOUT.staff.spots[b].feet; return (Math.abs(p.x - from.x) + Math.abs(p.y - from.y)) - (Math.abs(q.x - from.x) + Math.abs(q.y - from.y)) || a - b; });
+}
+/**
+ * Where an idle staff member is: a reserved lobby spot. New rooms seat the four on different spots chosen from
+ * the room key, with staggered first moves; coming back from work takes the nearest free spot.
+ */
+function idleSpot(floor, key, index){
+  var held = staffSpots[key];
+  if (!held) {
+    var first = (keyHash(floor.key) + index * 3) % LAYOUT.staff.spots.length, free = freeSpots(floor, LAYOUT.staff.spots[first].feet, key);
+    held = staffSpots[key] = {spot: free.length ? free[0] : null, visit: 0, until: frame + 300 + index * 600};
+  } else if (held.spot === null) {
+    var state = people[key], near = freeSpots(floor, state ? {x: state.x, y: state.y} : LAYOUT.spawn, key);
+    held.spot = near.length ? near[0] : null; held.visit++; held.until = frame + dwellFrames(key, held.visit);
+  }
+  return held.spot === null ? LAYOUT.staff.spots[index] : LAYOUT.staff.spots[held.spot];
+}
+/** One idle person a room at a time, once their stay is over and no result bubble shows, moves to another free spot. */
+function wander(floor){
+  if (reducedMotion) return;
+  var walking = false, ready = null;
+  STAFF_ROLES.forEach(function(role){
+    var key = floor.key + "|staff:" + role, state = people[key], held = staffSpots[key], memory = staffMemory[key];
+    if (state && state.path.length) walking = true;
+    var resting = held && held.spot !== null && !(memory && memory.busy) && !(memory && memory.result && frame < memory.result.until);
+    if (resting && frame >= held.until && (!ready || held.until < staffSpots[ready].until)) ready = key;
+  });
+  if (walking || !ready) return;
+  var held = staffSpots[ready], state = people[ready], here = LAYOUT.staff.spots[held.spot].feet;
+  var options = freeSpots(floor, here, ready).filter(function(index){ return index !== held.spot; });
+  held.visit++; held.until = frame + dwellFrames(ready, held.visit);
+  if (!options.length || !state) return;
+  held.spot = options[dwellFrames(ready, held.visit) % options.length];
+  var spot = LAYOUT.staff.spots[held.spot];
+  moveTo(ready, spot, spot.feet.x + "," + spot.feet.y, false);
+}
 function activityOf(floor, kind){ var list = floor.activities || []; for (var i = 0; i < list.length; i++) if (list[i].kind === kind) return list[i]; return null; }
 /** Reviewer nameplates: the running review's targets, else the newest report's rounds, else A and B. */
 function reviewerNames(floor){
@@ -268,9 +317,12 @@ function staffOf(floor){
   var plans = {qa: ["verify", "QA", "qa", at.qa, "verify"], reviewerA: ["review", names[0], "reviewer", second ? at.armchair : at.desk, "review"],
     reviewerB: ["review", names[1], "reviewer", second ? at.desk : at.armchair, "review"], integrator: ["finish", t("integrator"), "integrator", at.integrator, "integration"]};
   return STAFF_ROLES.map(function(role, index){
-    var plan = plans[role], busy = !!activityOf(floor, plan[0]), slot = busy ? plan[3] : LAYOUT.staff.rest[index];
+    var plan = plans[role], busy = !!activityOf(floor, plan[0]), key = floor.key + "|staff:" + role;
+    // Work releases the lobby spot; the way back takes the nearest free one.
+    if (busy && staffSpots[key]) staffSpots[key].spot = null;
+    var slot = busy ? plan[3] : idleSpot(floor, key, index);
     var narration = !busy ? t("staff_rest") : plan[0] !== "review" ? t("staff_" + plan[0]) : slot === at.desk ? t("staff_review") : t("staff_wait");
-    return {key: floor.key + "|staff:" + role, id: plan[1], kind: plan[2], staff: role, activity: plan[0], panel: plan[4], busy: busy, slot: slot,
+    return {key: key, id: plan[1], kind: plan[2], staff: role, activity: plan[0], panel: plan[4], busy: busy, slot: slot,
       target: slot.feet.x + "," + slot.feet.y, narration: narration, questionCount: 0, status: busy ? "running" : "idle"};
   });
 }
@@ -293,14 +345,82 @@ function placements(floor){
   });
   return {byActor: byActor, counts: counts};
 }
+// ---- the engineer reads the whiteboard or the QA board when something worth reading happens ----
+var GLANCE_STAY = 480, WAITING = {verifying: true, reviewing: true, integrating: true};
+/** The one engineer a room's notices concern: a run's coordinator, or a session's engineer. */
+function engineerOf(floor){ var lead = floor.actors.filter(function(a){ return a.kind === "coordinator"; })[0]; return lead || (floor.kind === "run" ? null : floor.actors[0] || null); }
+function seatOf(floor, actor){ var p = placements(floor).byActor[actor.key], room = layoutRoom(p.room); return {slot: room.slots[Math.min(p.index, room.slots.length - 1)], target: p.room + ":" + p.index, hidden: p.index >= room.slots.length}; }
+function glanceFacts(floor){ return {verify: floor.board.verify, review: floor.board.review, criteria: (floor.criteria || []).map(function(c){ return c.id + "=" + c.status; }).join(",")}; }
+function fillIn(text, values){ return text.replace(/\{(\w+)\}/g, function(_, name){ return String(values[name]); }); }
+/** What the engineer says at a notice: only what the snapshot shows. */
+function glanceText(floor, reason){
+  var criteria = floor.criteria || [], passed = criteria.filter(function(c){ return c.status === "PASS"; }).length, pending = criteria.filter(function(c){ return !c.status; }).length;
+  if (reason === "verify") {
+    if (floor.board.verify === "PASS") return fillIn(t("glance_pass"), {n: floor.board.passed || passed, t: floor.board.total || criteria.length});
+    var failed = criteria.filter(function(c){ return c.status === "FAIL"; })[0];
+    return failed ? fillIn(t("glance_fail"), {id: failed.id}) : t("glance_failed");
+  }
+  if (reason === "review") return t(floor.board.review === "PASS" ? "glance_review_pass" : "glance_review_fail");
+  if (reason === "timer") { var busy = ["verify", "review", "finish"].filter(function(kind){ return activityOf(floor, kind); })[0]; if (busy) return t("glance_wait_" + busy); }
+  return pending ? fillIn(t("glance_pending"), {n: pending}) : fillIn(t("glance_all"), {n: passed, t: criteria.length});
+}
+function glanceTimer(key, visit){ return 2400 + dwellFrames(key, visit) % 3001; }
+/** Turns snapshot changes into a reading trip: the QA board first, then the whiteboard. The first snapshot is only a baseline. */
+function noticeChanges(floor){
+  var facts = glanceFacts(floor), state = glances[floor.key];
+  if (!state) { glances[floor.key] = {facts: facts, stops: [], arrived: null, visit: 0, next: frame + glanceTimer(floor.key, 0), bubble: null}; return; }
+  var before = state.facts, stops = [];
+  state.facts = facts;
+  var settled = function(value){ return value === "PASS" || value === "FAIL"; };
+  if (facts.verify !== before.verify && settled(facts.verify)) stops.push({spot: "status", reason: "verify"});
+  if (facts.review !== before.review && settled(facts.review)) stops.push({spot: "board", reason: "review"});
+  else if (facts.criteria !== before.criteria) stops.push({spot: "board", reason: "criteria"});
+  var engineer = engineerOf(floor);
+  if (!stops.length || !engineer || engineer.questionCount > 0) return;
+  if (reducedMotion) { state.bubble = {key: engineer.key, text: glanceText(floor, stops[0].reason), until: frame + GLANCE_STAY}; return; }
+  stops.forEach(function(stop){ if (!state.stops.some(function(s){ return s.spot === stop.spot; })) state.stops.push(stop); });
+}
+/** Moves the engineer through their stops, waits at each, then back to the seat; between events they now and then look at the whiteboard. */
+function glanceStep(floor){
+  var state = glances[floor.key], engineer = engineerOf(floor);
+  if (!state || !engineer || reducedMotion) return;
+  var person = people[engineer.key];
+  if (!person) return;
+  if (engineer.questionCount > 0) { if (state.stops.length) { state.stops = []; state.arrived = null; var home = seatOf(floor, engineer); moveTo(engineer.key, home.slot, home.target, home.hidden); } return; }
+  if (!state.stops.length) {
+    if (WAITING[floor.phase] && frame >= state.next) { state.visit++; state.next = frame + glanceTimer(floor.key, state.visit); state.stops.push({spot: "board", reason: "timer"}); }
+    else return;
+  }
+  var stop = state.stops[0], spot = LAYOUT.look[stop.spot], target = "look:" + stop.spot;
+  if (person.target !== target) { moveTo(engineer.key, spot, target, false); state.arrived = null; return; }
+  if (person.path.length) return;
+  if (state.arrived === null) { state.arrived = frame; stop.text = glanceText(floor, stop.reason); }
+  if (frame - state.arrived < GLANCE_STAY) return;
+  state.stops.shift(); state.arrived = null;
+  if (state.stops.length) { glanceStep(floor); return; }
+  var seat = seatOf(floor, engineer);
+  moveTo(engineer.key, seat.slot, seat.target, seat.hidden);
+  state.next = Math.max(state.next, frame + glanceTimer(floor.key, state.visit + 1));
+}
+/** The engineer's bubble while reading, or at the seat under reduced motion. */
+function glanceBubble(floor){
+  var state = glances[floor.key], engineer = engineerOf(floor);
+  if (!state || !engineer) return null;
+  if (state.bubble && frame < state.bubble.until && state.bubble.key === engineer.key) return {key: engineer.key, text: state.bubble.text};
+  var stop = state.stops[0];
+  return stop && state.arrived !== null && stop.text ? {key: engineer.key, text: stop.text} : null;
+}
 function syncPeople(){
   if (!model) return;
   var seen = {};
   model.floors.forEach(function(floor){
     var place = placements(floor).byActor;
+    noticeChanges(floor);
+    var reading = glances[floor.key] && glances[floor.key].stops.length ? engineerOf(floor) : null;
     floor.actors.forEach(function(actor){
       var p = place[actor.key], room = layoutRoom(p.room);
       seen[actor.key] = true;
+      if (reading && reading.key === actor.key && people[actor.key]) return; // on a reading trip; glanceStep brings them back
       moveTo(actor.key, room.slots[Math.min(p.index, room.slots.length - 1)], p.room + ":" + p.index, p.index >= room.slots.length);
     });
     staffOf(floor).forEach(function(member){
@@ -314,6 +434,8 @@ function syncPeople(){
   });
   Object.keys(people).forEach(function(key){ if (!seen[key]) delete people[key]; });
   Object.keys(staffMemory).forEach(function(key){ if (!seen[key]) delete staffMemory[key]; });
+  Object.keys(staffSpots).forEach(function(key){ if (!seen[key]) delete staffSpots[key]; });
+  Object.keys(glances).forEach(function(key){ if (!roomByKey(key)) delete glances[key]; });
 }
 function stepAlong(state){
   if (!state.path.length) return;
@@ -563,10 +685,12 @@ function renderLabels(floor, figs){
   figs.forEach(function(f){ label("name:" + f.actor.key, "nameplate" + (f.actor.questionCount ? " alert" : ""), shortName(f.actor.id, 14), f.x + 17, f.y + 50); });
   label("name:viewer", "nameplate viewer", t("viewer"), viewer.x, viewer.y + 1);
   var near = nearestActor(figs);
-  if (near) label("speech", "speech", shortName(near.actor.id, 14) + ": " + localizeText(near.actor.narration), near.x + 17, near.y - 6);
+  var said = glanceBubble(floor), reader = said && figs.filter(function(f){ return f.actor.key === said.key; })[0];
+  if (reader) label("glance", "speech glance", said.text, reader.x + 17, reader.y - 6);
+  if (near && near !== reader) label("speech", "speech", shortName(near.actor.id, 14) + ": " + localizeText(near.actor.narration), near.x + 17, near.y - 6);
 }
 function render(){ if (!model) return; if (mode === "room") renderRoomView(); else renderOverview(); }
-function tick(){ frame++; if (!reducedMotion) advance(); render(); }
+function tick(){ frame++; if (!reducedMotion) { if (model) model.floors.forEach(function(floor){ wander(floor); glanceStep(floor); }); advance(); } render(); }
 function attentionFor(actor){
   if(actor.questionCount)return t('waiting')+' ('+actor.questionCount+')';
   if(actor.progress&&actor.progress.verify==='FAIL')return t('verifyFailed');

package/dist/runtime/src/office/scene.js

@@ -106,13 +106,22 @@ export function sceneModel(snapshot) {
             verify = "PASS";
         if (review === null && run.agents.length && run.agents.every(agent => agent.progress?.review === "PASS"))
             review = "PASS";
-        const rootProgress = { passed, total, verify, review };
-        const taskId = run.agents.find(agent => agent.role === "coordinator")?.taskId ?? "unassigned";
+        const rootProgress = Object.prototype.hasOwnProperty.call(extra, "progress") ? progressOf(extra.progress) : { passed, total, verify, review };
+        const criteria = (Array.isArray(extra.criteria) ? extra.criteria : []).map(value => {
+            const item = optional(value);
+            return { id: typeof item.id === "string" ? item.id : "unknown", description: typeof item.description === "string" ? item.description : "",
+                status: item.status === "PASS" || item.status === "FAIL" || item.status === "UNKNOWN" ? item.status : null,
+                finishedAt: typeof item.finishedAt === "string" ? item.finishedAt : null,
+                failureClass: typeof item.failureClass === "string" ? item.failureClass : null,
+                exitCode: typeof item.exitCode === "number" ? item.exitCode : null, output: typeof item.output === "string" ? item.output : null };
+        });
+        const taskId = typeof extra.taskId === "string" && extra.taskId.length > 0
+            ? extra.taskId : run.agents.find(agent => agent.role === "coordinator")?.taskId ?? "unassigned";
         if (questions.length > 0)
             dialogue.push(`${run.title}: waiting for your answer — ${questions[0].prompt}`);
-        return { key, sourceIndex: index, kind: "run", title: titled(repo, run.title), top: 0, props, actors, phaseAreas: makeAreas(), questions, criteria: [],
+        return { key, sourceIndex: index, kind: "run", title: titled(repo, run.title), top: 0, props, actors, phaseAreas: makeAreas(), questions, criteria,
             activities: activitiesOf(optional(run).activities),
-            board: boardFor(rootProgress, run.status, taskId, questions.length), papers, books: { lit: passed, total },
+            board: boardFor(rootProgress, run.status, taskId, questions.length), papers, books: { lit: rootProgress?.passed ?? 0, total: rootProgress?.total ?? 0 },
             clock: run.budget.limitMs > 0 ? run.budget.remainingMs / run.budget.limitMs : 0, phase: run.phase, status: run.status,
             completedAt, repo, overview: { x: 0, y: 0, width: 0, height: 0 } };
     };

package/dist/runtime/src/office/snapshot.js

@@ -29,6 +29,13 @@ export function buildOfficeSnapshot(input) {
         const reviewers = input.reviews.filter(r => r.root !== null && roots.has(r.root)).slice(0, 2);
         reviewers.forEach(r => claimed.add(r));
         const usedMs = activeWallTimeMs(run.budget.activeIntervals, input.now);
+        const coordinator = run.workers.find(worker => worker.workerId === run.coordinatorId);
+        // rootTaskId is the persisted run authority. Only legacy runs without it
+        // fall back to the coordinator's task id.
+        const rootTaskId = run.rootTaskId ?? (coordinator?.taskId || null);
+        const rootTask = rootTaskId === null ? undefined : run.tasks.find(task => task.taskId === rootTaskId);
+        const rootTree = rootTaskId === null ? undefined : input.worktrees.find(tree => tree.taskId === rootTaskId &&
+            (tree.runId === run.runId || tree.path === coordinator?.worktree));
         const agents = run.workers.filter(w => w.workerId === run.coordinatorId || LIVE.has(w.status)).map((w) => {
             const tree = w.worktree === null ? undefined : byPath.get(w.worktree);
             const phase = w.phase ?? "unknown";
@@ -39,6 +46,11 @@ export function buildOfficeSnapshot(input) {
         });
         const questions = run.questions.filter(q => q.answeredAt === null).map(q => ({ questionId: q.questionId, prompt: q.prompt }));
         return { runId: run.runId, title: run.rootTaskId ?? run.runId,
+            ...(rootTaskId === null ? {} : { taskId: rootTaskId }),
+            // The root task is the only source of run-level proof. A
+            // missing proof stays null; worker progress must never become root proof.
+            ...(rootTaskId === null ? {} : { progress: rootTree?.progress ?? rootTask?.progress ?? null,
+                ...(rootTree?.criteria === undefined ? {} : { criteria: rootTree.criteria }) }),
             status: run.status, phase: run.phase ?? "unknown",
             budget: { limitMs: run.budget.limitMs, usedMs, remainingMs: Math.max(0, run.budget.limitMs - usedMs) },
             questions, agents, reviewers,

package/dist/runtime/src/parallel/manage.js

@@ -3,6 +3,7 @@ import { join, resolve } from "node:path";
 import { sha256 } from "../fs/hash.js";
 import { AgentOpsError } from "../fs/paths.js";
 import { collectChangeSurface } from "../verify/change-surface.js";
+import { FileRunRepository } from "../run/service.js";
 import { assertSessionId, assertWorktreeName, bindSession, insideWorktreeDirectory, parseWorktreeListPorcelain, readWorktreeRecord, assertRunWorktreeOwnership, removeCheckout, resolveCheckouts, worktreePath, writeWorktreeRecord } from "./service.js";
 /**
  * A baseline no source state hashes to. A resumed session inherits whatever
@@ -141,8 +142,11 @@ export async function resumeWorktree(deps, options) {
     const sessionId = assertSessionId(options.sessionId);
     const mainRoot = await mainCheckout(deps, options.cwd);
     const previous = await requireRecord(mainRoot, name);
-    const tasks = deps.tasks(previous.path);
+    // A base gives the service repository context, which debug resume needs.
+    const tasks = deps.tasks(previous.path, previous.base);
     const attached = await tasks.status({ sessionId: previous.sessionId }).catch(() => null);
+    if (attached?.task.debug !== undefined)
+        await tasks.debugService().resume(attached.task.id, sessionId);
     if (attached !== null)
         await tasks.attach(sessionId, attached.task.id);
     const record = { ...previous, sessionId };
@@ -206,6 +210,15 @@ export async function removeWorktree(deps, options) {
     const name = assertWorktreeName(options.name);
     const mainRoot = await mainCheckout(deps, options.cwd);
     const status = await describe(deps, await requireRecord(mainRoot, name));
+    // A running run still writes here; --force discards work, it does not stop the run.
+    const runId = status.record.runId;
+    if (runId !== undefined) {
+        const commonDir = join(mainRoot, ".git");
+        const run = await new FileRunRepository(join(commonDir, "agent-ops", "runs"), commonDir).read(runId).catch(() => null);
+        if (run !== null && ["active", "awaiting-input", "stopping"].includes(run.status)) {
+            throw manageError("WORKTREE_RUN_ACTIVE", `${name} belongs to run ${runId}, which is ${run.status}. Stop it first: agent-ops run stop ${runId}.`);
+        }
+    }
     if ((status.dirty || status.ahead > 0) && !options.force) {
         throw manageError("WORKTREE_UNMERGED", `${name} has ${status.dirty ? "uncommitted changes" : ""}${status.dirty && status.ahead > 0 ? " and " : ""}${status.ahead > 0 ? `${status.ahead} commit(s) not in ${status.record.targetBranch}` : ""}. Finish it, or remove it with --force to discard that work (the user is asked).`);
     }
@@ -217,7 +230,11 @@ export async function removeWorktree(deps, options) {
             ? mainGate.redirect(record.sessionId, null)
             : mainGate.removeRoot(record.sessionId, record.path));
     }
-    await deps.trust.revoke(record.path, await deps.loadConfig(record.path)).catch(() => undefined);
+    // A paused or stopped run's worktree has no loadable policy config; its trust
+    // was never this checkout's to revoke, so removal must not depend on it.
+    const config = await deps.loadConfig(record.path).catch(() => null);
+    if (config !== null)
+        await deps.trust.revoke(record.path, config).catch(() => undefined);
     await removeCheckout(deps, record, true);
     return status;
 }

package/dist/runtime/src/review/attestation.js

@@ -17,7 +17,9 @@ const SESSION_ID_PATTERN = /^[A-Za-z0-9._:-]{1,128}$/u;
 const REPORT_ARTIFACT_MAX_BYTES = 512 * 1024;
 function validContractBinding(value) {
     const hashes = [value.taskContractHash, value.goalHash, value.coverageDigest];
-    return hashes.every(v => typeof v === "string" && DIGEST_PATTERN.test(v)) &&
+    return (value.debugProofs === undefined || typeof value.debugProofs === "object" && value.debugProofs !== null && !Array.isArray(value.debugProofs) &&
+        Object.entries(value.debugProofs).every(([id, hash]) => TASK_ID_PATTERN.test(id) && typeof hash === "string" && DIGEST_PATTERN.test(hash))) &&
+        hashes.every(v => typeof v === "string" && DIGEST_PATTERN.test(v)) &&
         (value.treeContractHash === undefined || typeof value.treeContractHash === "string" && DIGEST_PATTERN.test(value.treeContractHash)) &&
         typeof value.candidateCommit === "string" && /^(?:[a-f0-9]{40}|[a-f0-9]{64})$/u.test(value.candidateCommit) &&
         typeof value.taskContracts === "object" && value.taskContracts !== null && !Array.isArray(value.taskContracts) &&
@@ -26,6 +28,7 @@ function validContractBinding(value) {
 }
 function contractBinding(value) {
     return validContractBinding(value) ? {
+        ...(value.debugProofs === undefined ? {} : { debugProofs: value.debugProofs }),
         taskContractHash: value.taskContractHash, taskContracts: value.taskContracts,
         ...(value.treeContractHash === undefined ? {} : { treeContractHash: value.treeContractHash }),
         goalHash: value.goalHash, candidateCommit: value.candidateCommit, coverageDigest: value.coverageDigest

package/dist/runtime/src/review/execute.js

@@ -705,7 +705,7 @@ export function createReviewExecutor(options) {
     const clock = options.now ?? (() => Date.now());
     return async (request) => {
         const deadlineAt = clock() +
-            (options.chainTimeoutMs ?? DEFAULT_REVIEW_CHAIN_TIMEOUT_MS);
+            Math.min(options.chainTimeoutMs ?? DEFAULT_REVIEW_CHAIN_TIMEOUT_MS, await options.remainingBudgetMs?.() ?? Infinity);
         const remainingMs = () => deadlineAt - clock();
         /**
          * The options one stage runs under: its own timeout, or what is left of

package/dist/runtime/src/review/slots.js

@@ -48,62 +48,77 @@ export async function withReviewSlot(options, action) {
     }
     const sleep = options.sleep ?? (async (ms) => await new Promise((resolve) => setTimeout(resolve, ms)));
     let waiting = false;
+    let waitEnded = false;
     let held;
     const token = randomUUID();
-    while (held === undefined) {
-        if (options.signal?.aborted === true)
-            throw new ReviewInterruptedError(String(options.signal.reason ?? ""));
-        for (let index = 0; index < width && held === undefined; index += 1) {
-            const path = join(options.dir, `agent-ops-review-slot-${index}.lock`);
-            try {
-                const claimed = await withPrivateFileLock(path + ".state", options.dir, async () => {
-                    if (options.signal?.aborted === true)
-                        throw new ReviewInterruptedError(String(options.signal.reason ?? ""));
-                    for (;;) {
-                        try {
-                            await mkdir(path);
-                            await writeFile(join(path, "owner.json"), JSON.stringify({ ...options.holder, pid: process.pid, at: Date.now(), token }));
-                            return true;
-                        }
-                        catch (error) {
-                            if (error.code !== "EEXIST")
-                                throw error;
-                            if (!await stale(path, options.staleMs ?? STALE_MS))
-                                return false;
-                            await rm(path, { recursive: true, force: true });
+    try {
+        while (held === undefined) {
+            if (options.signal?.aborted === true)
+                throw new ReviewInterruptedError(String(options.signal.reason ?? ""));
+            for (let index = 0; index < width && held === undefined; index += 1) {
+                const path = join(options.dir, `agent-ops-review-slot-${index}.lock`);
+                try {
+                    const claimed = await withPrivateFileLock(path + ".state", options.dir, async () => {
+                        if (options.signal?.aborted === true)
+                            throw new ReviewInterruptedError(String(options.signal.reason ?? ""));
+                        for (;;) {
+                            try {
+                                await mkdir(path);
+                                await writeFile(join(path, "owner.json"), JSON.stringify({ ...options.holder, pid: process.pid, at: Date.now(), token }));
+                                return true;
+                            }
+                            catch (error) {
+                                if (error.code !== "EEXIST")
+                                    throw error;
+                                if (!await stale(path, options.staleMs ?? STALE_MS))
+                                    return false;
+                                await rm(path, { recursive: true, force: true });
+                            }
                         }
-                    }
-                });
-                if (claimed)
-                    held = path;
+                    });
+                    if (claimed)
+                        held = path;
+                }
+                catch (error) {
+                    if (!(error instanceof AgentOpsError) || error.code !== "PRIVATE_STATE_LOCK_TIMEOUT")
+                        throw error;
+                }
             }
-            catch (error) {
-                if (!(error instanceof AgentOpsError) || error.code !== "PRIVATE_STATE_LOCK_TIMEOUT")
-                    throw error;
+            if (held === undefined) {
+                if (!waiting) {
+                    waiting = true;
+                    await options.onWaitStart?.();
+                    options.onWait?.(`review: waiting for one of ${String(width)} shared review slots`);
+                }
+                await sleep(options.pollMs ?? POLL_MS);
             }
         }
-        if (held === undefined) {
-            if (!waiting) {
-                waiting = true;
-                options.onWait?.(`review: waiting for one of ${String(width)} shared review slots`);
-            }
-            await sleep(options.pollMs ?? POLL_MS);
+        if (waiting) {
+            waitEnded = true;
+            await options.onWaitEnd?.(true);
         }
-    }
-    try {
         if (options.signal?.aborted === true)
             throw new ReviewInterruptedError(String(options.signal.reason ?? ""));
         return await action();
     }
     finally {
-        await withPrivateFileLock(held + ".state", options.dir, async () => {
-            const owner = await readFile(join(held, "owner.json"), "utf8").catch(error => {
-                if (error.code === "ENOENT")
-                    return null;
-                throw error;
+        if (waiting && !waitEnded) {
+            waitEnded = true;
+            try {
+                await options.onWaitEnd?.(false);
+            }
+            catch { /* preserve the original wait/abort failure */ }
+        }
+        if (held !== undefined) {
+            await withPrivateFileLock(held + ".state", options.dir, async () => {
+                const owner = await readFile(join(held, "owner.json"), "utf8").catch(error => {
+                    if (error.code === "ENOENT")
+                        return null;
+                    throw error;
+                });
+                if (owner !== null && JSON.parse(owner)?.token === token)
+                    await rm(held, { recursive: true, force: true });
             });
-            if (owner !== null && JSON.parse(owner)?.token === token)
-                await rm(held, { recursive: true, force: true });
-        });
+        }
     }
 }

package/dist/runtime/src/run/hosts/codex.js

@@ -236,7 +236,7 @@ export class CodexGoalHost {
             clientInfo: {
                 name: "agent-ops",
                 title: "agent-ops native goal host",
-                version: "0.8.0"
+                version: "0.8.2"
             }
         });
         session.notify("initialized", {});

package/dist/runtime/src/run/transport.js

@@ -2,10 +2,13 @@ import { nativeProcessGroupAlive, signalNativeProcessGroup } from "./hosts/util.
 import { execFile } from "node:child_process";
 import { promisify } from "node:util";
 import { AgentOpsError } from "../fs/paths.js";
+import { readWindowsProcessIdentity } from "../security/permissions.js";
 const exec = promisify(execFile);
 export async function nativeProcessIdentity(pid) {
     if (!Number.isSafeInteger(pid) || pid < 1)
         return null;
+    if (process.platform === "win32")
+        return await readWindowsProcessIdentity(pid);
     try {
         const { stdout } = await exec("ps", ["-p", String(pid), "-o", "lstart="], { maxBuffer: 8192 });
         return stdout.trim() || null;

package/dist/runtime/src/schema/validate.js

@@ -1,3 +1,4 @@
+import { validDebugSettings, validDebugIntake } from "../task/debug-state.js";
 import { CONFIG_SCHEMA_VERSION, EVIDENCE_SCHEMA_VERSION, MANIFEST_SCHEMA_VERSION, TASK_SCHEMA_VERSION } from "../contracts.js";
 import { acceptanceError, runnerError, commitIdentity } from "./acceptance.js";
 const ID_PATTERN = /^[a-z][a-z0-9-]{0,127}$/;
@@ -29,6 +30,7 @@ const HOOK_EVENT_VALUES = new Set([
     "SubagentStart",
     "SubagentStop",
     "Stop",
+    "Interrupt",
     "SessionEnd"
 ]);
 const MAX_TIMEOUT_MS = 2_147_483_647;
@@ -331,10 +333,12 @@ export function validateConfig(value) {
     if (!isRecord(root.features)) {
         return failure("INVALID_TYPE", "$.features", "features must be an object.");
     }
-    const featuresUnknown = unknownFieldFailure(root.features, ["completionGate", "stopVerification", "office"], "$.features");
+    const featuresUnknown = unknownFieldFailure(root.features, ["completionGate", "stopVerification", "office", "debug"], "$.features");
     if (featuresUnknown !== undefined) {
         return featuresUnknown;
     }
+    if (root.features.debug !== undefined && !validDebugSettings(root.features.debug))
+        return failure("INVALID_FEATURE", "$.features.debug", "Debug requires enabled, bounded budgetMs and maxRounds.");
     if (root.features.office !== undefined) {
         if (!isRecord(root.features.office)) {
             return failure("INVALID_TYPE", "$.features.office", "office must be an object.");
@@ -566,10 +570,12 @@ export function validateCriterion(value, path) {
     return success(value);
 }
 export function validateTask(value) {
-    const root = validateRoot(value, ["criteria", "id", "intent", "goal", "contractRevision", "parentTaskId", "schemaVersion", "title"], isRecord(value) && value.schemaVersion === 1 ? 1 : TASK_SCHEMA_VERSION);
+    const root = validateRoot(value, ["criteria", "id", "intent", "goal", "contractRevision", "parentTaskId", "schemaVersion", "title", "debug"], isRecord(value) && value.schemaVersion === 1 ? 1 : TASK_SCHEMA_VERSION);
     if (isFailure(root)) {
         return root;
     }
+    if (root.debug !== undefined && (!validDebugIntake(root.debug) || root.schemaVersion !== TASK_SCHEMA_VERSION || root.goal === undefined))
+        return failure("INVALID_DEBUG_TASK", "$.debug", "Debug tasks require immutable goal and bounded root intake.");
     if (root.contractRevision !== undefined && (!Number.isSafeInteger(root.contractRevision) || root.contractRevision < 0))
         return failure("INVALID_CONTRACT_REVISION", "$.contractRevision", "Invalid contract revision.");
     if (root.goal !== undefined && (!isNonEmptyString(root.goal) || Buffer.byteLength(root.goal, "utf8") > 65536))

package/dist/runtime/src/security/permissions.js

@@ -232,7 +232,9 @@ async function readPosixProcessIdentity(processId) {
         return null;
     }
 }
-async function readWindowsProcessIdentity(processId) {
+export async function readWindowsProcessIdentity(processId) {
+    if (!Number.isSafeInteger(processId) || processId < 1)
+        return null;
     try {
         const script = [
             `$process = Get-Process -Id ${processId} -ErrorAction Stop`,

package/dist/runtime/src/task/completion.js

@@ -3,12 +3,31 @@ import { findReviewAttestation } from "../review/attestation.js";
 import { validateEvidence, validateTaskAgainstConfig } from "../schema/validate.js";
 import { isPassingVerificationEvidence } from "../verify/evidence.js";
 import { taskContractHash } from "./contract.js";
-import { acceptanceCoverage } from "../verify/acceptance-coverage.js";
+import { acceptanceCoverage, coverageDigest } from "../verify/acceptance-coverage.js";
+import { loadDebugProof, debugProofDigest, debugRemainingMs } from "./debug-state.js";
 export async function checkTaskCompletionEvidence(stored, options) {
+    const debug = stored.task.debug === undefined ? undefined : await loadDebugProof(options.root, stored.task.debug.rootTaskId);
+    if (debug?.control?.paused === true || debug?.control?.mode === "diagnose")
+        return { status: "FAIL", code: "TASK_DEBUG_SCOPE_RESTRICTED", remedy: "The human restricted this issue to pause or diagnosis. Preserve the active task; only a native human resume repair event authorizes repair completion." };
     const problem = await checkTaskVerificationEvidence(stored, options);
     if (problem !== null)
         return problem;
     const attestation = await findReviewAttestation(options.root, options.sourceFingerprint, stored.task.id);
+    if (debug !== undefined) {
+        const coverage = await acceptanceCoverage(stored, options.config, options.sourceFingerprint, options.evidenceStore);
+        const { FileTaskStore } = await import("./store.js");
+        const { join } = await import("node:path");
+        const reviewedRecords = (await new FileTaskStore(join(options.root, ".agent-ops/tasks/state.json"), options.root).read()).tasks.filter(r => attestation?.taskContracts?.[r.task.id] !== undefined);
+        const currentCoverage = [];
+        for (const record of reviewedRecords) {
+            const rows = await acceptanceCoverage(record, options.config, options.sourceFingerprint, options.evidenceStore);
+            currentCoverage.push(...rows.map(row => ({ ...row, criterionId: attestation?.tree === undefined ? row.criterionId : record.task.id + ":" + row.criterionId })));
+        }
+        const refs = new Set(coverage.filter(c => c.mode === "behavioral" && c.status === "proven").flatMap(c => c.evidenceReferences));
+        if (attestation?.coverageDigest !== coverageDigest(currentCoverage) || debug.operation !== null || debugRemainingMs(debug) === 0 || !debug.hypotheses.some(h => h.status === "confirmed" && h.supporting.some(ref => refs.has(ref))) ||
+            attestation?.debugProofs?.[stored.task.id] !== debugProofDigest(debug))
+            return { status: "FAIL", code: "TASK_DEBUG_PROOF_REQUIRED", remedy: "Confirm the original cause with current discriminating regression proof, then obtain two fresh independent reviews bound to that debug proof." };
+    }
     if (attestation === null || attestation.taskId !== stored.task.id ||
         ((stored.task.criteria.some(c => c.acceptance !== undefined) || (stored.task.contractRevision ?? 0) > 0 || stored.task.goal !== undefined) &&
             (attestation.schemaVersion !== 3 || attestation.taskContracts?.[stored.task.id] !== taskContractHash(stored.task))) ||