The electrician got here today. The cause looks like arcing, as was suggested here.
We've got a new timer and the proper external box. The timer was the Intermatic T101, the one I was looking at online. I just requested a timer and didn't specify which one. (How new are the ones with the big plastic covers that cover the outlet with something plugged in?)
Puckdropper