pi-studio 0.9.0 → 0.9.2

package/client/studio-client.js

@@ -104,6 +104,7 @@
       const sendEditorBtn = document.getElementById("sendEditorBtn");
       const openCompanionBtn = document.getElementById("openCompanionBtn");
       const getEditorBtn = document.getElementById("getEditorBtn");
+      const zenModeBtn = document.getElementById("zenModeBtn");
       const loadGitDiffBtn = document.getElementById("loadGitDiffBtn");
       const sendRunBtn = document.getElementById("sendRunBtn");
       const queueSteerBtn = document.getElementById("queueSteerBtn");
@@ -180,6 +181,16 @@
       let statusLevel = "";
       let reconnectTimer = null;
       let reconnectAttempt = 0;
+      let studioPdfFocusOverlayEl = null;
+      let studioPdfFocusDialogEl = null;
+      let studioPdfFocusFrameSlotEl = null;
+      let studioPdfFocusFrameEl = null;
+      let studioPdfFocusTitleEl = null;
+      let studioPdfFocusOpenLinkEl = null;
+      let studioPdfFocusFullscreenBtn = null;
+      let studioPdfFocusCloseBtn = null;
+      let studioPdfFocusLastFocusedEl = null;
+      let studioPdfFocusMovedFrameState = null;
       let pendingRequestId = null;
       let pendingKind = null;
       let stickyStudioKind = null;
@@ -221,6 +232,8 @@
       const REPL_TRANSCRIPT_MAX_CHARS = 200_000;
       const REPL_JOURNAL_OUTPUT_MAX_CHARS = 80_000;
       const REPL_JOURNAL_MAX_ENTRIES = 80;
+      const PDF_EXPORT_FETCH_TIMEOUT_MS = 180_000;
+      const HTML_EXPORT_FETCH_TIMEOUT_MS = 180_000;
       const EDITOR_TAB_TEXT = "  ";
       let replTmuxAvailable = null;
       let replSessions = [];
@@ -241,18 +254,77 @@
       let replBusy = false;
       let replSendMode = (() => {
         try {
-          return (window.localStorage && window.localStorage.getItem("piStudio.replSendMode")) || "scratch";
+          const stored = window.localStorage && window.localStorage.getItem("piStudio.replSendMode");
+          return String(stored || "").trim().toLowerCase() === "literate" ? "literate" : "raw";
         } catch {
-          return "scratch";
+          return "raw";
         }
       })();
-      let replJournalEntries = [];
+      function loadPersistedReplJournalEntries() {
+        try {
+          const raw = window.localStorage ? window.localStorage.getItem("piStudio.replStudioEntries.v1") : null;
+          const parsed = raw ? JSON.parse(raw) : [];
+          if (!Array.isArray(parsed)) return [];
+          return parsed.map((entry) => ({
+            id: typeof entry.id === "string" && entry.id ? entry.id : ("repl-journal-" + Date.now().toString(36) + "-" + Math.random().toString(36).slice(2, 8)),
+            requestId: typeof entry.requestId === "string" ? entry.requestId : "",
+            createdAt: typeof entry.createdAt === "number" && Number.isFinite(entry.createdAt) ? entry.createdAt : Date.now(),
+            updatedAt: typeof entry.updatedAt === "number" && Number.isFinite(entry.updatedAt) ? entry.updatedAt : Date.now(),
+            sessionName: typeof entry.sessionName === "string" ? entry.sessionName : "",
+            runtime: typeof entry.runtime === "string" ? entry.runtime : "python",
+            label: typeof entry.label === "string" ? entry.label : "REPL send",
+            mode: typeof entry.mode === "string" ? entry.mode : "raw",
+            prose: typeof entry.prose === "string" ? entry.prose : "",
+            code: typeof entry.code === "string" ? entry.code : "",
+            output: typeof entry.output === "string" ? entry.output : "",
+            beforeTranscript: "",
+            status: typeof entry.status === "string" ? entry.status : "sent",
+            skippedChunks: Math.max(0, Math.floor(Number(entry.skippedChunks) || 0)),
+          })).filter((entry) => entry.code.trim() || entry.prose.trim() || entry.output.trim()).slice(-REPL_JOURNAL_MAX_ENTRIES);
+        } catch {
+          return [];
+        }
+      }
+
+      function persistReplJournalEntries() {
+        try {
+          if (!window.localStorage) return;
+          const compact = replJournalEntries.slice(-REPL_JOURNAL_MAX_ENTRIES).map((entry) => ({
+            id: entry.id,
+            requestId: entry.requestId,
+            createdAt: entry.createdAt,
+            updatedAt: entry.updatedAt,
+            sessionName: entry.sessionName,
+            runtime: entry.runtime,
+            label: entry.label,
+            mode: entry.mode,
+            prose: entry.prose,
+            code: entry.code,
+            output: entry.output,
+            status: entry.status,
+            skippedChunks: entry.skippedChunks,
+          }));
+          window.localStorage.setItem("piStudio.replStudioEntries.v1", JSON.stringify(compact));
+        } catch {
+          // Ignore local persistence failures.
+        }
+      }
+
+      let replJournalEntries = loadPersistedReplJournalEntries();
       let activeReplJournalEntryId = "";
       let replJournalCollapsed = (() => {
         try {
-          const stored = window.localStorage ? window.localStorage.getItem("piStudio.replJournalCollapsed") : null;
-          if (stored === "false") return false;
+          const stored = window.localStorage ? window.localStorage.getItem("piStudio.replStudioCollapsed") : null;
           if (stored === "true") return true;
+          return false;
+        } catch {
+          return false;
+        }
+      })();
+      let replMirrorCollapsed = (() => {
+        try {
+          const stored = window.localStorage ? window.localStorage.getItem("piStudio.rawReplMirrorCollapsed") : null;
+          if (stored === "false") return false;
           return true;
         } catch {
           return true;
@@ -818,7 +890,7 @@
       }
 
       function normalizeReplSendMode(value) {
-        return String(value || "").trim().toLowerCase() === "literate" ? "literate" : "scratch";
+        return String(value || "").trim().toLowerCase() === "literate" ? "literate" : "raw";
       }
 
       function setReplSendMode(mode) {
@@ -834,20 +906,46 @@
       function setReplJournalCollapsed(collapsed) {
         replJournalCollapsed = Boolean(collapsed);
         try {
-          if (window.localStorage) window.localStorage.setItem("piStudio.replJournalCollapsed", replJournalCollapsed ? "true" : "false");
+          if (window.localStorage) window.localStorage.setItem("piStudio.replStudioCollapsed", replJournalCollapsed ? "true" : "false");
+        } catch {
+          // Ignore storage failures.
+        }
+        renderReplViewIfActive({ force: true });
+      }
+
+      function setReplMirrorCollapsed(collapsed) {
+        replMirrorCollapsed = Boolean(collapsed);
+        try {
+          if (window.localStorage) window.localStorage.setItem("piStudio.rawReplMirrorCollapsed", replMirrorCollapsed ? "true" : "false");
         } catch {
           // Ignore storage failures.
         }
         renderReplViewIfActive({ force: true });
       }
 
+      function serializeReplSessionsForCompare(sessions) {
+        return JSON.stringify((Array.isArray(sessions) ? sessions : [])
+          .map(normalizeReplSession)
+          .filter(Boolean)
+          .map((session) => ({
+            sessionName: session.sessionName,
+            label: session.label,
+            runtime: session.runtime,
+            source: session.source,
+            target: session.target,
+          })));
+      }
+
       function setReplSessions(sessions) {
+        const previous = serializeReplSessionsForCompare(replSessions);
+        const previousActive = replActiveSessionName;
         replSessions = Array.isArray(sessions)
           ? sessions.map(normalizeReplSession).filter(Boolean)
           : [];
         if (replActiveSessionName && !replSessions.some((session) => session.sessionName === replActiveSessionName)) {
           replActiveSessionName = replSessions[0] ? replSessions[0].sessionName : "";
         }
+        return previous !== serializeReplSessionsForCompare(replSessions) || previousActive !== replActiveSessionName;
       }
 
       function getActiveReplSession() {
@@ -866,8 +964,8 @@
           "Session name: " + session.sessionName,
           "tmux target: " + (session.target || (session.sessionName + ":0.0")),
           "runtime: " + runtime,
-          "Suggested shell command for direct interaction: tmux paste-buffer/send-keys targeting " + (session.target || (session.sessionName + ":0.0")),
-          "Prefer existing REPL tools when they target this same session; otherwise use tmux directly.",
+          "Use the studio_repl_send tool for code execution in this REPL. Pass sessionName when targeting this exact session.",
+          "Do not improvise raw tmux paste commands for multiline code; Studio handles runtime-specific safe submission.",
           "[/Studio active REPL]",
         ].join("\n");
       }
@@ -1069,7 +1167,7 @@
         };
       }
 
