insika 0.1.0 → 0.3.0

data/lib/insika/studio/views/harvest.erb

@@ -0,0 +1,234 @@
+<header class="page-head">
+  <div>
+    <nav class="crumbs"><span>harvest</span></nav>
+    <h1>Harvest<span class="sub"><%= @agent ? "#{@agent}" : "no agent" %></span></h1>
+  </div>
+</header>
+
+<% if insika[:harvest_store].nil? %>
+  <div class="empty">No harvest — the store is not wired.</div>
+<% elsif @agents.empty? %>
+  <div class="empty">No agents yet. Add a <span class="mono">harvest:</span> block to an agent's pack to mine its finished traffic.</div>
+<% else %>
+  <div class="card">
+    <form method="post" action="/studio/harvest" class="actions">
+      <%== csrf_tag %>
+      <label>
+        Agent
+        <select name="agent">
+          <% @agents.each do |id| %>
+            <option value="<%= id %>"<%== ' selected' if id == @agent %>><%= id %></option>
+          <% end %>
+        </select>
+      </label>
+      <label title="Ignore the mined markers and re-read the whole window (the ledger dedup still protects).">
+        <input type="checkbox" name="full" value="1"> full window
+      </label>
+      <button type="submit" class="primary">Mine now</button>
+    </form>
+    <div class="skill-desc muted">
+      Reads this agent's finished conversations, asks the configured miner for SKILL
+      proposals, and filters them through the negative list and the evidence ledger.
+      Nothing is ever applied automatically — a candidate only lands after the double
+      gate AND a human approval.
+    </div>
+  </div>
+
+  <% if @agents.size > 1 %>
+    <div class="filter-bar">
+      <% @agents.each do |id| %>
+        <a class="btn" href="/studio/harvest?agent=<%= Rack::Utils.escape(id) %>"<%== ' aria-current="page"' if id == @agent %>><%= id %></a>
+      <% end %>
+    </div>
+  <% end %>
+
+  <%# The human's inbox. %>
+  <% if @candidates.any? %>
+    <h2>Awaiting approval<span class="sub">the human's answer</span></h2>
+    <% @candidates.each do |cand| %>
+      <div class="card">
+        <div class="skill-desc">
+          <span class="pill ok">gated</span>
+          <span class="mono"><%= cand.name %></span>
+          <span class="muted">· <%= cand.description %></span>
+        </div>
+        <% Array(cand.triggers).each do |t| %>
+          <span class="pill"><%= t %></span>
+        <% end %>
+        <div class="skill-desc muted">
+          store <span class="mono"><%= cand.agent %></span> · proposed by
+          <span class="mono"><%= cand.proposer %></span> · <%= (cand.eval_gate || {})["passed_cases"] %>/<%= (cand.eval_gate || {})["cases"] %> case(s) no regression
+          · conversion <%= (cand.conversion_gate || {})["current"] %> vs <%= (cand.conversion_gate || {})["baseline"] %> (threshold <%= (cand.conversion_gate || {})["threshold"] %>)
+        </div>
+        <% if (excerpt = candidate_excerpt(cand)).any? %>
+          <details class="skill-desc">
+            <summary>evidence excerpt</summary>
+            <% excerpt.each do |sid, idx, text| %>
+              <div class="preview muted">
+                <a class="mono" href="/studio/sessions/<%= Rack::Utils.escape(sid) %>"><%= sid %></a> [<%= idx %>]: <%= text %>
+              </div>
+            <% end %>
+          </details>
+        <% end %>
+        <% Array(cand.origin).each do |sid| %>
+          <a class="mono muted" href="/studio/sessions/<%= Rack::Utils.escape(sid) %>"><%= sid %></a>
+        <% end %>
+        <form method="post" action="/studio/harvest/promote" class="actions">
+          <%== csrf_tag %>
+          <input type="hidden" name="agent" value="<%= cand.agent %>">
+          <input type="hidden" name="candidate_id" value="<%= cand.id %>">
+          <label>
+            Note
+            <input type="text" name="note" placeholder="why (optional)">
+          </label>
+          <button type="submit" class="primary">Promote</button>
+          <button type="submit" class="ghost" formaction="/studio/harvest/reject">Reject</button>
+        </form>
+        <div class="skill-desc muted">
+          Promoting snapshots the pre-promotion state, writes the skill into this store's
+          scope, enables it on the allowlist and appends the promotion log row. Rollback
+          is the one-click mirror.
+        </div>
+      </div>
+    <% end %>
+  <% end %>
+
+  <%# Gated-but-blocked: the ruler's hole, named. %>
+  <% if @blocked.any? %>
+    <h2>Blocked<span class="sub">gated, waiting on the ruler</span></h2>
+    <div class="card">
+      <ul class="history">
+        <% @blocked.each do |cand| %>
+          <li>
+            <span class="pill err">blocked</span>
+            <span class="mono"><%= cand.name %></span>
+            <span class="preview muted">
+              <% reason = (cand.conversion_gate || {})["reason"] %>
+              <% if reason == "no_frozen_baseline" %>
+                the store has no frozen funnel baseline — freeze it first on the
+                <a href="/studio/funnel">Funnel page</a>
+              <% elsif reason %>
+                <%= reason %>
+              <% else %>
+                <%= (cand.eval_gate || {})["reason"] %>
+              <% end %>
+            </span>
+          </li>
+        <% end %>
+      </ul>
+    </div>
+  <% end %>
+
+  <%# Mined, not yet gated. %>
+  <% if @pending_gates.any? %>
+    <h2>Pending<span class="sub">mined, awaiting the double gate</span></h2>
+    <div class="card">
+      <ul class="history">
+        <% @pending_gates.each do |cand| %>
+          <li>
+            <span class="pill">pending</span>
+            <span class="mono"><%= cand.name %></span>
+            <span class="preview muted"><%= cand.description %></span>
+            <form method="post" action="/studio/harvest/gate" class="actions inline">
+              <%== csrf_tag %>
+              <input type="hidden" name="agent" value="<%= cand.agent %>">
+              <input type="hidden" name="candidate_id" value="<%= cand.id %>">
+              <button type="submit" class="primary">Gate it</button>
+              <button type="submit" class="ghost" formaction="/studio/harvest/reject">Reject</button>
+            </form>
+          </li>
+        <% end %>
+      </ul>
+    </div>
+  <% end %>
+
+  <%# The promotion log — the single ledger, with the rollback mirror. %>
+  <% if @promotions.any? %>
+    <h2>Promoted<span class="sub">the append-only log</span></h2>
+    <div class="card">
+      <ul class="history">
+        <% @promotions.each do |row| %>
+          <li>
+            <% if row.rolled_back_at %>
+              <span class="pill err">rolled back</span>
+            <% else %>
+              <span class="pill ok">promoted</span>
+            <% end %>
+            <span class="mono"><%= row.skill %></span>
+            <span class="preview muted">
+              <%= row.approver %> · <%= row.at %>
+              <% if row.rolled_back_at %>· rolled back <%= row.rolled_back_at %><% end %>
+            </span>
+            <% unless row.rolled_back_at %>
+              <form method="post" action="/studio/harvest/rollback" class="actions inline">
+                <%== csrf_tag %>
+                <input type="hidden" name="agent" value="<%= row.agent %>">
+                <input type="hidden" name="snapshot_ref" value="<%= row.snapshot_ref %>">
+                <input type="text" name="reason" placeholder="why (optional)">
+                <button type="submit" class="ghost">Rollback</button>
+              </form>
+            <% end %>
+          </li>
+        <% end %>
+      </ul>
+    </div>
+  <% end %>
+
+  <%# The negative list block. %>
+  <% if @negative && @negative.rules.any? %>
+    <h2>Negative list<span class="sub">the versioned seed, engine-applied</span></h2>
+    <div class="card">
+      <ul class="history">
+        <% @negative.rules.each do |rule| %>
+          <li>
+            <span class="pill"><%= rule.rule %></span>
+            <span class="preview muted"><%= rule.pattern %><%= " — #{rule.note}" if presence(rule.note) %></span>
+            <span class="preview muted">rejected: <%= negative_rule_counts[rule.rule] || 0 %></span>
+          </li>
+        <% end %>
+      </ul>
+      <div class="skill-desc muted">
+        The list is pack data on the profile (hot-editable); the versioned
+        rules file seeds it via
+        <span class="mono">insika harvest:negative import --agent ID --file F</span>.
+      </div>
+    </div>
+  <% end %>
+
+  <%# The ruler block. %>
+  <% if @criterion %>
+    <h2>The conversion criterion<span class="sub">frozen before the first promotion</span></h2>
+    <div class="card">
+      <div class="skill-desc">
+        <span class="pill">metric <%= @criterion.rule.metric %></span>
+        <span class="pill">window <%= @criterion.rule.window %></span>
+        <span class="pill">not worse than <%= @criterion.rule.threshold %></span>
+        <span class="mono muted"><%= @criterion.sha %></span>
+      </div>
+      <div class="skill-desc muted">
+        The ruler is the frozen criterion file, read-only here; the
+        store's frozen baseline lives on the <a href="/studio/funnel">Funnel page</a>. A
+        store without one can mine, but the gate parks its candidates.
+      </div>
+    </div>
+  <% end %>
+
+  <% if @runs.any? %>
+    <h2>Runs<span class="sub">most recent first</span></h2>
+    <div class="card">
+      <ul class="history">
+        <% @runs.each do |run| %>
+          <li>
+            <span class="pill <%= run.status == 'failed' ? 'err' : 'ok' %>"><%= run.status %></span>
+            <span class="mono"><%= run.id[0, 12] %></span>
+            <span class="preview muted">
+              <%= run.candidates %> candidate(s) ·
+              <% if run.cost && run.cost["spent"].to_i.positive? %><%= run.cost["spent"] %> tokens · <% end %>
+              <%= run.started_at %>
+            </span>
+          </li>
+        <% end %>
+      </ul>
+    </div>
+  <% end %>
+<% end %>

