I am not taking TiVo's claims as fact, no moreso than anyone that believes DISH/SATS has a workaround that no longer infringes.
The people that matter(ed) may be the judge and jury, but the litigating parties are still arguing in front of the same judge (without a jury) regarding the next steps in this process.
The reality is that in DISH/SATS filings, they state the workaround no longer infringes, because:
1) none of the 8 receiver models index data before storage (and it is the only change on the 501 and 508)
2) none of the remaining 6 receiver models "automatically flow control" the data.
These are the only points DISH/SATS outlines in their argument before the court that they no longer infringe.
TiVo's take is:
1) the patent claims and claim construction in this case is defined as an analysis of the data. Pre-storage or post-storage, DISH/SATS must analyze the incoming data. PID filtering of the transponder data is an analysis of the data, and has been recognized to meed the claim limitation. Nothing was done about this, so DISH/SATS argument was obfuscating the claim.
2) the patent claims and claim construction is that "automatically flow controlled" means "self-regulating". In other words, the software has to keep up with the flow of the data and vice-versa. If this does not happen, there would be a stack error and the receiver would stop working. So there must be "self-regulation". The opinion of outside counsel introduced as evidence says that the software must keep up with the flow of data, which means it is self-regulating. The receiver still self-regulates, so DISH/SATS argument here is specious.
If both of DISH/SATS arguments against infringement is like the economy, Swiss cheese and politicians (more holes and air than substance), then they still infringe as they did not remove all of the technology behind the underlying claims, as those claims they've addressed as non-infringing are still being met.