Source authenticatedTheorem 1.1: at p=3, K=K3={0,2,3}, i.e. bj survives to E∞ exactly for j=0,2,3 (stems 10, 106 and 322), and each surviving class is detected by an element of additive order three; b1 and all bj with j≥4 die. The new content is the order-three element in stem 322 and the exclusion of every j≥4. Corollaries via Amelotte and Selick: ΩS2n+1{3} splits nontrivially exactly for n∈{3,27,81}, and the Anick space T2n+1(3) is homotopy associative exactly for those n. Side result: an infinite-order class in π2n(E6hC9) for every n, refuting the full-gap clause of Belmont-Ray's Conjecture 0.1. Not covered: other odd primes (already settled for p≥5) or the prime-two problem.
Theorem 1.1: at p=3, K=K3={0,2,3}, i.e. bj survives to E∞ exactly for j=0,2,3 (stems 10, 106 and 322), and each surviving class is detected by an element of additive order three; b1 and all bj with j≥4 die. The new content is the order-three element in stem 322 and the exclusion of every j≥4. Corollaries via Amelotte and Selick: ΩS2n+1{3} splits nontrivially exactly for n∈{3,27,81}, and the Anick space T2n+1(3) is homotopy associative exactly for those n. Side result: an infinite-order class in π2n(E6hC9) for every n, refuting the full-gap clause of Belmont-Ray's Conjecture 0.1. Not covered: other odd primes (already settled for p≥5) or the prime-two problem.