Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Hypothetical possibilities --- Complete Proof
Date: Sat, 3 Aug 2024 12:07:02 +0300
Organization: -
Lines: 40
Message-ID: <v8krvm$3cn25$1@dont-email.me>
References: <v7gl30$3j9fi$1@dont-email.me> <v7led6$kacj$1@dont-email.me> <v7lsg5$luh0$5@dont-email.me> <v7nm9m$1433k$1@dont-email.me> <v7ofe7$17h8r$6@dont-email.me> <v7qfu0$1m6vf$1@dont-email.me> <v7r040$1onhe$3@dont-email.me> <v7vlbj$2ofet$1@dont-email.me> <v80a2u$2rabc$4@dont-email.me> <v825jo$39i9l$1@dont-email.me> <v82u9d$3dftr$3@dont-email.me> <v8306v$3c7$1@news.muc.de> <v83161$3dftr$11@dont-email.me> <v84udt$3rp4t$1@dont-email.me> <v8bc6j$159av$1@dont-email.me> <ea673a5b4ed43fbddf938c69bd013b0cf2ca325d@i2pn2.org> <v8c6kb$1de3l$1@dont-email.me> <9f3112e056ad6eebf35f940c34b802b46addcad4@i2pn2.org> <v8cde0$1ecgo$1@dont-email.me> <v8ctgt$1gbu7$4@dont-email.me> <v8dkc3$1kii7$3@dont-email.me> <v8e55v$1nrnh$1@dont-email.me> <v8e9vu$1oqd7$1@dont-email.me> <v8fftq$22ege$3@dont-email.me> <v8fuj5$24rl1$10@dont-email.me> <v8g1j7$24u77$6@dont-email.me> <v8g2jl$26d7d$1@dont-email.me> <v8ibf5$2p7ho$1@dont-email.me> <v8ieu0$2pju7$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 03 Aug 2024 11:07:02 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1a48d50997def039aa1d0a2731ff3c2c";
	logging-data="3562565"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/wS9EXHv+BCxUwAgYdKFZ9"
User-Agent: Unison/2.2
Cancel-Lock: sha1:bReB/ZTWdV50flJTtPOxJgMP3+Q=
Bytes: 3327

On 2024-08-02 11:11:59 +0000, olcott said:

> On 8/2/2024 5:12 AM, Mikko wrote:
>> On 2024-08-01 13:29:24 +0000, olcott said:
>> 
>>> *Here is the full trace where nothing is hidden*
>>> https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
>> 
>> On page 36 of that "trace"
>>    [0000128c][0010379f][00000018] e8e6f4ffff call 00000777
>> is not followed by the trace of 00000777. Instead the trace continues
>> with the next instruction after the return without any comment about
>> the omission. Meaning of 00000777 is not told.
>> 
> 
> The bottom line has always been (for three years now) that the
> fact that the next lines of DDD, (and DD) have always been the
> next lines that a correct x86 emulator would correctly emulate
> proves that HHH (and HH) did emulate these lines correctly
> *EVEN IF IT DID THIS BY WILD GUESS*

Per the meaning of "trace" the next trae line after a call instruction
is the treace line of the first instruction of the called program.
If you want to make any exceptions they must be indicated in the
trace.

If you want ever to prove anything with your trace the proof must
demonstrate that the omitted details do what they need to do for
the proof to be valid.

> Because of this all of the requests for a full execution trace
> have never been more than sadistic trollish head games.

We have already understood that your traces have never been more
than sadistic trollish head games. Serious honest purposes would
be satisfied with a couple of output calls.

-
Mikko