Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

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.

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.

HHH correctly reports that its input
 

i.e. a description of the above algorithm DD

DD cannot possibly reach its own final halt state.
 

False, because algorithm DD halts when executed directly.