Repository navigation
Document stable Server 2.5.0 cooperative cancellation - #150
Merged
Merged
Conversation
rmcdaniel
marked this pull request as ready for review
October 6, 2026 08:46
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Purpose
Update the public cooperative cancellation guide, protocol mirrors and stable release manifest, owned by shared #136.
The guide identifies the stable Server release. Worker OpenAPI revision 48 marks whole-run cancellation and prepared-local contracts stable. AsyncAPI revision 15 aligns its envelope with runtime protocol 1.20. General independent cancellation scopes remain experimental and disabled. The mirrors match Server #301.
The published stable tuple is Native 2.4.0, Server 2.5.0, PHP SDK 2.2.0, Python SDK 2.4.0, Rust SDK 3.0.0, CLI 2.2.0 and Waterline 2.1.0. Their registries and protected publishers are verified. The stable mixed-language cascade passes all 236 assertions, including callback stop without application heartbeats, actual cleanup-worker SIGKILL and replay, stale-result fencing and duplicate identity/deadline. Both runs finish Cancelled 15.802418 seconds after the original request, within its original 30-second budget.
The guide and manifest use that exact stable tuple. The broader published lifecycle qualification passes all 12 cells without findings or unproven cells. All normal documentation checks pass at
58284c9863a8de9cd85b2dd5a2546cef18dd93db. Merge, then verify deployed manifest, specifications and corrected guide output.The PHP, Python and Rust overview pages point to the cooperative API. Old Python/Rust statements that service mode cannot request cooperation are removed. The local activity guide distinguishes ordinary inline callbacks from protocol 1.20 supervised callbacks.