Intent-Code Divergence
Medium
- Confidence
- 95% confidence
- Finding
- `list_order_profit` is described as a read/list operation but is simultaneously tagged `[write]`, creating a dangerous mismatch between the apparent semantics and the declared safety class. That ambiguity can cause an agent or user to treat the action as harmless when it may mutate state, or conversely normalize incorrect safety metadata, increasing the chance of unintended writes in a finance-related ERP context.
