samagotchi 0.126.0 → 0.128.0

data/lib/samagotchi/terminal_ui/attached_loop/sending.rb

@@ -10,19 +10,16 @@ require_relative "../image_input"
 module Samagotchi
   class TerminalUI
     class AttachedLoop
-      # Bridge sending, first-command launch, and this run's turn ledger.
-      # Reads @as_parent, @client, @client_id, @display_pending, @first_command_id,
-      # @first_command_line, @first_commands, @first_prompt, @input_ended, @link,
-      # @merged_ids, @my_queued, @no_interrupt, @open_ids, @own_empty, @own_failed,
-      # @queued_ids, @reader, @running, @screen, @sent_ids, @status, @wait_at_eof;
-      # writes @display_pending, @first_command_id, @first_command_line,
-      # @first_commands, @first_prompt, @merged_ids, @my_queued, @open_ids,
-      # @own_empty, @own_failed, @queued_ids, @sent_ids.
-      # Calls the loop helpers #client_id_for, #command_registry, #default_model_name,
-      # #detach, #mark_activity, #older_worker_command, #origin_of, #own?, #paint,
-      # #persist_recent_history, #prompt_line, #put_back_busy_command, #prefill_confirm,
-      # #queue_needs_newer_worker, #send_command, #send_prompt, #stale_worker,
-      # #steer_cut_note, #too_late?, #via, and #worker_down.
+      # Bridge sending and first-command launch.
+      # Reads @as_parent, @client, @client_id, @first_command_id, @first_command_line,
+      # @first_commands, @first_prompt, @link, @my_queued, @no_interrupt, @own_turns,
+      # @queued_ids, @reader, @running, @screen, @status;
+      # writes @first_command_id, @first_command_line, @first_commands, @first_prompt,
+      # @my_queued, @queued_ids.
+      # Calls the loop helpers #command_registry, #default_model_name, #detach,
+      # #mark_activity, #older_worker_command, #origin_of, #own?, #paint,
+      # #persist_recent_history, #prompt_line, #queue_needs_newer_worker,
+      # #stale_worker, #steer_cut_note, #too_late?, #via, and #worker_down.
       module Sending
         private
 
@@ -33,7 +30,7 @@ module Samagotchi
           if reply.status == 202
             # Input from a pipe ends once its output is in (#command_ran).
             command_id = reply.json&.fetch("command_id", nil)
-            @open_ids << command_id if command_id && @wait_at_eof
+            @own_turns.command_sent(command_id) if command_id
             return
           end
           return @screen.commit(stale_worker("run commands")) if reply.status == 404
@@ -49,7 +46,7 @@ module Samagotchi
         end
 
         def command_ran(event)
-          @open_ids.delete(event[:command_id])
+          @own_turns.command_ran(event[:command_id])
           @queued_ids.delete(event[:command_id])
           unless own?(event[:client_id]) || event[:anytime] || event[:card] || event[:queued]
             @screen.commit(prompt_line(event[:client_id], event[:line]))
@@ -147,8 +144,7 @@ module Samagotchi
           reply = @client.post_turn(**options)
           if reply.status == 202
             enqueued_id = reply.json&.fetch("enqueued_id", nil)
-            @sent_ids << enqueued_id if enqueued_id
-            @open_ids << enqueued_id if enqueued_id && @wait_at_eof
+            @own_turns.sent(enqueued_id) if enqueued_id
             @my_queued << enqueued_id if enqueued_id && reply.json&.fetch("delivery", nil) == Delivery::QUEUE
             note = sent_note(reply.json, delivery: delivery, images: images, running: running, choice: choice)
             @screen.commit(note) if note
@@ -172,21 +168,15 @@ module Samagotchi
         # Whether the input's end must wait: the -p prompt isn't sent yet, a
         # prompt this run sent hasn't had its turn, or its turn's after_turn
         # hooks still run (their notices, source-links' sources:, come next).
-        def own_turns_pending? = !@first_prompt.to_s.strip.empty? || !@open_ids.empty? || @display_pending == true
+        def own_turns_pending? = !@first_prompt.to_s.strip.empty? || @own_turns.pending?
 
         # A turn ended: this run's prompt (and ours merged into it) had its turn.
         def own_turn_ended(event)
