solidjs / solid / 40741423170

78%

main: 89%

push

github

test(web): async app generator — generated async apps, liveness oracle, equivalence pairs, regression gate (#4371)

* test(web): async app generator — generated Loading/Errored/Show trees over async memos, with safety and liveness oracles

An opt-in campaign (ASYNC_GEN=1, pnpm async-gen) that generates small apps
(signals, sync and async memos with manual flights, latest()/isPending()
reads, Loading / Errored / Show / leaves with grouped or split attribute
effects) and scripts (writes, actions, settling flights in any order,
flush / microtask / task). Oracles: nothing throws or logs, no unhandled
rejection, no hole shows undefined/NaN, and once every flight has settled
the screen equals a fresh synchronous render of the final inputs. Survey,
shrink and minimize modes; the minimizer reduces the app as well as the
script.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0117BoWKJDzwaZPgaGWE181b

* test(web): async-gen equivalence pairs (grouping, identity memo, inert Errored, store twin, flush mode, owned memos)

ASYNC_GEN_PAIRS=E1,E2,E2e,E3,E6,E7 runs each scenario a second time
rewritten without changing its meaning and compares the screens at every
settle point (after the first render, each task step and the end);
differences are grouped by what each side shows. Scenarios also choose
whether memos are created at module level or inside the root component.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0117BoWKJDzwaZPgaGWE181b

* test(web): async-gen regression gate against a recorded baseline

1,500 generated scenarios (seed 3289, ~15 s) run with the web suite; each
case's safety and liveness laws are compared to baseline.json. A case that
newly breaks a law fails the suite (a change broke a neighbouring shape);
a recorded failure that no longer reproduces is reported, and
ASYNC_GEN_UPDATE=1 records it. The baseline holds today's 20 failing ... (continued)

790 of 1079 branches covered (73.22%)

Branch coverage included in aggregate %.

1122 of 1352 relevant lines covered (82.99%)

28.7 hits per line