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 →