Repository navigation
fix(query): retain visited-node relationships in fallback traversal - #4315
Closed
vibhanshu-mishra wants to merge 1 commit into
Closed
vibhanshu-mishra wants to merge 1 commit into
vibhanshu-mishra wants to merge 1 commit into
Graphify Labs / Graphify Formal Verification
completed
Oct 11, 2026 in 0s
No PR-changed functions were verified
Compared merge-base b4e6307bf170f27e0cb888c03f4af9308d531a42 (where this PR branched from the base branch) against head fde445e263328a441af36284ac169e2d8c3043a7. Changes on the base branch since then are not attributed to this PR.
PR-changed functions: none were verified
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
No divergences or abstentions to report.
Formal verification is advisory: equivalent is a proof over a bounded sound subset; may_equivalent is sampled, not proven; unsupported and error are honest abstentions. A vacuous check (it never exercised the function) is counted as not verified. Only functions this PR changed are counted; context functions are listed separately.
Loading