solidjs / solid / 43004316200

79%

main: 90%

push

github

fix: a write under a guess holds on the flight its lane work needs (#4769)

* fix: a write under a guess holds on the flight its lane work needs

A plain write made while a guess is out re-asked an async memo, and a memo
seated in the guess's lane read both the write and that flight. The lane
pass was served the flight's committed value (A31) but was not counted as
the flight's stale reader, so the frame had nothing holding it: when the
pass left the lane (its branch no longer read the guess) its result was the
frame's, pairing the new value with the old answer, and the frame landed it
(F-1). A filter switch showed "closed" beside the open rows.

The lane read now marks the pass as the flight's stale reader (A15, #3494):
the frame holds on it and re-derives it at the landing (F-2).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0117BoWNSSgtemsSYsaX2hXE

* fix: lane work that read the flush's staging waits on the flight it needs

A memo seated in a guess's lane that read a plain write's staging and then
a flight that write re-asked was served the flight's committed value (A31),
pairing the new value with the old answer (F-1); a keyed projection over it
wrote those rows into the lane, and under an armed `<Loading on>` the pass
leaving the lane put the committed value (without the guess) on screen.

- `read` (A31): lane work that read a staging this pass is not served the
  flight's committed value: it throws and waits, as mainline does (F-2;
  S-57). Served, it is the flight's stale reader (A15, #3494), and a staging
  it reads after throws (`stagedRead`), so both read orders hold.
- `laneStage`: a pass pending on such a flight with none of the lane's world
  read leaves the lane, its pending the frame's, so an armed boundary
  catches it (F-4); the screen keeps the lane's value until the landing.

The logic lives in lanes.ts (`laneServed`); core pays two hook calls.

Co-Authored-By: Claude Opus 5... (continued)

818 of 1112 branches covered (73.56%)

Branch coverage included in aggregate %.

1143 of 1372 relevant lines covered (83.31%)

30.34 hits per line