E6 · 出版卷 28

数据与解释版本管理

快照、有效期、分支、批准与差异

*快照、有效期、分支、批准与差异*

不可变快照、解释分支、批准关口与语义差异
不可变快照、解释分支、批准关口与语义差异

学习目标

本课是通用、机构中立内容，不使用任何真实公司、个人、矿权、项目或可识别地点。通用角色只描述职责，SYN-ARCH 标识符明确表示合成教学证据。

  • 界定由“快照、有效期、分支、批准与差异”治理的决定。
  • 在选择实现前建立相关边界、状态与合同模型。
  • 定义可测不变量、故障证据与安全发布后果。
  • 基于合成证据产出一份带语义差异规则的数据与解释版本政策并为其权衡辩护。

决策边界

对决定真正依赖的内容建立版本：观测、纠正、分类、解释、参数、合同、政策与批准状态。不能仅因存在更新陈述就覆盖旧陈述。区分有效时间与系统时间：前者说明陈述在所描述世界中何时适用，后者说明系统何时记录或取代它。快照固定一个可检索、可回放的一致集合。分支允许备选解释存在，却不声称两者都是已批准真相。合并是带明确冲突的科学评审决定，不是自动文件操作。

核心概念

身份、修订、版本、快照与发布用途不同。身份回答引用的是哪个实体或解释；修订记录表示或陈述变化；快照在一个可复现边界闭合依赖；发布加入评审与公开状态。面向内容的版本标签可以传达兼容性，但不能替代数据来源、有效期或科学重要性。差异必须具有语义：属性纠正、参考变化、几何位移、拓扑变化、分类变化与批准变化即使字节数相近，后果也不同。

系统模型与合同

维护不可变陈述或制品版本，并用派生自、修订、取代、备选与合并自等关系连接。每个版本记录身份、版本、有效区间、记录区间、来源证据、变换、编制角色、评审状态与摘要。快照清单列出确切成员版本与依赖闭包。分支命名持续演进的解释谱系；批准指向一个不可变快照，而不是移动的分支头。语义差异服务返回新增、移除、变化与未变身份，并给出领域量度、未解决冲突与可比性警告。

不变量与验收标准

| 不变量 | 测试证据 | 发布后果 | |---|---|---| | 任何已发布观测或解释都不被原地覆盖。 | 合同测试与反例记录 | 阻止发布 | | 每次批准都指向一个完整不可变快照。 | 回放比较与摘要检查 | 隔离制品 | | 有效时间始终与系统记录时间分离。 | 基于角色的验收追踪 | 把决定返回为未解决 | | 语义差异声明身份、参考与容差规则。 | 故障注入与恢复记录 | 保留上一已验证版本 | | 分支冲突在记录评审解决前保持明确。 | 依据声明证据的领域审查 | 记录明确评审发现 |

量化工程

变化应同时按含义与数量报告。几何位移可使用声明的水平与垂直距离；分类变化使用转移矩阵；区间变化报告重叠、间隙与边界移动；栅格变化报告有效单元覆盖与数值分布；模型变化报告体积或曲面距离摘要并附不确定性。快照完整度为 C_s=n_{resolved}/n_{declared}，发布时必须为一，除非明确允许缺失成员。差异阈值用于选择评审注意范围，不能在没有证据时重新定义科学等价。

数据质量、证据与不确定性

版本证据包括变更前后清单、变更原因、来源观测、变换或人工编辑记录、验证结果、审查发现与批准动作。纠正保留错误的历史陈述并标记其被取代，使早期决定仍可解释。分支冲突保留两个备选及各自引用证据。用不改变含义的重编码、记录重排、参考变换、身份拆分与合并、空值转换和证据删除测试差异。仅凭字节差异不能判断含义是否变化。

互操作性与版本

每个检索合同说明其接受的是不可变版本、快照、分支头、有效时间还是当前已批准别名。“当前”在响应中解析为具体快照，使客户端可以重复请求。版本标识是稳定不透明值，人类可读标签属于元数据。差异合同声明比较基准、参考规范化、容差、身份匹配与不支持情况。导出数据包保留版本图边与批准证据。兼容性标签适用于模式或接口行为，不能替代科学变更说明。

安全与专业责任

历史可见性遵循政策；保留版本不代表每个角色都能取回。分支成员、审查意见、被拒解释与敏感范围可能比已批准发布需要更窄访问。差异端点应对两侧都授权，因为差异可能泄露隐藏内容。批准与取代属于受审计特权转换，需要职责分离。不可变历史需要完整性与保留控制；依法或按政策移除时使用可见墓碑或受限记录，使引用明确失败，而不是解析到不同内容。

运行流程与可观测性

观察分支年龄、未解决冲突、快照闭包、批准队列、别名移动、差异代价、历史读取失败与依赖保留。移动已批准别名前，验证目标快照，记录上一目标并原子更新。协调清单与保留制品，在依赖缺失或摘要变化时告警。迁移创建新版本与映射报告，绝不原地改写旧成员。弃用应在声明的证据保留政策要求内继续提供读取路径或有文档的导出方式。

集成检查点

把“数据与解释版本管理”制品连接到本卷前面的架构。追踪一个合成对象从来源身份穿过新边界到达已审查输出，再把一个拒绝或故障追溯到最早被违反的不变量。更新架构决定记录，写明所选方案、备选方案、假设、证据、后果、责任角色、评审状态与重新考虑触发条件。只有另一位审查者无需口头说明即可重建成功路径与阻断路径，检查点才通过。

合成案例

SYN-ARCH-08 最初只保存最新解释边界。一次参考纠正移动两个来源区间，但更新曲面覆盖已批准曲面，使早期决定无法复现。修订模型保留两个观测修订，创建两个解释分支，并按身份变化、边界位移与受影响体积比较。评审解决一个冲突，把另一个记录为开放，并批准不可变快照。“当前”别名原子移动，而上一快照及其决定证据继续按政策可取回。

练习与考核

  1. 哪些身份、时间与依赖定义可复现快照？
  2. 哪些语义变化量度对该证据类型有意义？
  3. 如何表示备选解释而不制造虚假共识？
  4. 别名移动后必须保留哪些批准与留存证据？

考核制品：一份带语义差异规则的数据与解释版本政策。提交时附来源清单、验收证据、未解决风险，并简要说明为何没有选择一个合理备选方案。

常见失败模式

  • 只保留最新记录却称其为版本历史。
  • 批准移动分支头而不是不可变快照。
  • 用一个兼容性标签暗示科学重要性。
  • 未规范参考与身份语义就比较字节。
  • 未经领域审查自动合并竞争解释。

来源与延伸阅读