test_asymptote_and_nonfinite_inputs (test_v27_audit.AuditTests.test_asymptote_and_nonfinite_inputs) ... ok
test_false_absence_and_bad_schedule_are_rejected (test_v27_audit.AuditTests.test_false_absence_and_bad_schedule_are_rejected) ... ok
test_integer_parameters_are_not_silently_truncated (test_v27_audit.AuditTests.test_integer_parameters_are_not_silently_truncated) ... ok
test_modulus_generator_is_supported_by_verifier (test_v27_audit.AuditTests.test_modulus_generator_is_supported_by_verifier) ... ok
test_polynomial_family_recovery_and_canonicalization (test_v27_audit.AuditTests.test_polynomial_family_recovery_and_canonicalization) ... ok
test_separating_bodies_get_no_collision_impulse (test_v27_audit.AuditTests.test_separating_bodies_get_no_collision_impulse) ... ok
test_tick_collision_does_not_imply_continuous_non_crossing (test_v27_audit.AuditTests.test_tick_collision_does_not_imply_continuous_non_crossing) ... ok
test_tiny_positive_ravel_time_survives (test_v27_audit.AuditTests.test_tiny_positive_ravel_time_survives) ... ok
test_true_incompatibility_and_after_bound_are_verified (test_v27_audit.AuditTests.test_true_incompatibility_and_after_bound_are_verified) ... ok
test_unknown_family_cannot_be_inferred_from_two_values (test_v27_audit.AuditTests.test_unknown_family_cannot_be_inferred_from_two_values) ... ok
test_asymptote_and_nonfinite_rejection (test_v27_hardening.HardenedTests.test_asymptote_and_nonfinite_rejection) ... ok
test_between_tick_crossing_is_outside_discrete_capture_semantics (test_v27_hardening.HardenedTests.test_between_tick_crossing_is_outside_discrete_capture_semantics) ... ok
test_capture_regression_and_merge_bound (test_v27_hardening.HardenedTests.test_capture_regression_and_merge_bound) ... ok
test_exact_pair_schedule_with_signed_start_and_rational_values (test_v27_hardening.HardenedTests.test_exact_pair_schedule_with_signed_start_and_rational_values) ... ok
test_finite_prefix_does_not_certify_model_class (test_v27_hardening.HardenedTests.test_finite_prefix_does_not_certify_model_class) ... ok
test_huge_jump_with_independent_fibonacci_identity (test_v27_hardening.HardenedTests.test_huge_jump_with_independent_fibonacci_identity) ... ok
test_learned_recurrence_predictions_excluded_from_fitting (test_v27_hardening.HardenedTests.test_learned_recurrence_predictions_excluded_from_fitting) ... ok
test_signed_contact_impulse (test_v27_hardening.HardenedTests.test_signed_contact_impulse) ... ok
test_verifier_rejects_false_impossibility_and_nonfirst_event (test_v27_hardening.HardenedTests.test_verifier_rejects_false_impossibility_and_nonfirst_event) ... ok
test_weak_damping_against_decimal_formulas (test_v27_hardening.HardenedTests.test_weak_damping_against_decimal_formulas) ... ok

----------------------------------------------------------------------
Ran 20 tests in 1.265s

OK
