test_all_five_levels_match_source (test_stages.BankAndObservation.test_all_five_levels_match_source) ... ok
test_bank_cursor_wrap_and_reset (test_stages.BankAndObservation.test_bank_cursor_wrap_and_reset) ... ok
test_bank_does_not_draw_a_secret (test_stages.BankAndObservation.test_bank_does_not_draw_a_secret) ... ok
test_counts_keep_duplicates (test_stages.BankAndObservation.test_counts_keep_duplicates) ... ok
test_exact_public_condition_sets (test_stages.BankAndObservation.test_exact_public_condition_sets) ... ok
test_observation_exercise_strong_wind (test_stages.BankAndObservation.test_observation_exercise_strong_wind) ... ok
test_observation_exercise_thick_cloud (test_stages.BankAndObservation.test_observation_exercise_thick_cloud) ... ok
test_observation_public_noninterference (test_stages.BankAndObservation.test_observation_public_noninterference) ... ok
test_second_observation_cannot_reveal_other_property (test_stages.BankAndObservation.test_second_observation_cannot_reveal_other_property) ... ok
test_assistance_survives_undo_restart_variant (test_stages.HonestReplay.test_assistance_survives_undo_restart_variant) ... ok
test_final_no_score_gate_and_no_optimality_gate (test_stages.HonestReplay.test_final_no_score_gate_and_no_optimality_gate) ... ok
test_final_source_fixture_all_336_cases (test_stages.HonestReplay.test_final_source_fixture_all_336_cases) ... ok
test_first_record_survives_undo_restart_and_practice (test_stages.HonestReplay.test_first_record_survives_undo_restart_and_practice) ... ok
test_invalid_toggle_and_repeated_submit_are_safe (test_stages.HonestReplay.test_invalid_toggle_and_repeated_submit_are_safe) ... ok
test_original_controller_trace_digests (test_stages.HonestReplay.test_original_controller_trace_digests) ... ok
test_practice_only_variant_can_complete (test_stages.HonestReplay.test_practice_only_variant_can_complete) ... ok
test_public_observed_noninterference_and_future_hidden (test_stages.HonestReplay.test_public_observed_noninterference_and_future_hidden) ... ok
test_public_unobserved_noninterference (test_stages.HonestReplay.test_public_unobserved_noninterference) ... ok
test_restart_keeps_unrevealed_observation (test_stages.HonestReplay.test_restart_keeps_unrevealed_observation) ... ok
test_seed_sequence_source_digest (test_stages.HonestReplay.test_seed_sequence_source_digest) ... ok
test_undo_observation_keeps_knowledge (test_stages.HonestReplay.test_undo_observation_keeps_knowledge) ... ok
test_variant_shares_known_observation_and_answer (test_stages.HonestReplay.test_variant_shares_known_observation_and_answer) ... ok
test_all_pairs_rejected_until_full_release (test_stages.InputAndPackaging.test_all_pairs_rejected_until_full_release) ... ok
test_diffs_are_exact (test_stages.InputAndPackaging.test_diffs_are_exact) ... ok
test_document_schema_and_real_snippets (test_stages.InputAndPackaging.test_document_schema_and_real_snippets) ... ok
test_final_help_priority_and_global_keys (test_stages.InputAndPackaging.test_final_help_priority_and_global_keys) ... ok
test_holding_does_not_repeat (test_stages.InputAndPackaging.test_holding_does_not_repeat) ... ok
test_invalid_cli_precedes_pyxel_import (test_stages.InputAndPackaging.test_invalid_cli_precedes_pyxel_import) ... ok
test_license_full_unchanged_and_rights_hashes (test_stages.InputAndPackaging.test_license_full_unchanged_and_rights_hashes) ... ok
test_standard_library_imports_only_before_runtime (test_stages.InputAndPackaging.test_standard_library_imports_only_before_runtime) ... ok
test_titles_do_not_accidentally_submit (test_stages.InputAndPackaging.test_titles_do_not_accidentally_submit) ... ok
test_absent_candidate_weather_still_valid (test_stages.WidthAndExpectation.test_absent_candidate_weather_still_valid) ... ok
test_all_weather_no_observation_completes (test_stages.WidthAndExpectation.test_all_weather_no_observation_completes) ... ok
test_assistance_record_survives_closing_and_next (test_stages.WidthAndExpectation.test_assistance_record_survives_closing_and_next) ... ok
test_candidate_zero_is_data_error (test_stages.WidthAndExpectation.test_candidate_zero_is_data_error) ... ok
test_compare_mode_ties_not_arbitrarily_broken (test_stages.WidthAndExpectation.test_compare_mode_ties_not_arbitrarily_broken) ... ok
test_comparison_never_selects_forecast (test_stages.WidthAndExpectation.test_comparison_never_selects_forecast) ... ok
test_empty_forecast_estimate_none (test_stages.WidthAndExpectation.test_empty_forecast_estimate_none) ... ok
test_exact_fraction_exercises_and_ties (test_stages.WidthAndExpectation.test_exact_fraction_exercises_and_ties) ... ok
test_forecast_bit_toggles_and_zero_rejected (test_stages.WidthAndExpectation.test_forecast_bit_toggles_and_zero_rejected) ... ok
test_negative_score_is_valid_completion (test_stages.WidthAndExpectation.test_negative_score_is_valid_completion) ... ok
test_next_resets_eight_and_result_does_not_advance (test_stages.WidthAndExpectation.test_next_resets_eight_and_result_does_not_advance) ... ok
test_payoffs_independent_oracle (test_stages.WidthAndExpectation.test_payoffs_independent_oracle) ... ok
test_stage04_all_source_numeric_cases (test_stages.WidthAndExpectation.test_stage04_all_source_numeric_cases) ... ok

----------------------------------------------------------------------
Ran 44 tests in 0.661s

OK
