The Ascbot shape-Wilf equivalence conjecture for 231⊕σ and 312⊕σ

Let $\sigma$ be a nonempty permutation, let $\rho\oplus\sigma$ denote their direct sum, and let $F$ be a traversable Ferrers board. For a traversal $\tau$ of $F$, define the $F$-ascent bottom statistic $\operatorname{Ascbot}_F(\tau)$ from the ascent bottoms in its separated traversal. Two patterns are $\operatorname{Ascbot}$-shape-Wilf equivalent if, for every traversable board $F$, there is a bijection between their $F$-avoiders preserving $\operatorname{Ascbot}_F$. The Ascbot shape-Wilf conjecture. For any nonempty permutation $\sigma$, the patterns $231\oplus\sigma$ and $312\oplus\sigma$ are $\operatorname{Ascbot}$-shape-Wilf equivalent. This claim is obtained in the source from complementing the analogous descent-top assertion; its status is not resolved in the supplied text.