Ravenel's Global Conjecture for formal module Ext groups, precise form

Let $K/\mathbb{Q}$ be a finite Galois extension with ring of integers $A$. An ideal $I$ of $A$ is $n$-congruing if, for every $a\in A$, there exists $N\in\mathbb{N}$ such that $a^N(a^n-1)\in I$; let $J_n$ be the minimal $n$-congruing ideal. For some $c\in\mathbb{N}$ and every $n\in\mathbb{N}$, Ravenel's Global Conjecture.

$$\operatorname{Ext}_{(L^A,L^AB)}^{1,2n}(L^A,L^A)[c^{-1}] \cong A/(J_n)[c^{-1}].$$

The localization by a correcting integer captures the small factor left unspecified in Ravenel's original formulation. The paper presents this as a rigorous version of the global conjecture, after proving existence and uniqueness of the minimal $n$-congruing ideal; the general assertion remains open in the supplied text.