01中心課題とニーズ
许多数据库产品宣称兼容Postgres并经过TLA+形式化验证，但实际存在大量事务异常，包括丢失已提交写入以及G0/G1a/G1b/G1c/G-Single/G2-item等隔离性违规，且在单机无故障场景下即可复现；厂商声称已修复但并未真正解决，导致用户无法信任其数据一致性与可靠性。
02プロダクト解決策
构建一套AI驱动的事务一致性验证平台：自动生成针对隔离级别与异常模型（G0/G1a/G1b/G1c/G-Single/G2-item等）的测试负载，在单机与故障注入场景下复现丢失更新与写入丢失；用LLM解析厂商文档、发布说明与缺陷跟踪，交叉比对宣称与实际行为，输出可复现的缺陷报告、风险评分与选型对比报告，并持续监控版本升级后的回归情况。
03収益化と事業モデル
采用SaaS订阅加报告付费模式：按数据库实例或测试任务收费的订阅制；面向选型团队出售单次深度一致性审计报告；为企业提供版本升级回归监控订阅；并提供私有化部署与定制异常模型开发服务。
04アクション
- 1梳理Postgres隔离级别与G0/G1a/G1b/G1c/G-Single/G2-item等异常模型，建立可执行的检测用例库
- 2开发测试负载生成器与故障注入框架，支持单机与多节点场景下的事务异常复现
- 3接入LLM解析厂商文档与发布说明，自动比对宣称能力与实际测试结果并生成风险评分
- 4产出可复现的缺陷报告模板与选型对比报告，邀请3至5家团队试用验证
- 5搭建SaaS平台与持续回归监控，支持版本升级后自动重跑测试
- 6与数据库社区、架构师社群合作推广，积累公开的一致性审计案例
- 7迭代异常模型覆盖范围并拓展至MySQL、分布式NewSQL等更多数据库
05リスク
测试结论可能引发厂商法律争议，需确保缺陷报告可复现、证据充分并做好合规声明；数据库版本快速迭代可能导致测试用例维护成本高；市场教育成本较高，部分团队对一致性风险认知不足；若厂商修复问题，卖点可能被削弱，需转向持续回归监控与多数据库覆盖。