Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: dbush <dbush.mobile@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD emulated by HHH diverges from DDD emulated by HHH1
Date: Wed, 4 Jun 2025 23:36:55 -0400
Organization: A noiseless patient Spider
Lines: 83
Message-ID: <101r3cn$15d1h$7@dont-email.me>
References: <101khcl$3bfvj$6@dont-email.me> <101obrf$hlr6$1@dont-email.me>
 <101ocan$hd6o$6@dont-email.me> <101ochl$i3m6$1@dont-email.me>
 <101oda2$hd6o$8@dont-email.me> <101oe1m$i3m6$3@dont-email.me>
 <101oee0$hd6o$9@dont-email.me> <101oeik$i3m6$4@dont-email.me>
 <101ofvi$inkg$1@dont-email.me> <101pask$pv5r$1@dont-email.me>
 <101porr$ta6v$1@dont-email.me> <101qb4p$11sr2$1@dont-email.me>
 <101qbtj$11qlg$1@dont-email.me> <101qc32$11sr2$3@dont-email.me>
 <101qhst$13bo7$1@dont-email.me> <101qicm$11sr2$4@dont-email.me>
 <101qjki$13i0e$1@dont-email.me> <101qn7s$14gq1$1@dont-email.me>
 <101qnp3$14gff$1@dont-email.me> <101qo1g$14gq1$2@dont-email.me>
 <101qoia$14gff$2@dont-email.me> <101qp3h$14gq1$3@dont-email.me>
 <101qqn5$14gff$4@dont-email.me> <101qrrc$14gq1$4@dont-email.me>
 <101qsfp$15bg8$1@dont-email.me> <101qt22$15d1h$1@dont-email.me>
 <101qu35$15bg8$2@dont-email.me> <101quas$15d1h$2@dont-email.me>
 <101qvrq$15bg8$5@dont-email.me> <101r0p5$15d1h$4@dont-email.me>
 <101r2ns$1adut$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 05 Jun 2025 05:36:55 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0260837afa1e5d49ba06ebc772534096";
	logging-data="1225777"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+cf9Hzift30F2rAvmhJ0ay"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:EeSTbow4BNlLAusgv5KMIDtTmF4=
Content-Language: en-US
In-Reply-To: <101r2ns$1adut$1@dont-email.me>
Bytes: 5389

On 6/4/2025 11:25 PM, olcott wrote:
> On 6/4/2025 9:52 PM, dbush wrote:
>> On 6/4/2025 10:36 PM, olcott wrote:
>>> On 6/4/2025 9:10 PM, dbush wrote:
>>>> On 6/4/2025 10:06 PM, olcott wrote:
>>>>> On 6/4/2025 8:48 PM, dbush wrote:
>>>>>> On 6/4/2025 9:39 PM, olcott wrote:
>>>>>>> On 6/4/2025 8:28 PM, dbush wrote:
>>>>>
>>>>>>
>>>>>> DDD emulated by HHH1 emulating HHH  DDD emulated by HHH emulating HHH
>>>>>> [00002183] push ebp      ;          [00002183] push ebp      ;
>>>>>> [00002184] mov ebp,esp   ;          [00002184] mov ebp,esp   ;
>>>>>> [00002186] push 00002183 ; DDD      [00002186] push 00002183 ; DDD
>>>>>> [0000218b] call 000015c3 ; HHH      [0000218b] call 000015c3 ; HHH
>>>>>>                                      ### HHH aborts ###
>>>>>>
>>>>>
>>>>> *That is dishonest*
>>>>
>>>> No, that is the *fact* of what happens when HHH1 emulates DDD
>>>>
>>>>> HHH1 emulates DDD once and this matches
>>>> The one time that the outer HHH emulates DDD, up to the point that 
>>>> HHH aborts
>>>>
>>>>>
>>>>> DDD emulated by HHH1              DDD emulated by HHH
>>>>> [00002183] push ebp               [00002183] push ebp
>>>>> [00002184] mov ebp,esp            [00002184] mov ebp,esp
>>>>> [00002186] push 00002183 ; DDD    [00002186] push 00002183 ; DDD
>>>>> [0000218b] call 000015c3 ; HHH    [0000218b] call 000015c3 ; HHH
>>>>>
>>>>> *THE MATCHING IS NOW USED UP*
>>>>> *THE MATCHING IS NOW USED UP*
>>>>> *THE MATCHING IS NOW USED UP*
>>>>
>>>> False.  HHH1 is still simulating the left side by simulating HHH as 
>>>> shown above.
>>>>
>>>
>>> The is not the way that side-by-side comparisons of
>>> DDD simulated by HHH1 versus DDD simulated by HHH
>>> are made.
>>
>> False.  That is *exactly* how they are made.  Anything that the 
>> directly executed HHH1 emulates, at any level, 
> 
> *besides side-by-side IS NOT SIDE-BY-SIDE*
> 
> We put everything that HHH1 emulates immediately
> next to everything that HHH emulates and we see

That they're exactly the same up to the point that HHH aborts, as you 
have admitted on the record.

> 
> DDD emulated by HHH1              DDD emulated by HHH
> [00002183] push ebp               [00002183] push ebp
> [00002184] mov ebp,esp            [00002184] mov ebp,esp
> [00002186] push 00002183 ; DDD    [00002186] push 00002183 ; DDD
> [0000218b] call 000015c3 ; HHH    [0000218b] call 000015c3 ; HHH

DDD emulated by HHH1 emulating HHH  DDD emulated by HHH emulating HHH
[00002183] push ebp      ;          [00002183] push ebp      ;
[00002184] mov ebp,esp   ;          [00002184] mov ebp,esp   ;
[00002186] push 00002183 ; DDD      [00002186] push 00002183 ; DDD
[0000218b] call 000015c3 ; HHH      [0000218b] call 000015c3 ; HHH
                                     ### HHH aborts ###

See, the same instructions up to the point that HHH aborts

DDD emulated by HHH1 emulating HHH emulating HHH
[00002183] push ebp      ;
[00002184] mov ebp,esp   ;
[00002186] push 00002183 ; DDD
[0000218b] call 000015c3 ; HHH
### first emulated HHH aborts ###

DDD emulated by HHH1 (continued)
[00002190] 83c404     add esp,+04
[00002193] 5d         pop ebp
[00002194] c3         ret