visualproof 0.1.0 → 0.3.0

package/dist/web/src/visits.js

@@ -0,0 +1,174 @@
+// The reader's visitors laid on the board's scene (ViewSpec decision 27, the owner's decision of
+// 2026-10-11): each in its own place in the cluster hierarchy, the clusters it needs added as
+// temporary ones (web/src/visitors.ts, planVisitors), the outermost of them in the deepest cluster the
+// board draws, at a spot chosen once.
+//
+// Making room: what a visitor brings goes where its cluster has free room, nearest the declarations it
+// has references with; where the cluster has none, against its rim where it covers least, and what it
+// covers makes way, as from a drop, the circle growing only where that cannot fit (web/src/scene.ts,
+// setHeld). Nothing of it is a pin or the board's: when the visitors go, every place comes back.
+//
+// A spot is in its cluster's coordinates and carried to followers with the trail (PresenceView), so a
+// follower draws the temporary clusters where the leader does; the rest — which clusters, nested how,
+// packed how — is a function of the visitors and the board, the same on every page.
+import { LEAF_R } from "./scene.js";
+import { freeSpot, packPlan, planVisitors, rimSpot } from "./visitors.js";
+/** How far outside what it holds a cluster's circle is drawn (web/src/scene.ts, computeExtents). */
+const DRAWN_MARGIN = 6;
+/** Whether a declaration's name is a namespace too, on a board whose declarations are `names` (the
+ *  outside world's left out), the visitors' among them: a structure then sits in its own namespace's
+ *  cluster, as the board would draw it (shared/layout.ts, pathOf). */
+export function prefixTest(g, visitors) {
+    const memo = new Map();
+    return (name) => {
+        let hit = memo.get(name);
+        if (hit !== undefined)
+            return hit;
+        const head = `${name}.`;
+        hit = visitors.some((v) => v.startsWith(head));
+        for (let i = 0; !hit && i < g.n; i++)
+            if (!g.isExt(i) && g.nodes[i].name.startsWith(head))
+                hit = true;
+        memo.set(name, hit);
+        return hit;
+    };
+}
+/** Where the visitors `vs` belong on a board (web/src/visitors.ts, planVisitors): its layout `L` by
+ *  `mode`, the levels `hidden`, its graph `g`. */
+export function planOn(L, mode, hidden, g, vs) {
+    const drawn = new Map(L.clusters.map((c, k) => [c.key, k]));
+    return planVisitors(mode, drawn, new Set(hidden), vs, prefixTest(g, vs.map((v) => v.name)));
+}
+/** The board's clusters round the places of the visitors `chosen` (indices of the trail): the folded
+ *  ones among them open for the reader while those are selected (ViewSpec decision 27). */
+export function openFor(plan, parent, chosen) {
+    const out = new Set();
+    for (const k of chosen)
+        for (let c = plan.at[k]?.in ?? -1; c >= 0; c = parent[c])
+            out.add(c);
+    return out;
+}
+/** Place the visitors `vs` (the trail, oldest first) on a board as `plan` says (planOn): its layout
+ *  `L`, its scene `S` as the board arranges it. An item keeps the place its oldest visitor has in
+ *  that cluster; one with none is given a spot — in the order its oldest visitor came, so that a newer
+ *  one never moves an older one — where `ok` (a spot of the world and a radius) finds no cluster's
+ *  name written. */
+export function placeVisits(S, L, plan, vs, ok = () => true) {
+    const names = vs.map((v) => v.name);
+    const pack = packPlan(plan, names);
+    const keyOf = (c) => (c < 0 ? "" : L.clusters[c].key);
+    // the outermost items, and which visitors each holds
+    const items = [];
+    const ofTemp = new Map();
+    plan.temps.forEach((t, k) => {
+        if (t.up >= 0)
+            return;
+        ofTemp.set(k, items.length);
+        items.push({ in: t.in, temp: k, visitor: -1, at: [0, 0], r: pack.r[k], slot: 0 });
+    });
+    const item = plan.at.map((a, k) => {
+        if (a.up < 0) {
+            items.push({ in: a.in, temp: -1, visitor: k, at: [0, 0], r: LEAF_R, slot: 0 });
+            return items.length - 1;
+        }
+        let t = a.up;
+        while (plan.temps[t].up >= 0)
+            t = plan.temps[t].up;
+        return ofTemp.get(t);
+    });
+    const members = items.map(() => []);
+    item.forEach((j, k) => members[j].push(k));
+    // in the order their oldest visitors came
+    const order = items.map((_, j) => j).sort((a, b) => members[a][0] - members[b][0]);
+    const placed = new Map();
+    for (const j of order) {
+        const it = items[j];
+        const kept = members[j].map((k) => vs[k].place).find((p) => p && p.in === keyOf(it.in));
+        if (kept)
+            it.at = [kept.at[0], kept.at[1]];
+        else {
+            const room = S.roomOf(it.in);
+            // a sub-cluster's circle is drawn a little outside what it holds (Scene, computeExtents)
+            const bodies = [...S.discsIn(it.in).map((d) => (d.r > LEAF_R ? { ...d, r: d.r + DRAWN_MARGIN } : d)), ...(placed.get(it.in) ?? []).map((o) => ({ x: o.at[0], y: o.at[1], r: o.r }))];
+            // towards the declarations it has references with, as the board arranges them
+            const [ox, oy] = S.anchorWorld(it.in);
+            let sx = 0, sy = 0, m = 0;
+            for (const k of members[j])
+                for (const i of vs[k].near) {
+                    const [cx, cy] = S.anchorWorld(S.nodeCluster[i]);
+                    sx += cx + S.ancNX[i];
+                    sy += cy + S.ancNY[i];
+                    m++;
+                }
+            const prefer = m ? [sx / m - ox, sy / m - oy] : [0, 0];
+            const okHere = (x, y) => ok(ox + x, oy + y, it.r);
+            it.at = freeSpot(bodies, room, it.r, prefer, okHere) ?? rimSpot(bodies, room, it.r, prefer);
+        }
+        const list = placed.get(it.in) ?? [];
+        it.slot = list.length;
+        list.push(it);
+        placed.set(it.in, list);
+    }
+    const held = new Map();
+    for (const [c, list] of placed)
+        held.set(c, list.map((o) => ({ x: o.at[0], y: o.at[1], r: o.r })));
+    const places = item.map((j) => ({ in: keyOf(items[j].in), at: [items[j].at[0], items[j].at[1]] }));
+    return { plan, pack, items, item, places, held };
+}
+export function visitWorld(V, S) {
+    const T = V.plan.temps.length, K = V.plan.at.length;
+    const W = { tx: new Float64Array(T), ty: new Float64Array(T), tr: new Float64Array(T), trep: new Int32Array(T), vx: new Float64Array(K), vy: new Float64Array(K), vrep: new Int32Array(K) };
+    const centre = (it) => {
+        const at = S.heldAt.get(it.in);
+        const hx = at ? at[2 * it.slot] : it.at[0], hy = at ? at[2 * it.slot + 1] : it.at[1];
+        if (it.in < 0)
+            return [hx, hy, 1];
+        const s = S.scale[it.in];
+        return [S.cwx[it.in] + hx * s, S.cwy[it.in] + hy * s, s];
+    };
+    const scaleOf = (c) => (c < 0 ? 1 : S.scale[c]);
+    const repOf = (c) => (c < 0 ? -1 : S.rep[c]);
+    for (let t = 0; t < T; t++) {
+        const tc = V.plan.temps[t];
+        const s = scaleOf(tc.in);
+        if (tc.up < 0) {
+            const it = V.items[V.items.findIndex((x) => x.temp === t)];
+            [W.tx[t], W.ty[t]] = centre(it);
+        }
+        else {
+            W.tx[t] = W.tx[tc.up] + V.pack.x[t] * s;
+            W.ty[t] = W.ty[tc.up] + V.pack.y[t] * s;
+        }
+        W.tr[t] = V.pack.r[t] * s;
+        W.trep[t] = repOf(tc.in);
+    }
+    for (let k = 0; k < K; k++) {
+        const a = V.plan.at[k];
+        if (a.up >= 0) {
+            const s = scaleOf(a.in);
+            W.vx[k] = W.tx[a.up] + V.pack.vx[k] * s;
+            W.vy[k] = W.ty[a.up] + V.pack.vy[k] * s;
+        }
+        else
+            [W.vx[k], W.vy[k]] = centre(V.items[V.item[k]]);
+        W.vrep[k] = repOf(a.in);
+    }
+    return W;
+}
+/** A visitor's chain of position ids up to the top level, as its edges are bundled through the
+ *  hierarchy (web/src/bundles.ts, joinChains): itself, its temporary clusters, the board's clusters
+ *  round it — or, hidden in a folded cluster's card, that card and the clusters round it. Ids past the
+ *  scene's (`base` = clusters and declarations) are the visitors' own: a temporary cluster t at
+ *  base + t, a visitor k at base + temps + k. */
+export function visitChain(V, W, S, base, k) {
+    const out = [];
+    const a = V.plan.at[k];
+    if (W.vrep[k] < 0) {
+        out.push(base + V.plan.temps.length + k);
+        for (let t = a.up; t >= 0; t = V.plan.temps[t].up)
+            out.push(base + t);
+    }
+    for (let c = W.vrep[k] >= 0 ? W.vrep[k] : a.in; c >= 0; c = S.parent[c])
+        out.push(c);
+    return out;
+}

