test_a_only_does_not_distinguish (test_gcti07.TestComposition.test_a_only_does_not_distinguish) ... ok
test_active_closure_separates_p_q (test_gcti07.TestComposition.test_active_closure_separates_p_q) ... ok
test_active_partition_stable (test_gcti07.TestComposition.test_active_partition_stable) ... ok
test_b_only_does_not_distinguish (test_gcti07.TestComposition.test_b_only_does_not_distinguish) ... ok
test_example_initial_observations_identical (test_gcti07.TestComposition.test_example_initial_observations_identical) ... ok
test_initial_word_empty_distinguishes (test_gcti07.TestComposition.test_initial_word_empty_distinguishes) ... ok
test_mixed_outputs (test_gcti07.TestComposition.test_mixed_outputs) ... ok
test_mixed_word_shortest (test_gcti07.TestComposition.test_mixed_word_shortest) ... ok
test_passive_and_active_singletons_equal (test_gcti07.TestComposition.test_passive_and_active_singletons_equal) ... ok
test_passive_join_merges_p_q (test_gcti07.TestComposition.test_passive_join_merges_p_q) ... ok
test_same_state_never_distinguishes (test_gcti07.TestComposition.test_same_state_never_distinguishes) ... ok
test_stability_certificate_flags_passive (test_gcti07.TestComposition.test_stability_certificate_flags_passive) ... ok
test_total_machine_action_validation (test_gcti07.TestComposition.test_total_machine_action_validation) ... ok
test_zero_task_partitions_baseline (test_gcti07.TestComposition.test_zero_task_partitions_baseline) ... ok
test_canonical_fraction_parsing (test_gcti07.TestContracts.test_canonical_fraction_parsing) ... ok
test_duplicate_action_rejected (test_gcti07.TestContracts.test_duplicate_action_rejected) ... ok
test_duplicate_state_rejected (test_gcti07.TestContracts.test_duplicate_state_rejected) ... ok
test_float_string_rejected (test_gcti07.TestContracts.test_float_string_rejected) ... ok
test_missing_observation_rejected (test_gcti07.TestContracts.test_missing_observation_rejected) ... ok
test_missing_transition_rejected (test_gcti07.TestContracts.test_missing_transition_rejected) ... ok
test_negative_fraction_rejected (test_gcti07.TestContracts.test_negative_fraction_rejected) ... ok
test_no_action_rejected (test_gcti07.TestContracts.test_no_action_rejected) ... ok
test_non_fraction_rejected (test_gcti07.TestContracts.test_non_fraction_rejected) ... ok
test_non_normalized_rejected (test_gcti07.TestContracts.test_non_normalized_rejected) ... ok
test_noncanonical_fraction_rejected (test_gcti07.TestContracts.test_noncanonical_fraction_rejected) ... ok
test_reject_boolean_budget (test_gcti07.TestContracts.test_reject_boolean_budget) ... ok
test_task_string_rejected (test_gcti07.TestContracts.test_task_string_rejected) ... ok
test_unknown_destination_rejected (test_gcti07.TestContracts.test_unknown_destination_rejected) ... ok
test_unknown_operation_trace_rejected (test_gcti07.TestContracts.test_unknown_operation_trace_rejected) ... ok
test_unknown_task_action_rejected (test_gcti07.TestContracts.test_unknown_task_action_rejected) ... ok
test_unknown_task_name_rejected (test_gcti07.TestContracts.test_unknown_task_name_rejected) ... ok
test_valid_machine (test_gcti07.TestContracts.test_valid_machine) ... ok
test_basic_bfs_against_partition (test_gcti07.TestIndependentEvidence.test_basic_bfs_against_partition) ... ok
test_demo_content_is_deterministic (test_gcti07.TestIndependentEvidence.test_demo_content_is_deterministic) ... ok
test_demo_results_match_disk (test_gcti07.TestIndependentEvidence.test_demo_results_match_disk) ... ok
test_demo_schema_and_word (test_gcti07.TestIndependentEvidence.test_demo_schema_and_word) ... ok
test_digest_not_used_for_equivalence (test_gcti07.TestIndependentEvidence.test_digest_not_used_for_equivalence) ... ok
test_example_structural_vs_weighted (test_gcti07.TestIndependentEvidence.test_example_structural_vs_weighted) ... ok
test_local_task_partition_against_independent_bfs (test_gcti07.TestIndependentEvidence.test_local_task_partition_against_independent_bfs) ... ok
test_noninjective_observation_preserving_transport (test_gcti07.TestIndependentEvidence.test_noninjective_observation_preserving_transport) ... ok
test_random_audit_no_inconsistencies (test_gcti07.TestIndependentEvidence.test_random_audit_no_inconsistencies) ... ok
test_random_audit_reports_active_failures (test_gcti07.TestIndependentEvidence.test_random_audit_reports_active_failures) ... ok
test_random_audit_seed_replay (test_gcti07.TestIndependentEvidence.test_random_audit_seed_replay) ... ok
test_renaming_invariant_exact_mass (test_gcti07.TestIndependentEvidence.test_renaming_invariant_exact_mass) ... ok
test_stable_passive_has_no_interaction_gap (test_gcti07.TestIndependentEvidence.test_stable_passive_has_no_interaction_gap) ... ok
test_active_gain_joint_one_half (test_gcti07.TestMass.test_active_gain_joint_one_half) ... ok
test_active_submodularity_counterexample (test_gcti07.TestMass.test_active_submodularity_counterexample) ... ok
test_collision_active_one_half (test_gcti07.TestMass.test_collision_active_one_half) ... ok
test_collision_baseline_one (test_gcti07.TestMass.test_collision_baseline_one) ... ok
test_collision_passive_one (test_gcti07.TestMass.test_collision_passive_one) ... ok
test_gap_one_half (test_gcti07.TestMass.test_gap_one_half) ... ok
test_gap_pair_source (test_gcti07.TestMass.test_gap_pair_source) ... ok
test_greedy_deterministic_tie_break (test_gcti07.TestMass.test_greedy_deterministic_tie_break) ... ok
test_greedy_passive_keeps_zero (test_gcti07.TestMass.test_greedy_passive_keeps_zero) ... ok
test_invalid_partition_rejected (test_gcti07.TestMass.test_invalid_partition_rejected) ... ok
test_misrefined_mass_rejected (test_gcti07.TestMass.test_misrefined_mass_rejected) ... ok
test_passive_gain_single_zero (test_gcti07.TestMass.test_passive_gain_single_zero) ... ok
test_passive_submodularity_holds_example (test_gcti07.TestMass.test_passive_submodularity_holds_example) ... ok
test_weight_zero_gap_zero_even_if_structural_gap (test_gcti07.TestMass.test_weight_zero_gap_zero_even_if_structural_gap) ... ok

----------------------------------------------------------------------
Ran 59 tests in 33.066s

OK
