diff --git a/Cargo.lock b/Cargo.lock index 9a58cb7..4aebc96 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -2074,9 +2074,9 @@ dependencies = [ [[package]] name = "rustls-webpki" -version = "0.103.15" +version = "0.103.16" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f3c3cf1d8b1e7d4927e2d154c3fcb02979afb9939629c62cd9048d4f07b60ac2" +checksum = "4443b1b6d39d7c663139942cc4558262562d2c84123bb6282ef177009ca8b281" dependencies = [ "ring", "rustls-pki-types", @@ -2888,9 +2888,9 @@ dependencies = [ [[package]] name = "webpki-roots" -version = "1.0.9" +version = "1.0.10" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7dcd9d09a39985f5344844e66b0c530a33843579125f23e21e9f0f220850f22a" +checksum = "1c1c8e20c8a38fc7d65abfe74eb7280e4aa667e8eec8bc84996d2874810748d9" dependencies = [ "rustls-pki-types", ] diff --git a/basis/src/tools/spawn.rs b/basis/src/tools/spawn.rs index a0e534f..c7bff3e 100644 --- a/basis/src/tools/spawn.rs +++ b/basis/src/tools/spawn.rs @@ -26,7 +26,9 @@ //! A task may also run *while the model keeps working* (ADR-0042): the //! `background` field beside the string starts it and returns its handle, and //! a call of `wait` alone — no string — collects one or more handles. Same -//! door, same gate, two more typed facts; [`background`] has the lifecycle. +//! door, same gate, two more typed facts. Completed tasks deliver their results +//! automatically or through `wait`, and the parent turn joins unfinished tasks +//! before it ends. //! //! # What the approver sees //!