Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 27 additions & 0 deletions engine-docs.manifest.json
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,15 @@
"section": "reference",
"fr": "Le raisonnement Shariah que keel encode, règle par règle, chacun avec sa source dans le dépôt — publié pour être audité et contesté."
},
{
"path": "docs/architecture.md",
"slug": "architecture",
"title": "Software Architecture Record",
"en": "The system as verified, not as imagined — what keel is, the packages it ships in, the choices holding it up, and, issue by issue, what is not built yet.",
"ar": "النظامُ كما جرى التحقّقُ منه، لا كما يُتصوَّر — ما هو كيل، والحزمُ التي يُشحن بها، والقراراتُ الحاملةُ له، وما لم يُبْنَ بعدُ، مسألةً مسألةً.",
"fr": "Le système tel qu'il est vérifié, non tel qu'on l'imagine — ce qu'est keel, les paquets qu'il livre, les choix qui le portent, et, ticket par ticket, ce qui n'est pas encore construit.",
"section": "reference"
},
{
"path": "docs/decisions/0001-desktop-update-path.md",
"slug": "decision-0001-desktop-update-path",
Expand Down Expand Up @@ -48,6 +57,15 @@
"section": "decisions",
"fr": "L'enquête mesure-d'abord de la couche commands — le rôle de chaque module, et pourquoi « plus grande que le moteur » s'est dissous avant même que l'enquête ne commence."
},
{
"path": "docs/decisions/0004-monetisation-not-now.md",
"slug": "decision-0004-monetisation-not-now",
"title": "Decision 0004: monetisation is not now",
"en": "Why keel does not monetise yet, and why affiliate links are a permanent no rather than a “not yet”: referral revenue would be a direct stake in the same fee schedule keel's credibility depends on assessing without one.",
"ar": "لماذا لا يُحصِّل كيل مالًا الآن، ولماذا روابطُ الإحالة رفضٌ دائمٌ لا «ليس بعد»: فعائدُ الإحالة حصّةٌ مباشرةٌ في جدول الرسوم نفسِه الذي تقوم مصداقيةُ كيل على تقييمه بلا مصلحةٍ فيه.",
"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/desktop-install.md",
"slug": "desktop-install",
Expand Down Expand Up @@ -84,6 +102,15 @@
"section": "reference",
"fr": "keel mcp : les huit outils en lecture seule qu'un assistant peut appeler — doctor, capabilities, profiles, orders, veto_log, purification, trials, reports — et la clôture, en six murs, qui les garde en lecture seule."
},
{
"path": "docs/research-toolkit.md",
"slug": "research-toolkit",
"title": "The research toolkit",
"en": "The thirteen evidence modules keel research fronts — each with the question it answers and, to be read just as carefully, the question it refuses to answer.",
"ar": "وحداتُ الأدلّةِ الثلاث عشرة التي يقف عليها أمرُ keel research — كلٌّ منها بالسؤال الذي تجيب عنه، وبالسؤال الذي ترفض الإجابةَ عنه، وهذا الثاني يُقرأ بالعناية نفسِها.",
"fr": "Les treize modules de preuve que keel research met en façade — chacun avec la question à laquelle il répond et, à lire avec autant d'attention, celle à laquelle il refuse de répondre.",
"section": "research"
},
{
"path": "docs/experiments/2026-08-13-restated-under-a-production-faithful-engine.md",
"slug": "experiment-honest-result-restated",
Expand Down
Binary file modified public/get-started/webui-fetch.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified public/get-started/webui-gates.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified public/get-started/webui-insights.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified public/get-started/webui-rules.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified public/get-started/webui-setup.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified public/get-started/webui-status.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
6 changes: 6 additions & 0 deletions src/components/pages/HomePage.astro
Original file line number Diff line number Diff line change
Expand Up @@ -72,6 +72,12 @@ const honestLinks = [
"docs/experiments/2026-08-13-restated-under-a-production-faithful-engine.md",
),
},
{
label: c.honest.costLabel,
href: engineBlobUrl(
"docs/experiments/2026-09-01-per-product-slippage-restatement.md",
),
},
{ label: c.honest.announcementLabel, href: "https://github.com/CodeGateSoftware/keel/discussions/304" },
];

