proctolog 0.1.0

data/app/views/proctolog/bursts/_side.html.erb

@@ -0,0 +1,49 @@
+<%# locals: (burst:, at: nil) %>
+<%# The pane at the left of every page of a burst: the plaque the desk is named for, where the desk's pages are, and the route with how far each pull request's decisions are, so the owner always sees where they stand. `at` is the pull request the page is on. Focused on a part, it lists that part, with the key back to the whole burst, and counts what is left in the part against the burst; a pull request opened from outside the part stands apart under it. A page that keeps choices rewrites the counts as they change. data-desk keeps it out of a page's reading order. %>
+<% route = burst.route %>
+<% progress = burst.progress(route) %>
+<aside class="side" aria-label="The burst" data-desk>
+  <div class="head">
+    <%= link_to image_tag("/plaque.png", alt: "", class: "plaque"), burst_path(burst), tabindex: -1, aria: {hidden: true} %>
+    <nav class="desk" aria-label="The desk">
+      <%= desk_link "route", burst_path(burst), on: "bursts" %>
+      <%= desk_link "decisions", burst_decisions_path(burst), on: "decisions" %>
+      <%= desk_link "scenarios", burst_scenarios_path(burst), on: "scenarios" %>
+      <%= desk_link "recordings", burst_recordings_path(burst), on: "recordings" %>
+      <%= desk_link "prompt", burst_prompt_path(burst), on: "prompts" %>
+      <%= desk_link "bursts & PRs", open_pull_requests_path, on: "open_pull_requests" %>
+    </nav>
+  </div>
+  <p class="name"><%= link_to "PRoctolog", burst_path(burst) %> <span class="burst-name"><%= burst.name %></span><% if burst.put_away? %> <span class="away">put away</span><% end %></p>
+  <% unless focus.whole? %>
+    <p class="focus">Only <%= focus.part.in_words %> · <%= link_to url_for(part: nil), data: {key: "P"} do %><kbd>P</kbd> the whole burst<% end %></p>
+  <% end %>
+  <%= tag.p class: "overall", data: {side_overall: "", part_prs: (focus.map(&:number).join(" ") unless focus.whole?)} do %>
+    <%= side_gauge(progress.each_value.sum(Proctolog::Choices::NONE), part: (focus.sum(Proctolog::Choices::NONE) { progress.fetch(it.number) } unless focus.whole?)) %>
+  <% end %>
+  <%# Only how many notices there are: they are read at the head of the route. %>
+  <% if (notices = burst.notices).any? %>
+    <p class="notices"><%= link_to pluralize(notices.count, "notice"), burst_path(burst, anchor: "notices") %></p>
+  <% end %>
+
+  <% focus.parts.each do |part| %>
+    <h2><%= part_heading(part, route) %></h2>
+    <ol class="stops">
+      <% route.stops_of(part).each do |stop| %>
+        <%= render "proctolog/bursts/side_stop", burst:, stop:, progress: progress.fetch(stop.number), at: %>
+      <% end %>
+    </ol>
+  <% end %>
+  <% if (outside = route.at(at)) && !focus.include?(outside) %>
+    <h2>Outside this part</h2>
+    <ol class="stops">
+      <%= render "proctolog/bursts/side_stop", burst:, stop: outside, progress: progress.fetch(outside.number), at: %>
+    </ol>
+  <% end %>
+
+  <%# When GitHub was read: the desk keeps that reading until asked for another. The script asks GitHub, behind the page, whether it has moved on, and says so here. %>
+  <%= tag.div class: "read", data: {freshness: burst_freshness_path(burst), read_at: burst.read_at.iso8601} do %>
+    <p>GitHub read <%= tag.time read_at_in_words(burst.read_at), datetime: burst.read_at.iso8601 %> · <%= link_to "read again", burst_freshness_path(burst, again: 1, back: request.fullpath), class: "again", data: {key: "r"} %></p>
+    <p class="moved" data-moved hidden></p>
+  <% end %>
+</aside>

data/app/views/proctolog/bursts/_side_stop.html.erb

