Remove faulty GitHub Actions Workflow for Python, fix: resolve explain-ambiguity, fix(ruby): resolve compact syntax mixin targets and prevent phantom concern hubs. - #1394
Closed
FolatheDuckofDuckingburg wants to merge 33 commits into
Graphify Labs / Graphify Formal Verification
completed
Aug 1, 2026 in 0s
No divergence found (not a proof)
Compared 3b243d644ef6b92508cb656405bf6b5a9f8172da (base) against 43b5c59d6b3aaccb367e82452440519ee7aeebab (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