solidjs / solid / 41025017498

78%

main: 89%

push

github

test(signals): reader seat — the slot table and shadow differential as a CI spec (S0+M1, byte-identical) (#4438)

* docs(plans): reader-seat rebuild — build the seat beside the deciders under __TEST__, differential, then swap

Co-authored-by: Cursor <cursoragent@cursor.com>

* test(signals): reader seat shadow — new seat/slot implementation under __TEST__ beside the existing deciders

core/seat.ts computes the reader seat (world/lane/ahead/posture) and the
slot table (U/F/L/D/V/Vl/Vp/A/B rows) beside today's deciders; under
__TEST__ every read and every recompute compares the two and records
disagreements (INV-seat-1..3) into a registry (SEAT_SHADOW_REPORT /
__SEAT_SHADOW_STRICT__). Nothing reaches a build: every statement is
behind __TEST__ (false in every rollup define); SIGNALS_TEST_DEFINE=true
builds a dev dist with it on for the solid/web/generator differential.

Design doc §3/§6/§7 updated with the harness as built, the table rows
found wrong against a rule (fixed in seat.ts), and the two-readings
items the differential leaves open.

Co-authored-by: Claude via Cursor <noreply@cursor.com>

* test(signals): reader seat shadow — 50k differential: staged-error and published-inputs table rows, results in the design doc

The 50,000-case generator runs (seeds 3289, 91501, 7, every pair) found two
table rows wrong against a rule, fixed in seat.ts (test-only):

- L4 / L2 / V1' (D-41): a held node's staged error throws for a leaf or a
  born-into frame reader; the rows said P.
- V3 (F-9, #3305): a verdict reader's plain read of a node staged and in
  flight with INPUTS_PUBLISHED is the flight's (V4', NR), not the staging.

Design doc §4.2 records the differential results (suites, 2k, 50k) and §6
the two rows; RULES-INDEX regenerated for the new #3305 citation. Build
output unchanged (size harness: 15/15 bundling scenarios byte-identical).

Co-authored-by: Claude via Cursor <noreply@cursor.com>
Co-authored-by: Cursor <cursoragent@cursor.com>

* docs(plans)... (continued)

790 of 1090 branches covered (72.48%)

Branch coverage included in aggregate %.

1125 of 1362 relevant lines covered (82.6%)

29.81 hits per line