Improve Rust call graph receiver resolution

CHANGELOG.md

@@ -2,12 +2,19 @@
 
 ## Unreleased
 
+- Improve Rust call-graph recall for source-proven `Arc`, `Rc`, and `Box`
+  receiver chains, typed chained-call results, and local evaluating
+  `macro_rules!` inputs. Rust universal evidence advances to producer version
+  2 so cached Rust files rebuild; ambiguous and non-evaluating macro inputs
+  continue to fail closed.
+
 - Add the bounded `compass.query.agent-view/1` projection for coding agents.
   Typed CLI and MCP query text now lead with result state, answer, and caveats;
   `--format agent-json` and MCP `agentView` expose the same deterministic
   source-linked view while raw query JSON remains unchanged. Discovery text
   keeps its v2 cursor ledger and adds only an answer-first fixed header.
 
+
 ## 0.3.26 - 2026-09-15
 
 - Make query failures and paths more trustworthy: exact-looking missing symbols

COMPATIBILITY.md

@@ -94,6 +94,14 @@ history profiles, and cache identities.
 
 ## Evolving contracts
 
+
+Rust structural evidence now uses producer version 2. The evidence and graph
+schema majors are unchanged, but Rust extraction caches from producer version
+1 are rebuilt so source-proven standard-library dereference chains and
+evaluating local macro inputs can publish newly recovered exact calls.
+Unsupported macro shapes, non-evaluating inputs, and ambiguous receiver owners
+remain unresolved rather than being guessed.
+
 ### Agent Query View
 
 Compass adds the additive strict projection `compass.query.agent-view/1` for

MIGRATION.md

@@ -132,6 +132,15 @@ registration edge is synthesized: the current descriptor vocabulary cannot
 advertise those registrations without incorrectly claiming bean-container
 semantics.
 
+## Rust receiver and macro evidence rebuild
+
+Rust universal evidence now uses producer version 2. The first graph build
+after upgrading re-extracts cached Rust files automatically. No graph schema
+migration or manual artifact editing is required. The new producer follows
+source-proven `Arc`, `Rc`, and `Box` field chains and recovers calls from a
+bounded local `macro_rules!` shape only when the captured expression or
+statement is proven to be evaluated; ambiguous cases remain unresolved.
+
 ## Ruby universal evidence rebuild
 
 The current release publishes Ruby through the version-1 universal evidence