@3DDave,
in my opinion the machinist used smaller size tool, and widened the keyway left and right until the desired size was achieved. Other than that, you are correct. Are you sure that you didn't add one extra zero on the error? 0,0001 inch equals to 2,5 micrometers, seems quite tight