samagotchi 0.130.1 → 0.131.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: dcca1391e17e266cf83e1c56dec7ab52d21a1928a4c5190d2bf594884cca936f
-  data.tar.gz: fc59a582d279b19352c3bda61bb5d2fc3796ae0e079e52b3dcb26dc85988ea33
+  metadata.gz: 37f2a54062786637083ade10186ebb751a1cfd7a7996540defa03da018b29533
+  data.tar.gz: 6836e60f2a87358698adaf000592ac68af5ce8fe8f3c26799825fa26641d3f1a
 SHA512:
-  metadata.gz: b5cc1d80ca1b0d64f809360e111bdae2778772c5ca3c8cae7d6f339f650a55fb65b796ccc5ca3038b25c637223568a7facbc90a351ac5df77bee25c24fac3e59
-  data.tar.gz: 4e149d518537a529c69494f14b0d07435c6e3327d27ae34a42c0e30504c74fee543282c4023fbd44587a301f189c24bd7d3aebdff40235784bd45f95cfd63217
+  metadata.gz: b908ad2c276d4dabb1c8bd64ad8435a2f9ab5408663243f8cd0f24e25ca2e4647cb356228a7a37027c1c5f2895936c4df8424af5203d8c121b5403577e2a2456
+  data.tar.gz: a3c96161fc7cb55e200367417e1dac93442845e0a868ad02d58ecca15a504af6824c419e8188252c9100daf405892be203e75fd6d7baaca1406c20186a4ff6f4

data/CHANGELOG.md

@@ -7,6 +7,34 @@ and commands may change between minor versions. How releases are made:
 [docs/releasing.md](docs/releasing.md).
 ## [Unreleased]
 
