I am claiming that these exact words are necessarily true

I am not and never have been claiming anything
about incorrect paraphrases of these exact words:
*HHH rejects DDD as non terminating*
void DDD()
{
   HHH(DDD);
   return;
}
When HHH is an x86 emulation based termination analyzer
then each DDD emulated by any HHH that it calls never returns.
Each of the directly executed HHH emulator/analyzers that returns
0 correctly reports the above non-terminating behavior of its input.
*Fully operational code is here*
https://github.com/plolcott/x86utm/blob/master/Halt7.c https://github.com/plolcott/x86utm
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer