@galda/cli 0.10.103 → 0.10.105

package/app/index.html

@@ -613,6 +613,9 @@
   .qreplysend{width:30px;height:30px;flex:0 0 30px;display:grid;place-items:center;border:0;border-radius:50%;background:var(--iri);color:var(--on-accent);cursor:pointer;padding:0}
   .qreplysend svg{width:15px;height:15px;stroke:currentColor;stroke-width:2;fill:none}
   .prbig{font-family:var(--mono);font-size:10.5px;color:var(--green);text-decoration:none;border:1px solid rgba(var(--green-rgb),.4);background:rgba(var(--green-rgb),.12);border-radius:7px;padding:3px 10px;font-weight:600}
+  /* A PR closed on GitHub without merging is not a success — mute it off the green
+     "open" treatment (Masa: closed should read as closed, not celebrated). */
+  .prbig.closed,.ppr.closed,a.sa-delivery.closed{color:var(--ink2)!important;border-color:var(--hair2);background:transparent}
   /* task 228: レビューダイジェスト — Reviewセクション最上部の一枚まとめ。行=確認1行
      +proofサムネ(小)+テストバッジ+PRリンク+その場でApprove/Reject。下の個別行(revrow)
      はそのまま詳細一覧として残す。 */
@@ -2232,6 +2235,19 @@
   /* Changed/Tests aligns with the request TEXT, not the number/chevron — same 18px
      the fold body below uses, so both sit under the same column (Masa 2026-07-29). */
   .redesign .rqit .rqev{font-size:12px;color:var(--ink3);margin:5px 0 0;padding-left:18px}
