Uh oh!
There was an error while loading. Please reload this page.
docs(DEN-1413): record shipped durable first-install contract - #27
Merged
Conversation
Preserve the reviewed durable-manifest documentation history while composing it onto current docs main. Current main already owns architecture numbers 24 through 26, so renumber the stale document to 27 instead of overwriting the recursive-installs design. Retain every current README entry, mark the feature implemented, and replace in-review references with the exact zed-cli #88 and zed-pkg-e2e #34/#35 heads and merge SHAs. Document the Linux transaction-recovery race found by current-main validation, the kernel-backed install-lock fix, the certified Node/Go/Python/Rust Linux/macOS boundary, and the explicit Windows/WSL non-certification scope.
Uh oh!
There was an error while loading. Please reload this page.
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 freeto join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
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.
Scope
Replaces stale docs PR #21 with a semantic current-main integration for the completed durable first-install feature.
Current-main composition
Exact head:
The commit has two parents:
mainat55df86ec809cb03d48108d80694b8d71953e479a; and9401a15a4a38fee173695abd5bc7cad369024966.Current main already owns architecture numbers 24 through 26. The stale branch's
docs/24-durable-first-install-manifests.mdis therefore not copied over or allowed to replace the recursive-installs design. The document is semantically renumbered to 27, while every newer README row remains intact.The final current-main delta is exactly two files:
README.md: one new doc-27 index row, marked implemented and independently certified;docs/27-durable-first-install-manifests.md: the reviewed contract updated to the final shipped state.Final evidence recorded
zed-pkg/zed-cli#88;fe4b4662fb252166b18c48f9c048f5888ec8df44;436af9240c4a3808d4c22253a56710004189037b;zed-pkg-test/zed-pkg-e2e#34, mergea19f22865d2967f04800062cc8157e5a2015ac9e;zed-pkg-test/zed-pkg-e2e#35, mergea0286ee1c9d0751cc88b29fed7490afd5b972e78;The document also records the Linux transaction-recovery race found during current-main validation and the shipped fix: recovery takes the same kernel-backed store install lock as live project transactions before inspecting rollback journals.
Platform boundary
Node plus Go/Python/Rust are certified on Ubuntu 24.04 and macOS 15. Native Windows and WSL remain explicitly outside this certification result.
Refs DEN-1413, DEN-1574, DEN-567, DEN-772.