$ bash -e -o pipefail -c node --test tests/*.test.mjs
✔ roulette zero loses and even pockets pay exactly twice the stake (0.746354ms)
✔ all slot combinations have defined integer payouts (1.025461ms)
✔ rejection sampling discards biased random values (0.174272ms)
✔ insufficient balance never creates a round (0.421705ms)
✔ invalid rounds do not consume randomness or mutate balances (0.944721ms)
✔ returned rounds cannot rewrite the stored history (0.771301ms)
ℹ tests 6
ℹ suites 0
ℹ pass 6
ℹ fail 0
ℹ cancelled 0
ℹ skipped 0
ℹ todo 0
ℹ duration_ms 53.21534

$ node .proof/demo.mjs
{"virtual_credit_only":true,"round":{"sequence":1,"at":"2026-10-10T05:29:20.233Z","game":"slots","stake":10,"draws":[0,0,0],"payout":200,"net":190,"balance":210},"balance":210,"overdraft_rejected":true}