The strong-versus-Hippocrates energy randomness conjecture

A real is strongly $\gamma$-random if it is strongly random with parameter $\gamma$, and Hippocrates $\gamma$-energy random if it satisfies the Hippocrates energy-randomness notion with parameter $\gamma$. Strong-versus-Hippocrates energy randomness conjecture. There is a strongly $\gamma$-random real which is not Hippocrates $\gamma$-energy random. The surrounding argument constructs related measures and shows that suitable energy finiteness can coexist with effective Hausdorff dimension $1/2$, but it does not resolve this existence claim.