@monster-orange/den 0.4.16 → 0.4.18

package/src/ui/server/public/environments.html

@@ -145,6 +145,21 @@
       .dot.slow {
         background: var(--warn);
       }
+      /* 0.4.17: a check in flight; its row is there before it lands. */
+      .dot.checking {
+        animation: env-pulse 1.2s ease-in-out infinite;
+      }
+      @keyframes env-pulse {
+        50% {
+          opacity: 0.25;
+        }
+      }
+      @media (prefers-reduced-motion: reduce) {
+        .dot.checking {
+          animation: none;
+          opacity: 0.5;
+        }
+      }
       .empty {
         color: var(--muted);
         padding: 24px 0;
@@ -212,13 +227,8 @@
     <main id="den-content">
     <div class="controls">
       <button id="refresh">Re-check</button>
-      <label class="note"
-        >org
-        <select id="org-filter">
-          <option value="">all</option>
-        </select></label
-      >
-      <span class="note" id="status">checking…</span>
+      <span id="view-note"></span>
+      <span class="note" id="status" aria-live="polite">checking…</span>
       <span class="note"
         >Each repo's <code>__DEN_MANIFEST_YML__</code> health checks, run
         against every environment. ↗ opens the service in a new tab. beta and
@@ -247,6 +257,7 @@
         initLogBadge,
         initWorkspacePill,
       } from "/header.js";
