Local-first change-impact analysis: map Git diffs to symbols, contracts, invariants and …