Sample
Disabling chrono default features strips Utc::now and Local which require the clock feature rather than std, while serde support requires an explicit opt-in serde feature and serializes DateTime as an RFC 3339 string
sha256:861889cfdd0a5dd5ceeb51b6ec6359baf342d7c5c30f7d1fbc598a53e175fac2
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Case
- Goal
- Disabling chrono default features strips Utc::now and Local which require the clock feature rather than std, while serde support requires an explicit opt-in serde feature and serializes DateTime as an RFC 3339 string HOW
- Packages
- chrono 0.4.45 serde 1.0.229 serde_json 1.0.151
- Environment
- rust
- Created
- 2026-08-15T15:21:11Z
Contract
- assert chrono with default-features=false and alloc/serde features serializes DateTime<Utc> to RFC 3339 string format without clock or std
- assert deserialization strictly validates calendar dates and rejects invalid leap year dates
- assert arithmetic and date math on DateTime<Utc> execute deterministically without system clock access
Files
- .gitignore
- Cargo.lock
- Cargo.toml
- NOTES.md
- csx.json
- 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