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. Link https://bjklock.com/p/deterministic-lunar-calendar-proof