Every HHH(DDD) is correct to reject its input

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);
}
 /Flibble

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.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer