mirror of
https://github.com/stablyai/orca.git
synced 2026-09-22 00:02:31 +00:00
Neil
0cd3db1489
The restart spec read only buffersByLeafId, but the ordinary park now writes localOnlyScrollbackByTabId, so its own proof reported a false zero and both tests failed for the wrong reason. Both readers now go through resolveLeafScrollbackBuffers: the on-disk reader calls it directly (it is a pure function), and the store reader — which runs inside page.evaluate — reaches it through a new window.__terminalParkingDebug.resolveLeafScrollback(tabId) handle. resolveTabScrollbackBuffers is typed off TERMINAL_SCROLLBACK_SESSION_HOMES and its unit test enumerates that constant, so adding a third home fails to compile and fails a test until the resolver reads it — the 'no consumer reads a home directly' invariant becomes enforceable. The clean-quit control no longer asserts tokenAfterReveal (measured true, true, false on identical product code; the live host can serve the reveal from its own tail). It keeps the five deterministic fields and logs the reveal; the hard-kill test still asserts it, because there the host is forced unavailable and the reveal must come from the client copy.