Add fuzz tests for insurance pool claim/reentrancy

[Levi-Ojukwu]

Description:

Acceptance Criteria:

• Property test for claim with random invoice IDs
• Test double-claim rejection
• Test claim with empty pool

Relevant Files: contracts/fuzz/src/lib.rs

---

[Theophilus131]

I'd like to work on this issue. I understand the goal is to strengthen the claim logic by adding property-based tests for random invoice IDs and covering important edge cases like double-claim prevention and empty pool claims. I'll implement the required tests to improve reliability and prevent regressions.

[Abdulazeem-code]

I would love to work on this issue sir. I would really appreciate. Thank you so much

[TheShnider]

@TheShnider has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

Hi. I have reviewed this issue and would like to work on it.

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

[BigDella]

@BigDella has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

i will love to work on this issue

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

[drips-wave]

Congratulations, @BigDella! 🎉 Your application was accepted by the repo's maintainers, and the issue is due on July 30, 2026.

🧑‍💻 @BigDella: Please resolve the issue such that the repo's maintainers have enough time to review your contribution before the due date. You'll earn Points for completing the issue on-time, which will make you eligible for a share of the Stellar Wave Program's reward pool.

Warning

When opening a PR, please link it to this issue to ensure it gets tracked accurately. Points are awarded when this issue is marked as completed by the maintainer.

🤠 Repo maintainers: Please keep an eye on the contributor's progress and review their work before the due date. You can manage this issue, including adjusting its complexity and points, here.

🌊 Happy Wave 🌊

[drips-wave]

This issue has been completed by @BigDella as part of the Stellar Wave Program's 7th Wave 🥳

😎 @BigDella: You earned 200 Points for completing this issue! After the current Wave ends, you'll be eligible for a percentage of the Wave's reward pool based on the percentage of total points you've earned. Learn more here. You can also Leave a review to share your experience working on this issue.

🧑‍💻 Repo maintainers: How'd the contributor do? Leave a review to share your experience working with them.