It could be entirely consistent that the programmer made nature_1 within the constraints of nature_2 and “laws of nature” referring to nature_2 laws is unstandard and surprising. it would be an assumption that nature_2 has time. Sure there are hardware constraints but their exact shape is hard to argue (I could come up with examples how simulated time takes simulator space and not time).
It could be entirely consistent that the programmer made nature_1 within the constraints of nature_2 and “laws of nature” referring to nature_2 laws is unstandard and surprising. it would be an assumption that nature_2 has time. Sure there are hardware constraints but their exact shape is hard to argue (I could come up with examples how simulated time takes simulator space and not time).