Browser: navigating a closed browser's tab opens it anew

piweb/hf-design.patch

@@ -32877,10 +32877,10 @@ index 0000000..9cac779
 +}
 diff --git a/lib/browser/host.integration.test.mjs b/lib/browser/host.integration.test.mjs
 new file mode 100644
-index 0000000..b8e3a6d
+index 0000000..400b569
 --- /dev/null
 +++ b/lib/browser/host.integration.test.mjs
-@@ -0,0 +1,725 @@
+@@ -0,0 +1,732 @@
 +import assert from "node:assert/strict";
 +import { spawn } from "node:child_process";
 +import { existsSync } from "node:fs";
@@ -33548,6 +33548,13 @@ index 0000000..b8e3a6d
 +  assert.equal(result.isError, undefined, text(result));
 +  assert.equal(host.getState().running, true);
 +  assert.deepEqual(host.getState().tabs.map((tab) => tab.title), ["Second"]);
++  // A pane out of sight while the browser closed still names its old tab: the navigation opens the browser anew.
++  const stale = host.getState().tabs[0].id;
++  await host.userAction({ action: "shutdown" });
++  const reopened = await host.userAction({ action: "navigate", url: `${base}/second`, tabId: stale });
++  assert.equal(reopened.warning, undefined);
++  assert.equal(host.getState().running, true);
++  assert.equal(host.getState().tabs.length, 1);
 +});
 +
 +test("the browser closes itself when idle, but not while someone watches", { skip }, async () => {
@@ -33608,10 +33615,10 @@ index 0000000..b8e3a6d
 +});
 diff --git a/lib/browser/host.ts b/lib/browser/host.ts
 new file mode 100644
-index 0000000..e5e4bdd
+index 0000000..f3df253
 --- /dev/null
 +++ b/lib/browser/host.ts
-@@ -0,0 +1,1848 @@
+@@ -0,0 +1,1849 @@
 +import { AsyncLocalStorage } from "node:async_hooks";
 +import { createHash } from "node:crypto";
 +import { existsSync } from "node:fs";
@@ -34815,7 +34822,8 @@ index 0000000..e5e4bdd
 +    this.touch();
 +    switch (action.action) {
 +      case "navigate": {
-+        const chosen = action.tabId ? this.runningTab(action.tabId) : await this.agentTab(true);
++        // A pane that was out of sight may still name a tab of a browser closed since: open it anew.
++        const chosen = action.tabId && this.context ? this.runningTab(action.tabId) : await this.agentTab(true);
 +        const tab = chosen.crashed ? await this.replaceCrashed(chosen) : chosen;
 +        return this.userNavigation(tab, () => tab.page.goto(action.url, { waitUntil: "commit", timeout: USER_NAVIGATION_TIMEOUT_MS }));
 +      }