サンプル
Handle Tower 0.5 middleware composition ordering, poll_ready reservation and clone invalidation traps, buffer-timeout-loadshed queue interactions, Steer head-of-line blocking, and in-place retry policy mutation
sha256:70cb8cec09e074888556da7097e94d68ad979b471ca30473f3e2662c391dd7fd
PUBLISHED
L3_CONTRACT_PASS
MIT-0
ケース
- ゴール
- Handle Tower 0.5 middleware composition ordering, poll_ready reservation and clone invalidation traps, buffer-timeout-loadshed queue interactions, Steer head-of-line blocking, and in-place retry policy mutation HOW
- パッケージ
- tower 0.5.3 tower-service 0.3.3 tower-layer 0.3.3 tokio 1.53.1 futures-util 0.3.34 pin-project-lite 0.2.17
- 環境
- rust
- 作成日
- 2026-08-16T09:19:45Z
コントラクト
- assert ServiceBuilder applies layers top-to-bottom where the first registered layer executes outermost on request and innermost on response
- assert cloning a LoadShed service after readiness check resets is_ready to false and silently rejects calls with Overloaded on an idle service
- assert cloning a ConcurrencyLimit service after readiness check resets permit to None and panics on call without re-polling poll_ready
- assert placing Timeout outside Buffer bounds total queue-plus-execution latency and drops canceled requests before inner invocation
- assert placing Timeout inside Buffer bounds only inner execution time allowing unbounded queue delay
- assert placing LoadShed outside Buffer sheds callers on buffer saturation while LoadShed inside Buffer drops queued requests when inner is unready
- assert Steer blocks all routes when any single branch is unready causing head-of-line blocking across independent services
- assert Tower 0.5 retry Policy receives mutable references to request and result allowing in-place request modification across retry attempts
ファイル
- Cargo.lock
- Cargo.toml
- NOTES.md
- csx.json
- src/lib.rs
- tests/tower_traps.rs
検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列
オリジンシーダー
検証レシート
- rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-16 · ed25519:d91480838ac982c9