My reviewers think that halt deciders must report on the behavior of their caller

They all say that HHH must report on the behavior of
direct execution of DDD()
yet never bother to notice
that the directly executed DDD() is the caller of HHH(DDD).
void DDD()
{
   HHH(DDD); // When DDD calls HHH(DDD) this HHH is not
   return;   // accountable for the behavior of its caller
}
On the other hand HHH(DDD) is accountable for the
behavior that its actual input actually specifies.
HHH(DDD) simulates DDD that calls HHH(DDD)
that simulates DDD that calls HHH(DDD)
that simulates DDD that calls HHH(DDD)
that simulates DDD that calls HHH(DDD)...
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its
     input D until H correctly determines that its simulated D
     *would never stop running unless aborted* then
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer