@galda/cli 0.10.104 → 0.10.105

package/app/index.html

@@ -2235,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
@@ -9473,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.
@@ -9522,10 +9562,7 @@ 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,
@@ -10081,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 →
@@ -10355,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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@galda/cli",
-  "version": "0.10.104",
+  "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": {