feat(r): extract R with tree-sitter and resolve calls corpus-wide - #2393
Open
fernando-duarte wants to merge 1 commit into
Open
feat(r): extract R with tree-sitter and resolve calls corpus-wide#2393fernando-duarte wants to merge 1 commit into
fernando-duarte wants to merge 1 commit into
Graphify Labs / Graphify Formal Verification
completed
Aug 2, 2026 in 0s
No divergence found (not a proof)
Compared 00efd6e7969837ae4a9f11d8d504dcd3b20b09df (base) against 4a58e56c29fb035f763dfb4221f18056c34108b4 (head).
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 |
graphify/extract\.py· extract: unsupported — parameter `cache_root` is annotated `Path | None` — 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)
- none of the 0 changed id(s) matched a code node in the graph (0 known) — 3 changed function(s) recovered directly from the git diff instead (graph may be stale/unsynced; consider a rebuild)
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