业务不变量（如可用库存不能为负、重试API请求不得创建重复订单）应同时体现在应用逻辑和数据库约束中。