-          return unless @wait_at_eof
-
-          id = origin_of(event[:origin]).enqueued_id
-          ours = @open_ids.include?(id) || !@merged_ids.empty?
-          @own_failed = true if ours && event[:type] == :turn_failed
-          @own_empty = true if ours && event[:type] == :turn_completed && event.dig(:turn_summary, :empty_answer)
-          # The worker sends answer_display once its after_turn hooks ran.
-          @display_pending = true if ours && event[:type] == :turn_completed && event[:display_pending]
-          @open_ids.delete(id)
-          @open_ids.subtract(@merged_ids)
-          @merged_ids.clear
+          completed = event[:type] == :turn_completed
+          @own_turns.ended(origin_of(event[:origin]).enqueued_id,
+                           failed: event[:type] == :turn_failed,
+                           empty: completed && event.dig(:turn_summary, :empty_answer),
+                           display_pending: completed && event[:display_pending])
         end
 
         # Ours merged into the running turn: they end with it.
@@ -194,22 +184,20 @@ module Samagotchi
           Array(event[:origins]).each do |value|
             origin = origin_of(value)
             id = origin.enqueued_id
-            @merged_ids << id if own?(origin.client_id) && @open_ids.include?(id)
+            @own_turns.merged(id) if own?(origin.client_id)
           end
           nil
         end
 
         def own_prompt_failed
-          @own_failed = true if @wait_at_eof
+          @own_turns.prompt_failed
           nil
         end
 
         # The input ended and nothing of ours is left to wait for.
         def end_of_input
-          detach("Detached; the session keeps running. Re-attach with: #{via.attach(@client.session_id)}") if @input_ended
-          return :turn_failed if @own_failed
-
-          @own_empty ? :empty_answer : :detached
+          detach("Detached; the session keeps running. Re-attach with: #{via.attach(@client.session_id)}") if @own_turns.input_ended?
+          @own_turns.outcome
         end
 
         # The prompt's `@path` images, stored where the worker reads them

data/lib/samagotchi/terminal_ui/attached_loop.rb

@@ -14,6 +14,7 @@ require_relative "image_input"
 require_relative "line_reader"
 require_relative "question_prompt"
 require_relative "join_replay"
+require_relative "own_turns"
 require_relative "exit_lines"
 require_relative "attached_loop/exit_commands"
 require_relative "attached_loop/questions"
@@ -68,8 +69,7 @@ module Samagotchi
       attr_reader :client_id
 
       # @return [String, nil] the model the worker's turns run on, as the
-      #   last command said
-      # @return [String, nil] the worker's model
+      #   last snapshot or model change said (the status row's)
       def model_name = @status[:model]
 
       # @return [QuestionPrompt, nil] the question waiting for an answer
@@ -152,21 +152,12 @@ module Samagotchi
         @join_replay = JoinReplay.new(screen: @screen, view: @view, link: @link, gaps: @gaps, renderer: @renderer)
         @last_idle_interrupt_at = nil
         @next_input_prefill = nil
-        # Prompts this run sent, by enqueued_id: only those come back into
-        # the input when their turn fails (a replayed event must not).
-        @sent_ids = Set.new
         # This run's prompts queued for after the running turn (their ack
         # said queue), oldest first, until their turn starts or they are
         # removed: /unqueue takes back the newest.
         @my_queued = []
         @wait_at_eof = wait_at_eof
-        # Sent and not ended yet (by enqueued_id), the ones merged into the
-        # running turn, whether the input has ended, and whether one of this
-        # run's prompts failed (wait_at_eof only).
-        @open_ids = Set.new
-        @merged_ids = Set.new
-        @input_ended = false
-        @own_failed = false
+        @own_turns = OwnTurns.new(active: wait_at_eof)
         # A continue offer is pending: the prompt asks for the answer.
         @continue_offer = nil
         # The /exit ask is open: the next line is its answer (#answer_exit_ask).
