ספרי מצוות על שמות כא:יב

אַרְבַּע מִיתוֹת נִמְסרוּ לְבֵית דִּין. סְקִילָה וּשְׂרֵפָה וַהֲרִיגָה בְּסַיִף וְחֶנֶק. סְקִילָה וּשְׂרֵפָה מְפֹרָשִׁין הֵן בַּתּוֹרָה. וּמִפִּי משֶׁה רַבֵּנוּ לָמְדוּ שֶׁכָּל מִיתָה הָאֲמוּרָה בַּתּוֹרָה סְתָם הִיא חֶנֶק. וְהַהוֹרֵג אֶת חֲבֵרוֹ מִיתָתוֹ בְּסַיִף. וְכֵן אַנְשֵׁי עִיר הַנִּדַּחַת מִיתָתָן בְּסַיִף:

כָּל מִיתָה מֵהֶם מִצְוַת עֲשֵׂה הִיא לְבֵית דִּין לַהֲרֹג בָּהּ מִי שֶׁנִּתְחַיֵּב בָּהּ. וְאֵין רְשׁוּת לַמֶּלֶךְ לַהֲרֹג בְּאַחַת מֵהֶן אֶלָּא בְּסַיִף בִּלְבַד:

כָּל מְחֻיָּב מִיתַת בֵּית דִּין שֶׁלֹּא הֵמִיתוּ אוֹתוֹ בֵּית דִּין בִּטְּלוּ מִצְוַת עֲשֵׂה וְלֹא עָבְרוּ עַל מִצְוַת לֹא תַּעֲשֶׂה. חוּץ מִן הַמְכַשֵּׁף שֶׁאִם לֹא הֱמִיתוּהוּ עָבְרוּ עַל מִצְוַת לֹא תַּעֲשֶׂה שֶׁנֶּאֱמַר (שמות כב יז) "מְכַשֵּׁפָה לֹא תְחַיֶּה":