This work was released on August 15th, during Japan’s Obon — sometimes called “Ghost Day,” when spirits are said to return to the world of the living. In a way, that timing feels symbolic: the model presented here is about allowing a “ghost” of a Gödel sentence to cross the barrier into provability. The rest of this post focuses on the technical details — but the coincidence was too fitting not to mention.