Validé se calcule, ne s'affirme jamais
Ces chiffres sont lus en direct depuis le moteur embarqué dans cette page : sa batterie de contrôles, son parc de modèles, sa dette nommée. Pas une diapositive — le manifeste.
Le programme, en direct
Lu depuis le moteur de cette page, à l'instant
Contrôles exécutables
20
Moteurs couverts
15
Familles de modèles validées
20
Référencées sans preuve
0
la dette nommée — tenue à zéro
Pourquoi c'est important
Chaque contrôle se réexécute à chaque version du moteur. Un changement de version rend caduque chaque validation antérieure — la discipline s'applique au moteur lui-même.
Pourquoi un programme de validation existe
Un moteur de risque faux échoue en silence : les chiffres semblent plausibles, les tableaux de bord restent verts, et l'erreur se compose en décisions. La seule défense : des mathématiques auxquelles le moteur doit répondre — formes fermées, arithmétique réglementaire recalculée à la main, identités exactes au centime. Ce parcours montre quatre des dix défauts que cette discipline a détectés dans notre propre moteur, puis vous laisse exécuter la batterie complète vous-même.
Limite énoncée
Dix vrais bugs ont été trouvés et corrigés dans le programme — chacun dans le sens qui flattait les chiffres. Les quatre montrés ici sont les plus instructifs ; l'historique des commits porte les dix — le dixième a été trouvé en construisant ces parcours mêmes, dans la façon dont les exécutions antithétiques rapportaient leur erreur type.