## Summary If `simulate_payout` (or equivalent) exists, force parity with live settle for UpDown/Precision/fee models. Treat drift as a bug. ## Acceptance criteria - [ ] Shared math path or differential tests - [ ] Property tests over random pots - [ ] Documented for frontends ## Where - `contracts/src/queries.rs` / settlement helpers - `contracts/src/tests/`
Summary
If
simulate_payout(or equivalent) exists, force parity with live settle for UpDown/Precision/fee models. Treat drift as a bug.Acceptance criteria
Where
contracts/src/queries.rs/ settlement helperscontracts/src/tests/