@@ -0,0 +1,10 @@
+<%# locals: (burst:, stop:, progress:, at:) %>
+<%# One pull request of the pane: its mark, its number, its title and how far its decisions are, marked when the page is about it. Held under the pointer, side.js says the same in words, with its title in full and the way to it on GitHub. %>
+<%= tag.li data: {side_pr: stop.number, github: stop.url}, aria: {current: ("page" if stop.number == at)} do %>
+  <%= link_to burst_pull_request_path(burst, stop.number) do %>
+    <span class="mark" data-side-mark><%= side_mark(progress) %></span>
+    <span class="number"><%= stop.number %></span>
+    <span class="title"><%= stop.title %></span>
+    <span class="fraction" data-side-fraction><%= side_fraction(progress) %></span>
+  <% end %>
+<% end %>

data/app/views/proctolog/bursts/show.html.erb

@@ -0,0 +1,54 @@
+<% content_for :title, @burst.name %>
+<% content_for :head do %>
+  <link rel="stylesheet" href="/standing.css">
+<% end %>
+<% content_for :mode, mode_line("Route", "j k" => "move", "N" => "next to review") %>
+<% content_for :keys do %>
+  <%= keys_group "Move", "j k" => "move", "Home End" => "first, last", "Enter" => "open", "N" => "next to review" %>
+  <%= keys_group "Focus", "p" => "this part only", "P" => "the whole burst" %>
+  <%= keys_group "This burst", "d" => "code in Diffle", "r" => "read GitHub again", "G" => "the PR on GitHub" %>
+  <% if [@notices.joined, @notices.left, @notices.opened].any?(&:any?) %>
+    <%= keys_group "Notices", "x" => "dismiss the one the cursor is on" %>
+  <% end %>
+  <% if @rules.any? %>
+    <%= keys_group "Rules", "c" => "edit the one the cursor is on", "x" => "withdraw it" %>
+  <% end %>
+<% end %>
+
+<header class="burst">
+  <h1><%= @burst.name %></h1>
+  <% shown = @standings.slice(*focus) %>
+  <% if @burst.finished? %>
+    <p class="tally">Finished: every pull request of it went in, so the desk puts it away.</p>
+  <% else %>
+    <p class="tally"><%= turns_in_words(shown) %> <%= progress_in_words(shown.each_value.sum(Proctolog::Choices::NONE, &:progress)).upcase_first %>.</p>
+    <%= render "put_away", burst: @burst %>
+  <% end %>
+  <% if @taken_in.any? %>
+    <p class="taken-in" role="status">From the agent's reports, <%= pluralize(@taken_in.size, "note") %> moved to addressed: <%= @taken_in.map(&:id).to_sentence %>.</p>
+  <% end %>
+  <% if (gone = @route.gone - @merged.map(&:number)).any? %>
+    <p class="gone">No longer open: <%= gone.map { "##{it}" }.to_sentence %>.</p>
+  <% end %>
+</header>
+
+<main class="route">
+  <% if @notices.any? %>
+    <%= render "notices", burst: @burst, notices: @notices %>
+  <% end %>
+  <% focus.parts.each do |part| %>
+    <% stops = @route.stops_of(part) %>
+    <h2><%= part_heading(part, @route) %></h2>
+    <ol class="lines">
+      <% stops.each do |stop| %>
+        <%= render "line", burst: @burst, stop:, standing: @standings.fetch(stop) %>
+      <% end %>
+    </ol>
+  <% end %>
+  <% if @merged.any? %>
+    <%= render "merged", burst: @burst, merged: @merged, shown: @merged_shown %>
+  <% end %>
+  <% if @rules.any? %>
+    <%= render "rules", burst: @burst, rules: @rules %>
+  <% end %>
+</main>

data/app/views/proctolog/code_reviews/show.html.erb

