test_all_solutions_and_terminal (test_model.Rules.test_all_solutions_and_terminal) ... ok
test_equal_observation_equal_intent (test_model.Rules.test_equal_observation_equal_intent) ... ok
test_event_replaces_old_memory (test_model.Rules.test_event_replaces_old_memory) ... ok
test_full_undo (test_model.Rules.test_full_undo) ... ok
test_guard_contact_after_move (test_model.Rules.test_guard_contact_after_move) ... ok
test_guard_contact_before_move (test_model.Rules.test_guard_contact_before_move) ... ok
test_lure_success_and_hidden_memory (test_model.Rules.test_lure_success_and_hidden_memory) ... ok
test_model_deterministic (test_model.Rules.test_model_deterministic) ... ok
test_no_second_observation_after_movement (test_model.Rules.test_no_second_observation_after_movement) ... ok
test_patrol_completion_saved_before_new_noise (test_model.Rules.test_patrol_completion_saved_before_new_noise) ... ok
test_search_two_rotations (test_model.Rules.test_search_two_rotations) ... ok
test_sound_floor_values_and_boundary (test_model.Rules.test_sound_floor_values_and_boundary) ... ok
test_supercover_corner_and_wall (test_model.Rules.test_supercover_corner_and_wall) ... ok
test_unreachable_target_stops_no_hidden_fallback (test_model.Rules.test_unreachable_target_stops_no_hidden_fallback) ... ok
test_vision_beats_hearing (test_model.Rules.test_vision_beats_hearing) ... ok
test_wait_silent_and_idle_no_goal (test_model.Rules.test_wait_silent_and_idle_no_goal) ... ok
test_wall_and_invalid_do_not_spend_turn (test_model.Rules.test_wall_and_invalid_do_not_spend_turn) ... ok
test_all_states_text_bounds_and_glyphs (test_ui.UI.test_all_states_text_bounds_and_glyphs) ... ok
test_fast_taps_and_undo (test_ui.UI.test_fast_taps_and_undo) ... ok
test_held_arrow_one_turn (test_ui.UI.test_held_arrow_one_turn) ... ok
test_idle_no_ticks (test_ui.UI.test_idle_no_ticks) ... ok
test_multiple_actions_rejected (test_ui.UI.test_multiple_actions_rejected) ... ok
test_pause_resume_staggered_gate (test_ui.UI.test_pause_resume_staggered_gate) ... ok
test_restart_and_menu_gate (test_ui.UI.test_restart_and_menu_gate) ... ok
test_start_same_staggered_gate (test_ui.UI.test_start_same_staggered_gate) ... ok
test_terminal_next_gate_and_undo (test_ui.UI.test_terminal_next_gate_and_undo) ... ok

----------------------------------------------------------------------
Ran 26 tests in 1.373s

OK
