test_bad_graph_false_pass (test_edrc.BridgeTests.test_bad_graph_false_pass) ... ok
test_cheapest_is_not_safe (test_edrc.BridgeTests.test_cheapest_is_not_safe) ... ok
test_complete_results_stable (test_edrc.BridgeTests.test_complete_results_stable) ... ok
test_dependency_old_new_pinned (test_edrc.BridgeTests.test_dependency_old_new_pinned) ... ok
test_epoch_plan_reject_after_new_event (test_edrc.BridgeTests.test_epoch_plan_reject_after_new_event) ... ok
test_event_marks_failure (test_edrc.BridgeTests.test_event_marks_failure) ... ok
test_graph_one_additional_node (test_edrc.BridgeTests.test_graph_one_additional_node) ... ok
test_graph_repair_restores (test_edrc.BridgeTests.test_graph_repair_restores) ... ok
test_high_energy_rejected (test_edrc.BridgeTests.test_high_energy_rejected) ... ok
test_independent_audit (test_edrc.BridgeTests.test_independent_audit) ... ok
test_legacy_new_energy_impact (test_edrc.BridgeTests.test_legacy_new_energy_impact) ... ok
test_missing_channel_rejected (test_edrc.BridgeTests.test_missing_channel_rejected) ... ok
test_no_physical_auth (test_edrc.BridgeTests.test_no_physical_auth) ... ok
test_only_two_feasible_evidence_supported (test_edrc.BridgeTests.test_only_two_feasible_evidence_supported) ... ok
test_ranking_respects_cost_after_gates (test_edrc.BridgeTests.test_ranking_respects_cost_after_gates) ... ok
test_repair_chooses_nominal (test_edrc.BridgeTests.test_repair_chooses_nominal) ... ok
test_space_rejected (test_edrc.BridgeTests.test_space_rejected) ... ok
test_actuator_absent (test_edrc.GateTests.test_actuator_absent) ... ok
test_baseline_gate_pass (test_edrc.GateTests.test_baseline_gate_pass) ... ok
test_boolean_gate_has_passing_states (test_edrc.GateTests.test_boolean_gate_has_passing_states) ... ok
test_camera_absent (test_edrc.GateTests.test_camera_absent) ... ok
test_full_table_has_128 (test_edrc.GateTests.test_full_table_has_128) ... ok
test_handoff_absent (test_edrc.GateTests.test_handoff_absent) ... ok
test_interference_inactive (test_edrc.GateTests.test_interference_inactive) ... ok
test_interference_unblocked (test_edrc.GateTests.test_interference_unblocked) ... ok
test_label_no_effect_all_worlds (test_edrc.GateTests.test_label_no_effect_all_worlds) ... ok
test_malformed_pair (test_edrc.GateTests.test_malformed_pair) ... ok
test_marker_not_parent (test_edrc.GateTests.test_marker_not_parent) ... ok
test_pair_boolean (test_edrc.GateTests.test_pair_boolean) ... ok
test_pair_context_count (test_edrc.GateTests.test_pair_context_count) ... ok
test_passive_counterexample (test_edrc.GateTests.test_passive_counterexample) ... ok
test_power_absent (test_edrc.GateTests.test_power_absent) ... ok
test_reject_non_bool (test_edrc.GateTests.test_reject_non_bool) ... ok
test_schema_exact (test_edrc.GateTests.test_schema_exact) ... ok
test_true_semantic_parent_count (test_edrc.GateTests.test_true_semantic_parent_count) ... ok
test_absence_requires_exhaustion_even_mislabeled_hypothesis (test_edrc.LedgerTests.test_absence_requires_exhaustion_even_mislabeled_hypothesis) ... ok
test_absence_verification_scope (test_edrc.LedgerTests.test_absence_verification_scope) ... ok
test_absent_removed_only_after_complete (test_edrc.LedgerTests.test_absent_removed_only_after_complete) ... ok
test_all_conservative_initially (test_edrc.LedgerTests.test_all_conservative_initially) ... ok
test_all_discovery_count (test_edrc.LedgerTests.test_all_discovery_count) ... ok
test_all_unknown_initially (test_edrc.LedgerTests.test_all_unknown_initially) ... ok
test_bool_budget_invalid (test_edrc.LedgerTests.test_bool_budget_invalid) ... ok
test_duplicate_query_does_not_inflate_coverage (test_edrc.LedgerTests.test_duplicate_query_does_not_inflate_coverage) ... ok
test_exhausted_absent (test_edrc.LedgerTests.test_exhausted_absent) ... ok
test_hypothesis_does_not_change_proof (test_edrc.LedgerTests.test_hypothesis_does_not_change_proof) ... ok
test_invalid_oracle_version (test_edrc.LedgerTests.test_invalid_oracle_version) ... ok
test_invalid_query_key (test_edrc.LedgerTests.test_invalid_query_key) ... ok
test_negative_budget_invalid (test_edrc.LedgerTests.test_negative_budget_invalid) ... ok
test_no_revoke_same_version (test_edrc.LedgerTests.test_no_revoke_same_version) ... ok
test_oracle_revocation (test_edrc.LedgerTests.test_oracle_revocation) ... ok
test_partial_absence_still_unknown (test_edrc.LedgerTests.test_partial_absence_still_unknown) ... ok
test_present_camera_one_pair (test_edrc.LedgerTests.test_present_camera_one_pair) ... ok
test_present_interference_three_pairs (test_edrc.LedgerTests.test_present_interference_three_pairs) ... ok
test_receipt_digest_is_deterministic (test_edrc.LedgerTests.test_receipt_digest_is_deterministic) ... ok
test_receipt_no_physical_authorization (test_edrc.LedgerTests.test_receipt_no_physical_authorization) ... ok
test_zero_budget_no_query (test_edrc.LedgerTests.test_zero_budget_no_query) ... ok

----------------------------------------------------------------------
Ran 56 tests in 1.274s

OK