@@ -0,0 +1,33 @@
+<% content_for :title, "Code review · ##{@stop.number}" %>
+<% content_for :head do %><link rel="stylesheet" href="/respond.css"><link rel="stylesheet" href="/decisions.css"><% end %>
+<header class="burst">
+  <h1>Code review · #<%= @stop.number %></h1>
+  <p><%= @stop.title %> · <%= link_to "Back to the PR", burst_pull_request_path(@burst, @stop.number) %></p>
+  <div class="actions">
+    <%= button_to "This layer only", burst_pull_request_code_review_path(@burst, @stop.number), class: "primary", form: {target: "_blank", data: {code: ""}} %>
+    <%= button_to "Whole PR against main", burst_pull_request_code_review_path(@burst, @stop.number), params: {base: "main"}, class: "quiet", form: {target: "_blank"} %>
+  </div>
+  <p class="reading">Diffle reviews this PR's committed changes in a private checkout. Its comments join your next handover. Press <kbd>c</kbd> to comment, <kbd>v</kbd> to mark a file viewed, and <kbd>?</kbd> for its keys. Reload this page after commenting.</p>
+</header>
+<% if @snapshot %>
+  <p>Code opened at <%= @snapshot["openedAt"] %>, head <code><%= @snapshot["head"][0, 8] %></code>.
+    <%= {"main" => "Whole PR against main (includes earlier stack layers).", "changes" => "Changes since your reviewed head.", "layer" => "This PR's layer only."}[@snapshot["comparison"]] %>
+    <% if @snapshot["prHead"] && @snapshot["head"] != @snapshot["prHead"] %>This is a returned local head; GitHub's head is <code><%= @stop.head_oid[0, 8] %></code>.
+    <% elsif @snapshot["head"] != @stop.head_oid %><strong>The PR has changed: reopen Diffle to review its new head.</strong><% end %>
+  </p>
+  <p><%= @code.files_viewed %> of <%= @snapshot["files"].size %> files marked viewed on that code snapshot.</p>
+  <%= button_to "Stop this Diffle server", burst_pull_request_code_review_path(@burst, @stop.number), method: :delete, class: "quiet" %>
+<% end %>
+<h2>Comments</h2>
+<% if @threads.empty? %><p>No code comments yet. Open Diffle and press <kbd>c</kbd> on a line or <kbd>C</kbd> on a file.</p><% end %>
+<ol class="cards">
+  <% @threads.each do |thread| %>
+    <% anchor = thread.fetch("anchor") %>
+    <li class="card">
+      <p><code><%= anchor["path"] %><%= ":#{anchor["startLine"]}-#{anchor["endLine"]}" if anchor["kind"] == "line" %></code> · <%= thread["resolved"] ? "Resolved in Diffle" : "Open" %><%= " · Lost its place" if thread["stale"] %></p>
+      <% if anchor["quoted"] %><pre class="text"><%= anchor["quoted"] %></pre><% end %>
+      <% thread["messages"].each do |message| %><p class="text"><%= message["body"] %></p><% end %>
+    </li>
+  <% end %>
+</ol>
+<p><%= link_to "Review responses and hand over", burst_prompt_path(@burst) %></p>

data/app/views/proctolog/decisions/_alternative.html.erb

@@ -0,0 +1,5 @@
+<%# locals: (box:) %>
+<%# The alternative is said in full beside its key, so choosing it needs no second look at the text. %>
+<% if (alternative = box.decision.alternative).present? && !alternative.match?(/\Anone[.!]?\z/i) %>
+  <%= button_tag type: "button", class: "choice", data: {choice_alternative: "", alternative:} do %><kbd>b</kbd> <span class="does">Use the alternative</span> <span class="what"><%= alternative %></span><% end %>
+<% end %>

data/app/views/proctolog/decisions/_beneath.html.erb

@@ -0,0 +1,21 @@
+<%# locals: (box:, burst:, back:, show: nil) %>
+<%# What stands under a box, on the decisions page and on the pull request's own page: where the box stands, the owner's notes on it, newest last, and what the owner can do with it. A block given to the partial adds a link to the actions. The script writes a note into the slot, to the address and on the words given here; a note saved, a star or a move of a note comes back to `back`. data-desk keeps all of it out of the words of a description, which Rendering and the script measure without it. %>
+<%= tag.div class: "beneath", data: {decision: box.to_param, grade: box.decision.grade, held: held_by(box).join(","), desk: "", notes: burst_pull_request_notes_path(burst, box.stop.number), exact: box.quote.exact, before: box.quote.before, after: box.quote.after, section: Proctolog::Description::DECISIONS, back:} do %>
+  <% if (status = status_of(box)).present? %>
+    <p class="status"><%= status %></p>
+  <% end %>
+  <% if box.notes.any? %>
+    <ol class="cards">
+      <% box.notes.each do |note| %>
+        <%= render "proctolog/notes/card", note:, burst:, stop: box.stop, back: %>
+      <% end %>
+    </ol>
+  <% end %>
+  <p class="draft-status" data-choice-status></p>
+  <div class="actions">
+    <%= render "proctolog/decisions/choices", box: %>
+    <%= yield if block_given? %>
+  </div>
+  <div class="choice-slot"></div>
+  <div class="slot"></div>
+<% end %>

