leveva/Cargo.toml:88:proptest = "1"
leveva/Cargo.toml:92:# The LINELEN proptest (slice 121) counts grapheme clusters in the integration-test crate.
=== proptest! macro block in elist ===
=== full proptest occurrence lines in metadata.rs ===
leveva/tests/elemental_modes_proptest.rs:25:use proptest::prelude::*;
leveva/tests/elemental_modes_proptest.rs:55:proptest! {
leveva/tests/metrics_endpoint_proptest.rs:3://! `metrics_proptest` fuzzes `command_stats` + the gauges + the `STATS m`/`STATS z` IRC
leveva/tests/metrics_endpoint_proptest.rs:28:use proptest::prelude::*;
leveva/tests/metrics_endpoint_proptest.rs:71:proptest! {
leveva/tests/snotice_proptest.rs:20:use proptest::prelude::*;
leveva/tests/snotice_proptest.rs:114:proptest! {
leveva/tests/snotice_proptest.rs:115:    #![proptest_config(ProptestConfig::with_cases(96))]
leveva/tests/bot_tag_proptest.rs:16:use proptest::prelude::*;
leveva/tests/bot_tag_proptest.rs:74:proptest! {
leveva/tests/bot_tag_proptest.rs:75:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/bot_tag_proptest.rs:116:    fn delivery_never_panics_for_a_bot_sender(junk in proptest::collection::vec(any::<u8>(), 0..96)) {
leveva/tests/iauth_module_order_proptest.proptest-regressions:1:# Seeds for failure cases proptest has generated in the past. It is
leveva/tests/ban_speech_proptest.rs:22:use proptest::prelude::*;
leveva/tests/ban_speech_proptest.rs:121:proptest! {
leveva/tests/autoconnect_proptest.proptest-regressions:1:# Seeds for failure cases proptest has generated in the past. It is
leveva/tests/njoin_live_proptest.rs:28:use proptest::prelude::*;
leveva/tests/njoin_live_proptest.rs:107:proptest! {
leveva/tests/njoin_live_proptest.rs:108:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/njoin_live_proptest.rs:179:        trailing in proptest::option::of("[a-zA-Z0-9#@+,.!-]{0,24}"),
leveva/tests/secure_umode_proptest.rs:19:use proptest::prelude::*;
leveva/tests/secure_umode_proptest.rs:21:proptest! {
leveva/tests/callerid_s2s_proptest.rs:3://! local target's home server for a *remote* sender. Slice 216's `callerid_proptest` fuzzes the
leveva/tests/callerid_s2s_proptest.rs:25:use proptest::prelude::*;
leveva/tests/callerid_s2s_proptest.rs:86:proptest! {
leveva/tests/callerid_s2s_proptest.rs:87:    #![proptest_config(ProptestConfig::with_cases(4096))]
leveva/tests/golden_keepalive.rs:5://! is fuzzed in `heartbeat_proptest`; this proves the real binary's serve loop actually
leveva/tests/ojoin_proptest.rs:22:use proptest::prelude::*;
leveva/tests/ojoin_proptest.rs:53:proptest! {
leveva/tests/elemental_extban_proptest.rs:22:use proptest::prelude::*;
leveva/tests/elemental_extban_proptest.rs:46:proptest! {
leveva/tests/heartbeat_proptest.rs:18:use proptest::prelude::*;
leveva/tests/heartbeat_proptest.rs:38:proptest! {
leveva/tests/heartbeat_proptest.rs:39:    #![proptest_config(ProptestConfig::with_cases(2048))]
leveva/tests/heartbeat_proptest.rs:46:        steps in proptest::collection::vec(step(), 0..64),
leveva/tests/heartbeat_proptest.rs:113:            (Just(f), proptest::collection::vec(0u64..f, 1..64))
leveva/tests/links_map_proptest.rs:25:use proptest::prelude::*;
leveva/tests/links_map_proptest.rs:99:proptest! {
leveva/tests/links_map_proptest.rs:100:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/redact_proptest.rs:16:use proptest::prelude::*;
leveva/tests/redact_proptest.rs:86:proptest! {
leveva/tests/redact_proptest.rs:87:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/redact_proptest.rs:140:    fn delivery_never_panics(junk in proptest::collection::vec(any::<u8>(), 0..96)) {
leveva/tests/tagmsg_proptest.rs:24:use proptest::prelude::*;
leveva/tests/tagmsg_proptest.rs:66:    proptest::collection::vec(
leveva/tests/tagmsg_proptest.rs:111:proptest! {
leveva/tests/tagmsg_proptest.rs:195:        junk in proptest::collection::vec(any::<u8>(), 0..120),
leveva/tests/whois_proptest.rs:30:use proptest::prelude::*;
leveva/tests/whois_proptest.rs:95:        proptest::collection::vec((0usize..POOL.len(), op_strategy()), 0..50),
leveva/tests/whois_proptest.rs:130:proptest! {
leveva/tests/whois_proptest.rs:131:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/whois_proptest.rs:244:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/default_chanmodes_proptest.rs:7:use proptest::prelude::*;
leveva/tests/default_chanmodes_proptest.rs:29:proptest! {
leveva/tests/default_chanmodes_proptest.rs:30:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/default_chanmodes_proptest.rs:36:        letters in proptest::collection::vec(prop::sample::select(&FLAGS[..]), 0..12)
leveva/tests/default_chanmodes_proptest.rs:50:        prefix in proptest::collection::vec(prop::sample::select(&FLAGS[..]), 0..4),
leveva/tests/extended_join_proptest.rs:22:use proptest::prelude::*;
leveva/tests/extended_join_proptest.rs:95:proptest! {
leveva/tests/oper_only_proptest.rs:18:use proptest::prelude::*;
leveva/tests/oper_only_proptest.rs:38:proptest! {
leveva/tests/oper_only_proptest.rs:39:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/oper_only_proptest.rs:45:        toggles in proptest::collection::vec(any::<bool>(), 0..16),
leveva/tests/restricted_proptest.rs:19:use proptest::prelude::*;
leveva/tests/restricted_proptest.rs:107:proptest! {
leveva/tests/restricted_proptest.rs:108:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/restricted_proptest.rs:114:    fn a_restricted_client_never_opers(attempts in proptest::collection::vec(oper_attempt(), 1..20)) {
leveva/tests/restricted_proptest.rs:290:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/version_proptest.rs:7://! a leveva-native proptest is the non-duplicative gap-closer.
leveva/tests/version_proptest.rs:35:use proptest::prelude::*;
leveva/tests/version_proptest.rs:39:/// An open, peer-less server context (the post-registration-proptest fixture): no auth
leveva/tests/version_proptest.rs:114:proptest! {
leveva/tests/version_proptest.rs:115:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/version_proptest.rs:200:        body in proptest::collection::vec(any::<u8>(), 0..48),
leveva/tests/usermode_proptest.rs:28:use proptest::prelude::*;
leveva/tests/usermode_proptest.rs:91:/// have their own dedicated tests (`bot_mode_proptest`, `cloak_proptest`, the `command::mode`
leveva/tests/usermode_proptest.rs:99:        proptest::collection::vec(0..LETTERS.len(), 1..4),
leveva/tests/usermode_proptest.rs:111:proptest! {
leveva/tests/usermode_proptest.rs:112:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/usermode_proptest.rs:116:    fn user_modes_track_the_model(tokens in proptest::collection::vec(token_strategy(), 0..40)) {
leveva/tests/usermode_proptest.rs:197:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/no_implicit_names_proptest.rs:15:use proptest::prelude::*;
leveva/tests/no_implicit_names_proptest.rs:80:proptest! {
leveva/tests/no_implicit_names_proptest.rs:81:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/no_implicit_names_proptest.rs:88:        names in proptest::collection::vec("[a-z]{1,10}", 1..6),
leveva/tests/iauth_seam_proptest.rs:26:use proptest::prelude::*;
leveva/tests/iauth_seam_proptest.rs:52:/// invariant (matches `version_proptest`/`post_registration_proptest`).
leveva/tests/iauth_seam_proptest.rs:119:    proptest::option::of((clean(), any::<bool>()))
leveva/tests/iauth_seam_proptest.rs:122:proptest! {
leveva/tests/iauth_seam_proptest.rs:123:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/iauth_seam_proptest.rs:186:        deny in proptest::option::of("[ -~]{0,24}"),
leveva/tests/iauth_seam_proptest.rs:253:        name in proptest::option::of(("[ -~]{0,30}", any::<bool>())),
leveva/tests/iauth_seam_proptest.rs:254:        deny in proptest::option::of("[ -~]{0,30}"),
leveva/tests/s2s_sendq_proptest.rs:18:use proptest::prelude::*;
leveva/tests/s2s_sendq_proptest.rs:38:proptest! {
leveva/tests/s2s_sendq_proptest.rs:42:        lens in proptest::collection::vec(0usize..=500, 0..200),
leveva/tests/s2s_sendq_proptest.rs:96:        lens in proptest::collection::vec(0usize..=500, 0..300),
leveva/tests/link_greeting_proptest.rs:27:use proptest::prelude::*;
leveva/tests/link_greeting_proptest.rs:99:proptest! {
leveva/tests/link_greeting_proptest.rs:100:    #![proptest_config(ProptestConfig::with_cases(200))]
leveva/tests/server_topology_proptest.rs:24:use proptest::prelude::*;
leveva/tests/server_topology_proptest.rs:80:proptest! {
leveva/tests/server_topology_proptest.rs:81:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/monitor_proptest.rs:25:use proptest::prelude::*;
leveva/tests/monitor_proptest.rs:95:proptest! {
leveva/tests/monitor_proptest.rs:99:    fn index_matches_the_model(ops in proptest::collection::vec(op_strategy(), 0..60)) {
leveva/tests/monitor_proptest.rs:112:                    // (The proptest alphabet is tiny so the cap never trips, but keep the model
leveva/tests/monitor_proptest.rs:195:        toks in proptest::collection::vec("[!-~]{0,12}", 0..20)
leveva/tests/tls_outbound_proptest.rs:16:use proptest::prelude::*;
leveva/tests/tls_outbound_proptest.rs:56:proptest! {
leveva/tests/conn_limit_proptest.rs:20:use proptest::prelude::*;
leveva/tests/conn_limit_proptest.rs:72:proptest! {
leveva/tests/conn_limit_proptest.rs:73:    #![proptest_config(ProptestConfig::with_cases(500))]
leveva/tests/conn_limit_proptest.rs:117:proptest! {
leveva/tests/conn_limit_proptest.rs:118:    #![proptest_config(ProptestConfig::with_cases(300))]
leveva/tests/control_proptest.rs:25:use proptest::prelude::*;
leveva/tests/control_proptest.rs:106:proptest! {
leveva/tests/control_proptest.rs:107:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/connaccept_proptest.rs:14:use proptest::prelude::*;
leveva/tests/connaccept_proptest.rs:24:proptest! {
leveva/tests/connaccept_proptest.rs:25:    #![proptest_config(ProptestConfig::with_cases(4000))]
leveva/tests/chghost_proptest.rs:25:use proptest::prelude::*;
leveva/tests/chghost_proptest.rs:75:proptest! {
leveva/tests/chghost_proptest.rs:80:        seq in proptest::collection::vec((tok(), tok()), 0..40)
leveva/tests/chghost_proptest.rs:136:        masks in proptest::collection::vec("[a-z.*]{1,12}", 1..4),
leveva/tests/chghost_proptest.rs:137:        seq in proptest::collection::vec((tok(), tok()), 0..30),
leveva/tests/chghost_proptest.rs:194:        seq in proptest::collection::vec((tok(), tok()), 0..40)
leveva/tests/etrace_proptest.rs:25:use proptest::prelude::*;
leveva/tests/etrace_proptest.rs:114:proptest! {
leveva/tests/etrace_proptest.rs:115:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/feed_framing_proptest.rs:11://! model-lockstep proptest, not a differential.
leveva/tests/feed_framing_proptest.rs:32:use proptest::prelude::*;
leveva/tests/feed_framing_proptest.rs:127:proptest! {
leveva/tests/s2s_umode_proptest.rs:28:use proptest::prelude::*;
leveva/tests/s2s_umode_proptest.rs:110:proptest! {
leveva/tests/s2s_umode_proptest.rs:111:    #![proptest_config(ProptestConfig { cases: 256, ..ProptestConfig::default() })]
leveva/tests/metadata_s2s_proptest.proptest-regressions:1:# Seeds for failure cases proptest has generated in the past. It is
leveva/tests/whox_proptest.rs:21:use proptest::prelude::*;
leveva/tests/whox_proptest.rs:95:proptest! {
leveva/tests/whox_proptest.rs:96:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/whox_proptest.rs:101:        token in proptest::option::of("[a-z0-9]{1,4}"),
leveva/tests/whox_proptest.rs:168:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/netjoin_batch_proptest.rs:10://! panic and always re-parse. This mirrors `netsplit_batch_proptest` exactly (slice 157).
leveva/tests/netjoin_batch_proptest.rs:14:use proptest::prelude::*;
leveva/tests/netjoin_batch_proptest.rs:61:proptest! {
leveva/tests/kill_proptest.rs:28:use proptest::prelude::*;
leveva/tests/kill_proptest.rs:163:proptest! {
leveva/tests/kill_proptest.rs:164:    #![proptest_config(ProptestConfig::with_cases(300))]
leveva/tests/kill_proptest.rs:167:    fn kill_conservation(acts in proptest::collection::vec(act(), 0..24)) {
leveva/tests/kill_proptest.rs:229:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/nick_collision_proptest.rs:2://! testing-plan §4 `nick_collision` fuzzing gap: there was a golden but no proptest).
leveva/tests/nick_collision_proptest.rs:10://! anti-pattern). The proptest pins it against a first-claimant reference model instead.
leveva/tests/nick_collision_proptest.rs:34:use proptest::prelude::*;
leveva/tests/nick_collision_proptest.rs:99:proptest! {
leveva/tests/nick_collision_proptest.rs:100:    #![proptest_config(ProptestConfig { cases: 256, ..ProptestConfig::default() })]
leveva/tests/softcallerid_proptest.rs:12:use proptest::prelude::*;
leveva/tests/softcallerid_proptest.rs:41:proptest! {
leveva/tests/metadata_proptest.rs:23:use proptest::prelude::*;
leveva/tests/metadata_proptest.rs:37:proptest! {
leveva/tests/account_proptest.rs:19:use proptest::prelude::*;
leveva/tests/account_proptest.rs:95:proptest! {
leveva/tests/account_proptest.rs:107:        seq in proptest::collection::vec("[ -~]{0,20}", 0..40)
leveva/tests/account_proptest.rs:158:        seq in proptest::collection::vec("[ -~]{0,20}", 0..30)
leveva/tests/golden_s2s_redact.rs:18://! cross-daemon differential — this golden + the unit/proptest tiers are the gate.
leveva/tests/golden_s2s_caps.rs:18://! `caps_s2s_proptest`; this golden pins the safety inverse end-to-end.
leveva/tests/listener_rebind_proptest.rs:24:use proptest::prelude::*;
leveva/tests/listener_rebind_proptest.rs:67:proptest! {
leveva/tests/listener_rebind_proptest.rs:68:    #![proptest_config(ProptestConfig::with_cases(600))]
leveva/tests/listener_rebind_proptest.rs:167:proptest! {
leveva/tests/listener_rebind_proptest.rs:168:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/summon_proptest.rs:21:use proptest::prelude::*;
leveva/tests/summon_proptest.rs:94:proptest! {
leveva/tests/summon_proptest.rs:95:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/summon_proptest.rs:100:    fn summon_trichotomy_matches_the_model(user in token(), host in proptest::option::of(token())) {
leveva/tests/summon_proptest.rs:131:    fn arbitrary_never_panics(args in proptest::collection::vec(token(), 0..4)) {
leveva/tests/away_proptest.rs:26:use proptest::prelude::*;
leveva/tests/away_proptest.rs:91:proptest! {
leveva/tests/away_proptest.rs:92:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/away_proptest.rs:97:    fn away_tracks_the_model(ops in proptest::collection::vec(away_op(), 0..40)) {
leveva/tests/away_proptest.rs:154:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/sendq_proptest.rs:25:use proptest::prelude::*;
leveva/tests/sendq_proptest.rs:42:proptest! {
leveva/tests/server_link_class_proptest.rs:15:use proptest::prelude::*;
leveva/tests/server_link_class_proptest.rs:78:    proptest::collection::vec((0..CLASS_NAMES.len(), 0u32..1200, 0u64..16_000_000), 0..6).prop_map(
leveva/tests/server_link_class_proptest.rs:90:    proptest::collection::vec((0..NAMES.len(), 0..CLASS_NAMES.len()), 0..6).prop_map(|specs| {
leveva/tests/server_link_class_proptest.rs:98:proptest! {
leveva/tests/server_link_class_proptest.rs:99:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/cloak_proptest.rs:10:use proptest::prelude::*;
leveva/tests/cloak_proptest.rs:19:    proptest::collection::vec(0u16..=0xffff, 8).prop_map(|g| {
leveva/tests/cloak_proptest.rs:29:    proptest::collection::vec("[a-z0-9]{1,8}", 1..=4).prop_map(|labels| labels.join("."))
leveva/tests/cloak_proptest.rs:32:proptest! {
leveva/tests/squit_propagation_proptest.rs:28:use proptest::prelude::*;
leveva/tests/squit_propagation_proptest.rs:84:proptest! {
leveva/tests/squit_propagation_proptest.rs:85:    #![proptest_config(ProptestConfig::with_cases(128))]
leveva/tests/connect_notice_proptest.rs:14:use proptest::prelude::*;
leveva/tests/connect_notice_proptest.rs:42:proptest! {
leveva/tests/connect_notice_proptest.rs:43:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/wallops_s2s_proptest.rs:29:use proptest::prelude::*;
leveva/tests/wallops_s2s_proptest.rs:92:    proptest::collection::vec(prop::sample::select(vec!['A', 'B', 'Q', 'Z']), 5..=5)
leveva/tests/wallops_s2s_proptest.rs:98:    proptest::collection::vec(
leveva/tests/wallops_s2s_proptest.rs:106:proptest! {
leveva/tests/wallops_s2s_proptest.rs:107:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/knock_s2s_proptest.rs:27:use proptest::prelude::*;
leveva/tests/knock_s2s_proptest.rs:99:    proptest::collection::vec(prop::sample::select(vec!['a', 'b', 'c', 'd']), 1..=8)
leveva/tests/knock_s2s_proptest.rs:106:        proptest::collection::vec(
leveva/tests/knock_s2s_proptest.rs:117:    proptest::collection::vec(
leveva/tests/knock_s2s_proptest.rs:124:proptest! {
leveva/tests/knock_s2s_proptest.rs:125:    #![proptest_config(ProptestConfig::with_cases(2000))]
leveva/tests/golden_recvq.rs:10://! welcome burst is timing-dependent; the `Session` unit/proptest tests pin the precise
leveva/tests/modes_proptest.rs:2://! companion to `channels_proptest.rs`/`topic_proptest.rs`.
leveva/tests/modes_proptest.rs:34:use proptest::prelude::*;
leveva/tests/modes_proptest.rs:186:proptest! {
leveva/tests/modes_proptest.rs:187:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/modes_proptest.rs:190:    fn mode_state_tracks_the_model(script in proptest::collection::vec(mop_strategy(), 0..40)) {
leveva/tests/modes_proptest.rs:352:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/chantypes_proptest.rs:18:use proptest::prelude::*;
leveva/tests/chantypes_proptest.rs:23:    proptest::collection::vec(
leveva/tests/chantypes_proptest.rs:32:proptest! {
leveva/tests/chantypes_proptest.rs:33:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/chantypes_proptest.rs:82:    fn validation_never_panics(bytes in proptest::collection::vec(any::<u8>(), 0..128)) {
leveva/tests/autoconnect_proptest.rs:24:use proptest::prelude::*;
leveva/tests/autoconnect_proptest.rs:112:proptest! {
leveva/tests/certfp_proptest.rs:15:use proptest::prelude::*;
leveva/tests/certfp_proptest.rs:38:proptest! {
leveva/tests/certfp_proptest.rs:41:    fn fingerprint_never_panics_and_is_deterministic(bytes in proptest::collection::vec(any::<u8>(), 0..512)) {
leveva/tests/certfp_proptest.rs:50:    fn fingerprint_is_always_64_lowercase_hex(bytes in proptest::collection::vec(any::<u8>(), 0..512)) {
leveva/tests/certfp_proptest.rs:61:    fn fingerprint_is_input_sensitive(mut bytes in proptest::collection::vec(any::<u8>(), 1..256), idx in 0usize..256) {
leveva/tests/certfp_proptest.rs:69:proptest! {
leveva/tests/certfp_proptest.rs:74:        fps in proptest::collection::vec("[!-~]{0,80}", 0..6),
leveva/tests/mkpasswd_proptest.rs:33:use proptest::prelude::*;
leveva/tests/mkpasswd_proptest.rs:93:proptest! {
leveva/tests/golden_metrics.rs:55:            // `stats_traffic` proptest pins the exact values.
leveva/tests/sasl_proptest.rs:20:use proptest::prelude::*;
leveva/tests/sasl_proptest.rs:42:    proptest::string::string_regex("([A-Za-z0-9+/=]{4}){0,300}").unwrap()
leveva/tests/sasl_proptest.rs:45:proptest! {
leveva/tests/sasl_proptest.rs:63:    fn round_trip_unless_lone_plus_chunk(data in proptest::string::string_regex("[A-Za-z0-9+/=]{0,1200}").unwrap()) {
leveva/tests/sasl_proptest.rs:77:    fn chunk_shape(data in proptest::string::string_regex("[A-Za-z0-9+/=]{0,1200}").unwrap()) {
leveva/tests/sasl_proptest.rs:115:    fn arbitrary_chunks_never_panic(chunks in proptest::collection::vec(any::<String>(), 0..12)) {
leveva/tests/bot_mode_proptest.rs:26:use proptest::prelude::*;
leveva/tests/bot_mode_proptest.rs:92:        proptest::collection::vec(0..LETTERS.len(), 1..4),
leveva/tests/bot_mode_proptest.rs:104:proptest! {
leveva/tests/bot_mode_proptest.rs:105:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/bot_mode_proptest.rs:112:        tokens in proptest::collection::vec(token_strategy(), 0..40),
leveva/tests/bot_mode_proptest.rs:180:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/privmsg_mask_proptest.rs:7:use proptest::prelude::*;
leveva/tests/privmsg_mask_proptest.rs:25:proptest! {
leveva/tests/stats_traffic_proptest.rs:23://!   traffic fuzzing proper lives in `s2s_traffic_proptest.rs`, P11 slice 180.)
leveva/tests/stats_traffic_proptest.rs:34:use proptest::prelude::*;
leveva/tests/stats_traffic_proptest.rs:84:proptest! {
leveva/tests/stats_traffic_proptest.rs:85:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/websocket_proptest.rs:16:use proptest::prelude::*;
leveva/tests/websocket_proptest.rs:35:proptest! {
leveva/tests/websocket_proptest.rs:40:    fn one_frame_round_trips_to_one_line(payload in proptest::collection::vec(any::<u8>(), 0..400)) {
leveva/tests/websocket_proptest.rs:59:    fn frames_never_carry_cr_lf(wire in proptest::collection::vec(any::<u8>(), 0..600)) {
leveva/tests/websocket_proptest.rs:81:    fn frame_count_matches_nonempty_lines(lines in proptest::collection::vec("[^\r\n]{0,40}", 0..8)) {
leveva/tests/websocket_proptest.rs:95:        requested in proptest::collection::vec(
leveva/tests/websocket_proptest.rs:160:        ranges in proptest::collection::vec("[ -~]{0,24}", 0..4),
leveva/tests/away_s2s_proptest.rs:7://! away-notify), so there is no oracle differential — the proptest pins the inbound plane against
leveva/tests/away_s2s_proptest.rs:30:use proptest::prelude::*;
leveva/tests/away_s2s_proptest.rs:80:proptest! {
leveva/tests/away_s2s_proptest.rs:81:    #![proptest_config(ProptestConfig { cases: 400, ..ProptestConfig::default() })]
leveva/src/metadata.rs:81:/// for the model. The primary fuzz target ([`crate::tests`]-adjacent `metadata_rate_proptest`).
leveva/tests/help_users_proptest.rs:30:use proptest::prelude::*;
leveva/tests/help_users_proptest.rs:113:proptest! {
leveva/tests/help_users_proptest.rs:114:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/ping_proptest.rs:22:use proptest::prelude::*;
leveva/tests/ping_proptest.rs:79:proptest! {
leveva/tests/ping_proptest.rs:80:    #![proptest_config(ProptestConfig::with_cases(1024))]
leveva/tests/ping_proptest.rs:87:        token in proptest::collection::vec(any::<char>(), 1..200)
leveva/tests/ping_proptest.rs:109:        token in proptest::collection::vec(any::<u8>(), 0..256)
leveva/tests/echo_message_proptest.rs:25:use proptest::prelude::*;
leveva/tests/echo_message_proptest.rs:104:proptest! {
leveva/tests/echo_message_proptest.rs:105:    #![proptest_config(ProptestConfig::with_cases(200))]
leveva/tests/echo_message_proptest.rs:110:    fn echo_iff_sender_negotiated_the_cap(senders in proptest::collection::vec(any::<bool>(), 0..30)) {
leveva/tests/echo_message_proptest.rs:158:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/registry_proptest.rs:22:use proptest::prelude::*;
leveva/tests/registry_proptest.rs:72:        proptest::option::of(0..POOL.len()),
leveva/tests/registry_proptest.rs:73:        proptest::collection::vec(any::<u8>(), 0..24),
leveva/tests/registry_proptest.rs:94:proptest! {
leveva/tests/registry_proptest.rs:95:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/registry_proptest.rs:98:    fn registry_invariants_hold(scripts in proptest::collection::vec(script_strategy(), 1..8)) {
leveva/tests/golden_s2s_forward.rs:16://! the `forward.rs` unit tests and `s2s_forward_proptest`.
leveva/tests/privmsg_proptest.rs:29:use proptest::prelude::*;
leveva/tests/privmsg_proptest.rs:87:        proptest::collection::vec(0..POOL.len(), 1..3),
leveva/tests/privmsg_proptest.rs:100:        proptest::collection::vec(msg_strategy(), 0..5),
leveva/tests/privmsg_proptest.rs:128:proptest! {
leveva/tests/privmsg_proptest.rs:129:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/privmsg_proptest.rs:132:    fn delivery_is_well_formed_and_conserved(scripts in proptest::collection::vec(script_strategy(), 1..6)) {
leveva/tests/privmsg_proptest.rs:246:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/golden_labeled_response.rs:8://! snapshot; the exact `wrap` output is pinned by the unit tests + `labeled_response_proptest`.
leveva/tests/monitor_s2s_proptest.rs:6://! (the C oracle has no `WATCH`/`MONITOR`), so there is no oracle differential — the proptest pins
leveva/tests/monitor_s2s_proptest.rs:29:use proptest::prelude::*;
leveva/tests/monitor_s2s_proptest.rs:89:proptest! {
leveva/tests/monitor_s2s_proptest.rs:90:    #![proptest_config(ProptestConfig { cases: 400, ..ProptestConfig::default() })]
leveva/tests/stats_proptest.rs:29:use proptest::prelude::*;
leveva/tests/stats_proptest.rs:157:proptest! {
leveva/tests/stats_proptest.rs:158:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/stats_proptest.rs:200:        target in proptest::option::of(token()),
leveva/tests/msgid_s2s_proptest.rs:34:use proptest::prelude::*;
leveva/tests/msgid_s2s_proptest.rs:137:proptest! {
leveva/tests/msgid_s2s_proptest.rs:138:    #![proptest_config(ProptestConfig { cases: 300, ..ProptestConfig::default() })]
leveva/tests/server_query_proptest.rs:26:use proptest::prelude::*;
leveva/tests/server_query_proptest.rs:106:proptest! {
leveva/tests/server_query_proptest.rs:107:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/linelen_proptest.rs:12://! oracle differential — this is a model-lockstep proptest against `unicode-segmentation`.
leveva/tests/linelen_proptest.rs:26:use proptest::prelude::*;
leveva/tests/linelen_proptest.rs:58:proptest! {
leveva/tests/linelen_proptest.rs:59:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/golden_conn_limits.rs:10://! here; the dedicated per-host / CIDR distinctions are exercised by the unit + proptest layers.
leveva/tests/uid_proptest.rs:19:use proptest::prelude::*;
leveva/tests/uid_proptest.rs:27:proptest! {
leveva/tests/uid_proptest.rs:28:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/caps_s2s_proptest.rs:7://! oracle has no message tags), so there is no differential — the proptest pins the egress
leveva/tests/caps_s2s_proptest.rs:31:use proptest::prelude::*;
leveva/tests/caps_s2s_proptest.rs:83:proptest! {
leveva/tests/caps_s2s_proptest.rs:84:    #![proptest_config(ProptestConfig { cases: 300, ..ProptestConfig::default() })]
leveva/tests/privmsg_proptest.proptest-regressions:1:# Seeds for failure cases proptest has generated in the past. It is
leveva/tests/iauth_module_order_proptest.rs:18:use proptest::prelude::*;
leveva/tests/iauth_module_order_proptest.rs:67:proptest! {
leveva/tests/metadata_proptest.proptest-regressions:1:# Seeds for failure cases proptest has generated in the past. It is
leveva/tests/metrics_endpoint_proptest.proptest-regressions:1:# Seeds for failure cases proptest has generated in the past. It is
leveva/tests/motd_reload_proptest.rs:22:use proptest::prelude::*;
leveva/tests/motd_reload_proptest.rs:71:proptest! {
leveva/tests/motd_reload_proptest.rs:72:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/s2s_proptest.proptest-regressions:1:# Seeds for failure cases proptest has generated in the past. It is
leveva/tests/channels_proptest.rs:32:use proptest::prelude::*;
leveva/tests/channels_proptest.rs:93:        proptest::collection::vec(0..POOL.len(), 1..6),
leveva/tests/channels_proptest.rs:94:        proptest::collection::vec((0usize..6, op_strategy()), 0..40),
leveva/tests/channels_proptest.rs:123:proptest! {
leveva/tests/channels_proptest.rs:124:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/channels_proptest.rs:280:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/remote_account_tag_proptest.rs:31:use proptest::prelude::*;
leveva/tests/remote_account_tag_proptest.rs:120:proptest! {
leveva/tests/remote_account_tag_proptest.rs:121:    #![proptest_config(ProptestConfig { cases: 600, ..ProptestConfig::default() })]
leveva/tests/who_proptest.rs:31:use proptest::prelude::*;
leveva/tests/who_proptest.rs:102:        proptest::collection::vec((0usize..POOL.len(), op_strategy()), 0..50),
leveva/tests/who_proptest.rs:135:proptest! {
leveva/tests/who_proptest.rs:136:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/who_proptest.rs:282:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/metrics_proptest.rs:29:use proptest::prelude::*;
leveva/tests/metrics_proptest.rs:50:proptest! {
leveva/tests/account_tag_proptest.rs:23:use proptest::prelude::*;
leveva/tests/account_tag_proptest.rs:90:proptest! {
leveva/tests/account_tag_proptest.rs:151:        junk in proptest::collection::vec(any::<u8>(), 0..80),
leveva/tests/sts_proptest.rs:14:use proptest::prelude::*;
leveva/tests/sts_proptest.rs:26:proptest! {
leveva/tests/sts_proptest.rs:27:    #![proptest_config(ProptestConfig::with_cases(4000))]
leveva/tests/userhost_ison_proptest.rs:29:use proptest::prelude::*;
leveva/tests/userhost_ison_proptest.rs:158:    proptest::collection::vec(token_strategy(), 1..10)
leveva/tests/userhost_ison_proptest.rs:171:proptest! {
leveva/tests/userhost_ison_proptest.rs:172:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/stdreply_proptest.rs:12:use proptest::prelude::*;
leveva/tests/stdreply_proptest.rs:46:proptest! {
leveva/tests/stdreply_proptest.rs:47:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/stdreply_proptest.rs:55:        context in proptest::collection::vec(token(), 0..4),
leveva/tests/cap_proptest.rs:17:use proptest::prelude::*;
leveva/tests/cap_proptest.rs:57:proptest! {
leveva/tests/cap_proptest.rs:64:        tokens in proptest::collection::vec(
leveva/tests/cap_proptest.rs:80:        // No STS policy either (`None`) — STS is exercised by `sts_proptest`/the cap units.
leveva/tests/cap_proptest.rs:102:    fn cap_feed_never_panics_and_is_wellformed(tail in proptest::collection::vec(any::<u8>(), 0..200)) {
leveva/tests/cap_proptest.rs:123:    fn registration_suspended_until_end(extra in proptest::collection::vec(
leveva/tests/s2s_forward_proptest.rs:23:use proptest::prelude::*;
leveva/tests/s2s_forward_proptest.rs:74:proptest! {
leveva/tests/s2s_forward_proptest.rs:75:    #![proptest_config(ProptestConfig { cases: 256, ..ProptestConfig::default() })]
leveva/tests/redact_s2s_proptest.rs:10://! the proptest pins the delivery plane against a simple cap model.
leveva/tests/redact_s2s_proptest.rs:36:use proptest::prelude::*;
leveva/tests/redact_s2s_proptest.rs:132:proptest! {
leveva/tests/redact_s2s_proptest.rs:133:    #![proptest_config(ProptestConfig { cases: 400, ..ProptestConfig::default() })]
leveva/tests/invite_notify_proptest.rs:25:use proptest::prelude::*;
leveva/tests/invite_notify_proptest.rs:110:proptest! {
leveva/tests/invite_notify_proptest.rs:111:    #![proptest_config(ProptestConfig::with_cases(200))]
leveva/tests/invite_notify_proptest.rs:116:    fn op_watcher_sees_invite_iff_it_succeeds(ops in proptest::collection::vec(invite_op(), 0..30)) {
leveva/tests/invite_notify_proptest.rs:169:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/netsplit_batch_proptest.rs:14:use proptest::prelude::*;
leveva/tests/netsplit_batch_proptest.rs:42:proptest! {
leveva/tests/s2s_netsplit_proptest.rs:31:use proptest::prelude::*;
leveva/tests/s2s_netsplit_proptest.rs:84:proptest! {
leveva/tests/s2s_netsplit_proptest.rs:85:    #![proptest_config(ProptestConfig { cases: 200, ..ProptestConfig::default() })]
leveva/tests/s2s_netsplit_proptest.rs:92:        parents in proptest::collection::vec(0usize..16, 0..4),
leveva/tests/s2s_netsplit_proptest.rs:94:        user_servers in proptest::collection::vec(0usize..16, 0..8),
leveva/tests/kill_s2s_proptest.rs:30:use proptest::prelude::*;
leveva/tests/kill_s2s_proptest.rs:74:    proptest::collection::vec(prop::sample::select(vec!['A', 'B', 'Q', 'Z']), 5..=5)
leveva/tests/kill_s2s_proptest.rs:80:    proptest::collection::vec(
leveva/tests/kill_s2s_proptest.rs:87:proptest! {
leveva/tests/kill_s2s_proptest.rs:88:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/kill_s2s_proptest.rs:147:        tail in proptest::collection::vec(
leveva/tests/kill_s2s_proptest.rs:180:        flags in proptest::collection::vec(any::<bool>(), 1..6),
leveva/tests/kick_proptest.rs:2://! `channels_proptest.rs`.
leveva/tests/kick_proptest.rs:36:use proptest::prelude::*;
leveva/tests/kick_proptest.rs:121:proptest! {
leveva/tests/kick_proptest.rs:122:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/kick_proptest.rs:126:        ops in proptest::collection::vec(op_strategy(), 0..50)
leveva/tests/kick_proptest.rs:263:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/labeled_response_proptest.rs:21:use proptest::prelude::*;
leveva/tests/labeled_response_proptest.rs:27:    proptest::string::string_regex("[A-Za-z0-9_-]{1,24}").unwrap()
leveva/tests/labeled_response_proptest.rs:42:proptest! {
leveva/tests/labeled_response_proptest.rs:43:    #![proptest_config(ProptestConfig::with_cases(600))]
leveva/tests/labeled_response_proptest.rs:49:        label in proptest::option::of(token()),
leveva/tests/trace_proptest.rs:26:use proptest::prelude::*;
leveva/tests/trace_proptest.rs:115:proptest! {
leveva/tests/trace_proptest.rs:116:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/global_caps_proptest.rs:21:use proptest::prelude::*;
leveva/tests/global_caps_proptest.rs:53:proptest! {
leveva/tests/global_caps_proptest.rs:91:proptest! {
leveva/tests/server_time_s2s_proptest.rs:36:use proptest::prelude::*;
leveva/tests/server_time_s2s_proptest.rs:140:proptest! {
leveva/tests/server_time_s2s_proptest.rs:141:    #![proptest_config(ProptestConfig { cases: 300, ..ProptestConfig::default() })]
leveva/tests/noctcp_proptest.rs:11:use proptest::prelude::*;
leveva/tests/noctcp_proptest.rs:48:proptest! {
leveva/tests/post_registration_proptest.rs:16:use proptest::prelude::*;
leveva/tests/post_registration_proptest.rs:69:proptest! {
leveva/tests/post_registration_proptest.rs:120:        pre in proptest::collection::vec(gated_verb(), 0..4),
leveva/tests/post_registration_proptest.rs:121:        mid in proptest::collection::vec(gated_verb(), 0..4),
leveva/tests/post_registration_proptest.rs:122:        post in proptest::collection::vec(gated_verb(), 0..3),
leveva/tests/post_registration_proptest.rs:172:        body in proptest::collection::vec(any::<u8>(), 0..48),
leveva/tests/channel_lifecycle_proptest.rs:2://! layer — the parity-matrix companion to `channels_proptest`/`kick_proptest`/
leveva/tests/channel_lifecycle_proptest.rs:3://! `modes_proptest`. Those models cover membership/op/delivery for *un-gated* JOIN/PART/
leveva/tests/channel_lifecycle_proptest.rs:53:use proptest::prelude::*;
leveva/tests/channel_lifecycle_proptest.rs:141:        (0..n, proptest::option::of(0..KEYS.len()))
leveva/tests/channel_lifecycle_proptest.rs:233:proptest! {
leveva/tests/channel_lifecycle_proptest.rs:234:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/channel_lifecycle_proptest.rs:238:        ops in proptest::collection::vec(op_strategy(), 0..60)
leveva/tests/channel_lifecycle_proptest.rs:429:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/pass_proptest.rs:15:use proptest::prelude::*;
leveva/tests/pass_proptest.rs:84:        proptest::option::of("[a-z]{1,6}"),
leveva/tests/pass_proptest.rs:107:proptest! {
leveva/tests/pass_proptest.rs:112:        rules in proptest::collection::vec(rule_strategy(), 0..6),
leveva/tests/pass_proptest.rs:124:        rules in proptest::collection::vec(rule_strategy(), 0..6),
leveva/tests/pass_proptest.rs:135:    fn pass_feed_never_panics(tail in proptest::collection::vec(any::<u8>(), 0..64)) {
leveva/tests/tls_outbound_proptest.proptest-regressions:1:# Seeds for failure cases proptest has generated in the past. It is
leveva/tests/knock_throttle_proptest.rs:12:use proptest::prelude::*;
leveva/tests/knock_throttle_proptest.rs:14:proptest! {
leveva/tests/knock_throttle_proptest.rs:15:    #![proptest_config(ProptestConfig::with_cases(2000))]
leveva/tests/knock_throttle_proptest.rs:23:        gaps in proptest::collection::vec(0i64..2000, 1..40),
leveva/tests/stats_topology_proptest.rs:31:use proptest::prelude::*;
leveva/tests/stats_topology_proptest.rs:125:proptest! {
leveva/tests/stats_topology_proptest.rs:126:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/pre_away_proptest.rs:15:use proptest::prelude::*;
leveva/tests/pre_away_proptest.rs:53:proptest! {
leveva/tests/pre_away_proptest.rs:54:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/metadata_rate_proptest.rs:20:use proptest::prelude::*;
leveva/tests/metadata_rate_proptest.rs:24:proptest! {
leveva/tests/s2s_client_reject_proptest.rs:13://! differential, golden + proptest only (same posture as the slice-112 nick-collision fuzz).
leveva/tests/s2s_client_reject_proptest.rs:25:use proptest::prelude::*;
leveva/tests/s2s_client_reject_proptest.rs:152:    proptest::string::string_regex("[ -~]{0,80}")
leveva/tests/s2s_client_reject_proptest.rs:162:        proptest::string::string_regex("[A-Za-z0-9.]{1,12}")
leveva/tests/s2s_client_reject_proptest.rs:180:proptest! {
leveva/tests/s2s_client_reject_proptest.rs:248:        ident in proptest::string::string_regex("[A-Za-z0-9]{1,8}").unwrap(),
leveva/tests/s2s_client_reject_proptest.rs:249:        host in proptest::string::string_regex("[a-z0-9.]{1,16}").unwrap(),
leveva/tests/s2s_client_reject_proptest.rs:250:        chan in proptest::string::string_regex("[a-z]{1,8}").unwrap(),
leveva/tests/msgid_proptest.rs:17:use proptest::prelude::*;
leveva/tests/msgid_proptest.rs:87:proptest! {
leveva/tests/msgid_proptest.rs:88:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/msgid_proptest.rs:166:    fn delivery_never_panics_or_malforms(junk in proptest::collection::vec(any::<u8>(), 0..96)) {
leveva/tests/iline_proptest.rs:16:use proptest::prelude::*;
leveva/tests/iline_proptest.rs:97:        proptest::option::of("[a-z]{1,6}"),
leveva/tests/iline_proptest.rs:119:proptest! {
leveva/tests/iline_proptest.rs:123:        rules in proptest::collection::vec(rule_strategy(), 0..6),
leveva/tests/message_tags_proptest.rs:18:use proptest::prelude::*;
leveva/tests/message_tags_proptest.rs:31:    proptest::collection::vec(
leveva/tests/message_tags_proptest.rs:45:proptest! {
leveva/tests/message_tags_proptest.rs:50:        tags in proptest::collection::vec((tag_key(), tag_value()), 0..8),
leveva/tests/whowas_proptest.rs:27:use proptest::prelude::*;
leveva/tests/whowas_proptest.rs:122:proptest! {
leveva/tests/whowas_proptest.rs:123:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/whowas_proptest.rs:164:    fn comma_list_is_well_structured(query in proptest::collection::vec(token(), 1..6)) {
leveva/tests/prereg_flood_proptest.rs:7://! Unlike `flood_proptest.rs` (which fuzzes the pure clock in isolation), this drives the wiring
leveva/tests/prereg_flood_proptest.rs:20:use proptest::prelude::*;
leveva/tests/prereg_flood_proptest.rs:80:proptest! {
leveva/tests/prereg_flood_proptest.rs:81:    #![proptest_config(ProptestConfig::with_cases(1200))]
leveva/tests/server_time_proptest.rs:24:use proptest::prelude::*;
leveva/tests/server_time_proptest.rs:64:proptest! {
leveva/tests/server_time_proptest.rs:65:    #![proptest_config(ProptestConfig::with_cases(2000))]
leveva/tests/server_time_proptest.rs:146:proptest! {
leveva/tests/server_time_proptest.rs:147:    #![proptest_config(ProptestConfig::with_cases(300))]
leveva/tests/server_time_proptest.rs:184:    fn delivery_never_panics_with_server_time(junk in proptest::collection::vec(any::<u8>(), 0..96)) {
leveva/tests/flood_delay.rs:3://! slice-201 Excess-Flood kill. The pure clock arithmetic is fuzzed in `flood_proptest.rs`;
leveva/tests/setname_proptest.rs:25:use proptest::prelude::*;
leveva/tests/setname_proptest.rs:77:proptest! {
leveva/tests/setname_proptest.rs:82:        seq in proptest::collection::vec(realname(), 0..40)
leveva/tests/setname_proptest.rs:120:        seq in proptest::collection::vec(realname(), 0..40)
leveva/tests/knock_proptest.rs:25:use proptest::prelude::*;
leveva/tests/knock_proptest.rs:98:proptest! {
leveva/tests/golden_stats_fd_ping.rs:8://! and `fd_stats_proptest`. It proves the three things only an end-to-end boot can:
leveva/tests/s2s_smask_proptest.rs:24:use proptest::prelude::*;
leveva/tests/s2s_smask_proptest.rs:76:proptest! {
leveva/tests/s2s_smask_proptest.rs:77:    #![proptest_config(ProptestConfig { cases: 256, ..ProptestConfig::default() })]
leveva/tests/invite_s2s_proptest.rs:8://! proptest pins the token-recording policy against a reference model + panic-freedom.
leveva/tests/invite_s2s_proptest.rs:35:use proptest::prelude::*;
leveva/tests/invite_s2s_proptest.rs:102:proptest! {
leveva/tests/invite_s2s_proptest.rs:103:    #![proptest_config(ProptestConfig { cases: 400, ..ProptestConfig::default() })]
leveva/tests/stats_proptest.proptest-regressions:1:# Seeds for failure cases proptest has generated in the past. It is
leveva/tests/s2s_traffic_proptest.rs:3://! the boot-golden harness; this proptest fuzzes the counter-update HELPER per the slice
leveva/tests/s2s_traffic_proptest.rs:27:use proptest::prelude::*;
leveva/tests/s2s_traffic_proptest.rs:63:proptest! {
leveva/tests/s2s_traffic_proptest.rs:64:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/s2s_proptest.rs:36:use proptest::prelude::*;
leveva/tests/s2s_proptest.rs:116:proptest! {
leveva/tests/s2s_proptest.rs:117:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/s2s_proptest.rs:357:proptest! {
leveva/tests/s2s_proptest.rs:360:    #![proptest_config(ProptestConfig::with_cases(48))]
leveva/tests/s2s_proptest.rs:413:/// A non-proptest sanity check that the helpers and the SAVE built by UNICK collision use
leveva/tests/parse_utf8_proptest.rs:14://! oracle entry point — this is a model-lockstep proptest against `std::str::from_utf8`, not a
leveva/tests/parse_utf8_proptest.rs:28:use proptest::prelude::*;
leveva/tests/parse_utf8_proptest.rs:41:proptest! {
leveva/tests/parse_utf8_proptest.rs:42:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/monitor_s2s_proptest.proptest-regressions:1:# Seeds for failure cases proptest has generated in the past. It is
leveva/tests/extended_monitor_proptest.rs:16:use proptest::prelude::*;
leveva/tests/extended_monitor_proptest.rs:90:proptest! {
leveva/tests/extended_monitor_proptest.rs:91:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/extended_monitor_proptest.rs:94:    fn delivery_iff_all_gates_pass(cfgs in proptest::collection::vec(cfg_strategy(), 1..7)) {
leveva/tests/rehash_conf_proptest.rs:22:use proptest::prelude::*;
leveva/tests/rehash_conf_proptest.rs:219:proptest! {
leveva/tests/flood_proptest.rs:13:use proptest::prelude::*;
leveva/tests/flood_proptest.rs:15:proptest! {
leveva/tests/flood_proptest.rs:16:    #![proptest_config(ProptestConfig::with_cases(4000))]
leveva/tests/flood_proptest.rs:26:        steps in proptest::collection::vec((0u64..200, 0u32..30), 1..60),
leveva/tests/flood_proptest.rs:56:        penalties in proptest::collection::vec(1u32..8, 1..120),
leveva/tests/flood_proptest.rs:86:        penalties in proptest::collection::vec(1u32..10, 1..200),
leveva/tests/flood_proptest.rs:107:        steps in proptest::collection::vec((0u64..200, 0u32..30), 1..60),
leveva/tests/flood_proptest.rs:139:        penalties in proptest::collection::vec(1u32..10, 1..200),
leveva/tests/utf8only_proptest.rs:14:use proptest::prelude::*;
leveva/tests/utf8only_proptest.rs:54:proptest! {
leveva/tests/utf8only_proptest.rs:55:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/connect_proptest.proptest-regressions:1:# Seeds for failure cases proptest has generated in the past. It is
leveva/tests/knock_user_throttle_proptest.rs:4://! Slice 200's `knock_throttle_proptest.rs` exhausts the atomic [`admit`](KnockThrottle::admit) used
leveva/tests/knock_user_throttle_proptest.rs:17:use proptest::prelude::*;
leveva/tests/knock_user_throttle_proptest.rs:19:proptest! {
leveva/tests/knock_user_throttle_proptest.rs:20:    #![proptest_config(ProptestConfig::with_cases(2000))]
leveva/tests/knock_user_throttle_proptest.rs:28:        gaps in proptest::collection::vec(0i64..2000, 1..40),
leveva/tests/golden_restricted_nick.rs:15://! `restricted_proptest` control — the harness clients are all loopback, so a single server
leveva/tests/bot_oper_s2s_proptest.rs:33:use proptest::prelude::*;
leveva/tests/bot_oper_s2s_proptest.rs:104:proptest! {
leveva/tests/bot_oper_s2s_proptest.rs:105:    #![proptest_config(ProptestConfig { cases: 300, ..ProptestConfig::default() })]
leveva/tests/wallops_proptest.rs:25:use proptest::prelude::*;
leveva/tests/wallops_proptest.rs:149:proptest! {
leveva/tests/wallops_proptest.rs:150:    #![proptest_config(ProptestConfig::with_cases(300))]
leveva/tests/wallops_proptest.rs:154:    fn wallops_conservation(acts in proptest::collection::vec(act(), 0..24)) {
leveva/tests/wallops_proptest.rs:201:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/oper_tag_proptest.rs:17:use proptest::prelude::*;
leveva/tests/oper_tag_proptest.rs:102:proptest! {
leveva/tests/oper_tag_proptest.rs:103:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/oper_tag_proptest.rs:155:    fn delivery_never_panics(junk in proptest::collection::vec(any::<u8>(), 0..96)) {
leveva/tests/userhost_in_names_proptest.rs:16:use proptest::prelude::*;
leveva/tests/userhost_in_names_proptest.rs:109:proptest! {
leveva/tests/userhost_in_names_proptest.rs:110:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/userhost_in_names_proptest.rs:116:        members in proptest::collection::vec(
leveva/tests/userhost_in_names_proptest.rs:165:    fn names_never_panics_on_arbitrary_target(junk in proptest::collection::vec(any::<u8>(), 0..64)) {
leveva/tests/connect_proptest.rs:26:use proptest::prelude::*;
leveva/tests/connect_proptest.rs:82:proptest! {
leveva/tests/connect_proptest.rs:83:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/whois_modes_proptest.rs:23:use proptest::prelude::*;
leveva/tests/whois_modes_proptest.rs:110:proptest! {
leveva/tests/whois_modes_proptest.rs:111:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/metadata_s2s_proptest.rs:27:use proptest::prelude::*;
leveva/tests/metadata_s2s_proptest.rs:66:    proptest::collection::vec(
leveva/tests/metadata_s2s_proptest.rs:75:    proptest::collection::vec(
leveva/tests/metadata_s2s_proptest.rs:86:        proptest::collection::vec(prop::sample::select(vec!['A', 'B', 'Q', 'Z']), 5..=5)
leveva/tests/metadata_s2s_proptest.rs:88:        proptest::collection::vec(prop::sample::select(vec!['a', 'b', 'c', 'd']), 1..=8)
leveva/tests/metadata_s2s_proptest.rs:102:proptest! {
leveva/tests/metadata_s2s_proptest.rs:103:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/away_notify_proptest.rs:22:use proptest::prelude::*;
leveva/tests/away_notify_proptest.rs:104:proptest! {
leveva/tests/away_notify_proptest.rs:105:    #![proptest_config(ProptestConfig::with_cases(300))]
leveva/tests/away_notify_proptest.rs:109:    fn watcher_sees_away_iff_state_changes(ops in proptest::collection::vec(away_op(), 0..30)) {
leveva/tests/away_notify_proptest.rs:148:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/relay_proptest.rs:24:use proptest::prelude::*;
leveva/tests/relay_proptest.rs:85:proptest! {
leveva/tests/relay_proptest.rs:86:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/relay_proptest.rs:137:        trailing in proptest::option::of(text()),
leveva/tests/elist_proptest.rs:15:use proptest::prelude::*;
leveva/tests/elist_proptest.rs:37:proptest! {
leveva/tests/elist_proptest.rs:121:        conds in proptest::collection::vec(
leveva/tests/query_routing_proptest.rs:5://! Unlike [`server_query_proptest`] — which fuzzes TIME/ADMIN/INFO treating the `<target>`
leveva/tests/query_routing_proptest.rs:33:use proptest::prelude::*;
leveva/tests/query_routing_proptest.rs:232:    proptest::collection::vec(any::<bool>(), PEERS.len()).prop_map(|mask| {
leveva/tests/query_routing_proptest.rs:255:proptest! {
leveva/tests/query_routing_proptest.rs:256:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/names_list_proptest.rs:2://! the `Session` layer, the companion to `channels_proptest.rs`. Several connections
leveva/tests/names_list_proptest.rs:33:use proptest::prelude::*;
leveva/tests/names_list_proptest.rs:98:        proptest::collection::vec((0usize..POOL.len(), op_strategy()), 0..50),
leveva/tests/names_list_proptest.rs:141:proptest! {
leveva/tests/names_list_proptest.rs:142:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/names_list_proptest.rs:283:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/topic_proptest.rs:2://! the companion to `channels_proptest.rs`. Several connections share one
leveva/tests/topic_proptest.rs:36:use proptest::prelude::*;
leveva/tests/topic_proptest.rs:100:        proptest::collection::vec(0..POOL.len(), 1..6),
leveva/tests/topic_proptest.rs:101:        proptest::collection::vec((0usize..6, op_strategy()), 0..40),
leveva/tests/topic_proptest.rs:127:proptest! {
leveva/tests/topic_proptest.rs:128:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/topic_proptest.rs:289:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/multi_prefix_proptest.rs:15:use proptest::prelude::*;
leveva/tests/multi_prefix_proptest.rs:71:proptest! {
leveva/tests/multi_prefix_proptest.rs:93:        tail in proptest::collection::vec(any::<u8>(), 0..200),
leveva/tests/netio_proptest.rs:15:use proptest::prelude::*;
leveva/tests/netio_proptest.rs:47:proptest! {
leveva/tests/netio_proptest.rs:49:    fn ready_sink_writes_everything(payload in proptest::collection::vec(any::<u8>(), 0..4096)) {
leveva/tests/netio_proptest.rs:61:    fn wedged_writer_always_times_out(payload in proptest::collection::vec(any::<u8>(), 1..4096)) {
leveva/tests/golden_stats_traffic.rs:15://! proptest carry the exact-value correctness.
leveva/tests/cidr_proptest.rs:15:use proptest::prelude::*;
leveva/tests/cidr_proptest.rs:35:proptest! {
leveva/tests/cidr_proptest.rs:36:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/oper_proptest.rs:25:use proptest::prelude::*;
leveva/tests/oper_proptest.rs:104:proptest! {
leveva/tests/oper_proptest.rs:105:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/oper_proptest.rs:110:    fn oper_tracks_the_model(attempts in proptest::collection::vec(oper_attempt(), 0..30)) {
leveva/tests/oper_proptest.rs:158:        junk in proptest::collection::vec(any::<u8>(), 0..96),
leveva/tests/s2s_server_proptest.rs:24:use proptest::prelude::*;
leveva/tests/s2s_server_proptest.rs:76:proptest! {
leveva/tests/s2s_server_proptest.rs:77:    #![proptest_config(ProptestConfig { cases: 256, ..ProptestConfig::default() })]
leveva/tests/callerid_proptest.rs:22:use proptest::prelude::*;
leveva/tests/callerid_proptest.rs:74:proptest! {
leveva/tests/sa_snotice_proptest.rs:23:use proptest::prelude::*;
leveva/tests/sa_snotice_proptest.rs:108:proptest! {
leveva/tests/sa_snotice_proptest.rs:109:    #![proptest_config(ProptestConfig::with_cases(200))]
leveva/tests/keepalive_proptest.rs:3://! `heartbeat_proptest` fuzzes the pure decision core ([`leveva::heartbeat::Heartbeat`])
leveva/tests/keepalive_proptest.rs:6://! contract** the serve loop relies on — the layer the core proptest never touches:
leveva/tests/keepalive_proptest.rs:21:use proptest::prelude::*;
leveva/tests/keepalive_proptest.rs:88:proptest! {
leveva/tests/registration_proptest.rs:4://! `cargo test` (proptest), shrinking any failure to a minimal input.
leveva/tests/registration_proptest.rs:18:use proptest::prelude::*;
leveva/tests/registration_proptest.rs:124:proptest! {
leveva/tests/registration_proptest.rs:125:    #![proptest_config(ProptestConfig::with_cases(512))]
leveva/tests/registration_proptest.rs:130:        chunks in proptest::collection::vec(
leveva/tests/registration_proptest.rs:131:            proptest::collection::vec(any::<u8>(), 0..64), 0..16)
leveva/tests/registration_proptest.rs:139:    fn structured_lines_are_robust(lines in proptest::collection::vec(irc_line(), 0..20)) {
leveva/tests/registration_proptest.rs:147:    fn valid_registration_completes_once(prefix in proptest::collection::vec(irc_line(), 0..8)) {
leveva/tests/registration_proptest.rs:166:        prefix in proptest::collection::vec(irc_line(), 0..8),
leveva/tests/kline_proptest.rs:27:use proptest::prelude::*;
leveva/tests/kline_proptest.rs:93:proptest! {
leveva/tests/kline_proptest.rs:120:        hosts in proptest::collection::vec("[a-c]\\.net", 1..6usize),
leveva/tests/kline_proptest.rs:157:        hosts in proptest::collection::vec("[a-c]\\.net", 1..6usize),
leveva/tests/kline_proptest.rs:158:        exempt_flags in proptest::collection::vec(any::<bool>(), 1..6usize),
leveva/tests/kline_proptest.rs:212:        args in proptest::collection::vec("[!-~]{0,12}", 0..4usize),
leveva/tests/fd_stats_proptest.rs:21:use proptest::prelude::*;
leveva/tests/fd_stats_proptest.rs:91:proptest! {
leveva/tests/fd_stats_proptest.rs:92:    #![proptest_config(ProptestConfig::with_cases(256))]
leveva/tests/golden_global_caps.rs:12://! the unit + proptest layers.
leveva/tests/invite_proptest.rs:2://! `Session` layer, the companion to `channels_proptest.rs` / `kick_proptest.rs`.
leveva/tests/invite_proptest.rs:47:use proptest::prelude::*;
leveva/tests/invite_proptest.rs:139:proptest! {
leveva/tests/invite_proptest.rs:140:    #![proptest_config(ProptestConfig::with_cases(400))]
leveva/tests/invite_proptest.rs:144:        ops in proptest::collection::vec(op_strategy(), 0..50)
leveva/tests/invite_proptest.rs:311:        junk in proptest::collection::vec(any::<u8>(), 0..96),
