[HanielUlises]

The state node repaired seriality on every KD45 task, while the planner repairs only under --kd45-repair, off by default since del-planner made it opt-in. On a KD45 task, an announcement that contradicts a belief left the planner's model with one world and the executor's with none, so the executor refused an action the policy had every reason to send.

tracked_seriality() now follows task.repair_seriality(), as the planner does, and never refuses.

backdoor-revealed.json is del-planner's backdoor with a public announcement added. The new test applies both actions and fails on rolling with "the update produced no state: non-serial".