Invariant

Invariant 是一款开源的业务不变量引擎，专为支付 Webhook 场景设计，帮助开发者在本地环境中持续测试 Stripe 和 Razorpay 的 Webhook 处理逻辑。它能够模拟真实世界的边界情况，如重复投递、乱序退款、被篡改的 HMAC 签名等，并在 10 秒内数学化地验证数据库状态的后置条件，确保业务逻辑的健壮性。

核心功能

• 边界情况测试：自动生成并测试各种极端场景，包括重复事件、乱序事件、签名篡改等，确保系统在异常情况下依然正确。
• 状态验证：通过数学证明的方式，验证 Webhook 处理后数据库状态是否满足预期的不变量条件，杜绝数据不一致问题。
• 快速执行：在本地环境下，单次测试运行时间不超过 10 秒，极大提升开发迭代效率。

主要特性

• 100% 离线与隐私：所有测试均在本地执行，数据不出本机，无需担心敏感信息泄露。
• 零遥测：无任何数据采集或远程调用，完全静默运行。
• 多语言支持：兼容 Node.js、Python、Go、Java、Ruby 等主流编程语言，轻松集成到现有技术栈。
• 简单易用：通过 npx @yavona/invariant init 即可快速初始化项目，无需复杂配置。

适用场景

• 使用 Stripe 或 Razorpay 处理支付回调的开发者，希望确保业务逻辑的可靠性。
• 对数据一致性要求极高的金融、电商类应用，需要验证 Webhook 处理后的状态正确性。
• 在 CI/CD 流程中集成自动化测试，提前发现潜在问题，减少线上事故。

Invariant 为支付集成提供了一层额外的安全网，让开发者能够自信地处理复杂的支付事件流。