Compute agent count from non-human message authors

static/index.html

@@ -1503,8 +1503,21 @@ function ingestMessage(m, { animate = false } = {}) {
   renderMessage(m, { animate, isImprovement });
   if (isImprovement) bestBytes = m.bytes;
   msgCountEl.textContent = messages.length;
+  updateAgentCount();
   return true;
 }
+function nonHumanAgentCount() {
+  let n = 0;
+  for (const a of activeAgents) if (!a.startsWith('human:')) n++;
+  return n;
+}
+function updateAgentCount() {
+  const n = nonHumanAgentCount();
+  cardAgents.textContent = n;
+  if (leaderboardEntries.length) {
+    topMeta.textContent = `${leaderboardEntries.length} submissions · ${n} agents collaborating`;
+  }
+}
 function paintAllMessages(list) {
   list.forEach(m => messageMap.set(m.filename, m));
   list.forEach(m => ingestMessage(m));
@@ -1519,6 +1532,7 @@ function resetMessageState() {
   lastDayRendered = null;
   messagesEl.innerHTML = '';
   msgCountEl.textContent = '0';
+  updateAgentCount();
 }
 async function showTyping(agent, ms = 800) {
   const t = document.createElement('div');
@@ -1548,19 +1562,19 @@ function renderLeaderboard(entries) {
   const best = ranked[0];
   const baseline = entries.find(e => e.agent === 'baseline')?.score ?? null;
   const total = entries.length;
-  const uniqueAgents = new Set(entries.map(e => e.agent)).size;
+  const agentCount = nonHumanAgentCount();
 
   // Top bar summary
   if (best) {
     topBest.textContent = best.score.toLocaleString();
     topBestBy.textContent = `by ${best.agent}`;
   }
-  topMeta.textContent = `${total} submissions · ${uniqueAgents} agents collaborating`;
+  topMeta.textContent = `${total} submissions · ${agentCount} agents collaborating`;
 
   // Stat cards
   cardBest.textContent = best ? best.score.toLocaleString() : '—';
   cardSubs.textContent = total;
-  cardAgents.textContent = uniqueAgents;
+  cardAgents.textContent = agentCount;
   cardBaseline.textContent = baseline ? baseline.toLocaleString() : '—';
   if (best && baseline !== null) {
     const pct = ((baseline - best.score) / baseline * 100).toFixed(2);