solidjs / solid / 41092122198

78%

main: 89%

push

github

fix(signals): a netted write read in a strict untrack is no staged read; seat rows D1''/L1''/V3'' (#4472)

* fix(signals): a netted write read in a strict untrack is no staged read; seat rows D1''/L1''/V3''

#4452 made a signal's staging equal to its committed value (writes that
netted, D-8) a read of the screen in `read`'s fast block. The reader-seat
table still raised Fl on that read (rows D1 / L1 / D7, and V3 for a
verdict reader), so the shadow's seat parted from the flags and every
later read of the pass reported too ("world after the read", "verdict
seat after the read", B2 "born held"): 8 INV-seat-3 classes (x59) in the
signals suite, 7 in web, and 60 in the generator (37 / 35 / 43 at 2,000
cases x seeds 3289 / 91501 / 7, every pair). Bisected over every merge
7135a77a..131ceb8c: 0 before #4452 (66c6f56b4), 60 at it, none added by
#4453, #4458, #4460, #4454, #4457 or #4455. The runtime follows the rule
(D-8: a tick whose writes net to the committed value made no proposal),
so the table was stale: rows D1''/L1'' (D7'' in a lane) and V3'' serve P
and raise nothing. Shadow: 0 classes in signals, web and the generator.

With the rows in, the shadow found the path #4452 missed: in dev a
labelled `untrack` read (`strictRead`) takes the slow path, where `serve`
still called `stagedRead`, so dev held the errored re-run that prod (fast
block) does not. `serve` now skips it for a netted signal in dev; prod
folds the test away (0 B on every scenario).

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

* fix(signals): gate serve's netted skip on the strict read, not on dev

Only the strict untrack read skips the fast block in dev; a hydration
snapshot or a promoted write reaches serve in dev and prod alike and keeps
the staged-read mark. 0 B in prod.

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

... (continued)

790 of 1090 branches covered (72.48%)

Branch coverage included in aggregate %.

1125 of 1362 relevant lines covered (82.6%)

29.65 hits per line