Withdrawn

[DiogoHSM]

Withdrawn by author.

[graphify-labs]

Graphify reviewed this change.

Looks safe to merge — no coupling regressions and no blocking issues, checked against the code graph (not a self-assessment).

Formal verification. No changes could be formally verified in this run.

---

Graphify review — findings

Extends the cross-language built-in guard in _rewire_unique_stub_nodes to cover calls edges, so a Python built-in exception constructor like RuntimeError(...) no longer rebinds to a unique same-named TypeScript class and fabricates a cross-language call edge (previously it only guarded supertype relations); the guard is renamed _names_own_builtin accordingly. Reframes the report's Knowledge Gaps section to label degree-≤1 nodes as "low-connectivity (≤1 edge)" instead of "isolated," adding a breakdown of disconnected vs. single-edge leaf nodes.

No blocking issues surfaced. 3 lower-confidence candidates did not survive cross-model review.

Analysis details — impact, health, verification

Impact & health

Graphify review

Impact — 1924 functions depend on the 622 functions this change touches.

Health — this change adds coupling hotspots:

• new: extract() — 498 callers, 42 callees
• new: _rebuild_code() — 98 callers, 50 callees
• new: extract_xaml() — 19 callers, 17 callees
• new: extract_js() — 83 callers, 3 callees
• new: dispatch_command() — 2 callers, 122 callees
• new: generate() — 31 callers, 6 callees
• new: _get_extractor() — 26 callers, 6 callees
• new: run_pipeline() — 8 callers, 13 callees
• …and 28 more — each is listed as a finding

Verification — 1924 functions in the blast radius were not formally verified this run (proofs are advisory here).

Gate & verification

graphify gate

PASS — objectively clean (no health regressions, tests not run — proofs not run this pass (advisory)). Grounded, not self-assessed.

Advisory (not blocking):

• verification_scope: 1773 function(s) in the blast radius were not formally verified this run

Formal verification

Could not verify: Could not verify \_rewire\_unique\_stub\_nodes.

The verifier did not have enough to check \_rewire\_unique\_stub\_nodes, so it is saying so rather than guessing. No false assurance is the whole point.

Guarantee: No guarantee either way, this is an honest abstention, not a pass.

Note: Reason: not verifiable: the input domain has 81 values but only 9 distinct were tested — a small finite domain must be EXHAUSTED, not sampled (an untested input could invert the result)

Could not verify: Could not verify generate.

The verifier did not have enough to check generate, so it is saying so rather than guessing. No false assurance is the whole point.

Guarantee: No guarantee either way, this is an honest abstention, not a pass.

Note: Reason: not verifiable: all 200 sampled inputs raised on both versions — the function never executed, so 'no divergence' would be vacuous (mostly ValueError — names the real obstacle, not a sampling gap)

· 36 more finding(s) on lines outside this diff (see the check run).