data/lib/insika/studio/views/home.erb

@@ -6,6 +6,7 @@
     <h1>Overview<span class="sub">at a glance</span></h1>
   </div>
   <div class="head-actions">
+    <%== agent_filter_form("/studio/home", @agent) %>
     <span class="pill <%= @active_now.positive? ? "ok online" : "info" %> plain"><%= @active_now %> active now</span>
     <a class="btn primary" href="/studio/playground">Open playground →</a>
   </div>
@@ -58,7 +59,7 @@
         <% @recent.each do |s| %>
           <li>
             <a href="/studio/sessions/<%= Rack::Utils.escape(s.id) %>">
-              <span class="avatar sm"><%= s.id[0, 2].upcase %></span>
+              <span class="avatar sm <%= avatar_class(s.id) %>"><%= s.id[0, 2].upcase %></span>
               <span class="convo-main">
                 <span class="convo-id mono"><%= s.id[0, 20] %></span>
                 <span class="convo-sub"><%= Array(s.messages).size %> msg · <%= time_ago(s.updated_at) %></span>

data/lib/insika/studio/views/layout.erb

@@ -5,6 +5,7 @@
   <meta name="viewport" content="width=device-width, initial-scale=1">
   <meta name="csp-nonce" content="<%= csp_nonce %>">
   <title>Insika Studio</title>
