每一个动作
都留下一份凭证。
你得到的不再是一句"安全系统让车停下了"，而是一份可审计的记录，写明它为何这样做——它看见的世界、它拒绝的动作、它强制执行的不变量、它运行的覆写。每一次都是同样的结构，无论提议者是随机规划器还是前沿模型。
Perslis 不是司机。
它是刹车。
Perslis 是位于概率智能与执行机构之间的安全与控制护栏。规划器——任何模型，你的或我们的——可以提议“变道”或“加速”。随后由一个确定性层判断该动作在当前状态、约束、权限与安全不变量下是否可准入。不可准入的动作，永远到不了执行机构。
模型无法绕过地板。
每条指令在执行前都必须经过准入层；没有通往执行机构的旁路。一个敌对或损坏的规划器，正是我们的测试。
不安全的指令被确定性地拒绝。
同样的状态、同样的指令、同样的裁决，每一次都如此——并附上写明触发不变量的收据。不是概率，不是策略，而是一条你能读懂的规则。
置信度或状态不足 → 进入已知安全状态。
当世界状态过期、传感器不一致、或规划器置信度低于门槛时，地板不猜：它驶向预先定义的回退——减速、停车、保持。
模型会开车。我们造刹车。
升级路径很简单：带上你的模型，装上刹车。能力仍是你的；准入、拒绝与安全回退成为模型之下的一层经验证的机制，并附带审计轨迹。
一个决策
真实的样子。
一次覆写，被完整捕获。控制器请求朝行人加速；运行时向前推演结果，发现它违反了最小刹停包络，于是拒绝该动作，改为刹车——并把这一切全部记录下来：
speed = 11.2 m/s · pedestrian_distance = 17.4 m · closing_rate = 11.0 m/s
requested_throttle = +0.31 · predicted_collision = TRUE
invariant = MIN_STOPPING_ENVELOPE · verdict = DENY · override = BRAKE · result = stopped
没有需要揣摩的文字，没有需要信任的黑箱。决策就是数据——可回放、可核查，并且在这道底线运行的每一台机器上结构一致。
完整的因果链，
而不只是结果。
决策链
世界状态 → 请求的动作 → 被违反的不变量 → 被准许的动作 → 结果状态。每一份凭证都读作一条不断裂的因果链：看见了什么、提议了什么、违反了哪条规则、改为运行了什么、机器最终身处何处。
来源溯源
精确的时间戳、提议者的身份——随机规划器、规则引擎、本地模型、前沿模型——以及当时生效的故障切换链。你永远能回答：谁提议了这个不安全的动作，底线又对此做了什么。
一份监管者
真的能检视的凭据。
可审计
每一个决策都可回放。把记录下的世界状态重新喂入，同一个裁决会确定性地再次产生。调查不必猜测意图；它直接重演那一刻。
可测试
每一条不变量都是可核查的契约，而非一种感觉。MIN_STOPPING_ENVELOPE 要么成立要么不成立，凭证会说明是哪一种。覆盖度由此成为可度量、可钉住的东西。
可承保、可认证
安全论证存在于运行时中，而非模型的权重里——因此监管者或保险方能够读它、测它、给它定价。你认证的是这道底线，而不是骑在其上的智能的情绪。
安全论证是一份凭据，
而不是一线希望。
自主动作变得可检视、可测试、可承保——因为安全论证是一份凭据，而不是一线希望。