perf(detect): hoist per-pattern work out of the ignore-matching loop - #2869
Closed
Alond wants to merge 2 commits into
Closed
perf(detect): hoist per-pattern work out of the ignore-matching loop#2869Alond wants to merge 2 commits into
Alond wants to merge 2 commits into
Graphify Labs / Graphify Formal Verification
completed
Aug 19, 2026 in 0s
No divergence found (not a proof)
Compared 558df6d57d61cb6ef79c740ec7473c6d953d79a7 (base) against 111ff48fb3328a600d6f3a79062c1a8ccb8c1874 (head).
Covered 0/1 changed functions (1 abstained, 0 never run)
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 |
graphify/detect\.py· _is_ignored: unsupported — parameter `path` is annotated `Path` — outside the synthesizable primitive/collection set
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