data/app/views/proctolog/decisions/_box.html.erb

@@ -0,0 +1,27 @@
+<%# locals: (box:, burst:, filter:, of: nil) %>
+<%# `of` names the pull request above the decision, where the list is not by pull request. %>
+<%= tag.li id: "box-#{box.to_param}", class: "box", tabindex: -1,
+      data: {box: "", decision: box.to_param, state: box.state, waiting: box.waiting?, pr: box.stop.number, grade: box.decision.grade, held: held_by(box).join(",")} do %>
+  <% if of %><p class="of"><%= pull_request_link burst, of %><%= " · non-blocking" unless box.decision.blocking? %></p><% end %>
+  <div class="body"><%= raw decision_html(box, burst) %></div>
+  <div class="beneath">
+    <% if (status = status_of(box)).present? %><p class="status"><%= status %></p><% end %>
+    <% if box.notes.any? %>
+      <ol class="cards">
+        <% box.notes.each do |note| %>
+          <li class="card" data-kind="<%= note.kind %>" data-state="<%= note.state %>">
+            <p><strong><%= note.kind.capitalize %></strong>: <%= with_mentions(note.text, burst:) %></p>
+            <p class="status"><%= note.state %></p>
+            <% if note.reply %><p class="reply"><%= with_mentions(note.reply["text"], burst:) %> <code><%= note.reply["commit"] %></code></p><% end %>
+          </li>
+        <% end %>
+      </ol>
+    <% end %>
+    <p class="draft-status" data-choice-status></p>
+    <div class="actions" aria-label="Review choice">
+      <%= render "proctolog/decisions/choices", box: %>
+      <%= link_to "On the pull request page", box_on_its_page(burst, box), data: {on_its_page: ""} %>
+    </div>
+    <div class="choice-slot"></div>
+  </div>
+<% end %>

data/app/views/proctolog/decisions/_choices.html.erb

@@ -0,0 +1,9 @@
+<%# locals: (box:) %>
+<%# What the owner can choose on a decision, as a menu: the key, then what it does, the same on both pages that show one. %>
+<button type="button" class="choice" data-choice="leave"><kbd>a</kbd> <span class="does">Leave as is</span></button>
+<%= render "proctolog/decisions/alternative", box: %>
+<% {question: ["Ask a question", "q"], change: ["Suggest a change", "c"], later: ["Leave for later", "l"]}.each do |kind, (label, key)| %>
+  <button type="button" class="choice" data-choice="<%= kind %>"><kbd><%= key %></kbd> <span class="does"><%= label %></span></button>
+<% end %>
+<button type="button" class="choice" data-make-rule hidden><kbd>R</kbd> <span class="does">Make it a rule</span></button>
+<button type="button" class="choice" data-choice-clear hidden><span class="does">Clear this choice</span></button>

data/app/views/proctolog/decisions/_draft_tools.html.erb

