From 033ebf7e47933fc30df394f7f860fde584f860eb Mon Sep 17 00:00:00 2001 From: Wendell Date: Thu, 22 Oct 2026 20:15:08 +0800 Subject: [PATCH 1/2] fix(spawn): describe the background lifecycle in public docs --- basis/src/tools/spawn.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 //! From 0048c81886d6fba5f26b7bceccb7707394b1230b Mon Sep 17 00:00:00 2001 From: Wendell Date: Thu, 22 Oct 2026 20:19:35 +0800 Subject: [PATCH 2/2] fix(deps): update TLS certificate verification dependencies --- Cargo.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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", ]