A mutant the node series missed but the long series killed was still
counted as a survivor, so the committed audit overstated what escapes
the tests. It now has its own column: 15 of the 137 survivors move
there, leaving 122; the committed files are regenerated from their own
results, without a rerun. The audit itself now runs in the long series
on a small fixture tree: long-series replay, exit code 0 with
survivors, exit 2 and nothing written when the baseline fails. The
committed audit files are read back and must match what rediger writes.
Checked: 3868 node and 105 long tests from the index alone.
--- FR ---
[IMP] mutation : tués par la série longue à part, audit éprouvé entier
Un mutant que la série node manquait et que la série longue tuait
comptait encore comme survivant : l'audit commis surestimait ce qui
échappe aux épreuves. Il a sa colonne : 15 des 137 survivants y passent,
il en reste 122 ; les fichiers commis sont réengendrés de leurs propres
résultats, sans rejeu. L'audit tourne entier dans la série longue sur un
petit arbre : rejeu long, sortie 0 avec survivants, sortie 2 et rien
d'écrit quand la ligne de base tombe. Les fichiers commis sont relus et
doivent égaler ce que rediger écrit.
Vérifié : 3868 node et 105 longues depuis l'index seul.
Assisted-by: Claude Opus 5.5
The audit must say how much of the engine its tests really check. Of 2576
mutants, 2171 are killed, 207 time out, 61 are declared equivalent with a
reason a reviewer can check, and 137 survive, listed by file, operator and
line; the ranking, indicators and ceiling modules have none left. New
tests in classement, indicateurs and plafond kill the survivors found
there, each red under its mutant.
Checked: 3677 node and 101 long tests green from the index alone.
--- FR ---
[ADD] audit : premier audit par mutation du moteur, survivants tués
L'audit doit dire combien du moteur ses épreuves vérifient vraiment. Sur
2576 mutants, 2171 sont tués, 207 dépassent leur délai, 61 sont déclarés
équivalents avec une raison qu'un relecteur vérifie, et 137 survivent,
listés par fichier, opérateur et ligne ; le classement, les indicateurs et
le plafond n'en ont plus. De nouvelles épreuves de classement, indicateurs
et plafond tuent les survivants trouvés là, chacune rouge sous son mutant.
Vérifié : 3677 node et 101 longues vertes depuis l'index seul.
Assisted-by: Claude Opus 5.5
