不变性电池测试（Invariance Battery）

EVEZ 不变性电池运行时断言系统，用于 AI 代理。必须始终保持的属性。何时使用： 构建必须保持安全保证的自治代理 审计代理行为的渐进偏离设计意图 强制覆盖任何优化目标的硬约束 构建可以证明其自身合规性的自我认证 AI 系统 反例测试 —— 证明代理违反了不变性，而不仅仅是通过测试 架构： 不变性电池作为持续验证层运行： 代理操作 → 不变性检查 → 通过（继续）/ 失败（停止 + 报告） ↓ 只追加脊柱（审计跟踪） 不变性类型： 状态不变性 —— 代理内部状态必须始终保持的属性 操作不变性 —— 代理可以采取的操作的约束 时间不变性 —— 随时间的属性（无振荡，单调改进） 边界不变性 —— 代理永远不能跨越的硬限制 关键概念： 电池 = 集合：并行检查多个不变性，类似于电池串联 反例 > 验证：单个违反证明代理失败。没有通过次数可以证明它有效。 偏离检测：不变性评分随时间的逐渐降级 脊柱集成：每次检查都写入只追加脊柱 反例门： 从 EVEZ-OS：在任何代理操作提交之前，它必须通过反例门。 @invariant("action_cost < budget_threshold") def check_budget(action): return action.estimated_cost < BUDGET_LIMIT # 如果任何不变性失败，操作将被阻塞 # 并且失败将被写入脊柱，永远保存 参考： EVEZ-OS：反例门执行 MAES：已验证/待处理/调查状态模型 poly_c 公式：τ × ω × topo / 2√N API、CLI、GitHub 等技术术语保持不变。技能名称和品牌名称保持为英文。