Post convention that is correct, or at least it would be unlikely that the delegates would be able to not have his name on the ballot.I hadn’t considered that angle. There is definitely a never Trump faction on the right.
If Trump did get assassinated at this point (after the convention), then I imagine jd Vance would be the nominee? I forget what happens honestly