Skip to content

specify UnregisteredFlow.unregisteredHash preimage in NatSpec#462

Open
thedavidmeister wants to merge 2 commits into
mainfrom
2026-05-07-issue-346-unregistered-flow-natspec
Open

specify UnregisteredFlow.unregisteredHash preimage in NatSpec#462
thedavidmeister wants to merge 2 commits into
mainfrom
2026-05-07-issue-346-unregistered-flow-natspec

Conversation

@thedavidmeister

Copy link
Copy Markdown
Contributor

Summary

Specifies the preimage in the UnregisteredFlow.unregisteredHash NatSpec — LibEvaluable.hash(EvaluableV2) over (interpreter, store, expression), which is also the key in the registeredFlows mapping.

Closes #346.

Test plan

  • build clean

🤖 Generated with Claude Code

The previous "Hash of the unregistered flow" docstring was circular —
it didn't tell an integrator what was hashed. The value is
`LibEvaluable.hash(EvaluableV2)` over `(interpreter, store,
expression)`, which is also the key in `registeredFlows`. NatSpec now
states this explicitly so an integrator catching the error can hash a
locally-known evaluable triple and identify which one was rejected.

Closes #346.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@coderabbitai

coderabbitai Bot commented May 7, 2026

Copy link
Copy Markdown

Warning

Review limit reached

@thedavidmeister, we couldn't start this review because you've reached your PR review rate limit.

More reviews will be available in 6 minutes and 56 seconds. Learn how PR review limits work.

Your organization has used up its prepaid credits, and credit purchases are no longer available. Enable the review add-on in the billing tab to keep reviews running — you're only billed for reviews past your plan's rate limits ($0.25/file).

⌛ How to resolve this issue?

After more reviews become available, 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 include higher PR review limits than trial, open-source, and free plans. In all cases, reviews become available again over time. During sustained high-volume PR review activity, CodeRabbit may temporarily slow when the next review becomes available.

Please see our Fair Usage Limits Policy for further information.

ℹ️ Review info
⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Pro

Run ID: 75d9c4a2-8250-4488-9487-96d480aee2b0

📥 Commits

Reviewing files that changed from the base of the PR and between ec7a7f7 and ffb80b0.

📒 Files selected for processing (1)
  • src/error/ErrFlow.sol
✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Commit unit tests in branch 2026-05-07-issue-346-unregistered-flow-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

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

@thedavidmeister thedavidmeister self-assigned this May 9, 2026
@thedavidmeister

Copy link
Copy Markdown
Contributor Author

Reviewed ffb80b0: specify UnregisteredFlow.unregisteredHash preimage in NatSpec — rebased onto main (test-only union conflict resolution + forge fmt), all checks green. LGTM.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[A02-5] [INFO] UnregisteredFlow.unregisteredHash NatSpec does not specify preimage

2 participants