test: Property-based fuzz testing for property-token transfer edge cases

[nanaf6203-bit]

Use proptest on contracts/property-token/src/tests.rs for transfers: zero-amount, self-transfer, transfer of a non-existent token, and transferTo hooks on the recipient default.

[ppaker119]

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

Hi maintainer. I am interested in this issue.

I have experience working across frontend, backend, smart contracts, and developer tooling, and I’m comfortable making targeted fixes and improvements in existing codebases. I’ll ensure the implementation is clean, tested, and aligned with the project requirements.

Thanks!

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

[Devcyprian]

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

i can work on this , kindly assign this to me , i have worked on this kind of issue before , i have a very high experience with this

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

[dhareymu]

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

Hi maintainer,

Please, I would love to work on this project to fix the issues for you. I promise to work on it swiftly and create a PR for it in no time.

I look forward to working with you. Thank you.

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

[Dataguru-tech]

@Dataguru-tech has applied to work on this issue as part of the Stellar Wave Program's 6th wave.

Hi maintainer, I would like to work on this issue

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

[drips-wave]

Congratulations, @Dataguru-tech! 🎉 Your application was accepted by the repo's maintainers, and the issue is due on June 30, 2026.

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