Add Property Tests for Statistics Accuracy

[popsman01]

Description
Verify statistics fields remain accurate across game creation, wins, losses, payouts, and continuations.

Motivation
Tests are the primary safety net for the Tossd contract. Without coverage for this area, regressions can go undetected and break game fairness or fund safety guarantees.

Requirements and context

• Must be secure, tested, and documented
• Should be efficient and easy to review
• Primary files: Tossd-contract/src/lib.rs

Proposed Solution
Complete the following in a focused PR off feature/statistics-accuracy-tests:

• Write property tests for stats accounting
• Cover multi-game sequences
• Document stat semantics

Technical Implementation

Files to modify:

• coinflip-contract/src/lib.rs

Implementation steps:

• Write property tests for stats accounting
• Cover multi-game sequences
• Document stat semantics

Branch: feature/statistics-accuracy-tests

Example commit message

test: add statistics accuracy property coverage

Acceptance Criteria

• Run tests
• Cover edge cases
• Include test output and accounting notes

Guidelines

• Assignment required before starting
• PR description must include: Closes #143

[drips-wave]

This issue has been added to the Stellar Wave Program and is worth 200 Points.

🧑‍💻 Interested in contributing? Apply to work on this issue on Drips Wave, earn points, and receive rewards.

Warning

Only applications submitted via the apply link above will be considered. Please do not apply by commenting on the issue or opening a PR directly.

🤠 Repo maintainers: You can manage this issue's Points and Complexity on your Maintainer Dashboard here. Please keep an eye on applications and respond quickly 💙

ℹ️ Learn more about Drips Wave

[Ryjen1]

@Ryjen1 has applied to work on this issue as part of the Stellar Wave Program's 3rd wave.

Kindly assign

ℹ️ Repo Maintainers: To accept this application, review their application or assign @Ryjen1 to this issue.