test_fixed_N1_never_stabilizes_on_tested_range (test_two_axis.DistinctBoundSemanticsTests.test_fixed_N1_never_stabilizes_on_tested_range) ... ok
test_fixed_N1_signature (test_two_axis.DistinctBoundSemanticsTests.test_fixed_N1_signature) ... ok
test_fixed_N40_and_full_window (test_two_axis.DistinctBoundSemanticsTests.test_fixed_N40_and_full_window) ... ok
test_full_window_K_at_least_N_stable (test_two_axis.DistinctBoundSemanticsTests.test_full_window_K_at_least_N_stable) ... ok
test_full_window_K_equals_N_sharp_infinite_family (test_two_axis.DistinctBoundSemanticsTests.test_full_window_K_equals_N_sharp_infinite_family) ... ok
test_full_window_is_subset (test_two_axis.DistinctBoundSemanticsTests.test_full_window_is_subset) ... ok
test_output_only_case_not_all_intermediate_bounded (test_two_axis.DistinctBoundSemanticsTests.test_output_only_case_not_all_intermediate_bounded) ... ok
test_output_saturation_sharp (test_two_axis.DistinctBoundSemanticsTests.test_output_saturation_sharp) ... ok
test_window_counts_when_N_at_least_2K (test_two_axis.DistinctBoundSemanticsTests.test_window_counts_when_N_at_least_2K) ... ok
test_addition (test_two_axis.ExactArithmeticTests.test_addition) ... ok
test_bad_input_refused (test_two_axis.ExactArithmeticTests.test_bad_input_refused) ... ok
test_exact_division_only (test_two_axis.ExactArithmeticTests.test_exact_division_only) ... ok
test_multiplication (test_two_axis.ExactArithmeticTests.test_multiplication) ... ok
test_subtraction_rejects_nonpositive (test_two_axis.ExactArithmeticTests.test_subtraction_rejects_nonpositive) ... ok
test_unknown_operation_refused (test_two_axis.ExactArithmeticTests.test_unknown_operation_refused) ... ok
test_K160_count (test_two_axis.IndependentCompletenessTests.test_K160_count) ... ok
test_K40_P12_baseline (test_two_axis.IndependentCompletenessTests.test_K40_P12_baseline) ... ok
test_birth_matrix_count_identity (test_two_axis.IndependentCompletenessTests.test_birth_matrix_count_identity) ... ok
test_four_operand_direct_K2_through_K8 (test_two_axis.IndependentCompletenessTests.test_four_operand_direct_K2_through_K8) ... ok
test_larger_independent_checks (test_two_axis.IndependentCompletenessTests.test_larger_independent_checks) ... ok
test_matrix_vs_direct_random_K_N (test_two_axis.IndependentCompletenessTests.test_matrix_vs_direct_random_K_N) ... ok
test_monotone_K_and_N (test_two_axis.IndependentCompletenessTests.test_monotone_K_and_N) ... ok
test_operand_label_vs_threshold_K2_through_K40 (test_two_axis.IndependentCompletenessTests.test_operand_label_vs_threshold_K2_through_K40) ... ok
test_K40_cross_radix_baseline (test_two_axis.ObserverAndSafetyTests.test_K40_cross_radix_baseline) ... ok
test_invalid_claim_five_equals_four (test_two_axis.ObserverAndSafetyTests.test_invalid_claim_five_equals_four) ... ok
test_radix_cannot_mutate_exact_count (test_two_axis.ObserverAndSafetyTests.test_radix_cannot_mutate_exact_count) ... ok
test_radix_level_no_floating_point (test_two_axis.ObserverAndSafetyTests.test_radix_level_no_floating_point) ... ok
test_recode_only_not_full_trace (test_two_axis.ObserverAndSafetyTests.test_recode_only_not_full_trace) ... ok
test_all_thresholds_are_witnessed (test_two_axis.ThresholdProofObligationTests.test_all_thresholds_are_witnessed) ... ok
test_dual_edge_symmetry (test_two_axis.ThresholdProofObligationTests.test_dual_edge_symmetry) ... ok
test_edge_examples (test_two_axis.ThresholdProofObligationTests.test_edge_examples) ... ok
test_illegal_edges (test_two_axis.ThresholdProofObligationTests.test_illegal_edges) ... ok
test_illegal_triple_has_no_birth (test_two_axis.ThresholdProofObligationTests.test_illegal_triple_has_no_birth) ... ok
test_sample_witnesses_all_eight (test_two_axis.ThresholdProofObligationTests.test_sample_witnesses_all_eight) ... ok
test_source_composite (test_two_axis.ThresholdProofObligationTests.test_source_composite) ... ok
test_source_prime (test_two_axis.ThresholdProofObligationTests.test_source_prime) ... ok
test_threshold_respects_sharp_bound_at_birth (test_two_axis.ThresholdProofObligationTests.test_threshold_respects_sharp_bound_at_birth) ... ok
test_witness_cost (test_two_axis.ThresholdProofObligationTests.test_witness_cost) ... ok
test_witness_fails_in_prior_K (test_two_axis.ThresholdProofObligationTests.test_witness_fails_in_prior_K) ... ok

----------------------------------------------------------------------
Ran 39 tests in 2.248s

OK
