通过优惠规则完整实验复现CHECK允许NULL的原因，逐步加入生效状态完整性约束，覆盖历史脏数据、状态转换、IGNORE警告和版本边界。