solidjs / solid / 37423347339

76%

main: 89%

push

github

test(web): frames/hydration consistency contract — 19 invariants, pins, and a property harness (9 red on next) (#3813)

* test(web), docs: frames consistency contract — pins C1–C10, C12, C17, support

The contract document (invariants, mechanisms, verdicts, red diagnoses
R1–R8), `test/consistency/support.ts`, and one pin per invariant for
C1–C10, C12 and C17. Reds are `test.fails` with observed vs expected.
Codec warm-up is a trace-less probe chunk (portable to S1); C7(a)'s
720-permutation arm carries an explicit budget.

* test(web): consistency pins C11 (trace equals oracle — holds) and C13 (sweep atomicity — red on both faces)

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

* test(web): consistency pin C14 (disposal leaves nothing — holds)

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

* test(web): consistency pins C15 (staging atomic) + C16 (reference identity) — both hold

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

* test(web): consistency property harness (fast-check) + replay pins C18/C19

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

* test(web): harness — tag a pre-claim trace patch as C19 regardless of later patches

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

* docs: contract — C14/C15/C16 verdicts, C18/C19 (harness-found), R9/R10, harness + S1 delta, fix order

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

* docs: contract — base moved to next @ a8c98bd2e, verdicts re-verified

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

* test(web): C15 pin — optional-chain the host store read (test-types TS2532)

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

---------

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

654 of 930 branches covered (70.32%)

Branch coverage included in aggregate %.

963 of 1196 relevant lines covered (80.52%)

28.22 hits per line