Repository navigation
Conversation
why: Workspace callers need a complete interruption example with retained evidence, compensation limits and navigation from task pages. what: - Add the source-owned workspace recovery route and overview links - Refresh native contracts, guide bodies, source links and mentions - Preserve partial qualification and unresolved streaming results Native source: 3be232388ec28a260bb87c20e410af2dfa7b1fa2
why: Revision-bound package and example catalogs must describe the same native source as the refreshed API model and guides. what: - Regenerate the OCaml manifest inventory at the selected source - Align embedded example provenance without changing source bytes - Preserve every sibling catalog entry
why: The interruption guide needs public contracts, examples and source citations from one native revision. The released builder validates its compiled inputs and native exporter separately. what: - Integrate the released docs baseline without rewriting branch history - Regenerate OCaml API, guide, example and package provenance - Keep recovery navigation and unresolved qualification limits
This branch has not been deployed
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
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.
Summary
Applications need to retain the execution journal outside cancellation and client cleanup, inspect reported creations, and check compensation without assuming program effects were undone. The guide uses the installed, independently exercised native example. The updated backend contracts state the compensation default and the journal's in-memory lifetime.
Integration
This draft targets
mainafter the combined new-port release in #291. API and source caches follow the published native source, with separate exporter provenance. The deferred constructor-parser change remains a separate follow-up. Theno-previewlabel holds preview publication.Test plan
The render is a qualification build, not evidence that the development-loop budget passed. The latest local outer check fails on the resolver corpus test's five-second timeout (39.809 s for the command); broader type checking was interrupted. Earlier independent source review found no remaining findings. The complete example and its displayed commands retain their installed-consumer evidence; no new local real-tmux run was performed for this documentation refresh.
Qualification limits
The latest native master CI passed quality and tmux 3.3a, but failed the tmux 3.8 installed stream-gap walkthrough after gap and fresh-coverage output with
outcome unknown: disconnected: bound daemon exited. The later documentation step was skipped. The daemon's exit cause remains unresolved.The published native source CI passed quality and both tmux endpoints. That positive sample does not resolve the later streaming failure or earlier findings. The guide preserves the earlier workspace readiness finding, installed stream-gap FAIL/FAIL and final-suite UNVERIFIED/UNVERIFIED. Full native qualification and package adoption remain on hold. This draft leaves producer/publisher pins and production publication to the shared-docs owner.