docs(engine): publish ADR 0005 — keel does not trade options - #141
Merged
Merged
Conversation
`docs/decisions/0005-options.md` was signed in the engine repo and the site published its four siblings without it, so a reader could see decisions 0001-0004 and not the standing rule on options. WHY THIS WAITED FOR A RELEASE The manifest resolves `ref: "latest-release"`, and this entry was drafted two days ago when the newest tag was v0.14.0 -- which does not contain the file. Adding it then would have 404'd at fetch time and failed the build on purpose, per the note in `src/i18n/pages/docs.ts`: "The build fails on purpose if any pinned path 404s." keel cut v0.14.1 for this, and the file is in the tag. Verified before pushing: all TWENTY manifest paths, not only the new one, resolve at v0.14.1 -- four of the mirrored documents were edited in the same window and a rename in any of them would have failed this build with the new entry taking the blame. Placed after 0004 so the decisions section stays in numeric order. Descriptions in all three languages, in the register the other four use: what the record decides, and what it deliberately does not. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KZZxmspQXe5qJ9FAsG13s6
|
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.
docs/decisions/0005-options.mdwas signed in the engine repo (keel#637, keel#765). The site published its four siblings without it, so a reader could see decisions 0001–0004 and not the standing rule on options.{ "path": "docs/decisions/0005-options.md", "slug": "decision-0005-options", "title": "Decision 0005: options", "section": "decisions" }Why this waited for a release
The manifest resolves
"ref": "latest-release". This entry was drafted two days ago, when the newest tag was v0.14.0 — which does not contain the file. Adding it then would have 404'd at fetch time and failed the build on purpose, persrc/i18n/pages/docs.ts:keel cut v0.14.1 for this, and the file is in the tag.
Verified before pushing
All twenty manifest paths resolve at
v0.14.1— not just the new one. Four of the mirrored documents were edited in the same window (glossary.md,mcp-server.md,operator-runbook.md, and the decisions index), and a rename in any of them would have failed this build with the new entry taking the blame.Placed after
0004so the decisions section stays in numeric order. Descriptions in all three languages, in the register the other four use: what the record decides, and what it deliberately does not.🤖 Generated with Claude Code
https://claude.ai/code/session_01KZZxmspQXe5qJ9FAsG13s6