Fix case-only source path aliases on macOS - #2372
Open
EmanuelFaria wants to merge 1 commit into
Open
Graphify Labs / Graphify Formal Verification
completed
Aug 1, 2026 in 0s
No divergence found (not a proof)
Compared 3b243d644ef6b92508cb656405bf6b5a9f8172da (base) against 449c7a469446a16e2411bbb603c5f1981f2f8f25 (head).
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 2 | 0 |
graphify/watch\.py· _reconcile_existing_graph: unsupported — parameter `existing_graph` is annotated `Path` — outside the synthesizable primitive/collection setgraphify/watch\.py· rebase_preserved: unsupported — method — first parameter is `self`, which needs a constructed instance (not synthesizable)
Backend availability notices:
- none of the 0 changed id(s) matched a code node in the graph (0 known) — 2 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