+  <link rel="icon" type="image/svg+xml" href="<%= asset_path("favicon.svg") %>">
   <link rel="stylesheet" href="<%= asset_path("application.css") %>">
   <script type="module" src="<%= asset_path("application.js") %>" defer></script>
 </head>

data/lib/insika/studio/views/parity.erb

@@ -0,0 +1,147 @@
+<header class="page-head">
+  <div>
+    <nav class="crumbs"><span>operate</span></nav>
+    <h1>Parity<span class="sub">the shadow experiment</span></h1>
+  </div>
+  <div class="head-actions">
+    <%== agent_filter_form("/studio/parity", @agent) %>
+  </div>
+</header>
+
+<% if @criterion.nil? %>
+  <div class="empty">
+    No shadow channel is registered. Set <span class="mono">INSIKA_RELAY_SHADOW=1</span> and
+    restart — this page appears only when a channel is actually running in shadow.
+  </div>
+<% elsif @pairs.empty? %>
+  <div class="empty">
+    No pairs yet. A mirrored exchange records a pair the moment our turn ends; the
+    incumbent's half lands when the mirror reports its reply
+    (<span class="mono">POST /channels/relay/shadow-reply</span>).
+  </div>
+<% else %>
+  <% r = @report %>
+  <div class="card">
+    <div class="skill-desc">
+      <span class="pill <%= { pass: 'ok', fail: 'err', insufficient: 'warn', invalid: 'err' }.fetch(r.verdict, 'info') %>"><%= r.verdict %></span>
+      <span class="muted"><%= r.reason %></span>
+    </div>
+    <% sha_check = r.checks.find { |c| c.id == :criterion_sha } %>
+    <div class="skill-desc">
+      <span class="mono"><%= r.criterion_sha %></span>
+      <% if sha_check&.met %>
+        <span class="pill ok">frozen · matches every pair in the window</span>
+      <% else %>
+        <span class="pill err">NOT VERIFIED — the window's pairs do not all carry this frozen hash</span>
+      <% end %>
+    </div>
+  </div>
+
+  <h2>Checks<span class="sub">the arithmetic, not the conclusion</span></h2>
+  <div class="card">
+    <table class="grid">
+      <thead><tr><th>check</th><th>required</th><th>actual</th><th></th></tr></thead>
+      <tbody>
+        <% r.checks.each do |c| %>
+          <tr>
+            <td class="mono"><%= c.id %></td>
+            <td><%= c.required %></td>
+            <td><% if c.actual.is_a?(Hash) %><%= c.actual.map { |k, v| "#{k}: #{v}" }.join(" · ") %><% else %><%= c.actual %><% end %></td>
+            <td><span class="pill <%= c.met ? 'ok' : 'err' %>"><%= c.met ? "met" : "no" %></span></td>
+          </tr>
+        <% end %>
+      </tbody>
+    </table>
+  </div>
+
+  <h2>Pairs / day<span class="sub">floor <%= @criterion.rule.pairs_per_day %> · a gap day invalidates the window</span></h2>
+  <div class="card">
+    <table class="grid">
+      <thead><tr><th>date</th><th>pairs</th><th>decided</th><th></th></tr></thead>
+      <tbody>
+        <% r.daily.each do |d| %>
+          <tr>
+            <td class="mono"><%= d[:date] %></td>
+            <td><%= d[:pairs] %></td>
+            <td><%= d[:decided] %></td>
+            <td><% if d[:floor].zero? %><span class="muted">partial day — reported, not required</span><% elsif d[:pairs] >= d[:floor] %><span class="pill ok">met</span><% else %><span class="pill err">below floor</span><% end %></td>
+          </tr>
+        <% end %>
+      </tbody>
+    </table>
+  </div>
+
+  <% if r.counts %>
+    <h2>Per store<span class="sub">a store blocks its own cut even when the aggregate passes</span></h2>
+    <div class="card">
+      <table class="grid">
+        <thead><tr><th>store</th><th>decided</th><th>win-or-tie</th><th>worse</th><th>meets floor</th></tr></thead>
+        <tbody>
+          <% r.per_agent.each do |agent, stats| %>
+            <tr>
+              <td class="mono"><%= agent %></td>
+              <td><%= stats[:decided] %></td>
+              <td><%= stats[:win_or_tie] %></td>
+              <td><%= stats[:worse] %></td>
+              <td><% if stats[:meets].nil? %><span class="muted">below per-store minimum</span><% elsif stats[:meets] %><span class="pill ok">yes</span><% else %><span class="pill err">no</span><% end %></td>
+            </tr>
+          <% end %>
+        </tbody>
+      </table>
+    </div>
+
+    <h2>Judge agreement<span class="sub">split / unknown / order-dependent</span></h2>
+    <div class="card">
+      <div class="skill-desc">
+        <span class="pill <%= r.counts[:split].positive? ? 'warn' : 'ok' %>"><%= r.counts[:split] %> split</span>
+        <span class="pill <%= r.counts[:unknown].positive? ? 'warn' : 'ok' %>"><%= r.counts[:unknown] %> unknown</span>
+        <span class="pill <%= @agreement[:order_dependent].positive? ? 'warn' : 'ok' %>"><%= @agreement[:order_dependent] %> flipped with order</span>
+        <span class="muted">of <%= r.counts[:judged] %> judged pairs</span>
+      </div>
+    </div>
+  <% end %>
+
+  <h2>Judge a batch</h2>
+  <div class="card">
+    <form method="post" action="/studio/parity" class="actions">
+      <%== csrf_tag %>
+      <label>
+        Agent (all stores when blank)
+        <input type="text" name="agent" placeholder="agent-id">
+      </label>
+      <label>
+        Limit
+        <input type="number" name="limit" value="50" min="1" max="200">
+      </label>
+      <button type="submit" class="primary">Judge <%= @pending %> complete pair(s)</button>
+    </form>
+    <div class="skill-desc muted">
+      Cost: <span class="mono"><%= @judge_cost %></span> provider calls
+      (<%= @pending %> pairs × <%= @criterion.rule.min_judge_models %> judges × 2 orders).
+      <% if Array((@judge_models || {})["judges"]).empty? %>
+        <span class="pill err">no judges configured in settings['evals'] — the press will refuse</span>
+      <% end %>
+    </div>
+  </div>
+
+  <h2>Recent pairs<span class="sub">inbound · incumbent · insika</span></h2>
+  <div class="card">
+    <ul class="history">
+      <% @pairs.each do |p| %>
+        <li>
+          <span class="pill <%= { open: 'warn', complete: 'info', silent: 'info', judged: 'ok', incomplete: 'err' }.fetch(p.status, 'info') %>"><%= p.status %></span>
+          <span class="mono"><%= p.id[0, 12] %></span>
+          <% if p.agent %><span class="mono"><%= p.agent %></span><% end %>
+          <% if p.outcome %><span class="pill"><%= p.outcome %></span><% end %>
+          <% if p.session_id %><a class="mono" href="/studio/sessions/<%= Rack::Utils.escape(p.session_id) %>">session →</a><% end %>
+          <div class="skill-desc muted"><strong>customer:</strong> <%= p.inbound.to_s %></div>
+          <div class="skill-desc"><strong>incumbent:</strong> <%= p.incumbent_reply.to_s %></div>
+          <div class="skill-desc"><strong>insika:</strong> <%= p.insika_reply.to_s %></div>
+          <% if p.verdict.is_a?(Hash) && presence(p.verdict["reason"]) %>
+            <div class="skill-desc muted">why: <%= p.verdict["reason"] %></div>
+          <% end %>
+        </li>
+      <% end %>
+    </ul>
+  </div>
+<% end %>

