A01
Mapping ≠ sémantique.
Le primaire utilise désormais q(c), distribution conditionnelle sur les assignations connues. K = masse connue est mesurée séparément. K<0,80 ou écart de mapping >0,05 ferme la cellule : MEASUREMENT_INSUFFICIENT.
Engineering Repair · 12.09.2026
Réparer l’instrument.
v0.8.5 n’ajoute aucune nouvelle théorie. Elle encode dans le code et les tests les blockers reproduits sur v0.8.2 : mappabilité différentielle, calibration A′, recovery, faux positifs d’agrégation et planning inter-tâches.
ENGINEERING REPAIREXTERNAL RE-AUDIT REQUIREDCONFIRMATORY CLOSED
A02
A′ exige des tailles égales.
La calibration par réplication de référence n’est autorisée que si N_A = N_A′ = N_B et si les gates de mapping passent.
R01
Recovery sous gate de mappabilité.
RECOVERY_LIFT est indisponible si RECOVERY et CONTROL diffèrent de plus de 0,05 de masse connue ou tombent sous 0,80.
G01
Le FPR a enfin une conséquence.
AGG_COVERAGE_ADJUSTED_PRIMARY = (coverage − FPR)/(1 − FPR). Si FPR > 0,25, l’endpoint primaire devient indisponible. Minimum 8 distracteurs, stratifiés NEAR/FAR.
Planning
Familles comme strates fixes.
Le planner exige le même N intra-tâche au planning et à la confirmation, utilise une borne bootstrap haute du SD résiduel, verrouille alpha/power/précision/cap et arrondit le nombre de tâches par multiples de cinq.
Canon v7
Mutation tests réels.
Le linter v0.2 vérifie le littéral contre une ancre fixe. Six corruptions de formule et une corruption du manifeste avec hash recalculé sont toutes rejetées ; le contrôle non muté passe.
Self-test
Les quatre blockers sont maintenant des tests de régression.
Le self-test v0.8.5 force notamment un null sémantique avec 20 % d’UNMAPPED différentiel : aucune cellule ne peut produire un endpoint sémantique primaire. Il vérifie aussi l’échec des N inégaux en mode A′, le gate RECOVERY/CONTROL et le gate FPR.
Une interprétation prudente ne corrige pas un estimateur. v0.8.5 déplace les corrections dans le code.
Documents
Metrics v0.8.5 → · Protocol v0.8.5 → · Self-test → · Recovery engine → · Document maître →
État
Pas encore freeze-ready.
Les réparations sont localement testées. Elles doivent maintenant subir une nouvelle revue adversariale externe, puis un CI reproductible, avant reprise de P0. E5/E6/E7 restent hors du protocole confirmatoire pendant cette phase.