Due to DHCP security, it's rare that you can record something from an HDMI port. So it's unlikely it will work. But I don't know the specifics about a TIVO device. I thought they could only record from their own internal TV tuner.
Roku Community Streaming Expert
Help others find this answer and click "Accept as Solution." If you appreciate my answer, maybe give me a Kudo.