Les deux documents convergent sur l’objectif global : introduire et gouverner RESTITUTED dans le cycle documentaire, avec validation fonctionnelle et conformité ISO/TLA+.
Convergence explicite sur la nécessité d’une couverture d’acceptation large : le document tests annonce couvrir CA-279-01 à CA-279-12, aligné avec la matrice d’acceptation de la specification.
Convergence sur l’existence d’un périmètre de non-régression et de cas d’erreur métier (la specification formalise les erreurs; le document tests annonce scénarios nominaux/erreurs/adversariaux/non-régression).
Convergence sur l’importance de la traçabilité et du caractère gate-ready (specification: obligations lifecycle/audit; tests: mention de conventions de preuves CI et version “gate-ready”).
DIV-01 : Couverture des invariants incomplète côté tests vs specification.
Source A (Specification) : INV-279-11-idempotency est défini comme invariant non négociable (idempotence des deux endpoints).
Source B (Tests) : annonce de couverture “Tous les invariants INV-279-01 à INV-279-10”.
Impact : risque de trou de couverture sur un invariant non négociable (idempotence), avec exposition aux régressions sur retries réseau et non-conformité gate.
DIV-02 : Statut des points à clarifier (Q-279-*) contradictoire.
Source B (Tests) : “verdict QA global cohérent avec les réserves de spécification ouvertes (Q-279-02/03/04/05)”.
Impact : incohérence de gouvernance (résolu vs ouvert) pouvant invalider le jugement PMO de maturité documentaire et bloquer la gate par ambiguïté de statut.
Le contenu détaillé de PD-279-tests.md n’est pas présent dans les entrées (seulement un résumé de génération) : impossible de vérifier factuellement la traçabilité test-by-test des exigences critiques (ordre strict des gardes, atomité DB + post-commit, double contrôle destruction inclusion/exécution).
Les preuves attendues pour CA-279-11 (PASS formel AnchorAssume_States) ne sont pas matérialisées dans les éléments fournis (pas d’artefact d’exécution, ni référence de job CI ou log de preuve).
Le traitement des éléments marqués NON TESTABLE est annoncé mais sans inventaire précis dans les sources fournies : impossible d’évaluer si ces exclusions sont compatibles avec les invariants non négociables.
Aucun mapping explicite fourni entre scénarios de tests et contraintes de migration down (précondition: aucun document RESTITUTED) dans les éléments visibles du document tests.