+      import { viewNoteHtml, viewQuery, viewScope } from "/view-scope.js";
       void Promise.all([
         initHealth(),
         initWorkspacePill(),
@@ -306,12 +317,13 @@
             : r.ok === false
               ? "err"
               : "";
-        const what = r.status
-          ? String(r.status)
-          : r.ok
-            ? "up"
-            : r.error || "down";
-        const title = [r.label, checked, r.error].filter(Boolean).join(" — ");
+        // A check that ran out of time says how long it waited (0.4.17).
+        const why =
+          r.error === "timeout" && r.ms
+            ? `timed out after ${Math.max(1, Math.round(r.ms / 1000))} s`
+            : r.error;
+        const what = r.status ? String(r.status) : r.ok ? "up" : why || "down";
+        const title = [r.label, checked, why].filter(Boolean).join(" — ");
         const link =
           r.url && /^https?:/.test(r.url)
             ? `<a href="${esc(r.url)}" target="_blank" rel="noopener" title="${esc(title)}">${esc(what)}</a>`
@@ -320,157 +332,228 @@
         return `<span class="cell"><span class="dot ${cls}"></span>${link}${ms}${openLink(r.openUrl, `${r.repo}/${r.service}`)}</span>`;
       }
 
-      async function load(refresh = false) {
-        const status = document.getElementById("status");
-        status.textContent = "checking…";
-        const envs = await fetch("/api/environments")
-          .then((r) => r.json())
-          .then((v) => (Array.isArray(v) ? v : ["local"]))
-          .catch(() => ["local"]);
-        const [results, orgs, relCfg] = await Promise.all([
-          Promise.all(
-            envs.map((env) =>
-              fetch(
-                `/api/health?env=${encodeURIComponent(env)}${refresh ? "&refresh=1" : ""}`,
+      // 0.4.17: every row at once, each cell "checking" until its result
+      // streams in (/api/health/stream, one per environment, in parallel);
+      // the page's controls never wait. The rows are the View's (the top
+      // bar's Org and Workspace): this page doesn't filter by org itself.
+      const checking = () =>
+        '<span class="cell" data-checking><span class="dot checking"></span><span class="none">checking…</span></span>';
+      const st = {
+        gen: 0,
+        envs: [],
+        rows: new Map(),
+        orgInfo: {},
+        release: {},
+        streams: [],
+        pending: new Set(),
+        view: { scope: "all", inView: [] },
+      };
+
+      function stopStreams() {
+        for (const es of st.streams) es.close();
+        st.streams = [];
+      }
+
+      function sortedRows() {
+        const orgRank = (o) => {
+          const i = Object.keys(st.orgInfo).indexOf(o);
+          return i < 0 ? 1e6 : i;
+        };
+        return [...st.rows.values()].sort(
+          (a, b) =>
+            orgRank(a.org) - orgRank(b.org) ||
+            a.idx - b.idx ||
+            a.service.localeCompare(b.service),
+        );
+      }
+
+      function cellHtml(row, env) {
+        const r = row.byEnv[env];
+        if (r) return cell(r);
+        return st.pending.has(env) ? checking() : '<span class="none">—</span>';
+      }
+
+      function render() {
+        const envs = st.envs;
+        document.getElementById("head").innerHTML =
+          `<tr><th>Service</th>${envs.map((e) => `<th>${esc(e)}</th>`).join("")}</tr>`;
+        const body = document.getElementById("body");
+        const sorted = sortedRows();
+        if (!sorted.length) {
+          body.innerHTML = st.pending.size
+            ? `<tr><td class="empty" colspan="${envs.length + 1}">Loading…</td></tr>`
+            : `<tr><td class="empty" colspan="${envs.length + 1}">No services in view have a __DEN_MANIFEST_YML__ yet.</td></tr>`;
+          return;
+        }
+        let html = "",
+          lastRepo = null,
+          lastOrg = null;
+        for (const row of sorted) {
+          if (row.org !== lastOrg) {
+            const o = st.orgInfo[row.org];
+            html += `<tr class="org" style="${o?.color ? `--org:${esc(o.color)}` : ""}"><td colspan="${envs.length + 1}"><span class="swatch"></span>${esc(o?.label || row.org || "no org")}</td></tr>`;
+            lastOrg = row.org;
+          }
+          if (row.repo !== lastRepo) {
+            const entry =
+              sorted.find((r) => r.repo === row.repo && r.isEntrypoint) || row;
+            html += `<tr class="repo" data-repo="${esc(row.repo)}"><td>${esc(row.repo)}</td>${envs
+              .map(
+                (e) =>
+                  `<td class="rel">${relCell(st.release[row.repo]?.[e])}${openLink(entry.byEnv[e]?.openUrl, `${row.repo} on ${e}`)}</td>`,
               )
-                .then((r) => r.json())
-                .catch(() => []),
-            ),
-          ),
+              .join("")}</tr>`;
+            lastRepo = row.repo;
+          }
+          html += `<tr data-svc="${esc(row.repo)}/${esc(row.service)}"><td class="svc">${esc(row.service)}</td>${envs.map((e) => `<td data-env="${esc(e)}">${cellHtml(row, e)}</td>`).join("")}</tr>`;
+        }
+        body.innerHTML = html;
+      }
+
+      // Results land many per second: paint once per frame.
+      let painting = false;
+      function paintSoon() {
+        if (painting) return;
+        painting = true;
+        requestAnimationFrame(() => {
+          painting = false;
+          render();
+          paintStatus();
+        });
+      }
+
+      function paintStatus() {
+        const status = document.getElementById("status");
+        const all = [...st.rows.values()].flatMap((r) => Object.values(r.byEnv));
+        const down = all.filter((r) => r.ok === false).length;
+        status.textContent = st.pending.size
+          ? `checking ${st.pending.size} environment${st.pending.size === 1 ? "" : "s"}…${down ? ` · ${down} failing so far` : ""}`
+          : `checked ${new Date().toLocaleTimeString()} · ${down ? down + " failing" : "nothing failing"}`;
+      }
+
+      function upsert(r, env, orgOfRepo) {
+        const key = `${r.repo}/${r.service}`;
+        let row = st.rows.get(key);
+        if (!row) {
+          row = {
+            repo: r.repo,
+            service: r.service,
+            label: r.label,
+            org: orgOfRepo[r.repo] || "",
+            isEntrypoint: !!r.isEntrypoint,
+            idx: r.idx ?? 1e9,
+            seeded: false,
+            byEnv: {},
+          };
+          st.rows.set(key, row);
+        }
+        if (!row.seeded && r.idx != null) row.idx = Math.min(row.idx, r.idx);
+        if (r.isEntrypoint) row.isEntrypoint = true;
+        if (env) row.byEnv[env] = r;
+        return row;
+      }
+
+      async function load(refresh = false) {
+        const gen = ++st.gen;
+        stopStreams();
+        st.view = await viewScope();
+        document.getElementById("view-note").innerHTML = viewNoteHtml(st.view);
+        const q = viewQuery(st.view);
+        const [envs, orgs, relCfg, seed] = await Promise.all([
+          fetch("/api/environments")
+            .then((r) => r.json())
+            .then((v) => (Array.isArray(v) && v.length ? v : ["local"]))
+            .catch(() => ["local"]),
           // The org of every repo comes from the catalog (/api/orgs?repos=1):
-          // /api/health rows never carry one, so reading r.org put every
-          // service under "no org" (0.3.0-dev.14).
+          // /api/health rows never carry one (0.3.0-dev.14).
           fetch("/api/orgs?repos=1")
             .then((r) => r.json())
             .catch(() => ({ orgs: [], repos: {} })),
           fetch("/api/release/config")
             .then((r) => r.json())
             .catch(() => ({ environments: [] })),
+          // The rows, before any check: the View's services.
+          fetch(`/api/services?env=local${q}`)
+            .then((r) => (r.ok ? r.json() : []))
+            .catch(() => []),
         ]);
-        // Deployed commit per repo for the release environments (beta, prod).
-        const relEnvs = envs.filter((e) =>
-          (relCfg.environments || []).includes(e),
-        );
-        const release = {};
-        await Promise.all(
-          relEnvs.map(async (e) => {
-            const r = await fetch(
-              `/api/release/status?env=${encodeURIComponent(e)}${refresh ? "&refresh=1" : ""}`,
-            )
-              .then((x) => (x.ok ? x.json() : null))
-              .catch(() => null);
-            for (const row of r?.rows || [])
-              (release[row.repo] ??= {})[e] = row;
-          }),
-        );
-        const orgInfo = Object.fromEntries(
+        if (gen !== st.gen) return;
+        st.envs = envs;
+        st.orgInfo = Object.fromEntries(
           (Array.isArray(orgs?.orgs) ? orgs.orgs : []).map((o) => [o.id, o]),
         );
         const orgOfRepo = orgs?.repos ?? {};
-        const filterSel = document.getElementById("org-filter");
-        const saved = (() => {
-          try {
-            return localStorage.getItem("__DEN_CLI__-env-org") || "";
-          } catch {
-            return "";
-          }
-        })();
-        filterSel.innerHTML =
-          '<option value="">all</option>' +
-          Object.values(orgInfo)
-            .map((o) => `<option value="${esc(o.id)}">${esc(o.label)}</option>`)
-            .join("");
-        filterSel.value = orgInfo[filterSel.dataset.value ?? saved]
-          ? (filterSel.dataset.value ?? saved)
-          : "";
-        const orgFilter = filterSel.value;
-
-        // One row per service, in the dependency-graph order the server ranks
-        // (idx); grouped under its repo.
-        const rows = new Map();
-        results.forEach((list, i) => {
-          for (const r of Array.isArray(list) ? list : []) {
-            const key = `${r.repo}/${r.service}`;
-            const row = rows.get(key) ?? {
-              repo: r.repo,
-              service: r.service,
-              label: r.label,
-              org: orgOfRepo[r.repo] || "",
-              isEntrypoint: r.isEntrypoint,
-              idx: r.idx ?? 1e9,
-              byEnv: {},
-            };
-            row.idx = Math.min(row.idx, r.idx ?? 1e9);
-            row.byEnv[envs[i]] = r;
-            rows.set(key, row);
+        // Every cell checks again; the rows stay.
+        for (const row of st.rows.values()) row.byEnv = {};
+        (Array.isArray(seed) ? seed : []).forEach((s, i) => {
+          if (!s?.repo || !s?.service) return;
+          const row = upsert(
+            { repo: s.repo, service: s.service, isEntrypoint: s.isEntrypoint },
+            null,
+            orgOfRepo,
+          );
+          if (!row.seeded) {
+            row.seeded = true;
+            row.idx = i;
           }
         });
-        // Org first (configured order), then the graph order within it.
-        const orgRank = (o) => {
-          const i = Object.keys(orgInfo).indexOf(o);
-          return i < 0 ? 1e6 : i;
-        };
-        const sorted = [...rows.values()]
-          .filter((r) => !orgFilter || r.org === orgFilter)
-          .sort(
-            (a, b) =>
-              orgRank(a.org) - orgRank(b.org) ||
-              a.idx - b.idx ||
-              a.service.localeCompare(b.service),
+        st.pending = new Set(envs);
+        render();
+        paintStatus();
+        for (const env of envs) {
+          const es = new EventSource(
+            `/api/health/stream?env=${encodeURIComponent(env)}${q}${refresh ? "&refresh=1" : ""}`,
           );
-
-        document.getElementById("head").innerHTML =
-          `<tr><th>Service</th>${envs.map((e) => `<th>${esc(e)}</th>`).join("")}</tr>`;
-        const body = document.getElementById("body");
-        if (!sorted.length) {
-          body.innerHTML = `<tr><td class="empty" colspan="${envs.length + 1}">No services in the active workspace have a __DEN_MANIFEST_YML__ yet.</td></tr>`;
-        } else {
-          let html = "",
-            lastRepo = null,
-            lastOrg = null;
-          for (const row of sorted) {
-            if (row.org !== lastOrg) {
-              const o = orgInfo[row.org];
-              html += `<tr class="org" style="${o?.color ? `--org:${esc(o.color)}` : ""}"><td colspan="${envs.length + 1}"><span class="swatch"></span>${esc(o?.label || row.org || "no org")}</td></tr>`;
-              lastOrg = row.org;
-            }
-            if (row.repo !== lastRepo) {
-              const entry =
-                sorted.find((r) => r.repo === row.repo && r.isEntrypoint) ||
-                row;
-              html += `<tr class="repo"><td>${esc(row.repo)}</td>${envs
-                .map(
-                  (e) =>
-                    `<td class="rel">${relCell(release[row.repo]?.[e])}${openLink(entry.byEnv[e]?.openUrl, `${row.repo} on ${e}`)}</td>`,
-                )
-                .join("")}</tr>`;
-              lastRepo = row.repo;
+          st.streams.push(es);
+          const finish = () => {
+            es.close();
+            if (gen !== st.gen) return;
+            st.pending.delete(env);
+            if (!st.pending.size)
+              // Seeded rows no check reached (a module, a library): gone.
+              for (const [k, row] of st.rows)
+                if (!Object.keys(row.byEnv).length) st.rows.delete(k);
+            paintSoon();
+          };
+          es.onmessage = (e) => {
+            if (gen !== st.gen) return es.close();
+            let m = null;
+            try {
+              m = JSON.parse(e.data);
+            } catch {
+              return;
             }
-            html += `<tr><td class="svc">${esc(row.service)}</td>${envs.map((e) => `<td>${cell(row.byEnv[e])}</td>`).join("")}</tr>`;
-          }
-          body.innerHTML = html;
+            if (m?.type === "result" && m.result) {
+              upsert(m.result, env, orgOfRepo);
+              paintSoon();
+            } else if (m?.type === "done" || m?.type === "error") finish();
+          };
+          es.onerror = finish;
         }
-        const down = sorted
-          .flatMap((r) => Object.values(r.byEnv))
-          .filter((r) => r.ok === false).length;
-        status.textContent = `checked ${new Date().toLocaleTimeString()} · ${down ? down + " failing" : "nothing failing"}`;
+        // Deployed commit per repo for the release environments, as each
+        // lands; nothing waits on it.
+        for (const e of envs.filter((x) =>
+          (relCfg.environments || []).includes(x),
+        ))
+          fetch(
+            `/api/release/status?env=${encodeURIComponent(e)}${refresh ? "&refresh=1" : ""}`,
+          )
+            .then((x) => (x.ok ? x.json() : null))
+            .catch(() => null)
+            .then((r) => {
+              if (gen !== st.gen) return;
+              for (const row of r?.rows || [])
+                (st.release[row.repo] ??= {})[e] = row;
+              paintSoon();
+            });
       }
 
       document
         .getElementById("refresh")
         .addEventListener("click", () => load(true));
-      document.getElementById("org-filter").addEventListener("change", (e) => {
-        e.target.dataset.value = e.target.value;
-        try {
-          localStorage.setItem("__DEN_CLI__-env-org", e.target.value);
-        } catch {
-          /* private window */
-        }
-        load();
-      });
       load();
       setInterval(() => {
-        if (!document.hidden) load();
+        if (!document.hidden && !st.pending.size) load();
       }, POLL_MS);
     </script>
       </main>

package/src/ui/server/public/graph.css

@@ -331,6 +331,46 @@
 .dg-card .r1 .dg-dot {
   margin-top: 5px;
 }
+/* The favourite star (0.4.17): top-right, the shell's pins. */
+.dg-star {
+  margin-left: auto;
+  flex: none;
+  background: none;
+  border: 1px solid transparent;
+  border-radius: 6px;
+  color: var(--faint);
+  cursor: pointer;
+  font-size: 13px;
+  line-height: 1.2;
+  padding: 0 3px;
+}
+.dg-star:hover,
+.dg-star[aria-pressed="true"] {
+  color: var(--accent-text);
+  background: var(--sunken);
+}
+/* 0.4.18: ⋯ opens the service panel (svc-panel.js), as a pinned row does.
+   It sits before the star, which stays top-right. */
+.dg-svp {
+  margin-left: auto;
+  flex: none;
+  background: none;
+  border: 1px solid transparent;
+  border-radius: 6px;
+  color: var(--faint);
+  cursor: pointer;
+  font-size: 13px;
+  line-height: 1;
+  padding: 1px 4px;
+}
+.dg-svp + .dg-star {
+  margin-left: 0;
+}
+.dg-svp:hover,
+.dg-svp[aria-expanded="true"] {
+  color: var(--accent-text);
+  background: var(--sunken);
+}
 .dg-dot {
   display: inline-block;
   width: 9px;

package/src/ui/server/public/graph.js

@@ -256,9 +256,26 @@ export function mountGraph(el, data, pageHooks) {
       st.fitted = true;
     } else applyView();
     if (st.sel) openDetail(st.sel, true);
+    focusFromHash();
   });
 }
 
+/** 0.4.18: the panel's Open in Graph (#focus=<repo> or <repo>/<service>), once. */
+let hashFocused = false;
+function focusFromHash() {
+  if (hashFocused || !location.hash.startsWith("#focus=")) return;
+  let id = "";
+  try {
+    id = decodeURIComponent(location.hash.slice(7));
+  } catch {
+    return;
+  }
+  if (M.byId.has(id)) focusOn({ id });
+  else if (M.byRepo.has(id)) focusOn({ repo: id, viaRepo: true });
+  else return;
+  hashFocused = true;
+}
+
 /** A /api/health update: refresh dots, health lines and the open panel in place. */
 export function graphHealth(results) {
   if (!M || !host?.isConnected) return;
@@ -501,15 +518,38 @@ function repoGroupEl(r, x, y, w, h) {
   el.innerHTML = `<div class="dg-ghead"><button class="dg-gname" data-goto-repo-panel="${esc(r)}" title="Repo details">${esc(r)}</button><span class="meta">${esc(branch)}${svcs.length} services</span><button class="dg-lnk" data-collapse="${esc(r)}">Collapse</button></div>`;
   return place(el, x, y, w, h);
 }
+/** The favourite star (0.4.17): the shell's pins, the same store as Services. */
+function starBtn(id) {
+  const sh = window.denShell;
+  if (!sh?.isPinned) return "";
+  const on = sh.isPinned(id);
+  const label = sh.t
+    ? sh.t(on ? "act.unpinX" : "act.pinX", { s: id })
+    : `${on ? "Unpin" : "Pin"} ${id}`;
+  return `<button type="button" class="dg-star" data-pin-toggle="${esc(id)}" aria-pressed="${on}" aria-label="${esc(label)}" title="${esc(label)}">${on ? "★" : "☆"}</button>`;
+}
+/** 0.4.18: ⋯ opens the service's quick panel (svc-panel.js), the rail's. */
+function svpBtn(id) {
+  const sh = window.denShell;
+  if (!sh?.openServicePanel) return "";
+  const label = sh.t ? sh.t("svp.more", { s: id }) : id;
+  return `<button type="button" class="dg-svp" data-svpanel-open="${esc(id)}" aria-haspopup="dialog" aria-expanded="false" aria-label="${esc(label)}" title="${esc(label)}">⋯</button>`;
+}
+/** A card's actions: the first three, and Visit ↗ always when it has a URL. */
+function cardActs(s) {
+  const acts = actionsFor(s);
+  const list = [acts.primary, ...acts.common].filter(Boolean);
+  const top = list.slice(0, 3);
+  const visit = list.find((a) => a.id === "open");
+  if (visit && !top.includes(visit)) top[top.length - 1] = visit;
+  return top;
+}
 function cardInner(s) {
   const showPlace = s.runs === "remote" || M.mixed;
-  const acts = actionsFor(s);
-  return `<div class="r1"><span class="dg-dot ${status(s)}" title="${statusWord(s)}"></span><span class="nm" title="${esc(s.name)}">${esc(s.name)}</span>${showPlace ? `<span class="dg-badge ${s.runs}">${esc(placementText(s))}</span>` : ""}</div>
+  return `<div class="r1"><span class="dg-dot ${status(s)}" title="${statusWord(s)}"></span><span class="nm" title="${esc(s.name)}">${esc(s.name)}</span>${showPlace ? `<span class="dg-badge ${s.runs}">${esc(placementText(s))}</span>` : ""}${svpBtn(s.id)}${starBtn(s.id)}</div>
     <div class="r2" title="${esc(s.id)}${s.inWorkspaces.length > 1 ? `: in ${esc(s.inWorkspaces.join(", "))}` : ""}">${esc(s.repo + ownersLabel(s.inWorkspaces))}</div>
     <div class="r3">${s.entry ? '<span class="dg-tag entry">entry</span>' : ""}${s.infra ? '<span class="dg-tag">infra</span>' : ""}${s.missing.length ? `<span class="dg-tag warn" title="Missing: ${esc(s.missing.join(", "))}">⚠ missing</span>` : ""}${!s.cloned ? '<span class="dg-tag warn">not cloned</span>' : ""}<span class="h ${status(s)}">${esc(healthLine(s))}</span></div>
-    <div class="dg-acts">${[acts.primary, ...acts.common]
-      .filter(Boolean)
-      .slice(0, 3)
+    <div class="dg-acts">${cardActs(s)
       .map((a) => actBtn(a, s, "sm"))
       .join("")}</div>`;
 }
@@ -915,7 +955,8 @@ function onClick(e) {
     const id = pinT.dataset.pinToggle;
     if (window.denShell.isPinned(id)) window.denShell.unpin(id);
     else window.denShell.pin(id);
-    openDetail(st.sel, true);
+    // A card's star (0.4.17) only pins: it doesn't open the card.
+    if (!pinT.closest(".dg-card")) openDetail(st.sel, true);
     return;
   }
   if (t.closest("[data-popout]")) {

package/src/ui/server/public/header.js

@@ -17,6 +17,7 @@ import { changelogView } from "./changelog-view.js";
 import { buildRow, healthCycle, paintGate, shellHealth } from "./health-fit.js";
 import { initTopbar, paintChecking, paintStatus } from "./topbar.js";
 import { registerDenSettings } from "./settings-registry.js";
+import { initServicePanel } from "./svc-panel.js";
 
 /** The shell's message lookup (R19; shell.js MESSAGES). */
 const t = (key, vars) =>
@@ -54,6 +55,12 @@ if (typeof document !== "undefined")
     healthEnv: () => healthEnv(),
     storeOpenLog: (repo, service, env) => storeOpenLog(repo, service, env),
   });
+// 0.4.18: the service panel (rail pins, Graph ⋯, Services names).
+if (typeof document !== "undefined")
+  initServicePanel({
+    currentEnv: () => currentEnv(),
+    refreshHealth: (env, opts) => refreshHealth(env, opts),
+  });
 
 // 5s between polls — measured from each poll's COMPLETION (schedulePoll
 // re-arms after renderHealth resolves), so slow probes can't overlap.

package/src/ui/server/public/i18n/es.js

@@ -53,6 +53,43 @@
     "b.down.one": "{n} caído",
     "act.pin": "Fijar",
     "act.unpin": "Quitar",
+    "act.visit": "Visitar",
+    "act.visitX": "Visitar {s} (se abre en una pestaña nueva)",
+    // 0.4.18: the service panel (svc-panel.js) and Start's Folder.
+    "svp.label": "{s}: panel rápido",
+    "svp.more": "Panel rápido de {s}",
+    "svp.notRunning": "No está en marcha",
+    "svp.up": "activo {d}",
+    "svp.upNow": "activo",
+    "svp.down": "caído: {c}",
+    "svp.downNone": "caído",
+    "svp.starting": "iniciando…",
+    "svp.stopped": "detenido",
+    "svp.noUrl": "Sin URL",
+    "svp.start": "Iniciar",
+    "svp.stop": "Detener",
+    "svp.restart": "Reiniciar",
+    "svp.logs": "Registros",
+    "svp.stopping": "Deteniendo {s}",
+    "svp.tests": "Última ejecución de pruebas",
+    "svp.testsOk": "✓ {t}",
+    "svp.testsBad": "✗ falló {t}",
+    "svp.testsRun": "en curso…",
+    "svp.testsNone": "—",
+    "svp.runTests": "Ejecutar pruebas",
+    "svp.testsDone": "Pruebas superadas: {s}",
+    "svp.testsFailed": "Pruebas fallidas: {s}",
+    "svp.agents": "Agentes",
+    "svp.noAgents": "No hay agentes en este repo.",
+    "svp.open": "Abrir",
+    "svp.openAg": "Abrir {s}",
+    "svp.startHere": "Iniciar agente aquí",
+    "svp.openSvc": "Abrir en Servicios",
+    "svp.openGraph": "Abrir en Grafo",
+    "svp.close": "Cerrar",
+    "ag.new.folder": "Carpeta (opcional)",
+    "ag.new.folderHelp":
+      "Dentro de la carpeta del espacio de trabajo. Vacío: la suya.",
     "act.pinX": "Fijar {s}",
     "act.unpinX": "Quitar {s}",
     "toast.pinned": "{s} fijado",
@@ -109,6 +146,8 @@
     "kind.app": "App",
     "kind.action": "Acción",
     "kind.setting": "Ajuste",
+    "kind.workspace": "Espacio de trabajo",
+    "pal.goWs": "Ir al espacio de trabajo {ws}",
     "pal.repos": "{n} repositorios",
     "pal.repos.one": "{n} repositorio",
     "pal.restart": "Reiniciar {s}",
@@ -516,6 +555,10 @@
       "Está trabajando. ¿Cambiar después de este turno o detenerlo ahora?",
     "ag.pc.after": "Después de este turno",
     "ag.pc.now": "Detenerlo ahora",
+    "ag.pc.fresh":
+      "{id} ahora es {p}: aún no hay nada que reanudar; se inició de nuevo (mismo id de conversación, carpeta y alcance)",
+    "ag.freshLine":
+      "Aún no hay nada que reanudar; se inició de nuevo (mismo id de conversación, carpeta y alcance)",
     "ag.pc.done": "{id} ahora es {p}",
     "ag.pc.pending": "{id} pasará a ser {p} cuando termine este turno",
     "ag.more": "Más para {id}",
@@ -669,6 +712,9 @@
       "Esta sesión ha terminado. Su registro se queda hasta que se reanude o se elimine.",
     "ag.switched": "Cambiado a {p}",
     "ag.exitedLine": "[la sesión terminó{code}]",
+    "ag.refusedUnknown": "el servidor rechazó la terminal",
+    "ag.refusedStatus": "el servidor rechazó la terminal ({status})",
+    "ag.goWs": "Abrir {ws} en Espacios de trabajo",
     "ag.lost": "[desconectado: {why}]",
     "ag.reconnect": "Reconectar",
     "ag.noBackend":