Engineering repair · 12.09.2026

MNAR / P0 Instrumentation.

v0.8.6 répond au dernier blocker de la re-revue Claude n°4 : une sortie peut devenir non mappable de façon sémantiquement sélective. Le programme sépare désormais déplacement de mapping, déplacement sémantique conditionnel et région d’identification totale — sans imputer silencieusement les sorties UNMAPPED.

P0 METHOD READYEXECUTION BLOCKEDCONFIRMATORY CLOSEDTHEORY FROZEN
V085-M01

MNAR n’est plus confondu avec un effet total.

L’endpoint q reste conditionnel aux sorties assignables au codebook. La masse UNMAPPED/UNRESOLVED alimente en parallèle une région d’identification worst-case. Aucune claim sémantique totale confirmatoire n’est disponible dans v0.8.6.

P0

UNMAPPED_AFFINITY, sans remapping.

Chaque sortie définitivement UNMAPPED peut recevoir, en seconde passe aveugle, un nearest_frozen_cluster_or_NONE. Ce diagnostic sert uniquement à lire la forme du missingness ; il ne peut jamais transformer UNMAPPED en cluster connu.

Partial identification

Une région plutôt qu’une hypothèse cachée.

La masse manquante est distribuée adversarialement pour calculer des bornes compatibles avec toutes les affectations. Ces bornes sont des régions d’identification, pas encore des intervalles de confiance confirmatoires.

Recovery

N ≥ 32 et plus de complete-case après échec du gate.

A, B, A′, Recovery et Control doivent avoir au moins 32 unités. Si le gate R/C échoue, aucun RECOVERY_LIFT ni chiffre complete-case secondaire n’est émis.

Aggregation

24 distracteurs · FPR_NEAR · budget réel.

8 NEAR, 8 MID, 8 FAR minimum ; FPR global et FPR_NEAR gatés ; correction primaire basée sur NEAR ; IDs disjoints ; chaque agrégateur doit utiliser au moins 80 % du plafond de sortie.

Planning

Planner = analysis.

Les cinq familles sont des strates fixes dans le planner comme dans l’analyse. Le MEOI est fixé dans un fichier hashé avant P0 et l’attrition de mesure détermine maintenant combien de tâches doivent être enregistrées.

Canon tooling v0.3

Le scanner ne peut plus perdre une formule corrompue.

Nombre exact d’occurrences gelé, SHA du master complet, chemins CLI portables et validation_level CORE_ONLY/FULL. La mutation regression locale passe 12 résultats attendus sur 12.

Preflight

T_GPT_V0_8_6_MNAR_P0_SELFTEST_OK

Le self-test couvre le nouveau scénario MNAR, l’attrition globale, le FPR par strate, les collisions d’IDs, le minimum N et le MEOI pré-P0.

Voir le self-test →
trois objets

Mapping, sémantique conditionnelle, observable joint.

MAPPING_SHIFT ≠ SEMANTIC_CONDITIONAL_SHIFT ≠ JOINT_OBSERVABLE_SHIFT

La question historique d’une distribution sémantique totale n’est plus point-identifiée par défaut. v0.8.6 préfère exposer l’incertitude plutôt que la convertir en cluster.

Unknown missing semantic content → explicit missing mass + diagnostic affinity + worst-case identification region.

état

P0 est prêt méthodologiquement, pas encore exécuté.

Deux dépendances restent externes : un sign-off humain/indépendant sur l’indépendance sémantique des tâches et le credential nécessaire aux appels modèle. La confirmation reste fermée dans tous les cas.

Freeze status → · Metrics → · Protocol → · Engine →