test_any_positive_present (test_aecd.TestBeliefs.test_any_positive_present) ... ok
test_bad_history_size (test_aecd.TestBeliefs.test_bad_history_size) ... ok
test_bad_history_symbol (test_aecd.TestBeliefs.test_bad_history_symbol) ... ok
test_empty_has_unknown_state (test_aecd.TestBeliefs.test_empty_has_unknown_state) ... ok
test_four_negative_is_absent (test_aecd.TestBeliefs.test_four_negative_is_absent) ... ok
test_impossible_history (test_aecd.TestBeliefs.test_impossible_history) ... ok
test_initial_prior (test_aecd.TestBeliefs.test_initial_prior) ... ok
test_posterior_all_zeros (test_aecd.TestBeliefs.test_posterior_all_zeros) ... ok
test_posterior_three_negatives_two_worlds (test_aecd.TestBeliefs.test_posterior_three_negatives_two_worlds) ... ok
test_posterior_witness_singleton (test_aecd.TestBeliefs.test_posterior_witness_singleton) ... ok
test_three_negative_still_unknown (test_aecd.TestBeliefs.test_three_negative_still_unknown) ... ok
test_all_contexts_unique (test_aecd.TestFiniteOracle.test_all_contexts_unique) ... ok
test_domain_bad_query_index (test_aecd.TestFiniteOracle.test_domain_bad_query_index) ... ok
test_domain_bad_x0 (test_aecd.TestFiniteOracle.test_domain_bad_x0) ... ok
test_domain_bad_x1 (test_aecd.TestFiniteOracle.test_domain_bad_x1) ... ok
test_domain_bad_x2 (test_aecd.TestFiniteOracle.test_domain_bad_x2) ... ok
test_domain_noninteger_world (test_aecd.TestFiniteOracle.test_domain_noninteger_world) ... ok
test_domain_world_five (test_aecd.TestFiniteOracle.test_domain_world_five) ... ok
test_domain_world_minus_one (test_aecd.TestFiniteOracle.test_domain_world_minus_one) ... ok
test_none_all_zero (test_aecd.TestFiniteOracle.test_none_all_zero) ... ok
test_single_hotspot_full (test_aecd.TestFiniteOracle.test_single_hotspot_full) ... ok
test_world_prior_normalizes (test_aecd.TestFiniteOracle.test_world_prior_normalizes) ... ok
test_all_256_boolean_functions_for_x0 (test_aecd.TestFiniteTruthTableIndependence.test_all_256_boolean_functions_for_x0) ... ok
test_missing_query_counterexample (test_aecd.TestFiniteTruthTableIndependence.test_missing_query_counterexample) ... ok
test_no_physical_claim_from_toy (test_aecd.TestFiniteTruthTableIndependence.test_no_physical_claim_from_toy) ... ok
test_conflicting_pair_rejected (test_aecd.TestLedger.test_conflicting_pair_rejected) ... ok
test_first_negative_not_absent (test_aecd.TestLedger.test_first_negative_not_absent) ... ok
test_first_witness (test_aecd.TestLedger.test_first_witness) ... ok
test_full_absence (test_aecd.TestLedger.test_full_absence) ... ok
test_identical_version_cannot_revoke (test_aecd.TestLedger.test_identical_version_cannot_revoke) ... ok
test_initial_conservative (test_aecd.TestLedger.test_initial_conservative) ... ok
test_initial_unknown (test_aecd.TestLedger.test_initial_unknown) ... ok
test_invalid_index_rejected (test_aecd.TestLedger.test_invalid_index_rejected) ... ok
test_noisy_rejected (test_aecd.TestLedger.test_noisy_rejected) ... ok
test_non_boolean_output_rejected (test_aecd.TestLedger.test_non_boolean_output_rejected) ... ok
test_receipt_scope (test_aecd.TestLedger.test_receipt_scope) ... ok
test_revoke_disallows_observe (test_aecd.TestLedger.test_revoke_disallows_observe) ... ok
test_revoke_state (test_aecd.TestLedger.test_revoke_state) ... ok
test_same_record_repeat (test_aecd.TestLedger.test_same_record_repeat) ... ok
test_unsafe_rejected (test_aecd.TestLedger.test_unsafe_rejected) ... ok
test_wrong_source_version_rejected (test_aecd.TestLedger.test_wrong_source_version_rejected) ... ok
test_all_permutations (test_aecd.TestOptimalPlanning.test_all_permutations) ... ok
test_bad_hard_budget (test_aecd.TestOptimalPlanning.test_bad_hard_budget) ... ok
test_bad_safe_length (test_aecd.TestOptimalPlanning.test_bad_safe_length) ... ok
test_budget_cost_sum (test_aecd.TestOptimalPlanning.test_budget_cost_sum) ... ok
test_exact_expectation_by_worlds (test_aecd.TestOptimalPlanning.test_exact_expectation_by_worlds) ... ok
test_fixed_cost (test_aecd.TestOptimalPlanning.test_fixed_cost) ... ok
test_greedy_single_step_no_proof (test_aecd.TestOptimalPlanning.test_greedy_single_step_no_proof) ... ok
test_incomplete_budget_stops (test_aecd.TestOptimalPlanning.test_incomplete_budget_stops) ... ok
test_initial_decision (test_aecd.TestOptimalPlanning.test_initial_decision) ... ok
test_initial_optimum (test_aecd.TestOptimalPlanning.test_initial_optimum) ... ok
test_metrics_zero_physical_permission (test_aecd.TestOptimalPlanning.test_metrics_zero_physical_permission) ... ok
test_missing_critical_query_stops (test_aecd.TestOptimalPlanning.test_missing_critical_query_stops) ... ok
test_negative_cost (test_aecd.TestOptimalPlanning.test_negative_cost) ... ok
test_no_budget_stops (test_aecd.TestOptimalPlanning.test_no_budget_stops) ... ok
test_optimal_adaptive_order (test_aecd.TestOptimalPlanning.test_optimal_adaptive_order) ... ok
test_optimal_expected_query_cost (test_aecd.TestOptimalPlanning.test_optimal_expected_query_cost) ... ok
test_reverse_query_cost (test_aecd.TestOptimalPlanning.test_reverse_query_cost) ... ok
test_toy_risk_mask_in_same_function (test_aecd.TestOptimalPlanning.test_toy_risk_mask_in_same_function) ... ok
test_world_four_stops_after_four (test_aecd.TestOptimalPlanning.test_world_four_stops_after_four) ... ok
test_world_none_certified_absent (test_aecd.TestOptimalPlanning.test_world_none_certified_absent) ... ok
test_world_none_not_retained (test_aecd.TestOptimalPlanning.test_world_none_not_retained) ... ok
test_world_none_query_count_four (test_aecd.TestOptimalPlanning.test_world_none_query_count_four) ... ok
test_world_one_still_retained (test_aecd.TestOptimalPlanning.test_world_one_still_retained) ... ok
test_world_one_stops_after_first_witness (test_aecd.TestOptimalPlanning.test_world_one_stops_after_first_witness) ... ok
test_world_three_stops_after_three (test_aecd.TestOptimalPlanning.test_world_three_stops_after_three) ... ok
test_world_two_stops_after_two (test_aecd.TestOptimalPlanning.test_world_two_stops_after_two) ... ok

----------------------------------------------------------------------
Ran 67 tests in 0.073s

OK