-      function buildScratchReplSendPayload() {
+      function buildRawReplSendPayload() {
         const range = getEditorSelectionRange();
         const selected = range.selected;
         const source = selected || range.raw;
@@ -1078,7 +1176,7 @@
           text: prepareEditorTextForSend(unwrapped ? unwrapped.code : source),
           prose: "",
           label: unwrapped ? unwrapped.label : (selected ? "selection" : "full editor"),
-          mode: "scratch",
+          mode: "raw",
           noteOnly: false,
           skippedChunks: 0,
         };
@@ -1142,7 +1240,7 @@
 
         const allBlocks = parseMarkdownCodeFences(range.raw);
         if (allBlocks.length) {
-          return { error: "Place the cursor inside a code chunk, select text, or use Run all chunks. Switch send mode to Scratch to send the full editor." };
+          return { error: "Place the cursor inside a code chunk, select text, or use Run all chunks. Switch send mode to Raw send to send the full editor." };
         }
 
         return {
@@ -1211,9 +1309,42 @@
       function addReplJournalEntry(details) {
         const entry = createReplJournalEntry(details || {});
         replJournalEntries = [...replJournalEntries, entry].slice(-REPL_JOURNAL_MAX_ENTRIES);
+        persistReplJournalEntries();
         return entry;
       }
 
+      function recordReplToolSend(message) {
+        const requestId = typeof message.toolCallId === "string" && message.toolCallId.trim()
+          ? "tool:" + message.toolCallId.trim()
+          : (typeof message.requestId === "string" && message.requestId.trim() ? message.requestId.trim() : "");
+        const code = String(message.code || "");
+        if (!code.trim()) return false;
+        const runtime = normalizeReplRuntime(message.runtime || getActiveReplRuntime());
+        const sessionName = typeof message.sessionName === "string" ? message.sessionName : replActiveSessionName;
+        const output = cleanReplCapturedOutput(String(message.output || ""), { code, runtime });
+        const details = {
+          requestId,
+          sessionName,
+          runtime,
+          label: typeof message.label === "string" && message.label.trim() ? message.label.trim() : "Pi",
+          mode: "agent",
+          code,
+          output,
+          status: output.trim() ? "captured" : (message.timedOut ? "timeout" : "sent"),
+        };
+        activeReplJournalEntryId = "";
+        if (requestId) {
+          const existingIndex = replJournalEntries.findIndex((entry) => entry.requestId === requestId);
+          if (existingIndex >= 0) {
+            replJournalEntries = replJournalEntries.map((entry) => entry.requestId === requestId ? { ...entry, ...details, updatedAt: Date.now() } : entry);
+            persistReplJournalEntries();
+            return true;
+          }
+        }
+        addReplJournalEntry(details);
+        return true;
+      }
+
       function extractReplTranscriptDelta(before, after) {
         const previous = String(before || "");
         const current = String(after || "");
@@ -1232,17 +1363,54 @@
         return current;
       }
 
+      function stripSubmittedCodeEchoFromReplDelta(delta, entry) {
+        const value = String(delta || "").replace(/^\s+/, "");
+        const code = String(entry && entry.code ? entry.code : "").trim();
+        if (!value || !code) return value;
+        const firstCodeLine = code.split("\n").map((line) => line.trim()).find(Boolean) || "";
+        const lines = value.split("\n");
+        if (!lines.length) return value;
+        const promptlessFirst = lines[0].replace(/^\s*(?:>>>|\.\.\.|In \[\d+\]:|julia>|>|\+|ghci>|Prelude>|\*?[A-Za-z0-9_.:]+>|[^\s>]+=>)\s*/, "").trim();
+        const isEcho = promptlessFirst === firstCodeLine
+          || /^# Studio sent \d+-line snippet$/.test(promptlessFirst)
+          || /^-- Studio sent \d+-line snippet$/.test(promptlessFirst)
+          || /^;; Studio sent \d+-line snippet$/.test(promptlessFirst);
+        return isEcho ? lines.slice(1).join("\n").replace(/^\s+/, "") : value;
+      }
+
+      function stripTrailingReplPromptsFromOutput(output) {
+        const lines = String(output || "").replace(/\r\n/g, "\n").split("\n");
+        while (lines.length > 0 && /^\s*(?:>>>|\.\.\.|In \[\d+\]:|julia>|>|\+|ghci>|Prelude>|\*?[A-Za-z0-9_.:]+>|[^\s>]+=>)\s*$/.test(lines[lines.length - 1] || "")) {
+          lines.pop();
+        }
+        return lines.join("\n").trimEnd();
+      }
+
+      function stripSubsequentReplInputsFromOutput(output) {
+        const lines = String(output || "").replace(/\r\n/g, "\n").split("\n");
+        const nextInputIndex = lines.findIndex((line) => /^\s*(?:>>>|In \[\d+\]:|julia>|ghci>|Prelude>|\*?[A-Za-z0-9_.:]+>|[^\s>]+=>)\s+\S/.test(line || ""));
+        if (nextInputIndex <= 0) return lines.join("\n").trimEnd();
+        return lines.slice(0, nextInputIndex).join("\n").trimEnd();
+      }
+
+      function cleanReplCapturedOutput(delta, entry) {
+        return trimReplJournalOutput(stripTrailingReplPromptsFromOutput(stripSubsequentReplInputsFromOutput(stripSubmittedCodeEchoFromReplDelta(delta, entry))));
+      }
+
       function updateActiveReplJournalEntryFromTranscript(sessionName, transcript) {
-        if (!activeReplJournalEntryId) return;
+        if (!activeReplJournalEntryId) return false;
         const entryIndex = replJournalEntries.findIndex((entry) => entry.id === activeReplJournalEntryId);
-        if (entryIndex < 0) return;
+        if (entryIndex < 0) return false;
         const entry = replJournalEntries[entryIndex];
-        if (entry.sessionName && sessionName && entry.sessionName !== sessionName) return;
-        const delta = trimReplJournalOutput(extractReplTranscriptDelta(entry.beforeTranscript, transcript));
-        if (!delta.trim()) return;
+        if (entry.sessionName && sessionName && entry.sessionName !== sessionName) return false;
+        const delta = cleanReplCapturedOutput(extractReplTranscriptDelta(entry.beforeTranscript, transcript), entry);
+        if (!delta.trim()) return false;
+        if (entry.output === delta && entry.status === "captured") return false;
         replJournalEntries = replJournalEntries.map((candidate) => candidate.id === entry.id
           ? { ...candidate, output: delta, status: "captured", updatedAt: Date.now() }
           : candidate);
+        persistReplJournalEntries();
+        return true;
       }
 
       function getMarkdownFenceForText(text, language) {
@@ -1253,9 +1421,9 @@
       }
 
       function buildReplJournalMarkdown() {
-        const lines = ["# Studio REPL journal", "", "Generated: " + new Date().toLocaleString(), ""];
+        const lines = ["# REPL Studio", "", "Generated: " + new Date().toLocaleString(), ""];
         if (!replJournalEntries.length) {
-          lines.push("_No journal entries yet._");
+          lines.push("_No REPL Studio entries yet._");
           return lines.join("\n");
         }
         replJournalEntries.forEach((entry, index) => {
@@ -1286,11 +1454,11 @@
 
       async function copyReplJournalToClipboard() {
         if (!replJournalEntries.length) {
-          setStatus("No REPL journal entries to copy yet.", "warning");
+          setStatus("No REPL Studio entries to copy yet.", "warning");
           return;
         }
         if (await writeTextToClipboard(buildReplJournalMarkdown())) {
-          setStatus("Copied REPL journal as Markdown.", "success");
+          setStatus("Copied REPL Studio as Markdown.", "success");
         } else {
           setStatus("Clipboard write failed.", "warning");
         }
@@ -1298,7 +1466,7 @@
 
       function exportReplJournalMarkdown() {
         if (!replJournalEntries.length) {
-          setStatus("No REPL journal entries to export yet.", "warning");
+          setStatus("No REPL Studio entries to export yet.", "warning");
           return;
         }
         const blob = new Blob([buildReplJournalMarkdown()], { type: "text/markdown;charset=utf-8" });
@@ -1306,37 +1474,38 @@
         const link = document.createElement("a");
         const stamp = new Date().toISOString().replace(/[:.]/g, "-").slice(0, 19);
         link.href = blobUrl;
-        link.download = "studio-repl-journal-" + stamp + ".md";
+        link.download = "repl-studio-" + stamp + ".md";
         document.body.appendChild(link);
         link.click();
         link.remove();
         window.setTimeout(() => URL.revokeObjectURL(blobUrl), 1000);
-        setStatus("Exported REPL journal Markdown.", "success");
+        setStatus("Exported REPL Studio Markdown.", "success");
       }
 
       function clearReplJournal() {
         replJournalEntries = [];
         activeReplJournalEntryId = "";
-        setStatus("Cleared REPL journal.", "success");
+        persistReplJournalEntries();
+        setStatus("Cleared REPL Studio.", "success");
         renderReplViewIfActive({ force: true });
       }
 
       function loadReplJournalIntoEditor() {
         if (!replJournalEntries.length) {
-          setStatus("No REPL journal entries to load yet.", "warning");
+          setStatus("No REPL Studio entries to load yet.", "warning");
           return;
         }
         const markdown = buildReplJournalMarkdown();
         setEditorText(markdown, { preserveScroll: false, preserveSelection: false });
-        setSourceState({ source: "blank", label: "REPL journal", path: null });
+        setSourceState({ source: "blank", label: "REPL Studio", path: null });
         setEditorLanguage("markdown");
-        setStatus("Loaded REPL journal into editor.", "success");
+        setStatus("Loaded REPL Studio into editor.", "success");
       }
 
       function addSelectedReplJournalNote() {
         const note = getSelectedOrCurrentParagraphForReplNote();
         if (!note.trim()) {
-          setStatus("Select prose or place the cursor in a paragraph to journal a note.", "warning");
+          setStatus("Select prose or place the cursor in a paragraph to add a REPL Studio note.", "warning");
           return;
         }
         addReplJournalEntry({
@@ -1347,7 +1516,7 @@
           sessionName: replActiveSessionName,
           runtime: getActiveReplRuntime(),
         });
-        setStatus("Added note to REPL journal.", "success");
+        setStatus("Added note to REPL Studio.", "success");
         renderReplViewIfActive({ force: true });
       }
 
@@ -1372,7 +1541,7 @@
               runtime: getActiveReplRuntime(),
               skippedChunks: payload.skippedChunks,
             });
-            setStatus("Added prose to REPL journal.", "success");
+            setStatus("Added prose to REPL Studio.", "success");
             renderReplViewIfActive({ force: true });
           } else {
             setStatus("No code or prose found to send.", "warning");
@@ -1406,6 +1575,7 @@
         if (!sendMessage({ type: "repl_send_request", requestId, sessionName: session.sessionName, text })) {
           replBusy = false;
           replJournalEntries = replJournalEntries.map((entry) => entry.id === journalEntry.id ? { ...entry, status: "error" } : entry);
+          persistReplJournalEntries();
           syncActionButtons();
         }
       }
@@ -1420,7 +1590,7 @@
           addSelectedReplJournalNote();
           return;
         }
-        sendReplPayload(replSendMode === "literate" ? buildLiterateReplSendPayload() : buildScratchReplSendPayload());
+        sendReplPayload(replSendMode === "literate" ? buildLiterateReplSendPayload() : buildRawReplSendPayload());
       }
 
       function renderTraceViewIfActive() {
@@ -1510,6 +1680,7 @@
       let lineNumbersRenderRaf = null;
       let annotationsEnabled = true;
       const STUDIO_UI_REFRESH_STORAGE_KEY = "piStudio.uiRefresh";
+      const STUDIO_ZEN_MODE_STORAGE_KEY = "piStudio.zenMode";
       const studioUiRefreshEnabled = readStudioUiRefreshEnabled();
       const EDITOR_FONT_SIZE_OPTIONS = [10, 11, 12, 13, 14, 15, 16, 18];
       const RESPONSE_FONT_SIZE_OPTIONS = [11, 12, 12.5, 13, 13.5, 14, 14.5, 15, 15.5, 16, 18, 20];
@@ -1518,9 +1689,13 @@
       let editorFontSize = DEFAULT_EDITOR_FONT_SIZE;
       let responseFontSize = DEFAULT_RESPONSE_FONT_SIZE;
       let studioUiRefreshUi = null;
+      let studioZenModeEnabled = readStudioZenModeEnabled();
       if (studioUiRefreshEnabled && document.body) {
         document.body.classList.add("studio-ui-refresh");
       }
+      if (studioZenModeEnabled && document.body) {
+        document.body.classList.add("studio-zen-mode");
+      }
       let scratchpadText = "";
       let scratchpadReturnFocusEl = null;
       let scratchpadPersistTimer = null;
@@ -1562,6 +1737,46 @@
         return true;
       }
 
+      function readStudioZenModeEnabled() {
+        const normalize = (value) => String(value == null ? "" : value).trim().toLowerCase();
+        const isTruthy = (value) => ["1", "true", "yes", "on", "zen"].indexOf(normalize(value)) !== -1;
+        const isFalsey = (value) => ["0", "false", "no", "off"].indexOf(normalize(value)) !== -1;
+        const queryValue = initialQueryParams.has("zen") ? initialQueryParams.get("zen") : null;
+        if (queryValue !== null) {
+          const normalizedQuery = normalize(queryValue);
+          const enabled = isTruthy(queryValue) || (!isFalsey(queryValue) && normalizedQuery !== "");
+          try {
+            window.localStorage && window.localStorage.setItem(STUDIO_ZEN_MODE_STORAGE_KEY, enabled ? "1" : "0");
+          } catch {}
+          return enabled;
+        }
+        try {
+          const stored = window.localStorage ? window.localStorage.getItem(STUDIO_ZEN_MODE_STORAGE_KEY) : null;
+          if (stored === null) return false;
+          return isTruthy(stored) || (!isFalsey(stored) && normalize(stored) !== "");
+        } catch {
+          return false;
+        }
+      }
+
+      function syncStudioZenModeUi() {
+        if (document.body) document.body.classList.toggle("studio-zen-mode", studioZenModeEnabled);
+        if (!zenModeBtn) return;
+        zenModeBtn.textContent = studioZenModeEnabled ? "Exit Zen" : "⊙ Zen";
+        zenModeBtn.title = studioZenModeEnabled ? "Show full Studio controls." : "Hide secondary Studio controls.";
+        zenModeBtn.setAttribute("aria-pressed", studioZenModeEnabled ? "true" : "false");
+      }
+
+      function setStudioZenMode(enabled) {
+        studioZenModeEnabled = Boolean(enabled);
+        try {
+          window.localStorage && window.localStorage.setItem(STUDIO_ZEN_MODE_STORAGE_KEY, studioZenModeEnabled ? "1" : "0");
+        } catch {}
+        closeStudioUiRefreshMenus();
+        closeExportPreviewMenu();
+        syncStudioZenModeUi();
+      }
+
       function makeStudioUiRefreshElement(tagName, className, text) {
         const element = document.createElement(tagName);
         if (className) element.className = className;
@@ -1578,9 +1793,16 @@
         svg.setAttribute("viewBox", "0 0 24 24");
         svg.setAttribute("aria-hidden", "true");
         svg.classList.add("studio-refresh-icon");
-        const paths = kind === "focus-exit"
-          ? ["M4 4l6 6", "M10 4v6H4", "M20 20l-6-6", "M14 20v-6h6"]
-          : ["M14 4h6v6", "M20 4l-6 6", "M10 20H4v-6", "M4 20l6-6"];
+        let paths;
+        if (kind === "focus-exit") {
+          paths = ["M4 4l6 6", "M10 4v6H4", "M20 20l-6-6", "M14 20v-6h6"];
+        } else if (kind === "fullscreen") {
+          paths = ["M8 4H4v4", "M16 4h4v4", "M20 16v4h-4", "M4 16v4h4"];
+        } else if (kind === "fullscreen-exit") {
+          paths = ["M9 5v4H5", "M15 5v4h4", "M19 15h-4v4", "M5 15h4v4"];
+        } else {
+          paths = ["M14 4h6v6", "M20 4l-6 6", "M10 20H4v-6", "M4 20l6-6"];
+        }
         for (const d of paths) {
           const path = document.createElementNS("http://www.w3.org/2000/svg", "path");
           path.setAttribute("d", d);
@@ -1941,6 +2163,7 @@
 
       setupStudioUiRefreshToggleButton();
       setupStudioUiRefreshPrototype();
+      syncStudioZenModeUi();
       const annotationHelpers = globalThis.PiStudioAnnotationHelpers;
       if (!annotationHelpers || typeof annotationHelpers.collectInlineAnnotationMarkers !== "function") {
         throw new Error("Studio annotation helpers failed to load.");
@@ -2822,6 +3045,18 @@
           && typeof outlineDialogEl.contains === "function"
           && outlineDialogEl.contains(event.target)
         );
+        const pdfFocusOwnsEvent = Boolean(
+          studioPdfFocusDialogEl
+          && event.target
+          && typeof studioPdfFocusDialogEl.contains === "function"
+          && studioPdfFocusDialogEl.contains(event.target)
+        );
+
+        if (isStudioPdfFocusOpen() && plainEscape) {
+          event.preventDefault();
+          closeStudioPdfFocusViewer();
+          return;
+        }
 
         if (isScratchpadOpen() && plainEscape) {
           event.preventDefault();
@@ -2841,7 +3076,7 @@
           return;
         }
 
-        if (scratchpadOwnsEvent || reviewNotesOwnsEvent || outlineOwnsEvent) {
+        if (scratchpadOwnsEvent || reviewNotesOwnsEvent || outlineOwnsEvent || pdfFocusOwnsEvent) {
           return;
         }
 
@@ -3180,6 +3415,12 @@
 
       function updateReferenceBadge() {
         if (!referenceBadgeEl) return;
+        const referenceMetaEl = referenceBadgeEl.closest(".reference-meta");
+        if (rightView === "repl") {
+          if (referenceMetaEl instanceof HTMLElement) referenceMetaEl.hidden = true;
+          return;
+        }
+        if (referenceMetaEl instanceof HTMLElement) referenceMetaEl.hidden = false;
 
         if (rightView === "trace") {
           const state = traceState || createEmptyTraceState();
@@ -3209,18 +3450,6 @@
           return;
         }
 
-        if (rightView === "repl") {
-          const session = getActiveReplSession();
-          if (replTmuxAvailable === false) {
-            referenceBadgeEl.textContent = "REPL: tmux unavailable";
-            return;
-          }
-          referenceBadgeEl.textContent = session
-            ? ("REPL: " + session.label + (replCapturedAt ? (" · updated " + formatReferenceTime(replCapturedAt)) : ""))
-            : "REPL: no session selected";
-          return;
-        }
-
         if (rightView === "editor-preview") {
           const hasResponse = Boolean(latestResponseMarkdown && latestResponseMarkdown.trim());
           if (hasResponse) {
@@ -3696,50 +3925,316 @@
         return Number.isFinite(parsed) && parsed > 0 ? parsed : 0;
       }
 
-      function buildStudioPdfResourceUrl(options) {
+      function isStudioPdfFocusOpen() {
+        return Boolean(studioPdfFocusOverlayEl && studioPdfFocusOverlayEl.hidden === false);
+      }
+
+      function ensureStudioPdfFocusViewer() {
+        if (studioPdfFocusOverlayEl) return studioPdfFocusOverlayEl;
+
+        const overlay = document.createElement("div");
+        overlay.className = "studio-pdf-focus-overlay";
+        overlay.hidden = true;
+        overlay.setAttribute("role", "dialog");
+        overlay.setAttribute("aria-modal", "true");
+        overlay.setAttribute("aria-labelledby", "studioPdfFocusTitle");
+
+        const dialog = document.createElement("div");
+        dialog.className = "studio-pdf-focus-dialog";
+
+        const header = document.createElement("div");
+        header.className = "studio-pdf-focus-header";
+
+        const titleGroup = document.createElement("div");
+        titleGroup.className = "studio-pdf-focus-title-group";
+
+        const closeBtn = document.createElement("button");
+        closeBtn.type = "button";
+        closeBtn.className = "studio-pdf-focus-btn studio-pdf-focus-close";
+        closeBtn.title = "Exit PDF focus view.";
+        closeBtn.setAttribute("aria-label", "Exit PDF focus view");
+        closeBtn.appendChild(makeStudioUiRefreshIcon("focus-exit"));
+        closeBtn.addEventListener("click", () => closeStudioPdfFocusViewer());
+        titleGroup.appendChild(closeBtn);
+
+        const titleEl = document.createElement("div");
+        titleEl.id = "studioPdfFocusTitle";
+        titleEl.className = "studio-pdf-focus-title";
+        titleEl.textContent = "PDF preview";
+        titleGroup.appendChild(titleEl);
+        header.appendChild(titleGroup);
+
+        const actions = document.createElement("div");
+        actions.className = "studio-pdf-focus-actions";
+
+        const openLink = document.createElement("a");
+        openLink.className = "studio-pdf-focus-link";
+        openLink.target = "_blank";
+        openLink.rel = "noopener noreferrer";
+        openLink.textContent = "Open PDF";
+        actions.appendChild(openLink);
+
+        const fullscreenBtn = document.createElement("button");
+        fullscreenBtn.type = "button";
+        fullscreenBtn.className = "studio-pdf-focus-btn studio-pdf-focus-fullscreen";
+        fullscreenBtn.addEventListener("click", async () => {
+          const isFullscreen = Boolean(document.fullscreenElement && studioPdfFocusDialogEl && document.fullscreenElement === studioPdfFocusDialogEl);
+          if (isFullscreen) {
+            try {
+              if (typeof document.exitFullscreen === "function") await document.exitFullscreen();
+            } catch (error) {
+              setStatus("Could not exit PDF fullscreen: " + (error && error.message ? error.message : String(error || "unknown error")), "warning");
+            } finally {
+              syncStudioPdfFocusFullscreenButton();
+            }
+            return;
+          }
+          if (!studioPdfFocusDialogEl || typeof studioPdfFocusDialogEl.requestFullscreen !== "function") {
+            setStatus("Browser fullscreen is not available for this PDF viewer.", "warning");
+            return;
+          }
+          try {
+            await studioPdfFocusDialogEl.requestFullscreen();
+          } catch (error) {
+            setStatus("Could not enter PDF fullscreen: " + (error && error.message ? error.message : String(error || "unknown error")), "warning");
+          } finally {
+            syncStudioPdfFocusFullscreenButton();
+          }
+        });
+        actions.appendChild(fullscreenBtn);
+
+        header.appendChild(actions);
+        dialog.appendChild(header);
+
+        const frameSlot = document.createElement("div");
+        frameSlot.className = "studio-pdf-focus-frame-slot";
+        const frame = document.createElement("iframe");
+        frame.className = "studio-pdf-focus-frame";
+        frame.title = "PDF focus viewer";
+        frame.loading = "eager";
+        frameSlot.appendChild(frame);
+        dialog.appendChild(frameSlot);
+
+        overlay.appendChild(dialog);
+        overlay.addEventListener("click", (event) => {
+          if (event.target === overlay) closeStudioPdfFocusViewer();
+        });
+        document.addEventListener("fullscreenchange", syncStudioPdfFocusFullscreenButton);
+
+        document.body.appendChild(overlay);
+        studioPdfFocusOverlayEl = overlay;
+        studioPdfFocusDialogEl = dialog;
+        studioPdfFocusFrameSlotEl = frameSlot;
+        studioPdfFocusFrameEl = frame;
+        studioPdfFocusTitleEl = titleEl;
+        studioPdfFocusOpenLinkEl = openLink;
+        studioPdfFocusFullscreenBtn = fullscreenBtn;
+        studioPdfFocusCloseBtn = closeBtn;
+        syncStudioPdfFocusFullscreenButton();
+        return overlay;
+      }
+
+      function openStudioPdfFocusViewer(viewerUrl, title, sourceFrame) {
+        const src = String(viewerUrl || "").trim();
+        if (!src) return;
+        ensureStudioPdfFocusViewer();
+        studioPdfFocusLastFocusedEl = document.activeElement instanceof HTMLElement ? document.activeElement : null;
+        if (studioPdfFocusTitleEl) studioPdfFocusTitleEl.textContent = String(title || "PDF preview").trim() || "PDF preview";
+        if (studioPdfFocusOpenLinkEl) studioPdfFocusOpenLinkEl.href = src;
+        setStudioPdfFocusFrameSource(src, title, sourceFrame);
+        if (document.body) document.body.classList.add("studio-pdf-focus-open");
+        if (studioPdfFocusOverlayEl) studioPdfFocusOverlayEl.hidden = false;
+        syncStudioPdfFocusFullscreenButton();
+        closeStudioUiRefreshMenus();
+        closeExportPreviewMenu();
+        window.setTimeout(() => {
+          if (studioPdfFocusCloseBtn && typeof studioPdfFocusCloseBtn.focus === "function") {
+            studioPdfFocusCloseBtn.focus();
+          }
+        }, 0);
+      }
+
+      function closeStudioPdfFocusViewer() {
+        if (!isStudioPdfFocusOpen()) return false;
+        if (document.fullscreenElement && studioPdfFocusDialogEl && studioPdfFocusDialogEl.contains(document.fullscreenElement)) {
+          try {
+            const exitResult = document.exitFullscreen && document.exitFullscreen();
+            if (exitResult && typeof exitResult.catch === "function") exitResult.catch(() => {});
+          } catch {}
+        }
+        if (studioPdfFocusOverlayEl) studioPdfFocusOverlayEl.hidden = true;
+        restoreStudioPdfFocusMovedFrame();
+        if (studioPdfFocusFrameEl) studioPdfFocusFrameEl.src = "about:blank";
+        if (document.body) document.body.classList.remove("studio-pdf-focus-open");
+        syncStudioPdfFocusFullscreenButton();
+        const focusTarget = studioPdfFocusLastFocusedEl;
+        studioPdfFocusLastFocusedEl = null;
+        if (focusTarget && typeof focusTarget.focus === "function" && document.contains(focusTarget)) {
+          window.setTimeout(() => focusTarget.focus(), 0);
+        }
+        return true;
+      }
+
+      function buildStudioPdfResourceUrl(options, useEditorResourceContext) {
         const token = getToken();
         if (!token) return "";
         const pdfPath = String(options && options.path ? options.path : "").trim();
         if (!pdfPath) return "";
         const effectivePath = getEffectiveSavePath();
-        const sourcePath = effectivePath || sourceState.path || "";
+        const sourcePath = useEditorResourceContext ? (effectivePath || sourceState.path || "") : "";
+        const resourceDir = resourceDirInput && resourceDirInput.value.trim() ? resourceDirInput.value.trim() : "";
         const params = new URLSearchParams({ token, path: pdfPath });
         if (sourcePath) {
           params.set("sourcePath", sourcePath);
-        } else if (resourceDirInput && resourceDirInput.value.trim()) {
-          params.set("resourceDir", resourceDirInput.value.trim());
+        } else if (resourceDir) {
+          params.set("resourceDir", resourceDir);
         }
         return "/pdf-resource?" + params.toString();
       }
 
-      function createStudioPdfCard(block) {
+      function syncStudioPdfFocusFullscreenButton() {
+        if (!studioPdfFocusFullscreenBtn) return;
+        const isFullscreen = Boolean(document.fullscreenElement && studioPdfFocusDialogEl && document.fullscreenElement === studioPdfFocusDialogEl);
+        studioPdfFocusFullscreenBtn.replaceChildren(makeStudioUiRefreshIcon(isFullscreen ? "fullscreen-exit" : "fullscreen"));
+        const label = isFullscreen ? "Exit fullscreen" : "Fullscreen";
+        studioPdfFocusFullscreenBtn.title = isFullscreen
+          ? "Exit browser fullscreen and keep the PDF focus viewer open."
+          : "Ask the browser to make this PDF viewer fullscreen.";
+        studioPdfFocusFullscreenBtn.setAttribute("aria-label", label);
+        studioPdfFocusFullscreenBtn.setAttribute("aria-pressed", isFullscreen ? "true" : "false");
+      }
+
+      function restoreStudioPdfFocusMovedFrame() {
+        const state = studioPdfFocusMovedFrameState;
+        studioPdfFocusMovedFrameState = null;
+        if (!state || !state.frame) return;
+        const frame = state.frame;
+        frame.className = state.className;
+        frame.style.cssText = state.styleCssText;
+        if (state.title !== null) frame.setAttribute("title", state.title);
+        else frame.removeAttribute("title");
+        if (state.placeholder && state.placeholder.parentNode) {
+          state.placeholder.parentNode.insertBefore(frame, state.placeholder);
+          state.placeholder.remove();
+        } else if (state.parent && state.parent.isConnected) {
+          state.parent.insertBefore(frame, state.nextSibling && state.nextSibling.parentNode === state.parent ? state.nextSibling : null);
+        }
+      }
+
+      function setStudioPdfFocusFrameSource(src, title, sourceFrame) {
+        if (!studioPdfFocusFrameSlotEl || !studioPdfFocusFrameEl) return;
+        restoreStudioPdfFocusMovedFrame();
+        const sourceIframe = sourceFrame instanceof HTMLIFrameElement ? sourceFrame : null;
+        if (sourceIframe && sourceIframe.isConnected) {
+          const placeholder = document.createElement("span");
+          placeholder.hidden = true;
+          const parent = sourceIframe.parentNode;
+          parent && parent.insertBefore(placeholder, sourceIframe);
+          studioPdfFocusMovedFrameState = {
+            frame: sourceIframe,
+            parent,
+            nextSibling: placeholder.nextSibling,
+            placeholder,
+            className: sourceIframe.className,
+            styleCssText: sourceIframe.style.cssText,
+            title: sourceIframe.getAttribute("title"),
+          };
+          if (studioPdfFocusFrameEl.parentNode) studioPdfFocusFrameEl.parentNode.removeChild(studioPdfFocusFrameEl);
+          sourceIframe.classList.add("studio-pdf-focus-frame");
+          sourceIframe.style.height = "auto";
+          sourceIframe.style.flex = "1 1 auto";
+          sourceIframe.title = String(title || "PDF focus viewer").trim() || "PDF focus viewer";
+          studioPdfFocusFrameSlotEl.appendChild(sourceIframe);
+          return;
+        }
+        if (!studioPdfFocusFrameEl.parentNode) studioPdfFocusFrameSlotEl.appendChild(studioPdfFocusFrameEl);
+        studioPdfFocusFrameEl.src = src;
+        studioPdfFocusFrameEl.title = String(title || "PDF focus viewer").trim() || "PDF focus viewer";
+      }
+
+      function openStudioPdfFocusFromButton(buttonEl) {
+        if (!buttonEl) return false;
+        const card = buttonEl.closest && buttonEl.closest(".studio-pdf-card");
+        const viewerUrl = String(buttonEl.dataset && buttonEl.dataset.studioPdfViewerUrl ? buttonEl.dataset.studioPdfViewerUrl : "").trim()
+          || String(card && card.dataset ? (card.dataset.studioPdfViewerUrl || "") : "").trim();
+        const title = String(buttonEl.dataset && buttonEl.dataset.studioPdfTitle ? buttonEl.dataset.studioPdfTitle : "").trim()
+          || String(card && card.dataset ? (card.dataset.studioPdfTitle || "") : "").trim()
+          || "PDF preview";
+        const sourceFrame = card && typeof card.querySelector === "function" ? card.querySelector("iframe.studio-pdf-frame") : null;
+        if (!viewerUrl) return false;
+        openStudioPdfFocusViewer(viewerUrl, title, sourceFrame);
+        return true;
+      }
+
+      function handleStudioPdfFocusButtonClick(event) {
+        const target = event && event.target;
+        const buttonEl = target instanceof Element ? target.closest(".studio-pdf-card-focus") : null;
+        if (!buttonEl) return;
+        event.preventDefault();
+        event.stopPropagation();
+        if (typeof event.stopImmediatePropagation === "function") {
+          event.stopImmediatePropagation();
+        }
+        if (!openStudioPdfFocusFromButton(buttonEl)) {
+          setStatus("Could not open PDF focus view for this card.", "warning");
+        }
+      }
+
+      function createStudioPdfCard(block, useEditorResourceContext) {
         const options = block && block.options ? block.options : {};
         const path = String(options.path || "").trim();
         const title = String(options.title || path || "Embedded PDF").trim();
         const caption = String(options.caption || "").trim();
         const height = normalizeStudioPdfHeight(options.height);
         const page = normalizeStudioPdfPage(options.page);
-        const resourceUrl = buildStudioPdfResourceUrl(options);
+        const resourceUrl = buildStudioPdfResourceUrl(options, useEditorResourceContext);
         const viewerUrl = resourceUrl && page ? resourceUrl + "#page=" + encodeURIComponent(String(page)) : resourceUrl;
 
         const card = document.createElement("figure");
         card.className = "studio-pdf-card";
+        if (card.dataset) {
+          card.dataset.studioPdfViewerUrl = viewerUrl || "";
+          card.dataset.studioPdfTitle = title;
+        }
 
         const header = document.createElement("figcaption");
         header.className = "studio-pdf-card-header";
+
+        const titleGroup = document.createElement("div");
+        titleGroup.className = "studio-pdf-card-title-group";
+        if (resourceUrl) {
+          const focusBtn = document.createElement("button");
+          focusBtn.type = "button";
+          focusBtn.className = "studio-pdf-card-action studio-pdf-card-focus";
+          focusBtn.title = "Open this PDF in a larger Studio overlay.";
+          focusBtn.setAttribute("aria-label", "Focus PDF");
+          if (focusBtn.dataset) {
+            focusBtn.dataset.studioPdfViewerUrl = viewerUrl;
+            focusBtn.dataset.studioPdfTitle = title;
+          }
+          focusBtn.appendChild(makeStudioUiRefreshIcon("focus"));
+          focusBtn.addEventListener("click", handleStudioPdfFocusButtonClick);
+          titleGroup.appendChild(focusBtn);
+        }
         const label = document.createElement("div");
         label.className = "studio-pdf-card-title";
         label.textContent = title;
-        header.appendChild(label);
+        titleGroup.appendChild(label);
+        header.appendChild(titleGroup);
 
         if (resourceUrl) {
+          const actions = document.createElement("div");
+          actions.className = "studio-pdf-card-actions";
+
           const openLink = document.createElement("a");
-          openLink.className = "studio-pdf-card-link";
+          openLink.className = "studio-pdf-card-link studio-pdf-card-action";
           openLink.href = viewerUrl;
           openLink.target = "_blank";
           openLink.rel = "noopener noreferrer";
           openLink.textContent = "Open PDF";
-          header.appendChild(openLink);
+          actions.appendChild(openLink);
+
+          header.appendChild(actions);
         }
         card.appendChild(header);
 
@@ -3768,7 +4263,7 @@
         return card;
       }
 
-      function renderStudioPdfBlocksInElement(targetEl, blocks) {
+      function renderStudioPdfBlocksInElement(targetEl, blocks, useEditorResourceContext) {
         if (!targetEl || !Array.isArray(blocks) || blocks.length === 0) return;
         const candidates = Array.from(targetEl.querySelectorAll("p, pre, div"));
         blocks.forEach((block) => {
@@ -3776,7 +4271,7 @@
           if (!placeholder) return;
           const match = candidates.find((el) => String(el.textContent || "").trim() === placeholder);
           if (match && match.parentNode) {
-            match.replaceWith(createStudioPdfCard(block));
+            match.replaceWith(createStudioPdfCard(block, useEditorResourceContext));
           }
         });
       }
@@ -4526,6 +5021,10 @@
           setReplJournalCollapsed(!replJournalCollapsed);
           return;
         }
+        if (action === "mirror-toggle") {
+          setReplMirrorCollapsed(!replMirrorCollapsed);
+          return;
+        }
         if (action === "load-journal") {
           loadReplJournalIntoEditor();
           return;
@@ -4797,6 +5296,22 @@
         return "";
       }
 
+      async function fetchWithTimeout(url, options, timeoutMs, timeoutLabel) {
+        if (typeof AbortController === "undefined") return fetch(url, options);
+        const controller = new AbortController();
+        const timer = window.setTimeout(() => controller.abort(), Math.max(1000, Number(timeoutMs) || PDF_EXPORT_FETCH_TIMEOUT_MS));
+        try {
+          return await fetch(url, { ...(options || {}), signal: controller.signal });
+        } catch (error) {
+          if (error && error.name === "AbortError") {
+            throw new Error((timeoutLabel || "Request") + " timed out. Try a smaller export or check the PDF toolchain.");
+          }
+          throw error;
+        } finally {
+          window.clearTimeout(timer);
+        }
+      }
+
       async function exportRightPanePdf() {
         if (uiBusy || previewExportInProgress) {
           setStatus("Studio is busy.", "warning");
@@ -4812,11 +5327,11 @@
         const exportingReplJournal = rightView === "repl";
         const rightPaneShowsPreview = rightView === "preview" || rightView === "editor-preview";
         if (!rightPaneShowsPreview && !exportingReplJournal) {
-          setStatus("Switch right pane to Response (Preview), Editor (Preview), or REPL journal to export PDF.", "warning");
+          setStatus("Switch right pane to Response (Preview), Editor (Preview), or REPL Studio to export PDF.", "warning");
           return;
         }
         if (exportingReplJournal && !replJournalEntries.length) {
-          setStatus("No REPL journal entries to export yet.", "warning");
+          setStatus("No REPL Studio entries to export yet.", "warning");
           return;
         }
 
@@ -4844,7 +5359,7 @@
         const isLatex = isEditorPreview
           ? editorPdfLanguage === "latex"
           : /\\documentclass\b|\\begin\{document\}/.test(markdown);
-        let filenameHint = exportingReplJournal ? "studio-repl-journal.pdf" : (isEditorPreview ? "studio-editor-preview.pdf" : "studio-response-preview.pdf");
+        let filenameHint = exportingReplJournal ? "repl-studio.pdf" : (isEditorPreview ? "studio-editor-preview.pdf" : "studio-response-preview.pdf");
         if (sourcePath) {
           const baseName = sourcePath.split(/[\\/]/).pop() || "studio";
           const stem = baseName.replace(/\.[^.]+$/, "") || "studio";
@@ -4856,7 +5371,7 @@
         setStatus("Exporting PDF…", "warning");
 
         try {
-          const response = await fetch("/export-pdf?token=" + encodeURIComponent(token), {
+          const response = await fetchWithTimeout("/export-pdf?token=" + encodeURIComponent(token), {
             method: "POST",
             headers: {
               "Content-Type": "application/json",
@@ -4869,7 +5384,7 @@
               editorPdfLanguage: editorPdfLanguage,
               filenameHint: filenameHint,
             }),
-          });
+          }, PDF_EXPORT_FETCH_TIMEOUT_MS, "PDF export");
 
           const contentType = String(response.headers.get("content-type") || "").toLowerCase();
           if (!response.ok) {
@@ -4984,11 +5499,11 @@
         const exportingReplJournal = rightView === "repl";
         const rightPaneShowsPreview = rightView === "preview" || rightView === "editor-preview";
         if (!rightPaneShowsPreview && !exportingReplJournal) {
-          setStatus("Switch right pane to Response (Preview), Editor (Preview), or REPL journal to export HTML.", "warning");
+          setStatus("Switch right pane to Response (Preview), Editor (Preview), or REPL Studio to export HTML.", "warning");
           return;
         }
         if (exportingReplJournal && !replJournalEntries.length) {
-          setStatus("No REPL journal entries to export yet.", "warning");
+          setStatus("No REPL Studio entries to export yet.", "warning");
           return;
         }
 
@@ -5009,8 +5524,8 @@
         const isLatex = htmlArtifactSource ? false : (isEditorPreview
           ? editorHtmlLanguage === "latex"
           : /\\documentclass\b|\\begin\{document\}/.test(markdown));
-        let filenameHint = exportingReplJournal ? "studio-repl-journal.html" : (isEditorPreview ? "studio-editor-preview.html" : "studio-response-preview.html");
-        let titleHint = exportingReplJournal ? "Studio REPL journal" : (isEditorPreview ? "Studio editor preview" : "Studio response preview");
+        let filenameHint = exportingReplJournal ? "repl-studio.html" : (isEditorPreview ? "studio-editor-preview.html" : "studio-response-preview.html");
+        let titleHint = exportingReplJournal ? "REPL Studio" : (isEditorPreview ? "Studio editor preview" : "Studio response preview");
         if (sourcePath) {
           const baseName = sourcePath.split(/[\\/]/).pop() || "studio";
           const stem = baseName.replace(/\.[^.]+$/, "") || "studio";
@@ -5023,7 +5538,7 @@
         setStatus("Exporting HTML…", "warning");
 
         try {
-          const response = await fetch("/export-html?token=" + encodeURIComponent(token), {
+          const response = await fetchWithTimeout("/export-html?token=" + encodeURIComponent(token), {
             method: "POST",
             headers: {
               "Content-Type": "application/json",
@@ -5037,7 +5552,7 @@
               filenameHint: filenameHint,
               title: titleHint,
             }),
-          });
+          }, HTML_EXPORT_FETCH_TIMEOUT_MS, "HTML export");
 
           const contentType = String(response.headers.get("content-type") || "").toLowerCase();
           if (!response.ok) {
@@ -5366,7 +5881,7 @@
           clearPreviewJumpHighlight(targetEl);
           finishPreviewRender(targetEl);
           targetEl.innerHTML = sanitizeRenderedHtml(renderedHtml, markdown, previewFallbackOptions);
-          renderStudioPdfBlocksInElement(targetEl, pdfPrepared.blocks);
+          renderStudioPdfBlocksInElement(targetEl, pdfPrepared.blocks, previewingEditorText);
           applyPreviewAnnotationPlaceholdersToElement(targetEl, previewPrepared.placeholders);
           await renderAnnotationMathInElement(targetEl);
           decoratePdfEmbeds(targetEl);
@@ -5491,6 +6006,16 @@
         return remaining < 56;
       }
 
+      function isReplJournalExpanded() {
+        return rightView === "repl" && !replJournalCollapsed && replJournalEntries.length > 0;
+      }
+
+      function shouldAutoStickReplView() {
+        if (!critiqueViewEl) return true;
+        if (isReplJournalExpanded()) return shouldStickTraceToBottom();
+        return replFollow || shouldStickTraceToBottom();
+      }
+
       function formatTraceOutputSize(text) {
         const value = String(text || "");
         const chars = value.length;
@@ -5611,58 +6136,148 @@
         return "<pre class='repl-transcript repl-transcript-highlight'>" + body + "</pre>";
       }
 
-      function buildReplJournalHtml() {
+      function getReplStudioPrompt(runtime) {
+        const normalized = normalizeReplRuntime(runtime || getActiveReplRuntime());
+        if (normalized === "julia") return "julia>";
+        if (normalized === "r") return ">";
+        if (normalized === "shell") return "$";
+        if (normalized === "ghci") return "ghci>";
+        if (normalized === "clojure") return "user=>";
+        return ">>>";
+      }
+
+      function getReplStudioEntryKind(entry) {
+        if (entry.status === "note") return "Note";
+        if (entry.mode === "agent") return "Pi";
+        if (entry.mode === "literate") return "Literate";
+        return "Raw";
+      }
+
+      function buildReplStudioMeta(entry) {
+        const parts = [];
+        const kind = getReplStudioEntryKind(entry);
+        if (kind !== "Raw") parts.push(kind);
+        const time = formatReferenceTime(entry.createdAt);
+        if (time) parts.push(time);
+        if (entry.skippedChunks) parts.push("skipped " + String(entry.skippedChunks));
+        return parts.join(" · ");
+      }
+
+      function isReplStudioPromptLine(line, runtime) {
+        const source = String(line || "");
+        const normalized = normalizeReplRuntime(runtime || getActiveReplRuntime());
+        if (normalized === "python") return /^\s*(?:>>>|\.\.\.)\s?/.test(source);
+        if (normalized === "ipython") return /^\s*(?:In \[\d+\]:|\.\.\.?:)\s?/.test(source);
+        if (normalized === "julia") return /^\s*julia>\s?/.test(source);
+        if (normalized === "r") return /^\s*(?:>|\+)\s?/.test(source);
+        if (normalized === "ghci") return /^\s*(?:ghci>|Prelude>|\*?[A-Za-z0-9_.:]+>)\s?/.test(source);
+        if (normalized === "clojure") return /^\s*[A-Za-z0-9_.-]+=>\s?/.test(source);
+        return false;
+      }
+
+      function extractReplStudioBanner(transcript, runtime) {
+        const normalizedRuntime = normalizeReplRuntime(runtime || getActiveReplRuntime());
+        if (normalizedRuntime === "shell") return "";
+        const lines = String(transcript || "").replace(/\r\n/g, "\n").split("\n");
+        const bannerLines = [];
+        for (const line of lines) {
+          if (!bannerLines.length && !String(line || "").trim()) continue;
+          if (isReplStudioPromptLine(line, normalizedRuntime)) break;
+          bannerLines.push(line);
+          if (bannerLines.length >= 16) break;
+        }
+        const banner = bannerLines.join("\n").trim();
+        if (!/^(?:Python\s|IPython\s|R version\s|GHCi,\s|Clojure\s|Julia\s|julia\s)/i.test(banner)) return "";
+        return banner;
+      }
+
+      function buildReplStudioActionsHtml() {
+        if (replJournalCollapsed) return "";
+        const hasEntries = replJournalEntries.length > 0;
+        const buttons = "<button type='button' data-repl-action='load-journal'" + (hasEntries ? "" : " disabled") + ">Load in editor</button>"
+          + "<button type='button' data-repl-action='copy-journal'" + (hasEntries ? "" : " disabled") + ">Copy Markdown</button>"
+          + "<button type='button' data-repl-action='export-journal'" + (hasEntries ? "" : " disabled") + ">Export .md</button>"
+          + "<button type='button' data-repl-action='clear-journal'" + (hasEntries ? "" : " disabled") + ">Clear</button>";
+        return "<div class='repl-studio-below-actions'><div class='repl-journal-actions'>" + buttons + "</div></div>";
+      }
+
+      function buildReplJournalHtml(transcript) {
         const hasEntries = replJournalEntries.length > 0;
         const entryCount = replJournalEntries.length;
         const collapsedClass = replJournalCollapsed ? " is-collapsed" : "";
-        const actions = "<div class='repl-journal-actions'>"
-          + "<button type='button' data-repl-action='journal-toggle' aria-expanded='" + (replJournalCollapsed ? "false" : "true") + "'>" + (replJournalCollapsed ? "Show journal" : "Hide journal") + "</button>"
-          + "<button type='button' data-repl-action='load-journal'" + (hasEntries ? "" : " disabled") + ">Load in editor</button>"
-          + "<button type='button' data-repl-action='copy-journal'" + (hasEntries ? "" : " disabled") + ">Copy journal</button>"
-          + "<button type='button' data-repl-action='export-journal'" + (hasEntries ? "" : " disabled") + ">Export .md</button>"
-          + "<button type='button' data-repl-action='clear-journal'" + (hasEntries ? "" : " disabled") + ">Clear</button>"
-          + "</div>";
+        const toggleButton = "<button type='button' data-repl-action='journal-toggle' aria-expanded='" + (replJournalCollapsed ? "false" : "true") + "'>" + (replJournalCollapsed ? "Show REPL Studio" : "Hide REPL Studio") + "</button>";
+        const toggleActions = "<div class='repl-journal-actions'>" + toggleButton + "</div>";
         const summaryText = hasEntries
-          ? (entryCount + " journal entr" + (entryCount === 1 ? "y" : "ies") + ". Export is Markdown.")
-          : "Runs and notes you send from Studio will appear here.";
-        if (replJournalCollapsed || !hasEntries) {
+          ? (entryCount + " Studio entr" + (entryCount === 1 ? "y" : "ies") + ". Export is Markdown.")
+          : "Studio-sent code and notes will appear here.";
+        if (replJournalCollapsed) {
           return "<section class='repl-journal repl-journal-compact" + collapsedClass + "'>"
             + "<div class='repl-journal-compact-row'>"
-            + "<div class='repl-journal-compact-title'><span class='repl-journal-chip'>Journal</span><span>" + escapeHtml(summaryText) + "</span></div>"
-            + actions
+            + "<div class='repl-journal-compact-title'><span class='repl-journal-chip'>REPL Studio</span><span>" + escapeHtml(summaryText) + "</span></div>"
+            + "<div class='repl-journal-actions'>" + toggleButton + "</div>"
             + "</div>"
             + "</section>";
         }
         const omitted = Math.max(0, replJournalEntries.length - 12);
+        const bannerText = extractReplStudioBanner(transcript, getActiveReplRuntime());
+        const banner = bannerText
+          ? "<pre class='repl-studio-banner'>" + escapeHtml(bannerText) + "</pre>"
+          : "";
         const cards = replJournalEntries.slice(-12).map((entry) => {
-          const time = formatReferenceTime(entry.createdAt) || "journal";
-          const code = String(entry.code || "").trim()
-            ? "<div class='repl-journal-section'><div class='repl-journal-label'>Code</div><pre class='repl-journal-code response-markdown-highlight'>" + renderHighlightedReplCode(entry.code, entry.runtime) + "</pre></div>"
+          const meta = buildReplStudioMeta(entry);
+          const prompt = getReplStudioPrompt(entry.runtime);
+          const codeText = String(entry.code || "").trimEnd();
+          const proseText = String(entry.prose || "").trim();
+          const outputText = trimReplJournalOutput(entry.output || "").trimEnd();
+          const code = codeText.trim()
+            ? "<div class='repl-studio-code-row'><span class='repl-prompt repl-studio-prompt'>" + escapeHtml(prompt) + "</span><pre class='repl-studio-input'>" + renderHighlightedReplCode(codeText, entry.runtime) + "</pre></div>"
             : "";
-          const prose = String(entry.prose || "").trim()
-            ? "<div class='repl-journal-section'><div class='repl-journal-label'>Note</div><div class='repl-journal-prose'>" + escapeHtml(entry.prose) + "</div></div>"
+          const prose = proseText
+            ? "<div class='repl-studio-note'>" + escapeHtml(proseText) + "</div>"
             : "";
-          const output = String(entry.output || "").trim()
-            ? "<div class='repl-journal-section'><div class='repl-journal-label'>Output</div><pre class='repl-journal-output'>" + escapeHtml(trimReplJournalOutput(entry.output)) + "</pre></div>"
+          const output = outputText
+            ? "<div class='repl-studio-output-row'><span class='repl-studio-output-label'>Out:</span><pre class='repl-studio-output'>" + escapeHtml(outputText) + "</pre></div>"
             : "";
-          const skipped = entry.skippedChunks ? "<span class='trace-card-meta'>skipped " + escapeHtml(String(entry.skippedChunks)) + "</span>" : "";
-          return "<article class='repl-journal-card'>"
-            + "<div class='repl-journal-card-header'>"
-            + "<span class='trace-kind-badge'>" + escapeHtml(entry.mode === "literate" ? "Literate" : (entry.status === "note" ? "Note" : "Scratch")) + "</span>"
-            + "<span class='trace-card-title'>" + escapeHtml(entry.label || "REPL entry") + "</span>"
-            + "<span class='trace-card-meta'>" + escapeHtml(time) + "</span>"
-            + (entry.runtime ? "<span class='trace-card-meta'>" + escapeHtml(entry.runtime) + "</span>" : "")
-            + skipped
-            + "</div>"
+          const pending = !output && entry.status === "sending"
+            ? "<div class='repl-studio-pending'>Running…</div>"
+            : "";
+          return "<article class='repl-journal-card repl-studio-entry'>"
+            + (meta ? "<div class='repl-studio-entry-meta'>" + escapeHtml(meta) + "</div>" : "")
             + prose
             + code
-            + (output || "<div class='trace-empty-inline'>" + escapeHtml(entry.status === "note" ? "Journal note only." : "Waiting for captured output…") + "</div>")
+            + output
+            + pending
             + "</article>";
         }).join("");
+        const terminalContent = banner
+          + (hasEntries ? cards : "<div class='repl-studio-empty'>No REPL Studio entries yet. Send code from the editor, or use More → Add note (Literate send) to record prose.</div>");
         return "<section class='repl-journal'>"
-          + "<div class='repl-journal-header'><div><h3>Journal</h3><p>Side log of notes, code sends, and captured output. Separate from the live REPL transcript.</p></div>" + actions + "</div>"
+          + "<div class='repl-journal-header'><div><h3>REPL Studio</h3><p>Clean collaborative Studio REPL record. The raw tmux mirror is available below.</p></div>" + toggleActions + "</div>"
           + (omitted ? "<div class='repl-journal-omitted'>Showing latest 12 entries; " + escapeHtml(String(omitted)) + " older entries remain in export.</div>" : "")
-          + "<div class='repl-journal-list'>" + cards + "</div>"
+          + "<div class='repl-journal-list'>" + terminalContent + "</div>"
+          + "</section>";
+      }
+
+      function buildReplMirrorHtml(body, transcript) {
+        const hasTranscript = Boolean(String(transcript || "").trim());
+        const summary = hasTranscript
+          ? "Raw tmux mirror · " + formatCompactNumber(String(transcript || "").length) + " chars"
+          : "Raw tmux mirror";
+        const shouldCollapse = replMirrorCollapsed;
+        const actions = "<div class='repl-journal-actions'>"
+          + "<button type='button' data-repl-action='mirror-toggle' aria-expanded='" + (shouldCollapse ? "false" : "true") + "'>" + (shouldCollapse ? "Show mirror" : "Hide mirror") + "</button>"
+          + "</div>";
+        if (shouldCollapse) {
+          return "<section class='repl-mirror repl-mirror-compact'>"
+            + "<div class='repl-journal-compact-row'>"
+            + "<div class='repl-journal-compact-title'><span class='repl-journal-chip'>Mirror</span><span>" + escapeHtml(summary) + "</span></div>"
+            + actions
+            + "</div>"
+            + "</section>";
+        }
+        return "<section class='repl-mirror'>"
+          + "<div class='repl-journal-header'><div><h3>Raw REPL mirror</h3><p>Best-effort tmux pane mirror. Useful for directly typed commands and debugging; REPL Studio above is the cleaner record.</p></div>" + actions + "</div>"
+          + body
           + "</section>";
       }
 
@@ -5680,10 +6295,6 @@
           ? replSessions.map((session) => "<option value='" + escapeHtml(session.sessionName) + "'" + (session.sessionName === replActiveSessionName ? " selected" : "") + ">" + escapeHtml(session.label || session.sessionName) + "</option>").join("")
           : "<option value=''>No REPL sessions</option>";
         const activeSession = getActiveReplSession();
-        const statusLabel = replTmuxAvailable === false
-          ? "tmux missing"
-          : (activeSession ? "Mirroring" : "Idle");
-        const captured = replCapturedAt ? formatReferenceTime(replCapturedAt) : "";
         const transcript = trimReplTranscript(replTranscript);
         const emptyMessage = replTmuxAvailable === false
           ? "tmux is not available. Install tmux to use Studio REPL sessions."
@@ -5695,12 +6306,6 @@
         const canStopActiveSession = Boolean(activeSession && activeSession.source === "studio" && !replBusy && replTmuxAvailable !== false);
         return "<div class='repl-panel'>"
           + "<div class='repl-toolbar'>"
-          + "<div class='repl-summary'>"
-          + "<span class='trace-summary-badge'>REPL</span>"
-          + "<span class='trace-summary-status trace-status-" + (activeSession ? "running" : "idle") + "'>" + escapeHtml(statusLabel) + "</span>"
-          + (activeSession ? "<span class='trace-summary-meta'>" + escapeHtml(activeSession.sessionName) + "</span>" : "")
-          + (captured ? "<span class='trace-summary-meta'>Updated " + escapeHtml(captured) + "</span>" : "")
-          + "</div>"
           + "<div class='repl-controls'>"
           + "<label class='repl-control-label'>Runtime <select data-repl-runtime aria-label='REPL runtime'>" + runtimeOptions + "</select></label>"
           + "<button type='button' data-repl-action='start'" + (replBusy || replTmuxAvailable === false ? " disabled" : "") + " title='Start or attach to the default session for this runtime.'>Start</button>"
@@ -5711,8 +6316,8 @@
           + "<button type='button' data-repl-action='new-session'" + (replBusy || replTmuxAvailable === false ? " disabled" : "") + " title='Start a new additional session for this runtime.'>New session</button>"
           + "<button type='button' data-repl-action='stop-session'" + (canStopActiveSession ? "" : " disabled") + " title='Stop the selected Studio-owned REPL session.'>Stop session</button>"
           + "<button type='button' data-repl-action='interrupt'" + (activeSession && !replBusy ? "" : " disabled") + " title='Send Ctrl+C to the active REPL session.'>Interrupt</button>"
-          + "<button type='button' data-repl-action='run-all-chunks'" + (canSendToActiveSession ? "" : " disabled") + " title='Literate mode: send all fenced code chunks matching the active REPL runtime.'>Run all chunks</button>"
-          + "<button type='button' data-repl-action='journal-note' title='Add the selected prose/current paragraph to the literate journal without sending it to the runtime.'>Journal note</button>"
+          + "<button type='button' data-repl-action='run-all-chunks'" + (canSendToActiveSession ? "" : " disabled") + " title='Literate send: send all fenced code chunks matching the active REPL runtime.'>Run all chunks</button>"
+          + "<button type='button' data-repl-action='journal-note' title='Add the selected prose/current paragraph to REPL Studio (Literate send) without sending it to the runtime.'>Add note</button>"
           + "<button type='button' data-repl-action='refresh'>Refresh</button>"
           + "<button type='button' data-repl-action='follow'>Follow: " + (replFollow ? "On" : "Off") + "</button>"
           + "</div>"
@@ -5721,8 +6326,9 @@
           + "</div>"
           + (replMessage ? "<div class='repl-notice repl-notice-info'>" + escapeHtml(replMessage) + "</div>" : "")
           + (replError ? "<div class='repl-notice repl-notice-error'>" + escapeHtml(replError) + "</div>" : "")
-          + body
-          + buildReplJournalHtml()
+          + buildReplJournalHtml(transcript)
+          + buildReplStudioActionsHtml()
+          + buildReplMirrorHtml(body, transcript)
           + "</div>";
       }
 
@@ -5862,7 +6468,7 @@
 
       function renderReplView() {
         if (!critiqueViewEl) return;
-        const shouldStick = replFollow || shouldStickTraceToBottom();
+        const shouldStick = shouldAutoStickReplView();
         const previousScrollTop = critiqueViewEl.scrollTop;
         finishPreviewRender(critiqueViewEl);
         critiqueViewEl.innerHTML = buildReplPanelHtml();
@@ -5997,19 +6603,19 @@
           exportPdfBtn.disabled = uiBusy || previewExportInProgress || !canExportPreview;
           exportPdfBtn.textContent = previewExportInProgress
             ? "Exporting…"
-            : (exportingReplJournal ? "Export REPL journal" : "Export right preview");
+            : (exportingReplJournal ? "Export REPL Studio" : "Export right preview");
           if (rightView === "trace") {
             exportPdfBtn.title = "Working view does not support preview export.";
           } else if (exportingReplJournal && !replJournalEntries.length) {
-            exportPdfBtn.title = "No REPL journal entries to export yet.";
+            exportPdfBtn.title = "No REPL Studio entries to export yet.";
           } else if (rightView === "markdown") {
-            exportPdfBtn.title = "Switch right pane to Response (Preview), Editor (Preview), or REPL journal to export.";
+            exportPdfBtn.title = "Switch right pane to Response (Preview), Editor (Preview), or REPL Studio to export.";
           } else if (!canExportPreview) {
             exportPdfBtn.title = "Nothing to export yet.";
           } else if (isHtmlArtifactPreview) {
             exportPdfBtn.title = "This is an interactive HTML preview. Export as HTML; PDF export is not available yet.";
           } else if (exportingReplJournal) {
-            exportPdfBtn.title = "Choose PDF or HTML and export the REPL journal.";
+            exportPdfBtn.title = "Choose PDF or HTML and export REPL Studio.";
           } else {
             exportPdfBtn.title = "Choose PDF or HTML and export the current right-pane preview.";
           }
@@ -6018,20 +6624,20 @@
           exportPreviewPdfBtn.disabled = uiBusy || previewExportInProgress || !canExportPreview || isHtmlArtifactPreview;
           exportPreviewPdfBtn.title = isHtmlArtifactPreview
             ? "Interactive HTML preview PDF export is not available yet."
-            : (exportingReplJournal ? "Export the REPL journal as PDF." : "Export the current right-pane preview as PDF.");
+            : (exportingReplJournal ? "Export REPL Studio as PDF." : "Export the current right-pane preview as PDF.");
         }
         if (exportPreviewHtmlBtn) {
           exportPreviewHtmlBtn.disabled = uiBusy || previewExportInProgress || !canExportPreview;
           exportPreviewHtmlBtn.title = isHtmlArtifactPreview
             ? "Export the authored HTML preview."
-            : (exportingReplJournal ? "Export the REPL journal as standalone HTML." : "Export the current right-pane preview as standalone HTML.");
+            : (exportingReplJournal ? "Export REPL Studio as standalone HTML." : "Export the current right-pane preview as standalone HTML.");
         }
         if (exportPreviewControlsEl) {
           exportPreviewControlsEl.title = canExportPreview
             ? (exportingReplJournal
-              ? "Choose a format and export the REPL journal."
+              ? "Choose a format and export REPL Studio."
               : (isHtmlArtifactPreview ? "Export this HTML preview." : "Choose a format and export the current right-pane preview."))
-            : (exportingReplJournal ? "No REPL journal entries to export yet." : "Switch right pane to a non-empty preview before exporting.");
+            : (exportingReplJournal ? "No REPL Studio entries to export yet." : "Switch right pane to a non-empty preview before exporting.");
         }
         if (!canExportPreview || previewExportInProgress) {
           closeExportPreviewMenu();
@@ -11874,7 +12480,7 @@
           sendReplBtn.title = hasSession
             ? (replSendMode === "literate"
               ? "Literate send: selected code/prose, or the current fenced code chunk. Shortcut: Cmd/Ctrl+Shift+Enter."
-              : "Scratch send: selection, or full editor if no selection. Shortcut: Cmd/Ctrl+Shift+Enter.")
+              : "Raw send: selection, or full editor if no selection. Shortcut: Cmd/Ctrl+Shift+Enter.")
             : "Start or select a REPL session in the right pane first.";
         }
         if (replSendModeSelect) {
@@ -11883,7 +12489,7 @@
           replSendModeSelect.value = replSendMode;
           replSendModeSelect.title = replSendMode === "literate"
             ? "Literate send: Send to REPL uses the selection/current fenced code chunk."
-            : "Scratch send: Send to REPL uses the selection, or full editor if no selection.";
+            : "Raw send: Send to REPL uses the selection, or full editor if no selection.";
         }
 
         if (critiqueBtn) {
@@ -12201,8 +12807,15 @@
         }
 
         if (message.type === "repl_state") {
+          const previousTmuxAvailable = replTmuxAvailable;
+          const previousActiveSessionName = replActiveSessionName;
+          const previousTranscript = replTranscript;
+          const previousCapturedAt = replCapturedAt;
+          const previousError = replError;
+          const previousMessage = replMessage;
+          const wasBusy = replBusy;
           replTmuxAvailable = typeof message.tmuxAvailable === "boolean" ? message.tmuxAvailable : replTmuxAvailable;
-          setReplSessions(message.sessions);
+          const sessionsChanged = setReplSessions(message.sessions);
           if (typeof message.activeSessionName === "string" && message.activeSessionName.trim()) {
             setActiveReplSession(message.activeSessionName);
           }
@@ -12211,25 +12824,55 @@
           replError = typeof message.replError === "string" ? message.replError : (typeof message.captureError === "string" ? message.captureError : "");
           replMessage = typeof message.replMessage === "string" ? message.replMessage : "";
           replBusy = false;
-          syncActionButtons();
-          renderReplViewIfActive();
+          const controlsChanged = wasBusy
+            || sessionsChanged
+            || previousTmuxAvailable !== replTmuxAvailable
+            || previousActiveSessionName !== replActiveSessionName;
+          if (controlsChanged) syncActionButtons();
+          const viewChanged = controlsChanged
+            || previousTranscript !== replTranscript
+            || previousError !== replError
+            || previousMessage !== replMessage
+            || (!previousCapturedAt && replCapturedAt);
+          if (viewChanged) renderReplViewIfActive();
+          updateReferenceBadge();
+          return;
+        }
+
+        if (message.type === "repl_tool_send") {
+          if (typeof message.sessionName === "string" && message.sessionName.trim()) {
+            setActiveReplSession(message.sessionName);
+          }
+          const changed = recordReplToolSend(message);
+          if (typeof message.transcript === "string") replTranscript = trimReplTranscript(message.transcript);
+          if (typeof message.capturedAt === "number") replCapturedAt = message.capturedAt;
+          if (changed) renderReplViewIfActive({ force: true });
           updateReferenceBadge();
           return;
         }
 
         if (message.type === "repl_capture") {
+          const previousActiveSessionName = replActiveSessionName;
+          const previousTranscript = replTranscript;
+          const previousCapturedAt = replCapturedAt;
+          const previousError = replError;
+          const previousMessage = replMessage;
+          const wasBusy = replBusy;
+          let sessionsChanged = false;
           if (message.session) {
             const session = normalizeReplSession(message.session);
             if (session && !replSessions.some((candidate) => candidate.sessionName === session.sessionName)) {
               replSessions = [...replSessions, session];
+              sessionsChanged = true;
             }
           }
           if (typeof message.activeSessionName === "string" && message.activeSessionName.trim()) {
             setActiveReplSession(message.activeSessionName);
           }
+          let journalChanged = false;
           if (typeof message.transcript === "string") {
             replTranscript = trimReplTranscript(message.transcript);
-            updateActiveReplJournalEntryFromTranscript(
+            journalChanged = updateActiveReplJournalEntryFromTranscript(
               typeof message.activeSessionName === "string" && message.activeSessionName.trim() ? message.activeSessionName : replActiveSessionName,
               replTranscript
             );
@@ -12238,20 +12881,28 @@
           replError = typeof message.replError === "string" ? message.replError : "";
           if (typeof message.replMessage === "string") replMessage = message.replMessage;
           replBusy = false;
-          syncActionButtons();
-          renderReplViewIfActive();
+          const controlsChanged = wasBusy || sessionsChanged || previousActiveSessionName !== replActiveSessionName;
+          if (controlsChanged) syncActionButtons();
+          const viewChanged = controlsChanged
+            || previousTranscript !== replTranscript
+            || previousError !== replError
+            || previousMessage !== replMessage
+            || journalChanged
+            || (!previousCapturedAt && replCapturedAt);
+          if (viewChanged) renderReplViewIfActive();
           updateReferenceBadge();
           return;
         }
 
         if (message.type === "repl_send_ack") {
           replBusy = false;
-          replMessage = typeof message.message === "string" ? message.message : "Sent editor text to REPL.";
+          replMessage = "";
           replError = "";
           if (typeof message.requestId === "string") {
             replJournalEntries = replJournalEntries.map((entry) => entry.requestId === message.requestId ? { ...entry, status: "sent", updatedAt: Date.now() } : entry);
+            persistReplJournalEntries();
           }
-          setStatus(replMessage, "success");
+          setStatus("Sent to REPL.", "success");
           syncActionButtons();
           renderReplViewIfActive({ force: true });
           return;
@@ -12662,6 +13313,7 @@
             replError = typeof message.message === "string" ? message.message : "REPL request failed.";
             if (typeof message.requestId === "string") {
               replJournalEntries = replJournalEntries.map((entry) => entry.requestId === message.requestId ? { ...entry, status: "error", output: replError, updatedAt: Date.now() } : entry);
+              persistReplJournalEntries();
             }
             renderReplViewIfActive({ force: true });
           }
@@ -13584,6 +14236,12 @@
         });
       }
 
+      if (zenModeBtn) {
+        zenModeBtn.addEventListener("click", () => {
+          setStudioZenMode(!studioZenModeEnabled);
+        });
+      }
+
       sendRunBtn.addEventListener("click", () => {
         if (getAbortablePendingKind() === "direct") {
           requestCancelForPendingRequest("direct");
@@ -13765,6 +14423,13 @@
         });
       }
 
+      document.addEventListener("click", (event) => {
+        const target = event.target;
+        const focusBtn = target instanceof Element ? target.closest(".studio-pdf-card-focus") : null;
+        if (!focusBtn) return;
+        handleStudioPdfFocusButtonClick(event);
+      }, true);
+
       document.addEventListener("click", (event) => {
         const target = event.target;
         const copyBtn = target instanceof Element ? target.closest(".studio-copy-block-btn") : null;