Edge-zone failure: the boundary of the freeze

The condition $\overline{U}\subset \{t>\epsilon \}$ was declared in Section sec:sheet. The following computation shows it is not removable. It concerns gauge parameters outside ${\mathfrak{g}}_U$ and is not a defect on the frozen group.