Description-Behavior Mismatch
Medium
- Confidence
- 96% confidence
- Finding
- The skill claims to initiate payments, but it also performs an additional state-changing on-chain action by calling registerAgent(payerAddress) when the signer is not registered or active. This violates the principle of least surprise: a user expecting only a payment may unknowingly authorize account enrollment or role activation, which can have compliance, permission, or financial consequences depending on the BorrowerManager semantics.
