Precise verification for coding agents on Android: compact screens, impact analysis, ver…