哪种表述定义了可审查的失败契约？

哪种表述定义了可审查的失败契约？

1. 座位不足时返回 { ok: false, error: INSUFFICIENT_SEATS }，保持库存不变，并且不发送确认消息
2. 妥善处理所有预订错误
3. 捕获异常并写入有用日志
4. 绝不允许预订期间发生任何坏事