*** core/src/cover.rs:105:5: replace next_cover_deposit_delay_ms -> u64 with 0 *** mutation diff: --- core/src/cover.rs +++ replace next_cover_deposit_delay_ms -> u64 with 0 @@ -97,17 +97,17 @@ } /// Jittered delay before the next **cover deposit**, in milliseconds: same bounded uniform jitter as /// [`next_poll_delay_ms`] (`[base/2, 3·base/2]`, mean = `base`), driven off the sparser /// [`DEFAULT_COVER_DEPOSIT_BASE_MS`]. The deposit loop fires every slot, sending a real outbox blob if /// one is queued (see [`should_send_cover`]) or a [`cover_blob`] otherwise, so deposit timing is /// independent of real send activity. pub fn next_cover_deposit_delay_ms(base_ms: u64, rand: u64) -> u64 { - jittered_delay_ms(base_ms, rand) + 0 /* ~ changed by cargo-mutants ~ */ } /// Whether this deposit slot should carry a cover blob: true exactly when there is **no** real outbox /// blob ready to send. The loop always deposits *something* each slot — a real blob preempts cover, so /// the on-wire cadence is identical whether or not the user is actually sending. pub fn should_send_cover(has_pending_real: bool) -> bool { !has_pending_real } *** /home/rui/.rustup/toolchains/1.96.0-x86_64-unknown-linux-gnu/bin/cargo test --no-run --verbose --package=pvtcoms-core@0.1.1 Fresh libc v0.2.186 Fresh cfg-if v1.0.4 Fresh typenum v1.20.1 Fresh unicode-ident v1.0.24 Fresh version_check v0.9.5 Fresh getrandom v0.2.17 Fresh rand_core v0.10.1 Fresh cmov v0.5.4 Fresh cpufeatures v0.2.17 Fresh rand_core v0.6.4 Fresh ctutils v0.4.2 Fresh const-oid v0.10.2 Fresh semver v1.0.28 Fresh proc-macro2 v1.0.106 Fresh hybrid-array v0.4.12 Fresh subtle v2.6.1 Fresh rustc_version v0.4.1 Fresh autocfg v1.5.1 Fresh quote v1.0.45 Fresh generic-array v0.14.7 Fresh crypto-common v0.2.2 Fresh block-buffer v0.12.0 Fresh getrandom v0.3.4 Fresh syn v2.0.117 Fresh crypto-common v0.1.7 Fresh digest v0.11.3 Fresh block-buffer v0.10.4 Fresh rand_core v0.9.5 Fresh inout v0.1.4 Fresh zeroize_derive v1.4.3 Fresh hax-lib-macros v0.3.6 Fresh digest v0.10.7 Fresh curve25519-dalek-derive v0.1.1 Fresh zeroize v1.8.2 Fresh hax-lib v0.3.6 Fresh rand v0.10.1 Fresh bitflags v2.11.1 Fresh linux-raw-sys v0.12.1 Fresh getrandom v0.4.2 Fresh zerocopy v0.8.50 Fresh libcrux-secrets v0.0.5 Fresh cipher v0.4.4 Fresh libcrux-intrinsics v0.0.7 Fresh curve25519-dalek v4.1.3 Fresh rustix v1.1.4 Fresh serde_core v1.0.228 Fresh num-traits v0.2.19 Fresh libcrux-traits v0.0.7 Fresh universal-hash v0.5.1 Fresh libcrux-platform v0.0.3 Fresh fastrand v2.4.1 Fresh opaque-debug v0.3.1 Fresh signature v2.2.0 Fresh once_cell v1.21.4 Fresh poly1305 v0.8.0 Fresh libcrux-sha3 v0.0.9 Fresh ed25519 v2.2.3 Fresh chacha20 v0.9.1 Fresh zmij v1.0.21 Fresh tempfile v3.27.0 Fresh ppv-lite86 v0.2.21 Fresh sha2 v0.10.9 Fresh hmac v0.13.0 Fresh serde_derive v1.0.228 Fresh aead v0.5.2 Fresh keccak v0.2.0 Fresh wait-timeout v0.2.1 Fresh cpufeatures v0.3.0 Fresh fnv v1.0.7 Fresh memchr v2.8.0 Fresh itoa v1.0.18 Fresh quick-error v1.2.3 Fresh bit-vec v0.8.0 Fresh sha3 v0.11.0 Fresh hkdf v0.13.0 Fresh serde v1.0.228 Fresh sha2 v0.11.0 Fresh serde_json v1.0.149 Fresh bit-set v0.8.0 Fresh rusty-fork v0.3.1 Fresh chacha20poly1305 v0.10.1 Fresh rand_chacha v0.9.0 Fresh ed25519-dalek v2.2.0 Fresh libcrux-ml-kem v0.0.9 Fresh x25519-dalek v2.0.1 Fresh module-lattice v0.2.3 Fresh rand_xorshift v0.4.0 Fresh rand v0.9.4 Fresh kem v0.3.0 Fresh unarray v0.1.4 Fresh data-encoding v2.11.0 Fresh regex-syntax v0.8.10 Dirty pvtcoms-core v0.1.1 (/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/core): the file `core/src/cover.rs` has changed (1780711010.050054688s, 4s after last build at 1780711006.688118402s) Compiling pvtcoms-core v0.1.1 (/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/core) Fresh proptest v1.11.0 Fresh wycheproof v0.6.0 Fresh ml-kem v0.3.2 Running `/home/rui/.rustup/toolchains/1.96.0-x86_64-unknown-linux-gnu/bin/rustc --crate-name pvtcoms_core --edition=2024 core/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=5f969fe53152605f -C extra-filename=-341b2d95ffe8bd77 --out-dir /tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps -C incremental=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/incremental -L dependency=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps --extern chacha20poly1305=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libchacha20poly1305-0927fc8f8dedcd7b.rlib --extern ed25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libed25519_dalek-114ec4e3789bbefd.rlib --extern getrandom=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libgetrandom-9a3dee7e483cb5b5.rlib --extern hkdf=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhkdf-1e45fa18f3463fe1.rlib --extern hmac=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhmac-418d49e093cfc949.rlib --extern libcrux_ml_kem=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/liblibcrux_ml_kem-5dd5b2ca2665c28c.rlib --extern ml_kem=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libml_kem-8167f015abf4d16d.rlib --extern proptest=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libproptest-648d4727c1f9103b.rlib --extern sha2=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libsha2-6968572171519c9a.rlib --extern wycheproof=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libwycheproof-3d8131dc0f9519bd.rlib --extern x25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libx25519_dalek-274b91fd0a8ce03e.rlib --extern zeroize=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libzeroize-fff0f477b166dd15.rlib` Running `/home/rui/.rustup/toolchains/1.96.0-x86_64-unknown-linux-gnu/bin/rustc --crate-name pvtcoms_core --edition=2024 core/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=51a3f0fef731253e -C extra-filename=-91716f450d8469fb --out-dir /tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps -C incremental=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/incremental -L dependency=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps --extern chacha20poly1305=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libchacha20poly1305-0927fc8f8dedcd7b.rmeta --extern ed25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libed25519_dalek-114ec4e3789bbefd.rmeta --extern getrandom=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libgetrandom-9a3dee7e483cb5b5.rmeta --extern hkdf=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhkdf-1e45fa18f3463fe1.rmeta --extern hmac=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhmac-418d49e093cfc949.rmeta --extern libcrux_ml_kem=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/liblibcrux_ml_kem-5dd5b2ca2665c28c.rmeta --extern sha2=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libsha2-6968572171519c9a.rmeta --extern x25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libx25519_dalek-274b91fd0a8ce03e.rmeta --extern zeroize=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libzeroize-fff0f477b166dd15.rmeta` warning: unused variable: `base_ms` --> core/src/cover.rs:104:36 | 104 | pub fn next_cover_deposit_delay_ms(base_ms: u64, rand: u64) -> u64 { | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_ms` | = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default warning: unused variable: `rand` --> core/src/cover.rs:104:50 | 104 | pub fn next_cover_deposit_delay_ms(base_ms: u64, rand: u64) -> u64 { | ^^^^ help: if this is intentional, prefix it with an underscore: `_rand` warning: `pvtcoms-core` (lib) generated 2 warnings (run `cargo fix --lib -p pvtcoms-core` to apply 2 suggestions) Running `/home/rui/.rustup/toolchains/1.96.0-x86_64-unknown-linux-gnu/bin/rustc --crate-name properties --edition=2024 core/tests/properties.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=ad0e987257739b98 -C extra-filename=-d26a81038903e7ba --out-dir /tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps -C incremental=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/incremental -L dependency=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps --extern chacha20poly1305=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libchacha20poly1305-0927fc8f8dedcd7b.rlib --extern ed25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libed25519_dalek-114ec4e3789bbefd.rlib --extern getrandom=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libgetrandom-9a3dee7e483cb5b5.rlib --extern hkdf=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhkdf-1e45fa18f3463fe1.rlib --extern hmac=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhmac-418d49e093cfc949.rlib --extern libcrux_ml_kem=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/liblibcrux_ml_kem-5dd5b2ca2665c28c.rlib --extern ml_kem=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libml_kem-8167f015abf4d16d.rlib --extern proptest=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libproptest-648d4727c1f9103b.rlib --extern pvtcoms_core=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libpvtcoms_core-91716f450d8469fb.rlib --extern sha2=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libsha2-6968572171519c9a.rlib --extern wycheproof=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libwycheproof-3d8131dc0f9519bd.rlib --extern x25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libx25519_dalek-274b91fd0a8ce03e.rlib --extern zeroize=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libzeroize-fff0f477b166dd15.rlib` Running `/home/rui/.rustup/toolchains/1.96.0-x86_64-unknown-linux-gnu/bin/rustc --crate-name wycheproof --edition=2024 core/tests/wycheproof.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=c47e0d0a7304a52c -C extra-filename=-7925c6dd5a57f897 --out-dir /tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps -C incremental=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/incremental -L dependency=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps --extern chacha20poly1305=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libchacha20poly1305-0927fc8f8dedcd7b.rlib --extern ed25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libed25519_dalek-114ec4e3789bbefd.rlib --extern getrandom=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libgetrandom-9a3dee7e483cb5b5.rlib --extern hkdf=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhkdf-1e45fa18f3463fe1.rlib --extern hmac=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhmac-418d49e093cfc949.rlib --extern libcrux_ml_kem=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/liblibcrux_ml_kem-5dd5b2ca2665c28c.rlib --extern ml_kem=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libml_kem-8167f015abf4d16d.rlib --extern proptest=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libproptest-648d4727c1f9103b.rlib --extern pvtcoms_core=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libpvtcoms_core-91716f450d8469fb.rlib --extern sha2=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libsha2-6968572171519c9a.rlib --extern wycheproof=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libwycheproof-3d8131dc0f9519bd.rlib --extern x25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libx25519_dalek-274b91fd0a8ce03e.rlib --extern zeroize=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libzeroize-fff0f477b166dd15.rlib` Running `/home/rui/.rustup/toolchains/1.96.0-x86_64-unknown-linux-gnu/bin/rustc --crate-name at_rest_no_leak --edition=2024 core/tests/at_rest_no_leak.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=d062ac81e0804af9 -C extra-filename=-5ddb072070a0df10 --out-dir /tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps -C incremental=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/incremental -L dependency=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps --extern chacha20poly1305=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libchacha20poly1305-0927fc8f8dedcd7b.rlib --extern ed25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libed25519_dalek-114ec4e3789bbefd.rlib --extern getrandom=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libgetrandom-9a3dee7e483cb5b5.rlib --extern hkdf=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhkdf-1e45fa18f3463fe1.rlib --extern hmac=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhmac-418d49e093cfc949.rlib --extern libcrux_ml_kem=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/liblibcrux_ml_kem-5dd5b2ca2665c28c.rlib --extern ml_kem=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libml_kem-8167f015abf4d16d.rlib --extern proptest=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libproptest-648d4727c1f9103b.rlib --extern pvtcoms_core=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libpvtcoms_core-91716f450d8469fb.rlib --extern sha2=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libsha2-6968572171519c9a.rlib --extern wycheproof=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libwycheproof-3d8131dc0f9519bd.rlib --extern x25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libx25519_dalek-274b91fd0a8ce03e.rlib --extern zeroize=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libzeroize-fff0f477b166dd15.rlib` Running `/home/rui/.rustup/toolchains/1.96.0-x86_64-unknown-linux-gnu/bin/rustc --crate-name output_hygiene --edition=2024 core/tests/output_hygiene.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=625f0487edfe6329 -C extra-filename=-5151b570ca1dc2d8 --out-dir /tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps -C incremental=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/incremental -L dependency=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps --extern chacha20poly1305=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libchacha20poly1305-0927fc8f8dedcd7b.rlib --extern ed25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libed25519_dalek-114ec4e3789bbefd.rlib --extern getrandom=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libgetrandom-9a3dee7e483cb5b5.rlib --extern hkdf=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhkdf-1e45fa18f3463fe1.rlib --extern hmac=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libhmac-418d49e093cfc949.rlib --extern libcrux_ml_kem=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/liblibcrux_ml_kem-5dd5b2ca2665c28c.rlib --extern ml_kem=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libml_kem-8167f015abf4d16d.rlib --extern proptest=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libproptest-648d4727c1f9103b.rlib --extern pvtcoms_core=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libpvtcoms_core-91716f450d8469fb.rlib --extern sha2=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libsha2-6968572171519c9a.rlib --extern wycheproof=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libwycheproof-3d8131dc0f9519bd.rlib --extern x25519_dalek=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libx25519_dalek-274b91fd0a8ce03e.rlib --extern zeroize=/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/libzeroize-fff0f477b166dd15.rlib` warning: `pvtcoms-core` (lib test) generated 2 warnings (2 duplicates) Finished `test` profile [unoptimized + debuginfo] target(s) in 1.03s Executable `/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/pvtcoms_core-341b2d95ffe8bd77` Executable `/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/at_rest_no_leak-5ddb072070a0df10` Executable `/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/output_hygiene-5151b570ca1dc2d8` Executable `/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/properties-d26a81038903e7ba` Executable `/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/wycheproof-7925c6dd5a57f897` *** result: Success *** /home/rui/.rustup/toolchains/1.96.0-x86_64-unknown-linux-gnu/bin/cargo test --verbose --package=pvtcoms-core@0.1.1 Fresh libc v0.2.186 Fresh cfg-if v1.0.4 Fresh typenum v1.20.1 Fresh unicode-ident v1.0.24 Fresh version_check v0.9.5 Fresh cmov v0.5.4 Fresh rand_core v0.10.1 Fresh getrandom v0.2.17 Fresh ctutils v0.4.2 Fresh cpufeatures v0.2.17 Fresh subtle v2.6.1 Fresh const-oid v0.10.2 Fresh proc-macro2 v1.0.106 Fresh rand_core v0.6.4 Fresh hybrid-array v0.4.12 Fresh semver v1.0.28 Fresh autocfg v1.5.1 Fresh quote v1.0.45 Fresh generic-array v0.14.7 Fresh crypto-common v0.2.2 Fresh block-buffer v0.12.0 Fresh rustc_version v0.4.1 Fresh syn v2.0.117 Fresh crypto-common v0.1.7 Fresh block-buffer v0.10.4 Fresh digest v0.11.3 Fresh getrandom v0.3.4 Fresh inout v0.1.4 Fresh zeroize_derive v1.4.3 Fresh hax-lib-macros v0.3.6 Fresh digest v0.10.7 Fresh rand_core v0.9.5 Fresh curve25519-dalek-derive v0.1.1 Fresh zeroize v1.8.2 Fresh hax-lib v0.3.6 Fresh rand v0.10.1 Fresh linux-raw-sys v0.12.1 Fresh bitflags v2.11.1 Fresh libcrux-secrets v0.0.5 Fresh curve25519-dalek v4.1.3 Fresh cipher v0.4.4 Fresh serde_core v1.0.228 Fresh libcrux-intrinsics v0.0.7 Fresh rustix v1.1.4 Fresh num-traits v0.2.19 Fresh libcrux-traits v0.0.7 Fresh getrandom v0.4.2 Fresh universal-hash v0.5.1 Fresh zerocopy v0.8.50 Fresh libcrux-platform v0.0.3 Fresh fastrand v2.4.1 Fresh signature v2.2.0 Fresh once_cell v1.21.4 Fresh opaque-debug v0.3.1 Fresh ed25519 v2.2.3 Fresh ppv-lite86 v0.2.21 Fresh libcrux-sha3 v0.0.9 Fresh tempfile v3.27.0 Fresh chacha20 v0.9.1 Fresh poly1305 v0.8.0 Fresh zmij v1.0.21 Fresh sha2 v0.10.9 Fresh serde_derive v1.0.228 Fresh hmac v0.13.0 Fresh aead v0.5.2 Fresh keccak v0.2.0 Fresh wait-timeout v0.2.1 Fresh bit-vec v0.8.0 Fresh cpufeatures v0.3.0 Fresh itoa v1.0.18 Fresh fnv v1.0.7 Fresh memchr v2.8.0 Fresh quick-error v1.2.3 Fresh sha3 v0.11.0 Fresh ed25519-dalek v2.2.0 Fresh bit-set v0.8.0 Fresh rusty-fork v0.3.1 Fresh serde_json v1.0.149 Fresh sha2 v0.11.0 Fresh serde v1.0.228 Fresh hkdf v0.13.0 Fresh libcrux-ml-kem v0.0.9 Fresh chacha20poly1305 v0.10.1 Fresh rand_chacha v0.9.0 Fresh x25519-dalek v2.0.1 Fresh module-lattice v0.2.3 Fresh rand v0.9.4 Fresh rand_xorshift v0.4.0 Fresh kem v0.3.0 Fresh regex-syntax v0.8.10 Fresh data-encoding v2.11.0 Fresh unarray v0.1.4 Fresh ml-kem v0.3.2 Fresh wycheproof v0.6.0 Fresh proptest v1.11.0 warning: unused variable: `base_ms` --> core/src/cover.rs:104:36 | 104 | pub fn next_cover_deposit_delay_ms(base_ms: u64, rand: u64) -> u64 { | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_ms` | = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default warning: unused variable: `rand` --> core/src/cover.rs:104:50 | 104 | pub fn next_cover_deposit_delay_ms(base_ms: u64, rand: u64) -> u64 { | ^^^^ help: if this is intentional, prefix it with an underscore: `_rand` warning: `pvtcoms-core` (lib) generated 2 warnings (run `cargo fix --lib -p pvtcoms-core` to apply 2 suggestions) Fresh pvtcoms-core v0.1.1 (/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/core) warning: `pvtcoms-core` (lib test) generated 2 warnings (2 duplicates) Finished `test` profile [unoptimized + debuginfo] target(s) in 0.21s Running `/tmp/claude-1000/cargo-mutants-pvtcoms-UDyIj8.tmp/target/debug/deps/pvtcoms_core-341b2d95ffe8bd77` running 203 tests test contacts::tests::accept_new_identity_repins_with_new_root_and_resets_verification ... ok test contacts::tests::accessors_reflect_state_and_remove_reports_whether_it_removed ... ok test contacts::tests::encrypted_blob_round_trips_and_rejects_truncation_or_wrong_key ... ok test contacts::tests::mark_verified_works_and_persists ... ok test contacts::tests::pins_on_first_contact_then_recognises_and_detects_change ... ok test contacts::tests::mixed_root_and_no_root_entries_roundtrip ... ok test cover::tests::consecutive_delays_vary_not_a_fixed_interval ... ok test contacts::tests::rotate_identity_repins_keeping_root_and_verified ... ok test cover::tests::cover_deposit_base_is_sparser_than_polling ... ok test contacts::tests::pairwise_root_establishes_once_and_persists ... ok test cover::tests::cover_is_sent_exactly_when_no_real_blob_is_pending ... ok test cover::tests::cover_deposit_delay_shares_the_poll_jitter_window ... FAILED test contacts::tests::wrong_key_or_tamper_is_rejected ... ok test cover::tests::zero_base_is_zero ... ok test cover::tests::mean_is_base_over_one_full_jitter_window ... ok test cover::tests::extremes_hit_both_bounds ... ok test crypto::tests::aead_roundtrip_and_tamper_detection ... ok test crypto::tests::chacha20poly1305_rfc8439_kat ... ok test contacts::tests::from_encrypted_rejects_malformed_plaintext_without_panicking ... ok test cover::tests::cover_blob_handles_non_block_aligned_and_empty_lengths ... ok test crypto::tests::at_rest_reseal_uses_fresh_salt_so_no_nonce_reuse ... ok test crypto::tests::sas_is_deterministic_and_distinguishes_keys ... ok test crypto::tests::session_key_is_deterministic_and_binds_transcript ... ok test cover::tests::cover_blob_is_envelope_sized_seed_determined_and_high_entropy ... ok test crypto::tests::x25519_rfc7748_kat ... ok test crypto::tests::distinct_pairs_yield_distinct_keys ... ok test directory::tests::parse_rejects_truncation_overrun_bad_kind_and_trailing_bytes ... ok test directory::tests::key_separation_token_key_and_directions_are_independent ... ok test directory::tests::a_different_root_cannot_decrypt ... ok test directory::tests::pairwise_root_is_deterministic_and_separated_from_the_session_key ... ok test crypto::tests::end_to_end_x25519_then_aead ... ok test directory::tests::serialize_and_parse_honor_the_exact_count_and_length_bounds ... ok test directory::tests::read_rejects_short_blobs_and_short_plaintext ... ok test crypto::tests::x25519_dh_agrees ... ok test directory::tests::too_many_addresses_is_refused ... ok test directory::tests::tampered_ciphertext_is_rejected ... ok test directory::tests::wrong_publisher_identity_is_rejected ... ok test cover::tests::delay_stays_within_half_to_one_and_a_half_base ... ok test directory::tests::publish_then_read_roundtrips ... ok test directory::tests::record_travels_through_the_oblivious_relay ... ok test handshake::tests::hybrid_handshake_agrees_and_carries_a_message ... ok test handshake::tests::signed_payload_binds_context_role_and_transcript ... ok test directory::tests::same_content_different_epoch_yields_different_ciphertext ... ok test handshake::tests::forged_initiator_identity_is_rejected ... ok test handshake::tests::session_key_binds_mlkem_ek_and_ciphertext ... ok test handshake::tests::independent_handshakes_yield_independent_keys ... ok test handshake::tests::tampered_ciphertext_diverges_key_agreement ... ok test identity::tests::wrong_storage_key_or_tamper_is_rejected ... ok test handshake::tests::tampered_initiator_signature_is_rejected ... ok test handshake::tests::authenticated_handshake_agrees_and_verifies_identities ... ok test invite::tests::derivations_are_input_dependent_and_distinct ... ok test identity::tests::at_rest_encryption_roundtrip_and_persistence ... ok test invite::tests::rendezvous_derivations_are_distinct_and_deterministic ... ok test invite::tests::serialization_preserves_every_field_and_the_rendezvous_getter ... ok test invite::tests::forged_invite_prekey_signature_is_rejected ... ok test handshake::tests::tampered_responder_confirm_is_rejected ... ok test handshake::tests::ratchet_seeded_from_handshake_carries_a_conversation ... ok test kat::chacha20poly1305_rfc8439_aead ... ok test kat::hkdf_sha256_rfc5869_case1 ... ok test keystore::tests::dev_keystore_is_stable_per_device_and_random_across_devices ... ok test mailbox::tests::box_key_and_queue_secret_are_independent_and_deterministic ... ok test mailbox::tests::deposit_then_blind_pull_then_burned ... ok test mailbox::tests::multiple_deposits_preserved_in_order ... ok test mailbox::tests::occupied_tokens_counts_distinct_tokens ... ok test mailbox::tests::token_is_deterministic_rotates_and_is_secret_dependent ... ok test mailbox::tests::wrong_token_pulls_nothing ... ok test media::tests::chunk_nonce_and_aad_bind_their_inputs ... ok test identity::tests::sign_and_verify_roundtrip ... ok test invite::tests::async_friend_request_establishes_the_same_root_and_key ... ok test invite::tests::tampered_request_signature_is_rejected ... ok test invite::tests::tampered_accept_is_rejected ... ok test media::tests::constants_match_the_wire_and_size_budget ... ok test media::tests::decrypt_rejects_a_manifest_that_overstates_real_size ... ok test invite::tests::serialization_roundtrips_and_rejects_bad_lengths ... ok test media::tests::corrupted_chunk_fails_integrity_before_decrypt ... ok test media::tests::max_size_media_round_trips_and_pins_the_decrypt_bound ... ignored, ~64 MiB / slow in debug; run with `--ignored`. Verifies the MAX_MEDIA encrypt/decrypt size boundary (and the off-by-one fix). cargo-mutants re-runs the suite per mutant, so this stays out of the routine loop; the size-boundary mutants it covers are documented + excluded in .cargo/mutants.toml. test invite::tests::parsers_never_panic_on_arbitrary_bytes ... ok test media::tests::each_encryption_uses_fresh_random_key_and_id ... ok test media::tests::size_and_mime_caps ... ok test media::tests::manifest_serialization_roundtrips_and_is_bounded ... ok test offline::tests::blobs_are_padded_to_a_bucket_and_hide_metadata ... ok test offline::tests::derivations_are_input_dependent_never_constant ... ok test offline::tests::epoch_of_is_the_hourly_quotient ... ok test offline::tests::fallback_without_prekey_is_forward_secret ... ok test media::tests::manifest_parser_honors_its_exact_bounds ... ok test media::tests::every_ciphertext_chunk_is_uniform_size ... ok test media::tests::wrong_file_key_fails ... ok test offline::tests::prune_prekeys_drops_those_expiring_at_or_before_now ... ok test offline::tests::forged_blob_does_not_burn_prekey_or_desync_chain ... ok test offline::tests::replay_and_forged_blobs_are_dropped_not_fatal ... ok test media::tests::reordered_or_truncated_chunks_rejected ... ok test offline::tests::token_derivations_are_directional_and_rotate ... ok test offline::tests::relay_never_sees_the_bundle_id ... ok test outbox::tests::crash_before_ack_replays_idempotently ... ok test outbox::tests::mark_delivered_drops_only_the_named_item ... ok test offline::tests::ingest_refuses_a_valid_but_oversized_blob_before_opening_it ... ok test offline::tests::sealed_prekey_blob_roundtrips_and_rejects_tamper ... ok test offline::tests::full_relay_roundtrip_with_pcs_and_ordering ... ok test outbox::tests::queue_persist_then_deliver_roundtrip ... ok test outbox::tests::restore_rejects_truncated_garbage_or_trailing_junk ... ok test pad::tests::crossing_a_bucket_boundary_adds_exactly_one_bucket ... ok test pad::tests::different_short_messages_share_one_bucket_so_length_is_hidden ... ok test pad::tests::empty_payload_round_trips_to_empty ... ok test pad::tests::round_trips_for_many_sizes ... ok test pad::tests::unpad_accepts_a_minimal_four_byte_zero_length_frame ... ok test pad::tests::unpad_rejects_malformed_without_panicking ... ok test outbox::tests::expired_prekeys_pruned_on_restore ... ok test pow::tests::higher_difficulty_rejects_a_lower_difficulty_solution_usually ... ok test pow::tests::leading_zero_bits_counts_correctly ... ok test pow::tests::solve_then_verify_roundtrips ... ok test media::tests::chunks_carry_distinct_content_so_source_offsets_are_pinned ... ok test pow::tests::zero_difficulty_accepts_any_nonce ... ok test directory::tests::parser_never_panics_on_arbitrary_bytes ... ok test outbox::tests::prekeys_and_pcs_survive_a_restart_full_relay ... ok test pow::tests::a_found_solution_actually_has_the_required_zero_bits ... ok test pqkem::tests::hybrid_key_agrees_across_both_secrets ... ok test pqkem::tests::ml_kem_768_encapsulate_decapsulate_agree ... ok test pqkem::tests::key_and_ciphertext_serialization_roundtrips ... ok test pqkem::tests::serialized_sizes_match_fips203 ... ok test pqkem::tests::fips203_differential_kat_libcrux_vs_rustcrypto ... ok test prekey::tests::combine_carries_both_shared_secrets_hybrid_pq_binding ... ok test prekey::tests::bundle_roundtrip_serialization ... ok test prekey::tests::both_sides_derive_the_same_hybrid_secret ... ok test prekey::tests::post_compromise_security_old_chain_cannot_open_post_mix ... ok test prekey::tests::end_to_end_pcs_mix_in_through_the_chain ... ok test ratchet::tests::can_send_reflects_whether_a_sending_chain_exists ... ok test prekey::tests::wrong_prekey_rejected ... ok test ratchet::tests::header_serialization_binds_dh_pn_and_n ... ok test ratchet::tests::kdfs_are_input_dependent_never_constant ... ok test ratchet::tests::each_message_uses_a_fresh_key ... ok test ratchet::tests::dropped_message_does_not_break_the_chain ... ok test prekey::tests::bundle_sign_verify_and_tamper ... ok test ratchet::tests::out_of_order_delivery_within_a_chain ... ok test outbox::tests::outbox_is_bounded_fail_closed ... ok test ratchet::tests::tampering_is_rejected ... ok test relay::tests::a_stranger_without_the_key_cannot_deposit ... ok test relay::tests::bad_pow_is_rejected ... ok test relay::tests::blob_response_roundtrips_and_hostile_counts_only_truncate ... ok test ratchet::tests::ping_pong_conversation ... ok test relay::tests::a_token_cannot_accumulate_past_its_cap ... ok test relay::tests::build_helpers_produce_accepted_requests ... ok test relay::tests::decode_blobs_handles_overflowing_length_without_panicking ... ok test relay::tests::decode_blobs_preserves_a_trailing_empty_blob_and_a_large_one ... ok test relay::tests::build_peek_produces_an_accepted_peek ... ok test relay::tests::expired_deposits_are_not_returned_and_swept ... ok test relay::tests::fresh_at_exactly_the_window_is_accepted ... ok test relay::tests::import_counts_toward_the_global_cap ... ok test relay::tests::export_import_preserves_entries ... ok test relay::tests::occupied_tokens_reflects_stored_tokens ... ok test relay::tests::open_mode_accepts_any_capability_but_still_needs_pow ... ok test relay::tests::oversized_blob_is_rejected_before_storage ... ok test relay::tests::policy_defaults_are_as_documented ... ok test relay::tests::pow_challenge_binds_all_request_fields ... ok test relay::tests::pow_difficulty_getter_reflects_the_policy ... ok test pow::tests::stamp_is_bound_to_the_challenge ... ok test relay::tests::replay_of_the_same_request_is_rejected ... ok test relay::tests::request_at_exactly_header_len_parses_with_empty_blob_one_short_rejects ... ok test relay::tests::request_roundtrips_through_the_wire ... ok test relay::tests::stale_timestamp_is_rejected ... ok test relay::tests::peek_reads_without_burning ... ok test relay::tests::relay_rejects_when_full_then_a_pull_frees_space ... ok test relay::tests::sweep_drops_emptied_tokens_but_keeps_live_ones ... ok test relay::tests::wrong_capability_is_rejected ... ok test relay::tests::valid_deposit_then_pull_roundtrips_and_burns ... ok test rotation::tests::migrate_signed_payload_binds_context_and_both_keys_in_order ... ok test relay::tests::sweep_recomputes_the_count_and_frees_capacity_after_ttl ... ok test rotation::tests::forged_new_key_without_its_signature_is_rejected ... ok test rotation::tests::migration_seal_key_binds_root_and_old_key ... ok test rotation::tests::migration_transport_derivations_are_separated_and_deterministic ... ok test rotation::tests::serialization_roundtrips_and_rejects_bad_length ... ok test rotation::tests::tampered_old_signature_is_rejected ... ok test rotation::tests::wrong_pinned_identity_is_rejected ... ok test sendchain::tests::deterministic_for_exact_blob_retry ... ok test sendchain::tests::different_sender_or_root_yields_independent_chains ... ok test rotation::tests::migration_parser_never_panics_on_arbitrary_bytes ... ok test sendchain::tests::forged_frame_does_not_desync_state ... ok test sendchain::tests::forward_secrecy_chain_key_advances ... ok test sendchain::tests::in_order_roundtrip ... ok test sendchain::tests::malformed_frames_never_panic ... ok test sendchain::tests::next_index_advances_with_each_seal ... ok test sendchain::tests::out_of_order_then_fill_the_gap ... ok test sendchain::tests::oversized_gap_is_bounded ... ok test sendchain::tests::pcs_reseed_changes_the_chain_and_binds_its_inputs ... ok test sendchain::tests::replay_is_rejected ... ok test store::tests::an_empty_text_message_is_a_valid_minimal_record ... ok test rotation::tests::migration_roundtrips_and_yields_the_new_identity ... ok test store::tests::append_and_roundtrip_preserves_order_and_content ... ok test store::tests::empty_log_roundtrips ... ok test store::tests::from_encrypted_rejects_truncated_and_overrun_records_without_panicking ... ok test tests::version_is_set ... ok test store::tests::wrong_key_or_tamper_is_rejected ... ok test wire::tests::decoders_reject_truncated_input ... ok test wire::tests::frame_at_exactly_max_frame_round_trips_one_over_is_rejected ... ok test wire::tests::auth_reply_and_confirm_round_trip_through_the_wire ... ok test wire::tests::full_handshake_survives_serialization_then_carries_a_framed_message ... ok test wire::tests::read_frame_rejects_oversized_and_bad_version ... ok test relay::tests::codec_parsers_never_panic_on_arbitrary_bytes ... ok test ratchet::tests::skip_allows_exactly_max_skip_and_refuses_one_more ... ok test ratchet::tests::many_messages_each_direction ... ok test media::tests::roundtrip_small_and_multichunk ... ok test wire::tests::parsers_never_panic_on_arbitrary_bytes ... ok test sendchain::tests::open_allows_exactly_max_skip_gap_and_refuses_one_more ... ok test outbox::tests::restore_accepts_exactly_the_caps ... ok failures: ---- cover::tests::cover_deposit_delay_shares_the_poll_jitter_window stdout ---- thread 'cover::tests::cover_deposit_delay_shares_the_poll_jitter_window' (3483059) panicked at core/src/cover.rs:201:13: delay 0 below floor for rand 0 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace failures: cover::tests::cover_deposit_delay_shares_the_poll_jitter_window test result: FAILED. 201 passed; 1 failed; 1 ignored; 0 measured; 0 filtered out; finished in 2.29s error: test failed, to rerun pass `-p pvtcoms-core --lib` *** result: Failure(101)