clavarium 0.2.0-next.6 → 0.2.0-next.8

package/npm-shrinkwrap.json

@@ -1,17 +1,17 @@
 {
   "name": "clavarium",
-  "version": "0.2.0-next.6",
+  "version": "0.2.0-next.8",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "clavarium",
-      "version": "0.2.0-next.6",
+      "version": "0.2.0-next.8",
       "license": "MIT",
       "dependencies": {
         "@xterm/addon-fit": "^0.11.0",
         "@xterm/xterm": "^6.0.0",
-        "clavarium-parley": "0.10.0-next.3",
+        "clavarium-parley": "0.10.0-next.4",
         "mermaid": "11.17.2",
         "node-pty": "^1.1.0",
         "pdfjs-dist": "6.4.299",
@@ -686,9 +686,9 @@
       }
     },
     "node_modules/clavarium-parley": {
-      "version": "0.10.0-next.3",
-      "resolved": "https://registry.npmjs.org/clavarium-parley/-/clavarium-parley-0.10.0-next.3.tgz",
-      "integrity": "sha512-a750ZvTUDngz8nMdmja3/slCYCUCxM24uFEdgM1X4dNZ666Pf3HEPBbN9GwGgU6F+Ozc1JML5o87tCAMqcRyGQ==",
+      "version": "0.10.0-next.4",
+      "resolved": "https://registry.npmjs.org/clavarium-parley/-/clavarium-parley-0.10.0-next.4.tgz",
+      "integrity": "sha512-axfpTiDMmxO0RofGc475DywHuoOLz/Jnh1o44WbyOHba6PCj0KDE/WBo36OJQCt47/3AQWMlttYn5nSBvDV1hg==",
       "license": "MIT",
       "bin": {
         "parley": "bin/parley.mjs",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "clavarium",
-  "version": "0.2.0-next.6",
+  "version": "0.2.0-next.8",
   "license": "MIT",
   "type": "module",
   "description": "A conversation is a VM with a terminal in it. Everything else is a folder.",
@@ -43,7 +43,7 @@
   "dependencies": {
     "@xterm/addon-fit": "^0.11.0",
     "@xterm/xterm": "^6.0.0",
-    "clavarium-parley": "0.10.0-next.3",
+    "clavarium-parley": "0.10.0-next.4",
     "mermaid": "11.17.2",
     "node-pty": "^1.1.0",
     "pdfjs-dist": "6.4.299",

package/server/api.mjs

@@ -382,7 +382,7 @@ export async function handleApi(request, response, conversations, headers, resou
         if (kept && gitKeeper) {
             if (kept[2] === 'keep') return send(200, gitKeeper.set(kept[1], body)), true;
             if (kept[2] === 'refresh') return send(200, await gitKeeper.refresh(kept[1])), true;
-            return send(200, await gitKeeper.check(kept[1], body)), true;
+            return send(200, body?.again === true ? await gitKeeper.checkAgain(kept[1], body) : await gitKeeper.check(kept[1], body)), true;
         }
         /* Automatic sending belongs to the attachment: set in the conversation's panel. */
         const sending = /^\/api\/conversations\/([^/]+)\/git\/([a-z0-9-]{1,32})\/auto$/.exec(pathname);

package/server/gitchecks.mjs

@@ -101,14 +101,14 @@ export class GitChecks {
         return Boolean(await this.#conversations.running(conversation).catch(() => false));
     }
 
-    /* -> { status: 'passed' | 'failed' | 'none' | 'unavailable', output, machine, at, head, target }.
+    /* -> { status: 'passed' | 'failed' | 'none' | 'unavailable', output, machine, at, head, branch, target }.
        'none': nothing to run (no hook, no command). 'unavailable': no
        machine to run them in, or it did not answer.
        `machine`: the conversation whose machine must run them (automatic
        sending: the one whose settings decided), else any that has it. */
     async run(repository, { head, branch, target, remoteTip, remote, command = '', hook = true, seconds = 600, machine: wanted }) {
         const at = this.#now().toISOString();
-        const base = { head, target, at, machine: null };
+        const base = { head, branch, target, at, machine: null };
         if (!hook && !command) return { ...base, status: 'none', output: 'No check is set: no pre-push hook asked for, no check command.' };
         const machine = wanted === undefined ? await this.machineFor(repository) : (await this.runs(wanted, repository) ? wanted : undefined);
         if (!machine) return { ...base, status: 'unavailable', output: 'No machine that has this repository attached is running: the checks could not run. Open a conversation it is attached to, then look again.' };

package/server/gitkeeper.mjs

@@ -91,6 +91,9 @@ export const DEFAULTS = Object.freeze({
    change, so a few seconds more are enough to let a commit series finish.
    `confirmed`: the patterns of the list that needed the owner's word and
    had it. `perHour` 0: no cap. */
+/* The last checks kept per repository: the end of their output, and how many targets. */
+export const LAST_OUTPUT_MAX = 20_000;
+export const LAST_TARGETS = 20;
 export const AUTO_DEFAULTS = Object.freeze({ branches: [], confirmed: [], quietSeconds: 5, perHour: 20, create: false, checks: true });
 export const QUIET_MAX = 86_400;
 export const PER_HOUR_MAX = 1000;
@@ -205,7 +208,7 @@ const upTo = (id) => (short(id) ? ` (up to ${short(id)})` : '');
 const seeCommits = (name, head, base, n) => (short(head) && short(base) && Number.isInteger(n) && n > 0 ? [`commits:${name}.${head.slice(0, 12)}.${base.slice(0, 12)}.${Math.min(n, 9999)}`] : []);
 
 export class GitKeeper {
-    #store; #review; #resources; #checks; #alerts; #now; #tellAgent; #thread; #held = new Map(); #results = new Map(); #running = new Set(); #telling = new Map();
+    #store; #review; #resources; #checks; #alerts; #now; #tellAgent; #thread; #last; #held = new Map(); #results = new Map(); #running = new Set(); #telling = new Map();
 
     /* `review`: GitReview (reads, the reference, Send). `checks`: GitChecks.
        `alerts`: what tells the owner's phone. `tellAgent(repository, line,
@@ -213,8 +216,11 @@ export class GitKeeper {
        repository (only to that conversation's, when one is named); it
        resolves false when nobody could be told (then it is tried again).
        `thread(conversation, event)`: one line in that conversation's chat
-       (Talk.event: kept only where its chat is on). */
-    constructor({ store, review, resources, checks, alerts, now = () => new Date(), tellAgent = async () => {}, thread = () => {} }) {
+       (Talk.event: kept only where its chat is on). `last`: a Store where
+       the last checks of each repository and target are kept, so that they
+       outlive a restart (none: only in memory). */
+    constructor({ store, review, resources, checks, alerts, now = () => new Date(), tellAgent = async () => {}, thread = () => {}, last = null }) {
+        this.#last = last;
         this.#store = store; this.#review = review; this.#resources = resources; this.#checks = checks; this.#alerts = alerts; this.#now = now; this.#tellAgent = tellAgent; this.#thread = thread;
         review.listen({ read: (name, failure, got) => this.#readOutcome(name, failure, got), refresh: (name, result) => this.#refreshOutcome(name, result) });
         review.useWaivers?.((name) => this.settings(name).fsck);
@@ -257,6 +263,7 @@ export class GitKeeper {
             auto,
             origin: hasRemote ? { path: `/resources/${folder}`, kept: this.#resources.hasOrigin(r.name), ...(record.mirror ?? {}) } : null,
             checks: this.#results.get(r.name) ?? null,
+            last: this.lastChecks(r.name),
             read: record.lastRead ?? null,
             blocked: Object.keys(record.blocked ?? {}),
             log: record.log ?? [],
@@ -361,7 +368,7 @@ export class GitKeeper {
     /* A conversation archived: all its settings, whatever the repository. */
     forgetConversation(conversation) { for (const record of this.#store.all()) this.forgetAttachment(record.name, conversation); }
 
-    forget(name) { this.#store.remove(name); this.#held.delete(name); this.#results.delete(name); }
+    forget(name) { this.#store.remove(name); this.#held.delete(name); this.#results.delete(name); this.#last?.remove(name); }
 
     /* ---------- what every read and every refresh says ---------- */
 
@@ -479,9 +486,39 @@ export class GitKeeper {
         const s = this.settings(name);
         const result = await this.#checks.run(name, { head: seen.head, branch: seen.branch, target: seen.target, remoteTip: seen.remoteTip, remote: this.#review.remoteOf(name), command: s.checkCommand, hook: s.runHook, seconds: s.checkSeconds, ...(machine ? { machine } : {}) });
         this.#results.set(name, result);
+        this.#keepLast(name, result);
         return result;
     }
 
+    /* THE LAST CHECKS, kept: one per target of the repository (the newest
+       LAST_TARGETS), with the end of their output. Said "outdated" when the
+       agent's branch they ran on has moved since. */
+    #keepLast(name, result) {
+        if (!this.#last) return;
+        const target = typeof result.target === 'string' ? result.target : '';
+        const kept = { status: result.status, head: result.head ?? null, branch: result.branch ?? null, target: target || null, at: result.at, machine: result.machine ?? null, output: String(result.output ?? '').slice(-LAST_OUTPUT_MAX) };
+        const before = Object.entries(this.#last.get(name)?.targets ?? {}).filter(([t]) => t !== target);
+        const targets = Object.fromEntries([...before, [target, kept]].sort((a, b) => String(b[1].at).localeCompare(String(a[1].at))).slice(0, LAST_TARGETS));
+        try { this.#last.put({ name, targets }); } catch { /* kept in memory still: a full disk does not stop the checks */ }
+    }
+    /* [{ status, head, branch, target, at, machine, output, outdated }], the newest first. */
+    lastChecks(name) {
+        const targets = this.#last?.get(name)?.targets ?? {};
+        let tips = {};
+        try { tips = this.#review.tips?.(name) ?? {}; } catch { /* not read yet */ }
+        return Object.values(targets).filter((x) => x && typeof x === 'object').sort((a, b) => String(b.at).localeCompare(String(a.at)))
+            .map((x) => ({ ...x, outdated: Boolean(x.branch && x.head && tips[x.branch]?.id && tips[x.branch].id !== x.head) }));
+    }
+    /* "Run again", from the last checks: on the tip of that branch now, for that target. */
+    async checkAgain(name, body) {
+        const r = this.#repository(name);
+        const target = typeof body?.target === 'string' && body.target ? body.target : undefined;
+        const branch = typeof body?.branch === 'string' && body.branch ? body.branch : undefined;
+        const out = await this.#review.outgoing(r.name, { target, branch });
+        if (!out?.head || !out.target) throw new Refusal(409, out?.message || 'There is no commit to check on this branch.');
+        return this.#check(r.name, { head: out.head, branch: out.branch, target: out.target, remoteTip: out.remoteTip ?? null });
+    }
+
     /* Send, from the page: as GitReview.push, and refused when the owner
        requires passing checks and none passed for this commit and branch. */
     async send(name, body) {

package/server/guide.mjs

@@ -86,7 +86,7 @@ export function commonText() {
         '- Check out branches in the main folder of the repository or under /work, never in /tmp: /tmp is emptied when the machine restarts.',
         '- Secrets are environment variables: never print them, never write them to a file or a commit.',
         /* Installed by the server in every machine (toolbox.mjs): the tool is never asked to install it. */
-        '- To talk to the person, when their chat is on: parley --help.',
+        '- To talk to the person, when their chat is on: parley guide says how (parley --help, every command).',
         /* Dictation into the terminal is marked once per message (app.js); in the chat, parley read says it. */
         '- A message in your terminal that starts with a microphone sign (U+1F3A4), or that parley read says was dictated, came by voice: a word may be misheard; when a key word seems wrong, ask rather than guess.',
         '- The rest is yours to explore (ls, --help).',
@@ -113,9 +113,9 @@ export function ownText({ name, tool, workKept, resources = [], chat, online, se
         out.push(`- ${repo}: its origin, read-only and kept up to date, is ${origin}. Its branches: git -C ${repo} fetch ${origin} '+refs/heads/*:refs/remotes/origin/*'`);
     }
     out.push(!chat ? '- Chat with the person: off. Do not use parley.'
-        : '- Chat with the person: on. Parley is installed: run parley --help.');
-    /* How to write there: the chat renders Markdown; what matters stays in sight. */
-    if (chat) out.push('- In the chat, write as in this terminal (Markdown: short lists, a bold label per point, tables); a long message gets --short, a title that holds any action or decision; one key sentence in "> [!IMPORTANT]"; a picture of /work where it belongs: ![before](/work/a.png); close the questions they answered another way (parley close).');
+        : '- Chat with the person: on. Parley is installed: run parley guide.');
+    /* How Parley is used is Parley's to say (parley guide); what is here is this chat's: it renders Markdown. */
+    if (chat) out.push('- The chat shows Markdown (lists, tables, "> [!IMPORTANT]") and pictures of /work: ![before](/work/a.png).');
     out.push(online === false ? '- Internet: off.' : '- Internet: on.');
     if (secrets.length) out.push(`- Secrets given, by name only: ${list(secrets.map((s) => plain(s, 40)))}.`);
     const own = lines.map((l) => plain(l)).filter(Boolean).slice(0, LINES_MAX);

package/server/main.mjs

@@ -313,7 +313,7 @@ export async function startHome({ port, host, dataDir, mntDir = dataDir, gitRese
         return heard;
     };
     /* What happened to a repository is said in the chat of the conversations it is attached to (talk.mjs). */
-    const gitKeeper = new GitKeeper({ store: new Store(`${dataDir}/git-keep.json`), review: gitReview, resources: folders, alerts, tellAgent,
+    const gitKeeper = new GitKeeper({ store: new Store(`${dataDir}/git-keep.json`), last: new Store(`${dataDir}/git-checks.json`), review: gitReview, resources: folders, alerts, tellAgent,
         thread: (conversation, event) => talk.event(conversation, event),
         checks: new GitChecks({ vms, conversations: all, resources: folders }) });
     const gitTimer = gitKeeper.start(gitEveryMs);

package/web/app.js

@@ -2561,18 +2561,18 @@
 
     /* A repository, on the right: its branch, what would go, the diagram. */
     async function gitDetail(holder, name, { place = false } = {}) {
-        const facts = el('div', 'as-facts'); facts.append(el('p', 'hint', 'Looking at its branches...'));
+        const facts = el('div', 'as-facts'); facts.append(el('p', 'hint busy', 'Looking at its branches...'));
         const acts = el('div', 'as-acts');
         const review = el('button', '', 'Open the review'); review.type = 'button'; review.dataset.act = 'review';
         const send = el('button', 'primary', 'Send...'); send.type = 'button'; send.dataset.act = 'send'; send.hidden = true;
         acts.append(review, send);
         /* In a conversation, its files too, below. */
         if (!place) { const files = el('button', '', 'Files'); files.type = 'button'; files.dataset.act = 'files'; files.addEventListener('click', () => { embedFiles(holder, name); files.disabled = true; }); acts.prepend(files); }
-        const diagram = el('div', 'as-graph'); diagram.append(el('p', 'hint', 'Drawing the branches...'));
+        const diagram = el('div', 'as-graph'); diagram.append(el('p', 'hint busy', 'Drawing the branches...'));
         holder.append(facts, chapter('Branches', acts), diagram);
         const back = place ? { label: name, go: () => { void paintAssets(); } } : { label: name, go: () => { void paintRoomAssets(); } };
         review.addEventListener('click', () => { void openGit(name, { back }); });
-        const [out, graph] = await Promise.all([getJson(`/git/${name}/outgoing`, null), getJson(`/git/${name}/graph`, null)]);
+        const [out, graph, keep] = await Promise.all([getJson(`/git/${name}/outgoing`, null), getJson(`/git/${name}/graph`, null), getJson(`/git/${name}/keep`, null)]);
         facts.replaceChildren();
         if (out) {
             const line = el('p', 'as-line');
@@ -2585,10 +2585,48 @@
                 card('State', { ahead: 'ahead', 'up-to-date': 'up to date', diverged: 'behind: pull first', 'no-remote': 'no remote', unreachable: 'remote not answering', empty: 'empty' }[out.state] ?? out.state, out.state === 'diverged' || out.state === 'unreachable' ? 'bad' : ''),
                 card('Remote', out.remote ? hostOf(out.remote) : 'none'));
             facts.append(line, cards);
+            const last = lastFor(keep?.last, out);
+            if (last) facts.append(lastChecksCard(name, { ...last, outdated: moved(last, out) }, back));
             if (out.state === 'ahead' && out.target) { send.hidden = false; send.textContent = `Send to ${out.target}...`; send.addEventListener('click', () => { void openGit(name, { back, target: out.target, branch: out.branch ?? '' }); }); }
         }
         diagram.replaceChildren(graph ? window.clavariumGraph.draw(graph, { pick: (c) => { void openGit(name, { commit: c.id, back }); } }) : el('p', 'hint', 'The branches could not be read.'));
     }
+    /* THE LAST CHECKS of a repository (gitkeeper.mjs keeps them): those for the
+       branch and target shown, else the newest. Their output is text, always. */
+    const CHECK_WORDS = { passed: ['Passed', 'ok'], failed: ['Failed', 'bad'], none: ['Nothing to check', ''], unavailable: ['Could not run', 'warn'] };
+    function lastFor(list, out) {
+        if (!Array.isArray(list) || list.length === 0) return null;
+        return list.find((x) => x.target === out?.target && x.branch === out?.branch) ?? list.find((x) => x.target === out?.target) ?? list[0];
+    }
+    /* Outdated: the branch they ran on has another tip now, as the server last read it or as just seen. */
+    const moved = (last, out) => {
+        const tip = (out?.agentBranches ?? []).find((x) => x.name === last.branch)?.id;
+        return Boolean(last.outdated || (tip && last.head && tip !== last.head));
+    };
+    function lastChecksCard(name, last, back) {
+        const box = el('div', 'as-lastchecks'); box.dataset.status = String(last.status ?? '');
+        const head = el('div', 'as-lastchecks-head');
+        const [word, tone] = CHECK_WORDS[last.status] ?? [String(last.status ?? ''), ''];
+        head.append(el('small', '', 'Last checks'), el('span', `as-badge check${tone ? ` ${tone}` : ''}`, word));
+        if (last.outdated) { const old = el('span', 'as-badge outdated', 'outdated'); old.title = `${last.branch ?? 'The branch'} has moved since they ran.`; head.append(old); }
+        const shortId = typeof last.head === 'string' ? last.head.slice(0, 7) : '';
+        const line = el('p', 'as-line', `${shortId ? `on ${shortId}` : 'on no commit'} \u00b7 ${last.at ? sinceWords(last.at) : ''}${last.target ? ` \u00b7 to ${last.target}` : ''}`);
+        if (last.at) line.title = when(last.at);
+        const acts = el('div', 'as-acts');
+        const again = el('button', '', 'Run again'); again.type = 'button'; again.dataset.act = 'checks-again';
+        const see = el('button', 'as-link', 'See the output'); see.type = 'button'; see.dataset.act = 'checks-output';
+        see.addEventListener('click', () => { void openGit(name, { back, target: last.target ?? '', branch: last.branch ?? '', tab: 'checks' }); });
+        again.addEventListener('click', async () => {
+            again.disabled = true; again.textContent = 'Running...';
+            let result;
+            try { result = await post(`${API}/git/${name}/check`, { again: true, target: last.target ?? '', branch: last.branch ?? '' }); }
+            catch (error) { result = { ...last, status: 'unavailable', output: error.message, at: new Date().toISOString(), outdated: false }; }
+            box.replaceWith(lastChecksCard(name, { ...result, outdated: false }, back));
+        });
+        acts.append(again, see);
+        box.append(head, line, acts);
+        return box;
+    }
     /* The files of a folder or a mailbox, in a conversation: the Files sheet, moved into the detail. */
     let filesHome = null;
     function embedFiles(holder, name) {
@@ -3511,7 +3549,7 @@
        else the one that moved last). `gitConfirm`: more than the page could
        show, so Send asks once more. `gitFsck`: the owner's fsck waivers. */
     let gitShown = ''; let gitHead = null; let gitTarget = null; let gitAsked = ''; let gitState = ''; let gitRequire = false;
-    let gitBranch = null; let gitAskedBranch = ''; let gitConfirm = false; let gitFsck = {};
+    let gitBranch = null; let gitAskedBranch = ''; let gitConfirm = false; let gitFsck = {}; let gitLast = [];
     const NEW_BRANCH = '\u0000new';
     function paintChecks(result) {
         const state = $('gitview-checks-state'); state.className = '';
@@ -3555,7 +3593,7 @@
         try { const r = await fetch(`${API}/git/${name}/keep`); keep = await r.json(); if (!r.ok) throw new Error(keep.error); } catch { return; }
         if (gitShown !== name) return;
         const s = keep.settings;
-        gitRequire = s.requireForSend; gitFsck = s.fsck ?? {};
+        gitRequire = s.requireForSend; gitFsck = s.fsck ?? {}; gitLast = Array.isArray(keep.last) ? keep.last : [];
         $('gitview-runhook').checked = s.runHook; $('gitview-checkcommand').value = s.checkCommand; $('gitview-checkseconds').value = String(s.checkSeconds);
         $('gitview-require').checked = s.requireForSend; $('gitview-refreshminutes').value = String(s.refreshMinutes);
         $('gitview-alert').checked = s.alert;
@@ -3693,6 +3731,7 @@
         $('gitview-error').hidden = true; $('gitview-push').hidden = true; $('gitview-check').hidden = true; $('gitview-checks').hidden = true;
         $('gitview-offer-row').hidden = true; $('gitview-guards').hidden = true; $('gitview-dropped').hidden = true; $('gitview-remote-go').hidden = true;
         $('gitview-state').textContent = commit ? 'Looking at this commit...' : 'Looking at what was committed...';
+        $('gitview-state').classList.add('busy');
         $('gitview-numbers').replaceChildren();
         $('gitview-commits').replaceChildren(); $('gitview-stat').textContent = ''; $('gitview-diff').replaceChildren(); $('gitview-tree').replaceChildren();
         $('gitview-n-files').textContent = ''; $('gitview-n-commits').textContent = ''; $('gitview-n-checks').textContent = '';
@@ -3700,6 +3739,7 @@
         if (commit) $('gitview-target-row').hidden = $('gitview-branch-row').hidden = true;
         gitHead = null; gitTarget = null; gitState = ''; gitConfirm = false;
         paintReviewTab();
+        gitLast = [];
         if (!commit) await paintKeep();
         let out;
         try {
@@ -3711,7 +3751,9 @@
             const r = await fetch(`${API}/git/${name}/${commit ? 'commit' : 'outgoing'}${query.size ? `?${query}` : ''}`);
             out = await r.json();
             if (!r.ok) throw Object.assign(new Error(out.error || 'The repository could not be read.'), { offer: out.offer });
+            $('gitview-state').classList.remove('busy');
         } catch (error) {
+            $('gitview-state').classList.remove('busy');
             if (gitShown !== name || gitCommit !== commit) return;
             $('gitview-state').textContent = ''; $('gitview-error').textContent = error.message; $('gitview-error').hidden = false;
             /* An fsck refusal the owner may waive (old histories only): offered, never done for them. */
@@ -3762,6 +3804,12 @@
            is shown, and Send waits for them (it is refused without them only
            if the owner asked for that). */
         if (!commit && out.state === 'ahead') await runChecks();
+        else if (!commit) {
+            /* Nothing to send now: the last checks kept for this branch and target, as they were. */
+            const found = lastFor(gitLast.filter((x) => x.target === out.target), out);
+            const last = found ? { ...found, outdated: moved(found, out) } : null;
+            if (last) { $('gitview-checks').hidden = false; paintChecks(last); $('gitview-checks-state').textContent += ` On ${String(last.head ?? '').slice(0, 7)}, ${sinceWords(last.at)}${last.outdated ? ' (outdated: the branch moved since)' : ''}.`; }
+        }
     }
     /* `commit`: one commit of the diagram. `back`: {label, go} -- where the page goes back to. */
     /* The review is shown inside the page it was opened from, never over it:

package/web/style.css

@@ -1086,6 +1086,12 @@ header .ic, #folders .ic { width: 18px; height: 18px; fill: none; stroke: curren
 .as-card b { font-size: 1.05rem; }
 .as-card b.warn { color: var(--warn); } .as-card b.ok { color: var(--ok); } .as-card b.bad { color: var(--danger); }
 .as-acts { display: flex; gap: 8px; flex-wrap: wrap; }
+.as-lastchecks { display: flex; flex-direction: column; gap: 6px; margin-top: 10px; padding: 10px 12px; border: 1px solid var(--line); border-radius: 10px; background: var(--panel); }
+.as-lastchecks-head { display: flex; align-items: center; gap: 8px; flex-wrap: wrap; }
+.as-lastchecks-head small { color: var(--ink2); }
+.as-badge.check.ok { color: var(--ok); border-color: color-mix(in srgb, var(--ok) 45%, transparent); }
+.as-badge.check.bad { color: var(--danger); border-color: color-mix(in srgb, var(--danger) 45%, transparent); }
+.as-badge.check.warn, .as-badge.outdated { color: var(--warn); border-color: color-mix(in srgb, var(--warn) 45%, transparent); }
 .as-users { display: flex; flex-direction: column; gap: 6px; }
 .as-picker { padding: 8px; border: 1px dashed var(--line); border-radius: 10px; }
 .as-chips { display: flex; flex-wrap: wrap; gap: 6px; }
@@ -1256,3 +1262,7 @@ select.pill { appearance: auto; }
 .group-head .caret { font-size: 1.1rem; line-height: 1; text-align: center; }
 #machine-size[data-waiting] select { color: var(--ink2); border-style: dashed; }
 #machine-size-wait { color: var(--brass); font-weight: 600; }
+
+/* Something is being fetched: a small turning ring before the words (a still ring without motion). */
+.busy::before { content: ""; display: inline-block; width: .95em; height: .95em; margin-right: .5em; vertical-align: -.17em; border-radius: 50%; border: 2px solid color-mix(in srgb, currentColor 25%, transparent); border-top-color: var(--brass); }
+@media (prefers-reduced-motion: no-preference) { .busy::before { animation: busy-turn .8s linear infinite; } @keyframes busy-turn { to { transform: rotate(360deg); } } }