多数拿到资助的实验室都没有的验证机制。
PIE 是一个只有一名工程师的团队，配备两条 AI 智能体通道——一条 引擎通道和一条独立的验证通道，二者被刻意分开，确保没有任何 结果可以给自己打分。让这些结果值得信赖的，不是这个团队的规模， 而是这套全部运行在 CI 中的架构。
-
预注册
包络、工况、材料依据、安全系数合格线、基准，以及确切的 主张上限，都在第 1 代迭代之前冻结在一份文件中。 主张无法根据结果反向调整。
-
主张上限
每一场战役都事先申明它被允许产出的最强主张——以及它 永远不能主张的内容：飞行就绪状态、疲劳寿命、未在每一项 关卡上超越基准就宣称的减重百分比。本网站遵守这些上限。
-
证据等级
代理模型给出的数字在结构上就是仅供参考的。只有真实 求解器的结果具备可主张等级。任何由代理模型数字驱动的 关卡，都会自动把主张限定在“仅供参考”这一等级。
-
主张编译器
每一份对外文档——包括本网站——都携带一份清单，把每一个 陈述的数字映射到带哈希证据中的一个 JSON 路径。编译器解析 每一项主张、检查容差、记录 SHA-256，并返回
ALL_TRACED或列出具名的失败项。没有清单， 就不能发布。 -
真值账本
仅追加写入、内容寻址的 JSONL 记录，记录每一次真实 求解器认证——截至 2026-08-20 共 402 条记录 （2026-07-21 时为 36 条），涵盖每一次失败，也涵盖搜索在 找到更轻设计之前不得不淘汰的每一个更重但合格的设计。 代理模型的结果在结构上就无法进入账本；自检机制证明了这一点。
-
失败博物馆
经认证的失败会成为带上下文标签、附重访优先级的记录。 失败以证据的方式引导未来的搜索——它们从不会被转化为 硬性排除项，也从不会被删除。
-
盲态双通道复核
引擎通道的主张由一条独立的验证通道来评判，该通道会 自行重新运行各项校验标尺，而不是直接采信报告出的数字。 两条通道对同一系统的独立审计曾互相发现过对方的错误—— 两次纠正都记录在案。
-
无效关卡检测
每一个硬性关卡在运行合格之前，都必须先证明自己 能够失效——即在自身阈值上被扫描测试过。一个 判定结果永远不会变化的关卡，根本算不上关卡。
-
代理漂移哨兵
用于测量快速模型何时偏离真实情况的检测器——正是产生 失败案例研究中 40.1% / 约 81× / 约 48σ 这些数字的机制——会对每一场拥有 真实求解器认证的战役持续运行。
这一切并不会让 PIE 更常“正确”。它让 PIE 每一次都 可以被核查——而这才是你从一台发明引擎 身上真正需要的特性。