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_bool_refused (test_compute_gate.ComputeGateTests.test_bool_refused) ... ok
test_claim_open_not_proved (test_compute_gate.ComputeGateTests.test_claim_open_not_proved) ... ok
test_cycle_and_forward_ref_rejected (test_compute_gate.ComputeGateTests.test_cycle_and_forward_ref_rejected) ... ok
test_division_by_zero_refused (test_compute_gate.ComputeGateTests.test_division_by_zero_refused) ... ok
test_duplicate_node_rejected (test_compute_gate.ComputeGateTests.test_duplicate_node_rejected) ... ok
test_exact_decimal (test_compute_gate.ComputeGateTests.test_exact_decimal) ... ok
test_exponent_limit (test_compute_gate.ComputeGateTests.test_exponent_limit) ... ok
test_exponent_negative_exact (test_compute_gate.ComputeGateTests.test_exponent_negative_exact) ... ok
test_floats_refused (test_compute_gate.ComputeGateTests.test_floats_refused) ... ok
test_invalid_pin_cannot_publish (test_compute_gate.ComputeGateTests.test_invalid_pin_cannot_publish) ... ok
test_missing_claimed_intermediate_rejected (test_compute_gate.ComputeGateTests.test_missing_claimed_intermediate_rejected) ... ok
test_missing_dependency_rejected (test_compute_gate.ComputeGateTests.test_missing_dependency_rejected) ... ok
test_mixed_radix_digit_bound (test_compute_gate.ComputeGateTests.test_mixed_radix_digit_bound) ... ok
test_mixed_radix_random_crosscheck (test_compute_gate.ComputeGateTests.test_mixed_radix_random_crosscheck) ... ok
test_mixed_radix_value (test_compute_gate.ComputeGateTests.test_mixed_radix_value) ... ok
test_mixed_radix_wrong_value (test_compute_gate.ComputeGateTests.test_mixed_radix_wrong_value) ... ok
test_mutation_invalidates_pin (test_compute_gate.ComputeGateTests.test_mutation_invalidates_pin) ... ok
test_no_pin_never_published (test_compute_gate.ComputeGateTests.test_no_pin_never_published) ... ok
test_noninteger_exponent_rejected (test_compute_gate.ComputeGateTests.test_noninteger_exponent_rejected) ... ok
test_random_exact_add_mul_sub (test_compute_gate.ComputeGateTests.test_random_exact_add_mul_sub) ... ok
test_replay_every_step (test_compute_gate.ComputeGateTests.test_replay_every_step) ... ok
test_source_revision_required (test_compute_gate.ComputeGateTests.test_source_revision_required) ... ok
test_stable_digest_for_key_order (test_compute_gate.ComputeGateTests.test_stable_digest_for_key_order) ... ok
test_status_injection_rejected (test_compute_gate.ComputeGateTests.test_status_injection_rejected) ... ok
test_unknown_op_rejected (test_compute_gate.ComputeGateTests.test_unknown_op_rejected) ... ok
test_unsupported_infinite_exponent (test_compute_gate.ComputeGateTests.test_unsupported_infinite_exponent) ... ok
test_untrusted_producer_cannot_grant_authority (test_compute_gate.ComputeGateTests.test_untrusted_producer_cannot_grant_authority) ... ok
test_view_agree_doesnt_change_math (test_compute_gate.ComputeGateTests.test_view_agree_doesnt_change_math) ... ok
test_view_conflict_holds_publication (test_compute_gate.ComputeGateTests.test_view_conflict_holds_publication) ... ok
test_view_requires_readonly (test_compute_gate.ComputeGateTests.test_view_requires_readonly) ... ok
test_wrong_arithmetic_rejected (test_compute_gate.ComputeGateTests.test_wrong_arithmetic_rejected) ... ok
test_wrong_claim_hint_cannot_override_math (test_compute_gate.ComputeGateTests.test_wrong_claim_hint_cannot_override_math) ... ok
test_wrong_pin_cannot_publish (test_compute_gate.ComputeGateTests.test_wrong_pin_cannot_publish) ... ok
test_zero_denominator_refused (test_compute_gate.ComputeGateTests.test_zero_denominator_refused) ... ok
test_zero_negative_exponent (test_compute_gate.ComputeGateTests.test_zero_negative_exponent) ... 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
test_alternate_scope_with_new_certificate (test_gateway.GatewayTests.test_alternate_scope_with_new_certificate) ... ok
test_binding_triple_in_scope_but_wrong (test_gateway.GatewayTests.test_binding_triple_in_scope_but_wrong) ... ok
test_binding_triple_mismatch_rejected (test_gateway.GatewayTests.test_binding_triple_mismatch_rejected) ... ok
test_bound_nodes_must_be_distinct (test_gateway.GatewayTests.test_bound_nodes_must_be_distinct) ... ok
test_bound_output_not_actual_published_output (test_gateway.GatewayTests.test_bound_output_not_actual_published_output) ... ok
test_claim_ref_invalid (test_gateway.GatewayTests.test_claim_ref_invalid) ... ok
test_claim_reference_is_metadata_only (test_gateway.GatewayTests.test_claim_reference_is_metadata_only) ... ok
test_claim_status_injection_refused (test_gateway.GatewayTests.test_claim_status_injection_refused) ... ok
test_claim_unproved_even_when_exact (test_gateway.GatewayTests.test_claim_unproved_even_when_exact) ... ok
test_compute_claim_hint_injection_refused (test_gateway.GatewayTests.test_compute_claim_hint_injection_refused) ... ok
test_dag_without_valid_first_stage_refused (test_gateway.GatewayTests.test_dag_without_valid_first_stage_refused) ... ok
test_external_origin_unproved (test_gateway.GatewayTests.test_external_origin_unproved) ... ok
test_false_return_oracle_disagreement_is_hold (test_gateway.GatewayTests.test_false_return_oracle_disagreement_is_hold) ... ok
test_finite_absence_not_unbounded_claim (test_gateway.GatewayTests.test_finite_absence_not_unbounded_claim) ... ok
test_many_stable_runs (test_gateway.GatewayTests.test_many_stable_runs) ... ok
test_missing_each_pin_holds (test_gateway.GatewayTests.test_missing_each_pin_holds) ... ok
test_no_pins_held_but_math_checked (test_gateway.GatewayTests.test_no_pins_held_but_math_checked) ... ok
test_node_status_spoof_refused (test_gateway.GatewayTests.test_node_status_spoof_refused) ... ok
test_reference_approved (test_gateway.GatewayTests.test_reference_approved) ... ok
test_removed_triple_fails_even_after_rehash (test_gateway.GatewayTests.test_removed_triple_fails_even_after_rehash) ... ok
test_replay_changes_in_source_fails (test_gateway.GatewayTests.test_replay_changes_in_source_fails) ... ok
test_replay_is_genuine_fresh_check (test_gateway.GatewayTests.test_replay_is_genuine_fresh_check) ... ok
test_replay_tampered_receipt_fails (test_gateway.GatewayTests.test_replay_tampered_receipt_fails) ... ok
test_requested_presence_blocks_same_non_eightfold (test_gateway.GatewayTests.test_requested_presence_blocks_same_non_eightfold) ... ok
test_scope_window_forgery_with_repin_rejected (test_gateway.GatewayTests.test_scope_window_forgery_with_repin_rejected) ... ok
test_source_limit_enforced (test_gateway.GatewayTests.test_source_limit_enforced) ... ok
test_swap_binding_node_ref (test_gateway.GatewayTests.test_swap_binding_node_ref) ... ok
test_view_status_spoof_refused (test_gateway.GatewayTests.test_view_status_spoof_refused) ... ok
test_wrong_bundle_pin_blocks (test_gateway.GatewayTests.test_wrong_bundle_pin_blocks) ... ok
test_wrong_certificate_pin_blocks (test_gateway.GatewayTests.test_wrong_certificate_pin_blocks) ... ok
test_wrong_intermediate_caught_even_repin (test_gateway.GatewayTests.test_wrong_intermediate_caught_even_repin) ... ok
test_wrong_job_pin_blocks (test_gateway.GatewayTests.test_wrong_job_pin_blocks) ... ok
test_wrong_observer_cannot_change_number (test_gateway.GatewayTests.test_wrong_observer_cannot_change_number) ... ok
test_bad_radix_rejected (test_independent_oracle.IndependentOracleTests.test_bad_radix_rejected) ... ok
test_decimal (test_independent_oracle.IndependentOracleTests.test_decimal) ... ok
test_denominator_zero (test_independent_oracle.IndependentOracleTests.test_denominator_zero) ... ok
test_division (test_independent_oracle.IndependentOracleTests.test_division) ... ok
test_forward_ref_rejected (test_independent_oracle.IndependentOracleTests.test_forward_ref_rejected) ... ok
test_fraction (test_independent_oracle.IndependentOracleTests.test_fraction) ... ok
test_integer (test_independent_oracle.IndependentOracleTests.test_integer) ... ok
test_mixed_radix (test_independent_oracle.IndependentOracleTests.test_mixed_radix) ... ok
test_neg (test_independent_oracle.IndependentOracleTests.test_neg) ... ok
test_pow_negative (test_independent_oracle.IndependentOracleTests.test_pow_negative) ... ok
test_pow_zero_denominator (test_independent_oracle.IndependentOracleTests.test_pow_zero_denominator) ... ok
test_randomized_add_sub_mul_div (test_independent_oracle.IndependentOracleTests.test_randomized_add_sub_mul_div) ... ok
test_reject_float (test_independent_oracle.IndependentOracleTests.test_reject_float) ... ok
test_wrong_claimed_rejected (test_independent_oracle.IndependentOracleTests.test_wrong_claimed_rejected) ... ok
test_zero (test_independent_oracle.IndependentOracleTests.test_zero) ... ok

----------------------------------------------------------------------
Ran 152 tests in 1.003s

OK
