test_action_scope_refinement (test_gcti03.ContextTests.test_action_scope_refinement) ... ok
test_audit_separates_same_result (test_gcti03.ContextTests.test_audit_separates_same_result) ... ok
test_bad_radix_digits_rejected (test_gcti03.ContextTests.test_bad_radix_digits_rejected) ... ok
test_delayed_witness_exact_two_steps (test_gcti03.ContextTests.test_delayed_witness_exact_two_steps) ... ok
test_empty_action_set_leaves_only_q (test_gcti03.ContextTests.test_empty_action_set_leaves_only_q) ... ok
test_minimization_is_idempotent (test_gcti03.ContextTests.test_minimization_is_idempotent) ... ok
test_mutating_caller_dict_does_not_change_snapshot (test_gcti03.ContextTests.test_mutating_caller_dict_does_not_change_snapshot) ... ok
test_numeral_recode_preserves_891 (test_gcti03.ContextTests.test_numeral_recode_preserves_891) ... ok
test_observation_refinement (test_gcti03.ContextTests.test_observation_refinement) ... ok
test_one_step_still_indistinguishable (test_gcti03.ContextTests.test_one_step_still_indistinguishable) ... ok
test_prefix_output_disagreement_empty_word (test_gcti03.ContextTests.test_prefix_output_disagreement_empty_word) ... ok
test_provenance_query_refines_one_bundle (test_gcti03.ContextTests.test_provenance_query_refines_one_bundle) ... ok
test_quotient_preserves_all_declared_transitions (test_gcti03.ContextTests.test_quotient_preserves_all_declared_transitions) ... ok
test_quotient_preserves_execution_all_words_length_four (test_gcti03.ContextTests.test_quotient_preserves_execution_all_words_length_four) ... ok
test_renaming_preserves_equivalence_partition (test_gcti03.ContextTests.test_renaming_preserves_equivalence_partition) ... ok
test_same_numeric_value_merge_in_math_only_scope (test_gcti03.ContextTests.test_same_numeric_value_merge_in_math_only_scope) ... ok
test_single_numeric_class_for_one_bundle (test_gcti03.ContextTests.test_single_numeric_class_for_one_bundle) ... ok
test_strict_transport_observation_mismatch (test_gcti03.ContextTests.test_strict_transport_observation_mismatch) ... ok
test_strict_transport_transition_mismatch (test_gcti03.ContextTests.test_strict_transport_transition_mismatch) ... ok
test_strict_transport_version_mismatch (test_gcti03.ContextTests.test_strict_transport_version_mismatch) ... ok
test_unbounded_chain_forces_m_plus_one_classes (test_gcti03.ContextTests.test_unbounded_chain_forces_m_plus_one_classes) ... ok
test_undefined_is_not_a_self_loop (test_gcti03.ContextTests.test_undefined_is_not_a_self_loop) ... ok
test_witness_reflects_actual_observer_difference (test_gcti03.ContextTests.test_witness_reflects_actual_observer_difference) ... ok
test_random_action_scope_never_coarsens_after_addition (test_gcti03.RandomExactFiniteTests.test_random_action_scope_never_coarsens_after_addition) ... ok
test_random_finite_distinguishing_bound (test_gcti03.RandomExactFiniteTests.test_random_finite_distinguishing_bound) ... ok
test_random_pair_oracle_agrees_with_partition (test_gcti03.RandomExactFiniteTests.test_random_pair_oracle_agrees_with_partition) ... ok
test_random_q_refinement_never_merges (test_gcti03.RandomExactFiniteTests.test_random_q_refinement_never_merges) ... ok
test_random_quotient_preserves_generated_execution (test_gcti03.RandomExactFiniteTests.test_random_quotient_preserves_generated_execution) ... ok
test_random_recode_bijection (test_gcti03.RandomExactFiniteTests.test_random_recode_bijection) ... ok
test_bad_action_restriction (test_gcti03.ValidationTests.test_bad_action_restriction) ... ok
test_bad_renaming (test_gcti03.ValidationTests.test_bad_renaming) ... ok
test_blank_version (test_gcti03.ValidationTests.test_blank_version) ... ok
test_duplicate_actions (test_gcti03.ValidationTests.test_duplicate_actions) ... ok
test_empty_states (test_gcti03.ValidationTests.test_empty_states) ... ok
test_missing_observation (test_gcti03.ValidationTests.test_missing_observation) ... ok
test_non_tuple_observation (test_gcti03.ValidationTests.test_non_tuple_observation) ... ok
test_relabel_preserves_edges (test_gcti03.ValidationTests.test_relabel_preserves_edges) ... ok
test_repeated_action_restriction (test_gcti03.ValidationTests.test_repeated_action_restriction) ... ok
test_unique_state_ids (test_gcti03.ValidationTests.test_unique_state_ids) ... ok
test_unknown_transition_action (test_gcti03.ValidationTests.test_unknown_transition_action) ... ok
test_unknown_transition_target (test_gcti03.ValidationTests.test_unknown_transition_target) ... ok

----------------------------------------------------------------------
Ran 41 tests in 0.070s

OK
