test_deterministic_source_pin (test_gcti04.Baselines.test_deterministic_source_pin) ... ok
test_exact_model_cardinalities (test_gcti04.Baselines.test_exact_model_cardinalities) ... ok
test_invalid_destination (test_gcti04.Baselines.test_invalid_destination) ... ok
test_invalid_duplicate_states (test_gcti04.Baselines.test_invalid_duplicate_states) ... ok
test_invalid_float_observation (test_gcti04.Baselines.test_invalid_float_observation) ... ok
test_invalid_unknown_observation (test_gcti04.Baselines.test_invalid_unknown_observation) ... ok
test_parity_model_cardinalities (test_gcti04.Baselines.test_parity_model_cardinalities) ... ok
test_revision_changes_pin (test_gcti04.Baselines.test_revision_changes_pin) ... ok
test_roundtrip_model (test_gcti04.Baselines.test_roundtrip_model) ... ok
test_source_order_is_canonical (test_gcti04.Baselines.test_source_order_is_canonical) ... ok
test_duplicate_state_rejected (test_gcti04.CertificateSecurity.test_duplicate_state_rejected) ... ok
test_full_state_cover_required (test_gcti04.CertificateSecurity.test_full_state_cover_required) ... ok
test_invalid_witness_rejected (test_gcti04.CertificateSecurity.test_invalid_witness_rejected) ... ok
test_modified_observation_rejected (test_gcti04.CertificateSecurity.test_modified_observation_rejected) ... ok
test_modified_transition_rejected (test_gcti04.CertificateSecurity.test_modified_transition_rejected) ... ok
test_removed_state_rejected (test_gcti04.CertificateSecurity.test_removed_state_rejected) ... ok
test_removed_witness_rejected (test_gcti04.CertificateSecurity.test_removed_witness_rejected) ... ok
test_source_payload_change_rejected (test_gcti04.CertificateSecurity.test_source_payload_change_rejected) ... ok
test_spoofed_common_class_rejected (test_gcti04.CertificateSecurity.test_spoofed_common_class_rejected) ... ok
test_stale_revision_rejected (test_gcti04.CertificateSecurity.test_stale_revision_rejected) ... ok
test_verifier_accepts_full_certificate (test_gcti04.CertificateSecurity.test_verifier_accepts_full_certificate) ... ok
test_witness_pair_duplicate_rejected (test_gcti04.CertificateSecurity.test_witness_pair_duplicate_rejected) ... ok
test_wrong_external_pin_rejected (test_gcti04.CertificateSecurity.test_wrong_external_pin_rejected) ... ok
test_wrong_schema_rejected (test_gcti04.CertificateSecurity.test_wrong_schema_rejected) ... ok
test_action_contract_mismatch_rejected (test_gcti04.ExpansionAndFailures.test_action_contract_mismatch_rejected) ... ok
test_action_language_mismatch_rejected (test_gcti04.ExpansionAndFailures.test_action_language_mismatch_rejected) ... ok
test_audit_distinguishes_after_two_actions (test_gcti04.ExpansionAndFailures.test_audit_distinguishes_after_two_actions) ... ok
test_domain_mismatch_rejected (test_gcti04.ExpansionAndFailures.test_domain_mismatch_rejected) ... ok
test_expanded_exact_audit_shares_nothing (test_gcti04.ExpansionAndFailures.test_expanded_exact_audit_shares_nothing) ... ok
test_expanded_parity_audit_shares_nothing (test_gcti04.ExpansionAndFailures.test_expanded_parity_audit_shares_nothing) ... ok
test_invalid_alignment_rejected (test_gcti04.ExpansionAndFailures.test_invalid_alignment_rejected) ... ok
test_undefined_action_is_observable (test_gcti04.ExpansionAndFailures.test_undefined_action_is_observable) ... ok
test_valid_action_alias_can_be_aligned (test_gcti04.ExpansionAndFailures.test_valid_action_alias_can_be_aligned) ... ok
test_all_audit_pairs_vs_independent_bfs (test_gcti04.IndependentOracles.test_all_audit_pairs_vs_independent_bfs) ... ok
test_all_parity_pairs_vs_independent_bfs (test_gcti04.IndependentOracles.test_all_parity_pairs_vs_independent_bfs) ... ok
test_brute_force_shortest_witnesses_for_small_models (test_gcti04.IndependentOracles.test_brute_force_shortest_witnesses_for_small_models) ... ok
test_certificate_roundtrip_json (test_gcti04.IndependentOracles.test_certificate_roundtrip_json) ... ok
test_randomized_pair_check_30_models (test_gcti04.IndependentOracles.test_randomized_pair_check_30_models) ... ok
test_class_ids_do_not_depend_on_input_order (test_gcti04.SharedQuotients.test_class_ids_do_not_depend_on_input_order) ... ok
test_common_region_not_all (test_gcti04.SharedQuotients.test_common_region_not_all) ... ok
test_exact_value_quotient_has_four_classes (test_gcti04.SharedQuotients.test_exact_value_quotient_has_four_classes) ... ok
test_exact_value_quotient_preserves_all_future_words (test_gcti04.SharedQuotients.test_exact_value_quotient_preserves_all_future_words) ... ok
test_extension_may_increase_shared_class_count (test_gcti04.SharedQuotients.test_extension_may_increase_shared_class_count) ... ok
test_parity_class_contains_both_systems (test_gcti04.SharedQuotients.test_parity_class_contains_both_systems) ... ok
test_parity_quotient_has_two_classes (test_gcti04.SharedQuotients.test_parity_quotient_has_two_classes) ... ok
test_parity_quotient_preserves_all_future_words_sample (test_gcti04.SharedQuotients.test_parity_quotient_preserves_all_future_words_sample) ... ok
test_partial_common_exactly_two (test_gcti04.SharedQuotients.test_partial_common_exactly_two) ... ok
test_shared_classes_closed (test_gcti04.SharedQuotients.test_shared_classes_closed) ... ok
test_shared_quotient_without_state_homomorphism (test_gcti04.SharedQuotients.test_shared_quotient_without_state_homomorphism) ... ok
test_shared_region_may_be_empty (test_gcti04.SharedQuotients.test_shared_region_may_be_empty) ... ok

----------------------------------------------------------------------
Ran 50 tests in 0.054s

OK
