Repository navigation
feat(python): resolve self/cls/super() calls to a base-class method in another file - #4222
rohit-jsfreaky wants to merge 1 commit into
0/4 PR-changed function(s) verified · 4 not verified (2 vacuous, 2 unsupported)
Compared merge-base 6478eb71237c86ee5fb6a35c702835e987ca445d (where this PR branched from the base branch) against head b241c3bc794d62d4fb590d2b6ab7141584dfccf3. Changes on the base branch since then are not attributed to this PR.
PR-changed functions: 0/4 verified (0 proven, 0 may-equivalent, 0 distinguished) · 4 not verified (2 vacuous, 2 unsupported)
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 4 | 0 |
graphify/cli\.py· dispatch_command: unsupported (vacuous: never exercised, not verified) — no capturable inputs from the test suite; property tier: not verifiable: all 40 sampled inputs raised on both versions — the function never executed, so 'no divergence' would be vacuous (mostly SystemExit — names the real obstacle, not a…graphify/extract\.py· _resolve_python_member_calls: unsupported (vacuous: never exercised, not verified) — no capturable inputs from the test suite; property tier: non-vacuity: domain too small (only 1 distinct inputs exercised, need 3) — 'no divergence' would be near-vacuousgraphify/extractors/engine\.py· _extract_generic: unsupported — no capturable inputs from the test suite; property tier: parameter `config` is annotated `LanguageConfig` — outside the synthesizable primitive/collection setgraphify/watch\.py· _rebuild_code: unsupported — no capturable inputs from the test suite; property tier: nondeterministic output (both versions disagreed with themselves on the witness) — not a behaviour change; a function whose output is not a function of its inputs (random / time /…
Backend availability notices:
- none of the 0 changed id(s) matched a code node in the graph (0 known) — 4 changed function(s) recovered directly from the git diff instead (graph may be stale/unsynced; consider a rebuild)
Evidence certificates (JSON / Markdown): open in Graphify (sign-in required).
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. A vacuous check (it never exercised the function) is counted as not verified. Only functions this PR changed are counted; context functions are listed separately.