Skip to content

Follow-ups from the partial-availability round: drifted citations, an unmeasured illustration, one CDP helper instead of three - #116

Merged
lannbot merged 1 commit into
mainfrom
fix/partial-availability-followups
Aug 25, 2026
Merged

Follow-ups from the partial-availability round: drifted citations, an unmeasured illustration, one CDP helper instead of three#116
lannbot merged 1 commit into
mainfrom
fix/partial-availability-followups

Conversation

@lannbot

@lannbot lannbot commented Aug 25, 2026

Copy link
Copy Markdown
Collaborator

Small fixes queued during the partial-availability testing round (PR #108), now that its issues are filed (#113, #114, #115):

Net −76 lines. Gates: just e2e-check, runtime just check, just site, worker-eviction + one-sided-reload (xfail) + harness-faults green, soak green at seeds 1 and 2 (seed 2 exercises the new kill path).

Automerge armed (merge commit, org convention).

… an illustration that was never measured, and one CDP helper instead of three

- solo.ts's one-sided-reload gap block cites the conn-status latch at
  its current home (lib.rs:4407 write / :4413-4420 read; the old
  :3700/:3706 numbers pointed into Gdrive pickup code), and names the
  filed issue (#113). The three expected-red scenario banners carried
  the same drifted numbers post-#109 and are corrected too, with #113
  in their promotion paragraphs and #115 at relay-partition's
  30s-first-tick note; worker-eviction cites #114 at the 120s-hang
  warning.

- locks.ts's 'lock held, lease stale' illustration named a suspended
  TAB -- but the lease heartbeat is the SharedWorker's, and devstore
  row 55 measured that the question cannot even be posed in this build
  (CDP page freeze does not take). The illustration is now worker-true
  and the unmeasured question is named instead of implied answered.

- cdp.ts's killSharedWorker learns title matching (SharedWorkerMatch:
  urlIncludes/title, exactly-one-match semantics) -- every solo/demo
  device runs the identical worker script, so only the SharedWorker's
  NAME (the target's title, pm-device-<id>) can tell two devices'
  hosts apart. worker-eviction and convergence-soak drop their local
  copies and import it; the devstore copy stays, deliberately (no
  import edge into demo/e2e). setWebLifecycleState's hazard comment
  now also carries row 55's the-override-can-lie finding.

Gates: e2e-check, runtime just check, just site, worker-eviction +
one-sided-reload(xfail) + harness-faults green, soak green at seeds 1
and 2 (seed 2 exercises the new kill path).
@lannbot
lannbot enabled auto-merge August 25, 2026 12:41
@lannbot
lannbot merged commit 3c05d47 into main Aug 25, 2026
3 checks passed
@lannbot
lannbot deleted the fix/partial-availability-followups branch August 25, 2026 13:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants