@agentwhy/cli 0.2.1 → 0.3.1

package/dist/report/render/report-page/report-page-renderer.js

@@ -10,7 +10,8 @@ import { STATUS_ICON_STYLE } from '../ui/status-icon.js';
 import { BUTTON_STYLE } from '../ui/button.js';
 import { CALLOUT_STYLE } from '../ui/callout.js';
 import { CHECKLIST_SCRIPT, CHECKLIST_STYLE } from '../ui/checklist.js';
-import { confirmDialog, CONFIRM_DIALOG_STYLE } from '../ui/confirm-dialog.js';
+import { confirmCase, confirmDialog, CONFIRM_DIALOG_STYLE } from '../ui/confirm-dialog.js';
+import { MODE_SVG } from '../ui/mode-icon.js';
 import { DRAWER_STYLE } from '../ui/drawer.js';
 import { FILE_CHIP_SCRIPT, FILE_CHIP_STYLE } from '../ui/file-chip.js';
 import { FOLD_LINE_STYLE } from '../ui/fold-line.js';
@@ -90,7 +91,7 @@ export class ReportPageRenderer {
             scripts: [POPUP_SCRIPT, CHECKLIST_SCRIPT, ASK_PANEL_SCRIPT, FILE_CHIP_SCRIPT, PILL_TABS_SCRIPT, FIX_WIZARD_SCRIPT, HELPERS_SCRIPT, FILES_SCRIPT, ADVANCED_SCRIPT, REPORT_VIEWS_SCRIPT],
             sidebar: appSidebar({ home: page.withIndexLink ? 'index.html' : '#todo', items: nav, showProject: false }),
             main: '<section id="todo" data-view>' + toDoView(items, report, done, recordGaps(report).any, clock, rows, { back: page.withIndexLink, ...(page.title === undefined ? {} : { title: page.title }) }, names) + '</section>' +
-                '<section id="files" data-view>' + filesView(rows, items, protectKeys, names) + '</section>' +
+                '<section id="files" data-view>' + filesView(rows, items, protectKeys, names, report.everydayNamesLeftOut ?? 0) + '</section>' +
                 '<section id="helpers" data-view>' + helpersView(report, items, names) + '</section>' +
                 '<section id="advanced" data-view>' + advancedView(report, items, done, clock, names) + '</section>' +
                 // Windows opened from more than one view live outside all of them (a hidden view hides what is in it).
@@ -107,23 +108,61 @@ export class ReportPageRenderer {
  * "Protect this file?" (P38, P38a-c): the file's own path, or every file of its name where the option is ticked. The
  * page's script sends the rule served, and otherwise shows the `init --protect` command in the window (R61). For an
  * everyday file it is "Make this file private?": the same rule, which is what adding a file in Settings writes.
+ *
+ * `block-or-track-from-the-report` BT1: where the page can say exactly what holds the file - an everyday file, and a
+ * private one no rule of the project holds - the window asks which mode it gets, **Block** or **Track**, in Settings'
+ * own words and glyphs (F57). Where this run could not read the settings at all (*Can't tell*), it asks nothing: a
+ * told entry written under a deny rule nobody can see changes nothing while reading as a change (BTD3).
  */
 function protectWindow(row, at, patterns, names) {
     const path = row.path;
     // The option protects every file of its name, so it says the name alone; the chip says which file this is.
     const name = e(nameOf(path));
-    const words = row.protection === 'na' ? 'mp' : 'pr';
+    const everyday = row.protection === 'na';
+    const words = everyday ? 'mp' : 'pr';
+    const found = ' data-pattern="' + e(patterns.exact) + '" data-pattern-every="' + e(patterns.every) + '"';
+    const sentence = (key) => inLanguages((t) => t(key, { path: '<code>' + e(path) + '</code>' }));
+    // Each case has a tick of its own, so the one the person sees is the one the script reads (BT3).
+    const tick = (which, key) => '<label class="pr-option"><input type="checkbox" data-protect-every="' + which + '"> ' +
+        inLanguages((t) => t(key, { name: '<code>' + name + '</code>' })) + '</label>';
+    const say = (key) => inLanguages((t) => t(key));
+    // BT8: Block hands over `init --protect`, as it always has; no flag writes a told list, so Track hands over the
+    // command that opens the page where the change can be made, as Settings' own switch does.
+    const handover = (which, body) => '<div class="wz-handover" data-note-command="' + which + '" hidden><p class="wz-handover-text">' + body + '</p>' + commandRow() + '</div>';
+    const note = (body) => '<div class="cf-note" data-protect-note>' +
+        '<p class="wz-reason" data-note-reason role="alert" hidden></p>' + body + '</div>';
+    if (!everyday && row.protection !== 'no') {
+        return confirmDialog({
+            id: 'protect-' + at,
+            title: say(words + '.title'),
+            subject: '<span class="tc-chip" title="' + e(path) + '">' + e(names(path)) + '</span>',
+            sentence: sentence(words + '.sentence'),
+            option: tick('block', words + '.option'),
+            cancel: say('app.cancel'),
+            confirm: say(words + '.confirm'),
+            confirmAttributes: ' data-protect="' + at + '" data-protect-mode="block"' + found,
+            note: note(handover('block', say(words + '.cmd'))),
+        });
+    }
+    const mode = (which) => ({
+        mark: MODE_SVG[which],
+        markTone: which === 'block' ? 'mint' : 'sand',
+        name: say('md.' + which),
+        why: say('md.' + which + '.why'),
+        sentence: sentence(words + (which === 'block' ? '' : '.tell') + '.sentence'),
+        option: tick(which, words + (which === 'block' ? '' : '.tell') + '.option'),
+        confirm: say('md.go.' + which),
+        // BT4: coral only where the change takes protection away - Track on a private file, which `refuse` was keeping
+        // shell commands off. On an everyday file nothing held it, so tracking it only adds a notice, and is mint (BTD4).
+        ...(which === 'tell' && !everyday ? { tone: 'primary' } : {}),
+        confirmAttributes: ' data-protect="' + at + '" data-protect-mode="' + which + '"' + found,
+    });
     return confirmDialog({
         id: 'protect-' + at,
-        title: inLanguages((t) => t(words + '.title')),
+        title: say(words + '.title'),
         subject: '<span class="tc-chip" title="' + e(path) + '">' + e(names(path)) + '</span>',
-        sentence: inLanguages((t) => t(words + '.sentence', { path: '<code>' + e(path) + '</code>' })),
-        option: '<label class="pr-option"><input type="checkbox" data-protect-every> ' + inLanguages((t) => t(words + '.option', { name: '<code>' + name + '</code>' })) + '</label>',
-        cancel: inLanguages((t) => t('app.cancel')),
-        confirm: inLanguages((t) => t(words + '.confirm')),
-        confirmAttributes: ' data-protect="' + at + '" data-pattern="' + e(patterns.exact) + '" data-pattern-every="' + e(patterns.every) + '"',
-        note: '<div class="cf-note" data-protect-note>' +
-            '<p class="wz-reason" data-note-reason role="alert" hidden></p>' +
-            '<div class="wz-handover" data-note-command hidden><p class="wz-handover-text">' + inLanguages((t) => t(words + '.cmd')) + '</p>' + commandRow() + '</div></div>',
+        cancel: say('app.cancel'),
+        choice: { question: say('md.q'), options: [mode('block'), mode('tell')] },
+        note: note(confirmCase(1, handover('block', say(words + '.cmd'))) + confirmCase(2, handover('tell', say('md.cmd.tell')))),
     });
 }

package/dist/report/render/report-page/story-window.js

@@ -45,7 +45,7 @@ export function storyPopup(story, subject, id, sessionId, clock, extras, action)
         '<p class="sw-summary">' + (subject.summary ?? summaryOf(story, subject.keys)) + '</p>' +
         (extras.context === undefined ? '' : '<p class="sw-context">' + extras.context + '</p>') + '</div>';
     const body = '<div class="sw-body">' + pillTabs([
-        { label: label('st.tab.story'), panel: storyPanel(story, subject.keys, clock, subject.exposed, names) },
+        { label: label('st.tab.story'), panel: storyPanel(story, subject, clock, names) },
         { label: label('st.tab.diagram'), panel: diagramPanel(story, subject, names) },
         { label: label('st.tab.record'), panel: recordPanel(story, subject, sessionId, clock, names) },
         ...(extras.tabs ?? []),
@@ -96,6 +96,7 @@ function sentences(entries, keys, names) {
                 const lines = (t) => t(entry.inResult === true ? 'st.sub.inResultLines' : 'st.sub.lines', { n: entry.lines ?? 0, did: entry.did === undefined ? '' : '<code>' + e(entry.did) + '</code>' });
                 return { title: (t) => t(title), sub: helperFirst ? job : entry.lines !== undefined ? lines : entry.inResult === true ? inResult : did };
             }
+            case 'changed': return { title: (t) => t('st.e.changed'), sub: helperFirst ? job : did };
             case 'named': return { title: (t) => t('st.e.named'), sub: helperFirst ? job : did };
             case 'unknown': return { title: (t) => t('st.e.unknown'), sub: helperFirst ? job : (t) => t('st.sub.unknown') };
             case 'stopped': return { title: (t) => t('st.e.stopped'), sub: helperFirst ? job : did };
@@ -120,7 +121,11 @@ function sentences(entries, keys, names) {
  * P13: one entry per record that named the file, then the AI company - whose line never says what it keeps (F24) - where
  * its contents reached an AI at all.
  */
-function storyPanel(story, keys, clock, exposed, names) {
+function storyPanel(story, subject, clock, names) {
+    const { keys, exposed } = subject;
+    // EF1: the same fact, in the tone the file deserves. "It was exposed", in coral, warns about a file nobody marked
+    // private and that the row says there is nothing to do about; the contents did reach the AI, and that is all it says.
+    const everyday = subject.everyday === true;
     const lines = sentences(story.entries, keys, names);
     // P13, M4: each entry's time beside it where the record has one; the entries stay in the record's order either way.
     const timed = story.entries.some((each) => each.at !== undefined);
@@ -131,7 +136,7 @@ function storyPanel(story, keys, clock, exposed, names) {
         (sub === '' ? '' : '<div class="sw-ev-sub">' + sub + '</div>') + '</div></li>';
     return '<ol class="sw-story">' +
         story.entries.map((each, at) => entry(avatar(initialsOf(each.agent), each.agent.ordinal === undefined ? 'coral' : 'grey', 40), inLanguages((t) => whoOf(each.agent, t)), inLanguages((t) => lines[at]?.title(t) ?? ''), inLanguages((t) => lines[at]?.sub(t) ?? ''), !exposed && at === story.entries.length - 1, false, each.at)).join('') +
-        (exposed ? entry(avatar('↗', 'alert', 40), inLanguages((t) => t('st.company')), inLanguages((t) => t('st.e.company')), inLanguages((t) => t('st.sub.company')), true, true) : '') +
+        (exposed ? entry(avatar('↗', everyday ? 'grey' : 'alert', 40), inLanguages((t) => t(everyday ? 'st.company.everyday' : 'st.company')), inLanguages((t) => t('st.e.company')), inLanguages((t) => t('st.sub.company')), true, !everyday) : '') +
         '</ol>';
 }
 /** What a node of the diagram says it did: "read the keys · 2×", "passed it back". */
@@ -140,19 +145,25 @@ function didOf(holder, story, keys) {
     const named = story.entries.some((entry) => entry.agent.index === holder.agent.index && entry.kind === 'named');
     return inLanguages((t) => [
         ...(holder.read ? [t(keys ? 'st.d.readKeys' : 'st.d.readIt') + (reads > 1 ? ' · ' + t('st.d.times', { n: reads }) : '')] : []),
-        ...(!holder.read && named ? [t('st.d.named')] : []),
+        ...(holder.changed ? [t('st.d.changed')] : []),
+        ...(!holder.read && !holder.changed && named ? [t('st.d.named')] : []),
         ...(holder.passed ? [t('st.d.passed')] : []),
         ...(holder.saved ? [t('st.d.saved')] : []),
         ...(holder.stopped ? [t('st.d.stopped')] : []),
     ].join(' · '));
 }
+/** What the diagram's file box is called: a private file, or a file no rule marks private (EF1). */
+function fileSub(subject) {
+    return subject.everyday === true ? 'st.d.fileEveryday' : 'st.d.file';
+}
 /** How an AI's line reaches the file: read beats stopped beats only its name; none where it only passed something on. */
 function reachOf(holder, story) {
     if (holder.read)
         return 'read';
     if (holder.stopped)
         return 'stopped';
-    return story.entries.some((entry) => entry.agent.index === holder.agent.index && entry.kind === 'named') ? 'named' : undefined;
+    // A write reaches the file as surely as a listing names it, and says nothing about what was shown to the AI.
+    return story.entries.some((entry) => entry.agent.index === holder.agent.index && (entry.kind === 'named' || entry.kind === 'changed')) ? 'named' : undefined;
 }
 const NODE_HEIGHT = 64;
 const ROW = 84;
@@ -238,9 +249,9 @@ function diagramPanel(story, subject, names) {
             return box(at(idOf(holder)), initialsOf(holder.agent), toneOf(reach), inLanguages((t) => whoOf(holder.agent, t)), didOf(holder, story, keys), reach === 'read' ? ' hd-risk' : '');
         }).join('') +
         (exposed || subject.look === undefined
-            ? box(at('file'), '!', 'coral', '<span class="hd-mono">' + e(names(subject.path)) + '</span>', inLanguages((t) => t('st.d.file')), ' hd-risk')
-            : box(at('file'), subject.look.glyph, subject.look.tone, '<span class="hd-mono">' + e(names(subject.path)) + '</span>', inLanguages((t) => t('st.d.file')))) +
-        (company === undefined ? '' : box(at('company'), '↗', 'company', inLanguages((t) => t('st.company')), inLanguages((t) => t('st.d.company')), ' sd-company'));
+            ? box(at('file'), subject.everyday === true ? '·' : '!', subject.everyday === true ? 'grey' : 'coral', '<span class="hd-mono">' + e(names(subject.path)) + '</span>', inLanguages((t) => t(fileSub(subject))), subject.everyday === true ? '' : ' hd-risk')
+            : box(at('file'), subject.look.glyph, subject.look.tone, '<span class="hd-mono">' + e(names(subject.path)) + '</span>', inLanguages((t) => t(fileSub(subject))))) +
+        (company === undefined ? '' : box(at('company'), '↗', subject.everyday === true ? 'grey' : 'company', inLanguages((t) => t(subject.everyday === true ? 'st.company.everyday' : 'st.company')), inLanguages((t) => t('st.d.company')), subject.everyday === true ? '' : ' sd-company'));
     return '<div class="hd-scroll sd-diagram"><div class="hd-board" data-diagram style="min-width:' + Math.round(width * 0.8) + 'px;height:' + height + 'px">' +
         '<svg class="hd-lines" viewBox="0 0 ' + width + ' ' + height + '" preserveAspectRatio="none" aria-hidden="true">' + lines.join('') + '</svg>' +
         legend + boxes + '</div></div>' +
@@ -252,7 +263,9 @@ function recordPanel(story, subject, sessionId, clock, names) {
     const lines = sentences(story.entries, subject.keys, names);
     const numbers = stats([
         { label: label('st.stat.opened'), value: String(story.opened) },
-        { label: label('st.stat.readers'), value: String(story.readers), tone: 'coral' },
+        // Coral counts a private file's readers. On a file nobody marked private it would colour an ordinary read as a
+        // finding, and the row beside it says there is nothing to do (EF1).
+        { label: label('st.stat.readers'), value: String(story.readers), ...(subject.everyday === true ? {} : { tone: 'coral' }) },
         { label: label('st.stat.stopped'), value: String(story.stopped) },
         { label: label('st.stat.record'), value: label(story.complete ? 'st.complete' : 'st.gaps'), ...(story.complete ? { tone: 'mint' } : {}) },
     ], 'record');
@@ -272,8 +285,13 @@ function recordPanel(story, subject, sessionId, clock, names) {
             '<span>' + (entry.did === undefined ? '<span class="sw-dim">—</span>' : '<span class="sw-tool">' + e(entry.did) + '</span>') + '</span>' +
             '<span>' + tag(label('st.res.' + entry.outcome), entry.outcome === 'succeeded' ? 'mint' : entry.outcome === 'blocked' ? 'grey' : 'coral', 'sm') + '</span>' +
             '<span class="sw-mono sw-dim">' + entry.evidence.map((one) => e(one)).join(' – ') + '</span></div>').join('') +
-        '</div>';
+        '</div>' +
+        // EF8: a story stops at the calls a window is worth, and the rest are counted - never dropped in silence.
+        (story.leftOut === undefined ? '' : '<p class="sw-times-note">' + label('st.rec.leftOut', { n: story.leftOut }) + '</p>');
     const yes = (on) => '<span class="sw-yn' + (on ? ' sw-yes' : '') + '">' + label(on ? 'st.yes' : 'st.no') + '</span>';
+    // EF4: agentwhy follows a value out of a protected file only, so for any other file these four were never looked for.
+    // "No" would be a claim it cannot support, and invariant 4 forbids exactly that.
+    const followed = (on) => story.traced ? yes(on) : '<span class="sw-yn sw-untracked">' + label('st.untracked') + '</span>';
     const roleOf = (agent, t) => agent.ordinal === undefined ? t('st.role.main')
         : agent.broughtBy === undefined ? t('st.role.helperAny')
             : t('st.role.helper', { who: agent.broughtBy === 'main' ? t('st.mainLower') : t('st.helper', { ordinal: agent.broughtBy }) });
@@ -283,7 +301,8 @@ function recordPanel(story, subject, sessionId, clock, names) {
         story.holders.map((holder) => '<div class="sw-grid sw-grid-each">' +
             '<span class="sw-strong">' + inLanguages((t) => whoOf(holder.agent, t)) + '</span>' +
             '<span class="sw-dim">' + inLanguages((t) => roleOf(holder.agent, t)) + '</span>' +
-            [holder.read, holder.passed, holder.saved, holder.repeated, holder.used].map((on) => '<span>' + yes(on) + '</span>').join('') +
+            '<span>' + yes(holder.read) + '</span>' +
+            [holder.passed, holder.saved, holder.repeated, holder.used].map((on) => '<span>' + followed(on) + '</span>').join('') +
             '<span class="sw-mono">' + holder.agent.actions + '</span></div>').join('') +
         '</div>';
     const rule = ruleKey(subject.pattern);
@@ -291,7 +310,8 @@ function recordPanel(story, subject, sessionId, clock, names) {
     const details = '<div class="sw-rec-title sw-rec-alone">' + label('st.rec.details') + '</div><div class="sw-facts">' +
         fact('st.fact.path', e(subject.path), true) +
         fact('st.fact.rule', subject.pattern === undefined ? '—' : e(subject.pattern), true) +
-        fact('st.fact.why', label(rule === undefined ? 'st.why.other' : rule.replace('rule.', 'st.why.')), false) +
+        // EF1: a file no rule marks private has no answer to "why it's private", and is not given one.
+        (subject.everyday === true ? '' : fact('st.fact.why', label(rule === undefined ? 'st.why.other' : rule.replace('rule.', 'st.why.')), false)) +
         fact('st.fact.session', e(sessionId), true) +
         fact('st.fact.complete', label(story.complete ? 'st.complete.yes' : 'st.complete.no'), false) +
         '</div>';
@@ -347,6 +367,7 @@ export const STORY_WINDOW_STYLE = String.raw `
 .sw-dot{width:8px;height:8px;border-radius:50%;background:var(--coral);flex:none}.sw-dot-grey{background:var(--white-35)}
 .sw-tool{font-family:var(--mono);font-size:13px;color:var(--text);background:var(--white-07);border:1px solid var(--white-10);border-radius:6px;padding:3px 8px}
 .sw-yn{font-size:12px;font-weight:700;border-radius:999px;padding:4px 11px;color:var(--text-2);background:var(--white-07)}
+.sw-untracked{font-size:11px;letter-spacing:0.02em;color:var(--text-3);background:transparent;border:1px solid var(--white-12)}
 .sw-yes{color:var(--on-coral);background:var(--coral)}
 .sw-facts{display:grid;grid-template-columns:repeat(auto-fit,minmax(320px,1fr));border-radius:14px;border:1px solid var(--white-09);overflow:hidden}
 .sw-fact{display:grid;grid-template-columns:150px minmax(0,1fr);gap:14px;padding:14px 18px;border-bottom:1px solid var(--white-06);border-right:1px solid var(--white-06);align-items:baseline}

package/dist/report/render/report-page/to-do-view.js

@@ -95,6 +95,20 @@ function codexGap(report) {
         return 'legacy';
     return capabilities.some((one) => one.question === 'actions' && one.state !== 'supported') ? 'partial' : undefined;
 }
+/**
+ * Whether a record's gaps leave nothing about a private file not known (F17, amended 2026-10-05): no private file whose
+ * row is an attempt without a known end - an attempt like that at a file the row already shows read adds nothing to
+ * what is known of it - no file's text a process printed that no agent is shown to have received (X14), no command of a
+ * cell left unread (X23a), and no gap but the format's own - what it never records, a text that may not be whole, a copy
+ * of the agent's own words joined to no utterance (X31). A missing source, a record that could not be read, an action
+ * or an agent left unjoined: each leaves what happened not known.
+ */
+function nothingUnknown(report, rows) {
+    const formats = new Set(['capability-absent', 'capability-unmeasured', 'result-incomplete']);
+    const formatOwn = (gap) => (formats.has(gap.kind) && !(gap.kind === 'capability-unmeasured' && gap.question === 'actions')) ||
+        (gap.kind === 'relation-unresolved' && gap.question === 'own-words');
+    return !rows.some((row) => row.private && row.access === 'unknown') && (report.tally.printedUnseen ?? 0) === 0 && report.gaps.every(formatOwn);
+}
 /** P60: a record with a gap says so above the list, and where to read what is missing - for Codex, in its own words (X23). */
 function gapBanner(report) {
     const words = codexGap(report) === undefined ? 'rp.gap.banner' : 'rp.gap.codex.banner';
@@ -131,16 +145,30 @@ function nothingView(report, gaps, rows, context, names) {
         // The maintainer, 2026-09-30: where the record shows a private file stopped, and none whose outcome is not recorded,
         // that is said in mint - the protection worked - and the gap moves to the line under it; never "All good.".
         const stopped = rows.some((row) => row.private && row.access === 'stopped') && !rows.some((row) => row.private && row.access === 'unknown');
+        // F17 as amended 2026-10-05 by the maintainer, here as on the conversation's row: a Codex record whose gaps are the
+        // format's own, and that leaves nothing about a private file not known, is answered as the clean page answers -
+        // "All good." / "Nothing to fix." ("Claude's looks better", the same day) - and what Codex does not write down is
+        // said in the lead, after what the clean page would say there. Only where it reached a private file or was stopped
+        // from one: with neither, the gaps are all the record says, and its row says "Couldn't check fully".
+        const known = codex !== undefined && (stopped || report.tally.filesReached > 0) && nothingUnknown(report, rows);
+        const calm = stopped || known;
+        // A read the person let happen is said as the clean page says it (F57a); names alone, as nothing private read.
+        const answer = stopped ? 'rp.gap.stopped' : allowedReads(rows).length > 0 ? 'rp.nothing.allowed' : 'rp.nothing.title';
+        const codexLead = codex === 'legacy' ? 'rp.gap.codex.legacy' : 'rp.gap.codex.lead';
         return '<div class="rp-narrow rp-alone">' +
             hero({
                 eyebrow: '',
-                fact: say('rp.gap.fact'),
-                action: say(stopped ? 'rp.gap.stopped' : codex === undefined ? 'rp.gap.action' : codex === 'legacy' ? 'rp.gap.codex.legacyAction' : 'rp.gap.codex.action'),
-                lead: say(codex === undefined ? 'rp.gap.body' : codex === 'legacy' ? 'rp.gap.codex.legacy' : stopped ? 'rp.gap.codex.lead' : 'rp.gap.codex.body'),
+                fact: say(known ? 'rp.nothing.fact' : 'rp.gap.fact'),
+                action: say(known ? 'rp.nothing.action' : stopped ? 'rp.gap.stopped'
+                    : codex === undefined ? 'rp.gap.action' : codex === 'legacy' ? 'rp.gap.codex.legacyAction' : 'rp.gap.codex.action'),
+                lead: known ? inLanguages((t) => t(answer) + ' ' + t(codexLead))
+                    : say(codex === undefined ? 'rp.gap.body' : codex === 'legacy' ? 'rp.gap.codex.legacy' : stopped ? 'rp.gap.codex.lead' : 'rp.gap.codex.body'),
                 centred: true,
-                ...(stopped ? { calm: true, mark: 'tick' } : { mark: 'unsure' }),
+                ...(calm ? { calm: true, mark: 'tick' } : { mark: 'unsure' }),
             }) +
-            heroGo(say('rp.gap.link')) +
+            // The maintainer, 2026-10-05: always white. Reading what the record misses fixes nothing, and coral is for a fix
+            // (guidelines §1); a stop and "All good." stood over a coral button that read as one more thing to do.
+            heroGo(say('rp.gap.link'), 'light') +
             youAsked(context.title) + whatHappened(report, rows, { shape: false, gaps }, names) + back + '</div>';
     }
     const named = rows.filter((row) => row.private && row.access === 'name').length;
@@ -158,8 +186,8 @@ function nothingView(report, gaps, rows, context, names) {
         pill({ label: say('rp.clean.record'), tone: 'secondary', href: '#advanced' }) + '</div></details></div>';
 }
 /** The one button under a screen's answer, where it leads to the record (P59, P60). */
-function heroGo(label) {
-    return '<div class="rp-hero-go">' + pill({ label, tone: 'primary', size: 'lg', href: '#advanced', attributes: ' data-record-link' }) + '</div>';
+function heroGo(label, tone = 'primary') {
+    return '<div class="rp-hero-go">' + pill({ label, tone, size: 'lg', href: '#advanced', attributes: ' data-record-link' }) + '</div>';
 }
 /**
  * The private files the AI read that ask for nothing (F57a): on a screen with nothing to fix, every private file read is
@@ -202,10 +230,14 @@ function whatHappened(report, rows, under, names) {
             line: say('rp.clean.allowedLine', { n: allowed.length }), paths: allowed });
     }
     const named = privately('name');
+    // A file whose text a process printed and no agent is shown to have seen (X14): what it saw of it is not known.
+    const printed = new Set(report.stories.filter((story) => story.read === true).map((story) => story.path));
     if (named.length > 0) {
         lines.push({ glyph: LOOKS.name.glyph, tone: LOOKS.name.tone, title: say('rp.clean.named', { n: named.length }), tag: { label: say(LOOKS.name.label), tone: 'blue' },
-            // X10: under P60's gap card a name seen is not "nothing to do" - the record cannot show the AI saw no more.
-            line: say(under.gaps ? 'rp.clean.namedLineGap' : 'rp.clean.namedLine', { n: named.length }), paths: named });
+            // X10: a name seen is not "nothing to do" where an attempt has no known end - the record cannot show the AI saw no
+            // more. Amended 2026-10-05 by the maintainer: under P60's gap card alone, with every attempt's end known, it is,
+            // as its row in Conversations says.
+            line: say(under.gaps && (unknown.length > 0 || named.some((path) => printed.has(path))) ? 'rp.clean.namedLineGap' : 'rp.clean.namedLine', { n: named.length }), paths: named });
     }
     const stopped = privately('stopped');
     if (stopped.length > 0) {
@@ -262,7 +294,7 @@ export const TO_DO_VIEW_STYLE = String.raw `
 .rp-todo-label{font-size:14px;color:var(--text-2)}
 .rp-gap{display:flex;gap:12px;align-items:flex-start;padding:14px 16px;margin:0 0 18px;border-radius:14px;background:var(--coral-07);border:1px solid var(--coral-35);font-size:15px;line-height:1.5}
 .rp-gap-mark{flex:none;width:24px;height:24px;border-radius:50%;background:var(--coral);color:var(--on-coral);font-size:14px;font-weight:700;display:flex;align-items:center;justify-content:center}
-.rp-gap-link{font-weight:600;color:var(--coral-text);white-space:nowrap}
+.rp-gap-link{font-weight:600;color:var(--text);white-space:nowrap}.rp-gap-link:hover{color:var(--white);text-decoration:underline}
 .rp-hero-go{display:flex;justify-content:center;margin:-12px 0 36px}
 .rp-narrow .hero-lead code{font-size:14px;color:var(--text-soft)}
 /* X28: which AI the page is about, readable at a glance above the heading - the badge of the kit, larger here alone. */

package/dist/report/render/ui/app-sidebar.js

@@ -26,13 +26,35 @@ export function appSidebar(spec) {
                 (spec.project === undefined || spec.place === undefined ? '' : '<span class="sb-project-place">' + e(spec.place) + '</span>') +
                 '</span>' + (link ? '<span class="sb-project-go" aria-hidden="true">›</span></a>' : '</div>')) +
         '<nav class="sb-nav"' + labelAttributes((t) => t('app.nav')) + '>' + spec.items.map(item).join('') + '</nav>' +
-        '<div class="sb-foot">' +
+        '<div class="sb-foot">' + support() +
         '<select class="sb-lang js-only" id="lang"' + labelAttributes((t) => t('app.lang')) + '>' +
         LANGS.map((lang) => '<option value="' + lang + '"' + (lang === DEFAULT_LANG ? ' selected' : '') + '>' + LANG_NAMES[lang] + '</option>').join('') +
         '</select>' +
         '<div class="sb-local"><span class="sb-dot" aria-hidden="true"></span><span>' + inLanguages((t) => t('app.local')) + '</span></div>' +
         '</div></aside>';
 }
+/**
+ * Where a person can support agentwhy (F7, added 2026-10-05 by the maintainer): the project's sponsors page, and its
+ * page for companies. Plain links, opened in a new tab with no referrer, as F23's provider links are - a served page's
+ * address holds its token - so the page still makes no request of its own, and "Nothing is uploaded" stays true.
+ */
+const SUPPORT = [
+    { name: 'app.support.sponsor', href: 'https://www.agentwhy.dev/sponsors.html', main: true },
+    { name: 'app.support.companies', href: 'https://www.agentwhy.dev/companies.html' },
+];
+/** The only addresses outside the page any page holds: each a link a person may click, never a request (F7). */
+export const SUPPORT_ADDRESSES = SUPPORT.map((link) => link.href);
+/**
+ * Quiet by design (the maintainer, 2026-10-05: "subtle, not in the user's eyes, premium"): two small links in the
+ * column's muted grey, no card, no colour and no count, that brighten only under the pointer - the page's work stays
+ * the one thing that asks for attention (guidelines §1).
+ */
+function support() {
+    return '<div class="sb-support">' +
+        SUPPORT.map((link) => '<a class="sb-support-link' + (link.main === true ? ' sb-support-main' : '') + '" href="' + link.href + '"' +
+            ' target="_blank" rel="noopener noreferrer"><span>' + inLanguages((t) => t(link.name)) + '</span><span class="sb-support-go" aria-hidden="true">↗</span></a>').join('') +
+        '</div>';
+}
 /** The first letter or digit of a folder's name, for its mark: `test-project` is T, `_scratch` is S. */
 export function initial(name) {
     return (/[\p{L}\p{N}]/u.exec(name)?.[0] ?? '·').toUpperCase();
@@ -71,10 +93,17 @@ export const APP_SIDEBAR_STYLE = String.raw `
 .sb-lang{align-self:flex-start;margin:0 10px;background:var(--card);color:var(--text-2);border:1px solid var(--white-10);border-radius:8px;padding:5px 8px;font:inherit;font-size:13px}
 .sb-local{padding:16px 10px 0;border-top:1px solid var(--white-07);display:flex;gap:10px;font-size:13px;line-height:1.5;color:var(--text-2)}
 .sb-dot{flex:none;width:8px;height:8px;border-radius:50%;background:var(--mint);margin-top:6px}
+.sb-support{display:flex;flex-direction:column;gap:2px;padding:0 10px}
+.sb-support-link{display:inline-flex;align-items:center;gap:6px;align-self:flex-start;padding:3px 0;font-size:12.5px;font-weight:500;letter-spacing:0.01em;color:var(--text-3);transition:color .15s}
+.sb-support-link:hover{color:var(--text-soft)}
+.sb-support-main:hover{color:var(--coral-text)}
+.sb-support-go{font-size:11px;opacity:.7;transition:transform .15s}
+.sb-support-link:hover .sb-support-go{transform:translate(1px,-1px)}
 @media (max-width:860px){
 .sb{position:static;width:auto;height:auto;border-right:0;border-bottom:1px solid var(--white-07);padding:16px}
 .sb-brand{padding:0 4px 14px}.sb-project{margin-bottom:12px}
 .sb-nav{flex-direction:row;overflow-x:auto;gap:6px}.sb-item{white-space:nowrap}
-.sb-foot{flex-direction:row;align-items:center;justify-content:space-between;margin-top:12px}.sb-local{border-top:0;padding:0}.sb-lang{margin:0}
+.sb-foot{flex-direction:row;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:10px 14px;margin-top:12px}.sb-local{border-top:0;padding:0}.sb-lang{margin:0}
+.sb-support{flex-direction:row;flex-wrap:wrap;gap:4px 16px;padding:0;flex-basis:100%}
 }
 `;

package/dist/report/render/ui/confirm-dialog.js

@@ -2,23 +2,58 @@
 // SPDX-License-Identifier: Apache-2.0
 import { pill } from './button.js';
 import { CLOSES, popup } from './popup.js';
+/**
+ * The parts one case supplies, each drawn outside `inLanguages` so the swap and the language rule never fight over
+ * `display`. Exported for what a window builds itself and hands over as one piece - the note, whose handed-over
+ * command differs with the case (BT8).
+ */
+export function confirmCase(at, body) {
+    return inCase(at, body);
+}
+function inCase(at, body) {
+    return body === '' ? '' : '<span class="cf-case cf-case-' + at + '">' + body + '</span>';
+}
+function confirmButton(spec) {
+    return pill({ label: spec.confirm, tone: spec.tone ?? 'mint', size: 'lg', button: true, attributes: spec.confirmAttributes });
+}
+function choiceBlock(id, choice) {
+    const question = id + '-q';
+    // A real radio behind the kit's own ring (`scope-choice.ts`), so the choice is made and read the same with a script
+    // or without one, and the card that is chosen is seen before it is read (guidelines §9.3).
+    const option = (one, at) => '<label class="cf-opt cf-opt-' + (one.markTone ?? 'grey') + '">' +
+        '<input class="cf-radio cf-radio-' + at + '" type="radio" name="' + id + '-case" value="' + at + '"' + (at === 1 ? ' checked' : '') + '>' +
+        '<span class="cf-ring" aria-hidden="true"></span>' +
+        '<span class="cf-opt-mark" aria-hidden="true">' + one.mark + '</span>' +
+        '<span><span class="cf-opt-name">' + one.name + '</span><span class="cf-opt-why">' + one.why + '</span></span></label>';
+    return '<div class="cf-choice" role="radiogroup" aria-labelledby="' + question + '">' +
+        '<span class="cf-choice-q" id="' + question + '">' + choice.question + '</span>' +
+        option(choice.options[0], 1) + option(choice.options[1], 2) + '</div>';
+}
 export function confirmDialog(spec) {
     const title = spec.id + '-title';
+    const sentence = spec.choice === undefined ? spec.sentence
+        : inCase(1, spec.choice.options[0].sentence) + inCase(2, spec.choice.options[1].sentence);
+    const option = spec.choice === undefined ? spec.option
+        : inCase(1, spec.choice.options[0].option) + inCase(2, spec.choice.options[1].option);
+    const confirms = spec.choice === undefined
+        ? confirmButton(spec)
+        : inCase(1, confirmButton(spec.choice.options[0])) + inCase(2, confirmButton(spec.choice.options[1]));
     return popup({
         id: spec.id,
         size: 'confirm',
         labelledBy: title,
-        body: '<div class="cf">' +
+        body: '<div class="cf' + (spec.choice === undefined ? '' : ' cf-choose') + '">' +
             (spec.glyph === '' ? '' : '<div class="cf-mark" aria-hidden="true">' + (spec.glyph ?? '⊘') + '</div>') +
             '<h3 class="cf-title" id="' + title + '">' + spec.title + '</h3>' +
             (spec.subject === '' ? '' : '<div class="cf-subject">' + spec.subject + '</div>') +
-            '<p class="cf-sentence">' + spec.sentence + '</p>' +
+            '<p class="cf-sentence">' + sentence + '</p>' +
             (spec.detail === undefined ? '' : '<div class="cf-detail">' + spec.detail + '</div>') +
-            (spec.option === '' ? '' : '<div class="cf-option">' + spec.option + '</div>') +
+            (spec.choice === undefined ? '' : choiceBlock(spec.id, spec.choice)) +
+            (option === '' ? '' : '<div class="cf-option">' + option + '</div>') +
             (spec.note ?? '') +
             '<div class="cf-actions">' +
             pill({ label: spec.cancel, tone: 'outline', size: 'lg', button: true, attributes: CLOSES }) +
-            pill({ label: spec.confirm, tone: spec.tone ?? 'mint', size: 'lg', button: true, attributes: spec.confirmAttributes }) +
+            confirms +
             '</div></div>',
     });
 }
@@ -33,4 +68,34 @@ export const CONFIRM_DIALOG_STYLE = String.raw `
 .cf-detail ul{margin:0;padding-left:20px;display:grid;gap:8px}
 .cf-actions{display:flex;justify-content:flex-end;gap:10px}
 .cf-actions .pill-outline{font-weight:400}
+/* A window that asks takes the next size up of the family (popup.ts): at the confirm's own 460px the two cards drew
+   four lines each and the sentence above them read as a wall (the maintainer, 2026-10-05). Narrower screens are
+   unchanged - the window is still the viewport less its margin there. */
+dialog.pp-confirm:has(.cf-choose){max-width:560px}
+.cf-choose{padding:30px 32px}
+@media (max-width:640px){.cf-choose{padding:24px 20px}}
+.cf-choose .cf-sentence{margin-bottom:20px}
+.cf-case{display:none}
+.cf:has(.cf-radio-1:checked) .cf-case-1{display:contents}
+.cf:has(.cf-radio-2:checked) .cf-case-2{display:contents}
+.cf-choice{display:grid;gap:8px;margin:0 0 22px}
+.cf-choice-q{font-size:13px;font-weight:600;color:var(--text-3)}
+.cf-opt{position:relative;display:grid;grid-template-columns:20px 26px minmax(0,1fr);gap:11px;align-items:start;padding:13px 15px;border-radius:12px;border:1px solid var(--white-09);background:var(--panel);cursor:pointer}
+.cf-opt:hover{background:var(--raised)}
+.cf-opt:has(.cf-radio:checked){background:var(--raised-2)}
+.cf-opt-mint:has(.cf-radio:checked){border-color:var(--mint-50)}
+.cf-opt-sand:has(.cf-radio:checked){border-color:var(--sand-35)}
+.cf-opt:has(.cf-radio:focus-visible){outline:2px solid var(--coral);outline-offset:2px}
+.cf-radio{position:absolute;opacity:0;pointer-events:none}
+.cf-ring{flex:none;width:20px;height:20px;border-radius:50%;border:1.5px solid var(--white-30);display:flex;align-items:center;justify-content:center;margin-top:3px}
+.cf-ring:after{content:"";width:10px;height:10px;border-radius:50%}
+.cf-opt-mint .cf-radio:checked+.cf-ring{border-color:var(--mint)}.cf-opt-mint .cf-radio:checked+.cf-ring:after{background:var(--mint)}
+.cf-opt-sand .cf-radio:checked+.cf-ring{border-color:var(--sand)}.cf-opt-sand .cf-radio:checked+.cf-ring:after{background:var(--sand)}
+.cf-opt-grey .cf-radio:checked+.cf-ring{border-color:var(--text)}.cf-opt-grey .cf-radio:checked+.cf-ring:after{background:var(--text)}
+.cf-opt-mark{flex:none;width:26px;height:26px;border-radius:50%;display:flex;align-items:center;justify-content:center;background:var(--white-06);color:var(--text-2)}
+.cf-opt-mark svg{width:13px;height:13px}
+.cf-opt-mint .cf-opt-mark{background:var(--mint-14);color:var(--mint)}
+.cf-opt-sand .cf-opt-mark{background:var(--sand-16);color:var(--sand)}
+.cf-opt-name{display:block;font-size:14.5px;font-weight:650;line-height:1.3;color:var(--text)}
+.cf-opt-why{display:block;margin-top:4px;font-size:13px;line-height:1.45;color:var(--text-2)}
 `;

package/dist/report/render/ui/fold-line.js

@@ -21,4 +21,6 @@ export const FOLD_LINE_STYLE = String.raw `
 .fold-hide{display:none}.fold[open] .fold-hide{display:inline}.fold[open] .fold-show{display:none}
 .fold-sand>.fold-line{border:1px solid var(--sand-35);background:var(--card)}.fold-sand>.fold-line:hover{border-color:var(--sand)}
 .fold-sand .fold-mark{width:32px;height:32px;background:var(--sand-16);color:var(--sand)}.fold-sand .fold-mark svg{width:16px;height:16px}
+.fold-grey>.fold-line{border:1px solid var(--white-16);background:var(--card)}.fold-grey>.fold-line:hover{border-color:var(--white-32)}
+.fold-grey .fold-mark{width:32px;height:32px;background:var(--white-10);color:var(--text-2);font-size:15px}
 `;

package/dist/report/render/ui/popup.js

@@ -28,7 +28,7 @@ dialog.pp-wide{isolation:isolate}
 html:not(.js) dialog.pp-wide:target{position:relative}
 dialog.pp::backdrop{background:var(--backdrop);backdrop-filter:blur(6px);-webkit-backdrop-filter:blur(6px)}
 dialog.pp-wizard{max-width:640px;margin-top:56px;max-height:calc(100vh - 112px)}
-dialog.pp-list{max-width:800px;margin-top:56px;max-height:calc(100vh - 112px)}
+dialog.pp-list{max-width:920px;margin-top:56px;max-height:calc(100vh - 112px)}
 dialog.pp-small,dialog.pp-pick,dialog.pp-confirm{border-color:var(--white-10);border-radius:20px;margin:auto}
 dialog.pp-small{max-width:560px}dialog.pp-pick{max-width:520px}dialog.pp-confirm{max-width:460px}
 html:not(.js) dialog.pp:target{display:block;position:static;margin:24px auto;max-height:none}