🧠 Concept
Detect state updates that do not materially change contract state.
⚠️ Problem
Writing an unchanged value can consume resources without providing useful state changes.
📁 Implementation Scope
packages/rules/soroban/state/
packages/analyzers/soroban/state/
✅ Requirements
- Compare known old and new values
- Detect redundant writes
- Handle conditional mutations
- Generate optimization suggestions
🎯 Acceptance Criteria
🧠 Concept
Detect state updates that do not materially change contract state.
Writing an unchanged value can consume resources without providing useful state changes.
📁 Implementation Scope
packages/rules/soroban/state/packages/analyzers/soroban/state/✅ Requirements
🎯 Acceptance Criteria