Documentation keel : glossaire, base fiqh, runbooks
Ce sont les documents du moteur keel eux-mêmes, affichés ici tels qu'ils ont été récupérés dans CodeGateSoftware/keel au moment du build. Rien sur cette page n'est ressaisi ni résumé à la main : si un document épinglé change de place ou disparaît en amont, le build de ce site s'arrête net plutôt que d'afficher un contenu périmé.
Comment ça marche
Un manifeste (engine-docs.manifest.json) fixe le chemin de chaque document dans le dépôt du moteur. À chaque build — y compris la reconstruction horaire — le script de récupération télécharge chacun d'eux, réécrit les liens relatifs pour les faire pointer vers leur source GitHub, puis le build les affiche. Le build échoue volontairement si un chemin épinglé renvoie une erreur 404.
À propos de l'édition française
Les documents du moteur paraissent en anglais et font foi. L'édition française ci-dessous résume le glossaire et la base fiqh, et renvoie aux documents originaux dans leur intégralité et dans leur langue d'origine.
Premiers pas
Guides
-
Installing the desktop app
Pourquoi votre ordinateur avertit au sujet des builds desktop de keel — non signées, car les certificats de signature coûtent un argent que le projet n'a pas — ce que macOS et Windows affichent chacun, et le chemin d'installation qui ne déclenche aucun avertissement.
-
Operator runbook
Exploiter un déploiement : les obligations au niveau du compte qu'aucun garde-fou ne peut faire respecter, les mises à niveau et les trois profils de déploiement.
-
Go-live runbook
Le chemin vers un premier ordre réel supervisé — promotion, papier et étapes soumises à une validation humaine.
Référence
-
Glossary
L'unique source du vocabulaire de keel — chaque terme qu'un écran de keel peut afficher est défini ici, et nulle part ailleurs.
-
The fiqh basis
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é.
-
Software Architecture Record
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.
-
The read-only MCP server
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.
Décisions
-
Decision 0001: the desktop update path
Pourquoi l'application de bureau ne se met jamais à jour elle-même : la mise à jour passe par le téléchargement délibéré du nouvel installateur — une posture de confiance préférée à un canal de mise à jour qu'il faudrait lui-même sécuriser.
-
Decision 0002: SQLite persistence
Pourquoi la persistance est SQLite avec un seul écrivain par fichier — énoncé comme porteur et non comme limite, avec les déclencheurs nommés qui seuls rouvriraient la question.
-
Decision 0003: the commands-layer survey
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.
-
Decision 0004: monetisation is not now
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.
-
Decision 0005: options
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.
Recherche et expériences
-
The research toolkit
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.
-
Experiment: the honest result, restated
Le compte rendu complet du résultat mesuré : 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, et les défauts qui ont imposé une rectification.
-
Experiment: the hourly backtest
Pourquoi le profil horaire existe : mesurées sur des bougies ONE_HOUR, les mêmes règles déclenchent 49,4 signaux par actif et par an, au lieu de 2,15.
-
Experiment: rule-family significance
L'avantage d'une famille se distingue-t-il de zéro aux frais réellement payés ? Mesuré sur tout l'historique en cache de chaque produit : aucun ne s'en distingue, dans aucun régime de frais — le rôle de l'outil était de pouvoir dire non, et il dit non.
-
Experiment: the Optuna parameter study
Un optimiseur pointé sur les familles de règles pour voir si un candidat méritait le parcours : le verrou de promotion a refusé chaque cellule, et les gagnants ajustés ont été consignés à titre de diagnostic uniquement — jamais des vies réglées automatiquement.
-
Experiment: trailing vs static exits
La politique de sortie à cliquet uniquement — câblée, puis mesurée face aux sorties statiques aux frais réellement payés : le trailing dégrade nettement les deux familles, donc les défauts restent désactivés. La capacité existe ; la mesure dit de ne pas l'activer.
-
Research: speculation risk sources (Lahlou)
Revue de littérature sur les origines du risque dans la spéculation — un pan du corpus de recherche qui sous-tend la base fiqh.
-
Research: money management & fiqh sources
Revue de littérature sur la gestion de l'argent dans le trading et son traitement en fiqh.
Deux résumés en français
Résumé du glossaire
Le glossaire est l'unique source du vocabulaire de keel : chaque terme qu'un écran de keel peut afficher y est défini, et nulle part ailleurs — la documentation y renvoie plutôt que de redéfinir et de risquer l'écart. Il hérite de deux règles d'honnêteté de la base fiqh : les termes du fiqh y sont ancrés, jamais inventés — leur définition est une citation littérale de la base fiqh, accompagnée d'une ligne de source nommant le document et la section exacte — et là où la base ne tranche pas sur un terme (comme le gharar), le glossaire le dit explicitement, au lieu de combler le vide par une paraphrase qui aurait des airs d'avis juridique.
Les paramètres des règles n'y sont pas définis : ce que signifie entry_lookback dans turtle_breakout réside dans la classe qui le définit et s'affiche par introspection — un second tableau, ici, se désynchroniserait dès qu'une classe changerait.
Résumé de la base fiqh
La base fiqh est écrite pour une développeuse ou un développeur musulman qui envisage de confier de l'argent à keel. Elle expose, règle par règle, le raisonnement Shariah encodé dans le dépôt et l'endroit où se trouve la source de chaque règle — pour que l'ensemble soit vérifiable même par qui ne sait pas déjà où chercher. Le savoir y est cité, jamais reformulé : chaque règle porte un renvoi vers une source du dépôt, et le code d'application porte les mêmes renvois dans ses commentaires.
Ce qu'elle n'est pas : une fatwa, ni la prétention que keel puisse en produire. Aucun savant n'a examiné ce document ; l'éventualité d'un tel examen est une question délibérément ouverte (#289), et rien ici ne doit être lu comme s'il avait eu lieu. Quand une source se tait sur un point, on écrit « non tranché » — le vide n'est jamais comblé par une formule qui ressemblerait à un avis.
Traduit d'après la révision anglaise 2026-08-19.2.