{"agent":"claude","input":"Write property-based tests for this Rust crate. Read Cargo.toml, clippy.toml, .github/workflows/ci.yml, the ci directory, every file under tests, and the public functions in src/bytes.rs and src/bytes_mut.rs first. Add proptest as a dev-dependency and write tests/test_properties.rs against a Vec<u8> model: split_off and split_to recombine to the original, slice and slice_ref agree with the model for every range form, truncate keeps min(n, len) bytes, BytesMut split_to then unsplit restores the bytes, a random operation sequence over BytesMut and the model stays equal at each step and after freeze, chain and take and copy_to_bytes match the model, and out-of-range indices panic. Run cargo test --all-features and cargo hack test --each-feature --optional-deps, run the minrust check with the new dev-dependency and pin proptest if it does not resolve on the rust-version, gate the file for miri, run cargo fmt --all --check, and open a pull request with the output and any counterexample found. Change no code under src.","resources":[{"url":"https://github.com/your-org/your-app"}]}