What to collect
- Nested call order and callers
- Relevant code and state updates
- Surviving balance changes
Repeated calls are not enough to establish reentrancy. The nested order and vulnerable state handling must support the explanation.
Test the idea
A function runs twice in one transaction. Is that automatically reentrancy?
Reveal the explanation
No. Sequential calls are different from nested re-entry. Examine the call tree and the contract’s state handling.