test_action_growth (test_gcti05.ConservativeRevisionTests.test_action_growth) ... ok
test_certificates_valid (test_gcti05.ConservativeRevisionTests.test_certificates_valid) ... ok
test_changed_contract_rejected (test_gcti05.ConservativeRevisionTests.test_changed_contract_rejected) ... ok
test_changed_old_transition_rejected (test_gcti05.ConservativeRevisionTests.test_changed_old_transition_rejected) ... ok
test_changed_state_set_rejected (test_gcti05.ConservativeRevisionTests.test_changed_state_set_rejected) ... ok
test_cross_source_pairs_monotone (test_gcti05.ConservativeRevisionTests.test_cross_source_pairs_monotone) ... ok
test_each_step_conservative (test_gcti05.ConservativeRevisionTests.test_each_step_conservative) ... ok
test_first_quotient_one_class (test_gcti05.ConservativeRevisionTests.test_first_quotient_one_class) ... ok
test_first_split_has_added_action (test_gcti05.ConservativeRevisionTests.test_first_split_has_added_action) ... ok
test_mapping_respects_base_quotient (test_gcti05.ConservativeRevisionTests.test_mapping_respects_base_quotient) ... ok
test_mapping_surjective (test_gcti05.ConservativeRevisionTests.test_mapping_surjective) ... ok
test_nonconservative_can_gain_new_pair (test_gcti05.ConservativeRevisionTests.test_nonconservative_can_gain_new_pair) ... ok
test_nonconservative_certificate_rejected (test_gcti05.ConservativeRevisionTests.test_nonconservative_certificate_rejected) ... ok
test_observation_changed_rejected (test_gcti05.ConservativeRevisionTests.test_observation_changed_rejected) ... ok
test_old_action_word_behavior_in_new_versions (test_gcti05.ConservativeRevisionTests.test_old_action_word_behavior_in_new_versions) ... ok
test_reference_tower_has_three_versions (test_gcti05.ConservativeRevisionTests.test_reference_tower_has_three_versions) ... ok
test_removed_action_rejected (test_gcti05.ConservativeRevisionTests.test_removed_action_rejected) ... ok
test_second_quotient_two_classes (test_gcti05.ConservativeRevisionTests.test_second_quotient_two_classes) ... ok
test_second_splits_have_added_action (test_gcti05.ConservativeRevisionTests.test_second_splits_have_added_action) ... ok
test_shared_counts_change_one_two_zero (test_gcti05.ConservativeRevisionTests.test_shared_counts_change_one_two_zero) ... ok
test_source_pins_change_on_revision (test_gcti05.ConservativeRevisionTests.test_source_pins_change_on_revision) ... ok
test_third_quotient_four_classes (test_gcti05.ConservativeRevisionTests.test_third_quotient_four_classes) ... ok
test_finite_tail_class_count (test_gcti05.InfiniteTailTests.test_finite_tail_class_count) ... ok
test_infinite_coherent_tail_prefixes_have_individual_witnesses (test_gcti05.InfiniteTailTests.test_infinite_coherent_tail_prefixes_have_individual_witnesses) ... ok
test_no_ghost_for_finite_universe (test_gcti05.InfiniteTailTests.test_no_ghost_for_finite_universe) ... ok
test_no_single_natural_in_all_tails (test_gcti05.InfiniteTailTests.test_no_single_natural_in_all_tails) ... ok
test_symbolic_bonds_consistent (test_gcti05.InfiniteTailTests.test_symbolic_bonds_consistent) ... ok
test_symbolic_each_natural_eventually_separated_from_tail (test_gcti05.InfiniteTailTests.test_symbolic_each_natural_eventually_separated_from_tail) ... ok
test_symbolic_finite_prefix_realized (test_gcti05.InfiniteTailTests.test_symbolic_finite_prefix_realized) ... ok
test_symbolic_invalid_class_rejected (test_gcti05.InfiniteTailTests.test_symbolic_invalid_class_rejected) ... ok
test_tail_all_values_same_but_classes_refine (test_gcti05.InfiniteTailTests.test_tail_all_values_same_but_classes_refine) ... ok
test_tail_separation_requires_new_test (test_gcti05.InfiniteTailTests.test_tail_separation_requires_new_test) ... ok
test_tail_versions_conservative (test_gcti05.InfiniteTailTests.test_tail_versions_conservative) ... ok
test_zero_size_rejected (test_gcti05.InfiniteTailTests.test_zero_size_rejected) ... ok
test_demo_canonical_json_replay (test_gcti05.RandomizedCrossCheck.test_demo_canonical_json_replay) ... ok
test_seeded_30_models (test_gcti05.RandomizedCrossCheck.test_seeded_30_models) ... ok
test_seeded_55_models (test_gcti05.RandomizedCrossCheck.test_seeded_55_models) ... ok
test_changed_action_contract_rejected (test_gcti05.SemanticTransportTests.test_changed_action_contract_rejected) ... ok
test_changed_definedness_rejected (test_gcti05.SemanticTransportTests.test_changed_definedness_rejected) ... ok
test_extra_map_key_rejected (test_gcti05.SemanticTransportTests.test_extra_map_key_rejected) ... ok
test_incomplete_map_rejected (test_gcti05.SemanticTransportTests.test_incomplete_map_rejected) ... ok
test_invalid_target_rejected (test_gcti05.SemanticTransportTests.test_invalid_target_rejected) ... ok
test_many_to_one_mapping_valid (test_gcti05.SemanticTransportTests.test_many_to_one_mapping_valid) ... ok
test_opposite_direction_no_map (test_gcti05.SemanticTransportTests.test_opposite_direction_no_map) ... ok
test_tampered_transport_mapping_rejected (test_gcti05.SemanticTransportTests.test_tampered_transport_mapping_rejected) ... ok
test_traces_all_words_up_to_eight (test_gcti05.SemanticTransportTests.test_traces_all_words_up_to_eight) ... ok
test_transport_certificate_valid (test_gcti05.SemanticTransportTests.test_transport_certificate_valid) ... ok
test_transport_map_not_injective (test_gcti05.SemanticTransportTests.test_transport_map_not_injective) ... ok
test_wrong_external_transport_pin_rejected (test_gcti05.SemanticTransportTests.test_wrong_external_transport_pin_rejected) ... ok
test_wrong_observation_map_rejected (test_gcti05.SemanticTransportTests.test_wrong_observation_map_rejected) ... ok
test_wrong_transition_map_rejected (test_gcti05.SemanticTransportTests.test_wrong_transition_map_rejected) ... ok
test_changed_actual_snapshot_rejected (test_gcti05.SourceCertificateTests.test_changed_actual_snapshot_rejected) ... ok
test_false_added_shared_pair_rejected (test_gcti05.SourceCertificateTests.test_false_added_shared_pair_rejected) ... ok
test_missing_new_class_rejected (test_gcti05.SourceCertificateTests.test_missing_new_class_rejected) ... ok
test_missing_split_witness_rejected (test_gcti05.SourceCertificateTests.test_missing_split_witness_rejected) ... ok
test_pin_not_accepted_if_wrong_external (test_gcti05.SourceCertificateTests.test_pin_not_accepted_if_wrong_external) ... ok
test_roundtrip_json (test_gcti05.SourceCertificateTests.test_roundtrip_json) ... ok
test_source_pin_tamper_rejected (test_gcti05.SourceCertificateTests.test_source_pin_tamper_rejected) ... ok
test_wrong_action_scope_rejected (test_gcti05.SourceCertificateTests.test_wrong_action_scope_rejected) ... ok
test_wrong_parent_map_rejected (test_gcti05.SourceCertificateTests.test_wrong_parent_map_rejected) ... ok
test_wrong_schema_rejected (test_gcti05.SourceCertificateTests.test_wrong_schema_rejected) ... ok
test_wrong_split_witness_rejected (test_gcti05.SourceCertificateTests.test_wrong_split_witness_rejected) ... ok

----------------------------------------------------------------------
Ran 62 tests in 0.301s

OK
