Implement Soroban Optimization Behavior Guard

[mijinummi]

🧠 Concept

Detect behavioral differences introduced by automated optimizations.

⚠️ Problem

A resource improvement is unsafe if contract behavior changes unexpectedly.

📁 Implementation Scope

• packages/autofix/validation/behavior/
• packages/testing/soroban/

✅ Requirements

• Compare baseline behavior
• Compare optimized behavior
• Identify output differences
• Flag unexpected state changes

🎯 Acceptance Criteria

• Behavior guard implemented
• Baseline and optimized results compared
• Unexpected differences detected
• Unsafe optimizations rejected

[Goodness-0x]

@Goodness-0x has applied to work on this issue as part of the Stellar Wave Program's 8th wave.

Hi, I’ve reviewed the issue and understand the requirements. I have the skills needed to work on it and would be happy to take it up. Please assign it to me.

ℹ️ Repo Maintainers: To accept this application, review their application or assign @Goodness-0x to this issue.

[benzeneCLI]

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

Hi there, I'd like to contribute to this.

I'm a software engineer with strong experience in JavaScript and building scalable web applications. I'm comfortable working across the stack, writing clean, maintainable code, and collaborating in open source environments.

I've gone through the details of this issue and I'm confident I can deliver a clean, well-tested solution that fits the codebase.

I'd love the opportunity to work on this — please consider assigning it to me.

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

[drips-wave]

Congratulations, @benzeneCLI! 🎉 Your application was accepted by the repo's maintainers, and the issue is due on August 31, 2026.

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

[grantfox-oss]

🎉 This issue has been marked as completed on GrantFox as part of the Third Campaign campaign!

@benzeneCLI's PR #854 was approved and merged by @mijinummi.

🏆 @benzeneCLI: You earned 35 FoxPoints for this contribution! Your current tier: Explorer (844 total points). Track your full progress on GrantFox.

👏 Great work, @benzeneCLI! Keep contributing to MDTechLabs.

[drips-wave]

This issue has been completed by @benzeneCLI as part of the Stellar Wave Program's 8th Wave 🥳

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