Theorem: 4 j (j+1) - 3 = 0 at j = 1/2 (LQG area-spectrum minimum)

Theorem (LQG-area-min canonical): at j = 1/2, the SU(2) Casimir j(j+1) = 1/2 * 3/2 = 3/4, hence 4 j(j+1) = 3 exactly. Canonical sympy pin: j = sp.Rational(1, 2); residual = sp.simplify(4*j*(j+1) - 3) = '0' identically. Physical…