The mock plectic regulator conjecture

Let $K$ be a quadratic imaginary field, let $E/\mathbb Q$ be an elliptic curve, let $T_p(E)$ be its $p$-adic Tate module, and let $\delta_\infty$ and $\log_E^{a_p}$ be the maps defined in the source. Let $\text{Capricorn}(\tau)$ be the mock plectic invariant. Mock plectic regulator conjecture. If $L(E/K,1)=0$, then $\text{Capricorn}(\tau)$ lies in the image of

$$\bigwedge^2E(K)\longrightarrow H^1_f(K,T_p(E))\otimes_{\mathbb Z_p}K_p,$$

where

$$P\wedge Q\longmapsto\delta_\infty(P)\otimes\log_E^{a_p}(Q)-\delta_\infty(Q)\otimes\log_E^{a_p}(P).$$

This predicts that the mock plectic invariant is generated by a regulator built from global points over $K$, linking the analytic invariant to the arithmetic of the Mordell–Weil group. The source does not state whether it has been proved or refuted.