data/lib/insika/studio/views/playground.erb

@@ -15,7 +15,13 @@
         </select>
       </label>
       <label class="chat-field">session
-        <input type="text" name="session_id" value="<%= @session_id %>" placeholder="empty = new conversation">
+        <input type="text" name="session_id" value="<%= @session_id %>" placeholder="empty = new conversation"
+               list="recent-sessions" autocomplete="off">
+        <datalist id="recent-sessions">
+          <% Array(@recent).each do |s| %>
+            <option value="<%= s.id %>" label="<%= [time_ago(s.updated_at), presence(session_preview(s).to_s[0, 60])].compact.join(" · ") %>">
+          <% end %>
+        </datalist>
       </label>
       <span class="pill info chat-status" data-live-transcript-target="status">disconnected</span>
       <details class="pin chat-pin">

data/lib/insika/studio/views/refinement.erb

@@ -39,7 +39,7 @@
     </div>
   <% end %>
 
-  <%# RFC-0013 §3.6 — the review IS the product. A gated proposal shows the exact
+  <%# The review IS the product. A gated proposal shows the exact
       edit, what it claims to fix, and how it scored against the accepted baseline,
       because approving is a decision and a decision needs those three things. %>
   <% if @proposal %>
@@ -51,7 +51,7 @@
         <span class="mono"><%= @proposal.gate["passed_cases"] %>/<%= @proposal.gate["cases"] %> case(s)</span>
         <span class="muted">no regression against <%= @proposal.gate["baseline_cases"] %> baselined case(s)</span>
         <span class="muted">· proposed by <span class="mono"><%= cand["proposer"] %></span></span>
