Write Invariant Tests for Reward Distribution

[dDevAhmed]

📚 Overview

Ensure reward distribution maintains invariant properties regardless of execution order.

---

🎯 Objectives

Examples of invariants:

• Total rewards distributed ≤ reward pool
• User rewards proportional to stake
• No negative balances
• No reward duplication

---

🧠 Scope

Use invariant testing framework (Foundry preferred).

Contracts:

• Rewards
• Staking
• Claim resolution

---

✅ Acceptance Criteria

• Invariants clearly defined
• Tests deterministic
• CI passing

---

⏳ Complexity

High

[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

[ayomideadeniran]

@ayomideadeniran has applied to work on this issue as part of the Stellar Wave Program's 2nd wave.

I'm a full-stack developer and I'd like to take this issue.
I understand the requirements and will follow the existing project structure, keep the implementation clean, and include proper tests where applicable.

ETA: 1–3 days (depending on scope)
Portfolio: https://knightsdev-portfolio.vercel.app/

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

[Cedarich]

@Cedarich has applied to work on this issue as part of the Stellar Wave Program's 2nd wave.

Hello maintain, I would like to write invariant test reward distrubtion. kindly assign

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

[ayshadogo]

@ayshadogo has applied to work on this issue as part of the Stellar Wave Program's 2nd wave.

Hello,

I would like to contribute to this issue and resolve it.
Thank you.

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

[drips-wave]

Congratulations, @ayshadogo! 🎉 Your application was accepted by the repo's maintainers, and the issue is due on February 26, 2026.

🧑‍💻 @ayshadogo: 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 issued 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 🌊