证据与可审计性¶
English | 中文
日志说某事发生了。证据让你重建发生了什么、验证它被允许，并在事后辩护决定。
为什么日志不够¶
日志通常为运维优化，不为证明。它们可能不完整、可变、缺少上下文，或与授权行动的策略脱节。 当决定被质疑时，“查日志”不是答案。
证据有四个属性：
- 结构化 — 以已知形状记录行动、输入、决定、结果与身份。
- 关联 — 连接策略、审批、执行与结果。
- 可防篡改 — 可检查修改或遗漏。
- 可保留 — 比产生它的流程活得更久。
生态中的证据¶
| 证据 | 产生者 | 用途 |
|---|---|---|
| 效果账本 | PRAXOVELA | 知道 Agent 实际做了什么 |
| 执行追踪 | PRAXOVELA | 重放、诊断、审计 |
| 流程历史 | RHEOVELA | 恢复与审计长期工作 |
| 验证结果 | TEKMOVELA | 发布门禁与重新验证 |
| 仿真证据 | PEIRAVELA | 比较可能世界 |
| 断言与状态历史 | ONTOVELA | 知道何时为真 |
| 授权决定 | AEGIVELA | 解释允许/拒绝 |
| 身份与生命周期记录 | EIDOVELA、NOMIVELA | 归因到 Agent |
证据不等于可观测性¶
可观测性问“系统健康吗？”证据问“我能证明发生了什么以及为什么吗？”系统可以高度可观测 却没有审计轨迹，反之亦然。成熟系统两者都需要。
一个实用测试¶
选一个重要行动，只用产物回答：
- 哪个 Agent 行动？
- 在哪个身份与权限下？
- 哪个策略允许？
- 实际调用了什么？
- 结果是什么？
- 谁批准？
- 行动能否撤销或恢复？
如果任何答案依赖人的记忆或可变仪表盘，证据模型就不完整。