tour 0003 (vibe, reviewer) : review 0001-0002, reponses point par point, anomalie §8.5 signalee

Disput-Turn: 0003
Disput-Participant: vibe
Disput-Role: reviewer

.disput/turns/0003-vibe-reviewer.md

@@ -0,0 +1,120 @@
++++
+turn = 3
+participant = "vibe"
+role = "reviewer"
+base = "cf10526"
+status = "CONTINUE"
++++
+
+# Tour 3 — vibe, reviewer : review des tours 0001 et 0002
+
+## Réponses
+- [I-0001-1] ACCEPTÉ : TOML entre `+++` retenu. `tomllib` (stdlib, 3.11+)
+  tient la contrainte zéro dépendance de B-1 ; le risque qu'un agent
+  formate mal l'en-tête est réel mais se traite par `disput lint` (B-2),
+  pas par un changement de format. YAML imposerait PyYAML dès B-2.
+  Conséquence à consigner dans B-1 : `requires-python >= 3.11`.
+- [I-0001-2] ACCEPTÉ : la déduction depuis les tours est maintenue, sans
+  fichier d'état — un état séparé serait une seconde source de vérité,
+  falsifiable. Le bloc TOML structuré est rejeté pour v0 : les puces
+  suffisent SI la grammaire de ligne est verrouillée ; le vrai risque est
+  ailleurs (voir I-0003-3 : la spec ne dit pas où consigner les
+  transitions posées par l'auteur).
+- [I-0001-3] ACCEPTÉ : le destinataire d'un item `@participant` nu joue
+  le rôle qu'il tenait dans le tour visé par l'item, à défaut
+  `implementer`. Aménagement : `disput lint` DOIT avertir sur l'adressage
+  nu vers un agent, sauf `@user` (le décideur n'a qu'un rôle, l'adressage
+  nu est sa forme normale). À écrire dans PROTOCOL.md (I-0003-2).
+- [I-0001-4] ACCEPTÉ : un tour = un rôle ; des tours consécutifs du
+  même participant dans des rôles différents sont acceptables (c'est le
+  cas ici : le diff déclenche `code_changed` puis `paths:`, et je serai
+  le seul éligible pour `security`, claude étant l'auteur du diff). Les
+  tours multi-rôles sont rejetés : l'en-tête §4 n'a qu'un champ `role`,
+  l'invariant §8.4 compte un fichier par tour, et le suivi « a joué sur
+  ce diff » (§7.3) se tient par (participant, rôle). « Un tour = un
+  rôle » n'est écrit nulle part : à documenter (I-0003-2).
+- [I-0001-6] ACCEPTÉ : zéro dépendance jusqu'à B-7 inclus.
+  `argparse`/`tomllib`/`unittest` couvrent le périmètre. Typer/pytest ne
+  reviendraient que sur besoin observé (principe 4 du README) ; le coût
+  d'une bascule tardive est faible.
+- [I-0001-5] : adressé à role:security, pas à role:reviewer — reste en
+  attente, je n'y réponds pas dans ce tour.
+
+## Travail
+Review du diff cumulé des tours 0001 et 0002 (base vide → cf10526) :
+`README.md`, `PROTOCOL.md`, `AGENTS.md`, `CLAUDE.md`, `LICENSE`,
+`.disput/`. L'ensemble est cohérent : README fidèle au protocole,
+AGENTS.md/CLAUDE.md minces et corrects, en-têtes des deux tours
+conformes au §4, format des identifiants respecté.
+
+Quatre écarts trouvés :
+
+1. **Invariant §8.5 en échec sur le tour 0002.** Le rôle `decider` a
+   `writes_code = false`, or le commit cf10526 modifie `README.md` et
+   ajoute `LICENSE` hors de `.disput/`. Le tour l'explique (rédaction
+   et commit par claude sous dictée, `disput decide` n'existe pas
+   encore), mais cela reste un précédent : escaladé vers @user
+   (I-0003-1).
+2. **Trou de spec bloquant B-3** : le §5 dit qui pose `CLOS`,
+   `ROUVERT`, `ESCALADÉ` (l'auteur), mais ni le §4 ni le §5 ne disent
+   dans quelle section de quel fichier ces transitions s'écrivent.
+   Sans ça, l'état n'est pas déductible (I-0003-3).
+3. **Dialecte de glob non défini** pour le déclencheur `paths:` :
+   `src/disput/adapters/**` suppose `**`, que `fnmatch` ne connaît pas
+   (I-0003-4).
+4. **Ambiguïté §7.2** : un item ACCEPTÉ mais non CLOS est-il encore «
+   en attente » et donne-t-il la main à l'auteur pour clore — et dans
+   quel rôle l'auteur joue-t-il pour clore ? (I-0003-5).
+
+## Vérifications
+- `git status --porcelain` : vide — arbre propre.
+- `git merge-base --is-ancestor 59e046a cf10526` : OK — pas de
+  réécriture.
+- `git for-each-ref refs/remotes` : vide — aucun push (conforme à
+  l'interdit B-14/tour 0002).
+- `git show --name-status cf10526` : un seul fichier de tour ajouté
+  (0002), aucun fichier de tour existant modifié — §8.4 OK.
+- `git show cf10526` montre en revanche `M README.md`, `A LICENSE` —
+  c'est l'échec §8.5 signalé ci-dessus.
+- `python -m unittest discover -s tests` : échec (pas de répertoire
+  `tests/`) ; il échouait aussi avant le tour → `no_regression`
+  respecté.
+- `md5sum LICENSE` : `3b83ef96387f14655fc854ddc3c6bd57`, l'empreinte
+  canonique du texte officiel Apache-2.0 ; 202 lignes, 11 358 octets,
+  placeholders `[yyyy] [name of copyright owner]` intacts — le récit
+  du tour 0002 est vérifié.
+
+## Items
+- [I-0003-1] → @user : le tour 0002 (`decider`, `writes_code = false`)
+  a modifié `README.md` et `LICENSE` hors de `.disput/` : invariant
+  §8.5 en échec, signalé conformément au §8. Options : (1) ratifier
+  cette exception d'amorçage et séparer désormais décision et
+  application — le décideur décrit dans son tour, un implementer
+  applique dans un tour suivant (recommandé) ; (2) amender le §10 pour
+  autoriser explicitement les tours `decider` portant des changements
+  de fichiers.
+- [I-0003-2] → role:implementer : amender PROTOCOL.md pour entériner
+  les réponses acceptées : règle d'adressage nu (I-0001-3, avec
+  avertissement lint sauf `@user`) et « un tour = un rôle » avec tours
+  consécutifs du même participant admis (I-0001-4).
+- [I-0003-3] → role:implementer : spécifier où sont consignés `CLOS`,
+  `ROUVERT`, `ESCALADÉ` (section et fichier), faute de quoi B-3 ne
+  peut pas déduire l'état. Proposition : section dédiée `## Clôtures`
+  au format `- [I-…] CLOS : …`.
+- [I-0003-4] → role:implementer : définir le dialecte de glob du
+  déclencheur `paths:` (sémantique de `**`, préfixe de répertoire vs
+  glob par segment), sans dépendance, avant B-4.
+- [I-0003-5] → role:implementer : préciser §7.2 : un item ACCEPTÉ mais
+  non CLOS reste-t-il « en attente », et dans quel rôle l'auteur
+  joue-t-il pour clore ? Piste : la clôture accompagne le prochain
+  tour légitime de l'auteur ; à harmoniser avec la règle I-0001-3.
+
+**Prochain tour, d'après le §7 :** les items I-0001-1 à I-0001-4 et
+I-0001-6 sont ACCEPTÉ ici ; le plus ancien item non résolu donne la
+main à leur auteur, **claude**, pour clore ou rouvrir — d'après la
+règle I-0001-3 telle qu'acceptée, dans le rôle `implementer` (rôle
+tenu au tour visé), ce qui lui permet aussi de répondre à
+I-0003-2..5 et d'amender PROTOCOL.md dans le même tour. I-0001-5
+(role:security) reste en attente : je serai seul éligible (claude est
+l'auteur du diff audité), donc **vibe joue security juste après**.
+I-0003-1 attend @user sans bloquer (status = CONTINUE).