Commit 438a3e9
committed
test(xmtp_mls,xmtp_api_d14n): bidi delivery fuzz — racing clients + proptest ledger model
Two layers of randomized no-loss checking for XIP-83 bidi delivery:
- Live fuzz against the containerized node: up to 10 racing member
producers x up to 10 consumers (raw connections in the server-contract
test; per-consumer proxied BidiTransports in the transport test), with
per-lease strictly-increasing delivery, chain-union completeness, and
toxiproxy network faults. Seeded and replayable; schedule telemetry
proves every lever fires.
- Deterministic proptest model of the transport ledger over the scripted
mock wire: generated op schedules (publish/lease/drop/serve/partial-
serve/wire-kill) against an in-memory XIP-83 server model, with real
shrinking. Found the virgin-topic snapshot loss and the cross-wave
watermark gap-jump fixed in the tags commit; regression seeds checked in.1 parent 977d84a commit 438a3e9
6 files changed
Lines changed: 2111 additions & 0 deletions
File tree
- .config
- crates
- xmtp_api_d14n
- proptest-regressions/queries
- src/queries
- xmtp_mls/src/subscriptions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
42 | 42 | | |
43 | 43 | | |
44 | 44 | | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
Lines changed: 8 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments