insika 0.2.0 → 0.7.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

@@ -1,72 +1,112 @@
-<%# Overview home (T3): stat cards + activity chart + recent conversations.
-   All from data the Studio already reads; charts are inline SVG (geometry via
-   attributes, fill via stylesheet — CSP-safe, no inline style). %>
-<header class="page-head">
-  <div>
-    <h1>Overview<span class="sub">at a glance</span></h1>
-  </div>
-  <div class="head-actions">
-    <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>
-</header>
-
-<div class="stat-cards">
-  <% [["conversations", "Conversations"], ["messages", "Messages"], ["agents", "Agents"],
-      ["skills", "Skills"], ["tools", "Tools"], ["providers", "LLM providers"]].each do |key, label| %>
-    <div class="stat-card">
-      <div class="stat-num"><%= @counts[key] %></div>
-      <div class="stat-label"><%= label %></div>
+<%# Overview home: stat cards + activity chart + recent
+    conversations, all LIVE over the existing SSE channel (live_home_controller
+    subscribes to /studio/events; the server-rendered numbers are its baseline).
+    Charts are inline SVG (geometry via attributes, fill via stylesheet —
+    CSP-safe, no inline style). %>
+<div data-controller="live-home" data-live-home-active-value="<%= @active_now %>">
+  <header class="page-head">
+    <div>
+      <h1>Overview<span class="sub">at a glance</span></h1>
     </div>
-  <% end %>
-</div>
-
-<div class="home-grid">
-  <section class="card home-activity">
-    <div class="section-head">
-      <h2>Activity</h2>
-      <span class="muted">conversations touched · last 14 days</span>
-    </div>
-    <% max = [@activity.map(&:last).max || 0, 1].max %>
-    <svg class="barchart" viewBox="0 0 700 176" preserveAspectRatio="none" role="img" aria-label="conversations per day, last 14 days">
-      <% n = @activity.size; slot = 700.0 / n; bw = slot * 0.58 %>
-      <% @activity.each_with_index do |(d, c), i| %>
-        <% h = (c.to_f / max) * 150.0; x = (i * slot) + ((slot - bw) / 2.0); y = 160.0 - h %>
-        <rect class="bar<%== ' bar-empty' if c.zero? %>" x="<%= format('%.1f', x) %>" y="<%= format('%.1f', c.zero? ? 157.0 : y) %>"
-              width="<%= format('%.1f', bw) %>" height="<%= format('%.1f', c.zero? ? 3.0 : [h, 3.0].max) %>" rx="2">
-          <title><%= d.strftime('%b %-d') %> · <%= c %> conversation<%= 's' unless c == 1 %></title>
-        </rect>
-      <% end %>
-      <line class="barchart-axis-line" x1="0" y1="160" x2="700" y2="160" />
-    </svg>
-    <div class="barchart-axis">
-      <span><%= @activity.first&.first&.strftime('%b %-d') %></span>
-      <span class="peak">peak <%= max %>/day</span>
-      <span><%= @activity.last&.first&.strftime('%b %-d') %></span>
+    <div class="head-actions">
+      <%== agent_filter_form("/studio/home", @agent) %>
+      <%# "active now" — conversations touched in the last 5 minutes (the same
+          number render_home computes). The ring spins while anything is hot;
+          the ago label tracks the last event the page has seen. %>
+      <span class="live-badge<%= @active_now.positive? ? " hot" : "" %>" title="conversations touched in the last 5 minutes">
+        <svg viewBox="0 0 16 16" aria-hidden="true"><circle class="ring" cx="8" cy="8" r="6.5"/></svg>
+        <b class="tnum" data-live-home-target="count"><%= @active_now %></b> active now
+        <span class="live-ago muted" data-live-home-target="ago"></span>
+      </span>
+      <a class="btn primary" href="/studio/playground">Open playground →</a>
     </div>
-  </section>
+  </header>
 
