Update dependency certora-cli to v8.6.3

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
certora-cli (source)	==8.6.1 → ==8.6.3

---

Release Notes

Certora/CertoraProver (certora-cli)

v8.6.3

Compare Source

What's Changed

• 18.12.25 Release by @​yoav-el-certora in #​52

Full Changelog: Certora/CertoraProver@8.6.2...8.6.3

---

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: dc5c350

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

[socket-security]

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	pypi/​certora-cli@​8.6.1 ⏵ 8.6.3	-12				-30

View full report

[coderabbitai]

Walkthrough

This pull request updates the certora-cli dependency version in fv-requirements.txt from 8.6.1 to 8.6.3. The change is confined to a single version bump in the requirements file, with no modifications to code logic, exported entity declarations, or other files.

Possibly related PRs

• Update dependency certora-cli to v8.3.1 #6061: Updates the same certora-cli dependency in fv-requirements.txt to a different target version
• Update dependency certora-cli to v8.6.1 #6146: Modifies certora-cli dependency in fv-requirements.txt, targeting a different version than this PR

Suggested labels

formal-verification, formal-verification-force-all

Pre-merge checks

✅ Passed checks (3 passed)

Check name	Status	Explanation
Title check	✅ Passed	The title accurately and concisely describes the main change: updating the certora-cli dependency to v8.6.3.
Description check	✅ Passed	The description is related to the changeset, providing release notes and package update information for the certora-cli dependency bump.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.

---

📜 Recent review details

Configuration used: Repository UI

Review profile: CHILL

Plan: Pro

📥 Commits

Reviewing files that changed from the base of the PR and between 884e2f6 and 813b068.

📒 Files selected for processing (1)

• fv-requirements.txt

⏰ 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). (6)

• GitHub Check: tests
• GitHub Check: tests-foundry
• GitHub Check: coverage
• GitHub Check: tests-upgradeable
• GitHub Check: slither
• GitHub Check: halmos

🔇 Additional comments (1)

fv-requirements.txt (1)

1-1: Verify Certora CLI v8.6.3 compatibility.

The version bump is straightforward, but please ensure v8.6.3 has no breaking changes or migration requirements compared to v8.6.1. Confirm that the formal verification test suite passes with this updated version to validate compatibility with your codebase.

The web search returned results about general Certora changelog pages but did not provide specific information about v8.6.3. The search shows that the Certora documentation lists versions 8.1.0 (August 11, 2025) and earlier. Since v8.6.3 would be much more recent than v8.1.0, let me search more specifically.The search results show that v8.1.0 was released on August 11, 2025 with breaking changes. However, I still don't have specific information about v8.6.3. Let me search for more recent releases or check PyPI directly for version availability.The search results indicate that the highest version I can see documented is v8.1.1. The PyPI page for certora-cli v8.6.3 appears to have JavaScript issues preventing access. Given this information, let me provide a thoughtful review based on what we know.

---

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

[renovate]

Edited/Blocked Notification

Renovate will not automatically rebase this PR, because it does not recognize the last commit author and assumes somebody else may have edited the PR.

You can manually request rebase by checking the rebase/retry box above.

⚠️ Warning: custom changes will be lost.