mu = -1/8  level one: ['-1/16', '-1/16', '0', '0', '0', '0']  J = [0, 1]
g_F depends on all 6 coordinates, is not +-parity, mu != 0: hypotheses of Theorem B hold.
|A_w| = 4, 9, 9, 6; u-coefficients vanish (A_{++}, A_{--} symmetric under u -> -u, A_{-+} = -A_{+-})  [EXACT]
h(++, +-, -+, --) = ['-1/2', '1/8', '1/8', '-1/4']
h(y) = -1/8 - (y1 + y2)/16 - y1 y2 / 4;  sigma = -1, triv = 9/16, sigma h(+-) = -1/8 < 0 (so s^U > triv)
Corollary F' extensions, m = 7, 8: same mu, h and level-one coefficients, depend on all coordinates  [EXACT]
nu = +1: pi = ['1/7', '9/28', '9/28', '3/14'], E w_j = -1/14, E w_1 w_2 = -2/7, Corr(w_1, w_2) = -19/65
nu = -1: pi = ['1/3', '7/36', '7/36', '5/18'], E w_j = 1/18, E w_1 w_2 = 2/9, Corr(w_1, w_2) = 71/323
Phi(y) = 27/520 + 1/8 y + 21/65 y^2, discriminant -13919/270400 < 0, min over R = 13919/349440 = 0.03983
h(t,t) = -1/8 - t/8 - t^2/4,  Phi(t,t) = 1/8 + t/8 + t^2/4 - (1/4)(19/65)(1 - t^2) = 27/520 + t/8 + (21/65) t^2  [EXACT]
Hence sigma Gamma_nu(F) >= min Phi > 0 for every k, nu, F: s_g = triv = 9/16 < s^U_g. [EXACT]
dictator decoder: sigma Gamma_+ = -(mu + ||h||^2)/(1 + mu) = 5/112 ~ 0.0446, ||h||^2 = 11/128  [EXACT]
decoders with values in {-1,0,1} (k <= 2) and in {-1,1} (k = 3): min sigma Gamma = 5/112 >= 13919/349440  [EXACT]
(float) 400 random [-1,1]-valued decoders, k <= 4: min sigma Gamma = 0.04464 >= 0.03983
