1: \begin{proof}

2: Consider the map $W_{(n, n+1)} \to W_{=n}$ sending a stability condition

3: $\sigma$ with $w_E(\sigma) \in (n, n+1)$ to the endpoint of the flow along the vector field

4: $v$ starting at $\sigma$.  Lemma \ref{lem:flowatwall} shows that the identity on $W_{\le n}$ extends

5: this map continuously to give a retract $r_n \colon W_{< n+1} \to W_{\le n}$. 

6: 

7: A homotopy between the identity on $W_{< n+1}$ and $r_n$ is given by the 

8: normalized flow map

9: \[ \mathrm{Flow}' \colon W_{< n+1} \times [0,1] \to W_{\le n}, \] 

10: for which $\mathrm{Flow}'(\sigma, t)$ is the point on the

11: flow line of $\sigma$ with width $w_E(\sigma) - t$ if $0 \le t < w_E(\sigma) - n$, and given by 

12: $r_n(\sigma) \in W_{\le n}$ if $t \ge w_E(\sigma) - n$.

13: 

14: We now make this construction rigorous. Consider the union $U \subset W_{(n, n+1)} \times \R_{\ge 0}$

15: of all maximal (closed) intervals of definition of the flow of $v(\sigma)$, and let

16: \[ \mathrm{Flow} \colon U \to W_{[n, n+1)}

17: \]

18: be the the induced continuous map: $\mathrm{Flow}(\sigma, t)$ is the position of the flow line starting

19: at $\sigma$ after time $t$. It follows from construction and

20: Lemma \ref{lem:decreasingwidth} that the map

21: \[

22: \Gamma \colon U \to W_{(n, n+1)} \times [0, 1), \quad

23: (\sigma, t) \mapsto \bigl(\sigma, w_E(\sigma) - w_E(\mathrm{Flow}(\sigma, t))\bigr) 

24: \]

25: is a homeomorphism onto its image

26: \[

27: V = \left\{(\sigma, s) \colon 0 \le s \le w_E(\sigma) - n\right\} \subset W_{(n, n+1)} \times [0, 1).

28: \]

29: Thus, on $W_{(n, n+1)} \times [0,1]$, we can define $\mathrm{Flow}'$

30: as follows: first set

31: $\mathrm{Flow}'|_V = \mathrm{Flow} \circ \Gamma^{-1}$, and then extend it

32: continuously by $\mathrm{Flow'}(\sigma, s) = r_n(s)$ for $(\sigma, s) \notin V$.

33: This is a homotopy between the inclusion $W_{(n, n+1)} \into \St(X)$ and $r_n$.

34: 

35: Another application of Lemma \ref{lem:flowatwall} shows that this homotopy extends continuously 

36: to $W_{< n+1}$, as desired.

37: \end{proof}

38: