PD-3-SPECIFICATION-REVIEW

Type : Non testable Référence : PD-3-specification.md §4 (INV-01/INV-02) + §7 (CA-01/CA-02) / PD-3-tests.md (TC-NOM-01, TC-INV-01/02) Description : « Aucune tâche ne doit être perdue » et « état observable à tout moment » ne définissent ni horizon de rétention, ni modèle d’état minimal, ni latence d’observation. Les tests supposent un audit des états persistés et une consultation en continu sans base normative (interface, point de vérité, délai). Impact : Impossibilité d’auditer objectivement l’absence de perte silencieuse ou l’observabilité continue ; verdicts contestables selon l’implémentation ou le timing retenu. Gravité : Majeur

Type : Non testable Référence : PD-3-specification.md §4 (INV-04) + §6 (ERR-02) + §7 (CA-03) / PD-3-tests.md (TC-ERR-01, TC-INV-04) Description : Le « signal explicite d’incident » n’est pas défini (canal, format, délai). Les tests attendent un signal observable mais aucun critère contractuel n’en encadre la nature ni l’horloge. Impact : Comportement non opposable ; risques de divergences d’implémentation et de rejets de conformité infondés faute de référence normative. Gravité : Majeur

Type : Ambiguïté Référence : PD-3-specification.md §6 (ERR-03) / PD-3-tests.md (TC-ERR-03) Description : « Cas de force majeure » n’est pas défini ni borné (types d’événements, conditions de simulation), alors que TC-ERR-03 suppose une simulation reproductible. Impact : Test potentiellement non déterministe ; couverture des cas extrêmes contestable. Gravité : Majeur

Type : Incohérence Spec↔Tests Référence : PD-3-specification.md §7 (CA-05) / PD-3-tests.md (TC-DOC-01) Description : CA-05 exige des « procédures manuelles documentées et exécutables par un non spécialiste » sans préciser contenu minimal, format ni critère d’exécutabilité. TC-DOC-01 vérifie une « documentation opérable » sans base normative. Impact : Validation subjective ; conformité dépendante d’interprétations locales de la documentation. Gravité : Majeur

Type : Non testable Référence : PD-3-specification.md §5 (FN-02) + §6 (ERR-01) / PD-3-tests.md (TC-NOM-02, TC-ERR-02) Description : « Reprise automatique » et « aucune perte de tâche » après interruption ne sont associés à aucun délai de reprise, ni état cible minimal (en cours, échoué explicite), ni exigence sur les tâches partiellement exécutées. Impact : Tests de reprise (TC-NOM-02/TC-ERR-02) non opposables ; risques de faux positifs/negatifs selon la fenêtre temporelle et le traitement des tâches en cours. Gravité : Majeur