chore(main): release 0.3.7 - #760
Merged
jason931225 merged 1 commit intoAug 16, 2026
Merged
Graphify Labs / Graphify Formal Verification
completed
Aug 16, 2026 in 0s
No divergence found (not a proof)
Compared 0e7cfc065f46620982479852b580b0b70236f678 (base) against e197b8e55d2fa1b54fc2fcc48b14b3b5c7da365e (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