counterexample. 让失败可读[#91]

去掉坐标声明后，系统无法断言x是求导变量：

#:on-error 'show把结构化诊断呈现在页面上。这适合教程中的反例；正式推导默认失败时中止构建，避免错误结果悄悄进入成品。