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
2 changes: 1 addition & 1 deletion src/components/Footer.astro
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ const chrome = t(locale);
const c = home[locale];

const honestExperiment = engineBlobUrl(
"docs/experiments/2026-08-13-restated-under-a-production-faithful-engine.md",
"docs/experiments/2026-09-05-restatement-restated.md",
);

const editionLinks = [
Expand Down
2 changes: 1 addition & 1 deletion src/components/pages/HomePage.astro
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,7 @@ const honestLinks = [
{
label: c.honest.experimentLabel,
href: engineBlobUrl(
"docs/experiments/2026-08-13-restated-under-a-production-faithful-engine.md",
"docs/experiments/2026-09-05-restatement-restated.md",
),
},
{
Expand Down
8 changes: 4 additions & 4 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.13.2: the screenshots in
* below was verified against keel v0.16.0: 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: eight views",
title: "Step 4 — Take the tour: thirteen 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 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.",
"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 thirteen 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; Positions marks what is held at the rails' own price; Balances shows what a cycle actually recorded; Timeline is one chronology assembled over four separate stores. Research publishes the evidence record — rejected trials included — and what a fill is assumed to cost on each product. Plans is a transparency artifact with nothing to click. Gates lists every capability-increasing action and what gates it, and since v0.15.0 two of them can be run from the browser itself. The fourteenth 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 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.",
"The console's Status view. The header carries thirteen views — Status, Setup, Activity, Orders, Positions, Balances, Timeline, Insights, Research, Rules, Venues, Gates, Plans — and this screenshot predates the six added since v0.13.2. 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
36 changes: 18 additions & 18 deletions src/i18n/guides/explainers.ts

Large diffs are not rendered by default.

8 changes: 4 additions & 4 deletions src/i18n/pages/compare.ts
Original file line number Diff line number Diff line change
Expand Up @@ -181,7 +181,7 @@ const contentFor = (
Object.entries(content).map(([key, texts]) => [key, texts[locale]]),
) as unknown as Omit<CompareContent, "rev" | "translatedFromRev">;

const REV = "2026-09-02.1";
const REV = "2026-09-16.1";

export const compare: LocalizedPage<CompareContent> = {
en: { rev: REV, ...contentFor("en") },
Expand Down Expand Up @@ -337,9 +337,9 @@ const table: { label: LocalizedCell; cells: [Cell, Cell, Cell, Cell, Cell] }[] =
},
cells: [
{
en: "Attested screening that fails closed + 20 rails no order can skip (including qabd)",
ar: "فرزٌ موثَّق يرفض عند الفشل + 20 سكةَ أمانٍ لا تُتجاوَز (منها القبض الحُكمي)",
fr: "Filtrage attesté qui bloque par défaut + 20 garde-fous incontournables (dont le qabd)",
en: "Attested screening that fails closed + 21 rails no order can skip (including qabd)",
ar: "فرزٌ موثَّق يرفض عند الفشل + 21 سكةَ أمانٍ لا تُتجاوَز (منها القبض الحُكمي)",
fr: "Filtrage attesté qui bloque par défaut + 21 garde-fous incontournables (dont le qabd)",
},
NOT_BUILT_IN,
NOT_BUILT_IN,
Expand Down
6 changes: 3 additions & 3 deletions src/i18n/pages/compliance.ts
Original file line number Diff line number Diff line change
Expand Up @@ -110,7 +110,7 @@ export const compliance: LocalizedPage<ComplianceContent> = {
{
label: "The honest result — experiment record",
note: "No shipped rule family is net-positive at the taker fee actually paid; every number stated.",
path: "docs/experiments/2026-08-13-restated-under-a-production-faithful-engine.md",
path: "docs/experiments/2026-09-05-restatement-restated.md",
},
{
label: "The glossary (docs/glossary.md)",
Expand Down Expand Up @@ -209,7 +209,7 @@ export const compliance: LocalizedPage<ComplianceContent> = {
{
label: "النتيجة الصادقة — سجلّ التجربة",
note: "لا تحقّق أيُّ عائلةٍ من القواعد المُصدَّرة ربحًا صافيًا عند رسوم الآخذ الفعلية؛ وكلُّ الأرقام مذكورة.",
path: "docs/experiments/2026-08-13-restated-under-a-production-faithful-engine.md",
path: "docs/experiments/2026-09-05-restatement-restated.md",
},
{
label: "المسرد (docs/glossary.md)",
Expand Down Expand Up @@ -308,7 +308,7 @@ export const compliance: LocalizedPage<ComplianceContent> = {
{
label: "Le résultat honnête — le compte rendu de l'expérience",
note: "Aucune famille de règles livrée ne dégage un résultat net positif aux frais de preneur réellement payés ; tous les chiffres sont donnés.",
path: "docs/experiments/2026-08-13-restated-under-a-production-faithful-engine.md",
path: "docs/experiments/2026-09-05-restatement-restated.md",
},
{
label: "Le glossaire (docs/glossary.md)",
Expand Down
Loading
Loading