Source-grounded Go intelligence for coding agents: change impact, verification evidence,…