docs: document CI parity checks - #2668
Closed
redzwanmutalib wants to merge 1 commit into
Closed
Graphify Labs / Graphify Formal Verification
completed
Aug 12, 2026 in 0s
No divergence found (not a proof)
Compared 26128abf693e4aa691acb58727c1176eacb9b464 (base) against 67ba9252751545da2d20eb81540e517fcb7442b2 (head).
| 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.
Loading