Well in such a situation a block would never be created with an invalid transaction because miners are (generally) going to be running fully validating nodes. As such, SPV clients would at worst only see it as an /unconfirmed/ transaction. Though a slightly similar situation occurred a couple years ago with the BIP66 soft fork where some miners were NOT running full nodes and they created an invalid fork that was 3 or 4 blocks long. But they realized pretty quickly that they were never going to be able to claim the block rewards from that chain and they switch backed to the valid chain out of economic interest. With regard to SPV I have a few articles that are relevant. One on the security model of full nodes: https://www.coindesk.com/bitcoins-security-model-deep-dive/ And one on the scalability issues inherent to SPV: https://www.coindesk.com/spv-support-billion-bitcoin-users-sizing-scaling-claim/