Repository navigation
fix(export): colour and filter graph.html edges by relation - #2237
Open
SyedFahad7 wants to merge 2 commits into
Open
SyedFahad7 wants to merge 2 commits into
SyedFahad7 wants to merge 2 commits into
Graphify Labs / Graphify Formal Verification
completed
Aug 29, 2026 in 0s
Behavior change detected in 2 function(s)
Compared 281ccaa4ff38aaef3f19e823fb7645e19b28f591 (base) against 6de98d9b27668763d2bad48a5db0a4f0e7959cfc (head).
Covered 3/3 changed functions (0 abstained, 0 never run)
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 2 | 1 | 0 | 0 |
graphify/exporters/html\.py· _html_script: distinguished (reproduced) — CrossHair found a concrete input where the versions differ (sound counterexample — verified by actually running both) · input\{"nodes\_json":"''","edges\_json":"''","legend\_json":"'\\\\x00'"\}→'\<script\>\\nconst RAW\_NODES = ;\\nconst RAW\_EDGES = ;\\nconst LEGEND = \\x0…vs'\<script\>\\nconst RAW\_NODES = ;\\nconst RAW\_EDGES = ;\\nconst LEGEND = \\x0…graphify/exporters/html\.py· _html_styles: distinguished (unconfirmed) — found an input where the two versions disagree
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