foundations-reliability-theory

用途：面向 SLO 设计、错误预算、冗余决策、启动前或事后 FMEA/故障树分析、寿命数据分析等可靠性问题提供 11 个原语：MTBF/MTTR、可用性公式、危险函数、浴缸曲线、故障树、FMEA、冗余数学、错误预算、Weibull 分析、系统可靠性与可靠性分配。主要能力：串联可用性用乘积、并联/主动-主动用 1−(1−A₁)²、k-of-n 公式、错误预算分钟数、Weibull MTTF = η·Γ(1+1/β)、AI 智能体链路可靠性。使用方式：先按需加载 references/formal-theory-map.md 与 references/patterns-scenarios-traps.md；按决策清单从测量 MTBF/MTTR 起步，分组合成，分配目标，再用错误预算与燃烧率告警；AI/LLM 智能体系统不建议直接用 MTBF，改用每次运行成功率和一致性、马尔可夫逐步可靠性。限制：延迟/吞吐问题用队列理论，分区一致性用分布式系统，控制回路调参用控制理论；无 SLO 或非生产代码易过度设计；相关性失效会破坏独立假设；FMEA 中严重度≥9 的项不能仅凭 RPN 排序；稀疏数据拟合 Weibull 不可靠；AI 智能体存在“看似合理”的静默失败。具体价格、平台和支持信息暂未提供。