ci: fail-slow one-sweep CI (PR-0) - #784
Merged
Merged
Graphify Labs / Graphify Formal Verification
completed
Aug 15, 2026 in 0s
No divergence found (not a proof)
Compared e21c04af25100672ab875191bbdd302faca48535 (base) against e0e39b11170a3c1521234fc746828f3a3379c267 (head).
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
No divergences or abstentions to report.
Backend availability notices:
- none of the 0 changed id(s) matched a code node in the graph (0 known) — 11 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