And nothing needed to (or could) abort any of the steps of the directly
executed D(D) that calls an H(D,D) that aborts its simulation of ITS
COPY of the program D(D).
You show your misunderstand by saying a UTM simulation can be aborted,
as a UTM, by defintion, will not abort its simulation.
A partial UTMish simulation might be aborted, but such a simulation is
NOT a "Correct Simulation" per the theory that lets you use a simulation
as a replacement for direct execution, and so is irrelevent.
You might be able, in some cases, to use the information from a partial
UTMish simulation to prove that the ACTUAL UTM simulation of the input
would never halt, but it turns out you can't in this case.
If H(D,D) aborts its simulation and returns 0, then it could not have
correctly determined that the UTM simulation of this input would not
halt, as it will, as D(D) (which is based on the H that gives the
claimed right answer) will call its exact copy of this H(D,D) which WILL
return 0, and this D(D) will Halt, and thus a "Correct Simulation" of
this input will halt.