7 problems

The no-queer-constrictions conjecture. There are no queer constrictions.

The triangular-term sign conjecture. The ratio of these triangular terms is negative, in the source's notation meaning

The vertical-ray conjecture.

The positivity conjecture. Every constriction is positive.

The uniqueness conjecture. For every $r\in\mathbb Z\setminus\{0\}$, the simple intersection with positive ordinate is unique.

The right-of-axis conjecture. Each phase-lock area $L_r$ lies to the right of $\Lambda_{r-1}$, namely

The interval conjecture. For every $r\in\mathbb Z$ and $j\in\mathbb N$,