feat(MonitorScope): add refresh() for force-resubscribe after external write

After an embedded bridge writes events from a different access token,
the user's primary connection's socket may miss them (the bridge also
creates streams the socket didn't have at attach time). Without an
external trigger the new events don't surface until the next visibility-
change cycle.

refresh() tears down the current Monitor and re-attaches with the
latest maxModified. Re-attach catches up via events.get(modifiedSince=…)
AND re-subscribes the socket on the now-current stream tree, so any
bridge-created stream enters live scope.

No-op when stopped or paused; safe to call repeatedly from
hds-webapp's hds-bridge-done handler.

Author: perki

ts/MonitorScope.ts

@@ -206,6 +206,31 @@ export class MonitorScope {
     await this.attachLiveMonitor();
   }
 
+  /**
+   * Force a live-monitor refresh: tear down the current Monitor (if any)
+   * and re-attach. The fresh `attachLiveMonitor` re-runs
+   * `events.get(modifiedSince=maxModified)` to catch up any events the
+   * socket may have missed, and re-subscribes the socket — picking up
+   * streams that didn't exist when the previous subscription was
+   * established (e.g. streams created by an embedded bridge after our
+   * connection's socket attached).
+   *
+   * Use after a known-good external write (e.g. on `hds-bridge-done`
+   * postMessage) to surface the new events without waiting for the next
+   * visibility-change cycle or user-driven action.
+   *
+   * No-op if already stopped. If currently paused, stays paused.
+   */
+  async refresh (): Promise<void> {
+    if (this.stopped) return;
+    if (this.paused) return;
+    if (this.monitor) {
+      try { this.monitor.stop(); } catch (_) { /* ignore */ }
+      this.monitor = null;
+    }
+    await this.attachLiveMonitor();
+  }
+
   /**
    * Load older events beyond current scope (triggered by scroll-up).
    * Loads pageSize events older than the oldest currently loaded.