From c650a26b2ddcc16456a32b7dbb409321c311f7cb Mon Sep 17 00:00:00 2001
From: oratis <wangharp@gmail.com>
Date: Wed, 1 Jul 2026 18:31:17 +0800
Subject: [PATCH] =?UTF-8?q?fix(web):=20no-store=20on=20the=20GUI=20shell?=
 =?UTF-8?q?=20HTML=20(/,=20/island)=20=E2=80=94=20no=20more=20stale=20cach?=
 =?UTF-8?q?e=20after=20update?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

A WKWebView (the Mac app) / browser cached the shell HTML, so after `lisa` was
updated the old GUI kept rendering — e.g. a "removed" element still showing — until
the WebKit data store was manually cleared. The shell carries the current markup +
asset references, so it must always be fresh. Add `Cache-Control: no-store` to the
`/` (MAIN_HTML) and `/island` (ISLAND_HTML) responses. Hashed assets keep their own
long-cache headers; only the shell is no-store.

Verified: typecheck + HTML snapshot + auth tests pass.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---
 src/web/server.ts | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/web/server.ts b/src/web/server.ts
index 910bf33..6a8761e 100644
--- a/src/web/server.ts
+++ b/src/web/server.ts
@@ -674,7 +674,10 @@ export async function startWebServer(opts: WebServerOptions): Promise<http.Serve
     };
 
     if (req.method === "GET" && (url === "/" || url.startsWith("/?"))) {
-      res.writeHead(200, { "content-type": "text/html; charset=utf-8" });
+      // no-store: never cache the shell, or a WKWebView / browser keeps rendering
+      // an old GUI after `lisa` is updated (the shell carries the current markup +
+      // asset references). Fixes the "removed element still shows" stale-cache bug.
+      res.writeHead(200, { "content-type": "text/html; charset=utf-8", "cache-control": "no-store" });
       res.end(MAIN_HTML);
       return;
     }
@@ -690,7 +693,7 @@ export async function startWebServer(opts: WebServerOptions): Promise<http.Serve
     // Island widget — designed to be opened in a tiny browser window
     // (Arc, Vivaldi PWA, Safari split). See docs/MAC_ISLAND_PLAN.md.
     if (req.method === "GET" && (url === "/island" || url.startsWith("/island?"))) {
-      res.writeHead(200, { "content-type": "text/html; charset=utf-8" });
+      res.writeHead(200, { "content-type": "text/html; charset=utf-8", "cache-control": "no-store" });
       res.end(ISLAND_HTML);
       return;
     }