test_action_stays_unapproved (test_observer_atlas.ContractTests.test_action_stays_unapproved) ... ok
test_cycle_rejected (test_observer_atlas.ContractTests.test_cycle_rejected) ... ok
test_insufficient_task_rejected (test_observer_atlas.ContractTests.test_insufficient_task_rejected) ... ok
test_nonclosed_dynamics_rejected (test_observer_atlas.ContractTests.test_nonclosed_dynamics_rejected) ... ok
test_result_cases_exact (test_observer_atlas.ContractTests.test_result_cases_exact) ... ok
test_stale_rejected (test_observer_atlas.ContractTests.test_stale_rejected) ... ok
test_all_complete_five_graph_labelings_theorem (test_observer_atlas.GraphTests.test_all_complete_five_graph_labelings_theorem) ... ok
test_all_complete_four_graph_labelings_consistency_iff_min_edit_zero (test_observer_atlas.GraphTests.test_all_complete_four_graph_labelings_consistency_iff_min_edit_zero) ... ok
test_clean_absolute_gauge_unidentifiable (test_observer_atlas.GraphTests.test_clean_absolute_gauge_unidentifiable) ... ok
test_clean_is_consistent (test_observer_atlas.GraphTests.test_clean_is_consistent) ... ok
test_clean_triangle_parity (test_observer_atlas.GraphTests.test_clean_triangle_parity) ... ok
test_disconnected_gauge_degrees (test_observer_atlas.GraphTests.test_disconnected_gauge_degrees) ... ok
test_invalid_edge_refused (test_observer_atlas.GraphTests.test_invalid_edge_refused) ... ok
test_one_bad_edge_minimal_repair (test_observer_atlas.GraphTests.test_one_bad_edge_minimal_repair) ... ok
test_one_bad_edge_two_triangles (test_observer_atlas.GraphTests.test_one_bad_edge_two_triangles) ... ok
test_star_fault_is_cycle_consistent (test_observer_atlas.GraphTests.test_star_fault_is_cycle_consistent) ... ok
test_tree_bad_edge_not_detectable (test_observer_atlas.GraphTests.test_tree_bad_edge_not_detectable) ... ok
test_triangle_xor_is_orientation_invariant (test_observer_atlas.GraphTests.test_triangle_xor_is_orientation_invariant) ... ok
test_a_alone_half_error (test_observer_atlas.TaskAndDynamicsTests.test_a_alone_half_error) ... ok
test_b_alone_half_error (test_observer_atlas.TaskAndDynamicsTests.test_b_alone_half_error) ... ok
test_closed_but_not_task_sufficient (test_observer_atlas.TaskAndDynamicsTests.test_closed_but_not_task_sufficient) ... ok
test_constant_collapse_half_risk (test_observer_atlas.TaskAndDynamicsTests.test_constant_collapse_half_risk) ... ok
test_full_closed (test_observer_atlas.TaskAndDynamicsTests.test_full_closed) ... ok
test_fusion_zero_error (test_observer_atlas.TaskAndDynamicsTests.test_fusion_zero_error) ... ok
test_one_step_full_zero (test_observer_atlas.TaskAndDynamicsTests.test_one_step_full_zero) ... ok
test_one_step_x_only_half (test_observer_atlas.TaskAndDynamicsTests.test_one_step_x_only_half) ... ok
test_stale_pair_is_worst_case (test_observer_atlas.TaskAndDynamicsTests.test_stale_pair_is_worst_case) ... ok
test_task_sufficient_x (test_observer_atlas.TaskAndDynamicsTests.test_task_sufficient_x) ... ok
test_task_xor_not_sufficient_x (test_observer_atlas.TaskAndDynamicsTests.test_task_xor_not_sufficient_x) ... ok
test_x_only_nonclosed (test_observer_atlas.TaskAndDynamicsTests.test_x_only_nonclosed) ... ok

----------------------------------------------------------------------
Ran 30 tests in 0.059s

OK
