Oh, and yes. He’s just reiterating what the Torah says. If someone is mechalel shabbos with eidim and hasra’a, is matir atzmo lmisa, is convicted in a Kosher Sanhedrim of 23, is prosecuted in exact accordance with gmarah, rishonim, achronim, then yes, he will be executed.
