[contrib-wave] Engine: Extend S012 SEP-41 checks (decimals/name/symbol consistency)

[Gbangbolaoluwagbemiga]

Problem

S012 verifies the SEP-41 surface exists; it doesn't yet verify that decimals/name/symbol are consistent with storage (e.g. decimals is u32, stable across calls).

Acceptance Criteria

• Add consistency checks: signature match, no mutation of decimals post-init
• Tests against contracts/token-with-bugs/

Pointers

• tooling/sanctifier-core/src/sep41.rs

[libby-coder]

@libby-coder has applied to work on this issue as part of the Stellar Wave Program's 5th wave.

hi maintainer, can i work on this

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

[drips-wave]

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

🧑‍💻 @libby-coder: 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 @libby-coder as part of the Stellar Wave Program's 5th Wave 🥳

😎 @libby-coder: 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.