用途:为编码工作增加一次实用的数据系统审查,目标是在故障变成生产缺陷前发现它们,而非讲解理论。
主要能力:围绕两个原则展开——唯一事实来源(每个事实只由一个地方持久拥有,缓存、索引、读模型等派生副本可随时重建)与幂等(可重试或重放的写入第二次必须产生相同结果,不重复产生金额、邮件、任务或记录)。审查分四块:数据模型与契约(模式形状、可空性、枚举增长、标识稳定性、时区、唯一性、向后兼容、回滚路径、迁移默认值);查询与存储路径(基数、索引覆盖、分页、排序稳定性、缓存键与失效、事务范围、锁行为、重试幂等、自竞争);可靠性与失败(重试、重复消息、部分写入、超时、毒消息、死信、资源所有权与清理、崩溃与外部服务不一致、运维检测与修复、显式时序);分布式行为(顺序假设、陈旧读、读写一致、选主、租约、时钟依赖、一致性级别、事务边界、对账);演进与维护(部署顺序、特性开关、版本化载荷、迁移、回填、重建、可观测性、清理)。
使用方式:先做第一遍状态边界识别(创建/读取/更新/删除/缓存/派生/发出的数据、事实来源、同步与异步路径、关键不变量、静默或昂贵的失败),小任务可并入实现,涉及共享数据契约或生产记录则先写下答案。输出可用实现前短注(状态、不变量、主要风险、验证)、代码评审发现(发现、影响、失败场景、建议修复、验证)或架构决策记录(决策、事实来源、一致性要求、失败处理、迁移路径、可观测性、待定问题)。验证优先覆盖真实边界:不变量与幂等的单元测试、数据库/队列/缓存/外部 API 的集成测试、带既有数据形状的迁移检查、并发测试、基数风险下的负载或查询计划检查、日志指标追踪与修复信号检查。
适用场景:模式、迁移、队列、缓存、重试、并发写入等持久化状态与异步数据路径的编码与评审。
限制:纯 UI 文案、样式、一次性脚本、仅文档编辑或本地临时工具不应套用,除非触及持久数据、后台任务或生产运维风险。资料未提供具体安装命令、平台或收费信息。