Add property-based fuzz tests for split math invariants

[Baskarayelu]

Description

Build property-based tests to prove split calculations preserve total amount and remain bounded across randomized inputs.

Requirements and context

• Must be secure, tested, and documented
• Should be efficient and easy to review
• Cover random totals, random valid percentages, and adversarial edges

Suggested execution

• Fork the repo and create a branch
• git checkout -b test/remit-split-property-fuzzing
• Implement changes
• Write contract: remittance_split/src/lib.rs
• Write comprehensive tests: remittance_split/tests/fuzz_tests.rs
• Add documentation: remittance_split/README.md
• Include NatSpec-style comments
• Validate security assumptions

Test and commit

• Run tests: cargo test -p remittance_split
• Cover edge cases
• Include test output and security notes

Example commit message

test: add property-based fuzz tests for split invariants

Guidelines

• Minimum 95 percent test coverage
• Clear documentation
• Timeframe: 96 hours

[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

[Caritajoe18]

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

Hello @Baskarayelu, I would like to take this on. I have experience in smart contracts and test-driven development, including property-based testing for financial logic.
Kindly assign to me.

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

[drips-wave]

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

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