-  <section class="card home-recent">
-    <div class="section-head">
-      <h2>Recent conversations</h2>
-      <a class="muted" href="/studio/chats">all →</a>
-    </div>
-    <% if @recent.empty? %>
-      <div class="empty">No conversations yet. Start one in the <a href="/studio/playground">playground</a>.</div>
-    <% else %>
-      <ul class="convo-rail">
-        <% @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="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>
-              </span>
-            </a>
-          </li>
+  <div class="stat-cards">
+    <% [["conversations", "Conversations", @conv_trend],
+        ["messages", "Messages", @msg_trend],
+        ["agents", "Agents", nil],
+        ["skills", "Skills", nil],
+        ["tools", "Tools", nil],
+        ["providers", "LLM providers", nil]].each do |key, label, trend| %>
+      <div class="stat-card">
+        <div class="stat-num tnum"><%= @counts[key] %></div>
+        <div class="stat-label"><%= label %><% if trend && !trend.zero? %>
+          <span class="trend <%= trend.positive? ? "up" : "down" %>" title="vs yesterday"><%= trend.positive? ? "+" : "−" %><%= trend.abs %></span>
+        <% end %></div>
+      </div>
+    <% end %>
+  </div>
+
+  <div class="home-grid">
+    <section class="card home-activity">
+      <div class="section-head">
+        <h2>Activity</h2>
+        <span class="muted">conversations touched · last 14 days</span>
+      </div>
+      <%# 24h sparkline: area-fill + 1.5px line over the hourly
+          series; same session scan, finer buckets. Geometry via attributes,
+          colors via classes — CSP-safe like the barchart below. %>
+      <% s_max = [@activity_24h.map(&:last).max || 0, 1].max %>
+      <% s_n = @activity_24h.size %>
+      <% s_pts = @activity_24h.each_with_index.map do |(_t, c), i|
+           [i * (480.0 / (s_n - 1)), 44.0 - (c.to_f / s_max) * 36.0]
+         end %>
+      <% s_line = s_pts.map { |x, y| format("%.1f,%.1f", x, y) }.join(" ") %>
+      <div class="sparkline-strip">
+        <div class="sparkline-meta">
+          <b class="tnum"><%= @activity_24h.sum { |_t, c| c } %></b> conversations · last 24h
+        </div>
+        <svg class="sparkline" viewBox="0 0 480 48" preserveAspectRatio="none" role="img"
+             aria-label="conversations per hour, last 24 hours">
+          <polygon class="spark-area" points="<%= s_line %> 480,48 0,48"/>
+          <polyline class="spark-line" points="<%= s_line %>" vector-effect="non-scaling-stroke"/>
+        </svg>
+      </div>
+      <% max = [@activity.map(&:last).max || 0, 1].max %>
+      <svg class="barchart" viewBox="0 0 700 176" preserveAspectRatio="none" role="img" aria-label="conversations per day, last 14 days">
+        <% n = @activity.size; slot = 700.0 / n; bw = slot * 0.58 %>
+        <% @activity.each_with_index do |(d, c), i| %>
+          <% h = (c.to_f / max) * 150.0; x = (i * slot) + ((slot - bw) / 2.0); y = 160.0 - h %>
+          <rect class="bar<%== ' bar-empty' if c.zero? %>" x="<%= format('%.1f', x) %>" y="<%= format('%.1f', c.zero? ? 157.0 : y) %>"
+                width="<%= format('%.1f', bw) %>" height="<%= format('%.1f', c.zero? ? 3.0 : [h, 3.0].max) %>" rx="2">
+            <title><%= d.strftime('%b %-d') %> · <%= c %> conversation<%= 's' unless c == 1 %></title>
+          </rect>
+        <% end %>
+        <line class="barchart-axis-line" x1="0" y1="160" x2="700" y2="160" />
+      </svg>
+      <div class="barchart-axis">
+        <span><%= @activity.first&.first&.strftime('%b %-d') %></span>
+        <span class="peak">peak <%= max %>/day</span>
+        <span><%= @activity.last&.first&.strftime('%b %-d') %></span>
+      </div>
+    </section>
+
+    <section class="card home-recent">
+      <div class="section-head">
+        <h2>Recent conversations</h2>
+        <a class="muted" href="/studio/chats">all →</a>
+      </div>
+      <% cutoff = Time.now - (5 * 60) %>
+      <ul class="convo-rail" data-live-home-target="list">
+        <% if @recent.empty? %>
+          <li data-live-home-target="placeholder"><div class="empty">No conversations yet. Start one in the <a href="/studio/playground">playground</a>.</div></li>
+        <% else %>
+          <% @recent.each do |s| %>
+            <% fresh = (t = parse_time(s.updated_at)) && t >= cutoff %>
+            <li data-session-id="<%= s.id %>">
+              <a href="/studio/sessions/<%= Rack::Utils.escape(s.id) %>">
+                <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>
+                </span>
+                <span class="presence<%= " present" if fresh %>" title="touched in the last 5 minutes"></span>
+              </a>
+            </li>
+          <% end %>
         <% end %>
       </ul>
-    <% end %>
-  </section>
+    </section>
+  </div>
 </div>

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

