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.
Dan Roku Stick (3600), Ultra (4640), Ultra (4670), Premiere (3920), Insignia 720p Roku TV, Sharp 4K Roku TV, Nvidia Shield, Windows 10 Pro x64 running Serviio and Plex on a wired Gigabit network.