However, since construction of future agent is part of original agent’s behavior that contributes to original agent’s goals (by my definition), it doesn’t necessarily make sense for the agent to prove that goals are preserved, it just needs to be true that they are (to some extent), more as an indication that we understand original agent correctly than a consideration that it takes into account.
(Emphasis added.) For that sense of “specify”, I agree.
(Emphasis added.) For that sense of “specify”, I agree.