test: resolve fuzz (#826)

[Michealshodipo56]

Summary

Add proptest-based fuzz target for MarketResolutionManager::resolve_market() — the automated resolution path that requires an oracle result already set on the market.

Changes

• src/tests/resolve_market_fuzz.rs (new): Proptest-based fuzz tests covering:
  • Oracle result edge cases (None, empty, invalid, long strings)
  • Market state transitions (Active fails, Ended succeeds, already Resolved fails)
  • Vote distributions (no votes, single voter, skewed, balanced, ties)
  • Extreme stake values (i128::MIN, i128::MAX via raw bytes)
  • Idempotency (at most one resolve succeeds)
  • Min pool size enforcement
  • Resolution timeout behavior
• fuzz/targets/resolve.rs (new): Cargo-fuzz reference file documenting the proptest target
• fuzz/Cargo.toml: Register new resolve binary
• src/tests/mod.rs: Register new module

Tests

Run with:

cargo test -p predictify-hybrid -- resolve_market_fuzz

Closes #826

[drips-wave]

@Michealshodipo56 Great news! 🎉 Based on an automated assessment of this PR, the linked Wave issue(s) no longer count against your application limits.

You can now already apply to more issues while waiting for a review of this PR. Keep up the great work! 🚀

Learn more about application limits