security: Formal verification setup for selected invariants

[nanaf6203-bit]

Add a CI track that runs Kani or cargo-verifier on selected contracts covering: balance conservation, access-control role membership, and oracle-staleness bound.

[Danielobito009]

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

Hello Sir, can i get on this and get it resolved.

ℹ️ Repo Maintainers: To accept this application, review their application or assign @Danielobito009 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 🌊