יהודי שמת על ידי גוי בגלל היותו יהודי

לכבוד השואל, 

סליחה על האיחור בתשובה.

ראה כאן בלינק את המקורות מהשולחן ערוך וכן מקורות מהרמב"ם בענין "הרוגי מלכות" שמופיעים תחת הכותרת "יהודי שנהרג בגלל יהדותו":

https://www.daat.ac.il/daat/kitveyet/maaliyot/kidush-2.htm

לא זכור לנו מקור לזה בדברי הרמח"ל ז"ל.

בברכה,

רב נחום