[tony]

Summary

• Add a complete workspace interruption guide and task-page navigation.
• Refresh API contracts, package catalogs, example provenance, guide bodies and source citations.
• Preserve partial workspace qualification and unresolved streaming failures.

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 main after 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. The no-preview label holds preview publication.

Test plan

• Real selected-source export and isolated rejection controls, including unchanged-output assertions.
• OCaml and Clojure adapter suites (2.023 s).
• OCaml documentation, navigation, source-staging and package suites (5.557 s).
• API model, staged guides and mention freshness (combined checks: 4.806 s).
• Revision-bound package inventory and example caches (included in the combined freshness checks).
• Source-link destinations (0.148 s).
• Selected-port render (73.452 s) and owned-link/fragment audit (23.323 s).
• Rendered navigation, compensation defaults, compatibility rows and unchanged example blocks.
• Package-scoped type-aware lint for the guide catalog (0.795 s).
• Existing OCaml cross-reference floor and type-link ceiling, with tracked thresholds unchanged.
• Complete assembled-site audit, cross-port browser/search checks and hosted CI for this follow-up.

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.