用途：当两个以上节点参与写入或共享状态、重试或超时可能重复或丢失效果、两个节点可能同时充当主节点、需要按功能选择一致性级别，或决定多可用区/多区域故障转移与法定人数规模时适用。若问题只涉及吞吐、延迟、过载后恢复、可用性预算或形式化验证工具选择，则应转到其他技能。
主要能力：提供分布式系统原语速查表，涵盖 CAP/PACELC、FLP、Paxos、Raft、向量时钟与 Lamport 时钟、CRDT、幂等、租约与 fencing、法定人数（NWR）、因果一致性和广播协议；给出按症状排查的专家诊断表（如写完读旧值、脑裂、故障转移后写丢失、重试后重复扣款、副本不收敛、领导者抖动等），并附按产品功能划分的一致性级别建议、反模式清单、重试/超时/幂等三元组设计要点，以及确定性模拟测试（DST）和 Jepsen 式黑盒一致性检查等验证方法。
使用方式：先命名故障模式，再映射到原语并做运维排查；打开对应原语的 playbook，选择技术栈时参考组合指南与场景契约；在声称“恰好一次”“领导者安全”“CRDT 友好”前先核对反模式；对照原始论文验证协议保证，并说明故障与时间模型；为每一 advertised 保证维护保证台账。
限制：资料未提供收费、价格、具体安装命令或平台支持信息。保证只适用于所测试的版本、配置与负载；对抗性测试只能证伪保证，不能证明无缺陷。客户端退避与抖动无法清除由内部重试维持的过载，需配合准入控制与恢复机制。