@xhulz/nina 0.53.2 → 0.54.0

package/src/commands/learn.mjs

@@ -38,8 +38,8 @@ import { deepLearn, transcriptsOf } from '../deep.mjs';
 import { autoExport } from './export.mjs';
 import { beforeModel } from '../detectors.mjs';
 
-/** Loop-backs from one role, since its newest lesson, that make a lesson overdue. */
-const CAPTURE_AT = 3;
+/** Times one stage's work was sent back, since its newest lesson, that make a lesson overdue. */
+export const CAPTURE_AT = 3;
 
 /**
  * How far back a loop-back still counts. Older ones are history nobody remembers well enough to
@@ -111,11 +111,16 @@ const SENT_BACK_HOURS = 24;
 
 /**
  * The stage each loop-back sent work back to: the next one dispatched in its session, after it reported, among
- * the stages the project's graph routes that verdict of that stage to — or the only one it routes it to.
+ * the stages the project's graph routes that verdict of that stage to — or the only one it routes it to. One the
+ * graph routes to several, none of which has taken it back yet, went to no stage that can be told: it is charged to
+ * none, where it was charged to the stage that gave it — a gate that rejected work, doing its job, read as a stage
+ * sent back, and asked every turn for a lesson that was not its own.
  *
  * @param {object[]} records - Recorded dispatches.
  * @param {Map<string, Map<string, Map<string, number>>>|null} loops - The graph's capped loop-back edges.
- * @returns {Map<object, string>} Loop-back record → the stage it sent work back to, where one can be told.
+ * @returns {Map<object, {to: string|null, fix: object|null}>} Loop-back record → the stage it sent work back to, null
+ *   while that cannot be told, and the dispatch of that stage that took the work back, where one was found. A
+ *   loop-back the graph does not route is not in it.
  */
 export function sentBackTo(records, loops) {
   const out = new Map();
@@ -133,11 +138,32 @@ export function sentBackTo(records, loops) {
     const within = (x) => Date.parse(x.ts) - Date.parse(back) <= SENT_BACK_HOURS * 3_600_000;
     const next = (bySession.get(r.session) ?? []).find((x) => String(x.ts) > back && within(x) && targets.has(x.role));
     const to = next?.role ?? (targets.size === 1 ? [...targets.keys()][0] : null);
-    if (to) out.set(r, to);
+    out.set(r, { to, fix: next ?? null });
   }
   return out;
 }
 
+/**
+ * The stage a loop-back is charged to: where it sent work back (`sentBackTo`), none while that cannot be told, and
+ * the stage that gave it only where the graph routes it nowhere.
+ *
+ * @param {ReturnType<typeof sentBackTo>} owners
+ * @param {object} r - A loop-back record.
+ * @returns {string|null}
+ */
+const chargedTo = (owners, r) => (owners.has(r) ? owners.get(r).to : r.role);
+
+/**
+ * How many rounds some loop-backs sent back: those one dispatch took back are one, since the checkers that run beside
+ * each other each reject the same work. One no dispatch took back counts on its own, since nothing then says which
+ * work it rejected.
+ *
+ * @param {ReturnType<typeof sentBackTo>} owners
+ * @param {object[]} loops - Loop-back records.
+ * @returns {number}
+ */
+const sendings = (owners, loops) => new Set(loops.map((r) => owners.get(r)?.fix ?? r)).size;
+
 /**
  * Roles that looped back often enough, since their newest lesson, that one is overdue.
  *
@@ -155,7 +181,7 @@ export function overdue(records, known, now = new Date(), days = CAPTURE_DAYS, o
   // A loop-back is the lesson of the stage it sent work back to, where that is known (`sentBackTo`): charged
   // to the stage that gave the verdict, the reviewer owed the implementer's lessons, and only a pill naming
   // every checker in its applies_to ever settled the count.
-  const ownerOf = (r) => owners.get(r) ?? r.role;
+  const ownerOf = (r) => chargedTo(owners, r);
   const roles = [...new Set(records.map(ownerOf).filter(Boolean))];
   const out = [];
   for (const role of roles) {
@@ -175,12 +201,17 @@ export function overdue(records, known, now = new Date(), days = CAPTURE_DAYS, o
     const at = floor === newest ? taught?.at ?? null : null;
     const after = (r) => day(r.ts) > floor || (at !== null && day(r.ts) === floor && String(r.ts) > at);
     const loops = records.filter((r) => ownerOf(r) === role && readable(r.verdict) && isLoopBack(r.verdict) && after(r));
-    if (loops.length >= CAPTURE_AT) {
+    // Rounds sent back, not loop-backs: three reviewers beside each other rejecting one change sent it back once.
+    const count = sendings(owners, loops);
+    if (count >= CAPTURE_AT) {
+      // One per round sent back, as the count is: three reviewers beside each other are one entry, not three.
+      const listed = new Set();
       const recent = loops
         .sort((a, b) => String(b.ts).localeCompare(String(a.ts)))
+        .filter((r) => !listed.has(owners.get(r)?.fix ?? r) && listed.add(owners.get(r)?.fix ?? r))
         .slice(0, 3)
         .map((r) => ({ ts: day(r.ts), desc: r.desc ?? '', session: String(r.session ?? '').slice(0, 8) }));
-      out.push({ role, count: loops.length, since: newest, recent });
+      out.push({ role, count, since: newest, recent });
     }
   }
   return out.sort((a, b) => b.count - a.count);
@@ -214,7 +245,7 @@ export function applied(records, known) {
 }
 
 /** How many days either side of a lesson's date its role is measured over: the same on both sides. */
