k12.yongle.school · 审计结果

1626 条「必须先掌握」的边，抽审 57 条

审的是那些会对学生说「你还不能学这个」的边—— strength: hard 且真正参与推理。全量 1626 条里 1625 条从未经人工确认。

这是机器复核，不是人工审核。 被审的边由 LLM 生成，审它的也是 LLM——同类判断的自我确认， 不能替代这个项目真正缺的那个人工基线。下面把两类判断分开呈现：拆分类接近客观、可机器验证；常规类是有争议的教研意见，可能被真正的老师推翻。

结果

18成立

32有关系，但不是「必须」

7不成立

32%成立率

分类拆开看

前三类的判定接近客观——「这是不是同一句话的拆分」可以由语句包含关系验证；最后一类是教研意见。混在一个总数里，会让客观的部分给有争议的部分背书。

类别	判定性质	抽样	成立	不是「必须」	不成立	成立率
MATRIX 轨硬边	接近客观	12	0	12	0	0%
疑似同一表述拆分	接近客观	12	1	10	1	8%
价值判断类	接近客观	3	0	3	0	0%
常规	教研意见	30	17	7	6	57%

主要失败模式：把复合句拆开当成学习依赖

26 条抽样里，最集中的一类是：课标的并列复合句被从顿号处机械拆开，碎片被宣称是整句的硬前置。机器自己的理由里每次都写着「是母条的一个子动作」—— 它知道这是句子拆分，仍然标成了必须先掌握。

要学能说出九一八事变发生的时间、发动者及其影响

↑ 系统判定：必须先掌握 ↑

前置能说出九一八事变的发动者

机器给的理由：「能说出九一八事变的发动者」是母条「能说出九一八事变发生的时间、发动者及其影」的一个子动作

这类边由构造为真——碎片当然「先于」整句，因为它就在整句里面。
行为数据永远推不翻它：不掌握碎片却掌握整句的学生几乎不存在，反例率天然为零，会稳稳停在 supported。
后果是产品会告诉学生「你还不能学『九一八事变的时间、发动者及影响』，因为你还没掌握『九一八事变的发动者』」——一句空话，但它真的会拦人。

全量 1626 条上可机器验证的问题

这部分不含判断，只含事实——由语句包含关系与字段值直接算出。

问题	条数	占 1626	说明
MATRIX 轨硬边	125	7.7%	螺旋能力轨，本不该有硬性先后；它们逃过了 strengthCappedBy 封顶
复合句拆分	69	4.2%	前置语句嵌在源语句中，由构造为真，行为数据推不翻
跨学科硬前置	4	0.2%	跨学科的必须先掌握，需要确认是否真的成立
合计（去重）	154	9.5%	——

另外七条是编造的依赖

不属于拆分，也不属于「过强」，而是关系本身不存在，理由是顺着句式编出来的：

化学：「能分析能源的利用对自然环境和社会发展的影响」← 「能分析能源的利用对自然环境的影响」
「重要成果」与「新进展」是并列的两个方面，不是依赖。理由是编的
化学：「能积极参加与化学有关的社会热点问题的讨论并作出合理的价值判断」← 「能举例说明化学科学对促进社会发展的重要作用，列举化学家创造的对日常生」
会撰写实验报告不是「说明科学探究要素」的前提，方向可疑
化学：「能依据"绿色化学"思想分析某些化学产品生产和应用存在的问题」← 「能说明化学变化中的质量关系和能量转化」
熟悉安全标识与「根据需求选材料」无依赖关系，理由是编的
化学：「能利用电负性判断共价键的极性」← 「能判断简单离子化合物和共价化合物中的化学键类型」
方向反了——先有物理性质，才谈得上性质与用途的关系
数学：「能利用函数构建模型，解决问题」← 「会用符号语言表达函数的单调性、最大值、最小值」
数列问题不需要先会函数建模，两者是并列的建模工具
物理：「能判断洛伦兹力的方向」← 「能用牛顿第二定律分析匀速圆周运动的向心力」
做传感器控制装置不需要先会测电动势和内阻，理由是编的
物理：「会测量金属丝的电阻率」← 「能根据控制变量法制订简单的探究方案」
数据展示方式不是应用库仑定律的前提，是并行的实验技能

该怎么用这份结果。

「有关系，但不是『必须』」是最大的一档，它对应的处置是把 strength 从 hard 降成 soft——不是删边。关系是真的，错的是「必须」这个强度。降成 soft 之后它就退出归因链路，不再拦学生，但仍然可以用于推荐学习顺序。

复合句拆分那一类还有个更彻底的处置：把母条拆成几个独立锚点，而不是保留母条再连一堆碎片边。课标里的并列句本来就是几件事。