+## [0.131.0] - 2026-10-29
+
+### Changed
+
+- Cache: confirmations for prompt-cache changes estimate the reread size when known and warn that Anthropic drops
+  preserved thinking after a full-prefix change.
+
+### Fixed
+
+- Web: a Verify verdict card sits right after the answer it quotes, on your page and a participant's, instead of
+  under the turn's prompt, screens above the claim in a long turn. A quote the page can't find yet puts the card at
+  the turn's end.
+- Web: Verify on a claim in a model's reply on a participant's page records its verdict and shows the card again;
+  the claim was sent without its turn, so the check ran as a plain comment.
+- Web: after a fresh verdict lands on an unclear card, its button reads **Verify fresh again**: each press starts
+  another paid check (a participant's counts against their cap).
+- Web: Verify is offered only on a finished turn's final answer, on your page and a participant's: the one place a
+  verdict card can come from. Selecting an earlier reply, a step, a message, a line added mid-turn or a turn still
+  running no longer offers a Verify that silently ran as a plain comment; the bar keeps its other actions there.
+- Web: on a participant's page, a turn a delegate's report or a context note woke opens as "An automatic turn"
+  (still without the report or note). Its answer read as one more reply of the turn before: Verify was offered on
+  it and refused, and hidden on that turn's real final answer.
+- Web: Verify on a claim that names a file in the session's folder or your home folder (or holds a key) records its
+  verdict: the pages quote such a path relative, or with `~`, and the check compared it against the answer's full
+  path, so it ran as a plain comment with no card.
+
+Update with `chi update`, then restart `chi web` and the session workers (`chi sessions restart`).
+
 ## [0.130.1] - 2026-10-29
 
 ### Fixed
@@ -4964,7 +4992,8 @@ and long-lived sessions.
 - A macOS desktop helper (`chi desktop install`): a "Send to chi" Service and a
   hotkey panel that send selected text or the clipboard to your sessions.
 
-[Unreleased]: https://github.com/dm1try/samagotchi/compare/v0.130.1...HEAD
+[Unreleased]: https://github.com/dm1try/samagotchi/compare/v0.131.0...HEAD
+[0.131.0]: https://github.com/dm1try/samagotchi/compare/v0.130.1...v0.131.0
 [0.130.1]: https://github.com/dm1try/samagotchi/compare/v0.130.0...v0.130.1
 [0.130.0]: https://github.com/dm1try/samagotchi/compare/v0.129.0...v0.130.0
 [0.129.0]: https://github.com/dm1try/samagotchi/compare/v0.128.0...v0.129.0

data/docs/cli.md

@@ -1214,7 +1214,9 @@ pills there (a review turn refuses `/` lines).
 
 After the presets, both pages have a built-in **Verify**: the quote, then
 an ask to check the claim against the code and end on a line `Verdict:
-confirmed|refuted|unclear — <reason>`. A session whose worker predates Verify (started by an older chi) refuses it (409
+confirmed|refuted|unclear — <reason>`. Verify is offered only on text in a finished turn's final answer, the
+claim a verdict card can come from; elsewhere (an earlier reply, a step, a message, a line added mid-turn, a turn
+still running) the bar keeps its other actions. A session whose worker predates Verify (started by an older chi) refuses it (409
 `verify_unavailable`); a participant's page disables Verify and Verify fresh with a hint to restart the session. On your page a selection in a turn
 also offers **Copy link**: a link to that turn and quote for a participant's
 browser (the one their review link was opened in), which opens their page

data/docs/configuration.md

@@ -838,7 +838,10 @@ Gemma's thinking switch, a remote chat host's thinking fields ("Thinking"), a ch
 reply has thinking ("Reasoning history"), and any change to the declared tools, which start every request
 ("Toolkits"). They ask only when what the next turn runs under really changes and the session has a model reply.
 
-- The reply says what it costs and changes nothing yet: `Nothing changed yet: send /thinking low --yes to apply.`
+- The reply says what it costs and changes nothing yet. When known, it estimates the reread size: the whole
+  conversation for full-prefix changes, or from the first changed reply for reasoning history. On `api: anthropic`,
+  a full-prefix change also says preserved thinking in replies is dropped from then on.
+- `Nothing changed yet: send /thinking low --yes to apply.` names the line that applies it.
 - `--yes` (or `-y`, anywhere after the command) applies it at once.
 - The terminal (the REPL and an attached TUI) puts the `--yes` line in the next input: Enter applies it.
 - The web's reply bubble has an **Apply (restarts the cache)** button. The session bar's chips are already an explicit

data/docs/internals/participants.md

@@ -375,7 +375,10 @@ fields: a field added to an event later reaches nobody until it is named there.
   so the owner's `!` line and its output, a delegate's report (a wake turn's too), and the notes chi adds (a declined
   Continue) never show. A turn no person sent (its record's `automatic`, `SessionMetrics`: a task's or a plugin's,
   read from analytics.json and the live worker's records; the running turn's by its start; a delegate child's first
-  turn, its parent's task) shows as an automatic turn without its prompt, as the stream does. A raw loop's saved
+  turn, its parent's task) shows as an automatic turn without its prompt, as the stream does; so does a wake turn's
+  start (`.wake_start`: the delegate report or the context note a wake turn opens with is dropped, its `turn_id` and
+  `at` kept), so its answer is never read as one more reply of the turn before (Verify, verdict cards and claim
+  links group by `[data-turn-id]`). A raw loop's saved
   reply is cut before the display reads it (`.visible_raw`): what came before a bare `</think>` and everything from
   an unclosed thought or tool call on, which the display would only untag. Each
   prompt carries its author and an image count; replies their text and their step's tool rows. Notes, steers and
@@ -428,6 +431,13 @@ fields: a field added to an event later reaches nobody until it is named there.
   After the presets comes the built-in **Verify** (`verify_preset.js`, on the owner's page too): the quote, then
   "Verify this claim against the code. If this session's context doesn't settle it, say so. End with a line
   `Verdict: confirmed|refuted|unclear — <one-line reason>`." It fills the box like any preset and never sends.
+  It is offered only where the Engine will take the claim (`verify_target.js`, the bar's `offeredPreset`): a
+  selection in the final answer of an ended turn, the last answer bubble (the owner's `.bubble.output` that isn't a
+  delegate report's reply; a participant's last `.p-msg.reply > .p-bubble`) between the turn's opening
+  (`[data-turn-id]`) and the next one (or, on the owner's page, a context note: a wake turn opens with one; a
+  participant's page gets a wake turn's opening as an automatic turn).
+  Anywhere else (an earlier reply, a step, a prompt, a line merged mid-turn, the Plan, the running turn) the button
+  is hidden and the bar keeps its other actions.
 - **Deep links to a claim** (`claim_link.js`). The owner selects text in a turn's answer, step or own message and
   Annotate's **Copy link** copies `<base>/#s=<id>&t=<turn8>&q=<quote>&p=<prefix>`: `base` the participants list's
   `link_base` (`ParticipantsAdmin#participant_base`: `web.public_url`'s origin, else the LAN address, else the Host),
@@ -454,13 +464,18 @@ fields: a field added to an event later reaches nobody until it is named there.
   with the submitted turn, without changing its prompt text. A Verify turn that fails fast and is rolled back hands
   the claim back with its prompt (`prompt_restored`'s `verify`), so the owner's resend from the composer is a Verify
   turn again. Before the Engine stamps the anchor or records a verdict, it checks that the source turn exists and
-  its assistant reply contains the quote. Matching is case-sensitive, collapses whitespace, and strips common
+  its final assistant reply (`AnswerTail`: the turn's last assistant message with text) contains the quote. Matching is case-sensitive, collapses whitespace, and strips common
   Markdown presentation (links, headings, list/blockquote prefixes, emphasis and code delimiters) from both sides;
-  this matches the rendered text the page selects without treating different casing as the same claim. A fresh child
+  this matches the rendered text the page selects without treating different casing as the same claim. The quote may
+  also be in the answer as the pages show it (`Engine#verify_quote_in?`, `ParticipantView::Redact.text`: the session's
+  folder relative, home `~`, secret shapes `[redacted]`): a participant's page has only that text, and the owner's
+  page quotes it the same way (`claimOpts()`, `normalizeClaim`; `spec/fixtures/redact_cases.json` keeps the two
+  sides alike), so a claim naming a path is taken on both. A fresh child
   checks the same anchor against its parent's history. A completed Verify reply whose final non-empty line has
   a valid `Verdict: confirmed|refuted|unclear — <reason>` appends a verdict to the session. Both pages place its card
-  after the source turn, name its author, show the reason and quote, and link to the checking turn; a live completion
-  adds the card without a reload. The participant view receives only the card fields through its allowlist, with the
+  in the source turn, right after the bubble that holds the quote (the answer's, matched as a claim link reads the
+  page; a quote not found yet goes at the turn's end), name its author, show the reason and quote, and link to the
+  checking turn; a live completion adds the card without a reload. The participant view receives only the card fields through its allowlist, with the
   quote and reason redacted by the view's normal rules, never the full reply.
 - **Verify fresh** (`VerifyFresh`, `verdict_fresh.js`). An `unclear` card has a **Verify fresh** button (the owner's
   page always; a participant's while `can_comment`, i.e. while their grant could run a turn now; never in the owner's
@@ -520,7 +535,9 @@ fields: a field added to an event later reaches nobody until it is named there.
     `:verdict_recorded`; chi web shows the ones still waiting (`VerifyFresh.verdicts_of`: the summary, the review
     data). The card shows "Verifying fresh…" while the child runs (the summary's `verify_fresh` `{of, child_id}`,
     the review data's `fresh_running`, ids only) and the fresh verdict as a `fresh: ✅ confirmed — …` line on the same
-    card. The participant view passes `fresh` and `of`, never the child's id (a participant can't open it). No push
+    card. The original stays unclear, so the button stays, as **Verify fresh again**: each press is another paid
+    child (a participant's against their cap). The participant view passes `fresh` and `of`, never the child's id (a
+    participant can't open it). No push
     for a fresh verdict yet (`Attention` pushes a verdict at a turn's end).
 - **The comment box** is the owner's composer (`composer_mount.js`, styled by the shared `composer.css`), mounted by
   `participant.js` with a subset on. It has: the height that grows with the text, the grip (drag to resize,

data/docs/internals/prompt-caching.md

@@ -232,8 +232,11 @@ is prefilled once. The native and the chat loop use the same plan.
    classifier: `Thinking.cache_cost` (`:full` for Gemma, `:provider` for a remote chat host, `:tail` otherwise) and
    `ReasoningHistory.cache_cost` (`:history` for a change to or from `all` once an earlier reply has thinking).
    `CacheConfirm.needed?` asks only for `:full`, `:provider` and `:history`, when the effective level changes and
-   the session has a model reply. A new setting with a cost (a `/model` across templates, `/llm-context` turning
-   forget on) adds its classifier and goes through the same step.
+   the session has a model reply. The confirmation estimates the reread size from the latest known context count:
+   the whole conversation for `:full` / `:provider`, or up to the first changed reply for `:history`; it omits the
+   estimate when no count is known. On `api: anthropic`, a `:full` / `:provider` change also warns that preserved
+   thinking in replies is dropped from then on. A new setting with a cost (a `/model` across templates,
+   `/llm-context` turning forget on) adds its classifier and goes through the same step.
 7. **No wall-clock time rendered at wire time.** A history entry's `at` (`MessageTime::KEY`, when it happened) is
    display-only: no wire format reads it, and a guard spec checks that `ChatLoop#wire_messages` and
    `Prompt.format_with_images` give the same bytes with and without it (`spec/message_time_history_spec.rb`). A

data/lib/samagotchi/bundles/system/manifest.yml

@@ -1,6 +1,6 @@
 ---
 name: samagotchi-system
-version: 0.130.1
+version: 0.131.0
 scope: system
 description: Default system memories — identity, self map, config modification protocol, memory guide and the delegated-session rules
 files:

data/lib/samagotchi/cache_confirm.rb

@@ -1,9 +1,8 @@
 # frozen_string_literal: true
 
 module Samagotchi
-  # The confirm step before a session setting change that restarts the
-  # prompt cache (/thinking, /reasoning-history): such a change, sent
-  # without --yes from a person at a web tab or a chi TUI, changes nothing
+  # The confirm step before a command that restarts the prompt cache: sent
+  # without --yes by a person at a web tab or a chi TUI, it changes nothing
   # and replies with what it costs and the line that applies it. Two steps,
   # no stored state: the reply carries a Confirm (SessionCommands::Result,
   # the worker's command_ran), the TUI prefills its line, the web draws an
@@ -43,12 +42,33 @@ module Samagotchi
       changed && history && COSTLY.include?(cost)
     end
 
-    # The Confirm for +name+ set to +word+: the line with --yes, and the
-    # question naming it.
-    # @return [Confirm]
-    def confirm(name, word)
-      line = "#{name} #{word} --yes"
-      Confirm.new(line: line, text: "Nothing changed yet: send `#{line}` to apply.")
+    # Whether a cache-changing command should ask, and its reply line.
+    # Kept independent of any UI so commands and plugins can share it.
+    # @param line [String] the full command line without --yes
+    # @param cost [Symbol, nil] the change's cache cost
+    # @param changed [Boolean] whether the effective setting changes
+    # @param engine [Engine] supplies history, used tokens and model host
+    # @return [Confirm, nil]
+    def ask(line:, cost:, changed:, engine:)
+      return nil unless needed?(cost: cost, history: engine.history?, changed: changed)
+
+      apply_line = "#{line.to_s.strip} --yes"
+      notes = []
+      tokens = engine.cache_restart_tokens
+      if tokens
+        size = tokens >= 1000 ? "#{format("%.1f", tokens / 1000.0).delete_suffix(".0")}k" : tokens.to_s
+        notes << case cost
+                 when :full, :provider
+                   "The next request reads the whole conversation again (about #{size} tokens)."
+                 when :history
+                   "The next request reads again from the first changed reply (up to about #{size} tokens)."
+                 end
+      end
+      if %i[full provider].include?(cost) && engine.cache_restart_anthropic?
+        notes << "On an `api: anthropic` host, preserved thinking in replies is dropped from then on."
+      end
+      notes << "Nothing changed yet: send `#{apply_line}` to apply."
+      Confirm.new(line: apply_line, text: notes.compact.join("\n"))
     end
   end
 end

data/lib/samagotchi/engine.rb

@@ -16,6 +16,7 @@ require_relative "turn_note"
 require_relative "turn_endings"
 require_relative "turn_origin"
 require_relative "verify_anchor"
+require_relative "web/participant_view"
 require_relative "verdict"
 require_relative "model_profile"
 require_relative "effective_model"
@@ -1352,6 +1353,19 @@ module Samagotchi
       Array(@session&.messages).any? { |entry| entry[:role].to_s == "model" }
     end
 
+    # The latest known context size used by a request, for a cache-restart
+    # confirmation; nil before any request reports a count.
+    # @return [Integer, nil]
+    def cache_restart_tokens
+      used = @metrics.snapshot.dig(:context, :used_tokens)
+      used if used.is_a?(Integer)
+    end
+
+    # Whether a cache restart can invalidate preserved thinking blocks.
+    def cache_restart_anthropic?
+      effective_model.entry&.api.to_s == "anthropic"
+    end
+
     # What a thinking level change costs the effective model's prompt
     # cache (Thinking.cache_cost): :full, :provider or :tail.
     # @return [Symbol]
@@ -1646,13 +1660,28 @@ module Samagotchi
       return reject_verify_anchor(anchor, :reply_missing) unless reply
 
       quote_text = verify_comparison_text(anchor.quote)
-      answer_text = verify_comparison_text(reply[:content] || reply["content"])
-      return reject_verify_anchor(anchor, :quote_missing) if quote_text.empty? || !answer_text.include?(quote_text)
+      quoted = !quote_text.empty? && verify_quote_in?(quote_text, (reply[:content] || reply["content"]).to_s, source)
+      return reject_verify_anchor(anchor, :quote_missing) unless quoted
 
       anchor
     end
     private :verified_anchor
 
+    # Whether +quote_text+ is in +answer+ as the model wrote it, or as the
+    # pages show it: a page quotes its own text, which reads the session's
+    # folder relative, the home folder as ~ and a secret shape as
+    # [redacted] (a participant's page gets it so, ParticipantView::Redact;
+    # the owner's page rewrites its quote the same way, claim_link.js
+    # normalizeClaim, so claim links match both pages). +source+ is the
+    # session whose folder that is.
+    def verify_quote_in?(quote_text, answer, source)
+      return true if verify_comparison_text(answer).include?(quote_text)
+
+      viewer = Web::ParticipantView::Viewer.new(cwd: source.working_directory)
+      verify_comparison_text(Web::ParticipantView::Redact.text(answer, viewer)).include?(quote_text)
+    end
+    private :verify_quote_in?
+
     def verify_anchor_source_session(session, anchor)
       return session unless session.verify_fresh
 

data/lib/samagotchi/level_setting_command.rb

@@ -81,9 +81,10 @@ module Samagotchi
       return nil unless before && would
 
       cost = spec.cache_cost.call(@engine, before.level, would.level)
-      return nil unless CacheConfirm.needed?(cost: cost, history: @engine.history?, changed: would.level != before.level)
+      step = CacheConfirm.ask(line: "#{spec.name} #{word}", cost: cost, changed: would.level != before.level,
+                              engine: @engine)
+      return nil unless step
 
-      step = CacheConfirm.confirm(spec.name, word)
       [[listing(before), "Switching to #{would.level} restarts the prompt cache: #{spec.cost_notes[cost]}", step.text].join("\n"),
        false, step]
     end

data/lib/samagotchi/session_commands.rb

@@ -59,7 +59,7 @@ module Samagotchi
     # /help's note per listed mid_turn (the web's command list says the same).
     MID_TURN_NOTES = { "anytime" => "mid-turn too", "depends" => "show: mid-turn too" }.freeze
 
-    # The commands that ask before a change that restarts the prompt cache
+    # Commands that may ask before a change that restarts the prompt cache
     # (CacheConfirm): #run passes them its confirm flag.
     CONFIRMING = %i[thinking reasoning_history toolkit].freeze
 
@@ -287,8 +287,8 @@ module Samagotchi
     # How help and errors name an entry (the shell's "!" is "!<cmd>").
     def self.display_name(entry) = entry.name == SHELL_BANG_PREFIX ? "#{SHELL_BANG_PREFIX}<cmd>" : entry.name
 
-    # @param confirm [Boolean] a costly /thinking or /reasoning-history
-    #   change asks first (CacheConfirm): true for a person at a web tab or
+    # @param confirm [Boolean] a costly setting change asks first
+    #   (CacheConfirm): true for a person at a web tab or
     #   a TUI; false applies it at once (chi send, a delegate, a plugin,
     #   chi -p)
     # @param as_parent [Boolean] a parent agent sent it (client cli:answer):
@@ -304,7 +304,7 @@ module Samagotchi
       return nil unless entry&.handler
       return run_bundle_command(entry, text) unless entry.source == "core"
 
-      # The two that may ask take the flag; the rest never ask.
+      # Only commands that may ask take the flag.
       return send(entry.id, text, confirm: confirm) if CONFIRMING.include?(entry.id)
       # Who sent it goes to its handler per call, never through an ivar:
       # an anytime command runs on another thread against this instance.

data/lib/samagotchi/toolkit_command.rb

@@ -54,8 +54,8 @@ module Samagotchi
       end
 
       cost = Toolkit.cache_cost(before.prompt_key, after.prompt_key)
-      if confirm && !yes && CacheConfirm.needed?(cost: cost, history: @engine.history?, changed: !cost.nil?)
-        step = CacheConfirm.confirm(NAME, words)
+      step = CacheConfirm.ask(line: "#{NAME} #{words}", cost: cost, changed: true, engine: @engine) if confirm && !yes
+      if step
         return [[change_line(before, after), reread_line(before, after), step.text].join("\n"), false, step]
       end
 

data/lib/samagotchi/version.rb

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

data/lib/samagotchi/web/participant_view.rb

@@ -211,7 +211,8 @@ module Samagotchi
       # @return [Array<Hash>] {role: "user", content, turn_id, author,
       #   author_name, mine, automatic, images, at} and {role: "assistant",
       #   content, tools: [{tool, path}], at}; no notes, steers, automatic
-      #   input or empty-answer markers. html is added by the caller, from
+      #   input or empty-answer markers, but a wake turn's start as an
+      #   automatic turn (#wake_start). html is added by the caller, from
       #   this (redacted) content.
       def messages(shown, viewer, automatic: [])
         Array(shown).filter_map do |message|
@@ -220,6 +221,7 @@ module Samagotchi
           out = case field(message, :role).to_s
                 when "user" then user_message(message, viewer, automatic)
                 when "assistant" then assistant_message(message, viewer)
+                when "note" then wake_start(message)
                 end
           out && Redact.deep(out, viewer)
         end
@@ -228,15 +230,15 @@ module Samagotchi
       # A user message a participant sees: a turn's prompt (it has the
       # turn's id) or a person's line merged into a turn. Every other user
       # message is dropped: the owner's `!` line and its output, a
-      # delegate's report (a wake turn's input), the notes chi adds (a
-      # Continue the owner declined). Any message from a source that isn't a
-      # person's is dropped whatever it is.
+      # delegate's report (a wake turn's input: only its turn's start is
+      # kept, #wake_start), the notes chi adds (a Continue the owner
+      # declined). Any other message from a source that isn't a person's is
+      # dropped whatever it is.
       def user_message(message, viewer, automatic = [])
         source = field(message, :source).to_s
-        return nil unless PERSON_SOURCES.include?(source)
-
         turn_id = field(message, :turn_id)
         merged = field(message, :merged)
+        return (turn_id && !merged ? wake_start(message) : nil) unless PERSON_SOURCES.include?(source)
         return nil unless turn_id || merged
 
         out = { "role" => "user", **time_field(message) }
@@ -254,6 +256,20 @@ module Samagotchi
         out
       end
 
+      # A wake turn's start (its prompt a delegate's report or a context
+      # note, MessageDisplay's turn_start note): the turn's boundary only,
+      # as an automatic turn with no text, so its answer is never read as
+      # one more reply of the turn before (Verify, verdict cards, claim
+      # links group by these). Nothing of the report or the note. nil for
+      # a message that starts no turn.
+      def wake_start(message)
+        turn_id = field(message, :turn_id)
+        return nil if turn_id.to_s.empty?
+        return nil if field(message, :role).to_s == "note" && field(message, :turn_start) != true
+
+        { "role" => "user", **time_field(message), "content" => "", "automatic" => true, "turn_id" => turn_id.to_s }
+      end
+
       def assistant_message(message, viewer)
         parts = field(message, :parts)
         tools = parts.is_a?(Hash) ? Array(field(parts, :tools)) : []

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

@@ -33,6 +33,9 @@ import { actionEnabled, actionTitle, sameActions, selectionFields, splitInline }
 // @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 offeredPreset (preset, source, range) → whether the selection
+//   offers it (default: every preset); one not offered is hidden, not
+//   disabled (Verify outside a turn's final answer: verify_target.js)
 // @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)
@@ -58,6 +61,7 @@ import { actionEnabled, actionTitle, sameActions, selectionFields, splitInline }
 //   next frame (call it on scroll)
 export function createAnnotateBar({
   presets, canAnnotate, roots, isLive, onQuote, onPreset = () => {}, disabledPreset = () => null,
+  offeredPreset = () => true,
   actions = () => [], running = () => false, onAction = () => {},
   dock = () => null, source: sourceOf = annotationSource, quote = quoteBlock, link = () => null, onLink = () => {},
   doc = globalThis.document, win = globalThis.window,
@@ -85,6 +89,7 @@ export function createAnnotateBar({
   const presetButtons = [...bar.children].slice(1, presets.length + 1);
   function markPresets() {
     presetButtons.forEach((btn, i) => {
+      btn.hidden = !!pendingSource && !offeredPreset(presets[i], pendingSource, pendingRange);
       const reason = disabledPreset(presets[i]);
       btn.disabled = !!reason;
       btn.title = reason || presetParts(presets[i]).text;
@@ -259,7 +264,7 @@ export function createAnnotateBar({
       return;
     }
     const preset = btn.dataset.index === undefined ? null : presets[Number(btn.dataset.index)];
-    if (btn.disabled || (preset && disabledPreset(preset))) return;
+    if (btn.disabled || btn.hidden || (preset && disabledPreset(preset))) return;
     const text = preset ? presetNote(pendingQuote, presetParts(preset).text) : pendingQuote;
     const fields = { ...pendingFields, source: pendingSource, range: pendingRange };
     win.getSelection()?.removeAllRanges();

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

@@ -65,6 +65,7 @@ import { authorBadge, nameUnnamedBadges } from "./participant_names.js";
 import { parsePresets } from "./annotate_presets.js";
 import { createAnnotateBar } from "./annotate_bar.js";
 import { VERIFY_PRESET, VERIFY_UNAVAILABLE, verifyWorkerUnavailable, withVerify } from "./verify_preset.js";
+import { OWNER_FINAL, verifyTurnOf } from "./verify_target.js";
 import { actionLine, annotationActions, composerWithAction } from "./annotate_actions.js";
 import { copyText, installCopy } from "./copy.js";
 import { createQuestionCards } from "./question_cards.js";
@@ -1351,6 +1352,8 @@ function placeVerdict(record) {
   placeVerdictWithFresh(historyEl, record, {
     who: badge ? badge.name : "You",
     author: record.by || null,
+    roots: CLAIM_ROOTS,
+    opts: claimOpts(),
     onMissingCheck: (missing) => {
       const hash = ownerCheckHash(allSessions, selected, missing.check_turn_id);
       if (hash) location.hash = hash;
@@ -1959,8 +1962,9 @@ const updateSheet = createUpdateSheet({
 function showToast(text, action = null, options = {}) { toasts.show(text, action, options); }
 
 // Annotate (annotate_bar.js): a selection in the conversation offers
-// "Annotate" and the presets (then the built-in Verify: verify_preset.js),
-// which append a quote to the composer, the session's plugins' pills
+// "Annotate" and the presets (then the built-in Verify: verify_preset.js,
+// only in an ended turn's final answer: verify_target.js), which append a
+// quote to the composer, the session's plugins' pills
 // (chi.annotation, annotate_actions.js), which fill the composer with their
 // command line and the quote, or send it at once, and Copy link in a turn
 // (claimLinkFor).
@@ -1978,6 +1982,7 @@ annotateBar = createAnnotateBar({
   presets: withVerify(parsePresets(document.body.dataset.annotatePresets)),
   disabledPreset: (preset) => preset === VERIFY_PRESET
     && verifyWorkerUnavailable(current.workerFeatures, current.bridgeUp) ? VERIFY_UNAVAILABLE : null,
+  offeredPreset: (preset, source, range) => preset !== VERIFY_PRESET || !!verifyAnchorFor({ source, range }),
   canAnnotate: () => !!selected && current.owner !== "tui",
   roots: turnRoots,
   isLive: (root) => liveTurn.running && turnDom.containsLive(root),
@@ -1997,10 +2002,14 @@ annotateBar = createAnnotateBar({
   dock: () => $("#dock"),
 });
 
+// Verify's claim: a selection in an ended turn's final answer (the only
+// text Engine#verified_anchor takes; verify_target.js), else null and no
+// Verify on the bar.
 function verifyAnchorFor({ source, range }) {
-  if (!source || !["answer", "step", "user"].includes(source.kind) || !historyEl.contains(source.root)) return null;
-  const turnId = turnIdOf(historyEl, source.root);
-  const quote = selectionClaim(source.root, range, claimOpts()).q;
+  if (source?.kind !== "answer" || !range) return null;
+  const running = liveTurn.running ? { turnId: liveTurn.timing.turnId || null } : null;
+  const turnId = verifyTurnOf(historyEl, source.root, OWNER_FINAL, { running });
+  const quote = turnId ? selectionClaim(source.root, range, claimOpts()).q : "";
   return turnId && quote ? { turn_id: turnId, quote } : null;
 }
 historyEl.addEventListener("scroll", annotateBar.schedule);

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

@@ -23,6 +23,7 @@ import { REPLACE_SESSION_TEXT, fragmentCode, tradeFragmentCode } from "./token_f
 import { createAnnotateBar } from "./annotate_bar.js";
 import { parsePresets } from "./annotate_presets.js";
 import { VERIFY_PRESET, VERIFY_UNAVAILABLE, withVerify } from "./verify_preset.js";
+import { PARTICIPANT_FINAL, verifyTurnOf } from "./verify_target.js";
 import { appendQuote } from "./annotations.js";
 import { messageAuthorData, participantQuote, participantSource } from "./participant_annotate.js";
 import { claimFromHash, selectionClaim, showClaim } from "./claim_link.js";
@@ -76,6 +77,8 @@ let drawnMessages = [];
 // A claim link's turn and quote (claim_link.js: #s=…&t=…&q=…), shown once
 // the thread is drawn; a later hash change shows another.
 let pendingClaim = claimFromHash(globalThis.location?.hash);
+// Where a claim's text can be on this page (a claim link, a verdict's card).
+const CLAIM_ROOTS = ".p-msg > .p-bubble";
 let claimNoteTimer = null;
 
 function el(tag, cls, text) {
@@ -259,7 +262,7 @@ function showPendingClaim() {
     return showClaimNote(`This link is for another session; this browser holds your link for ${title}.`);
   }
   setView("thread");
-  if (showClaim($("thread"), claim, { roots: ".p-msg > .p-bubble" })) return;
+  if (showClaim($("thread"), claim, { roots: CLAIM_ROOTS })) return;
   $("main").scrollTop = 0;
   showClaimNote("The linked turn isn't in this session.");
 }
@@ -330,6 +333,8 @@ function setView(view) {
   $("segThread").setAttribute("aria-selected", String(shown === "thread"));
 }
 
+const AUTOMATIC_TURN = "An automatic turn";
+
 function messageNode(message) {
   const user = message.role === "user";
   const node = el("div", `p-msg ${user ? "user" : "reply"}${message.mine ? " mine" : ""}`);
@@ -346,7 +351,10 @@ function messageNode(message) {
     if (message.merged) who.append(el("span", "p-tag", "added mid-turn"));
     if (isParticipantAuthor(message.author)) who.append(el("span", "p-tag", modeCopy(message.participant_mode).tag));
     node.append(who);
-    const text = message.content + (message.images ? `\n[${message.images} image${message.images > 1 ? "s" : ""}]` : "");
+    // An automatic turn (a task's, a wake turn's: a delegate report or a
+    // context note started it) opens its turn without its prompt.
+    const content = message.automatic && !message.content ? AUTOMATIC_TURN : message.content;
+    const text = content + (message.images ? `\n[${message.images} image${message.images > 1 ? "s" : ""}]` : "");
     node.append(el("div", "p-bubble", text));
     return node;
   }
@@ -423,6 +431,7 @@ function renderThread() {
     placeVerdictWithFresh(thread, record, {
       who,
       author,
+      roots: CLAIM_ROOTS,
       onMissingCheck: () => showClaimNote(CHECK_NOT_ON_PAGE),
     }, verifyFreshState());
   }
@@ -477,7 +486,7 @@ function currentTurnNodes() {
   const turn = data.current_turn;
   const nodes = [];
   if (turn.prompt !== undefined || turn.automatic) {
-    nodes.push(messageNode({ role: "user", content: turn.automatic ? "An automatic turn" : turn.prompt, author: turn.author,
+    nodes.push(messageNode({ role: "user", content: turn.automatic ? AUTOMATIC_TURN : turn.prompt, author: turn.author,
       author_name: turn.author_name, mine: turn.mine, automatic: turn.automatic, at: turn.at, turn_id: turn.turn_id }));
   }
   const reply = el("div", "p-msg reply live");
@@ -653,7 +662,8 @@ for (const button of $("viewSeg").querySelectorAll("button")) {
 
 // Annotate (annotate_bar.js, participant_annotate.js): a selection in the
 // Plan or the thread offers "Annotate" and the presets
-// (web.annotate_presets, then the built-in Verify: verify_preset.js), which
+// (web.annotate_presets, then the built-in Verify: verify_preset.js, only
+// in an ended turn's final reply: verify_target.js), which
 // append a quote to the comment box; nothing is sent. No plugin pills: a
 // review turn refuses `/` lines. Not in the owner's participant view, nor
 // while this participant can't comment.
@@ -661,6 +671,7 @@ const annotateBar = createAnnotateBar({
   presets: withVerify(parsePresets(body.annotatePresets)),
   disabledPreset: (preset) => preset === VERIFY_PRESET
     && data?.session?.verify_unavailable === true ? VERIFY_UNAVAILABLE : null,
+  offeredPreset: (preset, source, range) => preset !== VERIFY_PRESET || !!verifyAnchorFor({ source, range }),
   canAnnotate: () => !ownerView && !ended && !!data?.viewer?.can_comment,
   roots: () => [$("planDoc"), $("thread")],
   isLive: (root) => !!root.closest?.(".p-msg.live"),
@@ -671,9 +682,16 @@ const annotateBar = createAnnotateBar({
   dock: () => $("dock"),
 });
 
+// Verify's claim: a selection in an ended turn's final reply (the last
+// reply bubble after the turn's opening, as the owner's page and
+// placeVerdict count turns: verify_target.js), the only text
+// Engine#verified_anchor takes; else null and no Verify on the bar. Not an
+// earlier reply, a line merged mid-turn, a prompt, the running turn or the
+// Plan.
 function verifyAnchorFor({ source, range }) {
-  const message = source?.root?.closest?.(".p-msg");
-  const turnId = message?.dataset?.turnId;
+  if (source?.kind !== "reply" || !range) return null;
+  const running = data?.current_turn ? { turnId: data.current_turn.turn_id || null } : null;
+  const turnId = verifyTurnOf($("thread"), source.root, PARTICIPANT_FINAL, { running });
   if (!turnId) return null;
   const quote = selectionClaim(source.root, range).q;
   return quote ? { turn_id: turnId, quote } : null;

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

@@ -1,4 +1,4 @@
-import { ownerClaimHash } from "./claim_link.js";
+import { findClaim, ownerClaimHash } from "./claim_link.js";
 
 const TYPES = Object.freeze({
   confirmed: { icon: "✅", label: "confirmed" },
@@ -17,7 +17,14 @@ export function ownerCheckHash(sessions, currentSessionId, checkTurnId) {
   return session ? ownerClaimHash(session.id, { turnId: checkTurnId }) : null;
 }
 
-export function placeVerdict(root, record, { who = "Owner", author = null, onMissingCheck = null } = {}) {
+// A verdict's card on its source turn: after the bubble that holds the
+// quote (+roots+, the page's claim roots selector; +opts+, how it reads the
+// page's text, claim_link.js), the answer's first; a quote not found (a
+// bubble not drawn yet): at the turn's end. Cards on one bubble keep their
+// order; a card already on the page is returned as it is.
+export function placeVerdict(root, record, {
+  who = "Owner", author = null, onMissingCheck = null, roots = null, opts = {},
+} = {}) {
   const anchor = record?.anchor;
   const type = TYPES[record?.verdict];
   if (!root || !type || typeof anchor?.turn_id !== "string" || typeof anchor?.quote !== "string"
@@ -67,11 +74,48 @@ export function placeVerdict(root, record, { who = "Owner", author = null, onMis
   });
   card.append(heading, quote, reason, link);
 
-  const previous = cards.filter((candidate) => candidate.dataset.sourceTurnId === anchor.turn_id).at(-1);
-  (previous || source).after(card);
+  afterCards(quotedElement(source, anchor.quote, roots, opts) || turnEnd(source)).after(card);
   return card;
 }
 
+// The element at +source+'s level that holds the quote: of the turn's
+// roots after its prompt, the last match first (the answer the Engine
+// checked the quote against comes after the turn's steps).
+function quotedElement(source, quote, selector, opts) {
+  if (!selector || !source.parentElement) return null;
+  const level = source.parentElement;
+  const candidates = turnElements(source).flatMap((element) =>
+    [...(element.matches(selector) ? [element] : []), ...element.querySelectorAll(selector)]).reverse();
+  const hit = findClaim(candidates.map((candidate) => candidate.textContent), { q: quote }, opts);
+  if (!hit) return null;
+  let element = candidates[hit.at];
+  while (element && element.parentElement !== level) element = element.parentElement;
+  return element || null;
+}
+
+// +source+'s turn: its siblings after it up to the next turn's opening
+// (or a gap divider before it).
+function turnElements(source) {
+  const elements = [];
+  for (let next = source.nextElementSibling; next; next = next.nextElementSibling) {
+    if (next.matches("[data-turn-id]") || next.querySelector("[data-turn-id]")) break;
+    elements.push(next);
+  }
+  while (elements.at(-1)?.classList.contains("time-gap")) elements.pop();
+  return elements;
+}
+
+function turnEnd(source) {
+  return turnElements(source).at(-1) || source;
+}
+
+// +element+, or the last of the verdict cards right after it.
+function afterCards(element) {
+  let last = element;
+  while (last.nextElementSibling?.classList.contains("verify-verdict")) last = last.nextElementSibling;
+  return last;
+}
+
 export function nameVerdictCards(root, nameFor) {
   for (const card of root?.querySelectorAll?.(".verify-verdict[data-author]") || []) {
     const name = nameFor(card.dataset.author);

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

@@ -51,7 +51,8 @@ export function redrawFresh(root, fresh = {}) {
 
 // The card's Verify fresh part, drawn again from +fresh+: the fresh
 // verdicts, the running check, else the button (an unclear verdict, and a
-// viewer who could run a turn now).
+// viewer who could run a turn now; "Verify fresh again" after a fresh
+// verdict, each press another paid check).
 export function renderFresh(card, fresh = {}) {
   const doc = card.ownerDocument;
   const of = card.dataset.checkTurnId;
@@ -68,7 +69,10 @@ export function renderFresh(card, fresh = {}) {
     return link;
   };
 
-  for (const result of (fresh.verdicts || []).filter((r) => r?.fresh && r.of === of)) {
+  const results = (fresh.verdicts || []).filter((r) => r?.fresh && r.of === of);
+  // Once a fresh verdict is in, the button says a press runs another one.
+  const label = results.length ? "Verify fresh again" : "Verify fresh";
+  for (const result of results) {
     const line = doc.createElement("p");
     line.className = `verify-fresh-result ${ICONS[result.verdict] ? result.verdict : ""}`.trim();
     line.textContent = `fresh: ${ICONS[result.verdict] || ""} ${result.verdict} — ${result.reason || ""}`;
@@ -89,7 +93,7 @@ export function renderFresh(card, fresh = {}) {
     const button = doc.createElement("button");
     button.type = "button";
     button.className = "verify-fresh-btn";
-    button.textContent = "Verify fresh";
+    button.textContent = label;
     button.title = fresh.unavailableReason;
     button.disabled = true;
     const note = doc.createElement("p");
@@ -100,7 +104,7 @@ export function renderFresh(card, fresh = {}) {
     const button = doc.createElement("button");
     button.type = "button";
     button.className = "verify-fresh-btn";
-    button.textContent = "Verify fresh";
+    button.textContent = label;
     button.title = "A new agent checks this claim against the files, with none of this session's context";
     button.addEventListener("click", () => startFresh(card, button, fresh));
     part.append(button);

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

@@ -0,0 +1,73 @@
+// Where the Verify preset is offered (verify_preset.js), on both pages: only
+// on text in an ended turn's final answer, the one place the server takes a
+// claim from. Engine#verified_anchor records a Verify turn's card only when
+// its quote is in the last answer of the source turn (AnswerTail.answer?:
+// the turn's last assistant message with text, from its prompt up to the
+// next prompt, merged lines and steers inside); anything else (an earlier
+// reply, a step, a person's line, a reply still running) is refused with
+// `quote_missing` and the turn runs as a plain comment, no card. So the
+// page offers Verify where the server will accept it, and nowhere else.
+//
+// The turn is the page's own grouping (claim_link.js turnIdOf,
+// verdict_card.js turnElements): the last turn opening ([data-turn-id]) at
+// or before the selection, and its elements up to the next opening. Its
+// final answer is the last of them matching the page's answer selector.
+//
+// Pure DOM reads (Element, compareDocumentPosition), so it runs under
+// `node --test` with happy-dom. A module of its own: static JS is cached at
+// unversioned URLs, and a new export on an old module would blank the page.
+
+const PRECEDING = 2;
+
+// The owner's page: an answer bubble (not a delegate report's reply, which
+// a turn shows before its answer); a context note ends a turn's elements
+// (a wake turn starts with one, and its bubble carries no turn id).
+export const OWNER_FINAL = Object.freeze({ answers: ".bubble.output:not(.report-reply)", boundary: ".bubble.note" });
+// The participant page: a reply's bubble.
+export const PARTICIPANT_FINAL = Object.freeze({ answers: ".p-msg.reply > .p-bubble", boundary: null });
+
+// The turn opening +node+ is in (the last [data-turn-id] at or before it in
+// +container+) and whether it is the newest one: {anchor, last}, or null.
+function openingOf(container, node) {
+  const anchors = [...container.querySelectorAll("[data-turn-id]")];
+  let at = -1;
+  anchors.forEach((anchor, i) => {
+    if (anchor === node || anchor.contains(node) || (node.compareDocumentPosition(anchor) & PRECEDING)) at = i;
+  });
+  return at < 0 ? null : { anchor: anchors[at], last: at === anchors.length - 1 };
+}
+
+// The final answer of the turn whose opening is +anchor+: the last element
+// matching +answers+ among the opening's siblings after it, up to the next
+// opening or a +boundary+ element. null when it has none.
+function finalAnswer(container, anchor, { answers, boundary }) {
+  let top = anchor;
+  while (top && top.parentElement !== container) top = top.parentElement;
+  if (!top) return null;
+  let final = null;
+  for (let el = top.nextElementSibling; el; el = el.nextElementSibling) {
+    if (el.matches("[data-turn-id]") || el.querySelector("[data-turn-id]")) break;
+    if (boundary && el.matches(boundary)) break;
+    const inside = [...el.querySelectorAll(answers)];
+    if (inside.length) final = inside[inside.length - 1];
+    else if (el.matches(answers)) final = el;
+  }
+  return final;
+}
+
+// The turn id Verify anchors to for a selection in +root+ (the annotate
+// source's root) in +container+, or null where Verify isn't offered: not in
+// a turn, not in its final answer, or in the running turn. +rule+:
+// OWNER_FINAL or PARTICIPANT_FINAL. +running+: null when no turn runs, else
+// {turnId} (the running turn's id; null when unknown, then the newest turn
+// counts as the running one) — a running turn's answer isn't final yet.
+export function verifyTurnOf(container, root, rule, { running = null } = {}) {
+  if (!container || !root || !container.contains(root)) return null;
+  const opening = openingOf(container, root);
+  if (!opening) return null;
+  const turnId = opening.anchor.dataset.turnId || null;
+  if (!turnId) return null;
+  if (running && (opening.last || (running.turnId && running.turnId === turnId))) return null;
+  const final = finalAnswer(container, opening.anchor, rule);
+  return final && (final === root || final.contains(root)) ? turnId : null;
+}

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: samagotchi
 version: !ruby/object:Gem::Version
-  version: 0.130.1
+  version: 0.131.0
 platform: ruby
 authors:
 - Dmitry Dedov
@@ -893,6 +893,7 @@ files:
 - lib/samagotchi/web/public/verdict_fresh.js
 - lib/samagotchi/web/public/verify_card.css
 - lib/samagotchi/web/public/verify_preset.js
+- lib/samagotchi/web/public/verify_target.js
 - lib/samagotchi/web/public/working_set.js
 - lib/samagotchi/web/public/working_set_rail.js
 - lib/samagotchi/web/public/working_set_view.js