Dashboard: scope donut + total + count to the active filter

aggregateRows() recomputes a client-side aggregate over the filtered rows;
the donut, legend, center %, Team-total footer (relabeled 'Total (shown)'),
and the header count now reflect the current team/intern selection. Works in
both Files and Time units; unchanged when no filter is active.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

app.py

@@ -620,6 +620,27 @@ function rowBar(c, total) {
   return `<div class="bar-track">${segs}</div>`;
 }
 
+// Client-side aggregate over a set of grouped annotator rows — mirrors the
+// server's _aggregate so the donut/legend/total can reflect the current filter.
+// Equals the server "aggregate" when given the whole (unfiltered) list.
+function aggregateRows(rows) {
+  const counts = {}, durations = {};
+  STATUS.forEach(k => { counts[k] = 0; durations[k] = 0; });
+  let total = 0, durationTotal = 0, durationKnown = 0;
+  rows.forEach(r => {
+    const c = r.counts || {}, d = r.durations || {};
+    STATUS.forEach(k => { counts[k] += c[k] || 0; durations[k] += d[k] || 0; });
+    total += r.total || 0;
+    durationTotal += r.durationTotal || 0;
+    durationKnown += r.durationKnown || 0;
+  });
+  const doneN = counts.delete + counts.correct + counts.edited;
+  return {
+    counts, durations, total, durationTotal, durationKnown,
+    done: doneN, percent: total ? Math.round(100 * doneN / total) : 0,
+  };
+}
+
 function renderCharts(reports, agg) {
   const el = document.getElementById("charts");
   if (!reports.length) { el.innerHTML = ""; return; }
@@ -642,12 +663,10 @@ async function refresh() {
     return;
   }
   const reports = sortReports(data.annotators || []);
-  const agg = data.aggregate || { total: 0, counts: {}, percent: 0 };
-  document.getElementById("count").textContent = reports.length;
-
-  renderCharts(reports, agg);
 
   if (!reports.length) {
+    renderCharts([], null);
+    document.getElementById("count").textContent = 0;
     document.getElementById("table-wrap").innerHTML =
       '<div class="empty">No reports yet. Annotators appear here after clicking “Share Progress”.</div>';
     return;
@@ -660,12 +679,19 @@ async function refresh() {
   const podium = sortDir === "desc" && PODIUM_KEYS.has(sortKey);
   const MEDALS = ["gold", "silver", "bronze"];
 
-  // Filters apply to the table rows only (charts + team total stay whole-team).
+  // Apply the team/intern filters, then scope the donut, the Team-total row, and
+  // the header count to that selection (whole team when no filter is active).
   let tableReports = reports;
   if (internFilter === "only") tableReports = tableReports.filter(r => r.intern);
   else if (internFilter === "exclude") tableReports = tableReports.filter(r => !r.intern);
   if (teamFilter === "__unassigned__") tableReports = tableReports.filter(r => !TEAMS.has(r.team));
   else if (teamFilter) tableReports = tableReports.filter(r => r.team === teamFilter);
+  const isFiltered = internFilter !== "" || teamFilter !== "";
+
+  const viewAgg = aggregateRows(tableReports);
+  document.getElementById("count").textContent = tableReports.length;
+  renderCharts(tableReports, viewAgg);
+
   if (!tableReports.length) {
     document.getElementById("table-wrap").innerHTML =
       '<div class="empty">No annotators match the current filter.</div>';
@@ -710,14 +736,14 @@ async function refresh() {
     </tr>`;
   }).join("");
 
-  const ac = metric(agg);
-  const at = metricTotal(agg);
-  const ant = noTime(agg);
+  const ac = metric(viewAgg);
+  const at = metricTotal(viewAgg);
+  const ant = noTime(viewAgg);
   const AF = (v) => ant ? "—" : fmt(v);
-  const ap = pct(ac, at);   // unit-correct team completion (= agg.percent in files mode)
+  const ap = pct(ac, at);   // unit-correct completion for the shown set
   const foot = `<tr>
       <td class="rank"></td>
-      <td>Team total</td>
+      <td>${isFiltered ? "Total (shown)" : "Team total"}</td>
       <td></td>
       <td></td>
       <td class="num">${AF(at)}</td>