Documentation keel : glossaire, base fiqh, runbooks

Ce sont les documents du moteur keel eux-mêmes, affichés ici au moment du build depuis CodeGateSoftware/keel. Rien dans cette page n'est ressaisi ni résumé à la main : si un document épinglé est déplacé ou disparaît en amont, le build de ce site échoue bruyamment plutôt que d'afficher quelque chose de périmé.

Récupéré au moment du build depuis CodeGateSoftware/keel@main. Si un document est déplacé, le build échoue — ce site n'affiche jamais de documents périmés. Dernière récupération : 2026-08-20.

Comment ça marche

Un manifeste (engine-docs.manifest.json) épingle 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, réécrit les liens relatifs pour pointer vers leurs sources GitHub, puis le build les affiche. Le build échoue volontairement si un chemin épinglé renvoie 404.

À propos de l'édition française

Les documents du moteur sont publiés en anglais et constituent le texte de référence. L'édition française ci-dessous résume le glossaire et la base fiqh, et renvoie aux documents originaux complets dans leur langue d'origine.

Premiers pas

Guides

Référence

Recherche et expérimentations

Deux résumés en français

Résumé du glossaire

Le glossaire est l'unique source du vocabulaire de keel : chaque terme qu'une interface de keel peut afficher y est défini, et nulle part ailleurs — la documentation pointe vers lui plutôt que de redéfinir et risquer la dérive. Il hérite deux règles d'honnêteté de la base fiqh : les termes fiqh sont ancrés, jamais inventés — leur définition est une citation littérale de la base fiqh, avec une ligne de source nommant le document et la section exacte — et là où la base ne statue pas sur un terme (comme le gharar), le glossaire le dit explicitement au lieu de combler le vide d'une paraphrase ressemblant à un avis juridique.

Les paramètres des règles n'y sont pas définis : ce que signifie entry_lookback dans turtle_breakout vit dans la classe qui le définit, affiché par introspection — un second tableau ici dériverait dès qu'une classe changerait.

Lire le document original en entier (EN) →

Résumé de la base fiqh

La base fiqh est écrite pour une développeuse ou un développeur musulman qui décide de confier de l'argent à keel. Elle énonce, règle par règle, le raisonnement Shariah encodé dans le dépôt, et où vit la source de chaque règle — pour que la base soit auditable par qui ne sait pas déjà où chercher. C'est de l'érudition par référence : chaque règle porte une citation vers une source du dépôt, et le code d'application porte les mêmes citations dans ses commentaires.

Ce qu'elle n'est pas : une fatwa, ni la prétention que keel puisse en produire. Aucun savant n'a revu ce document ; l'éventualité d'une telle revue est une question délibérément ouverte (#289), et rien ici ne doit être lu comme si elle avait eu lieu. Quand une source se tait sur un point, on écrit « non statué » — le vide n'est jamais comblé par une formulation qui ressemblerait à un avis.

Lire le document original en entier (EN) →

Dernière traduction depuis la révision anglaise 2026-08-19.2.