package/dist/web/style.css

@@ -1,10 +1,33 @@
 /* VisualProof — quiet surfaces, one gradient for what matters. */
 
+/* the fonts an artwork is drawn in (ExportSpec decision 19; assets/webfonts/, SIL Open Font License):
+   Source Sans 3 for its names, Source Serif 4 for the starfield's; their Latin and Greek, the rest of
+   a name from the fonts the system has */
+@font-face { font-family: "Source Sans 3"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-greek-wght-normal.woff2") format("woff2"); unicode-range: U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF; }
+@font-face { font-family: "Source Sans 3"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-latin-ext-wght-normal.woff2") format("woff2"); unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF; }
+@font-face { font-family: "Source Sans 3"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-latin-wght-normal.woff2") format("woff2"); unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
+@font-face { font-family: "Source Sans 3"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-greek-wght-italic.woff2") format("woff2"); unicode-range: U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF; }
+@font-face { font-family: "Source Sans 3"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-latin-ext-wght-italic.woff2") format("woff2"); unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF; }
+@font-face { font-family: "Source Sans 3"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-latin-wght-italic.woff2") format("woff2"); unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
+@font-face { font-family: "Source Serif 4"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-greek-wght-normal.woff2") format("woff2"); unicode-range: U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF; }
+@font-face { font-family: "Source Serif 4"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-latin-ext-wght-normal.woff2") format("woff2"); unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF; }
+@font-face { font-family: "Source Serif 4"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-latin-wght-normal.woff2") format("woff2"); unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
+@font-face { font-family: "Source Serif 4"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-greek-wght-italic.woff2") format("woff2"); unicode-range: U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF; }
+@font-face { font-family: "Source Serif 4"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-latin-ext-wght-italic.woff2") format("woff2"); unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF; }
+@font-face { font-family: "Source Serif 4"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-latin-wght-italic.woff2") format("woff2"); unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
+
+/* Jost, for an artwork's title and its top-level clusters' names, in spaced capitals (the owner's
+   decision of 2026-10-15): its Latin */
+@font-face { font-family: "Jost"; font-style: normal; font-display: swap; font-weight: 100 900; src: url("/fonts/jost-latin-ext-wght-normal.woff2") format("woff2"); unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
+@font-face { font-family: "Jost"; font-style: normal; font-display: swap; font-weight: 100 900; src: url("/fonts/jost-latin-wght-normal.woff2") format("woff2"); unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
+
 /* `hidden` hides, whatever display a class gives the element (the tooltip's `display: flex` kept
    it on screen after it was hidden) */
 [hidden] { display: none !important; }
 
 :root {
+  /* the camera's easing (web/src/canvas.ts, animate), for what moves with it */
+  --art-ease: cubic-bezier(0.65, 0, 0.35, 1);
   --font: -apple-system, BlinkMacSystemFont, "SF Pro Text", "Inter", "Segoe UI", Roboto, sans-serif;
   --mono: "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
 
@@ -189,6 +212,88 @@ button { font: inherit; color: inherit; cursor: pointer; }
 #canvas { position: fixed; inset: 0; width: 100%; height: 100%; display: block; cursor: grab; touch-action: none; }
 #labels { position: fixed; inset: 0; width: 100%; height: 100%; display: block; pointer-events: none; }
 #cards { position: fixed; inset: 0; pointer-events: none; overflow: hidden; }
+/* a finger held on the board opens its menu there, under the finger (web/src/canvas.ts): iOS would
+   select the text it then finds under it, or offer the canvas as an image */
+#canvas, #cards, #ctxmenu { -webkit-user-select: none; user-select: none; -webkit-touch-callout: none; }
+#ctxmenu input, #ctxmenu textarea { -webkit-user-select: text; user-select: text; }
+/* the linear form, over the board and its notes, under the panels (web/src/linear.ts) */
+#linear { position: fixed; inset: 0; width: 100%; height: 100%; display: block; touch-action: none; z-index: 5; }
+#linear[hidden] { display: none; }
+/* the artwork mode (web/src/artframe.ts): the board is the picture, the frame over it a viewfinder,
+   everything around it shaded; the board under it takes the pointer */
+#art { position: fixed; inset: 0; z-index: 30; pointer-events: none; }
+#art[hidden] { display: none; }
+.art-frame { position: absolute; box-shadow: 0 0 0 200vmax rgba(0, 0, 0, 0.45); outline: 2px solid var(--accent); border-radius: 2px; }
+/* over the board within the frame, its title and foot as the files have them (web/src/artframe.ts,
+   renderInk); under it, a style's ground (renderSky), before the board's canvas in the page */
+.art-ink { position: absolute; inset: 0; width: 100%; height: 100%; display: block; pointer-events: none; }
+#art-sky { position: fixed; display: block; pointer-events: none; }
+#art-sky[hidden] { display: none; }
+/* the mode coming and going (web/src/artframe.ts, start and end; ExportSpec decision 19): as the linear
+   form, over 480 ms — the frame closing in from the whole screen as its shade comes, or opening out as
+   it goes; the panel sliding in or away; the board dipping to its ground while its look changes; the
+   title, the foot and the strips beside the frame once it is still */
+body.art-moving .art-frame { transition: left 480ms var(--art-ease), top 480ms var(--art-ease), width 480ms var(--art-ease), height 480ms var(--art-ease), box-shadow 480ms ease, outline-color 480ms ease; }
+#art.art-away .art-frame { box-shadow: 0 0 0 200vmax rgba(0, 0, 0, 0); outline-color: transparent; }
+.art-ink, .art-head, .art-tail { transition: opacity 200ms ease; }
+body.art-moving .art-ink, body.art-moving .art-head, body.art-moving .art-tail, #art.art-away .art-head, #art.art-away .art-tail { opacity: 0; }
+#art-panel { transition: opacity 480ms var(--art-ease), transform 480ms var(--art-ease); }
+#art-panel.art-away { opacity: 0; transform: translateX(24px); }
+body.art-moving { transition: background-color 180ms ease; }
+body.art-moving #canvas, body.art-moving #labels, body.art-moving #cards, body.art-moving #stickies { transition: opacity 180ms ease; }
+body.art-moving #art-sky { transition: opacity 180ms ease, left 480ms var(--art-ease), top 480ms var(--art-ease), width 480ms var(--art-ease), height 480ms var(--art-ease); }
+body.art-dip #canvas, body.art-dip #labels, body.art-dip #cards, body.art-dip #stickies, body.art-dip #art-sky { opacity: 0; }
+body[data-art-style]:not([data-art-bg]) { background: #06080e; }
+.art-size output { margin-left: 6px; color: var(--text-2); font-variant-numeric: tabular-nums; }
+.art-size input[type="range"] { width: 100%; }
+/* the artwork's background on the board: none is shown as a checkerboard; its notes hidden */
+body[data-art-bg="transparent"] { background: repeating-conic-gradient(rgba(128, 128, 128, 0.2) 0 25%, transparent 0 50%) 0 0 / 16px 16px, var(--canvas); }
+body.art-nonotes #stickies { display: none; }
+#art-panel { position: fixed; top: 76px; right: 16px; z-index: 41; width: 300px; max-height: calc(100vh - 100px); overflow: auto; padding-bottom: 0; }
+/* the panel's sections, each under a small heading; its buttons kept in view at its foot */
+.art-secs { display: grid; gap: 14px; margin-top: 10px; }
+.art-sec { border-top: 1px solid var(--line); padding-top: 10px; }
+.art-sec-h { margin: 0 0 8px; font-size: 11px; font-weight: 600; letter-spacing: 0.08em; text-transform: uppercase; color: var(--text-2); }
+.art-save { position: sticky; bottom: 0; margin: 4px -18px 0; padding: 12px 18px 14px; background: var(--surface-solid); border-top: 1px solid var(--line); }
+/* in the shade beside the frame: the title's strip above its top left, the source's switch below its
+   bottom right (web/src/artframe.ts) */
+.art-head, .art-tail { position: absolute; pointer-events: auto; border-radius: 10px; font-size: 12px; box-shadow: 0 1px 3px rgba(0, 0, 0, 0.12); }
+.art-head { transform: translateY(-100%); display: flex; flex-wrap: wrap; align-items: flex-end; gap: 6px 10px; padding: 7px 10px; }
+.art-head-field input[type="text"] { width: var(--w, 10em); max-width: 100%; }
+.art-head .art-size input[type="range"], .art-tail .art-size input[type="range"] { width: 9em; padding: 0; border: 0; background: none; }
+.art-head [data-art-own][hidden] { display: none; }
+.art-tail { display: flex; align-items: center; gap: 14px; padding: 4px 10px; }
+.art-tail .art-size { flex-direction: row; align-items: center; gap: 8px; }
+.art-tail .ex-check { margin: 0; }
+#art-panel[hidden] { display: none; }
+.art-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 8px 10px; }
+.art-grid .ex-wide, .art-grid .art-note, .art-grid .ex-checks { grid-column: 1 / -1; }
+.art-note { font-size: 11.5px; line-height: 1.4; }
+/* names and targets by selection (ExportSpec decision 19): a filter, All and None, the lines ticked
+   or not, scrolled within the panel */
+.art-pick { grid-column: 1 / -1; display: flex; flex-direction: column; gap: 5px; }
+.art-pick-head { display: flex; align-items: center; gap: 5px; font-size: 11.5px; }
+.art-pick-head > span { flex: 1; }
+.art-pick-head .rv-btn { padding: 3px 8px; font-size: 11.5px; white-space: nowrap; }
+.art-filter {
+  flex: 1; min-width: 0; font: 12.5px var(--font); color: var(--text); background: var(--surface-solid);
+  border: 1px solid var(--line); border-radius: 7px; padding: 4px 7px;
+}
+.art-rows { max-height: 176px; overflow: auto; padding: 3px 0; border: 1px solid var(--line); border-radius: 7px; background: var(--surface-solid); }
+.art-row { display: flex; align-items: center; gap: 6px; padding: 1px 8px; font-size: 12px; line-height: 1.5; cursor: pointer; white-space: nowrap; }
+.art-row:hover { background: var(--code-bg); }
+.art-row input { margin: 0; flex: none; }
+.art-row span { overflow: hidden; text-overflow: ellipsis; }
+.art-rows-h { padding: 4px 8px 1px; font-size: 10.5px; color: var(--text-3); }
+.ex-tabs { margin: 2px 0 4px; }
+/* in the artwork mode, the panels are put away: the frame has the room */
+body.framing #side, body.framing #panel, body.framing #selbar, body.framing #lensbar, body.framing #tm-kept,
+body.framing #viewbar, body.framing #foot, body.framing #zoom, body.framing #tabs, body.framing #legend { visibility: hidden; opacity: 0; }
+/* of the bar, Share and Search alone: the rest out of reach (web/src/main.ts, drawLook) */
+body.framing #bar [inert] { opacity: 0.32; }
+/* both fading as the mode comes and goes */
+body.art-moving :is(#side, #panel, #selbar, #lensbar, #tm-kept, #viewbar, #foot, #zoom, #tabs, #legend) { transition: opacity 240ms ease, visibility 240ms; }
+body.art-moving :is(#bar .brand, #bar .library-wrap, #export-btn, #activity-btn, #bar .peers-wrap, #bar .who-wrap, #help-btn, #bar .more-wrap) { transition: opacity 240ms ease; }
 
 .glass {
   background: var(--surface);
@@ -333,6 +438,12 @@ button { font: inherit; color: inherit; cursor: pointer; }
 }
 .sw-review .rv-text { min-height: calc(5 * 1.45em + 12px); }
 .rv-actions { display: flex; flex-wrap: wrap; align-items: center; gap: 6px; }
+/* whom the opinion is for (ReviewSpec decision 8): a name beside the buttons; while it is another
+   person's, a coloured line over the box says so */
+.rv-for { display: inline-flex; align-items: center; gap: 5px; margin-left: auto; font-size: 11.5px; color: var(--text-2); white-space: nowrap; }
+.rv-for-in { width: 9em; font: 12px var(--font); color: var(--text); background: var(--surface-solid); border: 1px solid var(--line); border-radius: 6px; padding: 3px 6px; }
+.rv-for-on { margin: 0 0 6px; padding: 5px 9px; border-radius: 7px; font-size: 12px; color: var(--accent); background: color-mix(in srgb, var(--accent) 12%, transparent); border: 1px solid color-mix(in srgb, var(--accent) 35%, transparent); }
+.rv-for-on[hidden] { display: none; }
 .rv-btn {
   border: 1px solid var(--line); background: var(--surface-solid); color: var(--text); font: 12px var(--font);
   padding: 4px 10px; border-radius: 7px; cursor: pointer;
@@ -526,11 +637,11 @@ button.o-trust:hover { color: var(--accent); background: var(--code-bg); }
 .sw-win.moving .sw-head { cursor: grabbing; }
 .sw-head .nav { margin-right: 2px; }
 /* under the title bar, why the pairing opened no reference beside it (AttachmentSpec decision 8) */
-.sw-pair { padding: 5px 12px; border-bottom: 1px solid var(--line); font-size: 12px; color: var(--text-2); }
-/* a narrow window shortens the namespace and the place, never its buttons */
-.sw-name { font: 600 15px var(--font); flex: none; }
-.sw-ns { color: var(--text-2); font-size: 12px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; max-width: 40vw; min-width: 0; }
-.sw-loc { color: var(--text-3); font: 11.5px var(--mono); margin-left: auto; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; min-width: 0; }
+.sw-pair { padding: 5px 12px; border-bottom: 1px solid var(--line); font-size: 12px; color: var(--text-2); overflow-wrap: anywhere; }
+/* a narrow window shortens the namespace and the place, then the name, never its buttons */
+.sw-name { font: 600 15px var(--font); flex: 0 1 auto; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.sw-ns { color: var(--text-2); font-size: 12px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; max-width: 40vw; min-width: 0; flex-shrink: 1000; }
+.sw-loc { color: var(--text-3); font: 11.5px var(--mono); margin-left: auto; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; min-width: 0; flex-shrink: 1000; }
 .sw-acts { display: inline-flex; align-items: center; gap: 2px; align-self: center; flex: none; }
 .sw-acts .icon, .sw-pill .icon {
   display: inline-grid; place-items: center; padding: 0; border: 0; background: transparent; color: var(--text-2);
@@ -818,12 +929,10 @@ button.o-trust:hover { color: var(--accent); background: var(--code-bg); }
 .modal-title { font-weight: 600; font-size: 15px; }
 .modal-text { color: var(--text-2); font-size: 12.5px; line-height: 1.45; }
 /* Export (web/src/exportmodal.ts): which view, what its document holds, its title and author line,
-   the common settings, then the job */
-#export-modal {
-  position: fixed; inset: 0; z-index: 40; display: flex; align-items: center; justify-content: center;
-  background: rgba(0, 0, 0, 0.22);
-}
-.ex-box { width: min(580px, calc(100vw - 32px)); max-height: 90vh; overflow: auto; outline: none; }
+   the common settings, then the job. At the right, over nothing but the panel: the board is drawn
+   in the linear form beside it while it is open (ExportSpec decision 18) */
+#export-modal { position: fixed; top: 106px; right: 12px; z-index: 40; pointer-events: none; }
+.ex-box { width: min(480px, calc(100vw - 32px)); max-height: calc(100vh - 130px); overflow: auto; outline: none; pointer-events: auto; }
 .ex-head { display: flex; align-items: center; justify-content: space-between; }
 .ex-sec { display: flex; flex-direction: column; gap: 6px; }
 .ex-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 8px 10px; }
@@ -1687,7 +1796,7 @@ details.lf-archived > summary { cursor: pointer; }
   word-break: break-word;
 }
 .p-ns { color: var(--text-2); font-size: 12.5px; word-break: break-all; }
-.p-mod { color: var(--text-3); font-size: 12px; margin: 6px 0 12px; display: flex; gap: 10px; align-items: baseline; flex-wrap: wrap; }
+.p-mod { color: var(--text-3); font-size: 12px; margin: 6px 0 12px; display: flex; gap: 10px; align-items: baseline; flex-wrap: wrap; overflow-wrap: anywhere; }
 .p-gen { color: var(--text-2); font-size: 12px; margin: -6px 0 12px; line-height: 1.45; }
 .sw-print { margin-top: 14px; border-top: 1px solid var(--line); padding-top: 10px; }
 .sw-print-h { color: var(--text-3); font-size: 12px; margin-bottom: 6px; font-family: var(--mono, ui-monospace, monospace); }
@@ -1864,6 +1973,7 @@ a.link:hover { text-decoration: underline; }
 /* the reader's "Open in editor" template, under the keys */
 .help-editor, .help-about { display: flex; flex-direction: column; gap: 6px; margin-top: 16px; padding-top: 12px; border-top: 1px solid var(--line); }
 .help-note { color: var(--text-2); font-size: 12px; line-height: 1.45; }
+.help-note a { color: var(--accent); }
 .help-note code { font: 11px var(--mono); background: var(--code-bg); padding: 1px 4px; border-radius: 4px; overflow-wrap: anywhere; }
 .help-input {
   font: 12.5px var(--mono); color: var(--text); background: var(--surface-solid); border: 1px solid var(--line);
@@ -2310,3 +2420,136 @@ span.tm-row { color: var(--text-2); cursor: default; }
 @media (max-width: 1350px) { .tm-growth, .tm-w { display: none; } }
 @media (max-width: 1150px) { .tm-view { display: none; } .tm-n { padding: 0 6px; } }
 @media (max-width: 900px) { .tm-btn[data-tm-save] { display: none; } }
+
+/* ---------------------------------------------------------------- a phone (PhoneSpec)
+
+   At most 640 px wide: a page for reading and reviewing (web/src/phone.ts). The bar keeps Back, the
+   project's name, search and ⋯, which holds the modes and the rest; the side panel is a drawer from
+   ☰; the panel is a sheet from the bottom, the board above it. */
+.more-wrap, .side-btn, .side-back { display: none; }
+@media (max-width: 640px) {
+  /* over the sheet, which stops under it at its tallest, so that what opens from the bar (⋯, the
+     search's results, Share) opens over the sheet too */
+  #bar { top: 8px; left: 8px; right: 8px; height: 44px; gap: 6px; padding: 0 6px 0 4px; z-index: 31; }
+  #bar .right { gap: 4px; }
+  #nav-fwd, .brand .logo { display: none; }
+  .brand { align-items: center; gap: 6px; }
+  .brand .project { display: inline; font-weight: 600; font-size: 15px; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+  #share-btn, #library-btn, #export-btn, #activity-btn, #who, #help-btn { display: none !important; }
+  .more-wrap { display: block; position: relative; }
+  #more-btn { width: 38px; height: 34px; }
+  #more-badge { position: absolute; top: -5px; right: -5px; }
+  #more-pop { position: fixed; top: 58px; right: 8px; width: min(260px, calc(100vw - 16px)); z-index: 46; border-radius: 14px; padding: 6px; display: flex; flex-direction: column; background: var(--surface-solid); box-shadow: 0 0 0 0.5px var(--line), var(--shadow-lg); }
+  #more-pop[hidden] { display: none; }
+  .more-item { display: flex; align-items: center; gap: 10px; min-height: 44px; padding: 0 12px; border: 0; border-radius: 10px; background: none; color: var(--text); font: 15px var(--font); text-align: left; }
+  .more-item:active { background: var(--code-bg); }
+  .more-item svg { flex: none; width: 18px; height: 18px; color: var(--text-2); fill: none; stroke: currentColor; stroke-width: 1.6; stroke-linecap: round; stroke-linejoin: round; }
+  .more-item .act-badge { position: static; margin-left: auto; }
+  /* the modes, at the top of ⋯: each with what a tap selects under its name, the one in use ticked */
+  #more-pop { max-height: calc(100dvh - 70px); overflow-y: auto; }
+  .more-h { padding: 6px 12px 2px; font-size: 12px; font-weight: 600; color: var(--text-2); }
+  .more-sub { padding: 6px 12px 0 36px; font-size: 12px; color: var(--text-2); }
+  .more-mode { gap: 6px; padding: 4px 12px; }
+  .more-mode.step { padding-left: 28px; }
+  .more-mode.on { color: var(--accent); }
+  .more-tick { flex: none; width: 16px; text-align: center; font-weight: 700; }
+  .more-l { display: flex; flex-direction: column; min-width: 0; line-height: 1.25; }
+  .more-l small { font-size: 12px; color: var(--text-2); }
+  .more-sep { height: 1px; margin: 6px 4px; background: var(--line); }
+  /* search: a narrow field that takes the whole bar while it is used */
+  #search { width: 92px; height: 34px; padding: 0 10px; }
+  .search-wrap:focus-within { position: fixed; top: 8px; left: 8px; right: 8px; z-index: 45; }
+  .search-wrap:focus-within #search { width: 100%; height: 44px; font-size: 16px; box-shadow: var(--shadow-lg); }
+  #results { position: fixed; top: 58px; left: 8px; right: 8px; width: auto; max-height: calc(100dvh - 70px); }
+  /* every popover of the bar and the view bar: a sheet under the bar, the screen's width */
+  #share-pop, #library-pop, #who-menu, #peer-menu, #views-menu, #focus-menu {
+    position: fixed !important; top: 58px !important; left: 8px !important; right: 8px !important; bottom: auto !important;
+    width: auto !important; max-width: none !important; max-height: calc(100dvh - 70px); overflow: auto;
+  }
+  #viewbar { top: 58px; left: 8px; right: 8px; gap: 6px; }
+  .side-btn { display: inline-flex; flex: none; width: 36px; justify-content: center; padding: 0; }
+  #tabs { flex: 1 1 auto; min-width: 0; overflow-x: auto; scrollbar-width: none; }
+  #tabs::-webkit-scrollbar { display: none; }
+  .vb-gap, .light-l { display: none; }
+  .focus-btn { max-width: 120px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+  /* the modes are in ⋯ */
+  #lightup { display: none; }
+  #zoom { right: 8px; bottom: calc(8px + env(safe-area-inset-bottom)); }
+  /* ⋯ opens upwards from its box, at the right (the box's blur makes it the popover's frame) */
+  #eyes-pop { right: 0; bottom: calc(100% + 8px); width: min(280px, calc(100vw - 16px)); min-width: 0; background: var(--surface-solid); }
+  #zoom #eyes-pop button.eye { min-height: 40px; }
+  /* no finger moves anything: the lock means nothing here */
+  #lock-btn { display: none !important; }
+  /* the help: gestures, as large as the screen allows */
+  .help-box { width: calc(100vw - 16px); max-height: calc(100dvh - 32px); background: var(--surface-solid); }
+  /* no keyboard: no keys beside the menus' items */
+  #eyes-pop kbd { display: none; }
+  .help-touch .help-row { grid-template-columns: 116px minmax(0, 1fr); font-size: 14px; padding: 5px 0; }
+  .help-touch .help-g { color: var(--text); font-weight: 600; }
+  #zoom #zoom-in, #zoom #zoom-out { display: none; }
+  #foot { left: 8px; bottom: calc(8px + env(safe-area-inset-bottom)); }
+  /* under the view bar, the review strip, then the selection bar (--strip-h: main.ts) */
+  #lensbar, #tm-kept { top: 100px; left: 8px; right: 8px; transform: none; max-width: none; }
+  #selbar { top: calc(100px + var(--strip-h, 0px)); left: 8px; right: 8px; width: auto; }
+  /* the panel: a sheet from the bottom, its height the reader's to drag */
+  #panel {
+    top: auto; left: 0; right: 0; bottom: 0; width: auto; height: var(--sheet-h, 55dvh); max-height: calc(100dvh - 60px);
+    border-radius: 18px 18px 0 0; padding: 26px 16px calc(24px + env(safe-area-inset-bottom)); z-index: 30;
+    background: var(--surface-solid); box-shadow: 0 -1px 0 var(--line), 0 -8px 30px rgba(0, 0, 0, 0.12);
+    transform: translateY(105%); transition: transform 0.32s cubic-bezier(0.2, 0.9, 0.25, 1), height 0.2s;
+  }
+  #panel.open { transform: none; }
+  #panel::before { content: ""; position: sticky; top: -18px; display: block; width: 40px; height: 5px; margin: -18px auto 13px; border-radius: 3px; background: var(--text-3); opacity: 0.6; }
+  /* the side panel: a drawer from the left, over a shade */
+  body.side-open #side { display: flex; position: fixed; top: 0; left: 0; bottom: 0; width: min(320px, 86vw); border-radius: 0 16px 16px 0; z-index: 47; padding-top: env(safe-area-inset-top); background: var(--surface-solid); }
+  body.side-open::after { content: ""; position: fixed; inset: 0; z-index: 46; background: rgba(0, 0, 0, 0.3); }
+  /* ⚙ Board and Trusted: in the drawer's place, over it, with a way back */
+  body.side-open .side-pop {
+    left: 0 !important; top: 0 !important; bottom: 0 !important; right: auto !important; width: min(320px, 86vw) !important;
+    height: auto !important; max-height: none !important; border-radius: 0 16px 16px 0; z-index: 48;
+    background: var(--surface-solid); padding-top: calc(8px + env(safe-area-inset-top));
+  }
+  body.side-open .side-back {
+    display: flex; align-items: center; gap: 4px; min-height: 40px; margin: 0 0 6px -6px; padding: 0 6px; border: 0;
+    background: none; color: var(--accent); font: 600 15px var(--font);
+  }
+  .side-back svg { width: 18px; height: 18px; fill: none; stroke: currentColor; stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
+  /* a field under 16 px makes iOS zoom the whole page into it */
+  #panel textarea, #panel input, #share-pop input, #share-pop select, #who-menu input, #modal input, .sh-field input, .sh-field select { font-size: 16px; }
+  /* nothing slides sideways: the page is the screen */
+  html, body { overflow: hidden; overscroll-behavior: none; }
+  #panel { overflow-x: hidden; overscroll-behavior: contain; }
+  /* a source window: the whole screen, its title bar its name and a close */
+  .sw-win:not(.collapsed) {
+    left: 0 !important; top: 0 !important; right: 0 !important; bottom: 0 !important; width: auto !important; height: auto !important;
+    max-width: none !important; max-height: none !important; min-width: 0 !important; min-height: 0 !important;
+    border-radius: 0 !important; padding-top: env(safe-area-inset-top); padding-bottom: env(safe-area-inset-bottom); z-index: 48;
+  }
+  .sw-win .fl-rz, .sw-ns, .sw-loc, .sw-acts [data-sw-collapse], .sw-pin { display: none !important; }
+  /* the menu: no keys beside its items */
+  #ctxmenu .cm-key { display: none; }
+  /* the tree in the drawer: a row a finger can hit, an arrow wide enough to open or fold a level;
+     hiding a level arranges the board, which a phone does not */
+  #outline .o-row { height: 40px; }
+  #outline .o-row .tw { width: 32px; height: 40px; display: inline-flex; align-items: center; justify-content: center; font-size: 12px; margin-left: -8px; }
+  #outline .o-hide { display: none; }
+  /* the Time Machine: its line, the build and a way out; keeping a build or saving it as a view
+     arranges the board, which a phone does not */
+  body.tm .focus-wrap { display: none; }
+  #tmbar { flex: 1 1 auto; gap: 6px; padding: 0 2px 0 8px; }
+  #tmbar .tm-acts, #tmbar .tm-sum, #tmbar .tm-growth, #tmbar .tm-latest { display: none !important; }
+  #tmbar .tm-x { flex: none; width: 36px; height: 34px; font-size: 16px; }
+  .sw-head .sw-close { width: 40px; height: 40px; font-size: 20px; }
+  /* a long name goes on over a second line, its end (what tells it from its neighbours) in sight;
+     the buttons keep their place at the right */
+  .sw-head { align-items: center; }
+  .sw-name { flex: 1 1 auto; white-space: normal; overflow-wrap: anywhere; }
+  .pw-win:not(.collapsed) { left: 4px !important; right: 4px !important; width: auto !important; }
+  /* Activity and the lost-and-found: the whole screen, from the right */
+  #activity, #lostfound {
+    top: 0; left: 0; right: 0; bottom: 0; width: auto; border-radius: 0; z-index: 48;
+    padding: calc(10px + env(safe-area-inset-top)) 16px calc(24px + env(safe-area-inset-bottom));
+    background: var(--surface-solid); transform: translateX(100%);
+  }
+  .act-head .icon { width: 40px; height: 40px; font-size: 20px; }
+}

package/docs/agent-api/README.md

@@ -85,7 +85,7 @@ parameters and answer.
 | [following](following.md) | where people are, your own view, links to it, asking to follow, what people see |
 | [views](views.md) | the query language, views, places on the board, pins and undo |
 | [library](library.md) | papers and images, their pages, links to them |
-| [export](export.md) | a view's document: its model, typesetting, its files |
+| [export](export.md) | a view's document: its model, typesetting, its files; a picture (artwork) |
 | [history](history.md) | the timeline, the builds kept, diffs, renames, the lost-and-found |
 | [talking](talking.md) | your inbox, replies, your status line, your state, the conversation |
 | [mcp](mcp.md) | the MCP server: installing it, its tools and their actions, `wait_for_message` |

package/docs/agent-api/export.md

@@ -1,7 +1,7 @@
 # Exported documents
 
-A view's document, read as JSON or typeset as a PDF. Any level: it only reads. MCP: `export`
-(`model`, `typeset`, `job`, `file`).
+A view's document, read as JSON or typeset as a PDF; and a picture of the board ([Artwork](#artwork)).
+Any level: it only reads. MCP: `export` (`model`, `typeset`, `job`, `file`, `artwork`).
 
 ## What it holds
 
@@ -118,3 +118,42 @@ kept). 503: no XeLaTeX.
   typeset it again (`.tex`, style file, fonts). **409** with `Retry-After: 2` while running, 409 if
   failed, 404 if unknown or gone from the cache. E.g.
   `curl -fsSK ~/.visualproof/curl.cfg "$VP/api/agent/export/file?id=<id>" -o doc.pdf`.
+
+## Artwork
+
+`POST /api/agent/artwork {recipe, save?}`: a link that opens the board as a picture in the artwork mode, as a **recipe** says, in words that
+hold on any project: one recipe makes the same kind of picture of every codebase. The page that
+opens it draws the picture and, with `save` (`png`, `svg`, `png,svg`), saves the files there once
+the board is still; nothing comes back to the server. The link holds no key (a script enters with
+it: `scripts/artwork-batch.mjs` in VisualProof's repository).
+
+```json
+{ "recipe": { "size": "a2", "orientation": "portrait", "theme": "light", "border": true,
+    "names": { "clusters": 1 }, "targets": ["Lib.mainTheorem"],
+    "selection": { "name": "Lib.mainTheorem", "mode": "tcb" }, "keys": false, "notes": false,
+    "source": true, "title": "Lib", "subtitle": "One line about the work" }, "save": "png,svg" }
+```
+
+Every field is optional; left out, as a new artwork has it.
+
+- `size`: `hd`, `4k` (default), `square`, `a3`, `a2` (300 dpi), or `{w, h}`; `orientation`;
+  `style` (`board`, `cells`, `stars`); `theme` (`light`, `dark`), `transparent`; `colouring`
+  (`kind`, `status`); `border`; `title`, `subtitle` (null: the project's own; `""`: none),
+  `titleSize`, `footSize` (hundredths of the height); `source` (git source and commit).
+- `names`: `board`, `clusters`, `none`, or a rule `{clusters, minShare, targets, decls, omit,
+  from}`: `clusters` a depth (0: the top level) or keys; a depth names the outside world and the
+  clusters holding at least `minShare` of the project (default 0.01), each written only where it
+  covers no name already written (`ruled`), never over another; keys, `decls` (full names) and
+  `targets` (default true: the marked targets' names) written wherever they fall; `omit` keys or
+  names; `from` `none` (default) or `board`.
+- `targets`: `all` (default), `none`, `faded`, or a list of targets marked alone. `keys`, `notes`:
+  default true. `edges`: `all` (under a selection, the rest faint), `selection`, `none`.
+- `selection`: `{name, mode}` (`mode` as `POST view`'s; default `tcb`), lit while `lit` (default
+  true). `view`: a view's id; left out, the Project.
+
+Answer: `{ok, link, length, size, names: {clusters, decls, ruled}, targets, selection, left, note}`;
+`left`: names or targets beyond what an artwork carries, left out. Saving both files, the page says
+the browser may ask to allow several downloads. 400: a field unknown or wrong; 404: a name, target,
+cluster or view the recipe names that the board has not (`problems`; a target of the review the
+graph no longer has is left out unsaid).
+

package/docs/agent-api/following.md

@@ -30,7 +30,7 @@ MCP: `companion`.
 | `source`, `sourceCollapsed` | the source window following their selection: open; collapsed to its pill |
 | `pinned` | pinned source windows, first pinned first, `{declaration, collapsed}`; followers mirror them (an agent pins none) |
 | `history` | `{snapshot, built}`: the build they browse in the Time Machine |
-| `activity`, `lostAndFound`, `colouring`, `edges`, `proofEdges` | what else followers take, where their page says it (a page from before, and an agent, say none): `activity` `{open, kind, who, mine?}` (kind: all, review, build, change; who: all, agents, people; `mine`: the person whose targets it keeps to); `lostAndFound` `{open}`; `colouring` `kind` or `status`; edges drawn or not |
+| `activity`, `lostAndFound`, `colouring`, `edges` | what else followers take, where their page says it (a page from before, and an agent, say none): `activity` `{open, kind, who, mine?}` (kind: all, review, build, change; who: all, agents, people; `mine`: the person whose targets it keeps to); `lostAndFound` `{open}`; `colouring` `kind` or `status`; edges drawn or not |
 | `inWords` | the place in words; of the row above, only what differs from a fresh page |
 
 `wait=<s>` (≤ 60) waits until someone comes, goes, goes idle or moves (view, selection,
@@ -80,7 +80,7 @@ Fields go over your own place (none: your place): every `POST view` field but `l
 | `history` | a snapshot id: the Time Machine at that build; `null`: none |
 | `region` | `[x, y, w, h]`: centre, width, height in the board's world (a top-level cluster's place is its `at` in `views/view`, a nested one's its parents' added up), fitted to the opener's screen. Left out, framed as for any link |
 | `activity` | `{"open": true, "kind": "review", "who": "people"}`, values as in `companion` |
-| `lostFound`, `scheme`, `edges`, `proofEdges` | the lost-and-found open; the colouring, `kind` or `status`; edges, proof edges drawn |
+| `lostFound`, `scheme`, `edges` | the lost-and-found open; the colouring, `kind` or `status`; edges drawn |
 | `exact` | `false`: the view's address alone (Share's switch off) |
 
 ```json

package/docs/agent-api/history.md

@@ -20,7 +20,8 @@ name bare).
 Every event with a `by` has `agent`. `by` is null on a `view`, `note` or `undo` event done without a
 name (a private reader's; their opinions, targets, key marks and trust keep their name).
 
-- Review's logs (no `id`): `opinion`, `target`, `key` (as marked now: `target`, `name`), `file`
+- Review's logs (no `id`): `opinion` (`recordedBy`: who typed it for `by`, at one screen), `target`,
+  `key` (as marked now: `target`, `name`), `file`
   (`what` added, edited, archived or restored; `sha`, `title` then, `wasTitle` before an edit),
   `link` (`what` made, edited or removed; `id`, `subject`, `label`, `file`; an edit's `changed`
   (of `subject`, `label`, `place`), `wasSubject`, `wasLabel`, and `auto` if VisualProof carried it

package/docs/agent-api/mcp.md

@@ -40,7 +40,7 @@ Each wraps the endpoints of a topic, which says what their answers hold. `*`: th
 | `library` | `list`, `file`, `text`, `search`, `page`, `clip`, `save`; `add_url`, `add_file`, `edit`, `archive` (advise) | `library/…`, [library](library.md) |
 | `links` | `list`; `make`, `edit`, `remove` (advise) | `GET links`, `POST link`, `link/edit`, `unlink`, [library](library.md) |
 | `history` | `snapshots`, `diff`, `moves`, `last`, `lost`, `archived`; `attach`, `unmove`, `archive` (full) | `history/…`, [history](history.md) |
-| `export` | `model`, `typeset`, `job`, `file` | `export`, `export/job`, `export/file`, [export](export.md) |
+| `export` | `model`, `typeset`, `job`, `file`, `artwork` | `export`, `export/job`, `export/file`, `artwork`, [export](export.md) |
 
 Paths are under `/api/agent/`. `GET /api/agent/history/graph` has no tool (it is large: ask it over
 HTTP when you need a past build's whole graph).

package/docs/agent-api/reading.md

@@ -36,7 +36,8 @@ Everything about one declaration; here `include=print` while Lean loads:
 - `axioms`: all its proof and definition reach; `nonStandardAxioms`: beyond the standard three
   (`sorryAx`). `review`: `opinions` (people's latest) and `advice` (agents', `yours: true`), one
   each; `onPresentVersion: false`: on an earlier version; `verified: true`: from someone invited by
-  a personal link, `by` their name now; `trustedBy`: covering prefixes, or `["standard axiom"]`.
+  a personal link, `by` their name now; `recordedBy`: typed for `by` by that person, at one screen
+  (theirs all the same); `trustedBy`: covering prefixes, or `["standard axiom"]`.
 - `editedSinceCompiled`: file differs from what was compiled (null outside the project); `keyFor`,
   `inTcbOf`: targets it is key for, whose TCB holds it; `usesDirect`, `usedBy.direct`: what it
   refers to by name, what refers to it (`uses`, `users` list them); `usedBy.all`: all reaching it,