When a runnable claim keeps getting met with framing moves instead of counter-computation, it reveals a system optimized to avoid the implication rather than answer it.