Counting Too-Big-To-Fail: Circular Velocities of Milky Way Satellites Against Subhalo Tallies

This paper computes a uniform set of quantities for dwarf and ultra-faint satellite galaxies and compares them with expectations stated in advance. The headline values obtained are: observed Vhalf ge 20 = 1; observed Vhalf ge 25 = 0; observed classical Vhalf ge 20 = 1; predicted subhalos Vmax ge 25 = 10; predicted subhalos Vmax ge 20 = 20; brightest satellite Vhalf = 23.4; deficit at 25 = 10. All inputs are published values compiled from the Local Group literature; all arithmetic is performed by the deposited script, which writes the full per-object table used throughout the text. The study is a computation on published data within a stated cosmological framework, not a new observation: it is simulated and modelled, not measured. Where the framework supplies no relevant quantity at dwarf-galaxy scales, that absence is reported as part of the result rather than passed over.