Firmly-established background fact (no dataset of this paper); the lunar strangelet argument rests on it. Unlike Earth-based bounds, no atmospheric shielding caveat applies, and both projectile (cosmic-ray iron) and target (lunar-surface iron) are heavy ions, so the collisions are genuine analogues of collider heavy-ion collisions.