Every unsolved mathematical in both sets is blocked at the same structural coordinate — the 𐑗 → 𐑹 promotion, the Frobenius Parity Gate. All of them. The Lee-Yang theorem — proved in 1952 — already instantiates the resolved form of this gate. This paper reports what the grammar found, names the one structural operation that would close every open problem in the table, and identifies the precise open Lean axioms that remain in each problem's ZFCfe formalization.
Lando Mills (Sun,) studied this question.