Harden terminal catch-up stream safety

docs/superpowers/proofs/artifacts/browser-background-visibility.json

@@ -0,0 +1,94 @@
+{
+  "generatedAt": "2026-06-09T01:00:28.173Z",
+  "chromiumVersion": "145.0.7632.6",
+  "headed": true,
+  "wsSendIntervalMs": 50,
+  "active": {
+    "before": {
+      "at": 1087.699999988079,
+      "visibilityState": "visible",
+      "hidden": false,
+      "intervalTicks": 21,
+      "rafTicks": 57,
+      "wsReceived": 21,
+      "lastIntervalAt": 1059.4000000059605,
+      "lastRafAt": 1086.2999999821186,
+      "lastWsAt": 1064.9000000059605
+    },
+    "after": {
+      "at": 2091.2999999821186,
+      "visibilityState": "visible",
+      "hidden": false,
+      "intervalTicks": 41,
+      "rafTicks": 117,
+      "wsReceived": 41,
+      "lastIntervalAt": 2059.2999999821186,
+      "lastRafAt": 2087.0999999940395,
+      "lastWsAt": 2069.4000000059605
+    },
+    "pageDelta": {
+      "elapsedMs": 1003.5999999940395,
+      "visibilityStateBefore": "visible",
+      "visibilityStateAfter": "visible",
+      "intervalTicks": 20,
+      "rafTicks": 60,
+      "wsReceived": 20
+    },
+    "serverSentDelta": 20
+  },
+  "backgrounded": {
+    "before": {
+      "at": 2349.0999999940395,
+      "visibilityState": "visible",
+      "hidden": false,
+      "intervalTicks": 46,
+      "rafTicks": 132,
+      "wsReceived": 46,
+      "lastIntervalAt": 2309.199999988079,
+      "lastRafAt": 2336.4000000059605,
+      "lastWsAt": 2322.5999999940395
+    },
+    "after": {
+      "at": 5351.5,
+      "visibilityState": "visible",
+      "hidden": false,
+      "intervalTicks": 106,
+      "rafTicks": 312,
+      "wsReceived": 106,
+      "lastIntervalAt": 5309.199999988079,
+      "lastRafAt": 5336.5999999940395,
+      "lastWsAt": 5327.9000000059605
+    },
+    "pageDelta": {
+      "elapsedMs": 3002.4000000059605,
+      "visibilityStateBefore": "visible",
+      "visibilityStateAfter": "visible",
+      "intervalTicks": 60,
+      "rafTicks": 180,
+      "wsReceived": 60
+    },
+    "serverSentDelta": 60
+  },
+  "resumed": {
+    "after": {
+      "at": 6362,
+      "visibilityState": "visible",
+      "hidden": false,
+      "intervalTicks": 127,
+      "rafTicks": 373,
+      "wsReceived": 126,
+      "lastIntervalAt": 6359.199999988079,
+      "lastRafAt": 6352.699999988079,
+      "lastWsAt": 6331.199999988079
+    },
+    "pageDeltaFromHiddenEnd": {
+      "elapsedMs": 1010.5,
+      "visibilityStateBefore": "visible",
+      "visibilityStateAfter": "visible",
+      "intervalTicks": 21,
+      "rafTicks": 61,
+      "wsReceived": 20
+    },
+    "serverSentDelta": 20
+  }
+}

docs/superpowers/proofs/artifacts/browser-freeze-lifecycle.json

