How to make normal jump on sprite hurt mario?

Currently tinkering with rex which can be jumped/spin but what I want is to force the player to use spin jump on that specific sprite otherwise he dies.

I've looked around around but can't find the code to replace JSL $01A7DC|!BankB for mario interaction (I assume that's the one)

Also, is there a list somewhere with all the basic codes and what they do?