-        <%# RFC-0013 §3.9 — when a PANEL ran, the operator is looking at the winner of
+        <%# When a PANEL ran, the operator is looking at the winner of
             several, and which ones it beat is part of the decision. %>
         <% if @proposal.panel.size > 1 %>
           <span class="muted">· best of <%= @proposal.panel.size %> candidate(s)</span>
@@ -125,7 +125,7 @@
   <% else %>
     <h2>Findings<span class="sub"><%= @run.findings.size %> · <%= @run.status %><% if @run.excluded.to_i.positive? %> · <%= @run.excluded %> turn(s) excluded<% end %> · <%= @run.finished_at || @run.started_at %></span></h2>
 
-    <%# RFC-0013 §3.4 — the model writes the candidate, the gate scores it. Offered on
+    <%# The model writes the candidate, the gate scores it. Offered on
         a finished report and only when nothing is already awaiting an answer: a second
         proposal while one is pending would ask the operator to review two edits to the
         same file that were never scored together. %>
@@ -147,7 +147,7 @@
       </div>
     <% end %>
 
-    <%# RFC-0013 §3.6 — `mode: auto_apply` changed this agent's files with nobody in
+    <%# `mode: auto_apply` changed this agent's files with nobody in
         the loop, so the page owes the operator exactly three things: what changed, why,
         and where to undo it. The write versioned, so History IS the undo. %>
     <% if @run.status == :applied && (@run.decision || {})["by"] == "auto_apply" %>