@@ -0,0 +1,47 @@
+<%# locals: (burst:, stop: nil, decisions: nil, filter: nil) %>
+<%# One bar for the owner's choices, on every page that shows them: how far they are, the handover, and behind "Data" the backup, the imports and the counts in full. `stop` narrows it to one pull request, whose page it then is; `decisions` adds the ways to look at the list. The script fills the counts. data-desk keeps the bar out of the reading order of a pull request's page. %>
+<%= tag.section class: ["draft-tools", ("compact" if stop)], data: {review_draft: "", desk: "", repository: burst.repository, burst: burst.slug, pr: stop&.number, part: focus.to_param, part_prs: (focus.map(&:number).join(" ") unless focus.whole?), checkout: Proctolog::Project.current.root.to_s, pictures: Proctolog::Project.current.pictures.to_s} do %>
+  <script type="application/json" id="burst-choices"><%= raw json_escape(burst.choices.document.to_json) %></script>
+  <div class="bar">
+    <div class="where">
+      <p class="progress-line" data-progress></p>
+      <p class="round-line" data-round-line hidden></p>
+    </div>
+    <div class="actions">
+      <button type="button" class="quiet" popovertarget="choices-data">data</button>
+      <%# A popover: it opens over the page from the bar, and Escape or a click elsewhere closes it. %>
+      <div class="data" id="choices-data" popover>
+          <h2>The choices of this burst</h2>
+          <p data-draft-summary></p>
+          <p data-round-summary></p>
+          <p data-draft-message></p>
+          <div class="actions">
+            <button type="button" class="quiet" data-download-choices>Back up choices</button>
+            <label class="import-choices">Restore choices <input type="file" accept=".json,application/json" data-import-choices></label>
+            <label class="import-choices">Import agent response <input type="file" accept=".json,application/json" data-import-response></label>
+            <button type="button" class="quiet" data-refresh-review>Refresh code comments and responses</button>
+            <% unless stop %><%= link_to "Review agent responses", burst_prompt_path(burst, anchor: "responses") %><% end %>
+          </div>
+          <p class="explain">The desk keeps your choices in <code>choices.json</code> beside its marks, so any browser on this Mac shows them. A backup is a copy to keep elsewhere. Deferred items become backlog-task requests in the handover<%= ", which covers every pull request of this burst" if stop %>.</p>
+      </div>
+      <%= tag.button type: "button", class: "primary", data: {hand_over: "", inline_handover: ("" if stop)} do %><kbd>e</kbd> hand over<% end %>
+      <%# The handover e last kept on the desk, for a new session in the Claude app to read. The script gives it its address. %>
+      <a class="session-link" data-new-session hidden>Open a new session with it</a>
+    </div>
+  </div>
+
+  <% if decisions %>
+    <nav class="filters" aria-label="Show">
+      <button type="button" class="quiet" data-pending-view>To review <span class="count" data-count-of="unreviewed"></span></button>
+      <button type="button" class="quiet" data-reviewed-view>Reviewed <span class="count" data-count-of="reviewed"></span></button>
+      <button type="button" class="quiet" data-all-view>All <span class="count" data-count-of="all"></span></button>
+      <%= link_to safe_join(["Waiting for you", tag.span(decisions.count("waiting"), class: "count")], " "), burst_decisions_path(burst, show: "waiting"), data: {filter: "waiting"} %>
+      <%# One kind of question across the burst, or each pull request's in turn. %>
+      <%= params[:by] == "theme" ? link_to("By pull request", burst_decisions_path(burst, show: params[:show])) : link_to("By theme", burst_decisions_path(burst, by: "theme", show: params[:show])) %>
+      <details class="by-state">
+        <summary>As GitHub and your notes have them</summary>
+        <p><%= filter_links burst, decisions, filter %></p>
+      </details>
+    </nav>
+  <% end %>
+<% end %>

data/app/views/proctolog/decisions/_part.html.erb

