Invariants / DC-PROTO-05

DC-PROTO-05

DC derived declared

Version negotiation is closed: enumerated N2N/N2C versions, explicit handshake, deterministic refusal on mismatch

Enforcement trace

handshake::transition::tests::n2n_happy_path_each_supported_version
handshake::transition::tests::n2c_happy_path_each_supported_version
handshake::transition::tests::version_mismatch_refused
handshake::transition::tests::illegal_message_in_idle_returns_error
handshake::transition::tests::wrong_agency_returns_error
handshake::transition::tests::overlap_picks_highest_common
handshake::transition::tests::empty_intersection_refuses_deterministically
handshake::transition::tests::version_data_passed_through_byte_identical
handshake::transition::tests::n2n_v15_happy_path
handshake::transition::tests::n2n_v16_happy_path_with_peras_support_field
handshake::transition::tests::n2c_v21_happy_path
handshake::transition::tests::n2c_v22_happy_path
handshake::transition::tests::n2c_v23_happy_path
handshake::transition::tests::n2c_v15_no_longer_advertised
handshake::transition::tests::n2n_overlap_picks_v16_when_both_offer_v14_to_v16
version_negotiation_across_supported_table
handshake_real_capture_corpus::real_capture_round_trips_byte_identical
handshake_real_capture_corpus::iog_capture_accepted_at_known_version
handshake_real_capture_corpus::refuse_capture_carries_supported_set
n2c_handshake_real_capture_corpus::real_capture_round_trips_byte_identical
n2c_handshake_real_capture_corpus::accept_version_decodes_to_semantic_version_range