Re: Every HHH(DDD) is correct to reject its input

Op 01.jun.2025 om 13:20 schreef Mikko:

On 2025-05-31 19:21:10 +0000, olcott said:
 

On 5/31/2025 2:11 PM, Mr Flibble wrote:

Olcott is doing this:
>
int main()
{
DDD(); // DDD calls HHH
}
>
This is incorrect as it is a category (type) error in the form of
conflation of the EXECUTION of DDD with the SIMULATION of DDD: to
completely and correctly simulate/analyse DDD there must be no execution
of DDD prior to the simulation of DDD.
>
Olcott should be doing this:
>
int main()
{
HHH(DDD);
}

>
I would have left it there except that many dozens of
reviewers have pointed out that they believe that HHH
is supposed to report on the behavior of its caller.

You are the only one that has used the idea of 'reporting on the behaviour of its caller'.
If you think one reviewer has suggested that, show a reference.
Everybody here understands that HHH must report on the behaviour specified in the actual input, which has code for abort and halt, not the hypothetical input that does not abort and halt. The input specifies a halting program, even if HHH is programmed in such a way that it cannot see that specification.