fix(extract): preserve existing semantic layer on --code-only --force - #2925
Closed
santhiprakash wants to merge 2 commits into
Closed
fix(extract): preserve existing semantic layer on --code-only --force#2925santhiprakash wants to merge 2 commits into
santhiprakash wants to merge 2 commits into
Graphify Labs / Graphify Formal Verification
completed
Aug 24, 2026 in 0s
No divergence found (not a proof)
Compared b2cd36267456c166788c95be6e68574064a92a42 (base) against 428a93d27b3dda73d64bec525a36bad16e6ac855 (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/cli\.py· dispatch_command: unsupported — not verifiable: all 23 sampled inputs raised on both versions — the function never executed, so 'no divergence' would be vacuous (mostly SystemExit — names the real obstacle, not a sampling gap)
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