Skip to content

fix(signals): a lane member waiting only on re-asks does not hold the lane (#4834) - #4835

Open
ryansolid wants to merge 1 commit into
nextfrom
claude/project-thread-c5xes4-4834
Open

ryansolid wants to merge 1 commit into
nextfrom
claude/project-thread-c5xes4-4834

Conversation

@ryansolid

Copy link
Copy Markdown
Member

Summary

#4834: a heading memo that reads a guess renders empty when its async source lands while another action re-asks the list.

heading reads detail (still loading) and the renames guess, and the list's rows read the same guess. Here is what happens:

  1. The rename guess is out, and its lane has shown, so the rows show Delta.
  2. The other action finishes and calls refresh(list). The list row memo is a member of the guess lane, and it is now pending on that re-ask. That makes the lane blocked (blockedBy finds the list's boundary and render effect pending through it).
  3. detail lands. heading re-derives over it, and because it reads the guess, that pass is the lane's work: Delta is staged for the lane's next reveal.
  4. The lane is held, so the <h2> binding is served the memo's committed value. That value is "", derived while detail was still null, and it sits beside a <p> that already shows detail's answer.

Without the other action, nothing holds the lane and the heading shows Delta.

Fix (scheduler.ts blockedBy). When the transaction being judged is a lane, a member pending on re-asks only (reasks, from #4829) is skipped. Its screen keeps what it shows, and its answer re-derives as the lane's work when it lands. It's gated on guessing, so bundles without createOptimistic/createOptimisticStore fold it away.

Rules checked

  • D-34 ¶3 (a refresh() re-asks the same question and holds nothing new). This is the clause the fix applies, here to a lane's reveal, as fix(signals): a write is not held by a hold that waits only on re-asks (#4828) #4829 applied it to propagation onto a hold.
  • F-1 (the screen is whole). Restored. The heading and the body now show from the same detail answer, and the guess they share is the one the list shows.
  • A17 (a guess is visible until its own fetch settles). Kept. The action's hold still waits on its own flights (guessFlights, ownFlights on the parent are untouched), and the guess stays on screen.
  • The lane-membership ruling (2026-10-05): a member whose own flight is up blocks the lane. Narrowed: a flight that only re-asks the member's question doesn't block it.

How did you test this change?

  • New packages/signals/tests/blank-heading-4834.test.ts: the issue's sequence on source (mapArray, two loading boundaries), with and without the other action. It asserts every frame. The version with the other action fails on next.
  • New packages/web/test/blank-heading-4834.spec.tsx: the issue's DOM sequence, with and without the other action. It asserts every frame.
  • Signals: 7,105 passed.
  • Web client: 1,894 passed, plus the 7 dist-nested-manifests failures that every partial-dist worktree shows. Show-lowered: 1,846 passed. Hydrate: 779 passed.
  • Size: I'm leaving the numbers to CI. The change is behind guessing, so only the optimistic bundles should move.

Closes #4834


Generated by Claude Code

… lane (#4834)

A memo over a shown guess and a fresh async answer was the guess lane's
work, and the lane was held because a list row of it waited on another
action's `refresh()`. The memo's binding read its committed value, derived
before the answer, beside a sibling showing the answer. A refresh holds
nothing new (D-34 ¶3): a lane member pending on re-asks only no longer
blocks the lane's reveal. Behind `guessing`.

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

changeset-bot Bot commented Nov 13, 2026

Copy link
Copy Markdown

🦋 Changeset detected

Latest commit: c1949ba

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 15 packages
Name Type
@solidjs/signals Patch
test-integration Patch
@solidjs/web Patch
@solidjs/babel-plugin Patch
@solidjs/compiler Patch
@solidjs/diagnostics Patch
@solidjs/element Patch
@solidjs/h Patch
@solidjs/html Patch
solid-js Patch
@solidjs/universal Patch
board-example Patch
canvas-example Patch
server-dbmon-example Patch
todos-server-example Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@github-actions

Copy link
Copy Markdown

Size (brotli, eager entry chunk)

scenario head vs base minified vs base minified vs recorded cap lazy chunks (not counted)
signals: core floor (createSignal/Memo/Effect/Root/flush) 7.43 KB 0 B 0 B −104 B 7.43 KB ⚠️ over by 1 B, 124 B minified headroom
signals: + createStore 14.93 KB 0 B 0 B −504 B 15.13 KB ✅
signals: + isPending/latest 12.85 KB 0 B 0 B 0 B 12.86 KB ✅
signals: + until/refresh (truth readers, no optimism) 8.10 KB 0 B 0 B −31 B 8.12 KB ✅
app: render + one signal (the simple-app floor) 9.74 KB 0 B 0 B −453 B 9.81 KB ✅
app: hydrating (no stores) with Show/For/Loading/Errored/lazy 19.00 KB 0 B 0 B −444 B 19.11 KB ✅ lazy-page.js 0.04 KB
app: hydrating + every store primitive family 34.67 KB −57 B (−0.2%) +24 B −161 B 34.77 KB ✅ lazy-page.js 0.04 KB
app: CSR with Show/For/Loading/Errored/lazy 13.65 KB 0 B 0 B −443 B 13.77 KB ✅ lazy-page.js 0.04 KB
app: CSR, observe tier (same app on the observe artifacts) 15.36 KB 0 B 0 B −394 B 15.50 KB ✅ lazy-page.js 0.04 KB
app: CSR, observe tier + attribution engine enabled 30.03 KB 0 B 0 B −368 B 30.16 KB ✅ lazy-page.js 0.04 KB
app: compiled floor (one template, one text hole, one delegated click) 9.92 KB 0 B 0 B −505 B 9.99 KB ✅
app: compiled CSR (JSX todo app: spread/merge/omit, events, class/style, keyed For, Show, Loading + lazy, store) 26.42 KB 0 B 0 B −1031 B 26.75 KB ✅ stats.js 0.18 KB
app: compiled hydrating (the same JSX todo app through hydrate(), compiled hydratable) 32.67 KB 0 B 0 B −1027 B 33.00 KB ✅ stats.js 0.20 KB
frames: eager client consumer (frames client + transport, lazy codec) 11.75 KB 0 B 0 B 0 B 11.77 KB ✅
page: base server components (hydrating + dynamic + frames + sf reference) 34.01 KB 0 B 0 B −336 B 34.11 KB ✅ assets.js 0.78 KB, decode.js 7.09 KB, lazy-page.js 0.04 KB, regions.js 1.06 KB, trace.js 9.12 KB, wire.js 3.48 KB
page: live server components (base + live/GET + action + isPending/latest) 40.96 KB 0 B 0 B 0 B 40.97 KB ✅ assets.js 0.78 KB, decode.js 7.09 KB, lazy-page.js 0.04 KB, regions.js 1.06 KB, trace.js 9.14 KB, wire.js 3.48 KB
page: compiled base server components (the base page as JSX: templates with class/style/attributes/events, For/Show; no spread) 35.85 KB 0 B 0 B −626 B 36.06 KB ✅ assets.js 0.78 KB, decode.js 7.09 KB, regions.js 1.06 KB, sc-comments.js 0.20 KB, trace.js 9.14 KB, wire.js 3.48 KB
page: compiled live server components (the compiled base page + live/GET + action + isPending/latest) 44.92 KB 0 B 0 B 0 B 44.95 KB ✅ eager (counted): web.js 23.81 KB; assets.js 0.78 KB, decode.js 7.09 KB, regions.js 1.07 KB, sc-comments.js 0.19 KB, trace.js 9.16 KB, wire.js 3.48 KB
page: base + router (base page + @solidjs/router: createRouter, two routes, preload, useNavigate) 41.50 KB 0 B 0 B −423 B 41.60 KB ✅ assets.js 0.78 KB, decode.js 7.09 KB, lazy-page.js 0.04 KB, regions.js 1.06 KB, server.js 1.03 KB, serverForms.js 3.58 KB, trace.js 9.09 KB, wire.js 3.48 KB
page: live + router (live page + @solidjs/router: createRouter, two routes, preload, useNavigate) 50.69 KB 0 B 0 B 0 B 50.71 KB ✅ eager (counted): client.js 29.08 KB; assets.js 0.78 KB, decode.js 7.09 KB, lazy-page.js 0.04 KB, regions.js 1.07 KB, server.js 1.03 KB, serverForms.js 3.30 KB, trace.js 9.11 KB, wire.js 3.50 KB
server: floor (getRequestEvent + isServer) 1.27 KB 0 B 0 B 0 B 1.29 KB ✅
server: renderToString (the server-render floor) 22.93 KB 0 B 0 B +2 B 22.92 KB ⚠️ over by 9 B, 18 B minified headroom

⚠️ Over the brotli cap within the minified allowance (passes)

  • signals: core floor (createSignal/Memo/Effect/Root/flush): over brotli cap by 1 B; minified 19,819 B vs 19,923 B recorded with the cap (−104 B) — 124 B of the 20 B minified allowance left; +0 B minified over this PR's base
  • server: renderToString (the server-render floor): over brotli cap by 9 B; minified 77,890 B vs 77,888 B recorded with the cap (+2 B) — 18 B of the 20 B minified allowance left; +0 B minified over this PR's base

Bundled with Rolldown (what Vite ships), brotli q11, decimal KB. A scenario fails only when it is over its brotli cap and its minified size is more than 20 B over the minified recorded with the cap; over the cap within that allowance is brotli layout noise and passes with a warning. Caps and their recorded minified in scripts/size/scenarios.js; the floor and page caps in floor-caps.json are frozen (lower only, or Size-Exception: in the PR body). npm run ratchet lowers caps per RC; it never raises one (scripts/size/README.md).

@coveralls

Copy link
Copy Markdown

Coverage Report for CI Build 43487907805

Coverage remained the same at 78.945%

Details

  • Coverage remained the same as the base build.
  • Patch coverage: No coverable lines changed in this PR.
  • No coverage regressions found.

Uncovered Changes

No uncovered changes found.

Coverage Regressions

No coverage regressions found.


Coverage Stats

Coverage Status
Relevant Lines: 1372
Covered Lines: 1143
Line Coverage: 83.31%
Relevant Branches: 1112
Covered Branches: 818
Branch Coverage: 73.56%
Branches in Coverage %: Yes
Coverage Strength: 30.3 hits per line

💛 - Coveralls

@codspeed

codspeed Bot commented Nov 13, 2026

Copy link
Copy Markdown

Merging this PR will degrade performance by 11.81%

3 warnings

⚠️ Upgrade your CodSpeed plugin for Node.js 24

@codspeed/* 5.4.0 is only tested on Node.js 18, 20, and 22, so your Node.js 24 measurements may be inaccurate. Upgrade your @codspeed/* packages to 6.0.0 or later.

See affected benchmarks

⚠️ 3 benchmarks are dominated by system calls

System calls cannot be simulated consistently and are left out of the measure. The reported value understates the real cost. Switch to the Walltime instrument to measure them.

Learn more about system calls

See affected benchmarks

⚠️ 1 benchmark with a significant change ran on different hardware

Its base and head results were measured on machines with a different CPU, core count or memory, so the change might not come from the code. Run base and head on the same runner type.

Learn more about Macro Runners

See affected benchmarks

❌ 1 regressed benchmark
✅ 200 untouched benchmarks
⏩ 5 skipped benchmarks1

Warning

Please fix the performance issues or acknowledge them on CodSpeed.

Performance Changes

Benchmark BASE HEAD Efficiency
❌ projection derive: write one NESTED field (reference) 2.2 ms 2.5 ms -11.81%

Tip

Investigate this regression by commenting @codspeedbot fix this regression on this PR, or directly use the CodSpeed MCP with your agent.


Comparing claude/project-thread-c5xes4-4834 (c1949ba) with next (f00ce6f)

Open in CodSpeed

Footnotes

  1. 5 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

Copy link
Copy Markdown
Member Author

The CodSpeed flag on projection derive: write one NESTED field (reference) (−11.8%) isn't from this change.

No other benchmark moved (200 untouched).


Generated by Claude Code

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.

3 participants