不变量

文章提出了适用于所有组合的五条不变量，以及五种破坏这些不变量的失败模式。

不变量在系统运行过程中必须始终为真，包括语法不变量（模型输出必须能被规则引擎解析）、语义不变量（规则引擎的结论不得违反硬编码的安全约束）、控制不变量（控制权转移必须遵循预定义的协议以避免死锁）。