You've obviously done a lot of Googling to find all these products!
The Hauppage PVR is interesting as it seems to be exactly the device I talked about as it an accept component signals. So it should work, I reckon.
The PCI card is also interesting as it is one of the few devices with an HDMI input. The biggest problem, as I see it, will be the HDCP copyright protection that can be applied by the $ly HD box. If the $ly HD box doesn't receive the correct handshake back then it will stop (or not even start!) sending a signal down the HDMI cable.
AFAIK this HDCP hasn't been broken and you will have to rely on the fact that a lot of programmes aren't copyright protected. But I would guess that most of what you want to record will be!