Expand Down
19 changes: 13 additions & 6 deletions src/i18n/guides/content.ts
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/**
* Get Started guides — editorial, site-authored newbie walkthroughs (EN for
* now, like the engine documents themselves). Every command, page and button
* below was verified against keel v0.12.2: the screenshots in
* below was verified against keel v0.13.2: the screenshots in
* public/get-started/ were captured by scripts/render-webui-shots.mjs from a
* real `keel serve` console on a fresh paper working directory — the curses
* TUI these guides used to teach was deleted from the engine before v0.12.2
Expand Down Expand Up @@ -66,13 +66,13 @@ export const guides: Guide[] = [
code: "keel serve",
},
{
title: "Step 4 — Take the tour: seven views",
title: "Step 4 — Take the tour: eight views",
body: [
"keel serve prints a URL carrying a one-time token for this run, opens your browser, and from there everything lives behind the header's seven views. Status (the page you land on) answers \"is it alive\"; Setup is the checklist of what this deployment still needs; Activity, Insights, Rules and Venues report what keel did and found; Gates lists every capability-increasing action and what gates it. The eighth header entry, Docs, links out to the documentation you are reading.",
"keel serve prints a URL carrying a one-time token for this run, opens your browser, and from there everything lives behind the header's eight views. Status (the page you land on) answers \"is it alive\"; Setup is the checklist of what this deployment still needs; Activity, Insights, Rules and Venues report what keel did and found; Orders is the ledger of every order placed, each carrying the venue's own bid and ask at the moment keel submitted it; Gates lists every capability-increasing action and what gates it. The ninth header entry, Docs, links out to the documentation you are reading.",
],
shot: "/get-started/webui-status.png",
shotCaption:
"The console's Status view with the seven-view header: Status, Setup, Activity, Insights, Rules, Venues, Gates. The paper badge (top right) is the deployment's mode; the footer says it is served from this machine only.",
"The console's Status view with the eight-view header: Status, Setup, Activity, Orders, Insights, Rules, Venues, Gates. The paper badge (top right) is the deployment's mode; the footer says it is served from this machine only.",
},
{
title: "Step 5 — Read the dashboard",
Expand Down Expand Up @@ -205,7 +205,7 @@ export const guides: Guide[] = [
],
shot: "/get-started/webui-gates.png",
shotCaption:
"The Gates view: keel autonomy on, keel resume, keel withdrawals attest --enabled and friends — each with what it increases, and the terminal gate (a typed yes at an interactive TTY) it must pass.",
"The Gates view: eight actions — keel autonomy on, keel resume, keel withdrawals attest --enabled, keel scope attest --trading and the rest — each with what it increases, and the terminal gate (a typed yes at an interactive TTY) it must pass.",
},
{
title: "Step 2 — Screen and attest the allowlist",
Expand All @@ -230,7 +230,14 @@ export const guides: Guide[] = [
code: "keel withdrawals attest --enabled",
},
{
title: "Step 5 — Purification, honestly",
title: "Step 5 — Attest the venue's trade scope (rail 20)",
body: [
"A credential that reads fine is not evidence it can trade: keel has watched a well-formed key pass every read and still have its first live order refused by the venue. Rail 20 closes that hole by failing closed — until a venue is attested, keel ships unable to place a live entry on it at all. keel scope attest --trading releases that veto, so it demands a typed yes at a terminal; --read-only only ever reduces capability and stays ungated. The record is bound to the credential that earned it, so a rotated key means re-attesting. Like rail 17, this is entries-only — exits are never affected, because an exit must always be able to leave.",
],
code: "keel scope attest --trading",
},
{
title: "Step 6 — Purification, honestly",
body: [
"keel purification reports non-compliant income owed to charity (KB §65.9) from what actually ran through the engine. Account-level duties no rail can see — disabling USDC rewards on idle balances, chiefly — appear in the checklist as the venue-interest step, and keel will never show that one as done: the venue's API does not expose enrolment, and a green check that verifies nothing turns an open risk into a false assurance. It stays on the operator's checklist, in the operator runbook.",
],
Expand Down
Loading
Loading