@@ -0,0 +1,61 @@
+<%# locals: (part:, burst:, decisions:, filter:) %>
+<% stop = part.stop %>
+<section class="part" id="pr-<%= stop.number %>" aria-labelledby="pr-<%= stop.number %>-heading" data-part="<%= stop.number %>">
+  <header>
+    <h2 id="pr-<%= stop.number %>-heading"><%= pull_request_link burst, stop %></h2>
+    <p class="facts">
+      <span class="progress" data-part-progress></span> ·
+      <span data-part-grades><%= grades_of(part.boxes.map(&:decision)) %></span> ·
+      <%= position_of stop %> ·
+      <%= stop.url ? link_to("GitHub", stop.url, target: "_blank", rel: "noopener") : not_opened(stop) %>
+      <button type="button" class="quiet" data-leave-non-blocking data-pr="<%= stop.number %>" hidden><kbd>A</kbd> <span data-leave-said></span></button>
+    </p>
+    <% if (reason = burst.refusal(stop.number)) %>
+      <p class="refused"><%= reason %>. You can review it here; the handover preserves that restriction.</p>
+    <% end %>
+  </header>
+
+  <% part.groups(part.blocking).each do |under, boxes| %>
+    <% if under %><h3 class="lead-in"><%= with_code under %></h3><% end %>
+    <ol class="boxes">
+      <% boxes.each do |box| %>
+        <%= render "box", box:, burst:, filter: %>
+      <% end %>
+    </ol>
+  <% end %>
+
+  <%# The non-blocking decisions fold away: one gesture, A, leaves those that wait for nothing as they are. %>
+  <% if part.non_blocking.any? %>
+    <details class="non-blocking" data-non-blocking data-pr="<%= stop.number %>">
+      <summary>Non-blocking <span class="count" data-non-blocking-count></span></summary>
+      <% part.groups(part.non_blocking).each do |under, boxes| %>
+        <% if under %><h3 class="lead-in"><%= with_code under %></h3><% end %>
+        <ol class="boxes">
+          <% boxes.each do |box| %>
+            <%= render "box", box:, burst:, filter: %>
+          <% end %>
+        </ol>
+      <% end %>
+    </details>
+  <% end %>
+
+  <% if part.questions.any? || part.rewritten.any? %>
+    <ol class="boxes">
+      <% part.questions.each do |question| %>
+        <li class="box question" data-box data-state="open" data-waiting="true">
+          <div class="body"><p><%= with_code question.question %></p></div>
+          <p class="status">
+            <span class="state">A question, with no box</span> · Named by <%= named_by [question] %>
+            · <%= link_to "On the pull request page", burst_pull_request_path(burst, stop.number) %>
+          </p>
+        </li>
+      <% end %>
+      <% part.rewritten.each do |lead| %>
+        <li class="box rewritten" data-box data-state="rewritten">
+          <div class="body"><p><%= lead %></p></div>
+          <p class="status"><span class="state">Accepted, and rewritten since</span> · The description no longer holds these words.</p>
+        </li>
+      <% end %>
+    </ol>
+  <% end %>
+</section>

data/app/views/proctolog/decisions/_round_data.html.erb

@@ -0,0 +1 @@
+<script type="application/json" id="review-round-data"><%= raw json_escape(round_data(burst, pr: local_assigns[:stop]&.number).to_json) %></script>

data/app/views/proctolog/decisions/_theme.html.erb

@@ -0,0 +1,13 @@
+<%# locals: (group:, burst:, filter:) %>
+<%# One theme across the burst: its heading, which the cursor rests on like a decision and from which x selects the whole group, then its decisions in the route's order, each with its pull request. %>
+<section class="theme-group" id="theme-<%= group.theme.name %>" data-theme="<%= group.theme.name %>">
+  <header>
+    <%= tag.h2 tabindex: -1, data: {theme_heading: group.theme.name} do %><%= group.theme.name.upcase_first %> <span class="count"><%= pluralize(group.boxes.size, "decision") %></span><% end %>
+    <p class="facts"><%= group.theme.meaning %></p>
+  </header>
+  <ol class="boxes">
+    <% group.boxes.each do |box| %>
+      <%= render "box", box:, burst:, filter:, of: box.stop %>
+    <% end %>
+  </ol>
+</section>

data/app/views/proctolog/decisions/index.html.erb

