Spike. Evidence graph, static tier (cheap, novel, no runtime needed):
- Test-reference edges — "which tests reference this symbol" is already a call-graph query (a test fn calling
X is a caller edge). impact_surface already lists tests touching a symbol path; formalize it.
- "Invariants with no covering test" — cross
Invariant memories with the test-reference edges. A genuinely new high-signal product from two things rag-rat already has.
Why it helps an agent: a validation plan, not just context — what proves this works, and which invariants are unguarded.
Out of scope here (dynamic tier): true line coverage via cargo-llvm-cov JSON needs running the suite → a separately-reconciled, staleness-labeled artifact (own follow-up). The static call-path-reachability version ("tests whose path reaches the changed symbols") is an 80% validation planner available now.
Part of #115 epic. Ref: docs/plans/2026-06-14-agent-value-strategy.md §4c.
Spike. Evidence graph, static tier (cheap, novel, no runtime needed):
Xis a caller edge).impact_surfacealready lists tests touching a symbol path; formalize it.Invariantmemories with the test-reference edges. A genuinely new high-signal product from two things rag-rat already has.Why it helps an agent: a validation plan, not just context — what proves this works, and which invariants are unguarded.
Out of scope here (dynamic tier): true line coverage via
cargo-llvm-covJSON needs running the suite → a separately-reconciled, staleness-labeled artifact (own follow-up). The static call-path-reachability version ("tests whose path reaches the changed symbols") is an 80% validation planner available now.Part of #115 epic. Ref:
docs/plans/2026-06-14-agent-value-strategy.md§4c.