Re: How could HHH report on the behavior of its caller?

On 2025-05-16 02:53:40 +0000, olcott said:

On 5/15/2025 2:37 AM, Mikko wrote:

On 2025-05-15 01:30:08 +0000, olcott said:
 

void DDD()
{
   HHH(DDD);
   return;
}
 int main()
{
   DDD();
}
 If HHH cannot report on the behavior of its caller
because this is a ridiculous requirement then how
can HHH report on the direct execution of DDD()
(AKA its caller).

 Your HHH can use all information that Flibble's decider can. Flibble's
decider can determine and report that DDD halts.

 I asked you (not Flibble) to show exactly how the requirement
that HHH report on the direct execution of DDD()
[that requires HHH to report on the behavior of its caller]
is not nonsense.

Not in the messages quoted above. Nothing else is relevant here.
It does not make sense to ask me. You should just post questions
and read the responses. Maybe someone answers at least a part of
your question, maybe not.
--
Mikko