insika 0.2.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/session.erb

@@ -12,6 +12,24 @@
   <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">
@@ -32,6 +50,13 @@
           <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 %>
@@ -41,7 +66,7 @@
           </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? %>
+              <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 %>
@@ -100,6 +125,36 @@
   </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>

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

@@ -39,7 +39,9 @@
             <label>max_retries<input type="text" name="max_retries" value="<%= @settings["max_retries"] %>" inputmode="numeric"></label>
             <label>turn_timeout (s)<input type="text" name="turn_timeout" value="<%= @settings["turn_timeout"] %>" inputmode="numeric"></label>
             <label>tool_timeout (s)<input type="text" name="tool_timeout" value="<%= @settings["tool_timeout"] %>" inputmode="numeric"></label>
+            <label>Memory TTL (days)<input type="text" name="memory_ttl_days" value="<%= @settings["memory_ttl_days"] %>" inputmode="numeric" placeholder="blank = off"></label>
           </div>
+          <p class="muted">Memory TTL: how many days a customer memory cell lives before the daily sweep prunes it (per-fact <code>expires_at</code> overrides always win). Editing here sets the platform default for <strong>every</strong> cell; a per-tenant map authored in the settings record is replaced by this save.</p>
         </form>
       </div>
 

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

@@ -39,7 +39,6 @@
       <% new = @selected == "" %>
       <div class="drill-pane-head">
         <div class="title">
-          <nav class="crumbs"><a href="/studio/skills">skills</a> / <span><%= new ? "new" : @selected %></span><% if scope %> / <span>for <%= scope %></span><% end %></nav>
           <strong class="mono"><%= new ? "New skill" : @selected %><% if scope %> <span class="pill warn">specialized for <%= scope %></span><% end %></strong>
         </div>
         <button type="submit" form="skill-form" class="btn primary" data-turbo-submits-with="Saving…">Save skill</button>

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

@@ -5,7 +5,7 @@
   </div>
 </header>
 
-<p class="muted matrix-hint">GLOBAL prompts/rules: the runtime injects these files <strong>before</strong> each BIA's own identity, every turn. Store-backed and versioned (like per-agent prompts). Empty = no global injection (the prompt stays exactly as before).</p>
+<p class="muted matrix-hint">GLOBAL prompts/rules: the runtime injects these files <strong>before</strong> each agent's own identity, every turn. Store-backed and versioned (like per-agent prompts). Empty = no global injection (the prompt stays exactly as before).</p>
 
 <% if @system_files.empty? %>
   <div class="empty">No system files. Create one below (e.g. <code>HOUSE_RULES.md</code>) for a rule that applies to every agent.</div>

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

@@ -88,6 +88,19 @@
   <% end %>
 </section>
 
+<% if @task.timing && !@task.timing.empty? %>
+  <section class="section">
+    <div class="section-head"><h2>Timing <span class="muted">· the turn's latency windows</span></h2></div>
+    <div class="card">
+      <ul class="kv">
+        <% @task.timing.each do |key, value| %>
+          <li><span class="k mono"><%= key %></span><span class="v mono"><%= value %></span></li>
+        <% end %>
+      </ul>
+    </div>
+  </section>
+<% end %>
+
 <section class="section">
   <div class="section-head"><h2>Latest checkpoint</h2></div>
   <% if @checkpoint.nil? %>

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

@@ -3,7 +3,10 @@
     <nav class="crumbs"><span>tasks</span></nav>
     <h1>Tasks<span class="sub"><%= @tasks.size %> task(s)</span></h1>
   </div>
-  <a class="btn" href="/studio/approvals">Approvals →</a>
+  <div class="head-actions">
+    <%== agent_filter_form("/studio/tasks", @agent) %>
+    <a class="btn" href="/studio/approvals">Approvals →</a>
+  </div>
 </header>
 
 <% if @tasks.empty? %>

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

@@ -47,7 +47,6 @@
       <% a = @sel_agent %>
       <div class="drill-pane-head">
         <div class="title">
-          <nav class="crumbs"><a href="/studio/tools">tools</a> / <span><%= a.id %></span></nav>
           <strong class="mono"><%= a.id %></strong>
         </div>
         <button type="submit" form="tools-form" class="btn primary" data-turbo-submits-with="Saving…">Save tools</button>

data/lib/insika/task_store.rb

@@ -33,7 +33,7 @@ module Insika
     }.freeze
 
     Task      = Data.define(:id, :status, :command, :session_id, :executions,
-                            :mailbox_state, :created_at, :updated_at)
+                            :mailbox_state, :timing, :created_at, :updated_at)
     Execution = Data.define(:attempt, :started_at, :finished_at, :outcome, :error)
 
     def initialize(store:)
@@ -131,6 +131,18 @@ module Insika
       to_task(record)
     end
 
+    # writes the turn's timing breakdown onto the task record, once,
+    # when the turn completes. Best-effort by the caller's contract — a failure
+    # here must never re-fail an already-committed turn. `timing` is DATA (string
+    # keys, JSON types); deep_stringify makes a symbol-keyed to_h durable.
+    def record_timing(id, timing)
+      record = fetch!(id)
+      record["timing"] = deep_stringify(timing)
+      record["updated_at"] = timestamp
+      @store.set(SCOPE, key_for(id), record)
+      to_task(record)
+    end
+
     # (`collect`): appends a fragment to a task's message while it is
     # still waiting at the door. -> Task.
     #
@@ -185,6 +197,13 @@ module Insika
       end
     end
 
+    # -> true | false (did it exist?). For Retention (WS8) — a purged session's
+    # tasks go with it, terminal tasks only (a live :running task must never
+    # be deleted under its own fiber).
+    def delete(id)
+      @store.delete(SCOPE, key_for(id))
+    end
+
     private
 
     def key_for(id)
@@ -228,6 +247,7 @@ module Insika
         session_id: record["session_id"],
         executions: record["executions"].map { |e| to_execution(e) },
         mailbox_state: record["mailbox_state"],
+        timing: record["timing"],
         created_at: record["created_at"],
         updated_at: record["updated_at"]
       )