prreviewbuddy 0.31.0 → 0.34.0

package/dist/server.js

@@ -1,4 +1,4 @@
-import { $ as fillFileUrlTemplate, $t as writeAgentPreference, A as removeWorktree, At as workspaceRevision, Bt as isQuestionOutstanding, C as recordTelemetryUploadConsent, Ct as previousKissResult, D as ReviewBeingDeletedError, Dt as saveWorkspace, E as EXPLAIN_SIMPLY_PROMPT, F as clearServerRecord, Ft as queueStamp, G as DEFAULT_WORKSPACE_PORT, Gt as describeAuthorship, H as BUILD_VERSION, Ht as questionsOutstanding, It as readQueue, J as parseWorkspacePort, Jt as git, K as MAX_WORKSPACE_PORT, L as readServerRecord, Lt as writeQueue, M as relativeTime$1, Mt as dequeueOnComplete, N as readIndexToken, Nt as queueAdd, O as MANAGED_ROOT, Pt as queueRemove, Qt as readAgentPreference, Rt as doneVerb, S as record, T as withUsageRecorded, Tt as reviewedCommit, Ut as reviewerDispositions, V as writeServerRecord, Vt as issuesOutstanding, W as feedbackUrl, Wt as processDiscussion, X as statedWorkspacePort, Xt as resolveModel, Y as resolveWorkspacePort, Z as writePortPreference, Zt as clearAgentPreference, _ as startKissJob, _t as latestKissRun, a as wasBlocked, an as agentFor, at as isTerminal, bt as loadWorkspace, c as updateReview, cn as AgentUnavailableError, d as askCheckout, dt as purposeOf, et as checkCodeFreshness, f as UpdateAlreadyRunningError, gt as indexReviewGroups, h as agentEnvOf, i as liveJobsFor, it as fail, jt as workspaceStamps, k as readMarker, kt as touchWorkspace, l as refreshPrContext, lt as phasesFor, mt as followedRefName, n as deleteReview, nn as AGENT_IDS, nt as allJobs, o as discardJob, ot as loadJob, p as liveUpdateFor, pt as isClaimed, q as MIN_WORKSPACE_PORT, r as lineageIds, rt as endedAt, s as RefreshUnavailableError, sn as AgentCancelledError, st as saveJob, t as deleteLineage, tn as STORE_ROOT, tt as checkReview, u as isUnchanged, ut as progressSteps, w as telemetryUploadConsent, wt as recentWorkspaces, x as readEvents, y as runJob, yt as lineagePosition, zt as isIssueOutstanding } from "./delete_review-C2wax0ED.js";
+import { $ as feedbackUrl, $t as reviewerDispositions, A as markRead, At as loadWorkspace, Bt as workspaceRevision, C as recordTelemetryUploadConsent, Ct as isClaimed, D as headline, Dt as latestKissRun, E as eventName, Et as indexReviewGroups, F as EXPLAIN_SIMPLY_PROMPT, Ft as reviewedCommit, Gt as queueStamp, H as readIndexToken, Ht as dequeueOnComplete, I as ReviewBeingDeletedError, Jt as doneVerb, K as readServerRecord, Kt as readQueue, L as MANAGED_ROOT, Lt as saveWorkspace, M as readNotification, N as unreadCount$1, Nt as previousKissResult, O as listNotifications, P as withUsageRecorded, Pt as recentWorkspaces, Qt as questionsOutstanding, R as readMarker, S as record, T as announceJob, Ut as queueAdd, V as relativeTime$1, Vt as workspaceStamps, W as clearServerRecord, Wt as queueRemove, X as writeServerRecord, Xt as isQuestionOutstanding, Yt as isIssueOutstanding, Z as BUILD_VERSION, Zt as issuesOutstanding, _ as startKissJob, _n as AgentCancelledError, a as wasBlocked, at as statedWorkspacePort, bt as purposeOf, c as updateReview, cn as readAgentPreference, ct as fillFileUrlTemplate, d as askCheckout, dn as STORE_ROOT, dt as allJobs, en as processDiscussion, et as DEFAULT_WORKSPACE_PORT, f as UpdateAlreadyRunningError, fn as AGENT_IDS, ft as endedAt, gt as saveJob, h as agentEnvOf, hn as agentFor, ht as loadJob, i as liveJobsFor, in as git, it as resolveWorkspacePort, j as pruneNotifications, k as markAllRead, kt as lineagePosition, l as refreshPrContext, ln as writeAgentPreference, lt as checkCodeFreshness, mt as isTerminal, n as deleteReview, nt as MIN_WORKSPACE_PORT, o as discardJob, on as resolveModel, ot as writePortPreference, p as liveUpdateFor, pt as fail, qt as writeQueue, r as lineageIds, rt as parseWorkspacePort, s as RefreshUnavailableError, sn as clearAgentPreference, t as deleteLineage, tn as describeAuthorship, tt as MAX_WORKSPACE_PORT, u as isUnchanged, ut as checkReview, vn as AgentUnavailableError, vt as phasesFor, w as telemetryUploadConsent, wt as followedRefName, x as readEvents, y as runJob, yt as progressSteps, z as removeWorktree, zt as touchWorkspace } from "./delete_review-TNIFNct3.js";
 import { isAbsolute, join, relative, resolve } from "node:path";
 import { existsSync, mkdirSync, readFileSync, readdirSync, statSync, writeFileSync } from "node:fs";
 import { createHash, timingSafeEqual } from "node:crypto";
