板如何裁决

全站说的"板"，指演算板：事实、规则、结论全部摆在板上，结论只能由"规则＋事实"推导产生，推不出来就不成立。这一页用最短的篇幅讲清它的四条裁决规矩；完整原理见原理说明。

只推导，不宣称

模型可以往板上放材料、立规则、声明目标——但它写不出一条结论。结论是板把规则反复应用到材料上、直到再也推不出新东西（这套穷尽的过程叫闭包）的产物。同样的材料与规则，永远得到同样的闭包——所以每条结论都可以复算。

模型试图直接断言一条"结论"？板把它记成断言材料，不会因为语气肯定就升格。

出身三分，永不混淆

板上每一条内容都有明确来源：

三者不可混同，是整个系统的命门：一个模型说"测试通过了"，与一个真实运行器留下的记录，在板上是两种东西。

数字精确计算，算不准就失败

算术是 exact-or-fail：±2⁵³ 内精确；越界、无穷、非数一律报错，绝不悄悄舍入。一个会静默给出错数的系统，比一个会报错的系统危险得多——错数会被你当成对的用下去。

每条结论拖着依据链

结论行自带"依据哪条规则、用了哪几项材料"，可以逐项追问下去；撤回一条材料，靠它撑着的结论随证据级联失效——不存在"拿着过期证据继续算数"。每条材料还带接地档：结论的成色等于它所踩的最弱前提。

板也有终点：封板

一块板不必永远长下去。一件事办完之后可以封板：从此写入一律被拒（拒绝带教学文本，说明这块板已经结了），读取照常——结论、依据、经过全都留在原处，可以继续逐条追问；重复封板也不出错。

于是"一件事的案卷"有了定稿的时刻：定稿之后没有人能再往里补一笔，包括当初办它的智能体。把每接一单开一块案卷、办结即封板当作工作方式，见运行独立智能体。

从这里去哪

亲手跟做一遍：第一个可核查案例；它保证什么、不保证什么：可信到底指什么；操作与字段：MCP 工具与字段与错误码。本页机制在云端已开放并生产验证，逐项见生产状态。