Remark: The plateau is not optional

For a compact $\xi$ supported to the future of ${\Sigma }_0$, but not necessarily in the plateau, the same calculation yields

There is no reason for this expression to vanish. No step below enlarges ${\mathfrak{g}}_U$.