data/lib/insika/studio/views/session.erb

@@ -12,6 +12,82 @@
   <a class="btn" href="/studio/playground?session_id=<%= Rack::Utils.escape(@session.id) %>">Continue in playground →</a>
 </header>
 
+<% briefing = @session.respond_to?(:briefing) ? (@session.briefing || {}) : {} %>
+<% fields = briefing["fields"] || {} %>
+<% next_step = briefing["next_step"] %>
+<% if fields.any? || next_step %>
+  <div class="card">
+    <div class="trace-head">
+      <h2>Briefing</h2>
+      <span class="muted">this conversation's working state — read-only, written by the agent</span>
+    </div>
+    <% fields.sort.each do |name, value| %>
+      <div class="kv"><span><%= name %></span><div><%= value %></div></div>
+    <% end %>
+    <% if next_step %>
+      <div class="kv"><span>next step</span><div><%= next_step %></div></div>
+    <% end %>
+  </div>
+<% end %>
+
+<% ctx_traces = @context_traces || [] %>
+<% unless ctx_traces.empty? %>
+  <div class="card tooltrace">
+    <div class="trace-head">
+      <h2>Context</h2>
+      <span class="muted">tokens by category per turn (estimated) — no content stored</span>
+    </div>
+    <% ctx_traces.each do |c| %>
+      <div class="trace-turn">
+        <div class="turn-label">turn <%= c["turn"] %> · <%= c["at"] %></div>
+        <%# Skills injected by context (triggers/skills_eager) leave NO tool call in
+            the transcript, so this card is the only record that they were active.
+            The names live in the body, but the count belongs in the SUMMARY: the
+            card is collapsed, and "was the skill on?" is the question an operator
+            asks on every single turn. %>
+        <% skills = Array((c["categories"] || {}).dig("skilltrigger", "labels")).uniq %>
+        <details class="trace-item ok">
+          <summary>
+            <span class="badge"><%= c["used"] %> / <%= c["cap"] %></span>
+            <strong>context</strong>
+            <%# the prefix cache-hit of the turn + the first block
+                whose bytes changed vs the previous turn (PII-free category id). %>
+            <% cache = c["cache"] %>
+            <% if cache && cache["hit_pct"] %><span class="badge"><%= cache["hit_pct"] %>% cached</span><% end %>
+            <% if cache && cache["invalidation_reason"] %>
+              <span class="lat">broke: <%= cache["invalidation_reason"] %></span>
+            <% end %>
+            <% unless skills.empty? %>
+              <span class="badge">skills <%= skills.length %></span>
+            <% end %>
+            <% unless Array(c["evicted"]).empty? %>
+              <span class="lat">evicted: <%= Array(c["evicted"]).join(", ") %></span>
+            <% end %>
+          </summary>
+          <% (c["categories"] || {}).sort_by { |_k, v| -(v["tokens"] || 0) }.each do |name, cat| %>
+            <div class="kv"><span><%= name %></span>
+              <div><%= cat["tokens"] %> tokens · <%= cat["fragments"] %> fragment(s)<%== " · pinned" if (cat["pinned"] || 0).positive? %><%== " · identity" if cat["layer"] == "identity" %>
+                <%# WHICH skills the turn injected AND WHY — the only after-the-fact %>
+                <%# record of activation once the bodies arrive by context instead of a %>
+                <%# tool call. The reason is the half the operator was missing: a name %>
+                <%# alone does not say whether they triggered it or the agent always has it. %>
+                <% labels = Array(cat["labels"]).uniq %>
+                <% unless labels.empty? %>
+                  <br><span class="lat"><%= labels.map { |l| skill_label(l) }.join(", ") %></span>
+                <% end %>
+              </div>
+            </div>
+          <% end %>
+          <% tools = c["tools"] || {} %>
+          <div class="kv"><span>tools</span>
+            <div><%= tools["tokens"] %> tokens · <%= tools["count"] %> tool schema(s)</div>
+          </div>
+        </details>
+      </div>
+    <% end %>
+  </div>
+<% end %>
+
 <% traces = @tool_traces || {} %>
 <% unless traces.empty? %>
   <div class="card tooltrace">
