The finite axiomatizability conjecture for the pointed Weihrauch lattice

Let $\mathfrak{W}_\bullet$ be the pointed Weihrauch lattice equipped with meet $\sqcap$, product $\times$, and unit $1$, and let the paper's partial axiomatization be given by the axioms in Figure 1. Pointed Weihrauch axiomatization conjecture. $(\mathfrak{W}_\bullet,\sqcap,\times,1)$ is fully axiomatized by the axioms in Figure 1. The paper states this as a conjectural counterpart to the preceding non-finite axiomatizability claim, because the authors were unable to find a valid inequality in the pointed structure outside the stated axioms; its resolution is not given.