高等数学智慧课程 Skill 系统 v3｜统一验证器内核 + 四前端场景
原则：
Verification
Traceability
Reproducibility
反 Mode Seeking：主动暴露长尾
1 概念反例/边界
2 推导暂停-预测-回滚
3 错题 SNR 诊断
4 长尾题生成
复制 GeoGebra 指令
上一步
回滚到最近 checkpoint
下一步/揭示
重置
校验预测
先不要急着看下一步：预测下一行，再校验。危险定理必须写“已验证条件”。
导出 trace JSON
载入示例事件
分析 SNR
生成长尾题