solidjs / solid / 42460818532

79%

main: 89%

push

github

feat(signals): a question is asked only of the truth — F-2's producer clause on the M1 lane model (S-51..S-57, S-46, #4689) (#4717)

* refactor(signals): lane values on the node's two slots (spike M1)

Co-authored-by: tembo[bot] <208362400+tembo-io[bot]@users.noreply.github.com>

* refactor(signals): per-node lane record and shown mark (spike M1)

Co-authored-by: tembo[bot] <208362400+tembo-io[bot]@users.noreply.github.com>

* docs(signals): a question is asked only of the truth — F-2/F-6 amended, S-51..S-57 ruled, truth-asks oracle (on M1)

Co-authored-by: tembo[bot] <208362400+tembo-io[bot]@users.noreply.github.com>

* docs(signals): undo two unrelated reformats

Co-authored-by: tembo[bot] <208362400+tembo-io[bot]@users.noreply.github.com>

* docs(signals): §17 — building the producer clause: marker, the two reads, what the verdict lane loses

Co-authored-by: tembo[bot] <208362400+tembo-io[bot]@users.noreply.github.com>

* feat(signals): F-2's producer clause — an asker reads the truth, never the screen (S-51); verdict lane carries no asks

Co-authored-by: tembo[bot] <208362400+tembo-io[bot]@users.noreply.github.com>

* docs(signals): S-51 built — what the verdict lane keeps, the cost, the pins

Co-authored-by: tembo[bot] <208362400+tembo-io[bot]@users.noreply.github.com>

* fix(signals): a netted staging is no proposal for an asker either (D-8)

Co-authored-by: tembo[bot] <208362400+tembo-io[bot]@users.noreply.github.com>

* docs(signals): rules index regenerated

Co-authored-by: tembo[bot] <208362400+tembo-io[bot]@users.noreply.github.com>

* feat(signals): S-54 — pending stays true for a landed answer the lane still holds; the netted test first

Co-authored-by: tembo[bot] <208362400+tembo-io[bot]@users.noreply.github.com>

* feat(signals): S-53 — a held recovery to the last good value is a change of answer; latest shows it ahead

Co-authored-by: tembo[bot] <208362400+tembo-io[bot]@users.noreply.github.com>

* feat(signals): S-56 — a guess before ... (continued)

818 of 1112 branches covered (73.56%)

Branch coverage included in aggregate %.

1143 of 1372 relevant lines covered (83.31%)

30.21 hits per line