"because the parties stipulated to non-infringement under the district court’s construction,."
My memory fails me, but wasn't this mutually agreed to allow the case or another case to proceed for some other reason? Wasn't there an expectation to rescind the stipulation in the future, such as now?