Intent-Code Divergence
Medium
- Confidence
- 97% confidence
- Finding
- This is a true issue: the file first classifies `rid` as an internal identifier that must not be displayed, but Scenario 3 later instructs the agent to show it to users. Exposing internal IDs can leak implementation details and create inconsistent behavior across flows, which may enable identifier harvesting or make later stake/redeem operations easier to target or confuse.
