约束前置（pre-constraint）来自经典规划与安全对齐的经验：事后检查永远追不上一个足够坚持的优化器。