fix(watch): validate .graphify_root before anchoring stored sources on it (#2603) - #2778
Closed
catpotd wants to merge 1 commit into
Closed
fix(watch): validate .graphify_root before anchoring stored sources on it (#2603)#2778catpotd wants to merge 1 commit into
catpotd wants to merge 1 commit into
Graphify Labs / Graphify Formal Verification
completed
Aug 16, 2026 in 0s
No divergence found (not a proof)
Compared 4fca621532a23f84f69c31e397b75f8105cb5390 (base) against ec49a9df81bb40b4bf93ba1f1da58188c850178a (head).
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 |
graphify/watch\.py· __init__: unsupported — method — first parameter is `self`, which needs a constructed instance (not synthesizable)
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