Yin–Busch–Ferrera–Hartke–Jacobsen–Kaul–West degree-sequence packing conjecture

Let $n\ge 3$ be an integer, and let $(d_1^1,\ldots,d_n^1)$ and $(d_1^2,\ldots,d_n^2)$ be graphic sequences with $d_n^1,d_n^2\ge 1$. Two graphic sequences pack when there are edge-disjoint graphs on the same labelled vertex set realizing them. Yin–Busch–Ferrera–Hartke–Jacobsen–Kaul–West packing conjecture. If

$$d_1^1d_1^2<\frac{n}{2},$$

then $(d_1^1,\ldots,d_n^1)$ and $(d_1^2,\ldots,d_n^2)$ pack. The paper states that this conjecture is fully verified, so the asserted result is a theorem rather than an open conjecture.