@@ -0,0 +1,103 @@
+{
+  "generatedAt": "2026-06-09T00:59:10.228Z",
+  "chromiumVersion": "145.0.7632.6",
+  "headed": true,
+  "wsSendIntervalMs": 50,
+  "active": {
+    "before": {
+      "at": 1024.800000011921,
+      "visibilityState": "visible",
+      "intervalTicks": 20,
+      "rafTicks": 50,
+      "wsReceived": 20,
+      "lastIntervalAt": 1012.1000000238419,
+      "lastRafAt": 1024,
+      "lastWsAt": 993.3000000119209
+    },
+    "after": {
+      "at": 2027,
+      "visibilityState": "visible",
+      "intervalTicks": 40,
+      "rafTicks": 110,
+      "wsReceived": 40,
+      "lastIntervalAt": 2012.1000000238419,
+      "lastRafAt": 2024.4000000059605,
+      "lastWsAt": 1995.5
+    },
+    "pageDelta": {
+      "elapsedMs": 1002.1999999880791,
+      "intervalTicks": 20,
+      "rafTicks": 60,
+      "wsReceived": 20
+    },
+    "serverSentDelta": 20
+  },
+  "frozen": {
+    "stateCommand": "Page.setWebLifecycleState({ state: 'frozen' })",
+    "durationMs": 3008,
+    "before": {
+      "at": 2027,
+      "visibilityState": "visible",
+      "intervalTicks": 40,
+      "rafTicks": 110,
+      "wsReceived": 40,
+      "lastIntervalAt": 2012.1000000238419,
+      "lastRafAt": 2024.4000000059605,
+      "lastWsAt": 1995.5
+    },
+    "evalStatus": "returned",
+    "evalSnapshot": {
+      "at": 4029.9000000059605,
+      "visibilityState": "visible",
+      "intervalTicks": 80,
+      "rafTicks": 230,
+      "wsReceived": 80,
+      "lastIntervalAt": 4012.100000023842,
+      "lastRafAt": 4024.100000023842,
+      "lastWsAt": 4002.7000000178814
+    },
+    "pageDeltaIfEvalReturned": {
+      "elapsedMs": 2002.9000000059605,
+      "intervalTicks": 40,
+      "rafTicks": 120,
+      "wsReceived": 40
+    },
+    "serverSentDelta": 40
+  },
+  "resumed": {
+    "immediate": {
+      "at": 4032,
+      "visibilityState": "visible",
+      "intervalTicks": 80,
+      "rafTicks": 230,
+      "wsReceived": 80,
+      "lastIntervalAt": 4012.100000023842,
+      "lastRafAt": 4024.100000023842,
+      "lastWsAt": 4002.7000000178814
+    },
+    "after": {
+      "at": 5034.800000011921,
+      "visibilityState": "visible",
+      "intervalTicks": 100,
+      "rafTicks": 290,
+      "wsReceived": 100,
+      "lastIntervalAt": 5012.100000023842,
+      "lastRafAt": 5024.100000023842,
+      "lastWsAt": 5003.800000011921
+    },
+    "immediateDeltaFromFreezeStart": {
+      "elapsedMs": 2005,
+      "intervalTicks": 40,
+      "rafTicks": 120,
+      "wsReceived": 40
+    },
+    "pageDeltaAfterResume": {
+      "elapsedMs": 1002.8000000119209,
+      "intervalTicks": 20,
+      "rafTicks": 60,
+      "wsReceived": 20
+    },
+    "serverSentDeltaImmediate": 40,
+    "serverSentDeltaAfterResume": 20
+  }
+}

docs/superpowers/proofs/artifacts/browser-process-suspend.json

@@ -0,0 +1,89 @@
+{
+  "generatedAt": "2026-06-09T01:04:42.470Z",
+  "chromiumVersion": "145.0.7632.6",
+  "browserPid": 1211057,
+  "wsSendIntervalMs": 50,
+  "active": {
+    "before": {
+      "at": 1020.2000000178814,
+      "intervalTicks": 20,
+      "rafTicks": 61,
+      "wsReceived": 20,
+      "lastIntervalAt": 1006.9000000059605,
+      "lastRafAt": 1009.1000000238419,
+      "lastWsAt": 1013.2000000178814
+    },
+    "after": {
+      "at": 2024.300000011921,
+      "intervalTicks": 40,
+      "rafTicks": 121,
+      "wsReceived": 40,
+      "lastIntervalAt": 2007,
+      "lastRafAt": 2009,
+      "lastWsAt": 2017.2000000178814
+    },
+    "pageDelta": {
+      "elapsedMs": 1004.0999999940395,
+      "intervalTicks": 20,
+      "rafTicks": 60,
+      "wsReceived": 20
+    },
+    "serverSentDelta": 20
+  },
+  "stopped": {
+    "signal": "SIGSTOP",
+    "stoppedPids": [
+      1211057,
+      1211092,
+      1211140,
+      1211093,
+      1211229,
+      1211145
+    ],
+    "durationMs": 2002,
+    "before": {
+      "at": 2024.300000011921,
+      "intervalTicks": 40,
+      "rafTicks": 121,
+      "wsReceived": 40,
+      "lastIntervalAt": 2007,
+      "lastRafAt": 2009,
+      "lastWsAt": 2017.2000000178814
+    },
+    "afterResumeImmediate": {
+      "at": 4053,
+      "intervalTicks": 41,
+      "rafTicks": 124,
+      "wsReceived": 80,
+      "lastIntervalAt": 4050.5,
+      "lastRafAt": 4050.600000023842,
+      "lastWsAt": 4052.800000011921
+    },
+    "pageDeltaAfterResumeImmediate": {
+      "elapsedMs": 2028.699999988079,
+      "intervalTicks": 1,
+      "rafTicks": 3,
+      "wsReceived": 40
+    },
+    "serverSentWhileStopped": 40,
+    "serverSentByResumeImmediate": 40
+  },
+  "resumed": {
+    "after": {
+      "at": 5057.600000023842,
+      "intervalTicks": 62,
+      "rafTicks": 184,
+      "wsReceived": 100,
+      "lastIntervalAt": 5057,
+      "lastRafAt": 5042.300000011921,
+      "lastWsAt": 5026.5
+    },
+    "pageDeltaAfterResume": {
+      "elapsedMs": 1004.6000000238419,
+      "intervalTicks": 21,
+      "rafTicks": 60,
+      "wsReceived": 20
+    },
+    "serverSentDeltaAfterResume": 20
+  }
+}