下面是本项目已归档的验证结论，每一条都链接到它的验收条件、决策记录与有效域。先看判定与可追溯性，数字在展开层。
这些是归档结论，不是本页现算的数。每个数值在导出时都会逐字回查决策记录，对不上就拒绝导出——所以"改了记录、忘了改页面"会在导出那一步当场失败。
验收编号与决策编号由数据本身给出，不是写在页面里的。
这一页回答"验过什么"。另外两页分别回答"为什么需求会分歧"与"为什么相信某一条结论"。
为什么我们拒绝只用一套步态数据 看一个结论是怎么收口的 看我们的判据是怎么被更正的