=== distinct failing tests ===
leveva::account_proptest account_notify_push_tracks_current_account
leveva::account_proptest account_valid_matches_reference
leveva::account_proptest inbound_non_su_encap_leaves_account
leveva::account_proptest inbound_su_tracks_last_valid_and_never_panics
leveva::account_proptest inbound_su_without_trailing_logs_out
leveva::account_tag_proptest account_tag_gate_and_value
leveva::account_tag_proptest arbitrary_account_and_bytes_never_panic
leveva::account_tag_proptest not_signed_in_never_stamps
leveva::autoconnect_proptest a_dial_arms_a_cooldown
leveva::autoconnect_proptest arbitrary_never_panics
leveva::autoconnect_proptest only_eligible_blocks_are_dialed
leveva::away_notify_proptest arbitrary_away_bytes_never_corrupt_the_watcher
leveva::away_notify_proptest watcher_sees_away_iff_state_changes
leveva::away_proptest away_tracks_the_model
leveva::away_proptest feed_never_panics_on_arbitrary_away_bytes
leveva::away_s2s_proptest an_unknown_source_never_fabricates_a_user
leveva::away_s2s_proptest arbitrary_away_lines_never_panic
leveva::away_s2s_proptest inbound_away_tracks_the_model
leveva::ban_speech_proptest ban_mute_matches_the_model
leveva::ban_speech_proptest can_send_is_total_over_arbitrary_masks
leveva::bot_mode_proptest bot_mode_tracks_model_and_surfaces
leveva::bot_mode_proptest feed_never_panics_on_arbitrary_bot_bytes
leveva::bot_oper_s2s_proptest arbitrary_umodes_and_caps_never_wedge
leveva::bot_oper_s2s_proptest bot_present_iff_sender_plus_b_and_member_has_message_tags
leveva::bot_oper_s2s_proptest draft_oper_present_iff_sender_plus_o_and_member_has_oper_tag
leveva::bots_snomask_proptest flood_notice_always_has_the_flooder_scaffold
leveva::bots_snomask_proptest flood_notice_embeds_each_field_verbatim
leveva::bot_tag_proptest bot_tag_gated_on_sender_bot_and_recipient_cap
leveva::bot_tag_proptest delivery_never_panics_for_a_bot_sender
leveva::callerid_proptest accept_list_matches_model
leveva::callerid_proptest notify_and_accept_interaction_matches_model
leveva::callerid_s2s_proptest remote_caller_id_gate_matches_model
leveva::cap_proptest cap_feed_never_panics_and_is_wellformed
leveva::cap_proptest registration_suspended_until_end
leveva::cap_proptest req_is_all_or_nothing
leveva::caps_s2s_proptest arbitrary_capab_tokens_never_panic
leveva::caps_s2s_proptest tagged_channel_message_reaches_only_tag_peers_tagged
leveva::caps_s2s_proptest tagmsg_is_skipped_for_non_tag_peers
leveva::cconnext_snomask_proptest cliconn_notice_always_has_the_cliconn_scaffold
leveva::cconnext_snomask_proptest cliconn_notice_embeds_each_field_verbatim
leveva::certfp_proptest fingerprint_is_always_64_lowercase_hex
leveva::certfp_proptest fingerprint_is_input_sensitive
leveva::certfp_proptest fingerprint_never_panics_and_is_deterministic
leveva::certfp_proptest inbound_encap_certfp_tracks_last_valid_and_never_panics
leveva::channel_lifecycle_proptest feed_never_panics_on_arbitrary_lifecycle_bytes
leveva::channel_lifecycle_proptest lifecycle_gate_membership_and_op_state_track_the_model
leveva::channels_proptest feed_never_panics_on_arbitrary_channel_bytes
leveva::channels_proptest membership_and_delivery_are_conserved
leveva::chantypes_proptest chantypes_is_hash_only
leveva::chantypes_proptest dropped_prefixes_are_rejected
leveva::chantypes_proptest hash_channels_parse_and_round_trip
leveva::chantypes_proptest only_hash_is_a_valid_prefix
leveva::chantypes_proptest validation_never_panics
leveva::chathistory_proptest prune_keeps_only_recent
leveva::chathistory_proptest queries_are_bounded_and_ordered
leveva::chathistory_proptest recorded_message_round_trips
leveva::chathistory_proptest selector_parse_is_total
leveva::chghost_proptest command_applies_valid_and_is_inert_on_invalid
leveva::chghost_proptest inbound_encap_tracks_last_valid_and_never_panics
leveva::chghost_proptest inbound_non_chghost_encap_leaves_user_state
leveva::chghost_proptest reop_fires_iff_new_mask_matches
leveva::cidr_proptest arbitrary_input_never_panics
leveva::cidr_proptest glob_masks_are_not_cidr
leveva::cidr_proptest v4_contains_matches_shift_model
leveva::cidr_proptest v4_parse_round_trips_and_drives_the_cidr_path
leveva::cidr_proptest v4_self_and_zero_prefix_laws
leveva::cidr_proptest v6_contains_matches_shift_model
leveva::cloak_proptest cloaked_ip_tail_is_never_a_stray_byte
leveva::cloak_proptest cloak_never_introduces_a_leading_colon
leveva::cloak_proptest cloak_never_panics_and_is_deterministic
leveva::cloak_proptest hostname_preserves_structure
leveva::cloak_proptest ipv4_keeps_prefix_and_length
leveva::cloak_proptest ipv6_preserves_structure
leveva::connaccept_proptest is_split_is_monotone_in_thresholds
leveva::connaccept_proptest is_split_matches_the_reference
leveva::connaccept_proptest on_and_off_ignore_split
leveva::connaccept_proptest split_admits_iff_split
leveva::connaccept_proptest zero_thresholds_never_split
leveva::connect_notice_proptest connect_notice_is_well_formed
leveva::connect_notice_proptest exit_notice_is_well_formed
leveva::connect_notice_proptest the_two_reports_are_distinguishable
leveva::connect_proptest already_linked_flips_connecting_to_refusal
leveva::connect_proptest arbitrary_never_panics
leveva::connect_proptest gate_and_resolution_matches_model
leveva::conn_limit_proptest an_unlimited_class_always_admits
leveva::conn_limit_proptest check_admission_matches_the_model
leveva::conn_limit_proptest store_tracks_an_independent_model
leveva::control_proptest arbitrary_never_panics
leveva::control_proptest die_restart_eject_exactly_the_registered_set
leveva::control_proptest gate_is_exactly_the_privilege
leveva::deaf_proptest deaf_is_independent_of_other_bits
leveva::deaf_proptest deaf_letter_and_bit_are_unique
leveva::deaf_proptest is_deaf_matches_model
leveva::debug_snomask_proptest unknown_command_notice_always_has_the_scaffold
leveva::debug_snomask_proptest unknown_command_notice_embeds_each_field_verbatim
leveva::default_chanmodes_proptest a_non_flag_letter_is_rejected
leveva::default_chanmodes_proptest arbitrary_spec_never_panics
leveva::default_chanmodes_proptest valid_flag_letters_round_trip
leveva::default_snomask_proptest an_unknown_letter_is_rejected_strictly
leveva::default_snomask_proptest letter_only_strings_parse_to_a_subset_of_all
leveva::default_snomask_proptest parse_config_never_panics
leveva::echo_message_proptest arbitrary_privmsg_bytes_never_corrupt_the_echoer
leveva::echo_message_proptest echo_iff_sender_negotiated_the_cap
leveva::elemental_extban_proptest account_data_matches_reference_glob
leveva::elemental_extban_proptest account_data_negation_is_dual
leveva::elemental_extban_proptest account_no_data_is_logged_in
leveva::elemental_extban_proptest bare_oper_ssl_track_flags
leveva::elemental_extban_proptest extban_chars_are_lowercase_sorted_and_deduped
leveva::elemental_extban_proptest non_extban_string_is_never_extban
leveva::elemental_extban_proptest oper_negation_is_dual
leveva::elemental_extban_proptest oper_ssl_with_data_are_invalid
leveva::elemental_extban_proptest parser_is_total_and_never_panics
leveva::elemental_extban_proptest ssl_negation_is_dual
leveva::elemental_extban_proptest type_char_is_case_insensitive
leveva::elemental_extban_proptest unknown_type_invalid_and_false_either_way
leveva::elemental_modes_proptest apply_modes_rank_gate_matches_model
leveva::elemental_modes_proptest kick_protection_matches_model
leveva::elemental_modes_proptest prefix_render_and_njoin_round_trip
leveva::elist_proptest age_bounds_are_strict_and_topic_falls_back
leveva::elist_proptest age_bounds_round_trip
leveva::elist_proptest classify_never_panics
leveva::elist_proptest matches_all_is_the_and
leveva::elist_proptest notmask_is_the_negation_of_mask
leveva::elist_proptest numeric_bounds_round_trip
leveva::elist_proptest plain_names_are_names
leveva::elist_proptest user_count_bounds_are_strict
leveva::etrace_proptest arbitrary_never_panics
leveva::etrace_proptest gate_then_sweep
leveva::etrace_proptest target_resolves_or_terminator
leveva::exlimit_proptest boundary_is_exact
leveva::exlimit_proptest configured_plus_l_admits_between_the_caps
leveva::exlimit_proptest list_is_full_matches_model
leveva::exlimit_proptest list_limit_is_the_cap_by_plus_l
leveva::exlimit_proptest list_limit_selects_configured_cap
leveva::exlimit_proptest only_permanent_and_extend_limit_are_oper_only
leveva::exlimit_proptest plus_l_admits_between_the_caps
leveva::exlimit_proptest staff_gate_is_total
leveva::exlimit_proptest zero_default_cap_permits_no_entries
leveva::extended_join_proptest arbitrary_account_realname_never_panic
leveva::extended_join_proptest extended_join_gate_and_rendering
leveva::extended_monitor_proptest delivery_iff_all_gates_pass
leveva::external_snomask_proptest server_intro_notice_always_has_the_spy_scaffold
leveva::external_snomask_proptest server_intro_notice_embeds_each_field_verbatim
leveva::fd_stats_proptest arbitrary_never_panics
leveva::fd_stats_proptest non_oper_is_always_denied
leveva::fd_stats_proptest trace_oper_sees_one_211_per_connection
leveva::feed_framing_proptest chunking_is_invariant
leveva::feed_framing_proptest framing_never_panics_and_output_is_wellformed
leveva::feed_framing_proptest oversized_line_yields_417_and_is_not_dispatched
leveva::feed_framing_proptest recvq_stays_bounded
leveva::feed_framing_proptest tag_limit_edge
leveva::flood_delay a_disabled_session_never_delays
leveva::flood_delay a_flood_accrues_a_delay_without_killing
leveva::flood_delay a_modest_burst_does_not_delay
leveva::flood_delay exempt_traffic_never_delays
leveva::flood_proptest a_larger_ceiling_never_floods_sooner
leveva::flood_proptest a_paced_client_is_never_delayed
leveva::flood_proptest a_paced_client_never_floods
leveva::flood_proptest command_penalty_is_monotone_in_length
leveva::flood_proptest command_penalty_is_well_behaved
leveva::flood_proptest delay_secs_tracks_the_clock_and_is_bounded_by_the_kill_ceiling
leveva::flood_proptest lockstep_with_a_reference_clock
leveva::flood_proptest penalty_is_the_oracle_formula
leveva::forward_proptest a_distinct_valid_channel_is_accepted
leveva::forward_proptest forwardable_fixed_cases_match_the_model
leveva::forward_proptest forwardable_matches_model
leveva::forward_proptest forward_set_verdict_exhaustive
leveva::forward_proptest forward_set_verdict_matches_model
leveva::forward_proptest self_forward_is_always_rejected
leveva::forward_proptest valid_forward_target_is_total_and_correct
leveva::freeinvite_proptest a_manager_always_allows
leveva::freeinvite_proptest denial_implies_no_authority
leveva::freeinvite_proptest fixed_cases_match_the_model
leveva::freeinvite_proptest matches_model
leveva::freeinvite_proptest plus_g_always_allows
leveva::full_snomask_proptest conn_full_notice_always_has_the_full_scaffold
leveva::full_snomask_proptest conn_full_notice_embeds_each_field_verbatim
leveva::global_caps_proptest global_decision_matches_model
leveva::global_caps_proptest registry_counts_track_a_model
leveva::golden_account_ext account_tag_rides_a_signed_in_local_senders_privmsg
leveva::golden_account_ext extended_join_carries_account_and_realname
leveva::golden_autoconnect auto_connect_dials_out_on_boot_without_an_operator
leveva::golden_away away_set_observed_then_cleared
leveva::golden_away_notify away_notify_gates_away_broadcasts
leveva::golden_ban_speech ban_mutes_speech_after_join
leveva::golden_ban_speech voiced_member_bypasses_the_mute
leveva::golden_bot_mode bot_mode_isupport_whois_and_who
leveva::golden_bot_tag bot_tag_reaches_only_message_tags_consumers
leveva::golden_callerid callerid_gates_then_accept_opens_then_unaccept_regates
leveva::golden_callerid plain_target_receives_normally
leveva::golden_cap cap_302_negotiation_suspends_then_resumes
leveva::golden_cap cap_ls_without_version_then_end
leveva::golden_certfp tls_client_certificate_surfaces_in_whois_276_and_gates_oper
leveva::golden_channel_lifecycle deop_revokes_authority
leveva::golden_channel_lifecycle invite_token_is_one_shot
leveva::golden_channel_lifecycle kick_then_clean_rejoin
leveva::golden_channel_lifecycle limit_frees_a_slot_on_part
leveva::golden_channel_lifecycle quit_removes_membership_everywhere
leveva::golden_channel_lifecycle recreate_after_last_part_is_fresh
leveva::golden_channel_lifecycle unblock_round_trips
leveva::golden_channels channels_join_message_part_across_connections
leveva::golden_chathistory cap_ls_offers_the_draft_chathistory_caps
leveva::golden_chathistory chathistory_latest_returns_a_batch_and_chathistory_client_is_not_auto_replayed
leveva::golden_chathistory chathistory_to_a_non_member_channel_fails
leveva::golden_chathistory isupport_advertises_chathistory_tokens
leveva::golden_chathistory join_auto_replays_inside_a_batch_for_a_batch_capable_client
leveva::golden_chathistory join_auto_replays_recent_lines_to_a_plain_client
leveva::golden_chathistory redact_deletes_the_line_from_chathistory
leveva::golden_chghost chghost_updates_cap_clients_and_simulates_a_reconnect_for_others
leveva::golden_connect connect_dials_out_greets_and_bursts
leveva::golden_conn_limits a_disconnect_frees_a_class_slot
leveva::golden_conn_limits class_full_refuses_the_over_cap_client
leveva::golden_control control_plane_gates_then_dies
leveva::golden_deaf deaf_blocks_channel_messages_but_not_private
leveva::golden_deaf non_deaf_member_receives_channel_messages
leveva::golden_default_chanmodes locally_created_channel_defaults_to_plus_nt
leveva::golden_default_snomask_config configured_default_snomask_seeds_a_bare_plus_s
leveva::golden_dnsbl dnsbl_enabled_boot_registers_an_unlisted_client
leveva::golden_echo_message echo_message_gates_self_echo
leveva::golden_elemental_modes elemental_hierarchy_end_to_end
leveva::golden_elist elist_search_extensions
leveva::golden_etrace etrace_is_oper_gated_then_full
leveva::golden_exlimit non_oper_cannot_set_large_ban_list
leveva::golden_exlimit oper_sets_and_clears_large_ban_list
leveva::golden_extban extban_join_gate_end_to_end
leveva::golden_extban_validity extban_add_validity_end_to_end
leveva::golden_extended_monitor extended_monitor_pushes_chghost_and_away_to_a_non_co_member_watcher
leveva::golden_flood a_command_flood_is_closed_with_excess_flood
leveva::golden_flood_prereg a_pre_registration_flood_is_closed_with_excess_flood
leveva::golden_forward_control disforward_target_refuses_incoming_forwards_until_minus_q
leveva::golden_forward_control free_target_lifts_the_op_on_target_requirement_for_plus_f
leveva::golden_forward invite_only_channel_with_forward_redirects_then_stops_after_minus_f
leveva::golden_freeinvite clearing_free_invite_restores_the_chanop_requirement
leveva::golden_freeinvite free_invite_lets_a_non_op_invite_across_plus_i
leveva::golden_global_caps global_per_host_refuses_the_over_cap_client_and_a_disconnect_frees_a_slot
leveva::golden_help_users help_and_users_queries
leveva::golden_ident ident_enabled_boot_registers_a_client_end_to_end
leveva::golden_iline a_restricted_iline_sets_plus_r
leveva::golden_iline_cidr a_cidr_iline_covering_loopback_admits
leveva::golden_iline_cidr a_cidr_iline_not_covering_loopback_is_refused_465
leveva::golden_iline no_iline_for_the_host_is_refused_465
leveva::golden_invite invite_end_to_end_across_connections
leveva::golden_invite_notify invite_notify_gates_invite_broadcasts
leveva::golden_ip_cloaking plus_x_cloaks_the_host_and_minus_x_restores_it
leveva::golden_jointhrottle join_throttle_refuses_over_rate_then_reopens_when_cleared
leveva::golden_keepalive client_answering_pings_survives
leveva::golden_keepalive client_ping_gets_pong
leveva::golden_keepalive idle_client_is_timed_out
leveva::golden_keepalive leveva_pings_an_idle_client
leveva::golden_kick kick_end_to_end_across_connections
leveva::golden_kill kill_disconnects_the_victim_and_relays_the_quit
leveva::golden_knock knock_end_to_end_across_connections
leveva::golden_labeled_response labeled_response_three_shapes_and_inverse
leveva::golden_links_map links_and_map_queries
leveva::golden_locops locops_reaches_plus_l_operators_only
leveva::golden_maxbans_config configured_max_bans_caps_the_ban_list_and_plus_l_raises_it
leveva::golden_metadata metadata_command_surface_round_trips
leveva::golden_metadata metadata_sync_resends_subscribed_keys
leveva::golden_metadata_priv privileged_keys_are_oper_gated_and_hidden_from_mortals
leveva::golden_metadata_rate a_tight_config_budget_rate_limits_the_second_mutation
leveva::golden_metrics metrics_endpoint_serves_live_counters
leveva::golden_modes channel_modes_end_to_end_across_connections
leveva::golden_modes exception_and_invite_masks_and_server_only_flags
leveva::golden_monitor monitor_reports_offline_then_online_then_offline
leveva::golden_msgid msgid_reaches_only_message_tags_consumers
leveva::golden_multi_prefix multi_prefix_gates_all_sigils_in_names_who_whois
leveva::golden_names_list names_and_list_with_secret_visibility
leveva::golden_nick_collision taken_nick_is_refused_then_renamed
leveva::golden_nocolor nocolor_blocks_formatting_keeps_plain
leveva::golden_noctcp noctcp_blocks_ctcp_keeps_action_and_plain
leveva::golden_noctcp noctcp_does_not_block_notice_ctcp
leveva::golden_noforward plus_q_user_is_not_forwarded_by_a_plus_f_channel
leveva::golden_no_implicit_names no_implicit_names_suppresses_only_the_join_burst
leveva::golden_nonotice nonotice_drops_channel_notice_keeps_privmsg
leveva::golden_ojoin ojoin_official_join_end_to_end
leveva::golden_operonly oper_only_channel_admits_opers_and_rejects_others
leveva::golden_oper oper_login_grants_operator_then_whois_shows_313
leveva::golden_oper_tag oper_tag_reaches_only_draft_oper_tag_consumers
leveva::golden_operwall operwall_reaches_plus_z_operators_only
leveva::golden_opmod opmod_redirects_blocked_message_to_ops_then_restores_mute
leveva::golden_opmod_redact opmod_redirects_blocked_redact_to_cap_ops_then_restores_fail
leveva::golden_opmod_tagmsg opmod_redirects_blocked_tagmsg_to_cap_ops_then_restores_mute
leveva::golden_pass correct_password_welcomes
leveva::golden_pass missing_password_is_refused
leveva::golden_pass wrong_password_is_refused
leveva::golden_permanent non_oper_cannot_set_permanent
leveva::golden_permanent permanent_channel_survives_empty_and_grants_no_op_on_rejoin
leveva::golden_pipe pipe_enabled_boot_registers_an_allowed_client
leveva::golden_post_registration ping_pong_and_unknown_command
leveva::golden_pre_away away_before_registration_without_the_cap_is_refused
leveva::golden_pre_away pre_away_status_is_visible_after_registration
leveva::golden_privmsg_mask oper_server_mask_reaches_users_and_validates
leveva::golden_privmsg privmsg_delivers_across_connections_and_401s_the_missing
leveva::golden_privmsg_targets privmsg_caps_recipients_and_dedupes
leveva::golden_recvq oversized_unterminated_blob_is_rejected_then_resyncs
leveva::golden_redact redact_reaches_only_message_redaction_consumers
leveva::golden_registration registration_welcome_burst
leveva::golden_regonly_msg non_regonly_user_receives_private_message
leveva::golden_regonly_msg regonly_msg_blocks_unidentified_private_message_then_restores
leveva::golden_regonly registered_only_channel_rejects_signed_out_then_reopens
leveva::golden_rehash_auto_connect rehash_starts_the_auto_connect_dialer
leveva::golden_rehash_ban rehash_reloads_config_ban_blocks
leveva::golden_rehash_blocks rehash_reloads_admin_connect_and_default_user_modes
leveva::golden_rehash_channel_modes rehash_reloads_default_channel_modes
leveva::golden_rehash_conf rehash_reloads_operator_and_class_blocks
leveva::golden_rehash_conn_accept rehash_opens_and_closes_the_server_to_new_clients
leveva::golden_rehash_flood rehash_retunes_the_flood_kill_ceiling
leveva::golden_rehash_iauth rehash_rebuilds_the_iauth_module_set
leveva::golden_rehash_iline rehash_reloads_allow_blocks
leveva::golden_rehash_listeners rehash_rebinds_the_listen_set
leveva::golden_rehash_motd rehash_reloads_the_motd_file
leveva::golden_rehash_sts rehash_reloads_the_sts_policy
leveva::golden_rehash_throttle rehash_retunes_the_per_channel_knock_throttle
leveva::golden_restricted a_restricted_client_cannot_oper_or_hold_chanop
leveva::golden_restricted_nick a_restricted_client_cannot_change_nick
leveva::golden_restricted_op a_third_party_op_cannot_op_a_restricted_member
leveva::golden_restricted_reop a_restricted_member_is_not_auto_reopped_by_a_plus_r_mask
leveva::golden_resv_config default_config_reservations_gate_join_and_nick
leveva::golden_resv_config registration_with_reserved_nick_is_refused_then_recovers
leveva::golden_s2s_account encap_su_logs_a_remote_user_in_and_out
leveva::golden_s2s_account encap_su_pushes_account_notify_to_a_capable_co_member
leveva::golden_s2s_away s2s_away_both_directions
leveva::golden_s2s_bot_oper remote_bot_and_oper_messages_carry_their_derived_tags
leveva::golden_s2s_caps tag_blind_peer_never_receives_an_at_prefix
leveva::golden_s2s_channel_ts equal_peer_ts_keeps_our_op
leveva::golden_s2s_channel_ts older_peer_ts_deops_our_local_op
leveva::golden_s2s_chathistory remote_channel_message_is_recorded_and_replayed_via_chathistory
leveva::golden_s2s_forward forward_verbs_do_not_break_the_link_or_kill_the_server
leveva::golden_s2s_invite s2s_invite_both_directions
leveva::golden_s2s_keepalive leveva_answers_a_peer_ping_with_pong
leveva::golden_s2s_keepalive leveva_pings_an_idle_peer
leveva::golden_s2s_keepalive silent_peer_times_out_and_its_users_are_reaped
leveva::golden_s2s_links_map links_and_map_render_the_true_network_tree
leveva::golden_s2s_mass_burst_drop mass_burst_dropped_mid_burst_cleans_up_every_user
leveva::golden_s2s_monitor s2s_monitor_pushes_730_731_on_remote_transitions
leveva::golden_s2s_msgid msgid_propagates_across_the_link_in_both_directions
leveva::golden_s2s_netjoin_batch netjoin_burst_is_batched_for_cap_clients_only
leveva::golden_s2s_netsplit_batch netsplit_quit_is_batched_for_cap_clients_only
leveva::golden_s2s_netsplit explicit_squit_of_a_leaf_spares_the_peer
leveva::golden_s2s_netsplit reburst_after_split_is_clean
leveva::golden_s2s_netsplit split_relays_quit_to_a_local_co_member
leveva::golden_s2s_njoin_live live_join_propagates_as_njoin_with_op_prefix
leveva::golden_s2s_permanent an_empty_non_permanent_burst_is_not_materialized
leveva::golden_s2s_permanent an_empty_permanent_channel_bursts_and_persists
leveva::golden_s2s_redact s2s_redact_both_directions
leveva::golden_s2s_reject pre_registration_s2s_verb_is_not_registered
leveva::golden_s2s_reject s2s_verbs_are_unknown_commands_on_a_client_port
leveva::golden_s2s_relay s2s_relay_both_directions
leveva::golden_s2s_remote_server_dies leaf_server_squit_cleans_up_its_users
leveva::golden_s2s_remote_server_dies link_drop_cleans_up_users_on_a_server_behind_it
leveva::golden_s2s_reop inbound_reop_mask_ops_a_resident_local_member
leveva::golden_s2s_reop losing_a_burst_merge_restores_ops_via_reop
leveva::golden_s2s_reop losing_a_burst_merge_wipes_our_list_masks_and_adopts_the_winners
leveva::golden_s2s_reop winning_a_burst_merge_keeps_our_modes_and_strips_incoming_status
leveva::golden_s2s s2s_link_burst_and_squit
leveva::golden_s2s_server a_server_introduced_behind_the_peer_is_learned_and_routable
leveva::golden_s2s_server_time server_time_propagates_across_the_link_in_both_directions
leveva::golden_s2s_smask a_masked_server_introduced_behind_the_peer_is_learned_and_routable
leveva::golden_s2s_squit_propagation abrupt_drop_of_a_peer_propagates_squit_to_the_sibling
leveva::golden_s2s_squit_propagation explicit_squit_of_a_leaf_propagates_to_the_sibling
leveva::golden_s2s_umode umode_propagates_outbound_and_inbound_keeps_the_link_alive
leveva::golden_s2s_userts older_remote_nick_evicts_the_younger_local_holder
leveva::golden_s2s_whois_service whois_of_a_remote_service_shows_network_service_and_hides_channels
leveva::golden_s2s_who who_whois_report_a_remote_users_real_server
leveva::golden_sasl plain_sasl_logs_a_client_in_end_to_end
leveva::golden_sasl sasl_unavailable_without_a_services_agent
leveva::golden_server_query server_query_target_resolution
leveva::golden_server_time server_time_stamps_only_the_negotiating_recipient
leveva::golden_service service_umode_is_server_set_only
leveva::golden_service_string_config configured_service_string_drives_the_whois_313_for_a_service
leveva::golden_setname setname_changes_realname_and_notifies_only_cap_clients
leveva::golden_snomask plus_s_snomask_routes_notices_by_category
leveva::golden_snotice connect_and_exit_notices_reach_plus_s_operators_only
leveva::golden_snotice rehash_server_notice_reaches_plus_s_operators_only
leveva::golden_socks socks_enabled_boot_registers_a_non_proxy_client
leveva::golden_sslonly sslonly_refuses_plaintext_join_until_cleared
leveva::golden_standard_replies standard_replies_cap_is_advertised_and_a_fail_flows
leveva::golden_stats_config_ban stats_k_lists_and_live_reloads_config_bans
leveva::golden_stats_fd_ping stats_fd_table_is_trace_gated_and_ping_is_empty
leveva::golden_stats stats_k_lists_active_klines
leveva::golden_stats stats_queries
leveva::golden_stats stats_topology_queries
leveva::golden_stats_traffic stats_traffic_queries
leveva::golden_sts no_sts_token_without_a_tls_listener
leveva::golden_sts sts_port_advertised_over_plaintext_when_tls_listener_present
leveva::golden_summon summon_is_disabled_with_the_oracle_skeleton
leveva::golden_tagmsg message_tags_delivery_plane_end_to_end
leveva::golden_time_admin_info time_admin_info_queries
leveva::golden_tkline tkline_reaps_a_match_and_refuses_a_reconnect
leveva::golden_topic topic_query_set_on_join_and_relay_across_connections
leveva::golden_trace trace_visibility_before_and_after_oper
leveva::golden_userhost_in_names userhost_in_names_masks_only_the_negotiating_requester
leveva::golden_userhost_ison userhost_and_ison_queries
leveva::golden_usermode user_modes_query_change_and_who_visibility
leveva::golden_user_spaceless spaceless_user_realname_welcome_burst
leveva::golden_utf8only utf8only_advertised_and_invalid_utf8_rejected
leveva::golden_wallops wallops_reaches_plus_w_operators_broadcast
leveva::golden_websocket_sts plaintext_websocket_gets_sts_port
leveva::golden_websocket_sts proxied_https_websocket_gets_sts_duration
leveva::golden_websocket websocket_binary_subprotocol_gets_binary_frames
leveva::golden_websocket websocket_client_registers_gets_plus_w_and_320
leveva::golden_whois_metadata whois_shows_760_keyvalue_only_to_a_metadata_capable_requester
leveva::golden_whois_modes whois_modes_gated_to_self_or_oper
leveva::golden_whois whois_identity_channels_and_visibility
leveva::golden_whowas whowas_after_nick_change_and_misses
leveva::golden_who who_channel_nick_glob_and_visibility
leveva::golden_whox whox_fields_token_oper_flag_and_opers_filter
leveva::heartbeat_proptest active_connection_is_never_pinged_or_dropped
leveva::heartbeat_proptest invariants_hold_under_any_schedule
leveva::help_users_proptest arbitrary_never_panics
leveva::help_users_proptest help_arbitrary_is_well_formed
leveva::help_users_proptest help_junk_topic_is_single_not_found
leveva::help_users_proptest users_is_always_265_then_266
leveva::iauth_module_order_proptest rebuilt_module_set_matches_the_configured_subset
leveva::iauth_seam_proptest accept_welcomes_once_with_the_resolved_user
leveva::iauth_seam_proptest arbitrary_verdict_bytes_never_panic
leveva::iauth_seam_proptest arrival_order_is_irrelevant
leveva::iauth_seam_proptest cap_and_auth_gates_commute
leveva::iauth_seam_proptest deny_always_refuses_in_both_arrival_orders
leveva::iline_proptest empty_rules_always_accept
leveva::iline_proptest gate_matches_the_model
leveva::iline_proptest non_matching_non_empty_is_no_authorization
leveva::integration_post_link_join post_link_registration_is_introduced_across_the_link
leveva::integration_two_node_tls two_node_link_over_tls
leveva::integration_two_node two_node_relay_both_directions
leveva::invite_notify_proptest arbitrary_invite_bytes_never_corrupt_the_watcher
leveva::invite_notify_proptest op_watcher_sees_invite_iff_it_succeeds
leveva::invite_proptest feed_never_panics_on_arbitrary_invite_bytes
leveva::invite_proptest invite_membership_and_delivery_are_conserved
leveva::invite_s2s_proptest an_unknown_inviter_never_fabricates_a_user
leveva::invite_s2s_proptest arbitrary_invite_lines_never_panic
leveva::invite_s2s_proptest token_recorded_iff_remote_inviter_is_op
leveva::jointhrottle_proptest admit_agrees_with_decide
leveva::jointhrottle_proptest decide_matches_the_model
leveva::jointhrottle_proptest no_window_ever_admits_more_than_n
leveva::jointhrottle_proptest parse_param_is_total_and_contractual
leveva::jointhrottle_proptest parse_param_round_trips_every_valid_pair
leveva::keepalive_freq_proptest class_ping_freq_is_total_and_matches_or_defaults
leveva::keepalive_freq_proptest empty_class_set_always_defaults
leveva::keepalive_proptest active_connection_is_never_dropped
leveva::keepalive_proptest keepalive_contract_holds
leveva::keepalive_proptest zero_freq_never_pings_or_drops
leveva::kick_proptest feed_never_panics_on_arbitrary_kick_bytes
leveva::kick_proptest kick_membership_op_state_and_delivery_are_conserved
leveva::kill_proptest feed_never_panics_on_arbitrary_kill_bytes
leveva::kill_proptest kill_conservation
leveva::kill_s2s_proptest arbitrary_kill_never_panics
leveva::kill_s2s_proptest inbound_local_kill_notifies_plus_s_watchers
leveva::kill_s2s_proptest kill_round_trips_through_the_wire
leveva::kline_proptest arbitrary_never_panics
leveva::kline_proptest exempt_clients_are_never_reaped
leveva::kline_proptest gate_is_param_count_then_privilege
leveva::kline_proptest reap_hits_exactly_the_covered_set
leveva::kline_proptest tkline_then_untkline_is_empty
leveva::knock_proptest arbitrary_args_never_panic
leveva::knock_proptest outcome_matches_the_channel_state
leveva::knock_s2s_proptest arbitrary_knock_encap_never_panics
leveva::knock_s2s_proptest knock_round_trips_through_the_wire
leveva::knock_throttle_proptest admit_iff_clock_passed_last_hold
leveva::knock_throttle_proptest arbitrary_channel_never_panics
leveva::knock_user_throttle_proptest arbitrary_uid_key_never_panics
leveva::knock_user_throttle_proptest cooling_and_arm_track_the_clock
leveva::labeled_response_proptest labeled_shape_matches_reply_count
leveva::labeled_response_proptest next_ref_is_unique_across_calls
leveva::labeled_response_proptest next_ref_tokens_are_always_valid
leveva::labeled_response_proptest passthrough_when_disabled_or_unlabeled
leveva::linelen_proptest body_within_linelen_round_trips_byte_identical
leveva::linelen_proptest cap_never_splits_a_grapheme
leveva::linelen_proptest to_wire_body_is_full_body_truncated_to_linelen_graphemes
leveva::link_greeting_proptest greeting_is_always_well_formed_and_handshake_never_panics
leveva::link_greeting_proptest greeting_roundtrips_when_passwords_agree
leveva::link_greeting_proptest password_mismatch_is_rejected
leveva::links_map_proptest arbitrary_args_never_panic
leveva::links_map_proptest links_and_map_render_every_server_with_true_parent
leveva::listener_rebind_proptest desired_set_excludes_delayed_and_dedups
leveva::listener_rebind_proptest plan_is_well_formed_and_correct
leveva::listener_rebind_proptest plan_of_identical_sets_is_a_noop
leveva::locops_proptest is_locops_matches_model
leveva::locops_proptest locops_delivery_depends_only_on_plus_l
leveva::locops_proptest locops_is_independent_of_other_bits
leveva::locops_proptest locops_letter_and_bit_are_unique
leveva::message_tags_proptest arbitrary_tagged_input_never_panics
leveva::message_tags_proptest escaping_round_trips_any_value
leveva::message_tags_proptest render_parse_round_trips
leveva::message_tags_proptest untagged_lines_are_unaffected
leveva::metadata_proptest key_valid_matches_the_model
leveva::metadata_proptest key_visibility_is_total_and_contractual
leveva::metadata_proptest store_tracks_a_btreemap_model
leveva::metadata_proptest subscribe_tracks_a_set_model
leveva::metadata_proptest unsubscribe_removes_valid_keys
leveva::metadata_proptest value_valid_is_the_length_boundary
leveva::metadata_rate_proptest cost_zero_never_advances_the_clock
leveva::metadata_rate_proptest later_now_is_never_more_limited
leveva::metadata_rate_proptest rate_charge_matches_the_burst_rule
leveva::metadata_s2s_proptest arbitrary_metadata_encap_never_panics
leveva::metadata_s2s_proptest metadata_round_trips_through_the_wire
leveva::metadata_sync_proptest agrees_with_visibility_gate
leveva::metadata_sync_proptest matches_definition
leveva::metadata_sync_proptest oper_sees_any_subscribed_key
leveva::metadata_sync_proptest public_subscribed_always_emitted
leveva::metadata_sync_proptest restricted_withheld_from_non_oper
leveva::metadata_sync_proptest subscription_is_necessary
leveva::metrics_endpoint_proptest adversarial_labels_keep_the_format_intact
leveva::metrics_endpoint_proptest encode_text_round_trips_to_the_model
leveva::metrics_endpoint_proptest session_commands_appear_in_exposition
leveva::metrics_proptest command_stats_matches_a_model
leveva::metrics_proptest stats_m_and_z_always_terminate
leveva::metrics_proptest user_gauge_never_underflows
leveva::mkpasswd_proptest mkpasswd_bare_is_usage
leveva::mkpasswd_proptest mkpasswd_never_panics
leveva::mkpasswd_proptest mkpasswd_roundtrips
leveva::mkpasswd_proptest mkpasswd_spaced_trailing_roundtrips
leveva::modes_proptest feed_never_panics_on_arbitrary_mode_bytes
leveva::modes_proptest mode_state_tracks_the_model
leveva::monitor_proptest arbitrary_targets_never_panic
leveva::monitor_proptest index_matches_the_model
leveva::monitor_proptest list_chunks_stay_within_budget_and_are_lossless
leveva::monitor_s2s_proptest an_unknown_quit_pushes_no_monitor_notify
leveva::monitor_s2s_proptest arbitrary_unick_quit_bytes_never_panic
leveva::monitor_s2s_proptest monitor_pushes_track_presence_transitions
leveva::motd_reload_proptest load_motd_lines_is_total_and_framed
leveva::motd_reload_proptest motd_reply_shape_matches_the_reloaded_lines
leveva::msgid_proptest delivery_never_panics_or_malforms
leveva::msgid_proptest generate_is_valid_and_unique
leveva::msgid_proptest msgid_gated_on_recipient_cap
leveva::msgid_proptest one_message_one_id_distinct_messages_distinct_ids
leveva::msgid_s2s_proptest arbitrary_inbound_tags_never_wedge
leveva::msgid_s2s_proptest inbound_msgid_propagated_iff_valid
leveva::msgid_s2s_proptest outbound_msgid_gated_by_peer_cap
leveva::multi_prefix_proptest multi_prefix_feed_never_panics_and_is_wellformed
leveva::multi_prefix_proptest prefixes_matches_model
leveva::names_list_proptest feed_never_panics_on_arbitrary_names_list_bytes
leveva::names_list_proptest names_and_list_match_the_visibility_model
leveva::nchange_snomask_proptest nchange_notice_always_has_the_spy_scaffold
leveva::nchange_snomask_proptest nchange_notice_embeds_each_field_verbatim
leveva::netio_proptest ready_sink_writes_everything
leveva::netio_proptest wedged_writer_always_times_out
leveva::netjoin_batch_proptest empty_flood_frames_to_nothing
leveva::netjoin_batch_proptest framing_never_panics_and_re_parses
leveva::netjoin_batch_proptest nonempty_flood_is_bracketed_and_tagged
leveva::netsplit_batch_proptest empty_flood_frames_to_nothing
leveva::netsplit_batch_proptest framing_never_panics_and_re_parses
leveva::netsplit_batch_proptest nonempty_flood_is_bracketed_and_tagged
leveva::nick_collision_proptest arbitrary_unick_and_save_lines_never_panic
leveva::nick_collision_proptest introductions_follow_the_first_claimant_model
leveva::nick_collision_proptest saving_the_winner_frees_the_nick_then_a_third_can_take_it
leveva::njoin_live_proptest arbitrary_njoin_lines_never_panic
leveva::njoin_live_proptest live_njoin_announces_join_and_matching_mode
leveva::njoin_live_proptest outbound_join_token_prefix_matches_member_status
leveva::nocolor_proptest ctcp_delimiter_alone_is_never_blocked
leveva::nocolor_proptest fixed_cases_match_the_model
leveva::nocolor_proptest matches_model_on_arbitrary_text
leveva::nocolor_proptest printable_text_is_never_blocked
leveva::nocolor_proptest text_carrying_a_code_is_always_blocked
leveva::nocolor_proptest the_library_const_matches_the_model_set
leveva::noctcp_proptest action_is_never_blocked
leveva::noctcp_proptest fixed_cases_match_the_model
leveva::noctcp_proptest matches_model_on_arbitrary_text
leveva::noctcp_proptest non_ctcp_text_is_never_blocked
leveva::noctcp_proptest other_ctcp_commands_are_blocked
leveva::noforward_proptest is_noforward_matches_model
leveva::noforward_proptest noforward_is_independent_of_other_bits
leveva::noforward_proptest noforward_letter_and_bit_are_unique
leveva::noforward_proptest plus_q_never_forwards
leveva::noforward_proptest without_q_forward_is_allow_and_forwardable
leveva::no_implicit_names_proptest join_burst_present_iff_cap_off
leveva::nonotice_proptest a_block_implies_plus_t
leveva::nonotice_proptest fixed_cases_match_the_model
leveva::nonotice_proptest matches_model_on_arbitrary_command
leveva::nonotice_proptest notice_blocked_iff_plus_t
leveva::nonotice_proptest privmsg_is_never_blocked
leveva::nonotice_proptest unset_never_blocks
leveva::ojoin_proptest official_join_is_unkickable
leveva::ojoin_proptest official_join_never_grantable_to_others
leveva::ojoin_proptest official_join_self_removal_only
leveva::ojoin_proptest official_join_tops_rank_and_round_trips
leveva::oper_only_proptest oper_only_gate_tracks_flag_and_oper
leveva::oper_only_proptest oper_only_precedes_invite_only
leveva::oper_proptest feed_never_panics_on_arbitrary_oper_bytes
leveva::oper_proptest oper_tracks_the_model
leveva::oper_tag_proptest delivery_never_panics
leveva::oper_tag_proptest draft_oper_gated_on_sender_oper_and_recipient_cap
leveva::oper_tag_proptest toggling_sender_oper_flips_the_tag
leveva::operwall_proptest is_operwall_matches_model
leveva::operwall_proptest operwall_delivery_depends_only_on_plus_z
leveva::operwall_proptest operwall_is_independent_of_other_bits
leveva::operwall_proptest operwall_letter_and_bit_are_unique
leveva::opmod_proptest op_members_is_exactly_the_rank_op_set
leveva::opmod_proptest opmod_redirects_matches_the_model
leveva::opmod_s2s_proptest classify_accepts_only_at_then_channel
leveva::opmod_s2s_proptest opmod_target_round_trips
leveva::opmod_s2s_proptest plain_channel_is_not_a_redirect
leveva::opmod_s2s_proptest wrapped_target_is_never_a_bare_channel
leveva::parse_utf8_proptest parse_bytes_matches_str_parse_on_valid_utf8
leveva::parse_utf8_proptest parse_bytes_ok_implies_input_was_valid_utf8
leveva::parse_utf8_proptest parsed_message_renders_back_to_valid_utf8
leveva::pass_proptest matcher_matches_the_model
leveva::pass_proptest none_supplied_equals_empty
leveva::pass_proptest pass_feed_never_panics
leveva::password_classify_proptest classify_never_panics
leveva::password_classify_proptest declared_hash_requires_sha512
leveva::password_classify_proptest hashed_is_always_sha512
leveva::password_classify_proptest plain_compares_bytes
leveva::password_classify_proptest real_sha512_hash_round_trips
leveva::password_classify_proptest verify_never_panics
leveva::permanent_proptest burst_creates_permanent_is_the_inverse_of_destroy
leveva::permanent_proptest create_permanent_from_burst_is_total_and_gated
leveva::permanent_proptest create_permanent_from_burst_never_clobbers_a_live_channel
leveva::permanent_proptest destroy_when_empty_matches_model
leveva::permanent_proptest permanent_bit_is_decisive
leveva::permanent_proptest permanent_set_allowed_exhaustive
leveva::permanent_proptest permanent_set_allowed_matches_model
leveva::ping_proptest ping_arbitrary_bytes_are_robust
leveva::ping_proptest ping_echoes_any_utf8_token
leveva::post_registration_proptest arbitrary_command_bytes_never_panic_either_phase
leveva::post_registration_proptest gated_verb_before_registration_is_451_and_does_not_register
leveva::post_registration_proptest registration_completes_once_order_independent_strays_stay_gated
leveva::post_registration_proptest the_gate_flips_once_same_verb_451_before_not_after
leveva::pre_away_proptest away_set_iff_cap_and_nonempty
leveva::pre_away_proptest no_away_means_not_away
leveva::prereg_flood_proptest a_large_pre_registration_burst_always_floods
leveva::prereg_flood_proptest a_small_pre_registration_burst_never_floods
leveva::prereg_flood_proptest pong_is_never_charged_pre_registration
leveva::privmsg_mask_proptest mask_targets_parse_and_round_trip
leveva::privmsg_mask_proptest tld_model_is_consistent
leveva::privmsg_proptest delivery_is_well_formed_and_conserved
leveva::privmsg_proptest feed_never_panics_on_arbitrary_message_bytes
leveva::query_routing_proptest arbitrary_target_never_panics
leveva::query_routing_proptest netsplit_reverts_remote_to_402
leveva::query_routing_proptest own_name_precedence_over_a_peer
leveva::query_routing_proptest routing_decision_matches_the_model
leveva::redact_proptest delivery_never_panics
leveva::redact_proptest redact_deletes_exactly_the_named_channel_msgids
leveva::redact_proptest redact_delivered_iff_recipient_has_cap
leveva::redact_proptest rejected_channel_redact_never_deletes
leveva::redact_proptest toggling_recipient_cap_flips_delivery
leveva::redact_s2s_proptest arbitrary_redact_bytes_never_panic
leveva::redact_s2s_proptest inbound_channel_redact_reaches_cap_members_only
leveva::redact_s2s_proptest inbound_redact_always_onward_relays
leveva::redact_s2s_proptest outbound_redact_always_rides_encap
leveva::registration_proptest arbitrary_bytes_are_robust
leveva::registration_proptest spaceless_user_registers_like_trailing
leveva::registration_proptest structured_lines_are_robust
leveva::registration_proptest valid_registration_completes_once
leveva::registry_proptest registry_invariants_hold
leveva::regonly_msg_proptest any_bypass_admits
leveva::regonly_msg_proptest blocks_matches_model
leveva::regonly_msg_proptest is_regonly_msg_matches_model
leveva::regonly_msg_proptest non_regonly_never_blocks
leveva::regonly_msg_proptest regonly_msg_is_independent_of_other_bits
leveva::regonly_msg_proptest regonly_msg_letter_and_bit_are_unique
leveva::regonly_msg_s2s_proptest remote_regonly_msg_gate_matches_model
leveva::regonly_proptest an_account_always_admits
leveva::regonly_proptest block_implies_regonly_and_no_account
leveva::regonly_proptest fixed_cases_match_the_model
leveva::regonly_proptest matches_model
leveva::regonly_proptest no_regonly_never_blocks
leveva::rehash_conf_proptest config_conf_never_panics
leveva::rehash_conf_proptest conf_store_tracks_the_last_successful_reload
leveva::rej_snomask_proptest reject_notice_always_has_the_reject_scaffold
leveva::rej_snomask_proptest reject_notice_embeds_each_field_verbatim
leveva::relay_proptest inbound_dispatch_never_panics_and_respects_split_horizon
leveva::relay_proptest inbound_relay_forwards_to_other_peers_exactly_once
leveva::relay_proptest outbound_builders_relay_once_to_every_peer
leveva::remote_account_tag_proptest account_on_tagmsg_iff_signed_in_and_member_has_account_tag
leveva::remote_account_tag_proptest account_present_iff_signed_in_and_member_has_account_tag
leveva::remote_account_tag_proptest arbitrary_account_and_caps_never_wedge
leveva::restricted_proptest a_restricted_client_never_changes_nick
leveva::restricted_proptest a_restricted_client_never_opers
leveva::restricted_proptest a_restricted_creator_never_holds_op
leveva::restricted_proptest a_restricted_member_is_never_auto_reopped
leveva::restricted_proptest a_restricted_member_is_never_third_party_opped
leveva::restricted_proptest restricted_feed_never_panics
leveva::resv_proptest add_then_remove_is_identity
leveva::resv_proptest classification_matches_prefix_rule
leveva::resv_proptest command_never_panics_and_only_gate_numerics
leveva::resv_proptest registration_nick_gate_ignores_channel_reservations
leveva::resv_proptest seed_config_preserves_runtime_adds
leveva::resv_proptest store_lookup_is_total_disjoint_and_exact
leveva::s2s_client_reject_proptest dangerous_payloads_never_interpreted
leveva::s2s_client_reject_proptest registered_s2s_verb_is_rejected_without_mutation
leveva::s2s_client_reject_proptest session_not_wedged_after_rejection
leveva::s2s_client_reject_proptest unregistered_s2s_verb_is_451_and_never_registers
leveva::s2s_forward_proptest arbitrary_forward_lines_never_panic
leveva::s2s_forward_proptest encap_sdie_forward_to_every_other_peer_exactly_once
leveva::s2s_forward_proptest error_is_absorbed_no_frames
leveva::s2s_netsplit_concurrency_proptest concurrent_squit_never_duplicates_a_ghost_quit
leveva::s2s_netsplit_proptest arbitrary_squit_never_panics
leveva::s2s_netsplit_proptest squit_forest_matches_model
leveva::s2s_proptest burst_njoin_chunks_fit_the_wire_and_lose_no_member
leveva::s2s_proptest dispatch_never_panics_and_only_grows_the_mirror
leveva::s2s_proptest dispatch_tolerates_arbitrary_bytes
leveva::s2s_proptest handshake_gate_admits_iff_password_matches
leveva::s2s_proptest member_prefix_round_trips
leveva::s2s_proptest member_status_projection_drops_uniqop
leveva::s2s_proptest s2s_ping_is_answered_pong_is_silent
leveva::s2s_proptest unick_collision_still_conserves
leveva::s2s_proptest unick_then_squit_conserves_registry_and_network
leveva::s2s_pseudoserver pseudoserver_links_bursts_and_squits
leveva::s2s_sendq_proptest an_uncapped_peer_tracks_sigma_len_forever
leveva::s2s_sendq_proptest route_tracks_the_model_until_overflow
leveva::s2s_server_proptest arbitrary_server_lines_never_panic
leveva::s2s_server_proptest server_forwards_to_every_other_peer_once
leveva::s2s_server_proptest server_introduces_one_node_with_origin_uplink
leveva::s2s_smask_proptest arbitrary_smask_lines_never_panic
leveva::s2s_smask_proptest smask_forwards_to_every_other_peer_once
leveva::s2s_smask_proptest smask_introduces_one_masked_node_with_origin_uplink
leveva::s2s_squit_scale ten_thousand_users_on_a_dying_leaf_are_reaped_peer_survives
leveva::s2s_squit_scale ten_thousand_users_on_the_peer_are_fully_reaped_on_link_drop
leveva::s2s_traffic_proptest s2s_traffic_accumulates_arbitrary_chunks
leveva::s2s_traffic_proptest s2s_traffic_is_isolated_to_its_server
leveva::s2s_traffic_proptest s2s_traffic_round_trips_through_stats_t
leveva::s2s_umode_proptest apply_matches_a_reference_model
leveva::s2s_umode_proptest arbitrary_umode_lines_never_panic
leveva::s2s_umode_proptest inbound_applies_masked_diff_and_relays_split_horizon
leveva::sasl_proptest arbitrary_chunks_never_panic
leveva::sasl_proptest chunking_round_trips
leveva::sasl_proptest chunk_shape
leveva::sasl_proptest mechanism_parse_is_total
leveva::sasl_proptest over_cap_is_rejected
leveva::sasl_proptest round_trip_unless_lone_plus_chunk
leveva::sa_snotice_proptest sa_notice_fires_exactly_when_the_override_acts
leveva::secure_umode_proptest is_secure_ignores_other_bits
leveva::secure_umode_proptest is_secure_is_exactly_the_z_bit
leveva::secure_umode_proptest render_shows_z_iff_secure
leveva::secure_umode_proptest secure_survives_send_umodes_mask
leveva::sendq_proptest accumulator_tracks_the_model_until_overflow
leveva::sendq_proptest registry_ejects_at_the_overflowing_frame_then_drops
leveva::sendq_proptest uncapped_link_tracks_the_model_forever
leveva::server_link_class_proptest matched_ping_equals_the_named_class
leveva::server_link_class_proptest server_link_limits_matches_model
leveva::server_query_proptest admin_structure_matches_the_block
leveva::server_query_proptest arbitrary_never_panics
leveva::server_query_proptest info_is_371s_then_one_374
leveva::server_query_proptest time_is_always_one_391
leveva::server_time_proptest delivery_gates_time_tag_on_the_recipient_cap
leveva::server_time_proptest delivery_never_panics_with_server_time
leveva::server_time_proptest formatter_is_deterministic_and_monotonic
leveva::server_time_proptest formatter_is_total_and_well_formed
leveva::server_time_s2s_proptest arbitrary_inbound_tags_never_wedge
leveva::server_time_s2s_proptest inbound_time_propagated_or_synthesized
leveva::server_time_s2s_proptest outbound_time_gated_by_peer_cap
leveva::server_topology_proptest arbitrary_never_panics
leveva::server_topology_proptest links_is_optional_364_then_one_365
leveva::server_topology_proptest map_is_018_optional_015_then_017
leveva::service_proptest is_service_matches_model
leveva::service_proptest plus_s_victim_is_always_kill_immune
leveva::service_proptest service_is_independent_of_other_bits
leveva::service_proptest service_letter_and_bit_are_unique
leveva::service_proptest without_s_victim_is_never_immune
leveva::setname_proptest command_applies_valid_and_is_inert_on_invalid
leveva::setname_proptest inbound_encap_tracks_last_nonempty_and_never_panics
leveva::setname_proptest inbound_non_setname_encap_leaves_realname
leveva::snomask_proptest adding_then_removing_the_same_letters_clears_exactly_those
leveva::snomask_proptest apply_delta_only_touches_known_bits
leveva::snomask_proptest junk_only_delta_is_inert
leveva::snomask_proptest pure_add_is_idempotent
leveva::snomask_proptest render_round_trips_through_apply_delta
leveva::snotice_proptest fan_reaches_exactly_the_plus_s_observers
leveva::softcallerid_proptest blocks_decision_invariants
leveva::softcallerid_proptest blocks_matches_model_exhaustively
leveva::spy_snomask_proptest stats_spy_notice_always_has_the_spy_scaffold
leveva::spy_snomask_proptest stats_spy_notice_embeds_each_field_verbatim
leveva::squit_propagation_proptest arbitrary_reason_never_wedges_the_builder
leveva::squit_propagation_proptest built_line_round_trips_to_a_real_teardown
leveva::squit_propagation_proptest propagate_reaches_exactly_the_non_origin_peers
leveva::sslonly_proptest a_plain_channel_never_applies_the_ssl_gate
leveva::sslonly_proptest ssl_gate_keys_only_off_the_secure_bit
leveva::sslonly_proptest sslonly_blocks_matches_the_model_on_every_pair
leveva::sslonly_proptest toggling_plus_z_flips_admission
leveva::stats_proptest arbitrary_never_panics
leveva::stats_proptest recognized_letters_emit_expected_body_count
leveva::stats_proptest stats_k_appends_one_216_per_config_ban
leveva::stats_proptest stats_k_reports_exactly_the_active_klines
leveva::stats_proptest terminator_is_always_last_and_singular
leveva::stats_topology_proptest myservers_users_partition
leveva::stats_topology_proptest stats_question_counts_match_model
leveva::stats_topology_proptest stats_topology_arbitrary_args_never_panic
leveva::stats_traffic_proptest connstats_accumulates_arbitrary_chunks
leveva::stats_traffic_proptest count_messages_equals_newline_count
leveva::stats_traffic_proptest stats_l_renders_one_well_formed_211_per_link
leveva::stats_traffic_proptest stats_l_t_with_arbitrary_args_never_panic
leveva::stats_traffic_proptest stats_t_reports_the_recorded_totals
leveva::stdreply_proptest build_round_trips
leveva::stdreply_proptest empty_context_has_exactly_two_params
leveva::stdreply_proptest verb_is_total
leveva::sts_proptest disabled_iff_no_port_or_zero_duration
leveva::sts_proptest enabled_token_keys_follow_security
leveva::sts_proptest preload_only_over_secure
leveva::sts_proptest value_round_trips_the_inputs
leveva::summon_proptest arbitrary_never_panics
leveva::summon_proptest channel_arg_does_not_change_routing
leveva::summon_proptest summon_trichotomy_matches_the_model
leveva::tagmsg_proptest client_only_tags_is_the_plus_prefixed_subset
leveva::tagmsg_proptest delivery_respects_the_message_tags_cap
leveva::tagmsg_proptest tagmsg_feed_never_panics
leveva::tls_connector_integration connect_outbound_completes_handshake_and_round_trips_bytes
leveva::tls_outbound_proptest arbitrary_connect_body_never_panics
leveva::tls_outbound_proptest tls_flag_tracks_the_spelling
leveva::topic_proptest feed_never_panics_on_arbitrary_topic_bytes
leveva::topic_proptest topic_state_and_delivery_are_conserved
leveva::trace_proptest arbitrary_never_panics
leveva::trace_proptest class_field_tracks_each_clients_assignment
leveva::trace_proptest sweep_shows_exactly_the_visible_set
leveva::trace_proptest target_resolves_or_402
leveva::uid_proptest decode_never_panics
leveva::uid_proptest encode_is_five_base36_and_round_trips
leveva::uid_proptest generated_uids_are_valid_and_sid_prefixed
leveva::uid_proptest sequence_is_distinct_and_counter_increments
leveva::unauth_snomask_proptest unauth_notice_always_has_the_unauth_scaffold
leveva::unauth_snomask_proptest unauth_notice_embeds_each_field_verbatim
leveva::userhost_in_names_proptest names_never_panics_on_arbitrary_target
leveva::userhost_in_names_proptest names_tokens_are_masked_iff_cap
leveva::userhost_ison_proptest arbitrary_query_never_panics_and_stays_well_formed
leveva::userhost_ison_proptest ison_is_the_online_subset_in_query_order
leveva::userhost_ison_proptest userhost_formats_the_first_five_resolvable
leveva::userip_proptest arbitrary_never_panics
leveva::userip_proptest entry_address_obeys_the_privacy_gate
leveva::usermode_proptest feed_never_panics_on_arbitrary_umode_bytes
leveva::usermode_proptest invisible_who_visibility
leveva::usermode_proptest user_modes_track_the_model
leveva::utf8only_proptest rejected_iff_not_utf8
leveva::version_proptest arbitrary_version_bytes_never_panic
leveva::version_proptest local_target_gives_351_then_all_005
leveva::version_proptest local_xor_402
leveva::version_proptest unknown_target_gives_exactly_one_402_and_no_version
leveva::wallops_proptest feed_never_panics_on_arbitrary_wallops_bytes
leveva::wallops_proptest wallops_conservation
leveva::wallops_s2s_proptest arbitrary_wallops_after_the_verb_never_panics
leveva::wallops_s2s_proptest wallops_round_trips_through_the_wire
leveva::websocket_proptest forwarded_proto_secure_is_spoof_resistant
leveva::websocket_proptest frame_count_matches_nonempty_lines
leveva::websocket_proptest frames_never_carry_cr_lf
leveva::websocket_proptest negotiate_only_returns_offered_subprotocols
leveva::websocket_proptest one_frame_round_trips_to_one_line
leveva::websocket_proptest origin_allowed_is_total
leveva::websocket_proptest proxy_cidr_host_and_wildcard
leveva::websocket_proptest proxy_trusted_is_total
leveva::whois_modes_proptest whois_non_oper_third_party_never_sees_modes
leveva::whois_modes_proptest whois_self_renders_exact_registry_modes
leveva::whois_proptest feed_never_panics_on_arbitrary_whois_bytes
leveva::whois_proptest whois_matches_the_membership_and_visibility_model
leveva::whois_service_proptest channels_hidden_exactly_for_services
leveva::whois_service_proptest non_service_never_selects_service
leveva::whois_service_proptest oper_line_matches_model
leveva::whois_service_proptest render_resolves_the_configurable_service_string
leveva::whois_service_proptest service_always_wins_the_313
leveva::whois_service_proptest the_four_canonical_313_cases
leveva::who_proptest feed_never_panics_on_arbitrary_who_bytes
leveva::who_proptest who_matches_the_membership_and_visibility_model
leveva::whowas_proptest arbitrary_query_never_panics
leveva::whowas_proptest comma_list_is_well_structured
leveva::whowas_proptest model_index_is_seeded_as_expected
leveva::whowas_proptest single_nick_matches_the_newest_first_model
leveva::whox_proptest feed_never_panics_on_arbitrary_whox_bytes
leveva::whox_proptest whox_emits_exactly_the_requested_fields_in_order
=== count + Summary ===
856
     Summary [  38.835s] 3337 tests run: 3322 passed (3 slow), 15 failed, 0 skipped
=== golden_pass diff (representative) ===
    9     9 │ :leveva.test 254 alice 0 :channels formed
   10    10 │ :leveva.test 255 alice :I have 1 users, 0 services and 0 servers
   11    11 │ :leveva.test 265 alice 1 1 :Current local users 1, max 1
   12    12 │ :leveva.test 266 alice 1 1 :Current global users 1, max 1
   13       │-:leveva.test 422 alice :MOTD File is missing
   14       │-:alice MODE alice :+iw
         13 │+:leveva.test 422 alice :MOTD File is missing