@@ -188,7 +179,8 @@ module Samagotchi
       #   :failed when the first command (--model) didn't go through, or
       #   (wait_at_eof) :turn_failed when one of this run's prompts failed,
       #   :empty_answer when one ended with no answer, and :unanswered when
-      #   a question came after the input ended
+      #   a question came after the input ended; :removed when this run took
+      #   back its only queued prompt before it ran
       # @param input [#call, nil] prompt -> line (nil = Ctrl-D, raising
       #   Interrupt = Ctrl-C); defaults to Reline
       def run(input: nil)
@@ -225,7 +217,7 @@ module Samagotchi
 
             ended = take_early_lines
             return ended if ended
-            return end_of_input if @input_ended && !own_turns_pending?
+            return end_of_input if @own_turns.input_ended? && !own_turns_pending?
           when :line
             # A pipe is read at once: its lines wait for the joining
             # snapshot, which may bring the question they answer.
@@ -256,7 +248,7 @@ module Samagotchi
           # has nothing left to answer it.
           return unanswered_question(@question_pending) if @question
 
-          @input_ended = true
+          @own_turns.end_input
           return nil
         end
         end_of_input if submit(line) == :detach
@@ -303,7 +295,7 @@ module Samagotchi
           own_turn_ended(event)
         when :prompt_restored then restore_prompt(event)
         # The after_turn hooks are done (their notices came before it).
-        when :answer_display then @display_pending = false
+        when :answer_display then @own_turns.displayed
         when :context_status, :used_memories_updated then @status.take_event(event)
         when :participants_changed then participants_changed(event)
         # Another client's anytime command: its line now, before the cards
@@ -333,7 +325,7 @@ module Samagotchi
           refresh_children if Array(event[:origins]).any? { |origin| report_origin?(origin_of(origin)) }
         when :question_requested
           # Nothing is left to answer it with.
-          return unanswered_question(event[:pending_question]) if @input_ended
+          return unanswered_question(event[:pending_question]) if @own_turns.input_ended?
 
           ask(event[:pending_question])
         when :question_answered then question_answered(event)
@@ -515,7 +507,7 @@ module Samagotchi
       # goes back into the input, as the REPL restores it for a retry.
       def restore_prompt(event)
         origin = origin_of(event[:origin])
-        return unless own?(origin.client_id) && @sent_ids.include?(origin.enqueued_id)
+        return unless own?(origin.client_id) && @own_turns.sent?(origin.enqueued_id)
         # Lines from a pipe: nobody to retry it (the REPL's rule).
         return if @wait_at_eof
 

data/lib/samagotchi/terminal_ui/own_turns.rb

@@ -0,0 +1,81 @@
+# frozen_string_literal: true
+
+module Samagotchi
+  class TerminalUI
+    # This run's own prompts and commands. Sent prompts are always recorded so
+    # only this run's failed prompts can return to the input. With pipe input
+    # (+active+), this also tracks turns still open, prompts merged into a
+    # running turn, whether input ended, and whether a turn failed, was empty, was removed,
+    # or still has an answer display pending. #outcome is what #run returns
+    # once those turns finish.
+    class OwnTurns
+      def initialize(active:)
+        @active = active
+        @sent = Set.new
+        @open = Set.new
+        @merged = Set.new
+        @input_ended = false
+        @failed = false
+        @empty = false
+        @removed = false
+        @display_pending = false
+      end
+
+      def sent(enqueued_id)
+        @sent << enqueued_id
+        @open << enqueued_id if @active
+      end
+
+      def sent?(enqueued_id) = @sent.include?(enqueued_id)
+
+      def command_sent(command_id)
+        @open << command_id if @active
+      end
+
+      def command_ran(command_id) = @open.delete(command_id)
+
+      def merged(enqueued_id)
+        @merged << enqueued_id if @open.include?(enqueued_id)
+      end
+
+      def ended(enqueued_id, failed:, empty:, display_pending:)
+        return unless @active
+
+        ours = @open.include?(enqueued_id) || !@merged.empty?
+        @failed = true if ours && failed
+        @empty = true if ours && empty
+        @display_pending = true if ours && display_pending
+        @open.delete(enqueued_id)
+        @open.subtract(@merged)
+        @merged.clear
+      end
+
+      def displayed = (@display_pending = false)
+
+      def prompt_failed
+        @failed = true if @active
+      end
+
+      def dequeued(enqueued_id, by_us:)
+        return false unless @open.delete?(enqueued_id)
+
+        by_us ? (@removed = true) : (@failed = true)
+        true
+      end
+
+      def end_input = (@input_ended = true)
+
+      def input_ended? = @input_ended
+
+      def pending? = !@open.empty? || @display_pending
+
+      def outcome
+        return :turn_failed if @failed
+        return :empty_answer if @empty
+        return :removed if @removed
+
+        :detached
+      end
+    end
+  end
+end

