enumerate LibFlow.flow reentrancy surface in NatSpec

[thedavidmeister]

Summary

LibFlow.flow NatSpec already says "DOES NOT prevent reentrancy attacks. This is the responsibility of the caller" — correct, but a future caller had to re-derive the actual reentrancy surface from scratch.

Now enumerated:

1. interpreterStore.set — external call to an arbitrary store contract chosen by the flow deployer.
2. ERC721 safeTransferFrom — invokes onERC721Received on a contract recipient.
3. ERC1155 safeTransferFrom — invokes onERC1155Received on a contract recipient.
4. ERC20 safeTransfer / safeTransferFrom — non-reentrant for compliant ERC20s, but ERC777 (presents an ERC20 interface) invokes tokensToSend / tokensReceived via the ERC1820 registry.

Closes #309.

Test plan

• full suite via rainix-sol-test
• static via rainix-sol-static
• forge build

🤖 Generated with Claude Code

[coderabbitai]

Warning

Rate limit exceeded

@thedavidmeister has exceeded the limit for the number of commits that can be reviewed per hour. Please wait 42 minutes and 18 seconds before requesting another review.

To keep reviews running without waiting, you can enable usage-based add-on for your organization. This allows additional reviews beyond the hourly cap. Account admins can enable it under billing.

⌛ How to resolve this issue?

After the wait time has elapsed, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

We recommend that you space out your commits to avoid hitting the rate limit.

🚦 How do rate limits work?

CodeRabbit enforces hourly rate limits for each developer per organization.

Our paid plans have higher rate limits than the trial, open-source and free plans. In all cases, we re-allow further reviews after a brief timeout.

Please see our FAQ for further information.

ℹ️ Review info

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Pro

Run ID: 02272cf7-4ccd-49fe-9a87-8763b315e18f

📥 Commits

Reviewing files that changed from the base of the PR and between ceaea3c and f09f718.

📒 Files selected for processing (1)

• src/lib/LibFlow.sol

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch 2026-05-04-issue-309-libflow-reentrancy-natspec

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Review rate limit: 0/1 reviews remaining, refill in 42 minutes and 18 seconds.}

_{Comment @coderabbitai help to get the list of available commands and usage tips.}