Prepare Graphify Cursor plugin for marketplace review - #1
Merged
Merged
Graphify Labs / Graphify Formal Verification
completed
Sep 30, 2026 in 0s
No divergence found (not a proof)
Compared b8eae38f6bdba7db4c2cb39991aa2266b247083b (base) against a748eb461025ea9c0d027153501e93f7491826ef (head).
Covered 1/5 changed functions (4 abstained, 0 never run)
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 1 | 4 | 0 |
scripts/validate\-template\.mjs· main: unsupported — not verifiable: all 1 sampled inputs raised on both versions — the function never executed, so 'no divergence' would be vacuousscripts/validate\-template\.mjs· readJsonFile: unsupported — not verifiable: all 23 sampled inputs raised on both versions — the function never executed, so 'no divergence' would be vacuousscripts/validate\-template\.mjs· summarizeAndExit: unsupported — not verifiable: all 1 sampled inputs raised on both versions — the function never executed, so 'no divergence' would be vacuousscripts/validate\-template\.mjs· validateReferencedPath: unsupported — not verifiable: all 23 sampled inputs raised on both versions — the function never executed, so 'no divergence' would be vacuous
Backend availability notices:
- none of the 0 changed id(s) matched a code node in the graph (0 known) — 5 changed function(s) recovered directly from the git diff instead (graph may be stale/unsynced; consider a rebuild)
Evidence certificates (JSON / Markdown): open in Graphify (sign-in required).
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