test_absence_is_not_original_goal_proved (test_bridge.BridgeTests.test_absence_is_not_original_goal_proved) ... ok
test_bad_pin_cannot_produce_positive (test_bridge.BridgeTests.test_bad_pin_cannot_produce_positive) ... ok
test_incomplete_cert_does_not_produce_absence (test_bridge.BridgeTests.test_incomplete_cert_does_not_produce_absence) ... ok
test_invalid_triple_type_rejected (test_bridge.BridgeTests.test_invalid_triple_type_rejected) ... ok
test_malicious_status_field_rejected (test_bridge.BridgeTests.test_malicious_status_field_rejected) ... ok
test_no_pin_rejects_even_mathematically_verified_certificate (test_bridge.BridgeTests.test_no_pin_rejects_even_mathematically_verified_certificate) ... ok
test_nonmatching_bound_does_not_repurpose_evidence (test_bridge.BridgeTests.test_nonmatching_bound_does_not_repurpose_evidence) ... ok
test_nonmatching_window_does_not_repurpose_evidence (test_bridge.BridgeTests.test_nonmatching_window_does_not_repurpose_evidence) ... ok
test_query_absent_under_grammar (test_bridge.BridgeTests.test_query_absent_under_grammar) ... ok
test_query_present_with_anchored_cert (test_bridge.BridgeTests.test_query_present_with_anchored_cert) ... ok
test_K40_baseline_full_and_windows (test_coverage.ExactFiniteCoverageTests.test_K40_baseline_full_and_windows) ... ok
test_K80_and_160_fixed_N (test_coverage.ExactFiniteCoverageTests.test_K80_and_160_fixed_N) ... ok
test_K_numerical_results_monotone (test_coverage.ExactFiniteCoverageTests.test_K_numerical_results_monotone) ... ok
test_N_numerical_results_monotone (test_coverage.ExactFiniteCoverageTests.test_N_numerical_results_monotone) ... ok
test_added_spurious_triple_rejected_even_if_digest_recomputed (test_coverage.ExactFiniteCoverageTests.test_added_spurious_triple_rejected_even_if_digest_recomputed) ... ok
test_all_state_N1_empty_but_output_only_nonempty (test_coverage.ExactFiniteCoverageTests.test_all_state_N1_empty_but_output_only_nonempty) ... ok
test_all_state_window_K_saturation (test_coverage.ExactFiniteCoverageTests.test_all_state_window_K_saturation) ... ok
test_birth_of_z1_unbounded_K (test_coverage.ExactFiniteCoverageTests.test_birth_of_z1_unbounded_K) ... ok
test_boolean_as_number_rejected (test_coverage.ExactFiniteCoverageTests.test_boolean_as_number_rejected) ... ok
test_bounds_rejected_bool (test_coverage.ExactFiniteCoverageTests.test_bounds_rejected_bool) ... ok
test_bounds_rejected_resource (test_coverage.ExactFiniteCoverageTests.test_bounds_rejected_resource) ... ok
test_correct_pin_for_same_certificate (test_coverage.ExactFiniteCoverageTests.test_correct_pin_for_same_certificate) ... ok
test_deleted_triple_rejected_even_if_digest_recomputed (test_coverage.ExactFiniteCoverageTests.test_deleted_triple_rejected_even_if_digest_recomputed) ... ok
test_duplicate_JSON_keys_rejected (test_coverage.ExactFiniteCoverageTests.test_duplicate_JSON_keys_rejected) ... ok
test_duplicate_triple_rejected (test_coverage.ExactFiniteCoverageTests.test_duplicate_triple_rejected) ... ok
test_edge_cost (test_coverage.ExactFiniteCoverageTests.test_edge_cost) ... ok
test_eight_witnesses_each (test_coverage.ExactFiniteCoverageTests.test_eight_witnesses_each) ... ok
test_empty_triples_exact_at_K2 (test_coverage.ExactFiniteCoverageTests.test_empty_triples_exact_at_K2) ... ok
test_evidence_is_eight_templates_not_eight_distinct_operands (test_coverage.ExactFiniteCoverageTests.test_evidence_is_eight_templates_not_eight_distinct_operands) ... ok
test_exact_verified_without_pin_held (test_coverage.ExactFiniteCoverageTests.test_exact_verified_without_pin_held) ... ok
test_false_source_digest_does_not_prove_authenticity (test_coverage.ExactFiniteCoverageTests.test_false_source_digest_does_not_prove_authenticity) ... ok
test_first_cost (test_coverage.ExactFiniteCoverageTests.test_first_cost) ... ok
test_float_as_number_rejected (test_coverage.ExactFiniteCoverageTests.test_float_as_number_rejected) ... ok
test_full_four_operand_histories_small_K (test_coverage.ExactFiniteCoverageTests.test_full_four_operand_histories_small_K) ... ok
test_grammar_redefinition_rejected (test_coverage.ExactFiniteCoverageTests.test_grammar_redefinition_rejected) ... ok
test_invalid_observer_bases (test_coverage.ExactFiniteCoverageTests.test_invalid_observer_bases) ... ok
test_lie_about_K_rejected (test_coverage.ExactFiniteCoverageTests.test_lie_about_K_rejected) ... ok
test_lie_about_bound_rejected (test_coverage.ExactFiniteCoverageTests.test_lie_about_bound_rejected) ... ok
test_malformed_pin_rejected (test_coverage.ExactFiniteCoverageTests.test_malformed_pin_rejected) ... ok
test_mathematical_scope_does_not_imply_unlimited_integer_domain (test_coverage.ExactFiniteCoverageTests.test_mathematical_scope_does_not_imply_unlimited_integer_domain) ... ok
test_minimal_threshold_exact_on_small_K (test_coverage.ExactFiniteCoverageTests.test_minimal_threshold_exact_on_small_K) ... ok
test_missing_full_set_rejected (test_coverage.ExactFiniteCoverageTests.test_missing_full_set_rejected) ... ok
test_nan_payload_fails_closed (test_coverage.ExactFiniteCoverageTests.test_nan_payload_fails_closed) ... ok
test_negative_state_rejected (test_coverage.ExactFiniteCoverageTests.test_negative_state_rejected) ... ok
test_nonfinite_JSON_rejected (test_coverage.ExactFiniteCoverageTests.test_nonfinite_JSON_rejected) ... ok
test_observer_collision_metrics_match_manual (test_coverage.ExactFiniteCoverageTests.test_observer_collision_metrics_match_manual) ... ok
test_observer_refuses_invalid_cert (test_coverage.ExactFiniteCoverageTests.test_observer_refuses_invalid_cert) ... ok
test_output_only_not_stable_as_K_increases (test_coverage.ExactFiniteCoverageTests.test_output_only_not_stable_as_K_increases) ... ok
test_output_window_saturation (test_coverage.ExactFiniteCoverageTests.test_output_window_saturation) ... ok
test_projection_cannot_override_mathematical_status (test_coverage.ExactFiniteCoverageTests.test_projection_cannot_override_mathematical_status) ... ok
test_radix_level_integer_exact (test_coverage.ExactFiniteCoverageTests.test_radix_level_integer_exact) ... ok
test_random_small_independent_oracles (test_coverage.ExactFiniteCoverageTests.test_random_small_independent_oracles) ... ok
test_roundtrip_preserves_canonical (test_coverage.ExactFiniteCoverageTests.test_roundtrip_preserves_canonical) ... ok
test_scope_cannot_change_exact_division (test_coverage.ExactFiniteCoverageTests.test_scope_cannot_change_exact_division) ... ok
test_scope_cannot_change_positive_only (test_coverage.ExactFiniteCoverageTests.test_scope_cannot_change_positive_only) ... ok
test_scope_rejects_other_operators (test_coverage.ExactFiniteCoverageTests.test_scope_rejects_other_operators) ... ok
test_signed_rational_not_implicitly_allowed (test_coverage.ExactFiniteCoverageTests.test_signed_rational_not_implicitly_allowed) ... ok
test_source_digest_is_content_address_not_identity (test_coverage.ExactFiniteCoverageTests.test_source_digest_is_content_address_not_identity) ... ok
test_source_note_cannot_be_forged (test_coverage.ExactFiniteCoverageTests.test_source_note_cannot_be_forged) ... ok
test_status_injection_rejected (test_coverage.ExactFiniteCoverageTests.test_status_injection_rejected) ... ok
test_switch_window_rejected (test_coverage.ExactFiniteCoverageTests.test_switch_window_rejected) ... ok
test_unordered_triples_rejected (test_coverage.ExactFiniteCoverageTests.test_unordered_triples_rejected) ... ok
test_unserializable_payload_fails_closed (test_coverage.ExactFiniteCoverageTests.test_unserializable_payload_fails_closed) ... ok
test_window_names_rejected (test_coverage.ExactFiniteCoverageTests.test_window_names_rejected) ... ok
test_wrong_count_rejected (test_coverage.ExactFiniteCoverageTests.test_wrong_count_rejected) ... ok
test_wrong_digest_rejected (test_coverage.ExactFiniteCoverageTests.test_wrong_digest_rejected) ... ok
test_wrong_pin_rejected (test_coverage.ExactFiniteCoverageTests.test_wrong_pin_rejected) ... ok
test_wrong_witness_count_rejected (test_coverage.ExactFiniteCoverageTests.test_wrong_witness_count_rejected) ... ok
test_wrong_witness_digest_rejected (test_coverage.ExactFiniteCoverageTests.test_wrong_witness_digest_rejected) ... ok

----------------------------------------------------------------------
Ran 69 tests in 0.831s

OK
