← BSD Conjecture · P5
Single-prime strong BSD leading term formula · 2026-08-14 · Progress reached determinantal Kurihara semilocal closure, core comparison remains OPEN.
A study of the strong BSD leading term formula for the rank-2 curve 389.a1 at the single prime p=11. It does not claim to prove BSD, nor does it treat numerical matching as proof. This sub-thread starts from the architectural definition of the Rank-Uniform Zeta-Primitivity Bridge, closes Sha(E/ℚ)[11^∞]=0 via exact finite field computations (Manin symbols, Hecke eigenspaces, Kurihara witness), and gradually compresses "proving strong BSD" into "proving the two bits uGPR11 = P5-INT11 ∧ P5-PRIM11". It then approaches from the localization perspective of the two anomalous primes 397 and 991, with current progress reaching the determinantal Kurihara semilocal closure — the core complex leading term/regulator comparison (P5-CANON-BocID, P5-CPLX-GPR) remains OPEN.
Read the ten documents in sequence — each is a prerequisite for the next, and it is recommended to read them in order. The numbering follows the version number jumps within the documents (v0.6 is directly followed by v0.8, because the package itself did not independently package v0.7; the original citation can be found in the main text of document 06).