test_asymptote_and_nonfinite_rejection (__main__.HardenedTests.test_asymptote_and_nonfinite_rejection) ... ok
test_between_tick_crossing_is_outside_discrete_capture_semantics (__main__.HardenedTests.test_between_tick_crossing_is_outside_discrete_capture_semantics) ... ok
test_capture_regression_and_merge_bound (__main__.HardenedTests.test_capture_regression_and_merge_bound) ... ok
test_exact_pair_schedule_with_signed_start_and_rational_values (__main__.HardenedTests.test_exact_pair_schedule_with_signed_start_and_rational_values) ... ok
test_finite_prefix_does_not_certify_model_class (__main__.HardenedTests.test_finite_prefix_does_not_certify_model_class) ... ok
test_huge_jump_with_independent_fibonacci_identity (__main__.HardenedTests.test_huge_jump_with_independent_fibonacci_identity) ... ok
test_learned_recurrence_predictions_excluded_from_fitting (__main__.HardenedTests.test_learned_recurrence_predictions_excluded_from_fitting) ... ok
test_signed_contact_impulse (__main__.HardenedTests.test_signed_contact_impulse) ... ok
test_verifier_rejects_false_impossibility_and_nonfirst_event (__main__.HardenedTests.test_verifier_rejects_false_impossibility_and_nonfirst_event) ... ok
test_weak_damping_against_decimal_formulas (__main__.HardenedTests.test_weak_damping_against_decimal_formulas) ... ok

----------------------------------------------------------------------
Ran 10 tests in 1.313s

OK
