It is the only way that you can verify that this trace is correct:
Begin Local Halt Decider Simulation Execution Trace Stored at:212352
machine stack stack machine assembly
address address data code language
======== ======== ======== ========= =============
...[00001352][0021233e][00212342] 55 push ebp // enter P
...[00001353][0021233e][00212342] 8bec mov ebp,esp
...[00001355][0021233e][00212342] 8b4508 mov eax,[ebp+08]
...[00001358][0021233a][00001352] 50 push eax // push P
...[00001359][0021233a][00001352] 8b4d08 mov ecx,[ebp+08]
...[0000135c][00212336][00001352] 51 push ecx // push P
...[0000135d][00212332][00001362] e840feffff call 000011a2 // call H
...[00001352][0025cd66][0025cd6a] 55 push ebp // enter P
...[00001353][0025cd66][0025cd6a] 8bec mov ebp,esp
...[00001355][0025cd66][0025cd6a] 8b4508 mov eax,[ebp+08]
...[00001358][0025cd62][00001352] 50 push eax // push P
...[00001359][0025cd62][00001352] 8b4d08 mov ecx,[ebp+08]
...[0000135c][0025cd5e][00001352] 51 push ecx // push P
...[0000135d][0025cd5a][00001362] e840feffff call 000011a2 // call H
>> The most difficult part was to make the nested simulations work
>> correctly.
>
> Which it seems you failed at. Maybe that is why ot took so long. It is
> hard to make automaticaly believable lies.
>
>>
>>> You don't need to "reverse-engineer" something you have.
>>>
>>
>> No but everyone else does to confirm its correctness because
>> THEY DON'T HAVE IT.
>
> No, you present the trace and people can verify it.
>
> Note, it has been pointed out that it does NOT match what you claim is
> happening, which proves it is WRONG.
THIS HAS NEVER BEEN MORE THAN A BASELESS ASSERTION.
>
> The trace implies that H just calls its input, and hides its own behavior.
>
I hrrd code the system to never output the trace of operating system code.
I don't have any confusion. You have rebuttal of my work as your only
goal. As soon as I pointed out the a rebuttal of what I said would
directly contradict computer science you backed down because you knew
you couldn't get way with it.
So then you agree that the invocation of H(P,P) would derive the
following trace of its input on the first 7 lines and when P invokes
another instance of H(P,P) this derives the next 7 lines of execution
trace.
Begin Local Halt Decider Simulation Execution Trace Stored at:212352
...[00001352][0021233e][00212342] 55 push ebp // enter P
...[00001353][0021233e][00212342] 8bec mov ebp,esp
...[00001355][0021233e][00212342] 8b4508 mov eax,[ebp+08]
...[00001358][0021233a][00001352] 50 push eax // push P
...[00001359][0021233a][00001352] 8b4d08 mov ecx,[ebp+08]
...[0000135c][00212336][00001352] 51 push ecx // push P
...[0000135d][00212332][00001362] e840feffff call 000011a2 // call H
...[00001352][0025cd66][0025cd6a] 55 push ebp // enter P
...[00001353][0025cd66][0025cd6a] 8bec mov ebp,esp
...[00001355][0025cd66][0025cd6a] 8b4508 mov eax,[ebp+08]
...[00001358][0025cd62][00001352] 50 push eax // push P
...[00001359][0025cd62][00001352] 8b4d08 mov ecx,[ebp+08]
...[0000135c][0025cd5e][00001352] 51 push ecx // push P
...[0000135d][0025cd5a][00001362] e840feffff call 000011a2 // call H
>> In order to contradict me you must contradict computer science.