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.

[kulayddon]

Hi Maintainer, I'm interested in working on this issue. I have relevant experience handling similar tasks and would be happy to contribute. If assigned, I can begin immediately and keep you updated on my progress.

[joelpeace48-cell]

@kulayddon , you are assigned....Ensure all ci pipeline passes

[grantfox-oss]

🦊 GrantFox — @kulayddon has been assigned to this issue as part of the Official Campaign | FWC26 campaign!

Next steps:

1. Open a Pull Request referencing this issue (e.g., Closes #801)
2. Your PR will be reviewed by the FinesseStudioLab maintainers

Good luck! Track your progress on GrantFox.