This monograph reformulates the Birch–Swinnerton‑Dyer problem within the framework of Operations Theory, placing it firmly in the Hyper Core (HC) rather than the Symmetric Core. The central object is the arithmetic–geometric mean (AGM), identified as the native HC mean at rank R=1.5, and its associated algebraic structures. The work introduces the Crate Lie Algebra, an algebra generated by lexemic crate units associated with elliptic curves and AGM dynamics. This algebra is shown to be solvable and to admit a natural representation theory, allowing classical BSD‑related quantities — including elliptic periods and height‑like invariants — to be expressed in operational coordinates. In this formulation, the analytic rank, the appearance of L-functions, and the role of special values are reinterpreted as consequences of rank‑1.5 structure rather than as isolated analytic phenomena. The monograph does not claim a proof of BSD. Instead, it isolates the precise remaining obstruction by separating algebraic, analytic, and transcendental components of the conjecture. Classical results (such as Gross–Zagier–type relations) are recovered in HC language, while the unresolved step is shown to lie beyond the reach of current operational methods. M20f thus serves as the structural culmination of the M20 series: after the taxonomic correction of M20e, it demonstrates that BSD naturally belongs to the Hyper‑Core hierarchy and that its known partial results align coherently with the AGM‑centred operational picture.
Paweł Łukasz Garycki (Fri,) studied this question.