docs(CLAUDE): la forme de l'écart, celle que LES DEUX gardes lisent (suite de #38) #39

Merged

foXaCe merged 1 commit from agent/opencode-gratuit/ec44c9114e04 into main

2026-10-02 09:05:03 +02:00

foXaCe commented

2026-10-02 08:57:32 +02:00

Owner

Correction de #38, amalgamée avant que l'amend ne parte : main porte la forme qui ferme un garde et casse l'autre.

#38 a fusionné en a78e2bd — l'état avant l'amend. La forme qui y est écrite est :

Écart **31 suites / 489 tests → 32 suites / 532 tests** : **+1 suite, +43 tests**, 0 échec.

Les deux verdicts, mesurés sur les deux formes (pas déduits — c'est ce tableau qui a trouvé la forme qui marche) :

forme de l'écart	`verifier-valeur-precedente.py`	`verifier-references.py --mesurer` sur `wacustom/CLAUDE.md:96`
`31 suites / 489 tests → 32 suites / 532 tests` — celle sur `main`	`VERT … (9 porteur(s) lu(s))`	`[ROUGE] 32 / 532 INVÉRIFIABLE — le récit n'annonce pas suites`
31 / 489 → 32 / 532 (départ `31 suites, 489 tests`) — celle d'ici	`VERT … (9 porteur(s) lu(s))`	`[vert ] 32 / 532 COHÉRENT — toutes les composantes annoncées : 32, 532`

verifier-valeur-precedente.py extrait les couples annoncés par la tête sous deux graphies, N suites, N tests et `N / N` ; la forme longue rend le point de départ illisible au second garde, qui n'y voit plus la composante suites. Les deux gardes ne lisent pas la même phrase : la liste d'origine est donc gardée, et le départ est nommé à côté, entre parenthèses.

La référence ne change pas — 32 suites / 532 tests — et les tests ne bougent pas :

$ python3 -m pytest -q
532 passed, 1 warning in 7.49s

Une ligne de CLAUDE.md, plus le message de commit. Aucun code, aucun test, aucun service touché.

Correction de #38, amalgamée **avant** que l'amend ne parte : `main` porte la forme qui ferme un garde et **casse l'autre**. `#38` a fusionné en `a78e2bd` — l'état **avant** l'amend. La forme qui y est écrite est : ``` Écart **31 suites / 489 tests → 32 suites / 532 tests** : **+1 suite, +43 tests**, 0 échec. ``` Les deux verdicts, **mesurés sur les deux formes** (pas déduits — c'est ce tableau qui a trouvé la forme qui marche) : | forme de l'écart | `verifier-valeur-precedente.py` | `verifier-references.py --mesurer` sur `wacustom/CLAUDE.md:96` | |---|---|---| | `**31 suites / 489 tests → 32 suites / 532 tests**` — celle sur `main` | `VERT … (9 porteur(s) lu(s))` | `[ROUGE] 32 / 532 INVÉRIFIABLE — le récit n'annonce pas suites` | | ``**31 / 489 → 32 / 532** (départ `31 suites, 489 tests`)`` — celle d'ici | `VERT … (9 porteur(s) lu(s))` | `[vert ] 32 / 532 COHÉRENT — toutes les composantes annoncées : 32, 532` | `verifier-valeur-precedente.py` extrait les couples annoncés par la tête sous deux graphies, `N suites, N tests` et `` `N / N` `` ; la forme longue rend le point de départ illisible au second garde, qui n'y voit plus la composante **suites**. Les deux gardes ne lisent pas la même phrase : la liste d'origine est donc gardée, et le départ est nommé à côté, entre parenthèses. La référence ne change pas — **32 suites / 532 tests** — et les tests ne bougent pas : ``` $ python3 -m pytest -q 532 passed, 1 warning in 7.49s ``` Une ligne de `CLAUDE.md`, plus le message de commit. Aucun code, aucun test, aucun service touché.

foXaCe added 1 commit

2026-10-02 08:57:32 +02:00

L'écart de référence s'écrit dans une forme que les DEUX gardes lisent

Porte / porte (pull_request) Successful in 12s

Details

9a1e8dd1dc

`verifier-valeur-precedente.py` extrait les couples annoncés par la tête sous
deux graphies : `N suites, N tests` et `` `N / N` ``. La forme
`31 / 489 → 32 / 532` ne lui en laisse qu'UN — celui de la tête — et le
contrôle `C2` conclut que le premier bloc `31 / 489` est hors chaîne, alors
qu'il en est le point de départ.

Écrire `31 suites / 489 tests → 32 suites / 532 tests` ferme C2, mais casse
`verifier-references.py` : le même texte n'y annonce plus la composante
suites, et le contrôle RG78 rend « INVÉRIFIABLE — le récit n'annonce pas
suites ». Les deux gardes ne lisent pas la même phrase.

La forme qui tient les deux garde la liste d'origine et nomme le départ à
côté :

  Écart **31 / 489 → 32 / 532** (départ `31 suites, 489 tests`) : …

  ./verifier-valeur-precedente.py
  VERT — une mesure par bloc, chaîne continue, deux noms seulement (9 lu(s))
  ./verifier-references.py --mesurer   # wacustom/CLAUDE.md:96
  [vert ] 32 / 532  COHÉRENT — toutes les composantes annoncées : 32, 532

Le rouge était déjà là sur `21dd7be` (« premier bloc 30 / 466, tête 31 / 483 »),
nommé par `FOXA-2842` comme dette antérieure. Aucun test ajouté ni retiré : la
référence porte toujours 32 / 532, et les 532 tests passent toujours.

foXaCe force-pushed agent/opencode-gratuit/ec44c9114e04 from 9a1e8dd1dc

Porte / porte (pull_request) Successful in 12s

Details

to 5239f9a103

Porte / porte (pull_request) Successful in 13s

Details

2026-10-02 08:58:06 +02:00

Compare

foXaCe merged commit 4cbbe0face into main

2026-10-02 09:05:03 +02:00

foXaCe referenced this pull request from a commit

2026-10-02 09:05:04 +02:00