From 55fc2b7abe5950c0198ed82cbead495fd19cf538 Mon Sep 17 00:00:00 2001 From: Elmehdi Aitbrahim Date: Wed, 9 Sep 2026 18:45:12 -0400 Subject: [PATCH] docs(engine): publish ADR 0005 -- keel does not trade options `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) Claude-Session: https://claude.ai/code/session_01KZZxmspQXe5qJ9FAsG13s6 --- engine-docs.manifest.json | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/engine-docs.manifest.json b/engine-docs.manifest.json index ffaaef9..9ed9941 100644 --- a/engine-docs.manifest.json +++ b/engine-docs.manifest.json @@ -66,6 +66,15 @@ "fr": "Pourquoi keel ne se monétise pas maintenant, et pourquoi les liens d'affiliation sont un non définitif plutôt qu'un « pas encore » : un revenu de parrainage serait un intérêt direct dans le barème de frais que la crédibilité de keel repose sur sa capacité à évaluer sans intérêt.", "section": "decisions" }, + { + "path": "docs/decisions/0005-options.md", + "slug": "decision-0005-options", + "title": "Decision 0005: options", + "en": "Why keel does not trade options — refused on operational grounds, with the permissibility question expressly not reached, and the four facts that would reopen it.", + "ar": "لماذا لا يتداول كيل الخيارات — رُفضت لأسبابٍ تشغيلية، مع الامتناع صراحةً عن الخوض في مسألة الجواز، والحقائق الأربع التي تعيد فتحها.", + "fr": "Pourquoi keel ne négocie pas d'options — refusées pour des raisons opérationnelles, la question de la licéité n'étant expressément pas abordée, et les quatre faits qui la rouvriraient.", + "section": "decisions" + }, { "path": "docs/desktop-install.md", "slug": "desktop-install",