@@ -0,0 +1,123 @@
+<%# Knowledge — drill-down, single-agent-scoped (like Harvest, not Skills'
+   shared+override shape): the KnowledgeStore is a real per-agent partition.
+   @agent/@tenant/@status pick the scope; @selected drives the detail pane
+   (nil = none, "" = new, name = edit). %>
+<header class="page-head">
+  <div>
+    <nav class="crumbs"><span>knowledge</span></nav>
+    <h1>Knowledge<span class="sub"><%= @agent ? @agent.to_s : "no agent" %></span></h1>
+  </div>
+</header>
+
+<p class="muted matrix-hint">Concepts the engine extracted from finished conversations — facts, procedures, policies, objections. Learned content is <code>provenance: observed</code>; an operator promotes one to <code>policy</code> by editing it here. A conflict is never resolved automatically — a human decides.</p>
+
+<% if insika[:knowledge_store].nil? %>
+  <div class="empty">No knowledge — the store is not wired.</div>
+<% elsif @agents.empty? %>
+  <div class="empty">No agents yet. Add a <span class="mono">knowledge:</span> block to an agent's pack to start learning from its traffic.</div>
+<% else %>
+  <% if @agents.size > 1 %>
+    <div class="filter-bar">
+      <% @agents.each do |id| %>
+        <a class="btn" href="/studio/knowledge?agent=<%= Rack::Utils.escape(id) %>"<%== ' aria-current="page"' if id == @agent %>><%= id %></a>
+      <% end %>
+    </div>
+  <% end %>
+  <div class="filter-bar">
+    <a class="btn" href="/studio/knowledge?agent=<%= Rack::Utils.escape(@agent.to_s) %>&status=all"<%== ' aria-current="page"' if @status == "all" %>>all <span class="count"><%= @all_count %></span></a>
+    <a class="btn" href="/studio/knowledge?agent=<%= Rack::Utils.escape(@agent.to_s) %>&status=conflict"<%== ' aria-current="page"' if @status == "conflict" %>>conflicts <span class="count"><%= @conflict_count %></span></a>
+  </div>
+
+  <div class="drill" data-controller="list-filter">
+    <aside class="drill-pane drill-master">
+      <div class="drill-pane-head">
+        <div class="title"><strong>Concepts <span class="count"><%= @concepts.size %></span></strong></div>
+        <a class="btn primary btn-sm" href="/studio/knowledge/new?agent=<%= Rack::Utils.escape(@agent.to_s) %>">+ new</a>
+      </div>
+      <div class="drill-search">
+        <input type="search" class="filter-input" placeholder="Search concepts…" aria-label="Filter concepts"
+               data-list-filter-target="query" data-action="input->list-filter#filter keydown->list-filter#clear">
+      </div>
+      <nav class="drill-pane-body drill-list" aria-label="concepts">
+        <% @concepts.each do |c| %>
+          <a class="drill-item<%== ' active' if @selected == c[:name] %>"
+             href="/studio/knowledge/<%= Rack::Utils.escape(c[:name]) %>?agent=<%= Rack::Utils.escape(@agent.to_s) %>"
+             data-list-filter-target="item" data-filter-text="<%= c[:name] %> <%= c[:description] %>">
+            <div class="drill-item-name">
+              <span class="txt mono"><%= c[:name] %></span>
+              <% if concept_conflict?(c) %><span class="pill warn">conflict</span><% end %>
+              <span class="pill"><%= c[:type] %></span>
+            </div>
+            <div class="drill-item-sub"><%= c[:description] %> · <span class="pill info"><%= format("%.2f", c[:confidence]) %></span> · ×<%= c[:occurrences] %></div>
+          </a>
+        <% end %>
+        <div class="empty" data-list-filter-target="empty" hidden>No concepts match your filter.</div>
+      </nav>
+    </aside>
+
+    <section class="drill-pane drill-detail">
+      <% if @selected.nil? %>
+        <div class="drill-empty">
+          <div>
+            <h2>Knowledge</h2>
+            <p>Pick a concept on the left to read or edit it — or create one by hand.</p>
+          </div>
+        </div>
+      <% else %>
+        <% new_concept = @selected == "" %>
+        <div class="drill-pane-head">
+          <div class="title">
+            <strong class="mono"><%= new_concept ? "New concept" : @selected %></strong>
+            <% if !new_concept && concept_conflict?(@selected_concept) %><span class="pill warn">conflict — resolve by editing below</span><% end %>
+          </div>
+          <button type="submit" form="concept-form" class="btn primary" data-turbo-submits-with="Saving…">Save concept</button>
+        </div>
+        <div class="drill-pane-body">
+          <% unless new_concept %>
+            <form method="post" action="/studio/knowledge/<%= Rack::Utils.escape(@selected) %>/delete<%= @tenant ? "?tenant=#{Rack::Utils.escape(@tenant)}" : '' %>" data-turbo-confirm="Remove concept &quot;<%= @selected %>&quot;? This can't be undone.">
+              <%== csrf_tag %>
+              <input type="hidden" name="agent" value="<%= @agent %>">
+              <div class="actions"><button type="submit" class="ghost danger" data-turbo-submits-with="Removing…">Remove</button></div>
+            </form>
+          <% end %>
+          <form id="concept-form" method="post" action="/studio/knowledge" data-controller="dirty-guard">
+            <%== csrf_tag %>
+            <input type="hidden" name="agent" value="<%= @agent %>">
+            <% if @tenant %><input type="hidden" name="tenant" value="<%= @tenant %>"><% end %>
+            <% if new_concept %>
+              <label>name <span class="muted">(canonical — same as <code>name:</code> in the frontmatter)</span>
+                <input type="text" name="name" placeholder="my-concept" required>
+              </label>
+            <% else %>
+              <input type="hidden" name="name" value="<%= @selected %>">
+            <% end %>
+            <label>Concept markdown <span class="muted">YAML frontmatter (<code>name</code>, <code>description</code>, <code>type</code>, <code>provenance</code>, <code>confidence</code>, …) + the durable claim</span></label>
+            <div data-controller="code-editor" data-code-editor-language-value="markdown" data-code-editor-preview-value="true">
+              <textarea name="content" data-code-editor-target="source" rows="18"><%= @concept_content %></textarea>
+            </div>
+          </form>
+
+          <% if !new_concept && Array(@concept_versions).any? %>
+            <details class="versions">
+              <summary><%= @concept_versions.size %> previous version(s)</summary>
+              <ul>
+                <% @concept_versions.each_with_index do |v, i| %>
+                  <li>
+                    <span class="muted mono"><%= v["at"] %></span>
+                    <form method="post" action="/studio/knowledge/<%= Rack::Utils.escape(@selected) %>/restore">
+                      <%== csrf_tag %>
+                      <input type="hidden" name="agent" value="<%= @agent %>">
+                      <% if @tenant %><input type="hidden" name="tenant" value="<%= @tenant %>"><% end %>
+                      <input type="hidden" name="version" value="<%= i %>">
+                      <button type="submit" class="ghost">Restore</button>
+                    </form>
+                  </li>
+                <% end %>
+              </ul>
+            </details>
+          <% end %>
+        </div>
+      <% end %>
+    </section>
+  </div>
+<% end %>

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

