Repository navigation
M0.P1: Repository hygiene and CI - #67
Merged
Merged
Graphify Labs / Graphify Formal Verification
completed
Oct 25, 2026 in 0s
No PR-changed functions were verified
Compared merge-base 622ef2ca6f1050f33bb479bbe6a46f27d62589d9 (where this PR branched from the base branch) against head 02f8f141695d4651a518b62e969a4aa11ccd901d. Changes on the base branch since then are not attributed to this PR.
PR-changed functions: none were verified
| 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. A vacuous check (it never exercised the function) is counted as not verified. Only functions this PR changed are counted; context functions are listed separately.
Loading