mirror of
https://github.com/stablyai/orca.git
synced 2026-09-23 00:02:29 +00:00
docs(runtime): bound what the handle-gap sweep's evidence actually proves
Raised in review by nwparker/adv2-concurrency-fixes. The env-scoping rationale establishes that the recording environment has A published row, not that it has finished republishing, so partial re-publication within one environment can still cost a sibling pane its verdict. Conservative in the same direction as the case it replaced — drop, re-park, hold longer, never resume early — so it is recorded rather than fixed. The note exists so the inference is not widened later on the assumption it is airtight.
This commit is contained in:
@@ -74,6 +74,11 @@ function recordExpiredWait(environmentId: string, key: string): void {
|
||||
// already makes. That evidence covers only this environment. Sweeping others would drop a
|
||||
// verdict belonging to an environment that is merely mid-rehydration, and its pane would
|
||||
// re-park on a fresh full budget. Removed environments are left to teardown, not to this.
|
||||
//
|
||||
// Do not widen this on the assumption the inference is airtight: it establishes that this
|
||||
// environment has A published row, not that it has finished republishing. A host that has
|
||||
// published p1 and not yet p2 can still cost p2 its verdict here. That residual is
|
||||
// conservative in the same direction — drop, re-park, hold longer, never resume early.
|
||||
const prefix = `${environmentId}\0`
|
||||
const liveTabs = liveTabIds()
|
||||
for (const [staleKey, staleGeneration] of expiredGenerationByPane) {
|
||||
|
||||
Reference in New Issue
Block a user