@@ -49,14 +125,68 @@
   </div>
 <% end %>
 
+<%# the session's stage history — outcomes folded to the agent's
+    declared stages (unmapped kinds render the raw outcome: the hole is visible).
+    Without a declaration the block renders the raw outcomes. %>
+<% history = @stage_history || {} %>
+<% unless history.empty? %>
+  <div class="card">
+    <div class="trace-head">
+      <h2>Stage history</h2>
+      <span class="muted">
+        <% if history[:declaration] %>
+          <%= history[:declaration].stages.join(" → ") %> · outcome funnel
+        <% else %>
+          no funnel declared — raw outcomes
+        <% end %>
+      </span>
+    </div>
+    <div class="kv">
+      <% history[:rows].each do |row| %>
+        <% if row[:stage] %>
+          <span><%= row[:outcome] %></span>
+          <div>→ <strong><%= row[:stage] %></strong> <span class="lat"><%= row[:at] %></span></div>
+        <% else %>
+          <span><%= row[:outcome] %></span>
+          <div><span class="lat">not a declared stage</span> <span class="lat"><%= row[:at] %></span></div>
+        <% end %>
+      <% end %>
+    </div>
+  </div>
+<% end %>
+
 <div class="card transcript">
   <% if Array(@session.messages).empty? %>
     <div class="empty">This session has no messages.</div>
   <% else %>
     <div class="thread">
-      <%# `prev` is what makes a STEERED message visible: a customer message that lands
-          right after a tool result arrived mid-run (RFC-0015). See _message.erb. %>
-      <% Array(@session.messages).each_with_index do |m, i| %><%== render("_message", locals: { m: m, prev: i.positive? ? @session.messages[i - 1] : nil }) %><% end %>
+      <%# A skill loaded by the model shows up here on its own: load_skill is a tool,
+          so its body is a persisted `role: tool` message. A skill injected by CONTEXT
+          (triggers/skills_eager) is part of the system prompt — never a message — so
+          the thread had no trace of it at all. Synthesized from the context trace so
+          both activation paths read the same way in the transcript.
+
+          Placed by TIME, not by counting turns: every message of a turn is persisted
+          together at the end of it, and the context stage always runs before that, so
+          each entry lands at the top of its own turn. Ordinal counting would drift on
+          a steered message (one that joins a turn already running). A message with no
+          `at` (older sessions) simply flushes nothing. %>
+      <% pending = (@context_traces || [])
+                   .select { |c| Array((c["categories"] || {}).dig("skilltrigger", "labels")).any? }
+                   .sort_by { |c| c["at"].to_s } %>
+      <% Array(@session.messages).each_with_index do |m, i| %>
+        <% while (entry = pending.first) && !m["at"].to_s.empty? && entry["at"].to_s <= m["at"].to_s %>
+          <% pending.shift %>
+          <% labels = Array(entry["categories"]["skilltrigger"]["labels"]).uniq %>
+          <details class="toolcard skill">
+            <summary><span class="arrow">↑</span><strong>skills · <%= skill_mode(labels) %> (<%= labels.length %>)</strong><span class="at"><%= entry["at"] %></span></summary>
+            <pre><%= labels.map { |l| skill_label(l) }.join("\n") %></pre>
+          </details>
+        <% end %>
+        <%# `prev` is what makes a STEERED message visible: a customer message that lands
+            right after a tool result arrived mid-run. See _message.erb. %>
+        <%== render("_message", locals: { m: m, prev: i.positive? ? @session.messages[i - 1] : nil }) %>
+      <% end %>
     </div>
   <% end %>
 </div>