@@ -3,12 +3,27 @@
 <head>
   <meta charset="utf-8">
   <meta name="viewport" content="width=device-width, initial-scale=1">
+  <%# Turbo 8 Drive routes same-origin visits through the View Transitions API
+      when this meta is present; browsers without support degrade
+      to the plain swap. The CSS owns the actual transition (application.css,
+      ::view-transition-*), including the prefers-reduced-motion kill switch. %>
+  <meta name="view-transition" content="same-origin">
   <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>
 <body>
+  <%# Chip-icon sprite: one source of truth for transcript event
+      chips — the ERB partial renders chip_icon() from the same nav_icons.rb set,
+      and live_transcript_controller.js clones from this template, so live and
+      replayed transcripts can never drift apart. %>
+  <template id="chip-icons" aria-hidden="true">
+    <% Studio::NavIcons::CHIP_ICONS.each do |kind, icon| %>
+      <span data-kind="<%= kind %>" class="chip-ic"><%== nav_icon(icon) %></span>
+    <% end %>
+  </template>
   <% if authenticated? %>
     <div class="app-shell">
       <aside class="sidebar">
@@ -59,17 +74,6 @@
       </aside>
 
       <div class="app-main">
-        <% if restart_needed? %>
-          <div class="banner" role="status">
-            <span><strong>Restart recommended.</strong> MCP changes take effect after the runtime restarts.</span>
-            <form method="post" action="/studio/restart-ack">
-              <%== csrf_tag %>
-              <input type="hidden" name="back" value="<%= request.script_name %><%= request.path %>">
-              <button type="submit" class="ghost">Dismiss</button>
-            </form>
-          </div>
-        <% end %>
-
         <% if flash["error"] %>
           <div class="flash err" role="alert"><%= flash["error"] %></div>
         <% end %>