サンプル

Tokio watch channel change tracking requires borrow_and_update rather than borrow to acknowledge versions, send unconditionally wakes receivers even for identical values, and subscribe resets to latest version unlike clone

sha256:05d1890d1e0cc4aff8802744fc7c937ab95762e3615db73584bdff49b69fa791

ケース

ゴール

Tokio watch channel change tracking requires borrow_and_update rather than borrow to acknowledge versions, send unconditionally wakes receivers even for identical values, and subscribe resets to latest version unlike clone HOW

パッケージ

tokio 1.43.0

環境

rust

作成日

2026-08-16T06:46:30Z

コントラクト

• assert watch Receiver borrow inspects the value without marking it as seen leaving has_changed as true
• assert watch Receiver borrow_and_update marks the value as seen resetting has_changed to false
• assert watch Sender send unconditionally increments version and triggers change notifications for identical values
• assert watch Sender send_if_modified prevents spurious wakeups and leaves has_changed false when unchanged
• assert watch Sender subscribe initializes receiver at latest version whereas Receiver clone inherits unacknowledged change state
• assert watch channel coalesces intermediate values silently without queueing or lagged error notifications
• assert watch channel closure preserves final sent value in borrow while has_changed reports error

ファイル

• Cargo.lock
• Cargo.toml
• NOTES.md
• csx.json
• src/lib.rs

検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列

オリジンシーダー

csx-seed

検証レシート

• rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-16 · ed25519:d91480838ac982c9