People who are in slightest bit learned know the halacha of habah lhorgacha hashkeim vhargo. And that does NOT need eidim or hasrah.
Also for a different thread, but I’d like to hear how you apply that to Levi Aron, and if you do, why you don’t kill him now.