ci: separate candidate validation from release authority - #785
Merged
Graphify Labs / Graphify Formal Verification
completed
Aug 16, 2026 in 0s
No divergence found (not a proof)
Compared 24f9d22cc73771dfcb9131fd841573ec6c67e07b (base) against b821af4ecca8fdf5afb5415c7f2f9fe68585754f (head).
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
No divergences or abstentions to report.
Backend availability notices:
- 2 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) — 26 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