A4 三个不等号公理

表述①动作完成 ≠ 要素变化；②要素变化 ≠ 目标发生；③目标是否发生，只能由人凭证据宣布。

出处使用指南 03；M12（「动作完成只可能进入待验证效果」）；M1 ⑦（系统任何时候不得宣布目标已发生）。

防止把产出当成果；把成果当目标；系统越权宣布成功。