fix: affected silently returns nothing for equivalent path forms - #2707
Closed
phudayyy wants to merge 1 commit into
Closed
fix: affected silently returns nothing for equivalent path forms#2707phudayyy wants to merge 1 commit into
affected silently returns nothing for equivalent path forms#2707phudayyy wants to merge 1 commit into
Graphify Labs / Graphify Formal Verification
completed
Aug 13, 2026 in 0s
No divergence found (not a proof)
Compared e4bfd2ad1a9393251023a4edef93e93dc798afc7 (base) against 23bbe7e13c4430e4d8fd4e7db509184df4dde8ba (head).
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 1 | 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.
Loading