审计产物的版本化不可变性

在审计或复核已有补丁/报告时，已发布的 validation/report 文件应视为不可变输入；若需要补充字段或重跑脚本，应写入新版本路径并记录上一版哈希，而不是在同一版本名下覆盖。这样才能让 内容作用域哈希校验 和 补丁审计的语义不变量门控 形成可追溯时间序列，避免同名文件哈希漂移削弱审计可信度。

审计收口账本

当补丁、diff、validation、report 已分别冻结且通过验证后，最后一轮不应再改 validation/report 来补摘要字段；更稳妥的做法是新增一个只读输入的 artifact ledger，列出最终路径、SHA256、字节数和最小 closure checks，并显式声明 manuscript body 未再修改。账本本身成为新的版本化产物，而原审计文件保持不可变。