Testing: Property/invariant tests for contract accounting (proptest)

[joelpeace48-cell]

Context

Financial invariants (sum of balances == credited - redeemed; reserve >= outstanding liabilities;
no negative balances) should be proven across randomized op sequences, not just example tests.

Scope

• proptest/quickcheck sequences of credit/claim/redeem/withdraw/fund and assert invariants after each.
• Shrinking to minimal failing sequences; run in CI.

Acceptance criteria

• Invariants hold across thousands of randomized sequences; failures shrink to a minimal repro.

Verification

• CI runs the proptest suite; a seeded accounting bug is caught and shrunk.

[jesutobaadedejidev]

I would like to work on this. Do assign it to me.

[Talentgift24-ux]

I would love to work on this issue

[JuanVP2]

I'd like to work on this issue. I will implement the proptest framework to write comprehensive property and invariant tests for the contract accounting logic.

[gloskull]

Hello, I have 4 years of experience delivering solutions for projects like this, covering backend, frontend, and smart contract development. After carefully reviewing your requirements, I have a clear understanding of the task and am confident in my ability to deliver a clean, efficient, and thoroughly tested solution on time. I prioritize code quality, maintainability, and industry best practices throughout the development process. My PR will be submitted in under 10hours.