Determining a property of a computation doesn’t obviously make it more real, and in no way does it imply that the computation is being simulated in full (proofs of properties of computations often don’t run those computations). When you are thinking detailed thoughts, that doesn’t mean that the analysis of your eventual decision is simulating those thoughts, either at all or in a morally relevant way.
Worse, the you that is thinking the detailed thoughts might be purely hypothetical, not even being simulated in any physical reality at all, you have no way of telling if it’s so from the inside of the hypothetical. And platonically you exist in either case, stopping simulating you has no impact on that, the platonic you has no way of noticing if the simulation stopped, you just continue thinking the thoughts within that platonic existence with no supporting simulation.
Determining a property of a computation doesn’t obviously make it more real, and in no way does it imply that the computation is being simulated in full (proofs of properties of computations often don’t run those computations). When you are thinking detailed thoughts, that doesn’t mean that the analysis of your eventual decision is simulating those thoughts, either at all or in a morally relevant way.
Worse, the you that is thinking the detailed thoughts might be purely hypothetical, not even being simulated in any physical reality at all, you have no way of telling if it’s so from the inside of the hypothetical. And platonically you exist in either case, stopping simulating you has no impact on that, the platonic you has no way of noticing if the simulation stopped, you just continue thinking the thoughts within that platonic existence with no supporting simulation.