v0.8.7 répond au NO-GO de la re-revue Claude n°5. Les bornes empiriques de missingness restent disponibles comme objets d’identification, mais elles ne peuvent plus être interprétées comme exclusion populationnelle de zéro. Une région externe conservatrice incorpore désormais le bruit d’échantillonnage ; P0 reste interdit de claim totale.
v0.8.6 pouvait exclure zéro sous nul exact à cause de la somme de parties positives. v0.8.7 sépare l’intervalle empirique sharp d’une région externe sampling-aware fondée sur Hoeffding + union bound.
Le primaire reste le déplacement sémantique conditionnel au codebook gelé. Aucun booléen de claim sémantique totale n’est produit à partir des bornes empiriques.
Sous nul exact, les bornes empiriques basses étaient >0 dans 200/200 réplications à N=64, 128, 512 et 4096. La nouvelle borne externe basse est restée à zéro dans 0/200 exclusions pour chaque cellule testée.
Voir la trace →La relevance est dérivée du codebook SHA-lié. Chaque tâche fournit son hash et l’analyse vérifie aussi la table pré-enregistrée de hashes et son digest global.
>40 % d’attrition globale ou dans une seule des cinq familles, ou moins de 6 tâches valides dans une famille, ferme toute claim généralisée. Le planner applique aussi un REDESIGN_NO_GO au niveau P0.
Si le gate FPR global ou NEAR échoue, le primaire NEAR-adjusted et la sensibilité global-adjusted deviennent tous deux None. Les scores bruts restent diagnostics seulement.
La logique v0.4 fixe les SHA du MASTER, du manifest canon et du bundle manifest. Le corpus conserve un PASS local historique, mais l’audit du 19.09 ne peut pas le rejouer tant que les trois artefacts source byte-identiques ne sont pas restaurés dans le paquet courant.
Tooling v0.4 →Le self-test couvre sampling/identification, MNAR, codebook binding, MIN_N, recovery, aggregation fallback, attrition par famille et planner P0.
Voir le self-test →Les moteurs v0.8.7 manquants ont été restaurés depuis la base v0.8.6 en appliquant uniquement les réparations déjà gelées. Le MEOI retrouve exactement son SHA pré-enregistré. Canon FULL reste bloqué par l’absence du bundle source et ENG02 demeure PENDING.
Audit de reproductibilité #6 →La borne empirique répond à une question d’identification conditionnelle à l’échantillon observé. La région externe ajoute une enveloppe de sécurité d’échantillonnage. Aucune des deux n’est convertie silencieusement en claim confirmatoire.
Une borne d’identification n’est pas un intervalle de confiance ; une région de sécurité P0 n’est pas un résultat confirmatoire.
Le chemin local est réparé et testé, mais l’exécution P0 reste bloquée par la re-revue externe v0.8.7, le sign-off d’indépendance sémantique et les credentials modèle. La confirmation reste fermée dans tous les cas.
Freeze status → · Metrics → · Protocol → · Document maître →