docs: keep lock-gate and log-stream instructions current - #36
Open
quantizor wants to merge 4 commits into
Open
Conversation
prepareSpawn is now the one start funnel for the resource-hold gate, so the map and the CLI contract say so: up of a stopped server that uses a locked resource is refused, and a live one stays up. zsh's log is a builtin, so the stream command is /usr/bin/log. The design spec drops the retired --no-pause spelling.
The ratified snapshot still described the old CLI, daemon, paths, and bundle id. Commands and identifiers now match the living tree. The notary keychain profile stays `devctl-notary` because that is the stored credential. Historical CHANGELOG links are unchanged.
Commands, GitHub links, the cask, and the daemon binary now read as directa so a copied command from an older entry still runs.
A second ensure of the same stopped server could see the first child's bind as an unmanaged listener and fail port-held, because handle is re-entrant at every await. The spawn gate holds the port claim until that start has begun so the other caller joins.
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
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.
Follow-up to #34. The start funnel now also owns the resource-hold gate, so the agent map and the CLI contract say that
upof a stopped server using a locked resource is refused, and a live one stays up. The unified-log stream command is/usr/bin/log, because zsh'slogis a builtin and rejects the predicate. The design spec drops the retired--no-pausespelling. Changelog and design-spec commands now read asdirecta.Also a daemon fix: two
ensurecalls for the same stopped server at the same moment join instead of one failing as a port conflict.