Strong Birch–Swinnerton-Dyer formula in the everywhere-good-reduction case

Let $A$ be an abelian variety of dimension $g$ over a number field $F$, assume that $A$ has good reduction everywhere, and let $P_{A,\infty}(\eta)$ and $\mathfrak a_\eta$ be the archimedean period and associated fractional ideal used to define the global volume. Let $A^t$ be the dual abelian variety, let $\Theta_{NT}(A)$ be the Néron–Tate regulator, and let $\Sha(A/F)$ be the Tate–Shafarevich group. Everywhere-good-reduction strong BSD formula. One has

$$L^*(A,1)=\frac{P_{A,\infty}(\eta)\,\mathbb N_{F/\mathbb Q}(\mathfrak a_\eta)\,\Theta_{NT}(A)\,[\Sha(A/F)]}{|d_F|^{g/2}[A(F)_{\mathrm{tor}}][A^t(F)_{\mathrm{tor}}]}.$$

This is the strong BSD formula after the finite period factor becomes $1$ under everywhere good reduction. It is a specialization of the preceding conjecture, and the source gives no resolution beyond that of the general BSD conjecture.