samagotchi 0.124.0 → 0.126.0

data/lib/samagotchi/web/public/participant.js

@@ -22,8 +22,11 @@ import { createAuthLost, lostAnswer } from "./auth_lost.js";
 import { REPLACE_SESSION_TEXT, fragmentCode, tradeFragmentCode } from "./token_fragment.js";
 import { createAnnotateBar } from "./annotate_bar.js";
 import { parsePresets } from "./annotate_presets.js";
+import { VERIFY_PRESET, withVerify } from "./verify_preset.js";
 import { appendQuote } from "./annotations.js";
 import { messageAuthorData, participantQuote, participantSource } from "./participant_annotate.js";
+import { claimFromHash, selectionClaim, showClaim } from "./claim_link.js";
+import { freshURL, placeVerdictWithFresh, settleRunning } from "./verdict_fresh.js";
 import { mountComposer } from "./composer_mount.js";
 import { PROMPT_LINE_PX } from "./composer_size.js";
 import {
@@ -44,6 +47,7 @@ const ownerView = body.viewer === "owner";
 const sessionId = body.session || new URLSearchParams(location.hash.slice(1)).get("s") || "";
 
 let data = null;
+let pendingVerifyAnchor = null;
 let live = null;
 // A turn boundary came after the data drawn: live events wait for the
 // re-read (its stream replays them).
@@ -68,6 +72,10 @@ let wantedView = "thread";
 // a message's node while it is unchanged (its open tool list, a text
 // selection in it).
 let drawnMessages = [];
+// A claim link's turn and quote (claim_link.js: #s=…&t=…&q=…), shown once
+// the thread is drawn; a later hash change shows another.
+let pendingClaim = claimFromHash(globalThis.location?.hash);
+let claimNoteTimer = null;
 
 function el(tag, cls, text) {
   const node = document.createElement(tag);
@@ -141,6 +149,7 @@ async function load() {
   live = liveFrom(data.current_turn);
   liveStale = false;
   render();
+  showPendingClaim();
   // The live turn is the data's now: the events after its cursor come
   // again from there (the open stream may have delivered some of them to
   // the live turn just replaced). With no cursor (no worker) an open
@@ -169,6 +178,16 @@ function connect() {
   const onEvent = (event) => {
     let parsed;
     try { parsed = JSON.parse(event.data); } catch { return; }
+    if (parsed.verdict) {
+      const known = (data.verdicts || []).some((record) => record.check_turn_id === parsed.verdict.check_turn_id);
+      if (!known) {
+        data.verdicts = [...(data.verdicts || []), parsed.verdict];
+        // A fresh verdict ends its check's "verifying fresh".
+        data.fresh_running = settleRunning(data.fresh_running, parsed.verdict);
+        renderThread();
+      }
+    }
+    if (parsed.type === "verdict_recorded") return;
     if (reloads(parsed.type)) {
       if (endsLiveTurn(parsed.type)) liveStale = true;
       return scheduleReload();
@@ -183,7 +202,7 @@ function connect() {
   for (const type of ["generation_chunk", "generation_retrying", "tool_call_started", "tool_call_completed",
     "turn_started", "turn_completed", "turn_canceled", "turn_failed", "turn_enqueued", "turn_dequeued", "input_merged",
     "question_requested", "question_answered", "question_cancelled", "continue_offered", "continue_resolved",
-    "snapshot", "reset"]) {
+    "snapshot", "reset", "verdict_recorded"]) {
     source.addEventListener(type, onEvent);
   }
   source.onerror = () => {
@@ -195,9 +214,11 @@ function connect() {
 function render() {
   const viewer = data.viewer || {};
   const session = data.session || {};
-  document.title = ownerView ? `chi · participant view · ${session.title}` : `chi · ${viewer.name}'s review`;
+  // A pair participant works in the session: their page says so, not "review".
+  const whose = viewer.mode === "pair" ? `${viewer.name} · pairing` : `${viewer.name}'s review`;
+  document.title = ownerView ? `chi · participant view · ${session.title}` : `chi · ${whose}`;
   const title = $("title");
-  title.replaceChildren(ownerView ? "Participant view" : `${viewer.name}'s review`, el("span", "p-sub", ` · ${session.title}`));
+  title.replaceChildren(ownerView ? "Participant view" : whose, el("span", "p-sub", ` · ${session.title}`));
   title.title = session.title || "";
   const status = $("status");
   const waiting = data.waiting_for_owner;
@@ -220,6 +241,40 @@ function render() {
   renderDock();
 }
 
+// The claim link's quote in the thread, scrolled to and marked; a quote
+// not found marks its turn; neither found (before a continue) leaves the
+// thread at the top and says so, as does a link to another session (this
+// browser's cookie is one grant's). The hash then drops the claim, so the
+// same link opened again shows it again (a hashchange).
+function showPendingClaim() {
+  const claim = pendingClaim;
+  if (!claim || !data) return;
+  pendingClaim = null;
+  const { pathname = "", search = "" } = globalThis.location || {};
+  globalThis.history?.replaceState?.(null, "", `${pathname}${search}#s=${encodeURIComponent(sessionId)}`);
+  if (claim.sessionId !== sessionId) {
+    const title = data.session?.title ? `"${data.session.title}"` : "this session";
+    return showClaimNote(`This link is for another session; this browser holds your link for ${title}.`);
+  }
+  setView("thread");
+  if (showClaim($("thread"), claim, { roots: ".p-msg > .p-bubble" })) return;
+  $("main").scrollTop = 0;
+  showClaimNote("The linked turn isn't in this session.");
+}
+
+function showClaimNote(text) {
+  const note = $("claimNote");
+  note.textContent = text;
+  note.hidden = false;
+  clearTimeout(claimNoteTimer);
+  claimNoteTimer = setTimeout(() => { note.hidden = true; }, 6000);
+}
+
+window.addEventListener("hashchange", () => {
+  pendingClaim = claimFromHash(globalThis.location?.hash);
+  showPendingClaim();
+});
+
 // The review's subjects: beside the thread on a wide screen, behind the
 // Plan | Thread toggle on a narrow one; drawn again only when they changed.
 function renderPlan() {
@@ -353,10 +408,42 @@ function renderThread() {
   const main = $("main");
   const atBottom = main.scrollHeight - main.scrollTop - main.clientHeight < 80;
   syncChildren(thread, nodes);
+  for (const record of data.verdicts || []) {
+    const author = record.by || null;
+    const viewer = data.viewer || {};
+    let who = ownerView ? "You" : "Owner";
+    if (author && author !== "owner") {
+      if (!ownerView && author === participantAuthor(viewer.id)) who = "You";
+      else {
+        who = (data.participants || []).find((participant) => participantAuthor(participant.id) === author)?.name || "A participant";
+      }
+    }
+    placeVerdictWithFresh(thread, record, { who, author }, verifyFreshState());
+  }
   if (atBottom || !thread.dataset.drawn) main.scrollTop = main.scrollHeight;
   thread.dataset.drawn = "1";
 }
 
+// Verify fresh on an unclear verdict's card (verdict_fresh.js): a
+// participant starts one while their grant could run a turn now
+// (can_comment); the owner looking through the participant view never
+// does, and no one here gets a link to the child's session.
+function verifyFreshState() {
+  if (!Array.isArray(data.fresh_running)) data.fresh_running = [];
+  return {
+    verdicts: data.verdicts || [],
+    running: data.fresh_running,
+    canStart: !ownerView && !ended && !!data.viewer?.can_comment,
+    start: async (of) => {
+      const { ok, body } = await api(freshURL(sessionId, of), {
+        method: "POST", body: "{}", headers: { "Content-Type": "application/json" },
+      });
+      return ok ? { ok: true } : { ok: false, error: body?.detail || "Couldn't start a fresh check." };
+    },
+    childHref: () => null,
+  };
+}
+
 // +node+'s tool list open or closed as +old+'s was (the same place drawn
 // again with new content).
 function keepToolsOpen(node, old) {
@@ -475,13 +562,15 @@ async function sendComment() {
   const comment = $("comment");
   const prompt = comment.value.trim();
   if (!prompt) return;
+  const verify = pendingVerifyAnchor;
   sending = true;
   $("send").disabled = true;
   showError("");
   let reply;
   try {
     reply = await api(`/api/sessions/${encodeURIComponent(sessionId)}/turn`, {
-      method: "POST", headers: { "Content-Type": "application/json" }, body: JSON.stringify({ prompt }),
+      method: "POST", headers: { "Content-Type": "application/json" },
+      body: JSON.stringify({ prompt, ...(verify ? { verify } : {}) }),
     });
   } finally {
     sending = false;
@@ -490,6 +579,7 @@ async function sendComment() {
   const { ok, status, body: json } = reply;
   if (ended) return;
   if (ok) {
+    if (pendingVerifyAnchor === verify) pendingVerifyAnchor = null;
     recordReviewComment(data?.viewer?.id, prompt);
     // What was typed while the comment was in flight stays in the box.
     if (comment.value.trim() === prompt) comment.value = "";
@@ -534,7 +624,11 @@ const composer = ownerView ? null : mountComposer({
 });
 if (composer) {
   // An error under the box (a refusal, the images toast) goes at the next edit.
-  $("comment").addEventListener("input", () => showError(""));
+  // An emptied box lets go of its Verify claim.
+  $("comment").addEventListener("input", (e) => {
+    showError("");
+    if (!e.target.value.trim()) pendingVerifyAnchor = null;
+  });
   // The session composer's layout (composer.css), and the fold saved in this browser.
   document.body.classList.add("has-session");
   composer.newVisit();
@@ -549,19 +643,29 @@ for (const button of $("viewSeg").querySelectorAll("button")) {
 
 // Annotate (annotate_bar.js, participant_annotate.js): a selection in the
 // Plan or the thread offers "Annotate" and the presets
-// (web.annotate_presets), which append a quote to the comment box; nothing
-// is sent. No plugin pills: a review turn refuses `/` lines. Not in the
-// owner's participant view, nor while this participant can't comment.
+// (web.annotate_presets, then the built-in Verify: verify_preset.js), which
+// append a quote to the comment box; nothing is sent. No plugin pills: a
+// review turn refuses `/` lines. Not in the owner's participant view, nor
+// while this participant can't comment.
 const annotateBar = createAnnotateBar({
-  presets: parsePresets(body.annotatePresets),
+  presets: withVerify(parsePresets(body.annotatePresets)),
   canAnnotate: () => !ownerView && !ended && !!data?.viewer?.can_comment,
   roots: () => [$("planDoc"), $("thread")],
   isLive: (root) => !!root.closest?.(".p-msg.live"),
   onQuote: quoteIntoComment,
+  onPreset: (preset, fields) => { pendingVerifyAnchor = preset === VERIFY_PRESET ? verifyAnchorFor(fields) : null; },
   source: participantSource,
   quote: participantQuote,
   dock: () => $("dock"),
 });
+
+function verifyAnchorFor({ source, range }) {
+  const message = source?.root?.closest?.(".p-msg");
+  const turnId = message?.dataset?.turnId;
+  if (!turnId) return null;
+  const quote = selectionClaim(source.root, range).q;
+  return quote ? { turn_id: turnId, quote } : null;
+}
 $("main").addEventListener("scroll", annotateBar.schedule);
 $("planScroll").addEventListener("scroll", annotateBar.schedule);
 

data/lib/samagotchi/web/public/participants_panel.js

@@ -247,6 +247,9 @@ export function createParticipantsControl({ el, session, api, onChange = () => {
   // The header chi web's proxy names the user in (GET …/participants), null
   // without one: the Invite's email field.
   let identityHeader = null;
+  // Where a participant's link opens, no token (GET …/participants
+  // link_base): a claim link's base (claimTarget).
+  let linkBase = null;
   let loadedFor = null;
   let invite = null;
   let error = null;
@@ -289,6 +292,7 @@ export function createParticipantsControl({ el, session, api, onChange = () => {
       grants = null;
       working = null;
       inviteMode = null;
+      linkBase = null;
       loadedFor = null;
       setParticipantNames([]);
       onChange();
@@ -301,6 +305,7 @@ export function createParticipantsControl({ el, session, api, onChange = () => {
       working = typeof body.warning === "string" ? body.warning : null;
       inviteMode = typeof body.mode === "string" ? body.mode : null;
       identityHeader = typeof body.identity_header === "string" && body.identity_header ? body.identity_header : null;
+      linkBase = typeof body.link_base === "string" && body.link_base ? body.link_base : null;
       loadedFor = id;
       if (setParticipantNames(grants)) onNames();
     } catch {
@@ -310,6 +315,7 @@ export function createParticipantsControl({ el, session, api, onChange = () => {
         grants = [];
         working = null;
         inviteMode = null;
+        linkBase = null;
         setParticipantNames([]);
       }
     }
@@ -446,6 +452,15 @@ export function createParticipantsControl({ el, session, api, onChange = () => {
     // A participants_changed event, or a session's own refresh.
     reload: () => load(),
     chip: () => (session() && loadedFor === session() ? chipModel(grants, clock()) : null),
+    // A claim link's target (claim_link.js): {base, names} the open
+    // session's participant link base and its active people's names (an
+    // agent has no browser to open it in); null without either (an older
+    // chi web, no person invited).
+    claimTarget: () => {
+      if (!session() || loadedFor !== session() || !linkBase) return null;
+      const names = (grants || []).filter((g) => g.state === "active" && g.kind === "human").map((g) => g.name);
+      return names.length ? { base: linkBase, names } : null;
+    },
     close: () => shell.close(),
     isOpen: () => shell.isOpen(),
   };

data/lib/samagotchi/web/public/route.js

@@ -1,5 +1,6 @@
 // The page's place in its URL hash: #/s/<session id> for an open session,
-// #/sessions for the all-sessions view, nothing for the empty start.
+// #/sessions for the all-sessions view, nothing for the empty start. A
+// session's hash may carry a claim link's ?t=…&q=… (claim_link.js).
 export const ALL_SESSIONS_HASH = "#/sessions";
 
 export function sessionHash(id) {
@@ -7,7 +8,7 @@ export function sessionHash(id) {
 }
 
 export function sessionIdFromHash(hash) {
-  const m = /^#\/s\/([^/?#]+)$/.exec(hash || "");
+  const m = /^#\/s\/([^/?#]+)(?:\?[^#]*)?$/.exec(hash || "");
   if (!m) return null;
   try {
     return decodeURIComponent(m[1]) || null;

data/lib/samagotchi/web/public/send_turn.js

@@ -29,6 +29,7 @@ import { composerAfterAck, dropEarlyRestores, restoreOnAck } from "./restore.js"
 // +alert+: the browser's.
 export function createSendTurn({
   session, state, running, clientId, sentIds, earlyRestores, api, dir, startPage, takeDelivery, composer,
+  verify = () => null, clearVerify = () => {},
   historyEl, turnDom, makeUserBubble, bubbleById, addCommandBubble,
   addCreatedSession, select, showNotice, updateInfoBar, updateComposerMode, followWokenWorker, refreshHistory,
   leaveGoneSession, runCommand, toast, alert = (text) => globalThis.alert(text),
@@ -131,7 +132,10 @@ export function createSendTurn({
     const sentTo = session();
     try {
       await uploadChips(sending, sentTo, { upload: api.uploadImage });
-      const ack = await api.sendTurn(sentTo, prompt, { clientId, images: turnRefs(sending), history: typed, delivery });
+      const verifyAnchor = verify();
+      const ack = await api.sendTurn(sentTo, prompt, {
+        clientId, images: turnRefs(sending), history: typed, delivery, ...(verifyAnchor ? { verify: verifyAnchor } : {}),
+      });
       if (ack?.command_id) {
         // The worker knew it as a command (its list was newer than ours):
         // its command_ran shows it, not a prompt bubble.
@@ -140,6 +144,7 @@ export function createSendTurn({
         if (sentTo === session()) followWokenWorker();
         return;
       }
+      if (verifyAnchor) clearVerify(verifyAnchor);
       if (ack?.enqueued_id) sentIds.add(ack.enqueued_id);
       // A cut the worker didn't take (no thinking-only step: cut off) goes in
       // at the next step; a queue whose turn ended meanwhile is the next turn.

data/lib/samagotchi/web/public/session_state.js

@@ -25,6 +25,9 @@ export function emptySessionState() {
     continues: null,
     // A review session's {subjects, from} (its `review`), or null.
     review: null,
+    verdicts: [],
+    // The Verify fresh checks running ({of, child_id}; the summary's verify_fresh).
+    verifyFresh: [],
     // Its start (the summary's created_at; the info bar's chain links are
     // times on its day), or null.
     createdAt: null,
@@ -116,6 +119,8 @@ export function sessionStateFrom(data) {
   state.parentId = s.parent_id || null;
   state.continues = s.continues || null;
   state.review = s.review || null;
+  state.verdicts = Array.isArray(s.verdicts) ? s.verdicts : [];
+  state.verifyFresh = Array.isArray(s.verify_fresh) ? s.verify_fresh : [];
   state.createdAt = s.created_at || null;
   state.commands = Array.isArray(data.commands) ? data.commands : [];
   return state;

data/lib/samagotchi/web/public/stream_handlers.js

@@ -181,6 +181,7 @@ export function createStreamHandlers(deps) {
       endTurnView("completed", null, { emptyAnswer: data.turn_summary?.empty_answer || null });
       const out = turnOutput(data);
       if (out) appendChunk(out);
+      if (data.verdict) deps.placeVerdict?.(data.verdict);
       // after_turn hooks are running and may present the answer: its
       // answer_display (display: null when they didn't) comes next. A worker
       // that dies before it never sends one: workerGone releases the wait, and
@@ -356,6 +357,8 @@ export function createStreamHandlers(deps) {
     // Someone joined, left or was revoked (the worker's ParticipantsWatch):
     // the owner's chip and panel read the list again.
     participants_changed: () => participantsControl?.reload(),
+    // A Verify fresh child's verdict, taken onto its card by the worker.
+    verdict_recorded: (data) => deps.placeVerdict?.(data.verdict),
     continue_offered: (data) => questionCards.renderContinue(data),
     continue_resolved: (data) => questionCards.resolveContinue(data),
     tool_call_started: (data) => turnDom.toolStarted(data),

data/lib/samagotchi/web/public/tokens.css

@@ -3,7 +3,8 @@
   --glass-bg:color-mix(in srgb,var(--bg-panel) 70%,transparent);--glass-border:rgba(255,255,255,.08);--glass-highlight:rgba(255,255,255,.05);--glass-shadow:0 8px 30px rgba(0,0,0,.35);
   --diff-add-bg:rgba(63,185,80,.14);--diff-add-text:#aff5b4;--diff-del-bg:rgba(248,81,73,.14);--diff-del-text:#ffc1bc;
   --code-text:#c9d1d9;--code-keyword:#ff7b72;--code-string:#a5d6ff;--code-comment:#8b949e;--code-constant:#79c0ff;--code-func:#d2a8ff;--code-type:#ffa657;
-  --card-hover-border:rgba(255,255,255,.14);--on-solid:#fff;--on-warn:#fff;--text-hover:#fff;--badge-bg:rgba(255,255,255,.08);--badge-ring:rgba(255,255,255,.18);--shadow-strong:rgba(0,0,0,.5);--backdrop:rgba(0,0,0,.85);--toast-shadow:0 6px 24px rgba(0,0,0,.25);--ws-stale-opacity:.4;--ws-rule:var(--border-strong);--ws-muted:var(--text-3);--ws-faint:var(--text-muted);--ws-act-border:#444c56;--author-1:#79c0ff;--author-2:#d2a8ff;--author-3:#7ee787;--author-4:#ffa657;--author-5:#ff7b72;--author-6:#f2cc60;--author-owner:var(--text-3);--time-gap:var(--text-faint)}
+  --card-hover-border:rgba(255,255,255,.14);--on-solid:#fff;--on-warn:#fff;--text-hover:#fff;--badge-bg:rgba(255,255,255,.08);--badge-ring:rgba(255,255,255,.18);--shadow-strong:rgba(0,0,0,.5);--backdrop:rgba(0,0,0,.85);--toast-shadow:0 6px 24px rgba(0,0,0,.25);--ws-stale-opacity:.4;--ws-rule:var(--border-strong);--ws-muted:var(--text-3);--ws-faint:var(--text-muted);--ws-act-border:#444c56;--author-1:#79c0ff;--author-2:#d2a8ff;--author-3:#7ee787;--author-4:#ffa657;--author-5:#ff7b72;--author-6:#f2cc60;--author-owner:var(--text-3);--time-gap:var(--text-faint);
+  --claim-mark:color-mix(in srgb,var(--warn-bright) 32%,transparent);--claim-ring:var(--warn)}
 /* Light palette: follows the system setting. :not([data-theme="dark"]) leaves room for a later in-page toggle (data-theme on <html>); there is none yet. Each palette sets color-scheme, so native radios, inputs and scrollbars follow it. */
 @media (prefers-color-scheme:light){:root:not([data-theme="dark"]){color-scheme:light;--bg:#f5f6f8;--bg-panel:#ffffff;--bg-inset:#f1f3f6;--bg-raised:#e8ebf0;--bg-hover:#eceff4;--border:#dde1e7;--border-strong:#c3c9d2;--text:#1f2328;--text-bright:#0d1117;--text-2:#2f363d;--text-3:#475160;--text-muted:#57606a;--text-faint:#636c76;--accent:#0066cc;--accent-strong:#0058b0;--accent-bg:#e3f0ff;--accent-ring:rgba(0,102,204,.2);--primary:#0071e3;--ok:#1a7f37;--ok-text:#116329;--ok-bg:#dafbe1;--warn:#9a6700;--warn-text:#7d4e00;--warn-bright:#875c00;--warn-bg:#fff6cc;--warn-border:#d4a72c;--danger:#cf222e;--danger-bg:#cf222e;--danger-text:#a40e26;--danger-bg-dim:#ffebe9;--think:#8250df;--think-text:#6639ba;--accent-border:#b3d4f7;--pick-border:#0969da;
   --glass-border:rgba(31,35,40,.10);--glass-highlight:rgba(255,255,255,.7);--glass-shadow:0 8px 30px rgba(31,35,40,.10);

data/lib/samagotchi/web/public/verdict_card.js

@@ -0,0 +1,65 @@
+const TYPES = Object.freeze({
+  confirmed: { icon: "✅", label: "confirmed" },
+  refuted: { icon: "❌", label: "refuted" },
+  unclear: { icon: "❓", label: "unclear" },
+});
+
+export function placeVerdict(root, record, { who = "Owner", author = null } = {}) {
+  const anchor = record?.anchor;
+  const type = TYPES[record?.verdict];
+  if (!root || !type || typeof anchor?.turn_id !== "string" || typeof anchor?.quote !== "string"
+      || typeof record.reason !== "string" || typeof record.check_turn_id !== "string") return null;
+
+  const elements = [...root.querySelectorAll("[data-turn-id]")];
+  const source = elements.find((element) => element.dataset.turnId === anchor.turn_id);
+  if (!source) return null;
+  const cards = [...root.querySelectorAll(".verify-verdict")];
+  const existing = cards.find((card) => card.dataset.checkTurnId === record.check_turn_id);
+  if (existing) return existing;
+
+  const doc = root.ownerDocument;
+  const card = doc.createElement("aside");
+  card.className = `verify-verdict ${record.verdict}`;
+  card.dataset.sourceTurnId = anchor.turn_id;
+  card.dataset.checkTurnId = record.check_turn_id;
+  if (author) card.dataset.author = author;
+  card.setAttribute("aria-label", `Claim verdict: ${type.label}`);
+
+  const heading = doc.createElement("div");
+  heading.className = "verify-verdict-heading";
+  heading.append(doc.createTextNode(`${type.icon} ${type.label} · `));
+  const name = doc.createElement("span");
+  name.className = "verify-verdict-who";
+  name.textContent = who;
+  heading.append(name);
+
+  const quote = doc.createElement("blockquote");
+  quote.className = "verify-verdict-quote";
+  quote.textContent = anchor.quote;
+  const reason = doc.createElement("p");
+  reason.className = "verify-verdict-reason";
+  reason.textContent = record.reason;
+
+  // Verify fresh (an unclear verdict's button, its fresh verdicts): verdict_fresh.js.
+  const link = doc.createElement("a");
+  link.href = "#";
+  link.className = "verify-verdict-link";
+  link.textContent = "View check";
+  link.addEventListener("click", (event) => {
+    event.preventDefault();
+    [...root.querySelectorAll("[data-turn-id]")].find((element) => element.dataset.turnId === record.check_turn_id)
+      ?.scrollIntoView?.({ behavior: "smooth", block: "center" });
+  });
+  card.append(heading, quote, reason, link);
+
+  const previous = cards.filter((candidate) => candidate.dataset.sourceTurnId === anchor.turn_id).at(-1);
+  (previous || source).after(card);
+  return card;
+}
+
+export function nameVerdictCards(root, nameFor) {
+  for (const card of root?.querySelectorAll?.(".verify-verdict[data-author]") || []) {
+    const name = nameFor(card.dataset.author);
+    if (name) card.querySelector(".verify-verdict-who").textContent = name;
+  }
+}

data/lib/samagotchi/web/public/verdict_fresh.js

@@ -0,0 +1,120 @@
+// Verify fresh on a verdict card, both pages (docs/internals/participants.md,
+// Verify fresh): an unclear verdict's card offers a new agent that checks the
+// claim with none of the session's context; while it runs the card says so
+// (the owner's links to its session), and its verdict lands on the same card
+// as a "fresh:" line. A module of its own: static JS is cached at unversioned
+// URLs, and a new export on an old module would blank the page.
+
+import { placeVerdict } from "./verdict_card.js";
+
+const ICONS = Object.freeze({ confirmed: "✅", refuted: "❌", unclear: "❓" });
+
+// The request that starts one (owner and participant alike).
+export function freshURL(sessionId, checkTurnId) {
+  return `/api/sessions/${encodeURIComponent(sessionId)}/verdicts/${encodeURIComponent(checkTurnId)}/fresh`;
+}
+
+// A running entry's verdict: the participant's are its check_turn_id, the
+// owner's {of, child_id}.
+function runningOf(entry) {
+  return typeof entry === "string" ? entry : entry?.of;
+}
+
+// +running+ without the check a fresh verdict just ended (+record+).
+export function settleRunning(running, record) {
+  if (!record?.fresh) return running || [];
+  return (running || []).filter((entry) => runningOf(entry) !== record.of);
+}
+
+// Places a session verdict as the pages draw them: an original verdict's
+// card (verdict_card.js) with its Verify fresh part, or a fresh verdict on
+// its original's card. +fresh+: {verdicts (all of the session's), running
+// (the page's own array; a start adds to it), canStart, start(of) → Promise
+// of {ok, child_id, error}, childHref(id) → a link to the child or null}.
+export function placeVerdictWithFresh(root, record, opts = {}, fresh = {}) {
+  if (record?.fresh) {
+    const card = [...(root?.querySelectorAll?.(".verify-verdict") || [])]
+      .find((candidate) => candidate.dataset.checkTurnId === record.of);
+    if (card) renderFresh(card, fresh);
+    return card || null;
+  }
+  const card = placeVerdict(root, record, opts);
+  if (card) renderFresh(card, fresh);
+  return card;
+}
+
+// The card's Verify fresh part, drawn again from +fresh+: the fresh
+// verdicts, the running check, else the button (an unclear verdict, and a
+// viewer who could run a turn now).
+export function renderFresh(card, fresh = {}) {
+  const doc = card.ownerDocument;
+  const of = card.dataset.checkTurnId;
+  card.querySelector(":scope > .verify-fresh")?.remove();
+  const part = doc.createElement("div");
+  part.className = "verify-fresh";
+  const childLink = (id) => {
+    const href = id && fresh.childHref ? fresh.childHref(id) : null;
+    if (!href) return null;
+    const link = doc.createElement("a");
+    link.className = "verify-fresh-link";
+    link.href = href;
+    link.textContent = "open its session";
+    return link;
+  };
+
+  for (const result of (fresh.verdicts || []).filter((r) => r?.fresh && r.of === of)) {
+    const line = doc.createElement("p");
+    line.className = `verify-fresh-result ${ICONS[result.verdict] ? result.verdict : ""}`.trim();
+    line.textContent = `fresh: ${ICONS[result.verdict] || ""} ${result.verdict} — ${result.reason || ""}`;
+    const link = childLink(result.child_id);
+    if (link) line.append(" · ", link);
+    part.append(line);
+  }
+
+  const run = (fresh.running || []).find((entry) => runningOf(entry) === of);
+  if (run) {
+    const line = doc.createElement("p");
+    line.className = "verify-fresh-running";
+    line.textContent = "Verifying fresh…";
+    const link = childLink(typeof run === "string" ? null : run.child_id);
+    if (link) line.append(" ", link);
+    part.append(line);
+  } else if (card.classList.contains("unclear") && fresh.canStart && fresh.start) {
+    const button = doc.createElement("button");
+    button.type = "button";
+    button.className = "verify-fresh-btn";
+    button.textContent = "Verify fresh";
+    button.title = "A new agent checks this claim against the files, with none of this session's context";
+    button.addEventListener("click", () => startFresh(card, button, fresh));
+    part.append(button);
+  }
+
+  if (card.dataset.freshError) {
+    const line = doc.createElement("p");
+    line.className = "verify-fresh-error";
+    line.textContent = card.dataset.freshError;
+    part.append(line);
+  }
+  if (part.childNodes.length) card.append(part);
+}
+
+async function startFresh(card, button, fresh) {
+  const of = card.dataset.checkTurnId;
+  button.disabled = true;
+  button.textContent = "Starting…";
+  let result;
+  try {
+    result = await fresh.start(of);
+  } catch (error) {
+    result = { ok: false, error: error?.message };
+  }
+  if (result?.ok) {
+    delete card.dataset.freshError;
+    if (fresh.running && !fresh.running.some((entry) => runningOf(entry) === of)) {
+      fresh.running.push(result.child_id ? { of, child_id: result.child_id } : of);
+    }
+  } else {
+    card.dataset.freshError = result?.error || "Couldn't start a fresh check.";
+  }
+  renderFresh(card, fresh);
+}

data/lib/samagotchi/web/public/verify_card.css

@@ -0,0 +1,17 @@
+.verify-verdict{margin:8px 0 8px 14px;padding:8px 10px;border:1px solid var(--border-strong);border-left:3px solid var(--text-3);border-radius:8px;background:var(--bg-inset);font-size:13px}
+.verify-verdict.confirmed{border-left-color:var(--ok);background:var(--ok-bg)}
+.verify-verdict.refuted{border-left-color:var(--danger);background:var(--danger-bg-dim)}
+.verify-verdict.unclear{border-left-color:var(--warn);background:var(--warn-bg)}
+.verify-verdict-heading{font-weight:600;color:var(--text-bright)}
+.verify-verdict-quote{margin:6px 0;color:var(--text-muted);font-style:italic;white-space:pre-wrap}
+.verify-verdict-reason{margin:4px 0 6px;white-space:pre-wrap;overflow-wrap:anywhere}
+.verify-verdict-link{color:var(--accent)}
+.verify-fresh{margin-top:6px;padding-top:6px;border-top:1px solid var(--border)}
+.verify-fresh p{margin:2px 0;white-space:pre-wrap;overflow-wrap:anywhere}
+.verify-fresh-result{font-weight:600;color:var(--text-bright)}
+.verify-fresh-running{color:var(--text-muted);font-style:italic}
+.verify-fresh-error{color:var(--danger-text)}
+.verify-fresh-link{color:var(--accent);font-weight:400}
+.verify-fresh-btn{font:inherit;font-size:12px;font-weight:600;padding:3px 12px;border-radius:8px;cursor:pointer;background:var(--accent-bg);color:var(--accent);border:1px solid var(--accent-border)}
+.verify-fresh-btn:hover{border-color:var(--accent)}
+.verify-fresh-btn:disabled{opacity:.6;cursor:default}

data/lib/samagotchi/web/public/verify_preset.js

@@ -0,0 +1,18 @@
+// The built-in Verify preset, after web.annotate_presets' on both pages
+// (docs/internals/participants.md, Deep links): the quote, then the ask to
+// check it against the code and end on a verdict line a later card can
+// read. Like a preset of the config's, it fills the box and never sends.
+// A preset is a text (its label) or {label, text} (annotate_bar.js). A
+// module of its own: static JS is cached at unversioned URLs, and a new
+// export on an old module would blank the page.
+
+export const VERIFY_PRESET = Object.freeze({
+  label: "Verify",
+  text: "Verify this claim against the code. If this session's context doesn't settle it, say so. "
+    + "End with a line `Verdict: confirmed|refuted|unclear — <one-line reason>`.",
+});
+
+// +presets+ (annotate_presets.js parsePresets) with Verify after them.
+export function withVerify(presets) {
+  return [...(presets || []), VERIFY_PRESET];
+}

data/lib/samagotchi/web/push/attention.rb

@@ -49,7 +49,7 @@ module Samagotchi
 
         # What +nxt+ newly needs the user for, compared with +prev+ (nil for
         # a session not seen yet): a new question first, then a new card,
-        # then a finished turn (notify.js attentionFor's order).
+        # then a finished turn or its new Verify verdict (notify.js's order).
         # @return [Event, nil]
         def for(prev, nxt)
           return nil unless nxt && nxt[:id]
@@ -70,14 +70,20 @@ module Samagotchi
           turn_event(prev, nxt)
         end
 
-        # A top-level turn that ended since +prev+: failed, or done when it
-        # ran long or nobody watched it. A delegated child's turn is
-        # reported by its parent's.
+        # A top-level turn that ended since +prev+: its new Verify verdict,
+        # failed, or done when it ran long or nobody watched it. A delegated
+        # child's turn is reported by its parent's.
         def turn_event(prev, nxt)
           turn = nxt[:last_turn]
           return nil unless turn.is_a?(Hash) && turn["ended_at"]
           return nil if turn["ended_at"] == prev&.dig(:last_turn, "ended_at") || nxt[:parent_id]
 
+          verdict = nxt[:last_verdict]
+          if verdict.is_a?(Hash) && present?(verdict[:check_turn_id]) &&
+             verdict[:check_turn_id] != prev&.dig(:last_verdict, :check_turn_id)
+            return Event.new(reason: "verdict", session_id: nxt[:id], key: key(nxt[:id], verdict[:check_turn_id]), hold: nil)
+          end
+
           reason = case turn["outcome"]
                    when "failed" then "failed"
                    when "completed"
@@ -133,10 +139,24 @@ module Samagotchi
           name = (summary && [summary[:title], summary[:auto_title], summary[:recap], summary[:first_preview], summary[:last_prompt]]
                              .find { |v| present?(v) }) ||
                  "chi session"
-          body = reason == "done" ? "done in #{seconds(summary&.dig(:last_turn) || {}).round} s" : BODIES.fetch(reason, "")
+          body = case reason
+                 when "done" then "done in #{seconds(summary&.dig(:last_turn) || {}).round} s"
+                 when "verdict" then verdict_text(summary&.dig(:last_verdict) || {})
+                 else BODIES.fetch(reason, "")
+                 end
           [clip(name.to_s.strip, TITLE_MAX), body]
         end
 
+        def verdict_text(verdict)
+          result = verdict[:verdict].to_s
+          icon = { "confirmed" => "✅", "refuted" => "❌", "unclear" => "❓" }.fetch(result, "")
+          by = verdict[:by_name]
+          by = verdict[:by].nil? ? "You" : "A participant" unless present?(by)
+          reason = clip(verdict[:reason].to_s, 120)
+          "#{by}: #{icon} #{result} — #{reason}"
+        end
+        private_class_method :verdict_text
+
         # notify.js Number(turn.seconds): anything that isn't a number is 0.
         def seconds(turn)
           value = turn["seconds"]