test_all_bounded_count_triples_conserve_and_stay_bounded (test_model.DriftTests.test_all_bounded_count_triples_conserve_and_stay_bounded) ... ok
test_arrivals_do_not_drift_twice (test_model.DriftTests.test_arrivals_do_not_drift_twice) ... ok
test_departure_does_not_open_capacity_early (test_model.DriftTests.test_departure_does_not_open_capacity_early) ... ok
test_exact_protection_does_not_drift (test_model.DriftTests.test_exact_protection_does_not_drift) ... ok
test_mutual_moves_are_simultaneous (test_model.DriftTests.test_mutual_moves_are_simultaneous) ... ok
test_only_one_exposed_individual_per_source (test_model.DriftTests.test_only_one_exposed_individual_per_source) ... ok
test_sources_reserve_last_slot_in_left_order (test_model.DriftTests.test_sources_reserve_last_slot_in_left_order) ... ok
test_drift_is_before_fish_plans (test_model.FishTests.test_drift_is_before_fish_plans) ... ok
test_every_legal_plan_moves_at_most_one_zone (test_model.FishTests.test_every_legal_plan_moves_at_most_one_zone) ... ok
test_food_first_then_unprotected_prey (test_model.FishTests.test_food_first_then_unprotected_prey) ... ok
test_leftmost_final_tie_break (test_model.FishTests.test_leftmost_final_tie_break) ... ok
test_no_teleporting_to_far_food (test_model.FishTests.test_no_teleporting_to_far_food) ... ok
test_odd_even_meal_priority (test_model.FishTests.test_odd_even_meal_priority) ... ok
test_oldest_food_then_lowest_id (test_model.FishTests.test_oldest_food_then_lowest_id) ... ok
test_other_fish_old_position_wins_tie_and_plans_are_simultaneous (test_model.FishTests.test_other_fish_old_position_wins_tie_and_plans_are_simultaneous) ... ok
test_own_position_second_when_other_is_unreachable (test_model.FishTests.test_own_position_second_when_other_is_unreachable) ... ok
test_protected_individuals_are_not_eaten (test_model.FishTests.test_protected_individuals_are_not_eaten) ... ok
test_score_counts_only_exposed_daphnia_and_food_weight_two (test_model.FishTests.test_score_counts_only_exposed_daphnia_and_food_weight_two) ... ok
test_edit_only_before_trial (test_model.InitialContractTests.test_edit_only_before_trial) ... ok
test_immutable_complete_state (test_model.InitialContractTests.test_immutable_complete_state) ... ok
test_shelter_invalid_values (test_model.InitialContractTests.test_shelter_invalid_values) ... ok
test_six_shelter_layouts (test_model.InitialContractTests.test_six_shelter_layouts) ... ok
test_state_validation (test_model.InitialContractTests.test_state_validation) ... ok
test_three_fixed_tanks (test_model.InitialContractTests.test_three_fixed_tanks) ... ok
test_algae_is_capped_before_birth (test_model.NutrientTests.test_algae_is_capped_before_birth) ... ok
test_at_most_one_birth_per_zone_per_tick (test_model.NutrientTests.test_at_most_one_birth_per_zone_per_tick) ... ok
test_comparison_expiration_stays_same_and_initial_algae_still_reproduces (test_model.NutrientTests.test_comparison_expiration_stays_same_and_initial_algae_still_reproduces) ... ok
test_comparison_without_expired_food_changes_no_physics (test_model.NutrientTests.test_comparison_without_expired_food_changes_no_physics) ... ok
test_fresh_particle_age_one_then_expires (test_model.NutrientTests.test_fresh_particle_age_one_then_expires) ... ok
test_full_daphnia_zone_does_not_consume_algae (test_model.NutrientTests.test_full_daphnia_zone_does_not_consume_algae) ... ok
test_newborn_not_recaptured_or_drifted_in_birth_tick (test_model.NutrientTests.test_newborn_not_recaptured_or_drifted_in_birth_tick) ... ok
test_no_shelter_means_sink (test_model.NutrientTests.test_no_shelter_means_sink) ... ok
test_no_spontaneous_daphnia_from_zero (test_model.NutrientTests.test_no_spontaneous_daphnia_from_zero) ... ok
test_all_named_policies_terminate_legally_for_every_tank_layout_and_mode (test_model.PolicyAnalysisTests.test_all_named_policies_terminate_legally_for_every_tank_layout_and_mode) ... ok
test_bounded_search_deterministic_and_width_validated (test_model.PolicyAnalysisTests.test_bounded_search_deterministic_and_width_validated) ... ok
test_bounded_search_has_real_counts_and_replayable_witness (test_model.PolicyAnalysisTests.test_bounded_search_has_real_counts_and_replayable_witness) ... ok
test_shared_comparison_report_contains_successful_identical_actions (test_model.PolicyAnalysisTests.test_shared_comparison_report_contains_successful_identical_actions) ... ok
test_action_validation_including_booleans (test_model.TrialTests.test_action_validation_including_booleans) ... ok
test_all_state_undo_including_completed_trial (test_model.TrialTests.test_all_state_undo_including_completed_trial) ... ok
test_budget_rejection_does_not_advance_or_mutate (test_model.TrialTests.test_budget_rejection_does_not_advance_or_mutate) ... ok
test_conservation_each_tick_over_bounded_policy_sample (test_model.TrialTests.test_conservation_each_tick_over_bounded_policy_sample) ... ok
test_direct_feeding_is_success_on_all_three_tanks_both_versions (test_model.TrialTests.test_direct_feeding_is_success_on_all_three_tanks_both_versions) ... ok
test_exact_goal_boundaries (test_model.TrialTests.test_exact_goal_boundaries) ... ok
test_forecast_matches_commit_and_does_not_change_source (test_model.TrialTests.test_forecast_matches_commit_and_does_not_change_source) ... ok
test_hash_canonical_json_and_deterministic_replay (test_model.TrialTests.test_hash_canonical_json_and_deterministic_replay) ... ok
test_success_only_at_eight_and_terminal_idempotence (test_model.TrialTests.test_success_only_at_eight_and_terminal_idempotence) ... ok
test_verified_cycle_and_shared_goal_comparison (test_model.TrialTests.test_verified_cycle_and_shared_goal_comparison) ... ok
test_wait_is_one_action_with_canonical_zone (test_model.TrialTests.test_wait_is_one_action_with_canonical_zone) ... ok
test_full_log_freezes (test_ui.TestAppDispatch.test_full_log_freezes) ... ok
test_replay_chord_waits (test_ui.TestAppDispatch.test_replay_chord_waits) ... ok
test_busy_tick_keeps_all_causal_pairs (test_ui.TestEventSummary.test_busy_tick_keeps_all_causal_pairs) ... ok
test_budget (test_ui.TestUI.test_budget) ... ok
test_chord (test_ui.TestUI.test_chord) ... ok
test_held_resume (test_ui.TestUI.test_held_resume) ... ok
test_pause_release (test_ui.TestUI.test_pause_release) ... ok
test_replay_does_not_add (test_ui.TestUI.test_replay_does_not_add) ... ok
test_replay_pause (test_ui.TestUI.test_replay_pause) ... ok
test_shelter_and_undo (test_ui.TestUI.test_shelter_and_undo) ... ok
test_stagger (test_ui.TestUI.test_stagger) ... ok
test_title_gate (test_ui.TestUI.test_title_gate) ... ok
test_undo_full_state (test_ui.TestUI.test_undo_full_state) ... ok

----------------------------------------------------------------------
Ran 61 tests in 0.838s

OK
