Update dependency certora-cli to v8.5.1

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
certora-cli (source)	==8.3.1 -> ==8.5.1

---

Release Notes

Certora/CertoraProver (certora-cli)

v8.5.1

Compare Source

Full Changelog: Certora/CertoraProver@8.5.0...8.5.1

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[changeset-bot]

⚠️ No Changeset found

Latest commit: 678ecb7

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[coderabbitai]

Walkthrough

This pull request updates the formal verification dependencies in fv-requirements.txt by bumping the certora-cli tool from version 8.3.1 to 8.5.1. The halmos dependency remains unchanged at 0.3.3. This represents a minor version update for the formal verification tooling used in the project.

Possibly related PRs

• Update dependency certora-cli to v8.3.1 #6061: Updates certora-cli dependency with an earlier version bump (8.3.0→8.3.1), establishing a pattern of maintaining current formal verification tooling.

Suggested labels

formal-verification, formal-verification-force-all

Pre-merge checks and finishing touches

✅ Passed checks (3 passed)

Check name	Status	Explanation
Title check	✅ Passed	The title clearly and specifically describes the main change: updating the certora-cli dependency to version 8.5.1, which matches the changeset exactly.
Description check	✅ Passed	The description is directly related to the changeset, detailing the certora-cli version bump from 8.3.1 to 8.5.1 with release notes and metadata from Renovate.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.

✨ Finishing touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Post copyable unit tests in a comment
• Commit unit tests in branch renovate/certora-cli-8.x

---

📜 Recent review details

Configuration used: CodeRabbit UI

Review profile: CHILL

Plan: Pro

📥 Commits

Reviewing files that changed from the base of the PR and between 4a4a606 and 678ecb7.

📒 Files selected for processing (1)

• fv-requirements.txt (1 hunks)

⏰ Context from checks skipped due to timeout of 90000ms. You can increase the timeout in your CodeRabbit configuration to a maximum of 15 minutes (900000ms). (9)

• GitHub Check: Redirect rules - solidity-contracts
• GitHub Check: Header rules - solidity-contracts
• GitHub Check: Pages changed - solidity-contracts
• GitHub Check: coverage
• GitHub Check: tests-upgradeable
• GitHub Check: tests-foundry
• GitHub Check: slither
• GitHub Check: tests
• GitHub Check: halmos

🔇 Additional comments (1)

fv-requirements.txt (1)

1-1: Confirm Python 3.9+ compatibility and verify formal verification test results with certora-cli v8.5.1.

Certora-cli v8.5.1 requires Python 3.9 or newer, a requirement introduced in v8.1.0. Since your fv-requirements.txt file was designed to avoid Netlify's Python 3.8 environment (note: the file comment contains a typo—"0.3.8" should be "3.8"), ensure that:

1. OpenZeppelin's CI environment runs Python 3.9+
2. All formal verification tests pass successfully with certora-cli v8.5.1
3. No breaking changes between v8.3.1 and v8.5.1 affect your verification specifications

---

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