visualproof 0.2.0 → 0.4.0

package/dist/web/bundle/edges.js

@@ -313,7 +313,7 @@ var OverviewModel = class {
     return looks;
   }
 };
-var DIM = 0.12;
+var DIM = 0.3;
 
 // src/web/src/edgeworker.ts
 var EdgeWorkerCore = class {

package/dist/web/index.html

@@ -77,7 +77,12 @@
         <button id="who" class="who" hidden></button>
         <div id="who-menu" class="glass" role="menu" aria-label="Your name and visibility" hidden></div>
       </div>
-      <button id="help-btn" class="help-btn" title="Keys and gestures, and the tour (?)" aria-label="Help">?</button>
+      <!-- help: a menu of the tips, the keys, the tour, and what the project and VisualProof are
+           (GuideSpec decision 8, web/src/guide.ts) -->
+      <div class="help-wrap">
+        <button id="help-btn" class="help-btn" title="Help: tips, keys, the tour (?)" aria-label="Help" aria-haspopup="menu" aria-expanded="false">?</button>
+        <div id="help-menu" class="glass" role="menu" aria-label="Help" hidden></div>
+      </div>
       <!-- on a phone the bar's buttons are in one menu (web/src/phone.ts) -->
       <div class="more-wrap">
         <button id="more-btn" class="act-btn act-icon" aria-label="More" aria-haspopup="menu" aria-expanded="false" title="Share, the library, export, activity, your name, help"><svg viewBox="0 0 16 16" width="16" height="16" aria-hidden="true"><circle cx="3.5" cy="8" r="1.3"/><circle cx="8" cy="8" r="1.3"/><circle cx="12.5" cy="8" r="1.3"/></svg><span id="more-badge" class="act-badge" hidden></span></button>
@@ -229,6 +234,13 @@
     <div class="tour-spot"></div><div class="tour-card glass" role="dialog" aria-live="polite"></div>
   </div>
   <div id="help" hidden></div>
+  <!-- a tip in place, beside the control it is about (GuideSpec decision 9, web/src/intip.ts); What's
+       new, said once when the server runs a newer release than this browser saw (decision 11) -->
+  <div id="intip" class="glass" role="dialog" aria-live="polite" hidden></div>
+  <div id="whatsnew" class="glass" role="status" hidden></div>
+  <!-- a first visit: the tour and the film offered, never imposed; no backdrop, never the keyboard's
+       (GuideSpec decision 1) -->
+  <div id="welcome" class="glass" role="region" aria-label="Welcome" aria-live="polite" hidden></div>
   <div id="modal" hidden>
     <form id="who-form" class="modal-box glass" autocomplete="off">
       <div class="modal-title" id="who-title">Who is reviewing?</div>

package/dist/web/src/agentmark.js

@@ -0,0 +1,14 @@
+// The mark of an agent (AgentSpec decision 1): a small robot wherever the page names one — its
+// initials among the others, its advice in the review, what it did in Activity — so that nothing
+// an agent said or did reads as a person's.
+/** A robot's head, drawn in the colour of the text around it. */
+export const BOT = `<svg class="bot" viewBox="0 0 16 16" aria-hidden="true">` +
+    `<path d="M8 4.2V2.4" fill="none" stroke="currentColor" stroke-width="1.4" stroke-linecap="round"/>` +
+    `<circle cx="8" cy="1.9" r="1.1" fill="currentColor"/>` +
+    `<rect x="2.2" y="4.4" width="11.6" height="9.2" rx="2.6" fill="none" stroke="currentColor" stroke-width="1.4"/>` +
+    `<circle cx="5.9" cy="8.8" r="1.25" fill="currentColor"/><circle cx="10.1" cy="8.8" r="1.25" fill="currentColor"/>` +
+    `</svg>`;
+/** How an agent is named in words: "Claude (agent)". */
+export function agentName(name) {
+    return `${name} (agent)`;
+}