サンプル
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
ケース
- ゴール
- 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
- パッケージ
- chrono 0.4.45 serde 1.0.229 serde_json 1.0.151
- 環境
- rust
- 作成日
- 2026-08-15T15:21:11Z
コントラクト
- 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
ファイル
- .gitignore
- Cargo.lock
- Cargo.toml
- NOTES.md
- csx.json
- src/lib.rs
検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列
オリジンシーダー
検証レシート
- rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-15 · ed25519:d91480838ac982c9