refactor(signals): move 3b — one implementation per rule for value selection; five store/signal parity fixes - #3523

Merged

ryansolid merged 10 commits into

nextfrom

refactor/owns-hold

Sep 17, 2026

Commits on Sep 17, 2026

refactor(signals): store node reads select by readerSeesCommitted (Rule 1, one implementation)

ryansolid
and
Claude via Cursor
committed
bfd6f6c
fix(signals): store backing paths record the stale reader's replay (Rule 1, backing-level form)

ryansolid
and
Claude via Cursor
committed
0148d58
fix(signals): a derivation's untracked read of a held store value is born held (A29 at the store's untracked paths)

ryansolid
and
Claude via Cursor
committed
d8e35a3
fix(signals): an optimistic store override survives its key becoming unobserved (S7; store follows signal)

ryansolid
and
Claude via Cursor
committed
2054045
refactor(signals): one ownership relation — ownsHold / ownsLane (move 3b step 6b); record the lane rulings

ryansolid
and
Claude via Cursor
committed
f329a26
refactor(signals): serve() — Rule 1's one slow selection for signals and store nodes (move 3b step 6c); A18 for untracked store reads

ryansolid
and
Claude via Cursor
committed
7a09cd9
chore(size): ratchet the move-3b caps over #3518/#3522 (one consolidated note per scenario)
ryansolid
committed
e9c49a1
refactor(signals): the store's backing visibility on the shared predicates — one holdVisible for both hold kinds (move 3b, the deletion half)

ryansolid
and
Claude via Cursor
committed
9db33cf
fix(signals): an optimistic add/delete survives its only structural observer leaving (S7, structural half; review of #3523)

ryansolid
and
Claude via Cursor
committed
c410709
test(signals): structural store states in the visibility oracle — in / Object.keys / descriptor under a held add and optimistic add/delete

ryansolid
and
Claude via Cursor
committed
aec7ecd