solidjs / solid / 35785788686

74%

main: 89%

push

github

fix(signals): held truth is masked from lane passes only; deriving readers follow A29 (#3164, #3568) (#3590)

* fix(signals): held truth is masked from lane passes only; deriving readers follow A29 (#3164, #3568)

Confirming truth staged into a transaction that retains optimism
(CONFIG_HELD_TRUTH: a landing folded onto an optimistic store family, or a
carrier stolen by an awaited until()) is, to a deriving reader, a staged
value like any other: a memo or user effect served it enters the
transaction and is held with it (A29), so a pass composing it with a
superseded override's truth composes one staged world — never staged truth
beside committed neighbours (#3568's `1,2,3,HOLE len=4`). Untracked reads
keep committed (Rule 1), stale readers of a foreign transaction keep
committed (stale-of-foreign), latest() and until()'s predicate tunnel
through.

The one reader the mark gates is a lane pass, owning transaction or not: a
lane applies its frame display-ahead at the park, so a lane pass served the
truth paints the confirmation beside the optimism it confirms (GabbeV's
#3164 tear). It keeps committed and is re-run by the reveal's post-revert
wake. A lane under the retaining transaction owns its overrides and lane
cargo (ownsLane), not the transaction's confirming truth.

- readerSeesCommitted: the HELD_TRUTH arm gains `currentOptimisticLane !== null`.
- heldTruthMasked (store twin): masks lane passes only; everyone else takes
  pendingBackingVisible's hold arms (committed / owning / stale-of-foreign / A29).
- Rule text in constants.ts rewritten; stealEntangledCargo's "re-run under
  the mask" note corrected; RULES-INDEX regenerated.
- visibility-oracle: the held-truth state's `derivesFrom` → 1 and
  `published` → HELD (A29).

Supersedes #3589's owner exemption, which fixed the store's owning pass but
let the OWNING lane pass paint the confirmed truth beside live optimism.

Co-authored-by: Claude via Cursor <noreply@cursor.com>
Co-authored-by: Cursor <curs... (continued)

550 of 818 branches covered (67.24%)

Branch coverage included in aggregate %.

824 of 1070 relevant lines covered (77.01%)

17.43 hits per line