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

On 7/17/2025 3:20 AM, Fred. Zwarts wrote:

Op 16.jul.2025 om 17:34 schreef olcott:

On 7/16/2025 3:05 AM, Fred. Zwarts wrote:

Op 15.jul.2025 om 14:31 schreef olcott:

_DDD()
[00002192] 55             push ebp
[00002193] 8bec           mov ebp,esp
[00002195] 6892210000     push 00002192  // push DDD
[0000219a] e833f4ffff     call 000015d2  // call HHH
[0000219f] 83c404         add esp,+04
[000021a2] 5d             pop ebp
[000021a3] c3             ret
Size in bytes:(0018) [000021a3]
>
So when the actual behavior of the actual x86 code
disagrees with you you disagree with the x86 language.
>

>
And since it does not disagree with me,

Show how DDD emulated by HHH
(according to the semantics of the x86 language)
reaches its "ret" instruction final halt state.

No rebuttal. I am not going to solve your problem, which has no solution. If you want a square circle, don't ask me to make it.
It is impossible for HHH to follow the semantics of the x86 language up to the point of the final halt state.
The semantics of the x86 language makes it impossible for HHH to correctly simulate itself up to its final halt state. You know that, because I have told you that many times. There is a final halt state, but HHH must fail to reach it.
Stop dreaming of finding a square circle.
Stop dreaming about HHH doing a correct simulation of itself. Face the facts and think!

_DDD()
[00002192] 55             push ebp
[00002193] 8bec           mov ebp,esp
[00002195] 6892210000     push 00002192  // push DDD
[0000219a] e833f4ffff     call 000015d2  // call HHH
[0000219f] 83c404         add esp,+04
[000021a2] 5d             pop ebp
[000021a3] c3             ret
Size in bytes:(0018) [000021a3]
Each element of the infinite set of functions
at machine address 000015d2 that emulates 0 to ∞
instructions of the above machine code never
reaches its emulated "ret" instruction final
halt state BECAUSE DDD CALLS EACH EMULATOR IN
RECURSIVE EMULATION.
*ChatGPT agrees and provides the reasoning why it agrees*
https://chatgpt.com/share/6877f09c-7b18-8011-b075-ea3671e57886
I challenged you to point out a specific error and you
were unable to do this. I suspect that you do not know
what recursive emulation is.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer