Emit a bare file node for skipped data JSON (#2108) - #3626
Open
ayushcodes10 wants to merge 3 commits into
Open
ayushcodes10 wants to merge 3 commits into
ayushcodes10 wants to merge 3 commits into
Graphify Labs / Graphify Formal Verification
completed
Sep 17, 2026 in 0s
No divergence found (not a proof)
Compared 26b02b5e3430e4ab85dd7e72c7b98836d8e65c48 (base) against 5bc0939527f6d06d7364f743d50fc528a1d7d8b9 (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/extractors/json\_config\.py· extract_json: unsupported — no capturable inputs from the test suite; property tier: parameter `path` is annotated `Path` — outside the synthesizable primitive/collection set
Backend availability notices:
- 2 changed test function(s) excluded from verification (a test is the oracle, not the subject)
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