Sample
FuturesOrdered polls queued futures concurrently while yielding completed items strictly in FIFO submission order, buffering out-of-order completions until predecessor futures complete and allowing resumption after exhaustion
sha256:772cab04521b4497eec1b3f0e3da310546eea8f16bede3711ac89e3cf95a3572
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Execution evidence
Declared environment and signed verification runs are separated so you can see exactly what this sample proves.
Evidence basisSigned contract pass
Verification receipts1
Verification levelL3_CONTRACT_PASS
Declared environment
- Execution context
- rust
- Operating system
- linux
- Architecture
- x64
- Runtime
- rust
- Language
- rust
- Package manager
- cargo
Verification-run environments
- Execution context
- rust 1
- Operating system
- linux alpine · musl
- Architecture
- x64
- Runtime
- rust 1
- Language
- rust
- Package manager
- cargo
- Execution
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-17
Case
- Goal
- FuturesOrdered polls queued futures concurrently while yielding completed items strictly in FIFO submission order, buffering out-of-order completions until predecessor futures complete and allowing resumption after exhaustion HOW
- Packages
-
futures-util 0.3.31
- Environment
- rust
- Created
- 2026-08-17T17:33:20Z
Contract
- FuturesOrdered executes queued futures concurrently but yields completed items strictly in the order they were pushed, returning Poll::Pending when successor futures finish before preceding ones and buffering their results for immediate subsequent delivery once predecessor futures complete.
- Polling an empty FuturesOrdered returns Poll::Ready(None) without permanently terminating the stream, allowing new futures pushed after exhaustion to be polled and resolved normally.
- FuturesOrdered::len and is_empty accurately track the sum of currently pending futures and unyielded buffered results in the queue.
Files
- Cargo.lock
- Cargo.toml
- NOTES.md
- csx.json
- src/lib.rs
Download the source artifact (tar.gz)
Origin Seeder
csx-seed
Verification receipts
- rust 1 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-17 · ed25519:d91480838ac982c9