9.2.2 守护进程（Guarded）与分辨函数

文档摘要

9.2.2 守护进程（Guarded）与分辨函数在分布式系统、实时嵌入式平台与高保障性协议栈的建模实践中，我们常陷入一种看似矛盾的困境：既要确保状态迁移的确定性与可验证性，又要应对现实世界中无处不在的不确定性输入——网络抖动、传感器漂移、时钟偏移、资源竞争、甚至硬件瞬态故障。此时，“守护进程（Guarded Process）”绝非教科书里一个被轻描淡写的语法糖；它是一道精密的逻辑闸门，是形式化语义与工程落地之间最关键的承重梁。而“分辨函数（Discriminant Function）”，则不是简单的布尔判据，而是系统在混沌边缘维持认知边界的数学锚点——它决定：此刻，该信谁？该走哪条路？该拒绝什么，又该接纳什么？这正是 9.2.