StoneCypher / jssm / abb1ad831977d93e42c8957730a6d155892f697d

100%

master: 100%

push

github

test(dragon): engage fast-check properly + print seeds on a find (WP-6)

The kitchen-sink dragon ran fc.assert(fc.property(...)) at collection time and
registered a deferred test() per iteration, returning undefined from the property
— so fast-check never saw the assertion: no shrinking, and no reproducible seed
on a find. It passed, but couldn't meaningfully fail.

Move the halt-vs-shouldHalt assertion INSIDE fc.property (throw with gen_seed +
machine context on mismatch) and wrap it in one it() running numRuns:100. Now a
find prints both the splitmix gen_seed (as the shrunk counterexample) and
fast-check's own replay seed, plus the offending machine string.

Verified: green (1 property, 100 runs); and, with the assertion temporarily
inverted to force a find, fast-check reported `{ seed: 740228835, ... }` +
`Counterexample: [false,0]` + `Shrunk 1 time(s)` + the machine — reproducible.
Generation/walk logic preserved (single splitmix stream); dead code removed.

WP-6 step 1 (revive green + seeds print) complete. eslint clean.

2595 of 2595 branches covered (100.0%)

Branch coverage included in aggregate %.

4158 of 4158 relevant lines covered (100.0%)

47841.76 hits per line