用途:在教学中把一个论断作为事实讲出之前先做核查,让学习者可以信任单一界面。适用于经验性、历史性、文献性、API/工具类论断,命名定理、恒等式或你无法重建的“标准事实”,以及任何你即将以未经证实的确定性呈现的内容。只有当你能在会话中自行推导该陈述、且学习者不需要外部引用时,才可跳过完整搜索,但仍应说明它是推导而来而非来自来源。
方法:1)把论断写成一句可被证伪的话;2)获取或搜索接近一手来源(论文、教科书、官方文档、标准参考),不要引用未打开过的 URL;3)引用或转述支持性语句,必要时注明版本/年份;4)标注分歧,优先采用该领域实际使用的来源;5)返回结论。
结论格式:Claim(论断)、Verdict(confirmed | qualified | contradicted | unknown)、Sources(标题—URL 或引用—其所述内容)、Teach as(教师现在可用的一句话,含必要的限定语)。qualified 表示在所述假设(维度、特征、规范、版本)下为真;unknown 表示不要把它当作事实讲授,说明无法核实。
规则:不得编造论文、引文或页码;每次只核查一个论断,仅当多个论断是同一事实的不同表述时才批量处理;若存在教学会话文件,把结论写入该会话文件。
触发方式:用户运行 /learn-verify 或 /skill:learn-verify,或说出相应请求时使用。