test_C_after_checkpoint_restore_remains_solvable (test_model.ModelTests.test_C_after_checkpoint_restore_remains_solvable) ... ok
test_all_authored_successes_and_hashes (test_model.ModelTests.test_all_authored_successes_and_hashes) ... ok
test_clear_terminal (test_model.ModelTests.test_clear_terminal) ... ok
test_corner_tie_is_deterministic (test_model.ModelTests.test_corner_tie_is_deterministic) ... ok
test_determinism_pure_and_half_step (test_model.ModelTests.test_determinism_pure_and_half_step) ... ok
test_ground_liftoff_and_checkpoint (test_model.ModelTests.test_ground_liftoff_and_checkpoint) ... ok
test_initial_safe_wait_does_not_win (test_model.ModelTests.test_initial_safe_wait_does_not_win) ... ok
test_limits_nonfinite_and_speed (test_model.ModelTests.test_limits_nonfinite_and_speed) ... ok
test_map_file_reload_and_success (test_model.ModelTests.test_map_file_reload_and_success) ... ok
test_overstretch_warns_before_release (test_model.ModelTests.test_overstretch_warns_before_release) ... ok
test_random_finite_inputs (test_model.ModelTests.test_random_finite_inputs) ... ok
test_range_blocked_selection_no_silent_change (test_model.ModelTests.test_range_blocked_selection_no_silent_change) ... ok
test_release_adds_no_impulse (test_model.ModelTests.test_release_adds_no_impulse) ... ok
test_slack_and_zero_distance (test_model.ModelTests.test_slack_and_zero_distance) ... ok
test_snag_freezes_and_z_recovers (test_model.ModelTests.test_snag_freezes_and_z_recovers) ... ok
test_swept_wall_and_zero_segment (test_model.ModelTests.test_swept_wall_and_zero_segment) ... ok
test_glyph_coverage (test_ui.InputTests.test_glyph_coverage) ... ok
test_next_terminal_and_draw_states (test_ui.InputTests.test_next_terminal_and_draw_states) ... ok
test_opposites_cancel (test_ui.InputTests.test_opposites_cancel) ... ok
test_pause_freeze_resume_has_no_toggle (test_ui.InputTests.test_pause_freeze_resume_has_no_toggle) ... ok
test_reset_and_return_title (test_ui.InputTests.test_reset_and_return_title) ... ok
test_select_uses_pressed_edge_only (test_ui.InputTests.test_select_uses_pressed_edge_only) ... ok
test_title_start_does_not_attach (test_ui.InputTests.test_title_start_does_not_attach) ... ok
test_transition_late_space_edge_is_blocked_until_release (test_ui.InputTests.test_transition_late_space_edge_is_blocked_until_release) ... ok

----------------------------------------------------------------------
Ran 24 tests in 0.724s

OK
