Intent-Code Divergence
Medium
- Confidence
- 92% confidence
- Finding
- This example is labeled as 'read-only', but it constructs a mutable LightAccount with `new_mut()` and invokes the Light System Program, which consumes and re-creates compressed state on-chain. Developers following this pattern may unintentionally perform writes, incur state transitions, and introduce logic bugs or replay/concurrency issues because the operation is not actually read-only.
