XPost: comp.theory, comp.lang.c++   
   From: 643-408-1753@kylheku.com   
      
   On 2025-11-19, olcott  wrote:   
   > D() executed from main   
   > does stop running without needing to be aborted   
   > this proves itself to be a different D()   
      
   1. If that /were/ the case you are dead on arrival. There /must not/ be   
   a different D. If you are modeling halting with functions, they have   
   to be pure, recursive function, whose computation depends on nothing   
   but their arguments---of whch D has none.   
      
   2. There is only one D. H returns the wrong value 0, and incomplete   
   simulation of D carried out by H has a continuation which terminates.①   
   When it does that, it will have carried out exactly all the same   
   instructions as the D called from main, confirming that there is nothng   
   different about it.   
      
   H is incorrect in returning 0.   
      
   That's the most sensible explanation for everything.   
      
   ---   
   1. Which has been demonstrated with x86 execution tracing, using   
      the very framework you cobbed together which for years you claimed   
      to be the gold standard reference for proving all your claims.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)