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: How the requirements that Professor Sipser agreed to are exactly
 met
Date: Tue, 13 May 2025 21:19:48 -0400
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <1000r3j$24gr3$5@dont-email.me>
References: <vv97ft$3fg66$1@dont-email.me>
 <87msbmeo3b.fsf@nosuchdomain.example.com> <vvjcge$27753$2@dont-email.me>
 <vvjeqf$28555$1@dont-email.me> <vvjffg$28g5i$1@dont-email.me>
 <875xiaejzg.fsf@nosuchdomain.example.com> <vvjgt1$28g5i$5@dont-email.me>
 <87jz6qczja.fsf@nosuchdomain.example.com> <vvjotc$28g5i$12@dont-email.me>
 <vvnh9u$3hd96$1@raubtier-asyl.eternal-september.org>
 <vvno4e$3in62$2@dont-email.me> <vvo71c$rlt$1@news.muc.de>
 <PlNTP.270466$lZjd.128570@fx05.ams4> <vvochv$15td$2@news.muc.de>
 <vvodn5$3na6l$3@dont-email.me>
 <1276edeb9893085c59b02bbbd59fe2c64011736b@i2pn2.org>
 <vvqk4s$gldn$12@dont-email.me> <vvqln4$g8ck$5@dont-email.me>
 <vvrftj$ndkg$1@dont-email.me> <vvrima$nejb$3@dont-email.me>
 <vvua3t$1hm37$1@dont-email.me>
 <cd36dcf87daefa9ae472cc426d57704c2baa4292@i2pn2.org>
 <10000hl$1v330$1@dont-email.me> <1000c4g$21dtc$2@dont-email.me>
 <1000ps6$24gr3$1@dont-email.me> <1000qd3$24jh0$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 14 May 2025 03:19:48 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="aa4573950805358eaedd8b0785eca37f";
	logging-data="2245475"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+nGuaGPHLVHH7hQZ1Iy5Eu"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Lvk2q8t5mL2giZQMNziH5eEs7Gw=
In-Reply-To: <1000qd3$24jh0$1@dont-email.me>
Content-Language: en-US
Bytes: 3859

On 5/13/2025 9:07 PM, olcott wrote:
> On 5/13/2025 7:58 PM, dbush wrote:
>> On 5/13/2025 5:04 PM, olcott wrote:
>>> On 5/13/2025 12:46 PM, Mike Terry wrote:
>>>> The global trace table does not record the simulation level for an 
>>>> entry, so the matching process is agnostic when it comes to 
>>>> simulation levels.   Also note there are many conditional branch 
>>>> instructions in HHH which would prevent matches occuring if we were 
>>>> to include HHH instructions in the examined trace!
>>>>
>>>
>>> Yes that is true. The program-under-test is not the test-program.
>>
>> FALSE!!!!
>>
>> It is *both* the test program *and* part of the program under test.  
>> As such, it is not allowed to be changed for any reason, hypothetical 
>> or otherwise.

Let the record show that no attempt was made to refute the above, 
therefore Peter Olcott has admitted that HHH part of the code under 
test, i.e. part of the input.

>>
>>> When HHH is reporting on the behavior of the finite string of x86
>>> machine code specified by DD, 
>>
>> i.e. the machine code of the function DD, the machine code of the 
>> function HHH, and the machine code of everything that HHH calls down 
>> to the OS leve.
>>
> 
> *would never stop running unless aborted*
> Thus meets this spec:
> 
> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>      If simulating halt decider H correctly simulates its
>      input D until H correctly determines that its simulated D
>      *would never stop running unless aborted* then

Which you lie about Sipser having agreed with:

On Monday, March 6, 2023 at 2:41:27 PM UTC-5, Ben Bacarisse wrote:
 > I exchanged emails with him about this. He does not agree with anything
 > substantive that PO has written. I won't quote him, as I don't have
 > permission, but he was, let's say... forthright, in his reply to me.