learn-verify

学习核验

信任需要精心构建。先核实说法，再将其作为事实讲授。

何时运行

• 经验性、历史性、文献性或 API／工具相关的说法
• 无法自行推导的命名定理、恒等式或“公认事实”
• 任何你正打算以未经证实的确定口吻呈现的内容

只有当你能在当前会话中推导出该陈述，且学习者不需要外部引文时，才跳过完整搜索。仍需说明这是推导所得，而非来源所述。

方法

1. 用一句可证伪的话写出该说法。
2. 获取或搜索较为权威的一手来源（论文、教材、官方文档、标准参考资料）。不要引用你没有打开过的 URL。
3. 引述或转述支持该说法的内容。必要时注明版本／年份。
4. 标明分歧。优先采用该领域实际使用的来源。
5. 给出判定结果。

判定结果

## Claim
…

## Verdict
confirmed | qualified | contradicted | unknown

## Sources
- <title> — <url or citation> — <what it says>

## Teach as
<one sentence the teacher may now say, with any hedge>

qualified = 在所述假设（维度、特征、规范、版本）下成立。

unknown = 不要将其作为事实来讲授。说明你无法核实。

规则

• 不得编造论文、引文或页码。
• 每次只核验一个说法。仅当多个说法是同一事实的不同表述时，才可批量核验。
• 如果当前有教学会话处于打开状态，请将判定结果写入会话文件。