涵盖数据库迁移的验证、事务、并发、发布、回填和兼容性问题。该参考定义了采用边界、失败行为和可观察证据，同时保留环境特定限制的可配置性。
包状态： 参考上下文已准备好供人工审查。合同和测试场景已完成，但不保证采用的实现已通过它们。
决策
对于数据库迁移，采用数据库约束加上一个事务性领域写入路径。通过一个权威写入路径、类型化接口、显式状态和幂等副作用处理来实现该行为。此包为参考合同：采用团队必须根据自身环境中的证据选择数值限制、提供商、管辖区和运营所有者。
范围
- 本实现块描述的数据库迁移参与者、输入、输出、状态、策略或模式版本及外部可见结果。
- 主要和备用接口、后台工作、缓存、集成、支持路径及可行使相同边界的证据。
- 安全应用参考所需的采用特定配置、发布、恢复和验证职责。
本块之外
- 为每个采用者选择通用供应商、框架、管辖区、数值阈值、保留期或服务级别目标。
- 声称已针对下游实现运行打包场景，或该参考授予法律、安全或无障碍认证。
合同
- 使用类型、键、唯一性、外键和检查编码稳定不变量，而非仅依赖调用者约定。
- 定义事务和并发边界，包括陈旧写入、重复命令和部分失败的解决方式。
- 在破坏性变更前发布增量模式和双兼容代码；回填可恢复且可观察。
- 记录每个重要记录或关系的所有权、保留、删除、备份、恢复和索引影响。
- 在边界处验证输入一次，并保留下游逻辑使用的规范化表示。
- 在业务转换之前或与出站记录原子持久化；消费者通过持久操作身份去重。
- 使用扩展、迁移、验证和收缩阶段，使旧版和新版应用在发布和回滚窗口内保持兼容。
- 通过有界批次、检查点、对账、负载控制和证据，使回填可恢复且幂等，且在移除破坏性约束或列之前完成。
实现指导
- 先发布增量存储和接口变更，观察性回填，然后在兼容性证据充分后弃用旧路径。
- 在选择框架或供应商细节前，建模数据库迁移的输入、输出、参与者、状态、不变量、副作用和证据。
- 将适用的数据库迁移合同或策略版本与重要状态一起存储，以便迁移、重放和支持决策可归因。
- 在受控发布下引入路径，比较预期与观察结果，并保持经过测试的恢复路径，直到采用证据完整。
失败处理与保障措施
- 约束或迁移失败时保留最后有效状态，并暴露可恢复、由操作员拥有的恢复点。
- 拒绝或隔离无效或矛盾的数据库迁移状态；实现绝不猜测会扩大权限或重复效果的值。
- 重试有界且使用持久身份；耗尽后，工作进入可检查的终态并有责任所有者。
验证与运维
- 在持久化前后注入依赖失败，证明重试收敛到一个外部可见结果。
- 按合同版本监控数据库迁移的成功、拒绝、验证失败、依赖失败、重试耗尽和恢复，且不包含敏感负载维度。
- 在策略、模式、依赖、迁移或边界变更后重新运行配对的正负测试夹具，并保留结果证据。
采用假设
- 示例中的名称和值为具体夹具，非通用默认；采用者通过文档化证据和所有权替换它们。
- 采用系统能提供认证身份、持久操作或记录版本、有界遥测和受控变更路径。
本包中看似可执行的示例为夹具和验收合同。运行集合验证器检查结构和元数据，然后在目标仓库中翻译并执行场景，最后记录实现证据。