fix: bound release proof head polling - #787
Merged
Merged
Graphify Labs / Graphify Formal Verification
completed
Aug 16, 2026 in 0s
No divergence found (not a proof)
Compared 53925c3981eb8f041a03398f73d747626edc0a9c (base) against 4d07b6f1c8281eee5f35d255ff61e2bdb26a2959 (head).
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
No divergences or abstentions to report.
Backend availability notices:
- 1 changed test function(s) excluded from verification (a test is the oracle, not the subject)
- none of the 0 changed id(s) matched a code node in the graph (0 known) — 2 changed function(s) recovered directly from the git diff instead (graph may be stale/unsynced; consider a rebuild)
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