EN UN COUP D'ŒIL
Le chiffre de tête vient du stress-test de la version 0.26.0. Le détail ci-dessous est l'échantillon committé et reproductible en une commande : trois dépôts open source, chacun épinglé à un commit.
COMPILATION À GRANDE ÉCHELLE
Trois monstres open source compilés et prouvés — mesure du 2026-07-17, Node v22.22.2.
ROUTES COMPILÉES PAR DÉPÔT
TEMPS DE COMPILATION
Total : 1 337 routes, plus lent 2,052 s, 0 crash. Le script sort en erreur si un dépôt plante ou si le nombre de routes régresse sous un plancher : c'est aussi une barrière anti-régression pour la CI.
REPRODUIRE
$ node bench/repro.mjs$ node bench/repro.mjs --corpus <dir>
LA LIGNE D'HONNÊTETÉ
« Compilé » n'est pas « prouvé ». Les deux chiffres sont séparés volontairement.
Routes compilées — c'est une affirmation de parsing : reproductible, déterministe. C'est le chiffre du benchmark.
PROUVÉ / NON PROUVÉ — c'est le verdict de sûreté, dépôt par dépôt. La plupart des vraies applications ressortent NON PROUVÉ : c'est l'état honnête d'un gros codebase, pas un défaut de SPARDA. Un verdict prouvé partiel dit que SPARDA n'a prouvé que la tranche qu'il a résolue — et il le dit. Il ne prétend jamais plus que ce qu'il a vu.
LE CORPUS ÉPINGLÉ — 7 DÉPÔTS, 2 762 ROUTES, PAS UN SEUL « PROUVÉ » PAR DÉFAUT
| DÉPÔT | ROUTES | VERDICT | COMMIT ÉPINGLÉ |
|---|---|---|---|
| dub | 593 | NON PROUVÉ | bbc533e · 2026-07-26 |
| twenty | 579 | NON PROUVÉ | 590ae069 · 2026-07-27 |
| nocodb | 566 | PRÉMISSE NON VÉRIFIÉE | 64bf196 · 2026-07-24 |
| novu | 451 | NON PROUVÉ | 00e7b5c · 2026-07-27 |
| immich | 281 | PARTIEL | 3606144 · 2026-07-26 |
| cal.com | 177 | NON PROUVÉ | 3894f37 · 2026-07-22 |
| ghostfolio | 115 | À RELIRE | ce35588 · 2026-07-26 |
2 762 ROUTES COMPILÉES · 7 DÉPÔTS · 0 PLANTAGE
AUCUN VERDICT « PROUVÉ » — ET C’EST LE RÉSULTAT ATTENDU
RUNTIME — LE SURCOÛT ET LE GAIN
Mesures du 2026-06-23, sur un CPU volontairement modeste (Intel Pentium 2020M @ 2,40 GHz), 3 000 appels. Deux choses distinctes : ce que le routeur coûte, et ce que le recyclage des réponses fait gagner.
SURCOÛT DU PROXY — ROUTEUR MCP vs APPEL DIRECT
LATENCE SERVIE (p50) — RECYCLAGE OFF vs ON
Sur la médiane, le recyclage divise la latence par ~12. Mais on montre aussi la queue, au lieu de la cacher : au p95 et au p99, le mode ON peut dépasser le OFF (41,65 ms contre 25,32 ms au p95). Un gain médian réel, une queue plus longue et assumée.
| MODE | p50 | p95 | p99 |
|---|---|---|---|
| OFF | 14,81 ms | 25,32 ms | 67,6 ms |
| ON | 1,24 ms | 41,65 ms | 96,17 ms |
La jauge de recyclage lit 0 % au jour 1 et se remplit à l'usage : c'est une mesure, jamais une promesse.
REPRODUIRE
$ node bench/flywheel-bench.mjs
CE QUI EST GARANTI CÔTÉ CORRECTION
NOTES DE MESURE
Les chiffres de compilation et de runtime proviennent de machines et de dates différentes, indiquées à chaque section. Les temps runtime sont mesurés sur un CPU volontairement modeste : ils sont donc conservateurs.
Tous les scripts de reproduction vivent dans le dépôt public et sont exécutés en intégration continue, pour garder ces chiffres honnêtes dans le temps.
Version publiée du paquet au moment de la mise en ligne : 0.71.3.