A Boolean result the kernel couldn't prove was one body used to pass as a solid or get silently turned into a body set; now it fails with a diagnostic.
From the Grok pain-radar digest, Oct 25-26 2026 (Oct 25 daytime to Oct 26 morning slots). Verified live 2026-10-26: issue/PR read on GitHub; title and state confirmed.