Semantic closure: why compilers know when they are right and LLMs do not · HackerTrans