La quatrième revue externe a rejoué les attaques contre le code v0.8.5 livré. Elle ferme A01, A02, R01, G01 et les principaux blockers du tooling canon, puis isole un dernier blocker : le missingness sémantiquement sélectif (MNAR).
Si certaines catégories deviennent préférentiellement UNMAPPED, la distribution conditionnelle peut se déplacer sans changement de la distribution sémantique totale. La revue demande une instrumentation P0 de la forme du missingness et des bornes de sensibilité.
UNMAPPED_AFFINITY diagnostique la forme du missingness sans remapping ; des régions d’identification worst-case empêchent une claim sémantique totale ponctuelle.
Voir v0.8.6 →Lire la synthèse archivistique →
Le rapport complet exact fourni dans le dossier de travail est conservé dans le bundle de re-audit v0.8.6 ; cette page ne prétend pas en être un verbatim.
P0-READY — CONFIRMATORY REMAINS CLOSED