daily-focus 1.1.1-dev.1 → 1.1.1-dev.3

package/SETUP.md

@@ -98,7 +98,7 @@ under **Morning agent** in the settings. In `.env` or the environment that is:
 DAILY_FOCUS_AGENT=codex
 ```
 
-Each scheduled morning at 07:00 local time the dashboard starts the agent through
+Each scheduled morning at 07:00 your time the dashboard starts the agent through
 that CLI, headless, in the store, and the brief appears when it finishes. Set
 `DAILY_FOCUS_AGENT_AT` to another time, such as `06:30`. The dashboard has to be
 running at the time; if it wasn't, it runs the agent as soon as it is started that
@@ -110,6 +110,15 @@ otherwise; see [Match your working week](#match-your-working-week).
 refresh icon still does. A new store's first brief always comes from the setup
 steps' button, so the clock never runs the agent before you've told it where to look.
 
+"Your time" is the time zone of the browser you last looked at the dashboard
+in. The page tells the dashboard when it loads, reconnects or comes back into view,
+and when the browser's own zone changes, so a dashboard on a Mac at home follows
+you abroad as soon as you open it there. The dashboard also follows the Mac it runs
+on when that Mac changes time zones, which covers the morning after a flight before
+you have opened it. Whichever changed last wins, and the dashboard remembers it
+across restarts. Every date and time on the page is shown in that zone; a browser
+somewhere else says so under the page title.
+
 Whichever way it starts, every run lands in the same place: the report it gives when
 it finishes, and a chat where you can ask it why it did what it did. See
 [The morning agent's runs](#the-morning-agents-runs).

package/dist/{audit-W3O6CLOF.js → audit-B5GKGH2P.js}

@@ -1,3 +1,7 @@
+import {
+  readSystemZone,
+  startingZone
+} from "./chunk-AUBJ2IDQ.js";
 import {
   linkState
 } from "./chunk-QKT2FAB5.js";
@@ -8,7 +12,7 @@ import {
   readArchiveIndex,
   resolveItems,
   runContractChecks
-} from "./chunk-UM2EPNWR.js";
+} from "./chunk-C6FXWHGT.js";
 import {
   BRIEF_REFRESH_GRACE_HOURS,
   describeSchedule,
@@ -18,7 +22,7 @@ import {
   resolveSchedule,
   runsOn,
   workingMsBetween
-} from "./chunk-OPASVYLR.js";
+} from "./chunk-NWYOCDUU.js";
 import {
   command
 } from "./chunk-BC2W7NND.js";
@@ -27,6 +31,7 @@ import {
 import { readFile, readdir } from "node:fs/promises";
 import { resolve } from "node:path";
 var config = loadConfig();
+process.env.TZ = (await startingZone(config.timeZoneFile, await readSystemZone())).timeZone;
 var store = new Store(config);
 var failures = 0;
 var warnings = 0;

package/dist/chunk-AUBJ2IDQ.js

@@ -0,0 +1,107 @@
+import {
+  writeJsonAtomic
+} from "./chunk-C6FXWHGT.js";
+import {
+  localTimeZone
+} from "./chunk-NWYOCDUU.js";
+
+// src/zone.ts
+import { readFile, readlink } from "node:fs/promises";
+function validZone(raw) {
+  if (typeof raw !== "string" || !/^[A-Za-z][A-Za-z0-9_+\-/]*$/.test(raw)) return null;
+  try {
+    new Intl.DateTimeFormat("en", { timeZone: raw });
+    return raw;
+  } catch {
+    return null;
+  }
+}
+async function readSystemZone(path = "/etc/localtime") {
+  try {
+    const target = await readlink(path);
+    const name = /zoneinfo\/(?:posix\/|right\/)?(.+)$/.exec(target)?.[1];
+    return validZone(name);
+  } catch {
+    return null;
+  }
+}
+async function startingZone(file, system) {
+  const saved = await loadZoneFile(file);
+  if (!saved) return { timeZone: localTimeZone(), moved: false };
+  if (system && saved.systemTimeZone && system !== saved.systemTimeZone) return { timeZone: system, moved: true };
+  return { timeZone: saved.timeZone, moved: false };
+}
+async function loadZoneFile(file) {
+  let parsed;
+  try {
+    parsed = JSON.parse(await readFile(file, "utf8"));
+  } catch {
+    return null;
+  }
+  const record = parsed ?? {};
+  const timeZone = validZone(record.timeZone);
+  if (!timeZone) return null;
+  return { timeZone, systemTimeZone: validZone(record.systemTimeZone) };
+}
+var TimeZoneKeeper = class {
+  #file;
+  #readSystem;
+  #current = localTimeZone();
+  /** The Mac's zone as last read, so `checkSystem` acts on a change rather than a difference. */
+  #system = null;
+  constructor(file, readSystem = readSystemZone) {
+    this.#file = file;
+    this.#readSystem = readSystem;
+  }
+  get current() {
+    return this.#current;
+  }
+  /** Decide the zone at startup; see `startingZone`. */
+  async start() {
+    this.#system = await this.#readSystem();
+    const { timeZone, moved } = await startingZone(this.#file, this.#system);
+    if (moved) await this.#adopt(timeZone);
+    else this.#apply(timeZone);
+  }
+  /** A browser says it is in `zone`. True if that changed the dashboard's. */
+  async report(zone) {
+    if (zone === this.#current) return false;
+    await this.#adopt(zone);
+    return true;
+  }
+  /** Follow the Mac if its zone has changed since last read. True if that changed the dashboard's. */
+  async checkSystem() {
+    const system = await this.#readSystem();
+    if (!system || system === this.#system) return false;
+    this.#system = system;
+    if (system === this.#current) {
+      await this.#save();
+      return false;
+    }
+    await this.#adopt(system);
+    return true;
+  }
+  async #adopt(zone) {
+    this.#apply(zone);
+    await this.#save();
+  }
+  #apply(zone) {
+    this.#current = zone;
+    process.env.TZ = zone;
+  }
+  async #save() {
+    const file = { timeZone: this.#current, systemTimeZone: this.#system };
+    try {
+      await writeJsonAtomic(this.#file, file);
+    } catch (err) {
+      console.warn(`[daily-focus] could not save the time zone: ${err.message}`);
+    }
+  }
+};
+
+export {
+  validZone,
+  readSystemZone,
+  startingZone,
+  TimeZoneKeeper
+};

package/dist/{chunk-UM2EPNWR.js → chunk-C6FXWHGT.js}

@@ -14,7 +14,7 @@ import {
   startOfLocalDay,
   workingDaysSince,
   workingMsBetween
-} from "./chunk-OPASVYLR.js";
+} from "./chunk-NWYOCDUU.js";
 
 // src/fs.ts
 import { mkdir, rename, writeFile } from "node:fs/promises";

package/dist/{chunk-F3EHZWRS.js → chunk-GFCWPYEI.js}

@@ -139,7 +139,7 @@ var claudeAdapter = {
     if (model) args.push("--model", model);
     if (effort) args.push("--effort", effort);
     if (sessionId) args.push("--resume", sessionId);
-    args.push(prompt);
+    args.push("--", prompt);
     return args;
   },
   parse(line) {

package/dist/{chunk-OPASVYLR.js → chunk-NWYOCDUU.js}

@@ -444,6 +444,7 @@ function loadConfig(env = loadEnv()) {
     pullsFile: resolve2(dataDir, "prs.json"),
     calendarFile: resolve2(dataDir, "calendar.json"),
     ticketsFile: resolve2(dataDir, "tickets.json"),
+    timeZoneFile: resolve2(dataDir, "timezone.json"),
     // The same 1 to 120 the session endpoint holds a start to.
     sessionMinutes: envBounded("DAILY_FOCUS_SESSION_MINUTES", 25, 1, 120, env),
     awayAfterMinutes: envBounded("DAILY_FOCUS_AWAY_AFTER", profile === "personal" ? 0 : 10, 0, 24 * 60, env),

package/dist/{chunk-Q5OKXJXT.js → chunk-YWHADSKR.js}

@@ -1,6 +1,6 @@
 import {
   localDateKey
-} from "./chunk-OPASVYLR.js";
+} from "./chunk-NWYOCDUU.js";
 
 // src/sample.ts
 function timeOn(now, hour, minute = 0) {

package/dist/cli.js

@@ -49,7 +49,7 @@ function shouldOpen(flag) {
   return flag && process.stdout.isTTY === true && !process.env.CI;
 }
 async function demo(open, profile) {
-  const { demoEnv, demoIntegrations, demoProfile, writeDemoStore } = await import("./demo-HTFKCJJ5.js");
+  const { demoEnv, demoIntegrations, demoProfile, writeDemoStore } = await import("./demo-AMK3Y4JZ.js");
   const chosen = demoProfile(profile);
   const store = await mkdtemp(join(tmpdir(), "daily-focus-demo-"));
   process.on("exit", () => rmSync(store, { recursive: true, force: true }));
@@ -65,7 +65,7 @@ async function demo(open, profile) {
   );
 }
 async function start(open, onStarted, options = {}) {
-  const { runServer } = await import("./server-JJVEH4ME.js");
+  const { runServer } = await import("./server-5HCA62YY.js");
   await runServer({
     ...options,
     onStarted: (url) => {
@@ -162,20 +162,20 @@ async function main(argv) {
       }
       return start(open);
     case "service": {
-      const { main: service } = await import("./service-6ZFOHPWN.js");
+      const { main: service } = await import("./service-63U4WBUH.js");
       process.exitCode = await service(values.remove ? ["--remove"] : []);
       return;
     }
     // These three are scripts that do their work as they load, and read their
     // own flags from the command line.
     case "init":
-      await import("./init-DEVCAQZZ.js");
+      await import("./init-YGOPPELJ.js");
       return;
     case "audit":
-      await import("./audit-W3O6CLOF.js");
+      await import("./audit-B5GKGH2P.js");
       return;
     case "seed":
-      await import("./seed-SMKNFYTC.js");
+      await import("./seed-57RJGU4Y.js");
       return;
     case "build-calendar":
       return buildCalendar();

package/dist/{demo-HTFKCJJ5.js → demo-AMK3Y4JZ.js}

@@ -1,15 +1,15 @@
 import {
   QUICK_ACTIONS
-} from "./chunk-F3EHZWRS.js";
+} from "./chunk-GFCWPYEI.js";
 import {
   dateFromNow,
   sampleBrief,
   sampleGeneratedAt
-} from "./chunk-Q5OKXJXT.js";
+} from "./chunk-YWHADSKR.js";
 import {
   PROFILES,
   localDateKey
-} from "./chunk-OPASVYLR.js";
+} from "./chunk-NWYOCDUU.js";
 import "./chunk-BC2W7NND.js";
 
 // src/demo.ts

package/dist/{init-DEVCAQZZ.js → init-YGOPPELJ.js}

@@ -8,7 +8,7 @@ import {
 } from "./chunk-QKT2FAB5.js";
 import {
   loadConfig
-} from "./chunk-OPASVYLR.js";
+} from "./chunk-NWYOCDUU.js";
 import {
   PACKAGED,
   command

package/dist/{seed-SMKNFYTC.js → seed-57RJGU4Y.js}

@@ -1,12 +1,12 @@
 import {
   sampleBrief
-} from "./chunk-Q5OKXJXT.js";
+} from "./chunk-YWHADSKR.js";
 import {
   Store
-} from "./chunk-UM2EPNWR.js";
+} from "./chunk-C6FXWHGT.js";
 import {
   loadConfig
-} from "./chunk-OPASVYLR.js";
+} from "./chunk-NWYOCDUU.js";
 import {
   command
 } from "./chunk-BC2W7NND.js";

package/dist/{server-JJVEH4ME.js → server-5HCA62YY.js}

@@ -1,11 +1,15 @@
 import {
   ADAPTERS,
   Assistant
-} from "./chunk-F3EHZWRS.js";
+} from "./chunk-GFCWPYEI.js";
 import {
   FOCUS_TEMPLATE,
   sourcesTemplate
 } from "./chunk-V2UN3JYL.js";
+import {
+  TimeZoneKeeper,
+  validZone
+} from "./chunk-AUBJ2IDQ.js";
 import {
   describeLink,
   linkStore,
@@ -20,7 +24,7 @@ import {
   stopSession,
   tempPathFor,
   writeJsonAtomic
-} from "./chunk-UM2EPNWR.js";
+} from "./chunk-C6FXWHGT.js";
 import {
   CLI_NAMES,
   LAUNCH_SETTINGS,
@@ -36,7 +40,7 @@ import {
   readDotEnv,
   resolveSchedule,
   scheduledRunDue
-} from "./chunk-OPASVYLR.js";
+} from "./chunk-NWYOCDUU.js";
 import {
   PACKAGED,
   command,
@@ -1488,7 +1492,8 @@ async function runHelper(appPath, selfAddresses) {
   const out = join(tmpdir(), `daily-focus-calendar-${process.pid}-${Date.now()}.json`);
   try {
     try {
-      await run2("/usr/bin/open", ["-n", "-a", appPath, "--args", out, selfAddresses.join(",")], {
+      const zone = process.env.TZ ? ["--env", `TZ=${process.env.TZ}`] : [];
+      await run2("/usr/bin/open", ["-n", "-a", appPath, ...zone, "--args", out, selfAddresses.join(",")], {
         timeout: HELPER_TIMEOUT_MS
       });
     } catch (err) {
@@ -3686,6 +3691,8 @@ async function startServer(env, options = {}) {
   const store = new Store(config);
   await store.ensureDataDir();
   const storeId = await store.fingerprint();
+  const zone = new TimeZoneKeeper(config.timeZoneFile, options.readSystemZone);
+  await zone.start();
   for (const outcome of await linkStore(config)) {
     if (outcome.result === "linked") console.log(`[daily-focus] linked ${describeLink(config, outcome)}`);
     if (outcome.result === "failed") console.warn(`[daily-focus] could not link ${outcome.name}: ${outcome.detail}`);
@@ -3781,6 +3788,8 @@ data: ${payload}
         basename(tempPathFor(config.pullsFile)),
         basename(config.ticketsFile),
         basename(tempPathFor(config.ticketsFile)),
+        basename(config.timeZoneFile),
+        basename(tempPathFor(config.timeZoneFile)),
         // Appended by this process, which broadcasts on its own.
         basename(config.assistantLogFile),
         basename(config.agentLogFile)
@@ -3822,10 +3831,23 @@ data: ${payload}
   await checkPresence();
   await assistant.start();
   await agent.start();
-  async function clockTick() {
+  let ticks = Promise.resolve();
+  function clockTick() {
+    ticks = ticks.then(tickOnce).catch((err) => {
+      console.error(`[daily-focus] the morning clock failed: ${err.message}`);
+    });
+    return ticks;
+  }
+  async function tickOnce() {
+    if (await zone.checkSystem()) zoneMoved();
     if (restart === "waiting" || await firstBriefPending(config)) return;
     await agent.tick();
   }
+  function zoneMoved() {
+    console.log(`[daily-focus] time zone is now ${zone.current}`);
+    void calendar.refresh();
+    void broadcast();
+  }
   void clockTick();
   const agentClock = setInterval(() => {
     void clockTick();
@@ -3909,6 +3931,26 @@ data: ${JSON.stringify(await buildState())}
       sendState(res, await buildState());
       return;
     }
+    if (path === "/api/timezone" && req.method === "POST") {
+      let body;
+      try {
+        body = JSON.parse(await readBody(req));
+      } catch (err) {
+        sendJSON(res, 400, { error: `invalid JSON body: ${err.message}` });
+        return;
+      }
+      const timeZone = validZone(body?.timeZone);
+      if (!timeZone) {
+        sendJSON(res, 400, { error: '"timeZone" must be an IANA time zone, such as Europe/Copenhagen' });
+        return;
+      }
+      if (await zone.report(timeZone)) {
+        zoneMoved();
+        await clockTick();
+      }
+      sendState(res, await buildState());
+      return;
+    }
     if (path === "/api/calendar/refresh" && req.method === "POST") {
       await calendar.refresh();
       sendState(res, await buildState());

package/dist/{service-6ZFOHPWN.js → service-63U4WBUH.js}

@@ -1,6 +1,6 @@
 import {
   loadConfig
-} from "./chunk-OPASVYLR.js";
+} from "./chunk-NWYOCDUU.js";
 import {
   IN_NPX_CACHE,
   PACKAGED,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "daily-focus",
-  "version": "1.1.1-dev.1",
+  "version": "1.1.1-dev.3",
   "description": "An interactive dashboard of what you should focus on today at work",
   "keywords": [
     "dashboard",

package/public/app.js

@@ -1010,6 +1010,9 @@ function subscribe(onState, onError) {
   source.addEventListener("open", () => onError(null));
   return () => source.close();
 }
+function postTimeZone(timeZone) {
+  return post("/api/timezone", { timeZone });
+}
 function postSession(body) {
   return post("/api/session", body);
 }
@@ -1293,15 +1296,28 @@ function ThemeToggle({ ui: ui2, handlers: handlers2 }) {
 }
 
 // client/format.ts
-var timeFmt = new Intl.DateTimeFormat(void 0, { hour: "2-digit", minute: "2-digit" });
-var dayFmt = new Intl.DateTimeFormat(void 0, {
+var DAY_FORMAT = {
   weekday: "long",
   day: "numeric",
   month: "long"
-});
-var shortDayFmt = new Intl.DateTimeFormat(void 0, { day: "numeric", month: "short" });
-var shortDayYearFmt = new Intl.DateTimeFormat(void 0, { day: "numeric", month: "short", year: "numeric" });
-var weekdayFmt = new Intl.DateTimeFormat(void 0, { weekday: "long" });
+};
+function formatters(timeZone) {
+  return {
+    time: new Intl.DateTimeFormat(void 0, { timeZone, hour: "2-digit", minute: "2-digit" }),
+    day: new Intl.DateTimeFormat(void 0, { timeZone, ...DAY_FORMAT }),
+    shortDay: new Intl.DateTimeFormat(void 0, { timeZone, day: "numeric", month: "short" }),
+    shortDayYear: new Intl.DateTimeFormat(void 0, { timeZone, day: "numeric", month: "short", year: "numeric" }),
+    weekday: new Intl.DateTimeFormat(void 0, { timeZone, weekday: "long" })
+  };
+}
+var clockFormats = formatters();
+var dateFormats = formatters("UTC");
+var DATE_ONLY = /^\d{4}-\d{2}-\d{2}$/;
+function formatted(value, kind) {
+  const bare = typeof value === "string" && DATE_ONLY.test(value);
+  const d4 = bare ? /* @__PURE__ */ new Date(`${value}T00:00:00Z`) : parseDate(value);
+  return d4 && !Number.isNaN(d4.getTime()) ? (bare ? dateFormats : clockFormats)[kind].format(d4) : "";
+}
 function parseDate(value) {
   if (typeof value !== "string" || value === "") return null;
   const dateOnly = /^(\d{4})-(\d{2})-(\d{2})$/.exec(value);
@@ -1310,20 +1326,16 @@ function parseDate(value) {
   return Number.isNaN(d4.getTime()) ? null : d4;
 }
 function formatTime(value) {
-  const d4 = parseDate(value);
-  return d4 ? timeFmt.format(d4) : "";
+  return formatted(value, "time");
 }
 function formatDay(value) {
-  const d4 = parseDate(value);
-  return d4 ? dayFmt.format(d4) : "";
+  return formatted(value, "day");
 }
 function formatShortDay(value) {
-  const d4 = parseDate(value);
-  return d4 ? shortDayFmt.format(d4) : "";
+  return formatted(value, "shortDay");
 }
 function formatWeekday(value) {
-  const d4 = parseDate(value);
-  return d4 ? weekdayFmt.format(d4) : "";
+  return formatted(value, "weekday");
 }
 var dayKeyFmt = null;
 var calendarZone;
@@ -1331,9 +1343,11 @@ function setCalendarZone(timeZone) {
   if (timeZone === calendarZone) return;
   calendarZone = timeZone;
   try {
+    clockFormats = formatters(timeZone);
     dayKeyFmt = timeZone ? new Intl.DateTimeFormat("en-US", { timeZone, year: "numeric", month: "2-digit", day: "2-digit" }) : null;
   } catch {
     dayKeyFmt = null;
+    clockFormats = formatters();
   }
 }
 function dayKey(d4) {
@@ -1370,8 +1384,8 @@ function daysFromToday(value, now = /* @__PURE__ */ new Date()) {
   }
   const target = parseDate(value);
   if (!target) return null;
-  const a4 = new Date(now.getFullYear(), now.getMonth(), now.getDate()).getTime();
-  const b4 = new Date(target.getFullYear(), target.getMonth(), target.getDate()).getTime();
+  const a4 = Date.UTC(...splitKey(dayKey(now)));
+  const b4 = Date.UTC(...splitKey(dayKey(target)));
   return Math.round((b4 - a4) / 864e5);
 }
 function relativeDay(value, now = /* @__PURE__ */ new Date()) {
@@ -1402,7 +1416,7 @@ function relativeTime(value, now = /* @__PURE__ */ new Date()) {
   if (hours < 48) return `${hours} h ago`;
   const days = Math.round(hours / 24);
   if (days <= 30) return `${days} days ago`;
-  return d4.getFullYear() === now.getFullYear() ? formatShortDay(value) : shortDayYearFmt.format(d4);
+  return dayKey(d4).slice(0, 4) === dayKey(now).slice(0, 4) ? formatShortDay(value) : formatted(value, "shortDayYear");
 }
 function firstLine(text) {
   const line = String(text).split("\n").find((l5) => l5.trim() !== "") ?? "";
@@ -3458,6 +3472,46 @@ function parkButton(row, ui2, handlers2, menuKey) {
   );
 }
 
+// client/zone.ts
+var ZONE_CHECK_MS = 6e4;
+function browserZone() {
+  return Intl.DateTimeFormat().resolvedOptions().timeZone;
+}
+function sameZone(a4, b4) {
+  if (a4 === b4) return true;
+  try {
+    const canonical = (zone2) => new Intl.DateTimeFormat("en", { timeZone: zone2 }).resolvedOptions().timeZone;
+    return canonical(a4) === canonical(b4);
+  } catch {
+    return false;
+  }
+}
+function watchZone(deps) {
+  let seen = deps.browserZone();
+  let sending = null;
+  function tellIfElsewhere() {
+    const here = deps.browserZone();
+    const there = deps.dashboardZone();
+    if (there === void 0 || sameZone(here, there) || sending === here) return;
+    sending = here;
+    deps.send(here).catch((err) => console.warn(`[daily-focus] could not tell the dashboard this browser is in ${here}:`, err)).finally(() => {
+      sending = null;
+    });
+  }
+  return {
+    look() {
+      seen = deps.browserZone();
+      if (deps.visible()) tellIfElsewhere();
+    },
+    check() {
+      const here = deps.browserZone();
+      if (here === seen) return;
+      seen = here;
+      tellIfElsewhere();
+    }
+  };
+}
+
 // client/chrome.ts
 function Header({ state: state2, ui: ui2, handlers: handlers2 }) {
   const error = ui2.connectionError.value;
@@ -3468,7 +3522,8 @@ function Header({ state: state2, ui: ui2, handlers: handlers2 }) {
       "div",
       { class: "page-header__titles" },
       el("h1", null, "Daily Focus"),
-      el("p", { class: "page-header__date", id: "header-date" }, state2 ? headerDate(state2) : "")
+      el("p", { class: "page-header__date", id: "header-date" }, state2 ? headerDate(state2) : ""),
+      state2 ? zoneLine(state2) : null
     ),
     el(
       "div",
@@ -3562,6 +3617,11 @@ function headerDate(state2) {
   const today = dayKey(new Date(state2.now));
   return formatDay(state2.brief.date ?? today) || formatDay(today);
 }
+function zoneLine(state2) {
+  if (sameZone(browserZone(), state2.timeZone)) return null;
+  const at = state2.agentRun?.schedule ? ` \xB7 Morning agent at ${state2.agentRun.schedule.at}` : "";
+  return el("p", { class: "page-header__zone", id: "header-zone" }, `Times in ${state2.timeZone}${at}`);
+}
 function freshness(state2, handlers2) {
   let text;
   let stale;
@@ -5164,15 +5224,31 @@ j3(() => {
 installKeyboard(handlers);
 await refresh();
 startLocalTick();
+var zone = watchZone({
+  browserZone,
+  dashboardZone: () => state.value?.timeZone,
+  visible: () => document.visibilityState === "visible",
+  send: async (timeZone) => adoptState(await postTimeZone(timeZone))
+});
+zone.look();
+document.addEventListener("visibilitychange", () => zone.look());
+window.addEventListener("focus", () => zone.look());
+setInterval(() => zone.check(), ZONE_CHECK_MS);
 followLocation();
 window.addEventListener("popstate", followLocation);
 window.addEventListener("hashchange", followLocation);
+var reconnected = false;
 subscribe(
   // A server push is authoritative, but must not yank a row out from under an
   // in-flight click; adoptState keeps anything pending at its optimistic status.
-  (next) => adoptState(next),
+  (next) => {
+    adoptState(next);
+    if (reconnected) zone.look();
+    reconnected = false;
+  },
   (err) => {
     ui.connectionError.value = err;
+    if (err === null) reconnected = true;
   }
 );
 //# sourceMappingURL=app.js.map

package/public/style.css

@@ -161,6 +161,12 @@ a {
   gap: 8px;
 }
 
+.page-header__zone {
+  margin: 3px 0 0;
+  color: var(--ink-2);
+  font-size: 12px;
+}
+
 .freshness {
   color: var(--ink-3);
   font-size: 13px;