Repository navigation
document verification deep links and latest pull request - #214
Conversation
Formal Verification opens a pinned run from ?run=. Overview's Latest pull request card links the matching review and verification for the same commit.
|
Preview deployment for your docs. Learn more about Mintlify Previews.
💡 Tip: Enable Automations to automatically generate PRs for you. |
There was a problem hiding this comment.
Copilot was unable to review this pull request because the user who requested the review has insufficient remaining quota. Try requesting a review at a lower effort level.
An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.
![graphify-labs-staging[bot]](https://avatars.githubusercontent.com/in/4517131?s=60&v=4){kind=small}
There was a problem hiding this comment.
No issues found by static checks — no coupling regressions or blocking issues in the code graph. That is not the same as safe to merge: see what was not checked.
Not checked: tests were not run; no formal proof of the changed code.
Graphify review — findings
Adds Latest pull request card to console overview that shows the newest review verdict plus attention items from the last 14 days and, on commit match, also surfaces the linked formal verification result with Open review and Open FV run links; the card hides when no recent review exists. Opening a run via a PR check’s View evidence or the overview card pins it at the top of the verification list even when older than the first page, while a missing or inaccessible run shows a not-found message.
No blocking issues surfaced.
Analysis details — impact, health, verification
Impact & health
Graphify review
Impact — 23 functions depend on the 23 functions this change touches.
Health — grade A; no new coupling hotspots.
Verification — 23 functions in the blast radius were not formally verified this run (proofs are advisory here).
Gate & verification
graphify gate
PASS — objectively clean (no health regressions, tests not run — proofs not run this pass (advisory)). Grounded, not self-assessed.
Advisory (not blocking):
- verification_scope: 23 function(s) in the blast radius were not formally verified this run
SyedFahad7
changed the title
What this adds
Formal Verification opens a specific run from
?run=<id>and pins it when the run is not on the first page. Overview's Latest pull request card shows the newest recent review and, when the head commit matches, the formal verification result, with links into Reviews and Formal Verification.Pages
platform/verification.mdxplatform/console.mdx