data/lib/samagotchi/verify_anchor.rb

@@ -25,4 +25,12 @@ module Samagotchi
 
     def to_file = { "turn_id" => turn_id, "quote" => quote }
   end
+
+  VerifyAnchor::FEATURE = "verify"
+  VerifyAnchor::UNAVAILABLE = {
+    "error" => "verify_unavailable",
+    "detail" => "this session's worker predates Verify turns; restart this session to use Verify"
+  }.freeze
+
+  def VerifyAnchor.worker_unavailable?(features) = !features.nil? && !features.include?(VerifyAnchor::FEATURE)
 end

data/lib/samagotchi/version.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
 module Samagotchi
-  VERSION = "0.126.0"
+  VERSION = "0.128.0"
   # Sent as the User-Agent of every HTTP request chi makes.
   USER_AGENT = "chi/#{VERSION}"
 end

data/lib/samagotchi/web/app.rb

@@ -60,6 +60,7 @@ require_relative "editor"
 require_relative "../message_parts"
 require_relative "../launch_mode"
 require_relative "session_summary"
+require_relative "project_list"
 require_relative "session_access_routes"
 require_relative "principal"
 require_relative "participant_access"
@@ -240,6 +241,7 @@ module Samagotchi
       ROUTES = [
         ["GET", %r{\A/(?:index\.html)?\z}, :serve_index, :participant],
         ["GET", %r{\A/api/sessions\z}, :handle_list, :owner],
+        ["GET", %r{\A/api/projects\z}, :handle_projects, :owner],
         ["POST", %r{\A/api/sessions\z}, :handle_create, :owner],
         ["GET", %r{\A/api/sessions/resolve\z}, :handle_resolve, :participant],
         ["GET", %r{\A/api/sessions/summaries\z}, :handle_summaries, :owner],
@@ -1046,6 +1048,16 @@ module Samagotchi
         [200, headers, [body]]
       end
 
+      def handle_projects(req)
+        return error_response(503, "no_hub", "this chi web has no session hub") unless @hub
+
+        dir, error = scope_dir(req.params["dir"])
+        return error if error
+
+        current_root = dir && ProjectScope.root_for(dir)
+        json_response(200, ProjectList.build(@hub.snapshot, start_dir: start_dir, current_root: current_root))
+      end
+
       # A scope folder from the page: [dir, nil] (dir nil when none was
       # given), or [nil, a 400 response] when it isn't an existing absolute
       # folder (a bookmarked worktree deleted since, a typo).

data/lib/samagotchi/web/participant_access.rb

@@ -490,7 +490,22 @@ module Samagotchi
         <style>#{PAGE_STYLE}</style></head>
         <body>
         <h1>chi</h1>
-        <p>{sentence}</p>
+        <p id="ended">{sentence}</p>
+        <script>
+          if (/[#&]code=/.test(location.hash)) document.getElementById("ended").hidden = true;
+        </script>
+        <p id="trade" hidden></p>
+        <script type="module">
+          const ended = document.getElementById("ended");
+          import("/token_fragment.js").then(({ tradeFragmentCode }) => tradeFragmentCode({
+            onRefused: (words) => {
+              const line = document.getElementById("trade");
+              line.textContent = words;
+              line.hidden = false;
+              ended.hidden = false;
+            }
+          })).catch(() => { ended.hidden = false; });
+        </script>
         </body></html>
       HTML
       BOUND_PAGE = ENDED_PAGE.sub("<title>chi: review link ended</title>", "<title>chi: review link for another account</title>")

data/lib/samagotchi/web/participant_review.rb

@@ -51,7 +51,8 @@ module Samagotchi
       #   current_turn, waiting_for_owner, queued: {mine, others}, last_event_id}
       def handle_review(req, id)
         session = @session_class.load(id, state_dir: default_state_dir)
-        mode = ParticipantMode.live(session, state_dir: default_state_dir).to_s
+        features = ParticipantMode.live_features(session, default_state_dir)
+        mode = ParticipantMode.of(session, features: features).to_s
         viewer = participant_viewer(req, session)
         live = bridge_get_json(id, "snapshot")
         turn_snapshot = live && live["snapshot"]
@@ -67,7 +68,8 @@ module Samagotchi
         status = Session::STATUS_IDLE if status == Session::STATUS_RUNNING && current.nil?
         json_response(200, {
           viewer: review_viewer(req, id, session: session, state: state, queued: queued, viewer: viewer, mode: mode),
-          session: { id: session.id, title: participant_title(session), status: status },
+          session: { id: session.id, title: participant_title(session), status: status,
+                     verify_unavailable: VerifyAnchor.worker_unavailable?(features) },
           subjects: review_subjects(session, viewer),
           participants: participant_names(id).map { |entry| entry.slice(:id, :name, :kind) },
           messages: with_reply_html(ParticipantView.messages(shown, viewer, automatic: automatic)),

data/lib/samagotchi/web/project_list.rb

@@ -0,0 +1,52 @@
+# frozen_string_literal: true
+
+require_relative "../paths"
+require_relative "../project_scope"
+require_relative "push/attention"
+
+module Samagotchi
+  module Web
+    # Projects represented by the session hub, plus the start project even
+    # when it has no sessions.
+    module ProjectList
+      module_function
+
+      def build(summaries, start_dir:, current_root:)
+        start_dir = File.expand_path(start_dir.to_s)
+        default_root = ProjectScope.root_for(start_dir)
+        groups = {}
+        summaries.each do |summary|
+          next unless summary.is_a?(Hash) && !summary[:archived]
+
+          root = summary[:project_root]
+          next unless valid_root?(root)
+
+          (groups[root] ||= []) << summary
+        end
+        groups[default_root] ||= [] if valid_root?(default_root)
+
+        rows = groups.map do |root, sessions|
+          default = root == default_root
+          {
+            name: File.basename(root),
+            root: root,
+            root_label: Paths.tilde(root),
+            dir: default ? start_dir : root,
+            sessions: sessions.size,
+            waiting: sessions.count { |summary| Push::Attention.waits?(summary) },
+            updated_at: sessions.map { |summary| summary[:updated_at] }.compact.max_by(&:to_s),
+            default: default,
+            current: root == current_root
+          }
+        end
+        defaults, others = rows.partition { |row| row[:default] }
+        defaults + others.sort_by { |row| [row[:updated_at].to_s, row[:root]] }.reverse
+      end
+
+      def valid_root?(root)
+        root && File.directory?(root) && ProjectScope.root_for(root) == root
+      end
+      private_class_method :valid_root?
+    end
+  end
+end

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

@@ -32,6 +32,7 @@ import { actionEnabled, actionTitle, sameActions, selectionFields, splitInline }
 //   until its step closes)
 // @param onQuote (text) runs with the quote (and a preset's note) to append
 //   to the composer; the selection is cleared and the bar hidden first
+// @param disabledPreset (preset) → a reason to disable it, else null
 // @param actions () => the open session's annotation actions
 //   (annotate_actions.js annotationActions), read on every selection
 // @param running () => whether a turn runs (a send pill may wait for it)
@@ -56,7 +57,8 @@ import { actionEnabled, actionTitle, sameActions, selectionFields, splitInline }
 // @return {schedule(), hide(), el}; schedule() re-reads the selection on the
 //   next frame (call it on scroll)
 export function createAnnotateBar({
-  presets, canAnnotate, roots, isLive, onQuote, onPreset = () => {}, actions = () => [], running = () => false, onAction = () => {},
+  presets, canAnnotate, roots, isLive, onQuote, onPreset = () => {}, disabledPreset = () => null,
+  actions = () => [], running = () => false, onAction = () => {},
   dock = () => null, source: sourceOf = annotationSource, quote = quoteBlock, link = () => null, onLink = () => {},
   doc = globalThis.document, win = globalThis.window,
 }) {
@@ -80,6 +82,14 @@ export function createAnnotateBar({
     btn.title = text;
     bar.appendChild(btn);
   });
+  const presetButtons = [...bar.children].slice(1, presets.length + 1);
+  function markPresets() {
+    presetButtons.forEach((btn, i) => {
+      const reason = disabledPreset(presets[i]);
+      btn.disabled = !!reason;
+      btn.title = reason || presetParts(presets[i]).text;
+    });
+  }
   // The plugin pills: a separator, the inline ones, then ⋯ and the list
   // it opens. Redrawn only when the session's actions change.
   const group = doc.createElement("span");
@@ -175,6 +185,7 @@ export function createAnnotateBar({
     linkBtn.title = pendingLink?.title || "";
     const list = actions() || [];
     if (!sameActions(list, drawn)) drawActions(list);
+    markPresets();
     markActions();
     bar.hidden = false;
     if (touch?.matches) return placeDocked();
@@ -248,6 +259,7 @@ export function createAnnotateBar({
       return;
     }
     const preset = btn.dataset.index === undefined ? null : presets[Number(btn.dataset.index)];
+    if (btn.disabled || (preset && disabledPreset(preset))) return;
     const text = preset ? presetNote(pendingQuote, presetParts(preset).text) : pendingQuote;
     const fields = { ...pendingFields, source: pendingSource, range: pendingRange };
     win.getSelection()?.removeAllRanges();
@@ -256,7 +268,7 @@ export function createAnnotateBar({
     onQuote(text);
   });
 
-  return { schedule, hide, el: bar };
+  return { schedule, hide, refresh: markPresets, el: bar };
 }
 
 // A preset's button label and note: a text is both.

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

@@ -59,12 +59,12 @@ import { createTaskStopper } from "./task_stop.js";
 import { createSystemOneWrongAction } from "./system_one_wrong.js";
 import { appendQuote } from "./annotations.js";
 import { applyComposerText, applyRowTemplate, fetchApply } from "./review_apply.js";
-import { nameVerdictCards } from "./verdict_card.js";
+import { CHECK_NOT_ON_PAGE, nameVerdictCards, ownerCheckHash } from "./verdict_card.js";
 import { freshURL, placeVerdictWithFresh, settleRunning } from "./verdict_fresh.js";
 import { authorBadge, nameUnnamedBadges } from "./participant_names.js";
 import { parsePresets } from "./annotate_presets.js";
 import { createAnnotateBar } from "./annotate_bar.js";
-import { VERIFY_PRESET, withVerify } from "./verify_preset.js";
+import { VERIFY_PRESET, VERIFY_UNAVAILABLE, verifyWorkerUnavailable, withVerify } from "./verify_preset.js";
 import { actionLine, annotationActions, composerWithAction } from "./annotate_actions.js";
 import { copyText, installCopy } from "./copy.js";
 import { createQuestionCards } from "./question_cards.js";
@@ -78,6 +78,7 @@ import {
   claimFromHash, ownerClaimHash, participantClaimLink, selectionClaim, showClaim, turnIdOf,
 } from "./claim_link.js";
 import { scopeDir, scopeTemplate } from "./scope.js";
+import { createProjectPicker } from "./project_picker.js";
 import { html, render } from "./vendor/lit-html.js";
 import { shouldFollowScroll } from "./scroll.js";
 import { SHORT_WINDOW_QUERY, stripAutoHidden } from "./strip.js";
@@ -234,6 +235,7 @@ const composeHintEl = $("#composeHint");
 
 let selected = null;
 let pendingVerifyAnchor = null;
+let annotateBar = null;
 // The session the composer's text was last written in ("" the start page,
 // undefined unknown): the composer is one for every session, and continue →
 // keeps only a draft of its own (fillOpener).
@@ -589,6 +591,7 @@ function followSelectedSession(sess) {
   current.owner = sess.owner || null;
   current.workerVersion = sess.worker_version || null;
   current.workerFeatures = Array.isArray(sess.worker_features) ? sess.worker_features : [];
+  current.bridgeUp = sess.bridge_up === true;
   const streaming = !!(streamControl && streamControl.live);
   if (!streaming) current.status = sess.status;
   updateInfoBar();
@@ -609,6 +612,11 @@ function renderScope() {
   updateSessionTitle();
 }
 
+createProjectPicker({
+  el: $("#scope"), scope, scopeError: () => scopeError, api,
+  where: () => ({ search: location.search }),
+});
+
 // The session lists (lists_view.js): the strip, all sessions, their cards,
 // select mode, the family and chain popovers.
 const lists = createListsView({
@@ -1338,6 +1346,11 @@ function placeVerdict(record) {
   placeVerdictWithFresh(historyEl, record, {
     who: badge ? badge.name : "You",
     author: record.by || null,
+    onMissingCheck: (missing) => {
+      const hash = ownerCheckHash(allSessions, selected, missing.check_turn_id);
+      if (hash) location.hash = hash;
+      else showToast(CHECK_NOT_ON_PAGE);
+    },
   }, verifyFreshState());
 }
 
@@ -1345,11 +1358,13 @@ function placeVerdict(record) {
 // always theirs to start; its running check links to the child's session.
 function verifyFreshState() {
   const id = selected;
+  const unavailable = verifyWorkerUnavailable(current.workerFeatures, current.bridgeUp);
   if (!Array.isArray(current.verifyFresh)) current.verifyFresh = [];
   return {
     verdicts: current.verdicts || [],
     running: current.verifyFresh,
-    canStart: !!id,
+    canStart: !!id && !unavailable,
+    unavailableReason: unavailable ? VERIFY_UNAVAILABLE : null,
     start: async (of) => {
       try {
         const body = await api(freshURL(id, of), { method: "POST", body: "{}" });
@@ -1415,6 +1430,7 @@ async function restartWorker() {
 // The session bar (info_bar_model.js sessionBar): its buttons, and the
 // info line rendered by info_bar.js.
 function updateInfoBar() {
+  annotateBar?.refresh();
   const { buttons, bar } = sessionBar({
     id: selected, state: current, sessions: allSessions, versions, cardTitle: (s) => lists.cardTitle(s),
     continuing: sessionActions.continuing, restarting: restartingIds, streaming: !!streamControl, running: liveTurn.running,
@@ -1568,6 +1584,7 @@ function workerGone(id, { opened = true } = {}) {
     if (!stopped) setLiveStatus("idle");
   }
   if (current.owner === "worker") current.owner = null;
+  current.bridgeUp = false;
   // Its card says "live" (the list's owner, or setLiveStatus's) until the
   // hub's event says otherwise: the worker is gone now, as far as this
   // tab can tell.
@@ -1604,6 +1621,7 @@ const streamHandlers = createStreamHandlers({
   participantsControl,
   placeApply,
   placeVerdict,
+  restoreVerify: (anchor) => { pendingVerifyAnchor = anchor; },
   sentIds,
   earlyRestores,
   stream: {
@@ -1711,6 +1729,7 @@ const sendTurnControl = createSendTurn({
   api: { createIdleSession, uploadImage, sendTurn },
   verify: () => pendingVerifyAnchor,
   clearVerify: (anchor) => { if (pendingVerifyAnchor === anchor) pendingVerifyAnchor = null; },
+  restoreVerify: (anchor) => { pendingVerifyAnchor = anchor; },
   dir: scope.dir,
   startPage,
   takeDelivery: () => deliveryControl.take(),
@@ -1948,8 +1967,10 @@ function fillComposer(text) {
   promptEl.scrollTop = promptEl.scrollHeight;
 }
 
-const annotateBar = createAnnotateBar({
+annotateBar = createAnnotateBar({
   presets: withVerify(parsePresets(document.body.dataset.annotatePresets)),
+  disabledPreset: (preset) => preset === VERIFY_PRESET
+    && verifyWorkerUnavailable(current.workerFeatures, current.bridgeUp) ? VERIFY_UNAVAILABLE : null,
   canAnnotate: () => !!selected && current.owner !== "tui",
   roots: turnRoots,
   isLive: (root) => liveTurn.running && turnDom.containsLive(root),

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

@@ -1,11 +1,22 @@
 /* The composer (composer_mount.js): the message box, its image chips, grip and fold, its key hint and its toolbar row
    (the image button, Send). Shared by the owner's page (index.html) and the participant page (participant.html);
    linked after tokens.css and before a page's own <style>, so a page's rules of the same weight win. The owner's
-   own parts stay in index.html: the card (#dock), the delivery line, Stop turn, the start page's picker and chips,
+   own parts stay in index.html: the card's placing (#dock), the delivery line's links, Stop turn, the start page's picker and chips,
    the / list, and the 16px text fields for iOS. */
 /* The image button's icon mask (the stroke only shapes the mask; the icon takes currentColor); index.html's phone info
    bar and all view's cards use it too. */
 :root{--icon-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16' fill='none' stroke='black' stroke-width='1.5' stroke-linecap='round' stroke-linejoin='round'%3E%3Crect x='2' y='2.75' width='12' height='10.5' rx='1.5'/%3E%3Ccircle cx='5.75' cy='6.25' r='1.1'/%3E%3Cpath d='m2.5 12.5 3.75-3.75 2.5 2.5 1.75-1.75 3 3'/%3E%3C/svg%3E")}
+/* The composer card: the glass card both pages' composers sit in (the owner's #dock, the stage view's .dock-card, the
+   participant page's .p-card), with its focus ring; its footer (the owner's info bar, the participant's usage) under
+   a hairline; and the composer's line, the quiet row above the text field (the owner's delivery line, the
+   participant's key hint). A page's own rules only place the card. */
+.composer-card{display:flex;flex-direction:column;border-radius:16px;position:relative;background:var(--glass-bg);-webkit-backdrop-filter:blur(18px) saturate(1.35);backdrop-filter:blur(18px) saturate(1.35);border:1px solid var(--glass-border);box-shadow:inset 0 1px 0 var(--glass-highlight),var(--glass-shadow);transition:border-color .12s ease,box-shadow .12s ease}
+.composer-card:focus-within{border-color:color-mix(in srgb,var(--accent) 70%,transparent);box-shadow:0 0 0 3px var(--accent-ring),var(--glass-shadow)}
+@supports not ((backdrop-filter:blur(1px)) or (-webkit-backdrop-filter:blur(1px))){.composer-card{background:var(--bg-panel)}}
+@media (prefers-reduced-transparency:reduce){.composer-card{background:var(--bg-panel);-webkit-backdrop-filter:none;backdrop-filter:none}}
+body.no-glass .composer-card{background:var(--bg-panel);-webkit-backdrop-filter:none;backdrop-filter:none}
+.composer-card-foot{padding:8px 14px 10px;border-top:1px solid var(--glass-border)}
+.composer-line{flex:1 0 100%;min-width:0;height:20px;padding:0 2px;overflow:hidden;font-size:12px;line-height:18px;color:var(--text-muted);user-select:none}
 #composer{display:flex;flex-direction:column;gap:8px;padding:14px 14px 10px}
 #composer .compose-col{flex:1;display:flex;flex-direction:column;gap:6px;min-width:0}
 #composer.dropping{outline:2px dashed var(--accent);outline-offset:-4px}
@@ -42,6 +53,7 @@ body.has-session.composer-folded #composeGrip::after{opacity:1;width:48px;margin
    info bar's buttons while folded, the stage card's bottom in the stage view); it reaches 7 px below the edge, the info bar's
    border and padding, so it never covers a button of the bar. */
 @media(max-width:600px){
+  .composer-card-foot{padding-top:4px;padding-bottom:4px}
   #composeGrip{width:96px;height:26px;margin:-19px auto -7px}
   #composeGrip::after{top:17px;opacity:1}
 }