dead-code: cross-crate method calls not resolved — false positives for library APIs

[ajianaz]

What

cora dead-code reports functions with callers in other crates as dead.

Evidence

On codecoradev/uteke (5-crate Rust workspace):

• export_full / import_full (crates/uteke-core/src/structural_export.rs) reported no callers, but both are called from crates/uteke-cli/src/commands/maintenance.rs:191,274 (.export_full() / .import_full() method calls).
• remember_with_contradiction (uteke-core/src/consolidate.rs) reported dead, but called from both uteke-cli and uteke-server.
• Total run: 557 findings, most of them cross-crate method-call FPs.

Expected

Symbol index should record method-call targets (e.g. self.export_full()) as edges when the symbol exists anywhere in the indexed workspace, not only within the same file/crate.

Impact

dead-code output is unusable on multi-crate workspaces without manual filtering.