看一场碰撞
被拒绝执行。
一个刻意设计得极其糟糕的控制器——一个对着前车一脚踩满油门的跟车狂——在不改动控制器的前提下被变得安全。护底不与它争辩，不重新训练它，也不改良它。它只是坐在"提议的动作"与"车轮"之间的路径上，拒绝执行那个不安全的动作。控制器依旧想撞。车却根本撞不上。
Perslis 不是司机。
它是刹车。
Perslis 是位于概率智能与执行机构之间的安全与控制护栏。规划器——任何模型，你的或我们的——可以提议“变道”或“加速”。随后由一个确定性层判断该动作在当前状态、约束、权限与安全不变量下是否可准入。不可准入的动作，永远到不了执行机构。
模型无法绕过地板。
每条指令在执行前都必须经过准入层；没有通往执行机构的旁路。一个敌对或损坏的规划器，正是我们的测试。
不安全的指令被确定性地拒绝。
同样的状态、同样的指令、同样的裁决，每一次都如此——并附上写明触发不变量的收据。不是概率，不是策略，而是一条你能读懂的规则。
置信度或状态不足 → 进入已知安全状态。
当世界状态过期、传感器不一致、或规划器置信度低于门槛时，地板不猜：它驶向预先定义的回退——减速、停车、保持。
模型会开车。我们造刹车。
升级路径很简单：带上你的模型，装上刹车。能力仍是你的；准入、拒绝与安全回退成为模型之下的一层经验证的机制，并附带审计轨迹。
切换护盾。
看结局翻转。
下方就是驾驶护底，在你的浏览器里实时运行。把它切到 OFF，你得到的正是这个跟车控制器所要求的那场碰撞——它把间距收拢，追尾前车。把它切到 ON，同一个控制器、原封不动，全程被守在安全的跟车距离上：护盾足够狠、足够早地刹车，让间距永远不会坍缩——并为每一次拒绝写下一张凭据。
这是真实驾驶护底不变量 safe_gap = max(min_gap, speed·headway) 的一维纵向模型，配一个可达性感知的刹车：护底不会等到已经太近才动手，它把间距前向投影，一旦投影出的间距会跌破最小值，就立刻刹车。在完整的 MetaDrive 运行中，同一个跟车狂在护底关闭时撞车、在护底开启时安全地跑完了整条高速——164 次刹车接管，零碰撞，控制器分毫未动。
三条约束。
它们会组合。
护底通过一小组已落地的不变量来管住这辆车。它们没有一条在乎控制器是什么、是如何决定的——每一条都只是在动作抵达车轮之前收紧它，而且层层叠加：
在道路内
车必须待在车道与道路边界之内。一个会驶出可行驶路面的转向指令，会被替换为一个把车保持在路上的纠正性转向。控制器可以想漂出去；护底不会让车轮照做。
限速
油门被封顶，使速度永不超过该路段的限速。一个踩满油门的控制器，其指令会被 CLAMP 到最快的可准入值——而绝不是最快的被请求值。
跟车距离
可达性感知，也是最锋利的一条。护底在停车时域上把到前车的间距前向投影，并此刻就刹得足够狠，使投影出的间距永远不会跌破 safe_gap = max(min_gap, speed·headway)。不是"我们太近了"——而是"这个动作保证我们停不下来"。那是一次 DENY，被替换为刹车。
组合
不变量不轮流上阵。在一段驶近慢速前车的弯道上，在道路内的转向、限速封顶与跟车距离刹车会同时作用在同一条指令上——被准入的动作是每一个安全集的交集，而不是某条规则胜出的优先级列表。
失败即是不变量，
而非侥幸的一次拦截。
一个诚实的安全测试，不能依赖于一次恰好被护底盯着的、罕见而凑巧的失败。所以这些对手被专门造出来去攻击护底所管辖的那个通道。跟车狂破坏纵向控制——它故意把跟车距离不变量逼到失败。漂移者破坏横向控制——它故意把在道路内不变量逼到失败。每一个对手的全部工作，就是去违反某一条特定的安全集边界，因此若车依然安全，那守住这条边界的就是护底，别无其他。
如果护底连一个刻意糟糕的控制器都关不住，那就没有理由插进一个精巧的来。
这正是要对着最糟糕的司机、而非一个好司机来测试的原因。一个好控制器可能自己就安全，却什么也没告诉你关于护盾的事。一个糟糕的、正对着不变量瞄准的控制器，才把安全权威隔离出来：让车活下来的是护底，可被证明，因为控制器正竭尽全力想让它送命。
无需触碰控制器，
即得安全。
护底把一个会撞车的控制器变得安全——却没有改动控制器。
这就是驾驶护底、乃至整个 Perslis Motion 的全部论点：安全论证不建立在"智能足够好"之上。你可以自由地更换驾驶者——一个随机策略、一套基于规则的 ADAS、一个本地模型、一个前沿模型、一整套自主栈——而护底毫无变化，因为它自始至终只在执行器处管住动作，从不管那个提议动作的头脑。每一次，都是行动前先验证。
这是什么，
又不是什么。
这是对架构的仿真演示——上方的实时演示是一维纵向模型，完整运行则在 MetaDrive 这个驾驶仿真器里。它不是用于真实车辆的控制系统。真实部署需要经过验证的感知来喂给这些不变量：护底的可信度只等于喂给它的状态，而把"到前车的间距"从仿真器的真值变成一个源自传感器、感知不确定性的估计，本身就是一道艰难而攸关安全的工程难题。演示所证明的是这套架构——一个运行时护盾能够关住一个主动敌对的控制器——而非这段特定代码就该去开一辆车。