"Leading is caused by excessive lead bullet velocity, not the bullet's diameter."
Not true.
There are two ways to lead up a barrel: driving a lead bullet to fast, or using an undersized lead bullet.
The ‘to fast’ depends on bullet hardness and velocity. A hard bullet can approach 2000 ft/s in a rifle. A swaged lead bullet will often start to lead at 800-900 ft/s. Swaged bullets are almost always pure lead to allow swaging. Cast bullets can easily be alloyed for greater hardness, but alloys also change the final ‘as cast’ size by altering shrinkage during solidification. Often they may require sizing to make them the exact diameter desired (and to fill the lube grooves).
An undersized lead bullet can allow blow by of gases. The bullet is melted and the lead smears out on the barrel. Powder gases are well above the melting point of lead.
Lead bullets are typically 0.001 over bore size to ensure a tight seal and eliminate any chance of blow by.
Problems sometimes occur in revolvers if the forcing cone is smaller than the bore. The bullet is swaged down and then blow by occurs in the barrel.