organe(notebooks,#17044): le cliquet split-reading lit une FUSION de deux cellules sans id comme une lecture ajoutee (mesure #17062)

[jsboige]

Le constat

Le cliquet bloquant Split-reading ratchet (base vs PR) lit une fusion — deux cellules de lecture réduites à une — comme une lecture ajoutée. Mesuré sur #17062 (redressement densité P02, 6 carnets GameTheory), au head 92d07bb349, avec l'organe de main courant (donc après #17749) :

$ python scripts/notebook_tools/check_split_reading_cells.py \
    --base-ref origin/main --head HEAD --json
changed 6 | regressed 2 | TOTAL ajouts = 3
  REG GameTheory-08-CombinatorialGames-Csharp    paires 0->0  ajouts=1   [18] SECOND_READING
  REG GameTheory-08c-CombinatorialGames-Python   paires 5->4  ajouts=2   [6], [21] SECOND_READING

La PR retire des cellules (42 → 40 sur GT-10, 2 → 1 lecture après le même code sur les trois constats) : le compteur de paires et le compte de cellules baissent, et l'organe y voit trois lectures de plus.

Anatomie des trois constats (vérifiée cellule par cellule)

Les cellules de code sont byte-identiques base ↔ tête, l'alignement se fait par ordinal :

Carnet	Tête, après le code	Base, après le même code	Ce que la tête porte
GameTheory-08	md[18], 360 c.	2 cellules : 185 + 173 c.	les deux, concaténées
GameTheory-08c	md[6], 711 c.	2 cellules : 341 + 369 c.	les deux (la 341 était placée avant son code)
GameTheory-08c	md[21], 653 c.	2 cellules : 229 + 423 c.	les deux, concaténées

Les deux cellules de chaque paire viennent de la même PR de densité (#16706 pour GT-08, #16723 pour GT-08c — vérifié par git log -S) : la campagne avait produit deux lectures pour une sortie. La fusion est le remède que le mandat prescrit (« si on rajoute une lecture, on modifie le paragraphe de lecture existant, on n'en rajoute pas un deuxième »).

Pourquoi les trois signaux de réécriture sont hors d'atteinte

Signal	Pourquoi il ne mord pas ici
(a) même index et même source	la source diffère — c'est une fusion
(b) head_id présent dans base_id_pool	les cellules de campagne de ces carnets sont sans id (id=None) : le canal de l'identifiant est fermé
(c) même index et les deux sont markdown (#17044, étendu #17747)	la fusion retire une cellule, donc l'index de la cellule de tête décale de 1

(c) est topologique et indexé : il reconnaît la réécriture en place, pas la réduction du nombre de cellules après un même code.

Signal proposé (exact, sans seuil de similarité)

Dans detect_added_readings, branche SECOND_READING, là où already_had_md_after est évalué : pour le code de tête prev_cell, comparer le nombre de cellules markdown qui le suivent des deux côtés (les positions de base du même code sont déjà calculées dans base_code_positions) :

si la tête en porte strictement moins que la base, alors aucune lecture n'a été ajoutée après ce code — la cellule de tête est une fusion, pas un ajout.

L'empilement réel reste attrapé, et par construction : empiler augmente le compte (c'est déjà ce que dit le commentaire du signal (c) : « la lecture empilée arrive à un index où la base porte autre chose (ou rien), et le compte de paires, lui, monte »). Le contrôle négatif à ajouter est donc : deux lectures en base, deux lectures en tête dont une nouvelle → reste rouge.

Alternative écartée, et pourquoi

La seule variante qui rendrait l'organe vert sans toucher l'organe serait de supprimer les faits portés par l'une des deux cellules (G(5)/G(6) pour GT-08 ; la description de mex/find_periodicity et l'exemple Wythoff pour GT-08c) — c'est-à-dire dégrader la lecture pour satisfaire l'instrument, l'option que #17777 a explicitement écartée pour les énoncés d'exercice. La PR #17062 ne modifie donc pas ces cellules et reste rouge sur ce seul point.

Liens

• fix(ci): cliquet split-reading -- faux positif sur une revision en place d'une cellule markdown sans id (#17464, #17044) #17747 / fix(ci,#17747): cliquet split-reading -- une revision en place n'est plus comptee comme un ajout #17749 — faux positif sur la révision en place d'une cellule sans id (même famille : le corpus sans id ; ici la réduction échappe au signal (c)) ;
• Add: consolidation Oversight-Scaling-Laws — exercices stubs (C.1) + Lectures manquantes (Nim/Statistics/Wargames) #17777 / fix(notebook-tools,#17777): carve-out d'organe -- enonce d'exercice et titre de section ne sont pas des lectures #17831 — carve-out (énoncé d'exercice, titre de section) ; rejoué sur fix(density,#17040): redressement paquet P02 — 6 notebooks GameTheory #17062, il absorbe 3 des 6 constats et laisse ces 3-là ;
• guard(notebooks): cabler check_split_reading_cells.py en cliquet bloquant — l'organe existe, 91 findings deja sur main, et la prose du STOP n'a pas tenu 42 minutes #17044 — origine du cliquet et du signal (c) ;
• fix(density,#17040): redressement paquet P02 — 6 notebooks GameTheory #17062 — la PR qui porte la mesure.

Acceptation

1. Sur fix(density,#17040): redressement paquet P02 — 6 notebooks GameTheory #17062 à son head : les 3 constats de fusion tombent, les autres constats de l'organe sont inchangés ;
2. contrôle négatif : base = 2 lectures après un code, tête = 2 lectures dont une nouvelle → reste rouge ;
3. suite scripts/tests/test_check_split_reading_cells.py verte, self-test du cliquet 5/5.

Séquençage : scripts/notebook_tools/check_split_reading_cells.py est déjà porté par #17831 (et #17721 déclare une collision de fichier) — cette issue n'ouvre pas de PR concurrente ; à arbitrer par ai-01 : absorber dans #17831, ou traiter après son merge.

[jsboige]

Superdedee — la spec retenue est plus large que celle proposee ici.

ai-01 a tranche le 2026-09-25 (DM msg-20260925T171121-b2hoof, thread msg-20260925T163855-z3c4jx, arbitrage depose sur #17044 c.5836401913) : « le cliquet compte les lectures rattachees a une meme sortie de code ; il ne diffe plus les sources ». Le discriminant par recouvrement est ecarte (ce serait un seuil de plus). L'implementation part chez po-2027:CoursIA, avec les sites mesures ci-dessous comme controles positifs.

La regle retenue subsume le signal de fusion propose ici : ne plus differ les sources ferme a la fois la fusion 2→1 (cette issue) et les formes voisines.

Sites de controle positifs (mesure a la tete c80328a3e9 de #17062, organe de main ; a la tete 92d07bb349, apres la reparation du volet paires de GT-10, il en reste 3) :

Carnet	Cellule	A la tete 92d07bb
GameTheory-08-CombinatorialGames-Csharp	md[3]	tombe (in-place, #17749)
GameTheory-08-CombinatorialGames-Csharp	md[18]	reste — fusion 2→1
GameTheory-08-CombinatorialGames-Csharp	md[24]	tombe (in-place, #17749)
GameTheory-08c-CombinatorialGames-Python	md[6]	reste — fusion 2→1
GameTheory-08c-CombinatorialGames-Python	md[21]	reste — fusion 2→1
GameTheory-15e-Coalition-Power-SMT	md[8]	tombe (in-place, #17749)

Controle negatif a conserver : base = 2 lectures apres un code, tete = 2 lectures dont une nouvelle → reste rouge (c'est l'empilement reel).

Je ferme cette issue comme superseded : le suivi vit dans #17044 (arbitrage) et chez po-2027 (implementation). L'anatomie cellule par cellule des trois fusions reste dans le corps ci-dessus, pour le porteur du fix.