Darmon's reciprocity conjecture for generalized Darmon points

Let $F$ be a totally real field, $K/F$ a quadratic extension, $B/F$ a quaternion algebra, $q:K\hookrightarrow B$ an embedding, and let $E/F$ be a modular elliptic curve. For a suitable cycle $\Delta_b$ and modified differential $\omega_{\varphi}^{\beta}$, let

$$P_b^{\beta}=\Phi\left(\int_{\Delta_b}\omega_{\varphi}^{\beta}\right)\in E(\mathbf C).$$

Darmon's reciprocity conjecture. The point $P_b^{\beta}$ lies in $E(K^{\mathrm{ab}})$ and

$$\forall a\in\mathbf A_{K}^{\times}\qquad\mathrm{rec}_K(a)P_b^{\beta}=\beta(a_{\infty})P_{q_{\mathbf A}(a)b}^{\beta}.$$

This is the principal conjecture governing the algebraicity and class-field-theoretic reciprocity of Darmon's points; the supplied source gives no resolution.