kyleandClaude Opus 5.5 13aaa5d5f7 test(sim): restore 64 proptest cases; check the bounce table overflows ...

60337d6 cut the shared props config from 64 to 16 cases for every
property to keep bounce_overflow_keeps_a_holder cheap (S12). The shared
block is back at 64; the bounce-overflow property gets its own 16-case
block, and now asserts that more than SEND_QUEUE_CAP ids left node 0
within one contact, so the table really overflowed.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-10-22 08:44:09 -07:00

..

convergence.rs

chore: ci script and README

2026-10-17 21:48:37 -07:00

props.rs

test(sim): restore 64 proptest cases; check the bounce table overflows

2026-10-22 08:44:09 -07:00

relay.rs

test(sim): custody chain and receipt properties

2026-10-18 12:14:51 -07:00