10.9 信念—实验卡对齐缺少语义校验

问题#

在产品自带的 G900 示例里，实验卡 E-G900-001 的假设是「上线三个完整案例页后，每周合作咨询会增加」，挂的信念是 B-G900-001；而 B-G900-001 的陈述是「先做一页低保真预览能更快暴露内容问题」。两者检验的不是同一个命题。实验卡的校验器检查结构与哈希，但不检查「卡的假设是否就是所挂信念的陈述（或其可检验推论）」。

为什么重要#

判读后调档建议会移动 B-G900-001，而移动的依据其实是另一个命题，这会悄悄污染账本。

建议#

P10 第 2 步（选一条信念）之后加一次显式核对：系统把「信念陈述」与「卡的假设」并排给本人，本人确认「这张卡的结果确实能改变我对这条信念的看法」才可锁定；不一致时先按 M6 准入一条新信念。示例本身也建议修正（新建 B-G900-003「案例页上线会增加合作咨询」并改挂）。