@@ -0,0 +1,75 @@
+<% content_for :title, "Decisions" %>
+<% content_for :head do %>
+  <link rel="stylesheet" href="/respond.css">
+  <link rel="stylesheet" href="/decisions.css">
+  <script type="module" src="/decisions.js"></script>
+<% end %>
+<% content_for :mode, mode_line("Deciding", "j k" => "move", "a b q c l" => "choose", "u" => "undo") %>
+<% content_for :keys do %>
+  <%= keys_group "Move", "j k" => "move", "[ ]" => "pull request", "Enter" => "open on its page", "h" => "the route" %>
+  <%= keys_group "Decide", "a b q c l" => "choose", "A" => "leave this pull request's non-blocking as is", "R" => "make the answer a rule", "u" => "undo", "⌘ Enter" => "save the text", "Esc" => "close, keeping it" %>
+  <%= keys_group "Together", "x" => "select a decision, or a theme's", "Esc" => "clear the selection" %>
+  <%= keys_group "This burst", "e" => "handover" %>
+<% end %>
+
+<% parts = @decisions.parts("all") %>
+
+<header class="burst">
+  <h1>Decisions</h1>
+  <p class="tally">
+    Decisions from <%= pluralize(parts.size, "pull request") %>, from the bottom of the stack up.
+    “Leave as is” keeps the implementation: it ticks no GitHub box, verifies no claim and approves no merge.
+  </p>
+  <%# The route answers to h; the pane says when GitHub was read and reads it again. %>
+  <nav hidden><%= link_to "Route", burst_path(@burst), data: {key: "h"} %></nav>
+</header>
+
+<%= render "proctolog/decisions/draft_tools", burst: @burst, decisions: @decisions, filter: @filter %>
+<script type="application/json" id="decision-inventory"><%= raw json_escape(decision_inventory(@burst)) %></script>
+<%= render "proctolog/decisions/round_data", burst: @burst %>
+
+<% if @decisions.unmatched.any? %>
+  <section class="unmatched">
+    <h2>Named in the burst file, but no box begins so</h2>
+    <ul>
+      <% @decisions.unmatched.each do |entry| %>
+        <li>
+          <%= link_to "##{entry.pr}", burst_pull_request_path(@burst, entry.pr), class: "number" %>
+          “<%= entry.words %>”, named by <%= entry.by || "the burst file" %>. The description may have been rewritten since; the entry is in <code><%= Proctolog::Project.current.from_root(@burst.file) %></code>.
+        </li>
+      <% end %>
+    </ul>
+  </section>
+<% end %>
+
+<%= tag.main class: "decisions", data: {initial_filter: @filter, by_theme: @by_theme} do %>
+  <% if @by_theme %>
+    <% @decisions.by_theme("all").each do |group| %>
+      <%= render "theme", group:, burst: @burst, filter: @filter %>
+    <% end %>
+  <% else %>
+    <% parts.each do |part| %>
+      <%= render "part", part:, burst: @burst, decisions: @decisions, filter: @filter %>
+    <% end %>
+  <% end %>
+<% end %>
+<section class="empty queue-empty" data-queue-empty hidden>
+  <% if parts.empty? %>
+    <p>No decisions in this burst. The desk reads them from “Decisions for the owner” in each pull request's description.</p>
+    <%= link_to "Back to the route", burst_path(@burst) %>
+  <% else %>
+    <p role="status" data-empty-said>No decisions match this view.</p>
+    <button type="button" class="quiet" data-all-view>Show all decisions</button>
+    <%= link_to "Back to the route", burst_path(@burst) %>
+  <% end %>
+</section>
+
+<details class="recorded">
+  <summary>Recorded elsewhere <span class="count"><%= @records.size %></span></summary>
+  <p>The decision records of the repository, under <code>docs/adr/</code>.</p>
+  <ul>
+    <% @records.each do |record| %>
+      <li><code><%= record.file %></code> <%= record.title %></li>
+    <% end %>
+  </ul>
+</details>

data/app/views/proctolog/notes/_card.html.erb

@@ -0,0 +1,19 @@
+<%# locals: (note:, burst:, stop:, where: nil, back: nil, attributes: {}) %>
+<%# One note as a card: what it is, what was said, where it is pinned (`where`), the agent's reply, and the ways to move it along. A press of those comes back to `back` when the page that showed the card gave one. %>
+<%= tag.li(**{class: "card", data: {kind: note.kind, state: note.state}}.deep_merge(attributes)) do %>
+  <p class="meta"><span class="kind"><%= note.kind %></span> <span class="state"><%= note.state %></span></p>
+  <p class="text"><%= with_mentions(note.text, burst:) %></p>
+  <%= where %>
+  <% if note.reply %>
+    <p class="reply">
+      Addressed<%= " in " if note.reply["commit"] %><code><%= note.reply["commit"] %></code>.
+      <%= with_mentions(note.reply["text"], burst:) %>
+    </p>
+  <% end %>
+  <div class="moves">
+    <% path = burst_pull_request_note_path(burst, stop.number, note.id) %>
+    <%= button_to "Confirm", path, method: :patch, params: {state: "confirmed", return: back}.compact, class: "quiet" if note.addressed? %>
+    <%= button_to "Reopen", path, method: :patch, params: {state: "open", return: back}.compact, class: "quiet" unless note.open? %>
+    <%= button_to "Withdraw", path, method: :patch, params: {state: "withdrawn", return: back}.compact, class: "quiet" unless note.withdrawn? %>
+  </div>
+<% end %>

