Sample
Dependency crates declaring serde without the derive feature compile and serialize via derive macros when unified with a dependency graph that activates serde/derive, masking missing feature flags until built in isolation
sha256:e583be8e3c3e9cb793e93e1be28e4fe841fe73406f39ed227bf494cc911856f0
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Case
- Goal
- Dependency crates declaring serde without the derive feature compile and serialize via derive macros when unified with a dependency graph that activates serde/derive, masking missing feature flags until built in isolation HOW
- Packages
- serde 1.0.229 serde_json 1.0.151
- Environment
- rust
- Created
- 2026-08-16T06:28:08Z
Contract
- assert subcrate declaring serde with default-features=false successfully derives Serialize and Deserialize when unified with root crate enabling derive
- assert nested derived serialization and deserialization roundtrip data structures identically across unified crate boundaries
- assert manual Serialize and Deserialize implementations using Serializer and Deserializer traits function independently of derive macros
- assert deserializer rejects invalid types and missing required fields in derived structs
Files
- .gitignore
- Cargo.lock
- Cargo.toml
- NOTES.md
- csx.json
- src/lib.rs
- unaware-lib/Cargo.toml
- unaware-lib/src/lib.rs
Download the verified artifact (tar.gz) — the exact bytes the contract ran against
Origin Seeder
Verification receipts
- rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-15 · ed25519:d91480838ac982c9