Summary
All current testing (unit tests plus scripts/testnet-smoke.sh) exercises one assertion at a time. The mainnet readiness checklist in DEPLOYMENT.md explicitly flags "real-world dispute volume tested (all testing so far is synthetic)" as an open item.
Scope
Add a script or test scenario that deploys a Tholos instance to testnet and drives many concurrent/sequential assertions and disputes against it, to see how the contract and the resolver committee's workflow hold up under volume closer to real usage.
Proposed approach
Extend scripts/testnet-smoke.sh (or add a new script alongside it) that loops through creating N assertions, disputing a subset of them, and resolving disputes, timing each phase and reporting any failures.
Summary
All current testing (unit tests plus
scripts/testnet-smoke.sh) exercises one assertion at a time. The mainnet readiness checklist in DEPLOYMENT.md explicitly flags "real-world dispute volume tested (all testing so far is synthetic)" as an open item.Scope
Add a script or test scenario that deploys a Tholos instance to testnet and drives many concurrent/sequential assertions and disputes against it, to see how the contract and the resolver committee's workflow hold up under volume closer to real usage.
Proposed approach
Extend
scripts/testnet-smoke.sh(or add a new script alongside it) that loops through creating N assertions, disputing a subset of them, and resolving disputes, timing each phase and reporting any failures.