证据类型与核验状态

一个标签只能说明判断依赖什么，不能证明判断已经成立。本站把依据类型、核验状态、结论范围分别记录；例如“找到课标文件”与“逐字核对某一条款”是不同的进度。

类型	所需依据	不能据此推出
数学推导（旧标记 [逻辑]）	定义、成立条件、完整推理；必要时给反例	有限采样通过就证明全域正确，或答案数值正确就代表过程正确
课程事实（[课标]）	明确版本、条目、印刷页与PDF页、短摘录及核验范围	摘要没有写就等于全文没有要求，或某个行为动词代表固定训练时数
教材事实（[教材]）	出版社、版次、册次、原目录或原书位置	某一本书代表所有地区，或新书发布就表示所有学校已经切换
历史事实（[史实]）	可追溯史料、年代和解释范围	流传广泛的故事就可以当作史实
教学建议（[经验]）	适用人群、目标、可调整条件；有效性主张还需观察或研究数据	四周保证达标、一题就能诊断原因，或特定训练量适合所有学生

数学论证可以引用可靠资料，引用不会削弱证明；读者仍应核对前提和步骤。经验性效果判断可以通过数据检验，“尚无证据”不能改写成“无法检验”。

来源记录怎样读

课程标准引用中心区分：

• 待核原件：只保留线索，不能据此宣称已经确认。
• 已定位主题：已取得原件并找到相关内容，尚未完成所涉全文逐字审定。
• 指定摘录已对照原页：只对列明的条款、页码和摘录负责，不自动扩展到整份文件。

教材定位见教材版本说明，考试材料见考试评析。来源标注不等于取得全文转载授权。

内容复核怎样读

题目分别显示断言执行结果、是否读取结构化答案，以及推导复核的方式和日期。证明、复杂表达式和来源判断不能由一个数值断言代替。

AI辅助复核不计为人工复核。 内容指纹将复核记录绑定到题面、选项、答案、步骤、理由、评分与所用图片；内容变化后必须重新审查。报告保留待核项，不能自动给新题盖复核章。

衔接议题的分类

当前分类用于组织学习联系，不是课程缺陷已经成立的证明：

类别	当前含义	如何检查
A	推理条件	写出推导实际使用的前提，检查本页是否说明
B	知识联系	用已有知识完成推导，检查联系是否被显式解释
C	语言或定义衔接	比较准确措辞与适用范围，不能编造旧定义排除的例子
D	对象与表示	说明新对象如何与已有表示相连，检查所需前置
E	经验性学习建议	明确目标与适用人群，用独立复测观察是否需要调整

原13条议题及旧编号保留在议题登记表。不再依据类别把它们合计为“已证实的断层数量”。

发现错误以后

数学错误直接纠正；证据不足的经验或历史主张就地说明限制，必要时撤回。保留原判断与修正依据的追溯记录，不让错误继续充当现行指导。

例如：2011与2022的韦达条目现已对照两版原页，确认旧版标星、新版未标星，但不能据此声称某次考试必然命题；相似证明的特定脚注不能推出“相似推理训练被抽空”；函数的常函数、分段函数与初中变量表述并不矛盾。详细修正见变更记录。