pub fn diff_upgrades(
store: &Store,
pre: &[ExternalCallEdge],
) -> Result<Vec<(String, UpgradeRecord)>, String>Expand description
Diff the post-LSP store against pre-LSP EXTRACTED edges: every RESOLVED
edge whose evidence id matches a captured EXTRACTED edge is an upgrade.
Returns (source file, upgrade record) pairs.