solidjs / solid / 43278664447

79%

main: 90%

push

github

fix(signals): a guess that changes an array's keys or length borrows nothing (#4793 follow-up) (#4814)

GabbeV's case: B guesses d[1]=2 on [], A guesses d[0]=1, B ends. Both
writes change the list's keys or length, so both write the list slot and
entangle (D-33); the survivor's frame holds [1,2] until both settle.
#4793 recorded B's keys as borrowed by A, so A's length read fell through
to the truth (0) beside A's rows. The borrowed record is now kept only for
a guess that adds, removes no key and leaves length alone (the #4784
index-write case).


Claude-Session: https://claude.ai/code/session_0117BoWNSSgtemsSYsaX2hXE

Co-authored-by: Claude <noreply@anthropic.com>

818 of 1112 branches covered (73.56%)

Branch coverage included in aggregate %.

1143 of 1372 relevant lines covered (83.31%)

30.1 hits per line