Grok Ghost (proof) (SPOOK)