@@ -250,6 +250,7 @@ var PATHS = {
 	prcontext: "<path d=\"M21 15a2 2 0 0 1-2 2H7l-4 4V5a2 2 0 0 1 2-2h14a2 2 0 0 1 2 2z\"/>",
 	recommendations: "<path d=\"M9 18h6M10 22h4\"/><path d=\"M12 2a7 7 0 0 0-4 12.7c.6.5 1 1.2 1 2V17h6v-.3c0-.8.4-1.5 1-2A7 7 0 0 0 12 2z\"/>",
 	reviews: "<path d=\"M8 6h13M8 12h13M8 18h13M3 6h.01M3 12h.01M3 18h.01\"/>",
+	notifications: "<path d=\"M18 8a6 6 0 0 0-12 0c0 7-3 9-3 9h18s-3-2-3-9\"/><path d=\"M13.7 21a2 2 0 0 1-3.4 0\"/>",
 	settings: "<circle cx=\"12\" cy=\"12\" r=\"3\"/><path d=\"M19.4 15a1.7 1.7 0 0 0 .3 1.8l.1.1a2 2 0 1 1-2.8 2.8l-.1-.1a1.7 1.7 0 0 0-1.8-.3 1.7 1.7 0 0 0-1 1.5V21a2 2 0 1 1-4 0v-.1a1.7 1.7 0 0 0-1.1-1.5 1.7 1.7 0 0 0-1.8.3l-.1.1a2 2 0 1 1-2.8-2.8l.1-.1a1.7 1.7 0 0 0 .3-1.8 1.7 1.7 0 0 0-1.5-1H3a2 2 0 1 1 0-4h.1a1.7 1.7 0 0 0 1.5-1.1 1.7 1.7 0 0 0-.3-1.8l-.1-.1a2 2 0 1 1 2.8-2.8l.1.1a1.7 1.7 0 0 0 1.8.3H9a1.7 1.7 0 0 0 1-1.5V3a2 2 0 1 1 4 0v.1a1.7 1.7 0 0 0 1 1.5 1.7 1.7 0 0 0 1.8-.3l.1-.1a2 2 0 1 1 2.8 2.8l-.1.1a1.7 1.7 0 0 0-.3 1.8V9a1.7 1.7 0 0 0 1.5 1H21a2 2 0 1 1 0 4h-.1a1.7 1.7 0 0 0-1.5 1z\"/>",
 	feedback: "<path d=\"m22 2-7 20-4-9-9-4z\"/><path d=\"M22 2 11 13\"/>",
 	stop: "<path d=\"M12 2v10\"/><path d=\"M18.4 6.6a9 9 0 1 1-12.8 0\"/>"
@@ -267,6 +268,122 @@ function railIcon(icon) {
 function iconSvg(icon) {
 	return `<svg viewBox="0 0 24 24" focusable="false" aria-hidden="true" fill="none" stroke="currentColor" stroke-width="1.75" stroke-linecap="round" stroke-linejoin="round">${PATHS[icon]}</svg>`;
 }
+/**
+* Which new notifications become toasts, and how many are left over.
+*
+* Never more than `MAX_TOASTS` toasts from one poll, the overflow toast included: past the cap, the
+* last slot says how many more there are rather than one of them being dropped without a word.
+*/
+function splitForToasts(fresh) {
+	if (fresh.length <= 3) return {
+		shown: [...fresh],
+		more: 0
+	};
+	const shown = fresh.slice(0, 2);
+	return {
+		shown,
+		more: fresh.length - shown.length
+	};
+}
+function unreadLabel(unread) {
+	return unread === 0 ? "Nothing unread" : `${unread} unread`;
+}
+//#endregion
+//#region ../../packages/review-harness/src/workspace/workspace_nav.ts
+/**
+* The workspace's own places, and the one model every page draws them from.
+*
+* A review page adds its review-level groups above these; every other workspace page draws these
+* alone. There is no second list: the rail, the narrow header and the review page's rail foot all
+* read `WORKSPACE_PLACES`, so a place added here appears everywhere and a place renamed here is
+* renamed everywhere.
+*/
+var WORKSPACE_PLACES = [
+	{
+		place: "reviews",
+		href: "/",
+		icon: "reviews",
+		label: "Reviews"
+	},
+	{
+		place: "notifications",
+		href: "/notifications",
+		icon: "notifications",
+		label: "Notifications"
+	},
+	{
+		place: "settings",
+		href: "/settings",
+		icon: "settings",
+		label: "Settings"
+	}
+];
+/**
+* The count beside Notifications. Always rendered, hidden at zero, so the page can reveal it when
+* `/revision` or Mark all read reports a new number. See `client/unread_counts.ts`.
+*/
+function unreadCount(unread, style) {
+	const className = style === "rail" ? "prb-rail-count prb-rail-unread" : "prb-unread-badge";
+	const text = unread === 0 ? "" : style === "rail" ? unreadLabel(unread) : String(unread);
+	return `<span class="${className}" data-unread-count data-unread-style="${style}"${unread === 0 ? " hidden" : ""}>${text}</span>`;
+}
+/** The workspace rows, for a rail group. */
+function renderWorkspaceNav(options) {
+	return WORKSPACE_PLACES.map((item) => `<a class="prb-rail-item prb-rail-link" href="${item.href}"${item.place === options.current ? " aria-current=\"true\"" : ""}>
+      ${railIcon(item.icon)}
+      <span class="prb-rail-label"><span class="prb-rail-title">${escapeHtml$1(item.label)}</span></span>
+      ${item.place === "notifications" ? unreadCount(options.unread, "rail") : ""}
+    </a>`).join("");
+}
+/**
+* Stop server. Operational rather than navigation, and it ends every open review, so it sits apart
+* from the places at the foot of the rail. Pair it with `renderShutdownDialog` on the same page.
+*/
+function renderStopServer() {
+	return `<button type="button" class="prb-rail-item prb-rail-link prb-rail-danger" data-shutdown>
+    ${railIcon("stop")}
+    <span class="prb-rail-label"><span class="prb-rail-title">Stop server</span></span>
+  </button>`;
+}
+function renderShutdownDialog() {
+	return `<dialog class="prb-dialog" data-shutdown-dialog aria-labelledby="prb-shutdown-title">
+  <h2 id="prb-shutdown-title">Stop the workspace server?</h2>
+  <p>One server serves every review on this machine, so <b>every open workspace stops</b>, not just this one.</p>
+  <p class="prb-dialog-reassure">Nothing is deleted. Your reviews stay on disk for thirty days, and their links keep working. Run <code>${escapeHtml$1(wayBackSentence())}</code> to start the server again.</p>
+  <div class="prb-dialog-actions">
+    <button type="button" data-shutdown-cancel>Cancel</button>
+    <button type="button" class="prb-dialog-danger" data-shutdown-confirm>Stop server</button>
+  </div>
+</dialog>`;
+}
+/**
+* The feedback form, in a new tab. What it carries is decided in `version.ts`: version, client, OS,
+* and deliberately not the repository or its path.
+*/
+function renderSendFeedback() {
+	return `<a class="prb-rail-item prb-rail-link" href="${escapeHtml$1(feedbackUrl())}" target="_blank" rel="noopener noreferrer">
+    ${railIcon("feedback")}
+    <span class="prb-rail-label"><span class="prb-rail-title">Send feedback</span></span>
+  </a>`;
+}
+/**
+* The whole rail of a workspace page that is not a review: the places at the top, then Send
+* feedback and Stop server at the foot, in the order a review page's rail ends with them.
+*/
+function renderWorkspaceRail(options) {
+	return `<nav class="prb-rail" aria-label="Workspace">
+  <div class="prb-rail-group">${renderWorkspaceNav(options)}</div>
+  <div class="prb-rail-group prb-rail-foot">${renderSendFeedback()}</div>
+  <div class="prb-rail-group prb-rail-ops">${renderStopServer()}</div>
+</nav>`;
+}
+/**
+* The rail's links in the header, shown only while the rail is hidden by a narrow window. Without it
+* a narrow window would have no way to Notifications, Settings or the feedback form at all.
+*/
+function renderHeaderNav(options) {
+	return `<nav class="prb-header-nav" aria-label="Workspace">${WORKSPACE_PLACES.map((item) => `<a class="prb-feedback${item.place === "notifications" ? " prb-notifications-link" : ""}" href="${item.href}"${item.place === options.current ? " aria-current=\"true\"" : ""}>${escapeHtml$1(item.label)}${item.place === "notifications" ? unreadCount(options.unread, "badge") : ""}</a>`).join("")}<a class="prb-feedback" href="${escapeHtml$1(feedbackUrl())}" target="_blank" rel="noopener noreferrer">Send feedback</a></nav>`;
+}
 //#endregion
 //#region ../../packages/review-harness/src/domain/utils/file_path.ts
 /**
@@ -1282,13 +1399,13 @@ function discussionDetails(session) {
 	if (reviewThreads > 0) {
 		const outdated = stats.outdatedThreads ?? 0;
 		const state = stats.unresolvedThreads > 0 ? `${stats.unresolvedThreads} unresolved${outdated > 0 ? `, ${outdated} on outdated lines` : ""}` : "all resolved";
-		parts.push(`${reviewThreads} ${plural(reviewThreads, "review thread")} (${state})`);
+		parts.push(`${reviewThreads} ${plural$1(reviewThreads, "review thread")} (${state})`);
 	}
-	if (conversation > 0) parts.push(`${conversation} ${plural(conversation, "conversation comment")}`);
-	if (decisions > 0) parts.push(`${decisions} ${plural(decisions, "review decision")}`);
+	if (conversation > 0) parts.push(`${conversation} ${plural$1(conversation, "conversation comment")}`);
+	if (decisions > 0) parts.push(`${decisions} ${plural$1(decisions, "review decision")}`);
 	return parts;
 }
-function plural(count, word) {
+function plural$1(count, word) {
 	return count === 1 ? word : `${word}s`;
 }
 function renderExistingDiscussion(ref) {
@@ -1337,6 +1454,17 @@ function deriveSectionStatuses(sections, completed) {
 	const active = nextRecommendedSection(sections, completed);
 	return new Map(sections.map((s) => [s.id, completed.has(s.id) ? "completed" : s.id === active?.id ? "active" : "pending"]));
 }
+/**
+* Roughly how long one theme takes, for the rail.
+*
+* The same weight ranges the theme card quotes, reduced to a single number because a rail row has
+* room for one. The 1-minute floor exists for the same reason the whole-review estimate has a
+* 5-minute one: "~0 min" reads as "skip this".
+*/
+function themeMinutes(section) {
+	const [min, max] = estimateMinutesForWeight(section.reviewWeight);
+	return Math.max(1, Math.round((min + max) / 2));
+}
 function remainingMinutes(sections, completed) {
 	const outstanding = sections.filter((s) => !completed.has(s.id));
 	if (outstanding.length === 0) return 0;
@@ -1383,6 +1511,29 @@ function renderGuideProgressSummary(sections, completed) {
     </div>
   `;
 }
+/**
+* The theme's header: a disclosure button where it can fold something away, a heading where it
+* cannot.
+*
+* The two differ only in the element and the arrow. Splitting them is what keeps a host that
+* shows one theme at a time from shipping a button whose only reachable outcome is an empty pane,
+* without either host describing a theme differently from the other.
+*/
+function renderSectionHeader(section, badges, statParts, collapsible) {
+	const inside = `
+        <div class="pr-helper-guide-section-badges">
+          ${badges}
+          <span class="pr-helper-guide-badge pr-helper-attention-badge pr-helper-attention-${section.reviewAttention}">${escapeHtml$1(SECTION_ATTENTION_LABELS[section.reviewAttention])}</span>
+        </div>
+        <div class="pr-helper-guide-section-header-top">
+          ${collapsible ? "<span class=\"pr-helper-guide-disclosure\">▼</span>" : ""}
+          <span class="pr-helper-guide-section-title">${escapeHtml$1(section.title)}</span>
+        </div>
+        <div class="pr-helper-guide-meta-row" title="Review weight ${section.reviewWeight}/5">${escapeHtml$1(statParts.join(" · "))}</div>`;
+	return collapsible ? `<button type="button" class="pr-helper-guide-section-header" data-guide-toggle="${escapeHtml$1(section.id)}">${inside}
+      </button>` : `<div class="pr-helper-guide-section-header pr-helper-guide-section-header-static">${inside}
+      </div>`;
+}
 function renderGuideSectionCard(section, counts, activeGuidedSectionId, status, activeBadgeLabel, options) {
 	const files = section.files.map((f) => {
 		const focus = f.focus ? `<div class="pr-helper-guide-file-focus">${renderInlineText(f.focus)}</div>` : "";
@@ -1398,31 +1549,21 @@ function renderGuideSectionCard(section, counts, activeGuidedSectionId, status,
 	statParts.push(`~${minMinutes}-${maxMinutes} min`);
 	const isActive = activeGuidedSectionId === section.id;
 	const isCompleted = status === "completed";
+	const collapsible = options?.collapsible !== false;
 	const check = isCompleted ? `<span class="pr-helper-guide-check" aria-hidden="true">✓</span>` : "";
 	const statusBadge = isCompleted ? `<span class="pr-helper-guide-badge pr-helper-completed-badge">Completed</span>` : status === "active" ? `<span class="pr-helper-guide-badge pr-helper-start-here-badge">${escapeHtml$1(activeBadgeLabel)}</span>` : "";
 	const undo = isCompleted ? `<button type="button" class="pr-helper-guide-uncomplete" data-guide-uncomplete="${escapeHtml$1(section.id)}">Mark as not reviewed</button>` : "";
 	return `
     <section class="pr-helper-guide-section${isCompleted ? " pr-helper-guide-section-completed" : ""}${options?.collapsedSections ? " pr-helper-guide-section-collapsed" : ""}" id="pr-helper-guide-section-${escapeHtml$1(section.id)}" data-guide-section-card="${escapeHtml$1(section.id)}">
-      <button type="button" class="pr-helper-guide-section-header" data-guide-toggle="${escapeHtml$1(section.id)}">
-        <div class="pr-helper-guide-section-badges">
-          ${check}
-          ${statusBadge}
-          <span class="pr-helper-guide-badge pr-helper-attention-badge pr-helper-attention-${section.reviewAttention}">${escapeHtml$1(SECTION_ATTENTION_LABELS[section.reviewAttention])}</span>
-        </div>
-        <div class="pr-helper-guide-section-header-top">
-          <span class="pr-helper-guide-disclosure">▼</span>
-          <span class="pr-helper-guide-section-title">${escapeHtml$1(section.title)}</span>
-        </div>
-        <div class="pr-helper-guide-meta-row" title="Review weight ${section.reviewWeight}/5">${escapeHtml$1(statParts.join(" · "))}</div>
-      </button>
+      ${renderSectionHeader(section, `${check}${statusBadge}`, statParts, collapsible)}
       <div class="pr-helper-guide-section-body">
         <p class="pr-helper-guide-summary">${renderInlineText(section.oneLineSummary)}</p>
         ${section.purpose ? `<p class="pr-helper-guide-purpose">${renderInlineText(section.purpose)}</p>` : ""}
-        <h5>Files</h5>
-        <ul class="pr-helper-guide-files">${files}</ul>
         ${section.whyReview ? `<h5>Why review this</h5><p class="pr-helper-guide-why">${renderInlineText(section.whyReview)}</p>` : ""}
         <h5>Review checklist</h5>
         <ul class="pr-helper-guide-checklist">${checklist}</ul>
+        <h5>Files</h5>
+        <ul class="pr-helper-guide-files">${files}</ul>
         <div class="pr-helper-guide-section-actions">
           <button type="button" class="pr-helper-guide-start-cta" data-guide-start="${escapeHtml$1(section.id)}">
             ${isActive ? "Resume guided review →" : isCompleted ? "Review again →" : "Start guided review →"}
@@ -1898,6 +2039,90 @@ function renderQuestionsTab(session, investigatingId, options) {
     `).join("")}${ungrouped.map(card).join("")}${closed}`;
 }
 //#endregion
+//#region ../../packages/review-harness/src/workspace/guide_view.ts
+/**
+* The workspace's Guide: one theme at a time.
+*
+* The extension renders the Guide as a stack of collapsible cards because a 460px drawer beside a
+* diff has no room for anything else. The workspace has an 860px pane and a rail that already
+* lists every theme as a selectable row, so stacking them here bought a long scroll and nothing
+* else: reading the second theme meant scrolling past the whole of the first.
+*
+* So this is a composition, not a second Guide. The theme body is still
+* `renderGuideSectionCard`, and the extension's `renderGuideTab` is untouched. What changes is
+* which themes are on screen and what sits around them.
+*
+* Every theme is rendered and all but one carries `hidden`, the same way `.prb-view` works on this
+* page: switching a theme is then a class change rather than a request, and the reviewer's place
+* in a long checklist survives it.
+*/
+/**
+* What the workspace asks of a theme card: a diagram button, never a folded card, and no control
+* to fold it. Collapsing made sense when a theme was one of several stacked in a column and
+* folding it brought the next into view. Here it would leave a title over an empty pane.
+*/
+var CARD_OPTIONS = {
+	diagrams: true,
+	collapsible: false
+};
+/** What the shared renderer is asked for when this view has nothing of its own to draw. */
+var DELEGATED_OPTIONS = {
+	diagrams: true,
+	collapsedSections: true
+};
+function renderWorkspaceGuide(session, followUpInFlight = null) {
+	const outcome = outcomeOf(session);
+	if (!session || outcome.kind !== "empty" && outcome.kind !== "findings") return renderGuideTab(session, null, followUpInFlight, DELEGATED_OPTIONS);
+	const result = outcome.review;
+	const sections = result.sections;
+	if (sections.length === 0) return renderGuideTab(session, null, followUpInFlight, DELEGATED_OPTIONS);
+	const completed = new Set(session.completedSectionIds ?? []);
+	const statuses = deriveSectionStatuses(sections, completed);
+	const activeBadgeLabel = [...statuses.values()].includes("completed") ? "Continue" : "Start here";
+	const selected = nextRecommendedSection(sections, completed) ?? sections[0];
+	const details = sections.map((section) => {
+		const card = renderGuideSectionCard(section, {
+			issues: result.issues.filter((issue) => issue.sectionId === section.id).length,
+			questions: result.questions.filter((question) => question.sectionId === section.id).length
+		}, null, statuses.get(section.id) ?? "pending", activeBadgeLabel, CARD_OPTIONS);
+		const hidden = section.id === selected.id ? "" : " hidden";
+		return `<div class="prb-guide-detail" data-guide-detail="${escapeHtml$1(section.id)}"${hidden}>${card}</div>`;
+	}).join("");
+	return `
+    <div class="pr-helper-guide prb-guide">
+      ${renderGuideProgress(sections, completed)}
+      ${renderThemePicker(sections, selected.id)}
+      <div class="prb-guide-details">${details}</div>
+      <div class="prb-guide-foot">${renderSuggestedAreas(session, followUpInFlight)}</div>
+    </div>
+  `;
+}
+/**
+* One line, because the rail carries the rest.
+*
+* The shared Guide opens with a suggested-path box listing every theme in order. Here the rail is
+* that list, and repeating it above the theme would be the same sentence twice. What the rail does
+* not carry is time, so that is what this adds to the count.
+*/
+function renderGuideProgress(sections, completed) {
+	const total = sections.length;
+	const done = sections.filter((section) => completed.has(section.id)).length;
+	const left = remainingMinutes(sections, completed);
+	const time = left > 0 ? ` &middot; ~${left} min` : "";
+	return `<p class="prb-guide-progress">${done > 0 ? `${done} of ${total} theme${total === 1 ? "" : "s"} completed` : `${total} theme${total === 1 ? "" : "s"}`}${time}</p>`;
+}
+/**
+* The same theme list the rail draws, for the width where the rail is not drawn.
+*
+* Below 860px the rail is hidden, and a Guide whose only theme navigation lives there would have
+* none at all. This is not a second navigation model: it is the same sections, reusing
+* `data-goto-section` so the existing handler drives it, and CSS shows it only where the rail is
+* absent. The workspace places in the narrow header follow exactly this pattern.
+*/
+function renderThemePicker(sections, selectedId) {
+	return `<div class="prb-guide-picker">${sections.map((section, index) => `<button type="button" class="prb-guide-pick" data-goto-section="${escapeHtml$1(section.id)}" data-theme-index="${index}" data-recommended-start="${section.recommendedStartingPoint}" aria-current="${section.id === selectedId}"><span class="prb-guide-pick-order">${index + 1}</span>${escapeHtml$1(section.title)}</button>`).join("")}</div>`;
+}
+//#endregion
 //#region ../../packages/review-harness/src/workspace/doc_head.ts
 /**
 * The title row a document pane opens with, and the provenance disclosure at the right of it.
@@ -3396,7 +3621,7 @@ function renderWorkspace(view) {
 <link rel="stylesheet" href="/assets/sidebar.css">
 <link rel="stylesheet" href="/assets/shell.css">
 </head>
-<body data-api-base="${escapeHtml$1(view.apiBase)}"${view.token ? ` data-token="${escapeHtml$1(view.token)}"` : ""}${view.editor ? ` data-editor-label="${escapeHtml$1(view.editor.label)}" data-editor-template="${escapeHtml$1(view.editor.template)}"` : ""}${view.repoPath ? ` data-repo-path="${escapeHtml$1(view.repoPath)}"` : ""}${view.revision === void 0 ? "" : ` data-workspace-revision="${escapeHtml$1(String(view.revision))}"`} data-session-id="${escapeHtml$1(view.session.id)}" data-explain-prompt="${escapeHtml$1(EXPLAIN_SIMPLY_PROMPT)}" data-way-back="${escapeHtml$1(wayBackSentence())}" data-default-view="${session.result ? "overview" : showsProgress(view) ? "progress" : "kiss"}">
+<body data-api-base="${escapeHtml$1(view.apiBase)}"${view.token ? ` data-token="${escapeHtml$1(view.token)}" data-notifications-since="${Date.now()}"` : ""}${view.editor ? ` data-editor-label="${escapeHtml$1(view.editor.label)}" data-editor-template="${escapeHtml$1(view.editor.template)}"` : ""}${view.repoPath ? ` data-repo-path="${escapeHtml$1(view.repoPath)}"` : ""}${view.revision === void 0 ? "" : ` data-workspace-revision="${escapeHtml$1(String(view.revision))}"`} data-session-id="${escapeHtml$1(view.session.id)}" data-explain-prompt="${escapeHtml$1(EXPLAIN_SIMPLY_PROMPT)}" data-way-back="${escapeHtml$1(wayBackSentence())}" data-default-view="${session.result ? "overview" : showsProgress(view) ? "progress" : "kiss"}">
 ${renderHeader(view, freshness)}
 ${showsProgress(view) ? "" : renderJobState(view.job ?? null)}
 <div class="prb-fresh-region" data-fresh-region${freshness ? ` data-report="${escapeHtml$1(JSON.stringify(freshness))}"` : ""}${view.availability ? ` data-availability="${escapeHtml$1(JSON.stringify(view.availability))}"` : ""}${view.dismissedFreshnessSha ? ` data-dismissed-sha="${escapeHtml$1(view.dismissedFreshnessSha)}"` : ""}>${renderFreshness(freshness ?? null, {
@@ -3534,10 +3759,7 @@ function renderStandardViews(view, sections) {
 		diagrams: true,
 		detailsInHeader: true
 	})}</section>
-      <section class="prb-view" data-view="guide" hidden>${renderGuideTab(session, null, null, {
-		diagrams: true,
-		collapsedSections: true
-	})}</section>
+      <section class="prb-view" data-view="guide" hidden>${renderWorkspaceGuide(session)}</section>
       <section class="prb-view" data-view="diagram" hidden data-diagram-pane${view.pendingDiagram ? ` data-diagram-running="${escapeHtml$1(view.pendingDiagram.sectionId ?? "")}"` : ""}>
         <h3 class="prb-doc-title">Diagrams</h3>
         ${renderDiagrams(view.diagrams ?? [], sections, view.reviewedSha ?? null)}
@@ -3782,24 +4004,11 @@ function renderIdMenu(id, canDelete) {
 */
 function renderRailFoot(view) {
 	return `<div class="prb-rail-group prb-rail-foot">
-    ${view.token ? `<a class="prb-rail-item prb-rail-link" href="/">
-             ${railIcon("reviews")}
-             <span class="prb-rail-label"><span class="prb-rail-title">All reviews</span></span>
-           </a>
-     <a class="prb-rail-item prb-rail-link" href="/settings">
-       ${railIcon("settings")}
-       <span class="prb-rail-label"><span class="prb-rail-title">Settings</span></span>
-     </a>` : ""}
-    <a class="prb-rail-item prb-rail-link" href="${escapeHtml$1(feedbackUrl())}" target="_blank" rel="noopener noreferrer">
-      ${railIcon("feedback")}
-      <span class="prb-rail-label"><span class="prb-rail-title">Send feedback</span></span>
-    </a>
+    ${view.token ? renderWorkspaceNav({ unread: view.unreadNotifications ?? 0 }) : ""}
+    ${renderSendFeedback()}
   </div>
   <div class="prb-rail-group prb-rail-ops">
-    ${view.token ? `<button type="button" class="prb-rail-item prb-rail-link prb-rail-danger" data-shutdown>
-             ${railIcon("stop")}
-             <span class="prb-rail-label"><span class="prb-rail-title">Stop server</span></span>
-           </button>` : ""}
+    ${view.token ? renderStopServer() : ""}
     <p class="prb-build">v${escapeHtml$1(BUILD_VERSION)}</p>
   </div>`;
 }
@@ -3834,14 +4043,14 @@ function renderRail(view, sections) {
 	const dispositions = reviewerDispositions(view.session);
 	const themes = [...sections].sort((a, b) => a.order - b.order).map((section, index) => {
 		const sectionIssues = issuesOutstanding(issues.filter((issue) => issue.sectionId === section.id), dispositions);
-		const note = section.recommendedStartingPoint ? "<span class=\"prb-rail-start\">Start here</span>" : `<span class="prb-rail-note">${section.files.length} file${section.files.length === 1 ? "" : "s"}</span>`;
+		const detail = [`~${themeMinutes(section)} min`, themeFindingsNote(sectionIssues)].filter(Boolean).join(" &middot; ");
+		const note = `<span class="prb-rail-meta">${section.recommendedStartingPoint ? "<span class=\"prb-rail-start\">Start here</span>" : ""}<span class="prb-rail-note">${detail}</span></span>`;
 		return `<button type="button" class="prb-rail-item" data-goto-section="${escapeHtml$1(section.id)}" data-theme-index="${index}" data-recommended-start="${section.recommendedStartingPoint}">
         <span class="prb-rail-order">${index + 1}</span>
         <span class="prb-rail-label">
           <span class="prb-rail-title">${escapeHtml$1(section.title)}</span>
           ${note}
         </span>
-        ${renderBadge(themeBadge(sectionIssues))}
         <span class="prb-attention" data-attention="${escapeHtml$1(section.reviewAttention)}" title="Needs ${escapeHtml$1(section.reviewAttention)} attention"></span>
       </button>`;
 	}).join("");
@@ -3854,10 +4063,10 @@ function renderRail(view, sections) {
 		current: true,
 		badge: null,
 		collapses: "the review",
-		body: `<div class="prb-rail-row">
-      <p class="prb-rail-heading">Review path</p>
-      <button type="button" class="prb-rail-twisty" data-rail-toggle="the review path" aria-expanded="true" aria-controls="prb-rail-path" aria-label="Collapse the review path">${TWISTY}</button>
-    </div>
+		body: `<button type="button" class="prb-rail-subhead" data-rail-toggle="the review path" aria-expanded="true" aria-controls="prb-rail-path" aria-label="Collapse the review path">
+      <span class="prb-rail-heading">Review path</span>
+      <span class="prb-rail-twisty" aria-hidden="true">${TWISTY}</span>
+    </button>
     <div class="prb-rail-path" id="prb-rail-path">
       ${themes || "<p class=\"prb-rail-heading\">No themes</p>"}
     </div>
@@ -3986,24 +4195,27 @@ function totalBadge(count, noun) {
 * A zero total keeps its `0`: "we looked and found none" is a different fact from "you have dealt
 * with all of them", and a tick would claim the second on a review that earned the first.
 */
+/** "1 issue", "2 issues". Shared so a row's words and its badge cannot drift apart. */
+function plural(n, noun) {
+	return `${n} ${noun}${n === 1 ? "" : "s"}`;
+}
 function remainingBadge(counts, noun, verb) {
-	const plural = (n) => `${n} ${noun}${n === 1 ? "" : "s"}`;
 	if (counts.total === 0) return {
 		text: "0",
 		label: `No ${noun}s`
 	};
 	if (counts.open === 0) return {
 		text: "✓",
-		label: `All ${plural(counts.total)} ${verb}`,
+		label: `All ${plural(counts.total, noun)} ${verb}`,
 		done: true
 	};
 	if (counts.done === 0) return {
 		text: String(counts.open),
-		label: plural(counts.total)
+		label: plural(counts.total, noun)
 	};
 	return {
 		text: String(counts.open),
-		label: `${counts.open} of ${plural(counts.total)} left, ${counts.done} ${verb}`
+		label: `${counts.open} of ${plural(counts.total, noun)} left, ${counts.done} ${verb}`
 	};
 }
 /**
@@ -4016,10 +4228,20 @@ function remainingBadge(counts, noun, verb) {
 function findingsBadge(counts) {
 	return remainingBadge(counts, "issue", doneVerb(counts));
 }
-/** A theme's badge. Silent when the theme never had a finding, so most themes stay uncluttered. */
-function themeBadge(counts) {
+/**
+* What a theme's row says about its findings, in words rather than as a bare numeral.
+*
+* This was a badge: the digit "1" at the end of the row, beside an equally unlabelled attention
+* dot, with the sentence that explained it reaching only a screen reader through `aria-label`. Two
+* unlabelled marks on one row is worse than one, and the reader looking at it got strictly less
+* than the reader hearing it. So the count joins the note already on the row, which already reads
+* in words. Silent when the theme never had a finding, so most rows stay bare.
+*/
+function themeFindingsNote(counts) {
 	if (counts.total === 0) return null;
-	return findingsBadge(counts);
+	if (counts.open === 0) return `all ${plural(counts.total, "issue")} ${doneVerb(counts)}`;
+	if (counts.done === 0) return plural(counts.open, "issue");
+	return `${counts.open} of ${plural(counts.total, "issue")} left`;
 }
 /**
 * `aria-label` rather than `title`: the same sentence, without a native tooltip sitting on top of
@@ -4258,17 +4480,6 @@ function renderPromptDialog() {
 * could fire after the server had already stopped and reset the label to an offer that no longer
 * meant anything. A dialog has no timer to race, and it has room to say what is about to happen.
 */
-function renderShutdownDialog() {
-	return `<dialog class="prb-dialog" data-shutdown-dialog aria-labelledby="prb-shutdown-title">
-  <h2 id="prb-shutdown-title">Stop the workspace server?</h2>
-  <p>One server serves every review on this machine, so <b>every open workspace stops</b>, not just this one.</p>
-  <p class="prb-dialog-reassure">Nothing is deleted. Your reviews stay on disk for thirty days, and their links keep working. Run <code>${escapeHtml$1(wayBackSentence())}</code> to start the server again.</p>
-  <div class="prb-dialog-actions">
-    <button type="button" data-shutdown-cancel>Cancel</button>
-    <button type="button" class="prb-dialog-danger" data-shutdown-confirm>Stop server</button>
-  </div>
-</dialog>`;
-}
 function renderAsk(view, sections) {
 	const suggestions = buildSuggestions(view, sections);
 	const transcript = view.transcript ?? [];
@@ -4438,16 +4649,23 @@ function renderReviewsPage(view) {
 <link rel="stylesheet" href="/assets/sidebar.css">
 <link rel="stylesheet" href="/assets/shell.css">
 </head>
-<body class="prb-index-body"${view.revision === void 0 ? "" : ` data-index-revision="${escapeHtml$1(view.revision)}"`} data-live="${anythingRunning(view.analyses ?? /* @__PURE__ */ new Map())}">
+<body class="prb-index-body" data-way-back="${escapeHtml$1(wayBackSentence())}" data-notifications-since="${now}"${view.revision === void 0 ? "" : ` data-index-revision="${escapeHtml$1(view.revision)}"`} data-live="${anythingRunning(view.analyses ?? /* @__PURE__ */ new Map())}">
 <header class="prb-header">
   <span class="prb-wordmark"><b>pr</b>review<b>buddy</b></span>
-  <span class="prb-change-ref">Reviews</span>
+  <span class="prb-page-title">Reviews</span>
   <div class="prb-header-stats">
+    ${renderHeaderNav({
+		current: "reviews",
+		unread: view.unreadNotifications ?? 0
+	})}
     <span class="prb-build">v${escapeHtml$1(BUILD_VERSION)}</span>
-    <a class="prb-feedback" href="/settings">Settings</a>
-    <a class="prb-feedback" href="${escapeHtml$1(feedbackUrl())}" target="_blank" rel="noopener noreferrer">Send feedback</a>
   </div>
 </header>
+<div class="prb-shell">
+${renderWorkspaceRail({
+		current: "reviews",
+		unread: view.unreadNotifications ?? 0
+	})}
 <main class="prb-index">
   ${ordered.length === 0 ? "" : renderControls(queue.length, authorOptions(ordered.map((group) => group.latest.authorHandle)))}
   ${front === void 0 ? "" : renderContinue(front)}
@@ -4463,6 +4681,8 @@ function renderReviewsPage(view) {
   ${ordered.length === 0 ? "" : renderBulkBar()}
   <p class="prb-index-note">Reviews are kept for thirty days, on this machine only. Saved reviews and anything in your review queue are kept for ninety days instead, counting from the last time you opened them. Every review has a fixed address, so a link to one is worth keeping and still opens after a restart. Stopping the server deletes nothing; it only stops anything being served until the next review starts it again.</p>
 </main>
+</div>
+${renderShutdownDialog()}
 <script src="/assets/reviews.js" type="module"><\/script>
 </body>
 </html>`;
@@ -5013,15 +5233,23 @@ function renderSettingsPage(view) {
 <link rel="stylesheet" href="/assets/sidebar.css">
 <link rel="stylesheet" href="/assets/shell.css">
 </head>
-<body class="prb-index-body">
+<body class="prb-index-body" data-way-back="${escapeHtml$1(wayBackSentence())}" data-notifications-since="${Date.now()}">
 <header class="prb-header">
   <span class="prb-wordmark"><b>pr</b>review<b>buddy</b></span>
-  <span class="prb-change-ref">Settings</span>
+  <span class="prb-page-title">Settings</span>
   <div class="prb-header-stats">
+    ${renderHeaderNav({
+		current: "settings",
+		unread: view.unreadNotifications ?? 0
+	})}
     <span class="prb-build">v${escapeHtml$1(BUILD_VERSION)}</span>
-    <a class="prb-feedback" href="${escapeHtml$1(feedbackUrl())}" target="_blank" rel="noopener noreferrer">Send feedback</a>
   </div>
 </header>
+<div class="prb-shell">
+${renderWorkspaceRail({
+		current: "settings",
+		unread: view.unreadNotifications ?? 0
+	})}
 <main class="prb-index prb-settings">
   ${renderBack()}
   ${renderWorkspaceSection(settings, address)}
@@ -5037,6 +5265,8 @@ function renderSettingsPage(view) {
   edit by hand, and they are the same settings <code>prreviewbuddy config</code> reads and writes.
   Run <code>prreviewbuddy config path</code> to be told where that file is.</p>
 </main>
+</div>
+${renderShutdownDialog()}
 <script src="/assets/settings.js" type="module"><\/script>
 </body>
 </html>`;
@@ -5121,6 +5351,77 @@ function renderPrivacySection(settings) {
   </section>`;
 }
 //#endregion
+//#region ../../packages/review-harness/src/workspace/notifications_page.ts
+function renderNotificationsPage(view) {
+	const unread = view.notifications.filter((notification) => notification.readAt === void 0).length;
+	return `<!doctype html>
+<html lang="en">
+<head>
+<meta charset="utf-8">
+<meta name="viewport" content="width=device-width, initial-scale=1">
+<title>Notifications · PR Review Buddy</title>
+<link rel="icon" type="image/png" href="/assets/icon128.png">
+<link rel="stylesheet" href="/assets/sidebar.css">
+<link rel="stylesheet" href="/assets/shell.css">
+</head>
+<body class="prb-index-body" data-way-back="${escapeHtml$1(wayBackSentence())}">
+<header class="prb-header">
+  <span class="prb-wordmark"><b>pr</b>review<b>buddy</b></span>
+  <span class="prb-page-title">Notifications</span>
+  <div class="prb-header-stats">
+    ${renderHeaderNav({
+		current: "notifications",
+		unread: view.unreadNotifications ?? 0
+	})}
+    <span class="prb-build">v${escapeHtml$1(BUILD_VERSION)}</span>
+  </div>
+</header>
+<div class="prb-shell">
+${renderWorkspaceRail({
+		current: "notifications",
+		unread: view.unreadNotifications ?? 0
+	})}
+<main class="prb-index prb-notifications-page">
+  ${view.notifications.length === 0 ? `<p class="prb-index-empty">Nothing yet. When a review finishes or fails, it appears here.</p>` : `<div class="prb-index-summary">
+    <p class="prb-index-count" data-notifications-count role="status" aria-live="polite">${escapeHtml$1(unreadLabel(unread))}</p>
+    <button type="button" class="prb-index-select" data-notifications-read-all${unread === 0 ? " disabled" : ""}>Mark all read</button>
+  </div>
+  <ol class="prb-notifications" data-notifications>
+    ${view.notifications.map((notification) => renderEntry(notification, view.gone?.has(notification.id) === true)).join("")}
+  </ol>`}
+  <p class="prb-index-note">Kept for thirty days, on this machine only.</p>
+</main>
+</div>
+${renderShutdownDialog()}
+<script src="/assets/notifications.js" type="module"><\/script>
+</body>
+</html>`;
+}
+/**
+* One event: what happened, then what to, then when. The whole row opens the review and so marks it
+* read, which is why a row has no Mark read of its own. An event, not a card: nothing about the
+* review's findings belongs here.
+*/
+function renderEntry(notification, gone) {
+	const read = notification.readAt !== void 0;
+	const event = eventName(notification);
+	const after = [
+		notification.branch,
+		notification.repo,
+		relativeTime$1(notification.createdAt)
+	].filter((part) => Boolean(part));
+	const note = gone ? " · this review has been deleted" : "";
+	const spoken = `${read ? "" : "Unread. "}${event}, ${[notification.subject, ...after].join(", ")}${gone ? ", this review has been deleted" : ""}`;
+	const body = `<span class="prb-notification-dot" aria-hidden="true"></span>
+      <span class="prb-notification-text">
+        <span class="prb-notification-event" data-outcome="${notification.outcome}">${escapeHtml$1(event)}</span>
+        <span class="prb-notification-meta"><span class="prb-notification-subject">${escapeHtml$1(notification.subject)}</span>${after.map((part) => ` · ${escapeHtml$1(part)}`).join("")}${note}</span>
+      </span>`;
+	return `<li class="prb-notification" data-notification-id="${escapeHtml$1(notification.id)}" data-read="${read}">
+    ${gone ? `<span class="prb-notification-open" aria-label="${escapeHtml$1(spoken)}">${body}</span>` : `<a class="prb-notification-open" href="/notifications/open?id=${encodeURIComponent(notification.id)}" aria-label="${escapeHtml$1(spoken)}">${body}</a>`}
+  </li>`;
+}
+//#endregion
 //#region ../../packages/review-harness/src/workspace/reviews_revision.ts
 /**
 * Whether anything the reviews index draws has changed, as one token.
@@ -6072,11 +6373,15 @@ async function handle(req, res, options) {
 	if (url.pathname === "/") return handleIndex(req, res, url.searchParams, options.indexToken);
 	if (url.pathname === "/open") return handleOpen(req, res, url.searchParams, options.indexToken);
 	if (url.pathname === "/settings") return void handleSettings(req, res, url.searchParams, options.indexToken);
+	if (url.pathname === "/notifications") return void handleNotifications(req, res, url.searchParams, options.indexToken);
+	if (url.pathname === "/notifications/open") return handleNotificationOpen(req, res, url.searchParams, options.indexToken);
+	if (url.pathname === "/notifications/recent") return handleRecentNotifications(req, res, url.searchParams, options.indexToken);
 	if (url.pathname === "/pin") return handlePin(req, res, options.indexToken);
 	if (url.pathname === "/queue") return handleQueue(req, res, options.indexToken);
 	if (url.pathname === "/delete") return handleDelete(req, res, options.indexToken);
 	if (url.pathname === "/status") return handleStatus(req, res, options.indexToken);
 	if (url.pathname === "/revision") return handleRevision(req, res, options.indexToken);
+	if (url.pathname === "/shutdown") return handleIndexShutdown(req, res, options);
 	const match = /^\/(?:r|api)\/([0-9a-f-]{36})(\/[a-z]+)?$/.exec(url.pathname);
 	if (!match) return send(res, 404, { error: "Not found" });
 	const [, id, action] = match;
@@ -6171,7 +6476,8 @@ function handleIndex(req, res, params, indexToken) {
 		groups,
 		queue: queue.filter((id) => rendered.has(id)),
 		analyses: states,
-		revision: reviewsRevision(states)
+		revision: reviewsRevision(states),
+		unreadNotifications: unreadCount$1()
 	}), cookie);
 }
 /**
@@ -6256,7 +6562,10 @@ async function handleSettings(req, res, params, indexToken) {
 			error
 		});
 	}
-	sendHtml(res, 200, renderSettingsPage({ settings: readSettings() }), indexCookieHeader(indexToken));
+	sendHtml(res, 200, renderSettingsPage({
+		settings: readSettings(),
+		unreadNotifications: unreadCount$1()
+	}), indexCookieHeader(indexToken));
 }
 /**
 * Whether the caller is a browser navigating, rather than something reading the API.
@@ -6290,6 +6599,73 @@ function handleOpen(req, res, params, indexToken) {
 	return redirect(res, `/r/${workspace.id}?t=${encodeURIComponent(workspace.token)}`);
 }
 /**
+* What an open workspace page should show as toasts: unread notifications recorded since it last
+* asked, and how many more there were than it has room to show.
+*
+* The cookie only, like `/revision`, because the caller is a page's script rather than a navigation.
+* `now` is read before the list, and nothing newer than it is returned, so an event recorded between
+* the two reads is handed over on the next poll rather than on both. What goes back is the line and
+* the id; the id opens nothing except through `/notifications/open`, which asks for the credential
+* again.
+*/
+function handleRecentNotifications(req, res, params, indexToken) {
+	if (!indexToken || !secretMatches(indexToken, indexCookie(req))) return send(res, 403, { error: "Not authorised." });
+	const now = Date.now();
+	const after = Number(params.get("after"));
+	const { shown, more } = splitForToasts(Number.isFinite(after) ? listNotifications().filter((entry) => entry.readAt === void 0 && entry.createdAt > after && entry.createdAt <= now) : []);
+	send(res, 200, {
+		now,
+		notifications: shown.map((entry) => ({
+			id: entry.id,
+			headline: headline(entry),
+			outcome: entry.outcome
+		})),
+		more
+	});
+}
+/**
+* The Notifications page, and marking its entries read.
+*
+* The index's authority, like Settings: the list names every review on the machine, which is the
+* machine's user's business and no single review's. `GET` renders and `POST` marks, answering with
+* the unread count as it now stands so the page paints the files rather than its own arithmetic.
+*/
+async function handleNotifications(req, res, params, indexToken) {
+	if (!indexAuthorised(req, params, indexToken)) {
+		if (req.method === "POST") return send(res, 403, { error: "This link is missing its access token." });
+		return refuseIndex(req, res);
+	}
+	if (req.method === "POST") {
+		const body = await readJson(req);
+		if (body?.action === "read-all") markAllRead();
+		else if (body?.action === "read" && Array.isArray(body.ids)) markRead(body.ids.filter((id) => typeof id === "string"));
+		else return send(res, 400, { error: "Say what to mark: `read` with the ids, or `read-all`." });
+		return send(res, 200, { unread: unreadCount$1() });
+	}
+	const notifications = listNotifications();
+	sendHtml(res, 200, renderNotificationsPage({
+		notifications,
+		gone: new Set(notifications.filter((entry) => !loadWorkspace(entry.reviewId)).map((entry) => entry.id)),
+		unreadNotifications: unreadCount$1()
+	}), indexCookieHeader(indexToken));
+}
+/**
+* Open one notification: mark it read, then go to its review with the review's own token.
+*
+* The one way a notification is read by being followed. Arriving at the same review from anywhere
+* else leaves it unread, because that is not the reviewer having seen this. The redirect is the one
+* `handleOpen` makes, so no second kind of link to a review exists.
+*/
+function handleNotificationOpen(req, res, params, indexToken) {
+	if (!indexAuthorised(req, params, indexToken)) return refuseIndex(req, res);
+	const notification = readNotification(params.get("id") ?? "");
+	if (!notification) return redirect(res, "/notifications");
+	markRead([notification.id]);
+	const workspace = loadWorkspace(notification.reviewId);
+	if (!workspace) return redirect(res, "/notifications");
+	return redirect(res, `/r/${workspace.id}?t=${encodeURIComponent(workspace.token)}`);
+}
+/**
 * Mark a selection reviewed, or put it back to in progress.
 *
 * Authorised by the index credential, like pinning and deleting, because this is the list acting on
@@ -6355,7 +6731,8 @@ function handleRevision(req, res, indexToken) {
 	const states = analysisStates();
 	send(res, 200, {
 		revision: reviewsRevision(states),
-		live: anythingRunning(states)
+		live: anythingRunning(states),
+		unread: unreadCount$1()
 	});
 }
 /**
@@ -6631,6 +7008,7 @@ async function sendWorkspacePage(res, workspace) {
 		pendingDiagram: reportRun(workspace.id, "diagram"),
 		prompts: readPromptBank(),
 		complete: workspace.completedAt !== void 0,
+		unreadNotifications: unreadCount$1(),
 		prContext: workspace.prContext ? {
 			prContext: workspace.prContext,
 			processed: processDiscussion(workspace.prContext.discussion)
@@ -7097,6 +7475,16 @@ async function handleDiagram(req, res, workspace) {
 *
 * One server serves every review, so this ends all of them. The page says so before asking.
 */
+/**
+* Stop server from the workspace pages that are not a review: the reviews list, Notifications and
+* Settings. They hold no review token, so the index cookie authorises it, exactly as the list's own
+* actions are. POST only, so a link or a prefetch can never end every open review.
+*/
+function handleIndexShutdown(req, res, options) {
+	if (!options.indexToken || !secretMatches(options.indexToken, indexCookie(req))) return send(res, 403, { error: "Not authorised." });
+	if (req.method !== "POST") return send(res, 405, { error: "Stopping the server is a POST." });
+	handleShutdown(res, options);
+}
 function handleShutdown(res, options) {
 	send(res, 200, { ok: true });
 	const stop = options.onShutdown ?? (() => process.exit(0));
@@ -7304,6 +7692,7 @@ async function sweep(now = Date.now()) {
 		if (await retire(job, report)) report.retired += 1;
 	}
 	await removeOrphans(jobs, report);
+	pruneNotifications(now);
 	return report;
 }
 /**
@@ -7318,7 +7707,9 @@ function markAbandoned(job, now) {
 	if (isClaimed(job.id, now)) return false;
 	const current = loadJob(job.id);
 	if (!current || current.updatedAt !== job.updatedAt) return false;
-	saveJob(fail(current, ABANDONED_MESSAGE));
+	const abandoned = fail(current, ABANDONED_MESSAGE);
+	saveJob(abandoned);
+	announceJob(abandoned);
 	return true;
 }
 /** A finished job, discarded on the shared sequence. See `job_cleanup.ts` for why it is an order. */