data/app/views/proctolog/notes/_template.html.erb

@@ -0,0 +1,41 @@
+<%# locals: (action:) %>
+<%# The form of a note, once for the page. The script copies it into the slot under whatever the note is about, sets where it goes and what it is on, and fills the fields of the place; the fieldsets of a place stay disabled until then. A note written before is opened in it again with its words, sent to the note itself, and may be withdrawn there. The token is the page's own, as the address is not known until a note is chosen. %>
+<%# Without the script nothing here can open, so the buttons that would are not shown. %>
+<% content_for :head do %>
+  <noscript><style>[data-respond] { display: none; }</style></noscript>
+<% end %>
+<template id="note-form">
+  <div class="respond" data-desk>
+    <%= form_with url: action, authenticity_token: form_authenticity_token do |form| %>
+      <p class="on" data-on hidden></p>
+
+      <fieldset class="kinds">
+        <legend class="visually-hidden">What kind of note</legend>
+        <% Proctolog::Note::KINDS.each do |kind| %>
+          <label><%= form.radio_button :kind, kind, id: nil %> <%= kind.capitalize %></label>
+        <% end %>
+      </fieldset>
+
+      <%= form.text_area :text, id: nil, rows: 3, required: true, "aria-label": "The note", placeholder: "What should change, or what do you ask?" %>
+
+      <fieldset name="quote" disabled hidden>
+        <% %w[exact before after section].each do |part| %>
+          <%= hidden_field_tag "quote[#{part}]", nil, id: nil %>
+        <% end %>
+      </fieldset>
+      <fieldset name="picture" disabled hidden>
+        <% %w[picture asset box].each do |part| %>
+          <%= hidden_field_tag "picture[#{part}]", nil, id: nil %>
+        <% end %>
+      </fieldset>
+      <%= hidden_field_tag :return, nil, id: nil, disabled: true %>
+      <%= hidden_field_tag :_method, "patch", id: nil, disabled: true %>
+
+      <div class="buttons">
+        <%= form.button "Save note", class: "primary" %>
+        <button type="submit" class="quiet" name="state" value="withdrawn" formnovalidate data-withdraw hidden>Withdraw</button>
+        <button type="button" class="quiet" data-cancel>Cancel</button>
+      </div>
+    <% end %>
+  </div>
+</template>

data/app/views/proctolog/open_pull_requests/_side.html.erb

@@ -0,0 +1,30 @@
+<%# locals: (bursts:, read_at:) %>
+<%# The pane at the left where no burst is open: the plaque, where the desk's pages are, and the bursts to open, the newest first, each with how far its decisions are. Those put away stay off it, as on the page. %>
+<aside class="side" aria-label="The desk" data-desk>
+  <div class="head">
+    <%= link_to image_tag("/plaque.png", alt: "", class: "plaque"), open_pull_requests_path, tabindex: -1, aria: {hidden: true} %>
+    <nav class="desk" aria-label="The desk">
+      <%= desk_link "bursts & PRs", open_pull_requests_path, on: "open_pull_requests" %>
+    </nav>
+  </div>
+  <p class="name"><%= link_to "PRoctolog", open_pull_requests_path %> <span class="burst-name">no burst open</span></p>
+  <% if bursts.any? %>
+    <h2>Your bursts</h2>
+    <ol class="stops">
+      <% bursts.each do |burst| %>
+        <% progress = burst.progress(burst.route).each_value.sum(Proctolog::Choices::NONE) %>
+        <li>
+          <%= link_to burst_path(burst) do %>
+            <span class="mark"><%= side_mark(progress) %></span>
+            <span class="number"></span>
+            <span class="title"><%= burst.name %></span>
+            <span class="fraction"><%= side_fraction(progress) %></span>
+          <% end %>
+        </li>
+      <% end %>
+    </ol>
+  <% end %>
+  <div class="read">
+    <p>GitHub read <%= tag.time read_at_in_words(read_at), datetime: read_at.iso8601 %> · <%= link_to "read again", open_pull_requests_path(fresh: 1), class: "again" %></p>
+  </div>
+</aside>