+  /* Canonical requirement coverage: one compact ledger, not three competing
+     interpretations. Status is text + a small rule/mark (no badge surface),
+     and Manager checks stay visually distinct from worker claims. */
+  .redesign .rqcov{display:flex;flex-direction:column;margin-top:2px}
+  .redesign .rqcov-row{padding:11px 0;border-top:1px solid var(--hair)}
+  .redesign .rqcov-row:first-child{padding-top:0;border-top:0}
+  .redesign .rqcov-main{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:14px;align-items:baseline}
+  .redesign .rqcov-text{font-size:13.5px;line-height:1.55;color:var(--ink)}
+  .redesign .rqcov-state{font:600 10px/1.4 var(--mono);letter-spacing:.02em;color:var(--ink3);white-space:nowrap}
+  .redesign .rqcov-state.verified{color:var(--green)}
+  .redesign .rqcov-state.failed{color:var(--danger)}
+  .redesign .rqcov-detail{margin-top:5px;font-size:11.5px;line-height:1.55;color:var(--ink3)}
+  .redesign .rqcov-detail b{font-weight:600;color:var(--ink2)}
   /* A long ask folds with the SAME .lacc pulldown Activity/Conversation use — chevron on
      the peek line, body is the genuine rest (no duplicate, no trailing "…": Masa
      2026-07-29 flagged both the vertical anchor line and the "…" as unnecessary — the
@@ -3278,6 +3294,7 @@
     <div class="revactions">
       <button type="button" class="reqbtn approve" id="reviewApprove">Approve goal</button>
       <button type="button" class="reqbtn dismiss" id="reviewDismiss">Dismiss</button>
+      <button type="button" class="reqbtn dismiss" id="reviewArchive" style="display:none">Archive</button>
       <span style="flex:1"></span>
       <button class="mbtn ghost" id="reviewClose">Close</button>
     </div>
@@ -3686,6 +3703,18 @@ function retryCopy(projectId){
 
 function esc(s){ const d = document.createElement('div'); d.textContent = s ?? ''; return d.innerHTML; }
 
+// A PR closed on GitHub without merging is not a success — render it as
+// "Closed" (not the open/green treatment) instead of the usual "PR #N ↗".
+// `cls` is the base chip class (prbig/pr/ppr/sa-delivery); `.closed` is added
+// alongside it so each surface can style the muted state itself.
+function prChipHtml(pr, prClosed, cls){
+  if (!pr) return '';
+  const prNo = esc((pr.match(/pull\/(\d+)/) ?? [, ''])[1]);
+  return prClosed
+    ? `<a class="${cls} closed" href="${esc(pr)}" target="_blank">PR #${prNo} — Closed</a>`
+    : `<a class="${cls}" href="${esc(pr)}" target="_blank">PR #${prNo} ↗</a>`;
+}
+
 // Mirrors engine/lib.mjs dndDropsAfter()/reorderByDrop() — kept in sync
 // manually since the browser script isn't a module and can't import
 // server-side code.
@@ -3803,6 +3832,7 @@ function buildReviewDigest({ goals, tasks } = {}){
       reviewNumber: goalReviewNumber({ goal: g, tasks }),
       checkLine: plan ? `PLAN — approve to execute: ${checkLine}`.slice(0, 90) : checkLine,
       pr: g.pr ?? null,
+      prClosed: g.prClosed ?? false,
       testResult: g.testResult ?? null,
       verificationInfraError: g.verificationInfraError ?? null,
       proof: proofTask?.proof ?? null,
@@ -4808,7 +4838,7 @@ function renderTasks(){
     // the work went is logged inside the opened detail's "Also carries" section
     // (see saItemHtml's carriesBody) instead — the list row stays just the ask.
     return `<div class="task revrow" data-goal="${g.id}"><div class="ic pending"></div><div class="tx"><div class="name">${esc(checkLine)} ${goalSourceBadge(g.source)}</div>
-     <div class="cond">${g.pr ? `<a class="prbig" href="${esc(g.pr)}" target="_blank">PR #${esc((g.pr.match(/pull\/(\d+)/) ?? [,''])[1])} ↗</a>` : ''}</div>
+     <div class="cond">${prChipHtml(g.pr, g.prClosed, 'prbig')}</div>
      <div class="qreplyrow" data-qreplyrow="${g.id}"${state.qreplyOpen.has(g.id) ? '' : ' hidden'}><input type="text" data-qreplyinput="${g.id}" placeholder="直したい点を書いて送信（Todoに戻して再作業）"><button type="button" class="qreplysend" data-qreplysend="${g.id}" aria-label="Send">${ICONS.up}</button></div></div>
      <div class="revquick">
        <button type="button" class="qbtn ok" data-qapprove="${g.id}" title="Approve">${ICONS.check}</button>
@@ -5453,14 +5483,18 @@ function renderReviewChecklist(){
     ? `REVIEW ${rn ?? '–'} / ${rlist.length || 1}`
     : String(goal.status ?? '').toUpperCase();
   $('reviewCount').innerHTML = countLabel
-    + (goal.pr ? ` · <a class="prbig" href="${esc(goal.pr)}" target="_blank">PR #${esc((goal.pr.match(/pull\/(\d+)/) ?? [,''])[1])} ↗</a>` : '');
+    + (goal.pr ? ` · ${prChipHtml(goal.pr, goal.prClosed, 'prbig')}` : '');
   // task: a goal opened from Attention (failed/interrupted) isn't reviewable —
   // hide Approve/Dismiss goal entirely there (they read as nonsensical on a
   // retry item), leaving just the report + Close. Per-requirement Approve/Dismiss
   // are gated the same way in the card render below (canReview).
   const canReview = goal.status === 'review';
   $('reviewApprove').style.display = 'none'; // Feedback: drop the duplicate goal-level Approve — per-requirement Approve is enough
-  $('reviewDismiss').style.display = canReview ? '' : 'none';
+  // The PR was closed on GitHub without merging — this isn't a rework case (Dismiss
+  // sends it back for another attempt), it's already closed. Offer Archive instead
+  // so the person can park it themselves rather than being sent through rework.
+  $('reviewDismiss').style.display = canReview && !goal.prClosed ? '' : 'none';
+  $('reviewArchive').style.display = canReview && goal.prClosed ? '' : 'none';
   $('reviewApprove').disabled = !canReview;
   // A folded goal opens here read-only (Masa 2026-07-23, [Open] from "Also carries"): nothing
   // to approve, so don't show the approve-each-requirement intro — say honestly where its
@@ -5494,7 +5528,7 @@ function renderReviewChecklist(){
   const lang = reviewLangFor(state.active);
   // Action-framed so the first view IS "what you need to do" — read only this.
   const L = { check: 'What you need to do', changed: 'What was done' };
-  const prLink = goal.pr ? `<a class="prbig" href="${esc(goal.pr)}" target="_blank">PR #${esc((goal.pr.match(/pull\/(\d+)/) ?? [, ''])[1])} ↗</a>` : '';
+  const prLink = prChipHtml(goal.pr, goal.prClosed, 'prbig');
   // goal 427 §4: change-risk — classifyChangeRisk (engine/lib.mjs) already
   // decided this deterministically (no LLM) at goal-finish time; here we only
   // render it. High = "never auto-approve" (the goal was already forced to
@@ -5698,9 +5732,13 @@ function celebrateApprove(){
 }
 
 // A merged PR is the terminal Review moment. Show the result in the dialog the
-// person is looking at, then remove that completed review instead of leaving a
-// stale modal behind. The state update arrives in the same SSE event, so render()
-// after close also removes the card from the Review lane.
+// person is looking at, then drop just that completed review from the ledger —
+// the dialog itself stays open (task-939: closing it used to kick a person who
+// was mid-scroll through several review cards back out every time one PR
+// merged). saSync() rebuilds SA.items from live goal state (a 'done' goal drops
+// out of saLedgerRows on its own) and saRender()'s scroll-anchor logic keeps
+// whatever card the person was reading in view instead of jumping to the top.
+// Only close automatically once nothing is left to review.
 function finishOpenReview(goal){
   const ids = SA.items.flatMap((it) => it.ids || [it.goalId]);
   if (!SA.open || !ids.includes(goal.id)) { celebrateApprove(); return; }
@@ -5722,7 +5760,12 @@ function finishOpenReview(goal){
     celebrateApprove();
   }
   const delay = reduce ? 350 : 950;
-  setTimeout(() => { layer.remove(); saClose(); render(); }, delay);
+  setTimeout(() => {
+    layer.remove();
+    saSync(); // drops the now-done goal from SA.items and re-anchors the scroll in place
+    if (SA.open && saPending().length === 0 && !SA.items.some((it) => it.st === 3)) saClose();
+    render();
+  }, delay);
 }
 // PR-less review approval: use the same high-signal green completion mark as
 // the merged-PR path, but do not close or reflow the review surface. The canvas
@@ -6186,6 +6229,22 @@ async function sendReviewReject(){
   } catch { showErr('Dismiss failed.'); }
 }
 $('reviewDismiss').onclick = () => sendReviewReject();
+// The PR closed on GitHub without merging — Archive parks the goal (same /archive
+// endpoint as the Ledger's Archive) instead of Dismiss's rework flow, since there
+// is nothing left to rework once the PR itself is closed.
+async function sendReviewArchive(){
+  const goal = state.goals.find((g) => g.id === state.reviewOpenGoal);
+  if (!goal) return;
+  try {
+    const r = await fetch(withKey(`/api/goals/${goal.id}/archive`), { method: 'POST' });
+    if (!r.ok) throw new Error();
+    const body = await r.json();
+    upsert(state.goals, body.goal ?? body);
+    closeReviewChecklist();
+    render();
+  } catch { showErr('Archive failed.'); }
+}
+$('reviewArchive').onclick = () => sendReviewArchive();
 $('reviewFixSend').onclick = () => { const t = $('reviewFixInput').value.trim(); if (t || reviewAttach.length) sendReviewDismiss(t); };
 $('reviewFixInput').addEventListener('keydown', (e) => {
   if (e.key === 'Enter' && !e.isComposing) { const t = $('reviewFixInput').value.trim(); if (t || reviewAttach.length) sendReviewDismiss(t); }
@@ -9252,7 +9311,8 @@ function peraData(){
   });
 }
 function peraPrLink(r){
-  return r.pr ? `<a class="ppr" href="${esc(r.pr)}" target="_blank" onclick="event.stopPropagation()">PR #${esc((r.pr.match(/pull\/(\d+)/) ?? [, ''])[1])} ↗</a>` : '';
+  if (!r.pr) return '';
+  return prChipHtml(r.pr, r.prClosed, 'ppr').replace('<a ', '<a onclick="event.stopPropagation()" ');
 }
 function peraThumb(r, cls = ''){
   return r.proofImg && r.proofTaskId != null
@@ -9426,6 +9486,33 @@ function latestGoalRunForOutcome(goalId, tasks, outcome){
     note: prev.run?.note ? `${note} ${prev.run.note}` : note,
   };
 }
+function canonicalRequirementCoverage(goal, tasks){
+  const requirements = Array.isArray(goal?.requirements) ? goal.requirements.filter((r) => r?.id && r?.text) : [];
+  if (!requirements.length) {
+    return (tasks || []).filter((t) => t.goalId === goal?.id && (t.detail || t.title) && (!t.reply || !t.replyFrom || t.replyFrom === 'you'))
+      .sort((a, b) => (a.num ?? 0) - (b.num ?? 0))
+      .map((t) => ({ id: `legacy-task-${t.id}`, text: String((t.reply ? t.detail : t.title) ?? t.title ?? '').replace(/\s+/g, ' ').trim(), coverage: 'unverified', legacy: true }));
+  }
+  const attemptOrder = new Map((goal.attempts || []).map((attempt, index) => [attempt.id, index]));
+  const evidence = Array.isArray(goal.requirementEvidence) ? goal.requirementEvidence : [];
+  return requirements.map((requirement) => {
+    const rows = evidence.filter((row) => row?.requirementId === requirement.id)
+      .sort((a, b) => (attemptOrder.get(a.attemptId) ?? -1) - (attemptOrder.get(b.attemptId) ?? -1));
+    const latestAttemptId = rows.at(-1)?.attemptId;
+    const latestRows = latestAttemptId ? rows.filter((row) => row.attemptId === latestAttemptId) : [];
+    const statuses = latestRows.map((row) => row.coverage);
+    const coverage = statuses.includes('failed') ? 'failed'
+      : statuses.includes('verified') ? 'verified'
+      : statuses.length && statuses.every((status) => status === 'not-applicable') ? 'not-applicable'
+      : 'unverified';
+    const claims = [...new Set(latestRows.map((row) => row.claim).filter(Boolean))];
+    const workerEvidence = [...new Set(latestRows.map((row) => row.workerEvidence || row.evidence).filter(Boolean))];
+    const checks = latestRows.flatMap((row) => Array.isArray(row.checks) ? row.checks : [])
+      .filter((check) => Array.isArray(check.requirementIds) && check.requirementIds.includes(requirement.id));
+    const checkFacts = [...new Set(checks.map((check) => `${check.kind}: ${check.status}`))];
+    return { id: requirement.id, text: requirement.text, coverage, claims, workerEvidence, checkFacts, attemptId: latestAttemptId ?? null };
+  });
+}
 // One digest-row → one See-all card item. Extracted from saRows (2026-07-24) so a single
 // "Needs you" goal can be opened as the SAME review card (saLedgerRows solo mode) — the card's
 // whole shape (Request/Result/Proof/Activity, empty sections auto-hidden) is reused verbatim.
@@ -9475,15 +9562,13 @@ function saRowFromDigest(r, gs, ts){
       // simply omit it, so the UI remains backward compatible during rollout.
       attempt: g?.reviewAttempt ?? null,
       unmappedChangedFiles: outcome?.unmappedChangedFiles ?? [],
-      requirementVerification: outcome?.requirementVerification ?? null,
-      requirementCoverage: ts.filter((t) => t.goalId === g?.id && (t.detail || t.title)).sort((a, b) => (a.num ?? 0) - (b.num ?? 0)).map((t) => ({ text: String((t.reply ? t.detail : t.title) ?? t.title ?? '').replace(/\s+/g, ' ').trim(), taskStatus: t.status, evidenceStatus: t.requirementEvidence?.requirements?.[0]?.status ?? null })),
-      requirementEvidence: outcome?.requirementEvidence?.requirements ?? [],
-      requirementCoverage: ts.filter((t) => t.goalId === g?.id && (t.detail || t.title) && (!t.reply || !t.replyFrom || t.replyFrom === 'you')).sort((a, b) => (a.num ?? 0) - (b.num ?? 0)).map((t) => ({ text: String((t.reply ? t.detail : t.title) ?? t.title ?? '').replace(/\s+/g, ' ').trim(), status: t.status })),
+      requirementCoverage: canonicalRequirementCoverage(g, ts),
       did, siblings, risk: g?.risk ?? null,
       verificationInfraError: g?.verificationInfraError ?? r.verificationInfraError ?? null,
       prNote: g?.prNote ?? null,
       note: g?.retest?.passed ? g.retest.note : null,
       pr: r.pr,
+      prClosed: g?.prClosed ?? r.prClosed ?? false,
       // P0b (Masa 2026-07-21): the AI's own TodoWrite breakdown for the "Steps" section
       // below — the primary goal's own non-reply task, frozen at completion. Distinct
       // from `did` above (task.result prose) and from Activity (raw tool-call log).
@@ -9590,7 +9675,7 @@ function saSoloDigestRow(g, ts){
   const checkLine = (g.reviewSummary?.check || g.plan?.[0] || g.text || '').replace(/\s+/g, ' ').trim().slice(0, 66);
   return {
     goalIds: [g.id], reviewNumber: goalReviewNumber({ goal: g, tasks: ts }), checkLine,
-    pr: g.pr ?? null, testResult: g.testResult ?? null,
+    pr: g.pr ?? null, prClosed: g.prClosed ?? false, testResult: g.testResult ?? null,
     verificationInfraError: g.verificationInfraError ?? null,
     proof: proofTask?.proof ?? null, proofTaskId: proofTask?.id ?? null, plan: false, planText: null,
   };
@@ -10033,31 +10118,18 @@ function saItemHtml(it, i){
   const reqSec = reqStackRows
     ? `<section class="rsec rreq" data-reqmsgs="${gk}"><div class="rsec-h">Request</div><div class="rqlist">${reqStackRows}</div></section>`
     : '';
-  const reqVerify = it.requirementVerification;
-  const reqVerifyParts = [
-    reqVerify?.proof?.verified ? 'Independent proof recorded' : reqVerify?.proof ? 'Proof recorded' : '',
-    reqVerify?.run?.url ? `Open it: ${reqVerify.run.url}` : '',
-    Array.isArray(reqVerify?.changedFiles) && reqVerify.changedFiles.length ? `Files: ${reqVerify.changedFiles.join(' · ')}` : '',
-  ].filter(Boolean);
-  const reqVerifySec = reqVerifyParts.length ? `<section class="rsec"><div class="rsec-h">Requirement verification</div><p class="rbody v">${esc(reqVerifyParts.join(' · '))}</p></section>` : '';
   const coverage = (it.requirementCoverage || []).filter((r) => r.text);
-  // For one requirement copied from Request, its status is useful but the full
-  // sentence is not. Multiple or narrowed requirements retain their text.
-  const coverageIsSingleRequest = coverage.length === 1
-    && String(coverage[0].text).replace(/\s+/g, ' ').trim() === requestText;
   const coverageRows = coverage.map((r) => {
-    const status = r.evidenceStatus || r.taskStatus;
-    const tone = status === 'addressed' || status === 'done' ? 'ok' : status === 'partial' ? '' : 'dim';
-    return `<p class="rbody v"><b class="${tone}">${esc(status)}</b>${coverageIsSingleRequest ? '' : ` · ${esc(r.text)}`}</p>`;
-  }).join('');
-  const coverageSec = coverageRows ? `<section class="rsec"><div class="rsec-h">Requirement coverage</div>${coverageRows}</section>` : '';
-  // Worker-declared evidence is displayed verbatim as an auditable label, not
-  // promoted into a Manager verdict. Empty means the worker did not provide it.
-  const evidenceRows = (it.requirementEvidence || []).map((entry) => {
-    const tone = entry.status === 'addressed' ? 'ok' : entry.status === 'partial' ? '' : 'dim';
-    return `<p class="rbody v"><b class="${tone}">${esc(entry.status)}</b> · ${esc(entry.evidence || entry.id)}</p>`;
+    const labels = { verified: 'Verified', failed: 'Failed', 'not-applicable': 'Not applicable', unverified: 'Not verified' };
+    const details = [
+      r.legacy ? 'Legacy item — no canonical evidence was recorded' : '',
+      r.checkFacts?.length ? `Manager: ${r.checkFacts.join(' · ')}` : '',
+      r.claims?.length ? `Worker claim: ${r.claims.join(', ')}` : '',
+      r.workerEvidence?.length ? r.workerEvidence.join(' · ') : '',
+    ].filter(Boolean);
+    return `<div class="rqcov-row" data-requirement-id="${esc(r.id)}"><div class="rqcov-main"><div class="rqcov-text">${esc(r.text)}</div><span class="rqcov-state ${esc(r.coverage)}">${esc(labels[r.coverage] || labels.unverified)}</span></div>${details.length ? `<div class="rqcov-detail">${details.map((detail, index) => index === 0 ? esc(detail) : `<br>${esc(detail)}`).join('')}</div>` : ''}</div>`;
   }).join('');
-  const evidenceSec = evidenceRows ? `<section class="rsec"><div class="rsec-h">Requirement evidence</div>${evidenceRows}</section>` : '';
+  const coverageSec = coverageRows ? `<section class="rsec"><div class="rsec-h">Requirement coverage</div><div class="rqcov">${coverageRows}</div></section>` : '';
   // ── Open it (Masa 2026-07-22): a plain section in the card's own typography — the same
   // heading + body shape as Request and Result, not a chip in another vocabulary. The
   // address the worker declared IS the control (press it → the process starts on demand →
@@ -10296,9 +10368,8 @@ function saItemHtml(it, i){
     : attn
     ? `<span class="rst ${attnInt ? 'int' : 'err'}"><span class="rdot"></span>${attnLabel}</span>`
     : '<span class="rst"><span class="rdot"></span>In review</span>';
-  const prNumber = (it.pr?.match(/\/pull\/(\d+)/) ?? [, ''])[1];
   const delivery = it.pr
-    ? `<a class="sa-delivery" href="${esc(it.pr)}" target="_blank" rel="noopener">PR #${esc(prNumber)} ↗</a>`
+    ? prChipHtml(it.pr, it.prClosed, 'sa-delivery').replace('<a ', '<a rel="noopener" ')
     : '<span class="sa-delivery">No pull request</span>';
   return `<div class="sa-item lg redesign${it.goalId === SA.cur ? ' cur' : ''}${working ? ' working' : ''}" data-gid="${it.goalId}">
     <div class="rhead"><span class="rtag">${it.no != null ? `#${it.no}` : ''}</span>${rst}</div>
@@ -10308,8 +10379,6 @@ function saItemHtml(it, i){
     ${S('Open it', openBody + infraBody)}
     ${S('What to check', checkBody)}
     ${coverageSec}
-    ${evidenceSec}
-    ${reqVerifySec}
     ${S('Run state', interruptedBody)}
     ${S('PR', prRepairBody)}
     ${S('Also carries', carriesBody)}

package/app/review-merge-celebration-preview.html

@@ -3,19 +3,94 @@
 <head>
 <meta charset="utf-8">
 <meta name="viewport" content="width=device-width,initial-scale=1">
-<title>Review completion preview</title>
+<title>Review completion preview — dialog stays open</title>
 <style>
 *{box-sizing:border-box}body{margin:0;background:#f4f5f7;color:#202124;font:14px Inter,ui-sans-serif,system-ui,sans-serif;min-height:100vh;display:grid;place-items:center}
-.stage{width:min(900px,94vw);height:min(720px,88vh);position:relative}.dialog{position:absolute;inset:0;background:#fff;border:1px solid #d9dce2;border-radius:16px;box-shadow:0 24px 70px rgba(22,25,31,.18);overflow:hidden;transition:opacity .2s,transform .2s}.dialog.closed{opacity:0;transform:scale(.985);pointer-events:none}.head{height:58px;border-bottom:1px solid #e7e8eb;display:flex;align-items:center;padding:0 28px;font-weight:700}.content{padding:32px 40px}.label{font:11px ui-monospace,SFMono-Regular,monospace;color:#737780;letter-spacing:.08em;text-transform:uppercase}.title{font-size:24px;margin:9px 0 26px}.line{height:12px;border-radius:3px;background:#eceef1;margin:12px 0}.line.w1{width:82%}.line.w2{width:64%}.line.w3{width:73%}.actions{position:absolute;left:40px;right:40px;bottom:30px;border-top:1px solid #e7e8eb;padding-top:20px;display:flex;gap:10px}.btn{height:38px;border-radius:9px;border:1px solid #d9dce2;background:#fff;padding:0 16px}.btn.ok{background:#202124;color:#fff;border-color:#202124}.replay{position:fixed;right:24px;bottom:24px;height:40px;padding:0 18px;border:0;border-radius:9px;background:#202124;color:#fff;font-weight:650;cursor:pointer}.finish{position:absolute;inset:0;z-index:3;display:grid;place-items:center;overflow:hidden;border-radius:16px;background:rgba(245,247,250,.78);backdrop-filter:blur(3px);animation:fade .95s ease both}.mark{width:104px;height:104px;border-radius:50%;display:grid;place-items:center;background:#18c77a;box-shadow:0 18px 52px rgba(24,199,122,.34);animation:pop .72s cubic-bezier(.2,1.35,.35,1) both}.mark svg{width:56px;height:56px;fill:none;stroke:#fff;stroke-width:3.4;stroke-linecap:round;stroke-linejoin:round}.mark path{stroke-dasharray:70;stroke-dashoffset:70;animation:draw .42s ease .18s forwards}.piece{position:fixed;z-index:4;pointer-events:none;will-change:transform,opacity}@keyframes pop{0%{transform:scale(.45);opacity:0}62%{transform:scale(1.1);opacity:1}100%{transform:scale(1)}}@keyframes draw{to{stroke-dashoffset:0}}@keyframes fade{0%,72%{opacity:1}100%{opacity:0}}@media(prefers-reduced-motion:reduce){.finish,.mark,.mark path{animation:none}.finish{background:transparent}}
+.stage{width:min(900px,94vw);height:min(720px,88vh);position:relative}
+.dialog{position:absolute;inset:0;background:#fff;border:1px solid #d9dce2;border-radius:16px;box-shadow:0 24px 70px rgba(22,25,31,.18);overflow:hidden;transition:opacity .2s,transform .2s;display:flex;flex-direction:column}
+.dialog.closed{opacity:0;transform:scale(.985);pointer-events:none}
+.head{height:58px;border-bottom:1px solid #e7e8eb;display:flex;align-items:center;padding:0 28px;font-weight:700;flex:none}
+.head .c{margin-left:10px;font-weight:400;color:#737780;font-size:12px}
+.body{flex:1;overflow:auto;padding:18px 28px}
+.card{border:1px solid #e7e8eb;border-radius:12px;padding:20px 22px;margin-bottom:16px;position:relative;transition:opacity .25s,transform .25s}
+.card.gone{opacity:0;transform:scale(.97);pointer-events:none;height:0;margin:0;padding:0;border:0;overflow:hidden}
+.label{font:11px ui-monospace,SFMono-Regular,monospace;color:#737780;letter-spacing:.08em;text-transform:uppercase}
+.title{font-size:18px;margin:9px 0 16px}
+.line{height:11px;border-radius:3px;background:#eceef1;margin:10px 0}
+.line.w1{width:82%}.line.w2{width:64%}.line.w3{width:73%}
+.actions{margin-top:16px;display:flex;gap:10px}
+.btn{height:34px;border-radius:9px;border:1px solid #d9dce2;background:#fff;padding:0 14px;cursor:pointer}
+.btn.ok{background:#202124;color:#fff;border-color:#202124}
+.replay{position:fixed;right:24px;bottom:24px;height:40px;padding:0 18px;border:0;border-radius:9px;background:#202124;color:#fff;font-weight:650;cursor:pointer}
+.note{position:fixed;left:24px;bottom:24px;max-width:420px;font-size:12.5px;color:#4a4e57;background:#fff;border:1px solid #e7e8eb;border-radius:10px;padding:12px 14px}
+.finish{position:absolute;inset:0;z-index:3;display:grid;place-items:center;overflow:hidden;border-radius:16px;background:rgba(245,247,250,.78);backdrop-filter:blur(3px);animation:fade .95s ease both}
+.mark{width:88px;height:88px;border-radius:50%;display:grid;place-items:center;background:#18c77a;box-shadow:0 18px 52px rgba(24,199,122,.34);animation:pop .72s cubic-bezier(.2,1.35,.35,1) both}
+.mark svg{width:48px;height:48px;fill:none;stroke:#fff;stroke-width:3.4;stroke-linecap:round;stroke-linejoin:round}
+.mark path{stroke-dasharray:70;stroke-dashoffset:70;animation:draw .42s ease .18s forwards}
+.piece{position:fixed;z-index:4;pointer-events:none;will-change:transform,opacity}
+@keyframes pop{0%{transform:scale(.45);opacity:0}62%{transform:scale(1.1);opacity:1}100%{transform:scale(1)}}
+@keyframes draw{to{stroke-dashoffset:0}}
+@keyframes fade{0%,72%{opacity:1}100%{opacity:0}}
+@media(prefers-reduced-motion:reduce){.finish,.mark,.mark path{animation:none}.finish{background:transparent}}
 </style>
 </head>
 <body>
-<main class="stage"><section class="dialog" id="dialog"><div class="head">In review</div><div class="content"><div class="label">Request</div><h1 class="title">Improve the approval completion moment</h1><div class="label">What changed</div><div class="line w1"></div><div class="line w2"></div><div class="line w3"></div><div class="actions"><button class="btn ok">Approve</button><button class="btn">Dismiss</button></div></div></section></main>
-<button class="replay" id="replay">Replay</button>
+<main class="stage">
+  <section class="dialog" id="dialog">
+    <div class="head"><span>Review</span><span class="c" id="hdCount">3 ready</span></div>
+    <div class="body" id="body">
+      <div class="card" id="card-1" data-gid="1">
+        <div class="label">Request #1</div>
+        <h1 class="title">Fix the header spacing</h1>
+        <div class="line w1"></div><div class="line w2"></div><div class="line w3"></div>
+        <div class="actions"><button class="btn ok" data-merge="1">Merge PR</button><button class="btn">Dismiss</button></div>
+      </div>
+      <div class="card" id="card-2" data-gid="2">
+        <div class="label">Request #2</div>
+        <h1 class="title">Add empty-state illustration</h1>
+        <div class="line w1"></div><div class="line w2"></div><div class="line w3"></div>
+        <div class="actions"><button class="btn ok" data-merge="2">Merge PR</button><button class="btn">Dismiss</button></div>
+      </div>
+      <div class="card" id="card-3" data-gid="3">
+        <div class="label">Request #3</div>
+        <h1 class="title">Improve the approval completion moment</h1>
+        <div class="line w1"></div><div class="line w2"></div><div class="line w3"></div>
+        <div class="actions"><button class="btn ok" data-merge="3">Merge PR</button><button class="btn">Dismiss</button></div>
+      </div>
+    </div>
+  </section>
+</main>
+<button class="replay" id="replay">Reset all 3</button>
+<div class="note">task-939: merging one PR (click "Merge PR" on any card) plays the completion
+animation, then only that card is removed — the Review dialog stays open so you can keep
+reading the other cards, instead of the whole dialog closing on you.</div>
 <script>
 const colors=['#F24E1E','#FF7262','#A259FF','#1ABCFE','#0ACF83','#FFD166'];
 function burst(cx,cy){if(matchMedia('(prefers-reduced-motion: reduce)').matches)return;for(let i=0;i<42;i++){const p=document.createElement('i');p.className='piece';const s=6+Math.random()*6;p.style.cssText=`left:${cx}px;top:${cy}px;width:${s}px;height:${s}px;background:${colors[i%colors.length]};border-radius:${Math.random()<.5?'50%':'2px'};transition:transform .9s cubic-bezier(.15,.7,.3,1),opacity .9s ease .25s`;document.body.appendChild(p);const a=Math.random()*Math.PI*2,d=90+Math.random()*190,dx=Math.cos(a)*d,dy=Math.sin(a)*d*.6+90,rot=(Math.random()<.5?-1:1)*(360+Math.random()*360);requestAnimationFrame(()=>{p.style.transform=`translate(${dx}px,${dy}px) rotate(${rot}deg)`;p.style.opacity='0'});setTimeout(()=>p.remove(),1000)}}
-function play(){document.querySelectorAll('.finish,.piece').forEach(x=>x.remove());const d=document.getElementById('dialog');d.classList.remove('closed');const f=document.createElement('div');f.className='finish';f.innerHTML='<div class="mark"><svg viewBox="0 0 64 64"><path d="M17 33l10 10 21-23"/></svg></div>';document.querySelector('.stage').appendChild(f);const r=f.querySelector('.mark').getBoundingClientRect();burst(r.left+r.width/2,r.top+r.height/2);setTimeout(()=>{f.remove();d.classList.add('closed')},matchMedia('(prefers-reduced-motion: reduce)').matches?350:950)}
-document.getElementById('replay').onclick=play;setTimeout(play,350);
+function updateCount(){const left=document.querySelectorAll('.card:not(.gone)').length;document.getElementById('hdCount').textContent=left?`${left} ready`:'Nothing waiting for review';}
+function mergeCard(gid){
+  const card=document.getElementById('card-'+gid);
+  if(!card||card.classList.contains('gone'))return;
+  const r=card.getBoundingClientRect();
+  const f=document.createElement('div');f.className='finish';f.style.cssText=`position:fixed;left:${r.left}px;top:${r.top}px;width:${r.width}px;height:${r.height}px;border-radius:12px;`;
+  f.innerHTML='<div class="mark"><svg viewBox="0 0 64 64"><path d="M17 33l10 10 21-23"/></svg></div>';
+  document.body.appendChild(f);
+  const mr=f.querySelector('.mark').getBoundingClientRect();
+  burst(mr.left+mr.width/2,mr.top+mr.height/2);
+  const delay=matchMedia('(prefers-reduced-motion: reduce)').matches?350:950;
+  setTimeout(()=>{
+    f.remove();
+    card.classList.add('gone'); // drop just this card — the dialog itself never closes here
+    updateCount();
+  },delay);
+}
+document.getElementById('body').addEventListener('click',(e)=>{
+  const gid=e.target?.dataset?.merge; if(gid) mergeCard(gid);
+});
+document.getElementById('replay').onclick=()=>{
+  document.querySelectorAll('.finish,.piece').forEach(x=>x.remove());
+  document.querySelectorAll('.card').forEach(c=>c.classList.remove('gone'));
+  updateCount();
+};
 </script>
 </body></html>

package/engine/lib.mjs

@@ -2118,7 +2118,7 @@ export function buildReviewDigest({ goals, tasks } = {}) {
       pr: g.pr ?? null,
       testResult: g.testResult ?? null,
       verificationInfraError: g.verificationInfraError ?? null,
-      proof: goalTasks.find((t) => t.proof)?.proof ?? null,
+      proof: latestProofTask(goalTasks)?.proof ?? null,
       // Worker-declared partial/not-addressed requirements are not a failed
       // verdict. Count them so a human does not miss them in the compact list.
       incompleteRequirementCount: goalTasks.reduce((n, t) => n + (t.requirementEvidence?.requirements ?? []).filter((r) => ['partial', 'not-addressed'].includes(r.status)).length, 0),
@@ -2587,13 +2587,14 @@ export function isPrApproved({ reviewDecision } = {}) {
   return reviewDecision === 'APPROVED';
 }
 
-// A 'review' goal whose PR merged OR closed is done; every other goal status
-// (including an approved but still-open PR) passes through unchanged — this
-// never regresses a goal out of 'review' on its own.
-export function reviewToDoneStatus({ goalStatus, merged, closed }) {
-  // Merge and close both end the GitHub review lifecycle. Approval alone does
-  // not: an approved but still-open PR remains actionable in Review.
-  return goalStatus === 'review' && (merged || closed) ? 'done' : goalStatus;
+// A 'review' goal whose PR merged is done. A PR closed WITHOUT merging is not
+// a success — it stays in 'review' (the caller marks goal.prClosed so the UI
+// can show "Closed", skip the done celebration, and let the person archive it
+// themselves) rather than being auto-celebrated as if it had shipped.
+// Every other goal status (including an approved but still-open PR) passes
+// through unchanged — this never regresses a goal out of 'review' on its own.
+export function reviewToDoneStatus({ goalStatus, merged }) {
+  return goalStatus === 'review' && merged ? 'done' : goalStatus;
 }
 
 // Build the proof PR body (EN + JA, no emoji) and the PROOF.md committed to
@@ -3893,6 +3894,19 @@ export function buildGoalSummary({ goalText, tasks } = {}) {
   return lines.join('\n');
 }
 
+// The proof a reviewer is being asked to look at is the NEWEST one. A reply re-runs
+// the work and takes its own shot, so the goal accumulates several. This used to be
+// `tasks.find((t) => t.proof)`, which returns the OLDEST — the digest then carried
+// the first attempt's screenshot underneath the latest attempt's words, since the
+// outcome is picked by time (latestGoalOutcomeTask). Same fix as app/index.html's
+// latestProofTask, which this is mirrored by.
+export function latestProofTask(tasks = []) {
+  return (tasks ?? [])
+    .filter((t) => t?.proof)
+    .sort((a, b) => Date.parse(b.finishedAt || b.startedAt || b.createdAt || 0)
+      - Date.parse(a.finishedAt || a.startedAt || a.createdAt || 0))[0] ?? null;
+}
+
 // The Review card represents the goal's latest completed worker outcome. A reply is
 // a real worker run and may supersede an earlier skipped/failed requirement.
 export function latestGoalOutcomeTask(tasks = []) {

package/engine/server.mjs

@@ -1662,13 +1662,20 @@ async function syncGoalMerges() {
     try { data = JSON.parse(raw); } catch { return; }
     const merged = isPrMerged(data);
     const closed = isPrClosed(data);
-    const newStatus = reviewToDoneStatus({ goalStatus: g.status, merged, closed, approved: isPrApproved(data) });
-    if (newStatus !== g.status) {
-      g.status = newStatus; saveGoal(g);
+    const newStatus = reviewToDoneStatus({ goalStatus: g.status, merged });
+    let changed = false;
+    if (newStatus !== g.status) { g.status = newStatus; changed = true; }
+    // A closed-without-merge PR is not a success — no done celebration. It stays
+    // 'review' with prClosed set so the review dialog / PR links show "Closed"
+    // (not the open/green treatment) and the person can Archive it themselves
+    // instead of an automatic "down" done animation firing on their behalf.
+    if (closed && !merged && !g.prClosed) { g.prClosed = true; changed = true; }
+    if (changed) {
+      saveGoal(g);
       // §3/§7: a merged PR is truly terminal (no rework possible) — reclaim the
       // per-goal worktree so .manager-wt/goal-<id> doesn't leak forever. (Manual
       // Approve stays reworkable via revert, so we don't clean those up here.)
-      if (newStatus === 'done' && (merged || closed)) {
+      if (merged || closed) {
         const project = projects.find((p) => p.id === g.projectId);
         if (project) removeGoalWorkDir(g, project);
       }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@galda/cli",
-  "version": "0.10.103",
+  "version": "0.10.105",
   "type": "module",
   "description": "Galda - hand off work to Claude Code or Codex, get proof back. Runs on your existing subscription, no extra API cost.",
   "scripts": {