'What matters is that their combined contribution doesn't exceed their allowed contribution.'

Yes, that's it exactly and the process of figuring that per the instructions are anything but clear. 

Using the prorated amount adjusts for the months of 'non-coverered' contributions. 

I'm resting on the calculations, more confident that I could defend them if needed.