Deterministic crash tests for agent control planes: paired worlds, hard stops, budgets, …