feat(r): extract roxygen cross-references and S3 dispatch - #2395
Open
fernando-duarte wants to merge 2 commits into
Open
feat(r): extract roxygen cross-references and S3 dispatch#2395fernando-duarte wants to merge 2 commits into
fernando-duarte wants to merge 2 commits into
Graphify Labs / Graphify Formal Verification
completed
Aug 2, 2026 in 0s
No divergence found (not a proof)
Compared 00efd6e7969837ae4a9f11d8d504dcd3b20b09df (base) against a38b70cab4c8b7c9a26f6b1733dd279b6305fb80 (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