Thermal Origin of the Repulsive Logarithmic Schrödinger Free-Energy Term: Exact Occupancy Dependence, Neutron Bounds, and a Cold-Atom Test of the Counting Class | Synapse