test_atomic_complete_panel (test_protocol.ProtocolTests) ... ok
test_backdated_action_rejected_without_mutation (test_protocol.ProtocolTests) ... ok
test_coverage_contract_cannot_be_weakened (test_protocol.ProtocolTests) ... ok
test_currentness_renewal_and_evidence (test_protocol.ProtocolTests) ... ok
test_cycle_and_hidden_dependency_negative_control (test_protocol.ProtocolTests) ... ok
test_degraded_correction_retained (test_protocol.ProtocolTests) ... ok
test_dependency_closure_independent_forward_oracle (test_protocol.ProtocolTests) ... ok
test_every_scope_covered_independently (test_protocol.ProtocolTests) ... ok
test_exact_version (test_protocol.ProtocolTests) ... ok
test_later_contradiction_invalidates_existing_reliance (test_protocol.ProtocolTests) ... ok
test_query_time_cannot_roll_back (test_protocol.ProtocolTests) ... ok
test_team_size_and_duplicate_receipts_not_independence (test_protocol.ProtocolTests) ... ok
test_typed_authority (test_protocol.ProtocolTests) ... ok
test_unknown_and_contradiction_omission (test_protocol.ProtocolTests) ... ok
test_atomic_reservation_no_double_spend (test_protocol.ResourceTests) ... ok
test_invalid_effort (test_protocol.ResourceTests) ... ok
test_reservations_independent_sum_oracle (test_protocol.ResourceTests) ... ok
test_coverage_unavailable (test_protocol.SelectionTests) ... ok
test_seedwise_group_distribution_invariance (test_protocol.SelectionTests) ... ok

----------------------------------------------------------------------
Ran 19 tests in 0.011s

OK
