audited-change-gate

Certifier 是一个面向 AIOps 场景的自动化变更审计与验证引擎，为 AI 代理发起的基础设施变更提供端到端可验证的证明机制。其核心功能包括：基于密码学签名的变更凭证封装（Proof-Carrying Envelope）、细粒度资源作用域描述、预计算可逆回滚操作、以及实时爆破半径（blast radius）影响分析；采用零依赖静态二进制实现，支持嵌入 CI/CD、Shell 脚本或 sidecar 流程。适用于需要高可信度自动化运维的场景，如金融、政务等对变更安全与可追溯性要求严格的生产环境。