-const VERIFY_DAYS = 14;
+export const VERIFY_DAYS = 14;
 
 /** A day as `YYYY-MM-DD`, moved by some days. */
 const shift = (date, days) => new Date(Date.parse(`${date}T12:00:00Z`) + days * 86_400_000).toISOString().slice(0, 10);
@@ -248,18 +279,27 @@ function wilson(k, n) {
  * graph sends work back to. A change is called only where the two intervals do not overlap. Not proof — the
  * work changes too — but a number where one can be had, and the reason where it cannot.
  *
+ * A round is counted sent back once, however many loop-backs sent it: the checkers that run beside each other
+ * each reject the same work, and one project's architect had 14 loop-backs on a day it ran 7 rounds, which the
+ * share read as 100% sent back where 5 of the 7 were. Loop-backs that the same dispatch took back are one.
+ *
  * @param {object[]} records - Recorded dispatches.
  * @param {Awaited<ReturnType<typeof lessons>>} known - The project's pills.
- * @param {{owners?: Map<object, string>, targets?: Set<string>|null}} [graph] - Who each loop-back sent work
- *   back to, and the stages the graph sends work back to at all.
+ * @param {{owners?: ReturnType<typeof sentBackTo>, targets?: Set<string>|null}} [graph] - Who each loop-back sent
+ *   work back to, and the stages the graph sends work back to at all.
  * @returns {{rel: string, date: string, role: string, comparable: boolean, why?: string, on?: string|null,
- *   was?: string, before?: {n: number, loops: number}, after?: {n: number, loops: number},
- *   change?: 'lower'|'higher'|'unclear', control?: {before: {n: number, loops: number}, after: {n: number, loops: number}}}[]}
+ *   was?: string, before?: Side, after?: Side, change?: 'lower'|'higher'|'unclear', control?: {before: Side, after: Side}}[]}
+ *   A `Side` is `{n, loops, span}`: the stage's rounds, how many were sent back, and the first and last day a round
+ *   of it was recorded on, since a project younger than the window has fewer days than fourteen to show.
  */
 export function verified(records, known, { owners = new Map(), targets = null } = {}) {
   const out = [];
-  const ownerOf = (r) => owners.get(r) ?? r.role;
+  const ownerOf = (r) => chargedTo(owners, r);
   const sentBack = records.filter((r) => readable(r.verdict) && isLoopBack(r.verdict));
+  const sideOf = (these, backs) => {
+    const days = these.map((r) => day(r.ts)).sort();
+    return { n: these.length, loops: Math.min(these.length, sendings(owners, backs)), span: [days[0] ?? null, days.at(-1) ?? null] };
+  };
   const ranOn = (r) => (r.usage_model ? `${r.usage_model}${r.effort ? ` · ${r.effort}` : ''}` : null);
   for (const lesson of known.filter((l) => l.date)) {
     const from = shift(lesson.date, -VERIFY_DAYS);
@@ -274,10 +314,7 @@ export function verified(records, known, { owners = new Map(), targets = null }
       }
       const rounds = records.filter((r) => r.role === role && readable(r.verdict));
       const backs = sentBack.filter((r) => ownerOf(r) === role);
-      const side = (pick, mine) => {
-        const n = mine.filter(pick).length;
-        return { n, loops: Math.min(n, backs.filter(pick).length) };
-      };
+      const side = (pick, mine) => sideOf(mine.filter(pick), backs.filter(pick));
       if (side(pre, rounds).n < VERIFY_MIN || side(post, rounds).n < VERIFY_MIN) {
         const [b, a] = [side(pre, rounds).n, side(post, rounds).n];
         out.push({ ...base, comparable: false, why: `too few rounds of ${role} either side (${b} before, ${a} after, in ${VERIFY_DAYS} days each)` });
@@ -299,10 +336,10 @@ export function verified(records, known, { owners = new Map(), targets = null }
       const [bLo, bHi] = wilson(before.loops, before.n);
       const [aLo, aHi] = wilson(after.loops, after.n);
       const change = aHi < bLo ? 'lower' : aLo > bHi ? 'higher' : 'unclear';
-      const others = [...(targets ?? new Set(sentBack.map(ownerOf)))].filter((x) => x !== role);
+      const others = [...(targets ?? new Set(sentBack.map(ownerOf)))].filter((x) => x && x !== role);
       const theirs = records.filter((r) => others.includes(r.role) && readable(r.verdict));
       const otherBacks = sentBack.filter((r) => others.includes(ownerOf(r)));
-      const control = (pick) => ({ n: theirs.filter(pick).length, loops: Math.min(theirs.filter(pick).length, otherBacks.filter(pick).length) });
+      const control = (pick) => sideOf(theirs.filter(pick), otherBacks.filter(pick));
       out.push({ ...base, comparable: true, on, before, after, change, control: { before: control(pre), after: control(post) } });
     }
   }
@@ -1047,7 +1084,7 @@ export async function learn(argv, ctx) {
     }
     for (const o of late) {
       console.log(
-        `  ${o.role}: ${o.count} loop-back(s) in the last ${days} days ` +
+        `  ${o.role}: sent back ${o.count} time(s) in the last ${days} days ` +
           (o.since ? `since its newest lesson (${o.since})` : 'and no lesson at all') +
           ' — the newest:',
       );
@@ -1109,10 +1146,10 @@ export async function learn(argv, ctx) {
       ? `  observe   ${learning.runs} run(s) in ${records.length} round(s) recorded, ${span}`
       : '  observe   ✗ nothing recorded — no transcripts found for this project, so no link below can be measured',
   );
-  if (late.length === 0) console.log(`  capture   ✓ no role has looped back ${CAPTURE_AT}+ times without a lesson in the last ${days} days`);
+  if (late.length === 0) console.log(`  capture   ✓ no role has been sent back ${CAPTURE_AT}+ times without a lesson in the last ${days} days`);
   late.forEach((o, i) => {
     console.log(
-      `  ${i === 0 ? 'capture ' : '        '}  ✗ ${o.role}: ${o.count} loop-back(s) ` +
+      `  ${i === 0 ? 'capture ' : '        '}  ✗ ${o.role}: sent back ${o.count} time(s) ` +
         (o.since ? `since its newest lesson (${o.since})` : 'and no lesson at all'),
     );
   });

package/src/commands/pills.mjs

@@ -12,6 +12,7 @@
 
 import { mkdir, readFile, readdir, rename } from 'node:fs/promises';
 import { HARNESS, readProfile } from '../paths.mjs';
+import { localDay } from '../store.mjs';
 import { existsSync, readFileSync, statSync } from 'node:fs';
 import { spawnSync } from 'node:child_process';
 import { dirname, join, resolve } from 'node:path';
@@ -124,7 +125,7 @@ export function list(value) {
  * @param {string} citation - `path` or `path:line`.
  * @returns {{state: 'ok'|'gone'|'truncated', path: string, line: number|null, lines?: number}}
  */
-function resolveCitation(target, citation) {
+export function resolveCitation(target, citation) {
   const at = /^(.*):(\d+)$/.exec(citation);
   const path = at ? at[1] : citation;
   const line = at ? Number(at[2]) : null;
@@ -350,7 +351,10 @@ export async function pillsData(target, ctx) {
     .filter((f) => f.endsWith('.md'))
     .map((f) => f.replace(/\.md$/, ''))
     .sort();
-  const today = new Date().toISOString().slice(0, 10);
+  // The day where this machine is, the one the capture detector counts loop-backs by and names its requests with: read
+  // in UTC, for an hour after midnight at UTC+1 a lesson dated today was refused as in the future, and the loop-backs
+  // it answered, dated today, went on being reported.
+  const today = localDay(new Date().toISOString());
   const files = existsSync(pillsDir) ? await pillFiles(pillsDir) : [];
 
   if (files.length === 0) return { files: 0, active: 0, retired: 0, problems: [], notes: [], pills: [] };

package/src/dashboard.html

@@ -61,7 +61,21 @@
   .stage { display: grid; grid-template-columns: 170px 1fr; gap: 4px 14px; padding: 12px 0; border-bottom: 1px solid #2a2838; }
   .empty { color: var(--faint); padding: 30px 0; text-align: center; }
   .note { margin: 4px 0; font-size: 13px; }
-  @media (max-width: 640px) { .stage { grid-template-columns: 1fr; } nav { margin-left: 0; } }
+  .answer { background: var(--panel); border: 1px solid var(--line); border-left: 4px solid var(--faint); border-radius: 6px; padding: 12px 16px; margin: 0 0 14px; }
+  .answer[data-tone="ok"] { border-left-color: var(--green); } .answer[data-tone="bad"] { border-left-color: var(--red); } .answer[data-tone="warn"] { border-left-color: var(--amber); }
+  .answer .q { color: var(--faint); font-size: 12px; }
+  .answer .head { font: 600 18px var(--sans); margin: 2px 0 4px; }
+  .answer p { margin: 2px 0; color: var(--soft); font-size: 13px; }
+  .cmp { background: var(--panel); border: 1px solid var(--line); border-radius: 6px; padding: 12px 14px; margin: 0 0 10px; }
+  .cmp .top { display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 12px; margin-bottom: 8px; }
+  .cmp .verdict { margin-left: auto; font: 600 13px var(--mono); }
+  .chip.wraps { white-space: normal; overflow-wrap: anywhere; }
+  .meter { display: grid; grid-template-columns: 48px minmax(60px, 1fr) 44px minmax(0, 230px); align-items: center; gap: 2px 10px; margin: 4px 0; font-size: 13px; }
+  .meter .pctv { text-align: right; }
+  @media (max-width: 640px) {
+    .stage { grid-template-columns: 1fr; } nav { margin-left: 0; }
+    .meter { grid-template-columns: 48px minmax(60px, 1fr) 44px; } .meter .detail { grid-column: 2 / -1; }
+  }
 </style>
 </head>
 <body>
@@ -210,34 +224,105 @@ const RENDER = {
 
   learning(d) {
     if (!d) return el('p', { class: 'empty' }, 'No profile here to read the learning cycle of.');
-    const measured = d.checks.filter((c) => c.before);
+    const name = (rel) => rel.replace(/^\.claude\/pills\//, '').replace(/^retired\//, '').replace(/\.md$/, '');
+    const graduated = (rel) => rel.startsWith('.claude/pills/retired/');
+    const dayOf = (iso) => new Date(`${iso}T12:00:00`).toLocaleDateString(undefined, { month: 'short', day: 'numeric' });
+    const daysIn = ([a, b]) => Math.round((Date.parse(`${b}T12:00:00Z`) - Date.parse(`${a}T12:00:00Z`)) / 86_400_000) + 1;
+    const lessonChip = (rel) => el('span', { class: 'chip wraps', title: rel }, name(rel), graduated(rel) ? el('span', { class: 'faint' }, ' · graduated') : null);
+    // Lessons written the same day for the same stage are read over the same rounds, so they are one comparison, not
+    // a row each repeating its numbers.
+    const groups = [];
+    for (const c of d.checks.filter((x) => x.before)) {
+      const same = groups.find((g) => g.role === c.role && g.date === c.date && g.on === c.on);
+      if (same) same.lessons.push(c.rel);
+      else groups.push({ ...c, lessons: [c.rel] });
+    }
+    const rank = { higher: 0, lower: 1, unclear: 2 };
+    groups.sort((a, b) => rank[a.change] - rank[b.change] || b.date.localeCompare(a.date) || a.role.localeCompare(b.role));
     const unmeasured = d.checks.filter((c) => !c.before);
+    const [less, more, unclear] = ['lower', 'higher', 'unclear'].map((k) => groups.filter((g) => g.change === k).length);
+    const lessonsRead = new Set(groups.flatMap((g) => g.lessons)).size;
+    const history = d.span ? daysIn(d.span) : 0;
+    const shortest = Math.min(...groups.flatMap((g) => [g.before, g.after]).map((side) => (side.span[0] ? daysIn(side.span) : 0)));
+    // The share is of work sent back, so up is worse. A move the rounds are too few to tell from chance still says
+    // which way it went: "could be chance" alone read, beside 33% → 67%, as if the larger number were the better one.
+    const share = (side) => (side.n ? Math.round((100 * side.loops) / side.n) : 0);
+    const verdict = (g) =>
+      g.change === 'lower' ? ['ok', '▼ better: sent back less']
+      : g.change === 'higher' ? ['bad', '▲ worse: sent back more']
+      : share(g.after) > share(g.before) ? ['faint', '▲ sent back more, but could be chance']
+      : share(g.after) < share(g.before) ? ['faint', '▼ sent back less, but could be chance']
+      : ['faint', '≈ no change'];
+
+    const answer = !groups.length
+      ? { tone: 'faint', head: 'Not measurable yet', body: unmeasured.length ? `None of the ${unmeasured.length} lesson-and-stage pairs has enough rounds of its stage on both sides of its date — the reasons are at the bottom.` : 'No lesson has been written yet.' }
+      : less && more
+        ? { tone: 'warn', head: 'Mixed', body: `${less} comparison(s) sent back less since their lessons, ${more} sent back more, ${unclear} with no clear change.` }
+        : more
+          ? { tone: 'bad', head: 'Sent back more since', body: `In ${more} of ${groups.length} comparison(s) the stage had more of its work sent back after its lessons than before; ${unclear ? `the other ${unclear} show no clear change` : 'none shows less'}.` }
+          : less
+            ? { tone: 'ok', head: 'Sent back less since', body: `In ${less} of ${groups.length} comparison(s) the stage had less of its work sent back after its lessons than before${unclear ? `; the other ${unclear} show no clear change` : ''}.` }
+            : { tone: 'faint', head: 'No clear change yet', body: `None of the ${groups.length} comparison(s) moved by more than chance moves a share at that many rounds.` };
+
+    const meter = (label, side) => el('div', { class: 'meter' },
+      el('span', { class: 'faint' }, label),
+      bar([[side.n ? side.loops / side.n : 0, 'var(--amber)']]),
+      el('span', { class: 'mono pctv' }, pct(side.loops, side.n)),
+      el('span', { class: 'faint detail' }, `${side.loops} of ${side.n} rounds · ${side.span[0] ? `${dayOf(side.span[0])}${side.span[1] !== side.span[0] ? ` – ${dayOf(side.span[1])}` : ''}` : 'no day'}`),
+    );
+    const comparison = (g) => el('div', { class: 'cmp' },
+      el('div', { class: 'top' },
+        el('span', { class: 'role' }, g.role),
+        el('span', { class: 'soft' }, `${g.lessons.length} lesson${g.lessons.length > 1 ? 's' : ''} written ${dayOf(g.date)}`),
+        g.on ? el('span', { class: 'faint mono' }, g.on) : null,
+        el('span', { class: `verdict ${verdict(g)[0]}` }, verdict(g)[1]),
+      ),
+      el('div', { class: 'faint', style: 'font-size:12px;margin:0 0 2px' }, `share of the ${g.role}'s rounds sent back to it · lower is better`),
+      meter('before', g.before),
+      meter('after', g.after),
+      el('div', { class: 'faint', style: 'margin:6px 0 8px' }, `for reference, the other stages over the same days: ${pct(g.control.before.loops, g.control.before.n)} → ${pct(g.control.after.loops, g.control.after.n)}`),
+      el('div', { class: 'chips' }, g.lessons.map(lessonChip)),
+    );
+    // What could not be measured, by its reason: the same reason, word for word, is one line.
+    const reasons = new Map();
+    for (const c of unmeasured) reasons.set(c.why, [...(reasons.get(c.why) ?? []), c.rel]);
+
     return el('div', {},
       el('h2', {}, 'Learning'),
       el('p', { class: 'sub' }, said('Whether the pipeline learns from its own runs, link by link, as `nina learn` reads it.')),
+      el('div', { class: 'answer', 'data-tone': answer.tone },
+        el('div', { class: 'q' }, 'Did the lessons help?'),
+        el('div', { class: 'head' }, answer.head),
+        el('p', {}, answer.body),
+        groups.length && history < 2 * d.window + 1
+          ? el('p', {}, `This project has ${history} day(s) of history, so a lesson is compared over fewer than the ${d.window} days either side the measure asks for: read it as an early sign.`)
+          : groups.length && shortest < d.window
+            ? el('p', {}, `The shortest comparison has rounds on ${shortest} day(s) of one side, of the ${d.window} the measure reads: read it as an early sign.`)
+            : null,
+      ),
       el('div', { class: 'cards' },
-        card('observe', d.rounds ? `${d.runs} runs` : '—', d.rounds ? `${d.rounds} rounds, ${d.span[0]} → ${d.span[1]}` : 'nothing recorded'),
-        card('capture', d.late.length ? `${d.late.length} owed` : '✓', d.late.length ? 'stages sent back with nothing written down' : `no stage sent back 3+ times without a lesson in ${d.days} days`),
-        card('apply', d.use.measured ? pct(d.use.read, d.use.measured) : '—', d.use.measured ? `of ${d.use.measured} runs read a lesson` : 'not measured yet'),
-        card('graduate', `${d.open.length} open`, `${d.ready.length} at 3+ · ${d.madeHere} made a rule here`),
+        card('observe · what ran', d.rounds ? `${d.runs} runs` : '—', d.rounds ? `${d.rounds} rounds, ${d.span[0]} → ${d.span[1]}` : 'nothing recorded'),
+        card('capture · written down?', d.late.length ? `${d.late.length} owed` : '✓', d.late.length ? 'stages sent back with nothing written down' : `no stage sent back ${d.at}+ times without a lesson in ${d.days} days`),
+        card('apply · read?', d.use.measured ? pct(d.use.read, d.use.measured) : '—', d.use.measured ? `of ${d.use.measured} runs read a lesson` : 'not measured yet'),
+        card('verify · helped?', !groups.length ? '—' : less && more ? 'mixed' : more ? '▲ more' : less ? '▼ less' : '≈ unclear', groups.length ? `${groups.length} comparison(s) of ${lessonsRead} lesson(s): ${less} sent back less, ${more} more` : 'nothing measurable yet'),
+        card('graduate · made rules?', `${d.open.length} open`, `${d.ready.length} at ${d.at}+ · ${d.madeHere} made a rule here${d.relapses.length ? ` · ${d.relapses.length} watched` : ''}`),
         card('loops', d.gated ? (d.activity ? String(d.activity.rounds) : '—') : 'no gate', d.activity ? `rounds on capped edges · ${d.activity.held} sent to you` : d.gated ? 'no ledger yet' : 'caps are instructions'),
       ),
-      d.late.length ? [el('h3', {}, 'capture · sent back with nothing written down'), d.late.map((o) => el('div', { class: 'note' }, el('span', { class: 'role' }, o.role), ` ${o.count} loop-back(s) ${o.since ? `since its newest lesson (${o.since})` : 'and no lesson at all'}`, el('ul', { class: 'list soft' }, o.recent.map((r) => el('li', {}, `${when(r.ts)} · ${r.desc ?? '(no description)'}`)))))] : null,
+      d.late.length ? [el('h3', {}, 'capture · sent back with nothing written down'), d.late.map((o) => el('div', { class: 'note' }, el('span', { class: 'role' }, o.role), ` sent back ${o.count} time(s) ${o.since ? `since its newest lesson (${o.since})` : 'and no lesson at all'}`, el('ul', { class: 'list soft' }, o.recent.map((r) => el('li', {}, `${when(r.ts)} · ${r.desc ?? '(no description)'}`)))))] : null,
+      el('h3', {}, 'verify · is each stage sent back less since its lessons?'),
+      el('p', { class: 'note soft', style: 'margin-bottom:12px' }, `For each lesson, the share of its stage's rounds that a later stage sent back, in the ${d.window} days before it was written and the ${d.window} after — lower is better. A change is called only when it is larger than chance moves a share at that many rounds. The other stages, over the same days, say whether everything moved at once: then it was the work that changed, not the lesson.`),
+      groups.length ? groups.map(comparison) : el('p', { class: 'note faint' }, 'No lesson could be measured yet.'),
       d.owed.length ? [el('h3', {}, 'to graduate · here or in the harness'), d.owed.map((o) => el('p', { class: 'note' }, el('span', { class: 'mono' }, o.rel), o.declined ? el('span', { class: 'soft' }, ` — declined by the harness${o.declined.in ? ` in ${o.declined.in}` : ''}: ${o.declined.why}`) : el('span', { class: 'soft' }, ` — recurred ${o.occurrences} times`)))] : null,
       d.open.length ? [el('h3', {}, 'requests open in the harness'), table(['since', 'pill', 'proposed for'], d.open.map((r) => [el('span', { class: 'mono soft' }, r.date), el('span', { class: 'mono' }, r.pill), r.target]))] : null,
-      d.relapses.length ? [el('h3', {}, 'came back after graduating'), d.relapses.map((r) => el('p', { class: `note ${r.due ? 'bad' : 'soft'}` }, `${r.due ? '✗' : '·'} ${r.rel} came back ${r.recurred} time(s) after ${r.target === 'project' ? `it became a rule here in ${r.rule_in}` : `its rule shipped in ${r.answered_in || 'a release'}`}${r.due ? ' — the rule did not hold' : ' — watched'}`))] : null,
-      el('h3', {}, 'verify · is each lesson sent back less since?'),
-      measured.length
-        ? table(['lesson', 'stage', 'before → after', 'n', 'change', 'other stages'], measured.map((c) => [
-            el('span', { class: 'mono' }, c.rel.replace(/^\.claude\/pills\//, '')),
-            el('span', { class: 'role' }, c.role),
-            `${pct(c.before.loops, c.before.n)} → ${pct(c.after.loops, c.after.n)}`,
-            `${c.before.n} → ${c.after.n}`,
-            el('span', { class: c.change === 'lower' ? 'ok' : c.change === 'higher' ? 'bad' : 'faint' }, { lower: 'sent back less', higher: 'sent back more', unclear: 'no clear change' }[c.change]),
-            el('span', { class: 'soft' }, `${pct(c.control.before.loops, c.control.before.n)} → ${pct(c.control.after.loops, c.control.after.n)}`),
-          ]), [3])
-        : el('p', { class: 'note faint' }, 'No lesson could be measured yet.'),
-      unmeasured.length ? el('p', { class: 'note faint' }, `${unmeasured.length} more could not be measured.`) : null,
+      d.relapses.length ? [el('h3', {}, 'graduated, then seen again'),
+        d.relapses.map((r) => el('p', { class: 'note' },
+          el('span', { class: r.due ? 'bad' : 'faint' }, r.due ? '✗ ' : '· '),
+          el('span', { class: 'mono', title: r.rel }, name(r.rel)),
+          el('span', { class: 'soft' }, ` — seen ${r.recurred} time(s) since its rule ${r.target === 'project' ? `was made here in ${r.rule_in}` : `shipped in ${r.answered_in || 'a release'}`}`),
+          r.due ? el('span', { class: 'bad' }, ': the rule did not hold') : el('span', { class: 'faint' }, `; watched, it reopens at ${d.at}`)))] : null,
+      unmeasured.length ? el('details', { style: 'margin-top:24px' },
+        el('summary', { class: 'soft', style: 'cursor:pointer' }, `${unmeasured.length} lesson-and-stage pair(s) could not be measured, and why`),
+        [...reasons].map(([why, rels]) => el('div', { class: 'note', style: 'margin:10px 0' }, el('div', { class: 'soft' }, why), el('div', { class: 'chips', style: 'margin-top:4px' }, rels.map(lessonChip))))) : null,
     );
   },
 

package/src/dashboard.mjs

@@ -21,7 +21,7 @@ import { layerRootFor } from './commands/compose.mjs';
 import { taskList } from './commands/runs.mjs';
 import { pipelineData } from './commands/pipeline.mjs';
 import { pillsData } from './commands/pills.mjs';
-import { learningData } from './commands/learn.mjs';
+import { CAPTURE_AT, VERIFY_DAYS, learningData } from './commands/learn.mjs';
 import { statsData } from './commands/stats.mjs';
 
 /** The page: one self-contained file, nothing fetched from anywhere else. */
@@ -72,6 +72,10 @@ export function dashboardTabs(target, ctx) {
       const d = await learningData(target, layers.dir, profile, { records: roundsOf(target) });
       return {
         days: d.days,
+        // How many times makes an event: a stage sent back, a lesson recurring, a rule that came back. And the days
+        // either side of a lesson that verify reads, which a project younger than them cannot fill.
+        at: CAPTURE_AT,
+        window: VERIFY_DAYS,
         runs: d.runs,
         rounds: d.rounds,
         span: d.span,