Your mistake is machnisim oso l’kippah is Divine intervention, not something punisable by Jews, such as Bais Din!
No. Either you misunderstood me, or (more likely) I was unclear.
My point was that machnisin oso l’kippah was not used simply as a way to get around the technicalities of a proper execution being illegal under the circumstances, since, if it were an option, Shimon ben Shetach would not have been so pained about the murderer potentially getting away.
The Wolf