Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!

On 10/5/24 8:21 AM, olcott wrote:

On 10/5/2024 5:58 AM, Richard Damon wrote:

On 10/4/24 9:53 PM, olcott wrote:

 That you are unable to understand that it is easily conclusively
proven (below) that the emulated HHH does emulate its DDD correctly
is why your double-talk gibberish rebuttal fails.
 

Nope, the trace actually proves the opposite.
It shows that HHH(DDD) returns 0
Thus, a CORRECT emulation of a call to HHH(DDD) must show it returning 0,  not claiming it never aborts.
To say otherwise is to claim unprovable falsehood.
You are just proving that you don't understand how logic works and you are just showing that:
PPPP   EEEEE  TTTTT  EEEEE  RRRR
P   P  E        T    E      R   R
P   P  E        T    E      R   R
PPPP   EEEEE    T    EEEEE  RRRR
P      E        T    E      R R
P      E        T    E      R  R
P      EEEEE    T    EEEEE  R   R
  OOO   L       CCC    OOO   TTTTT  TTTTT
O   O  L      C   C  O   O    T      T
O   O  L      C      O   O    T      T
O   O  L      C      O   O    T      T
O   O  L      C      O   O    T      T
O   O  L      C   C  O   O    T      T
  OOO   LLLLL   CCC    OOO     T      T
L     IIIII  EEEEE   SSS
L       I    E      S   S
L       I    E      S
L       I    EEEEE   SSS
L       I    E          S
L       I    E      S   S
LLLLL IIIII  EEEEE   SSS
AND THINKS THAT IS JUST OK.
To PROVE something, you need to show that it is a neccessary consequence of the conditions, and you need to be looking at the conditions that are part of the actual problem.
That means *THIS* HHH needs to be answering about *THIS* DDD that calls *THIS* HHH which does abort and return.
Answering about a different hypothetical DDD that calls a different HHH that doesn't abort is just a LIE.

_DDD()
[00002172] 55         push ebp      ; housekeeping
[00002173] 8bec       mov ebp,esp   ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404     add esp,+04
[00002182] 5d         pop ebp
[00002183] c3         ret
Size in bytes:(0018) [00002183]
 _main()
[00002192] 55         push ebp
[00002193] 8bec       mov ebp,esp
[00002195] 6872210000 push 00002172 ; push DDD
[0000219a] e833f4ffff call 000015d2 ; call HHH(DDD)
[0000219f] 83c404     add esp,+04
[000021a2] 50         push eax
[000021a3] 6843070000 push 00000743
[000021a8] e8b5e5ffff call 00000762
[000021ad] 83c408     add esp,+08
[000021b0] 33c0       xor eax,eax
[000021b2] 5d         pop ebp
[000021b3] c3         ret
Size in bytes:(0034) [000021b3]
   machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
[00002192][00103820][00000000] 55         push ebp      ; Begin main()
[00002193][00103820][00000000] 8bec       mov ebp,esp   ; housekeeping
[00002195][0010381c][00002172] 6872210000 push 00002172 ; push DDD
[0000219a][00103818][0000219f] e833f4ffff call 000015d2 ; call HHH(DDD)
 New slave_stack at:1038c4
Begin Local Halt Decider Simulation   Execution Trace Stored at:1138cc
[00002172][001138bc][001138c0] 55         push ebp      ; housekeeping
[00002173][001138bc][001138c0] 8bec       mov ebp,esp   ; housekeeping
[00002175][001138b8][00002172] 6872210000 push 00002172 ; push DDD
[0000217a][001138b4][0000217f] e853f4ffff call 000015d2 ; call HHH(DDD)
 // emulated HHH emulating DDD
New slave_stack at:14e2ec
[00002172][0015e2e4][0015e2e8] 55         push ebp      ; housekeeping
[00002173][0015e2e4][0015e2e8] 8bec       mov ebp,esp   ; housekeeping
[00002175][0015e2e0][00002172] 6872210000 push 00002172 ; push DDD
[0000217a][0015e2dc][0000217f] e853f4ffff call 000015d2 ; call HHH(DDD)
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
 [0000219f][00103820][00000000] 83c404     add esp,+04
[000021a2][0010381c][00000000] 50         push eax
[000021a3][00103818][00000743] 6843070000 push 00000743
[000021a8][00103818][00000743] e8b5e5ffff call 00000762
Input_Halts = 0
[000021ad][00103820][00000000] 83c408     add esp,+08
[000021b0][00103820][00000000] 33c0       xor eax,eax
[000021b2][00103824][00000018] 5d         pop ebp
[000021b3][00103828][00000000] c3         ret
Number of Instructions Executed(10069) == 150 Pages
 

>

That you are unable to understand that it is easily conclusively
proven (below) that the emulated HHH does emulate its DDD correctly
is why your double-talk gibberish rebuttal fails.

>
But then why does it get the right answer?
>
Note, edited traces, as you provide below, just prove you are trying to get away wioth something. and don't prove anything,
>

 Even if I didn't actually have any x86 emulator and did
simply fake the traces this still conclusively proves
that HHH emulated by itself does emulate DDD correctly.
 Because I have provided the source-code for many years
it is ridiculously stupid for you to imply that the traces
are faked. I even tell you which compiler to use.
 https://github.com/plolcott/x86utm/blob/master/Halt7.c
 https://github.com/plolcott/x86utm