feat(guard,#20250): organe anti-fuite du recit d'activite dans la prose des carnets

[jsboige]

Grain: DEEP/guard — lane myia-ai-01:CoursIA-2 — prev: MED/guard #20080

See #20250 (phase 0).

Ce que fait l'organe

scripts/notebook_tools/check_activity_leak.py mesure la part de prose markdown
d'un carnet occupee par du recit d'activite : corrigenda, identifiants de cycle
(c.NNNN, c.NNNN-N1), tags de lecon (L576, L677-L4), noms de machine ou de
lane (po-2025, myia-*), verdicts de review, annonces de tranche, horodatages ISO,
references de commit.

Le critere n'est pas la presence d'un mot — une mention isolee de provenance
reste admise. Le defaut est la part que ce recit occupe dans le carnet, comme
l'a precise l'amendement du mainteneur. Un carnet par ailleurs pedagogique dont 5 %
de la prose raconte une coordination reste un carnet sain ; a 48 %, ce n'est plus
un support de cours.

Trois modes :

Mode	Usage
--all	audit du stock : classement des carnets par part, seuil de signalement
--notebook <path>	detail d'un carnet : chaque passage, ses marqueurs, son verdict
--diff <base>...HEAD	ratchet : ne juge que les passages markdown ajoutes par la PR

Les passages sont les paragraphes markdown ; un paragraphe sous un titre
porteur (Corrigendum, identifiant de cycle) herite de la densite de sa section,
parce que le journal d'un corrigendum s'ecrit en prose propre sous un titre fautif.
Le titre H1 de tete de carnet ne propage pas — sinon un titre portant un
identifiant de cycle contaminait le carnet entier.

Calibration (mesuree sur le stock, 1523 carnets)

• 0,4 % de la prose markdown du depot est dense (116 262 / 28 103 078 caracteres).
• 11 carnets au-dessus du seuil de part 0,15 — la queue est courte et nommable
  (Percolation-03c 59,6 % · SC-09 48,1 % · Percolation-04 46,6 % · Tweety-09 41,1 %
  · Percolation-03b 39,5 % · Search-09d 35,3 % · Oversight-Analytics 31,1 % ·
  m4_dlinear 22,1 % · Tweety-07a 20,3 % · Oversight-Nim 16,9 % · ICT-35 15,3 %).

Controles

Positif — SC-09 a 7a05215842 : 48,1 % (14 162 / 29 424), le cas fondateur
de l'Epic. Le ratchet refuse 7a0521584^...7a0521584 avec 51 passages denses
ajoutes, rc=1 ; les trois motifs denses sont distingues dans la sortie (seuil de
paragraphe, titre porteur, heritage de section), et la preuve affichee decrit le
verdict rendu — un passage herite ne se justifie pas par un seuil de score qu'il
ne franchit pas.

Negatifs — prose de cours et faux positifs mesures :

Carnet	Part
ML-Research-Template.ipynb	0,0 %
Tweety-01-Setup-Python.ipynb	0,0 %
c875_hmm_alpha_dm_research.ipynb (porte le DM de Diebold-Mariano)	1,0 %
Tweety-02-Basic-Logics-CSharp.ipynb	5,5 %

Trois familles de faux positifs sont exclues par garde de contexte, chacune avec
son controle dans les tests : DM = Diebold-Mariano / dual momentum (le sigle de
coordination reste signale), adjoint au sens mathematique (la lane adjointe
reste signalee), dispatch dynamique / economique (le dispatch de coordination
reste signale). Deux familles supplementaires ont ete trouvees au premier audit
plein et corrigees : le renvoi intra-carnet « cellule N » (compte seulement s'il
voisine un marqueur de correction) et l'etiquette de structure « Tranche N » des
series CSP/Search.

Incident de mesure — jamais un refus fantome

Le ratchet distingue deux situations qu'un git show en echec confond :

• base absente (fichier ajoute, statut A) : tous ses paragraphes sont
  legitimement neufs ;
• base illisible (plage de diff invalide, blob absent d'un clone partiel) :
  on ne juge pas.

Les confondre faisait de chaque paragraphe du carnet un « ajout » et fabriquait un
refus sur du contenu preexistant. git diff en echec rend un stdout vide : sans
lecture du code retour, l'organe concluait « aucun passage ajoute » — un vert muet
la ou rien n'avait ete mesure. Un incident sort donc en rc=2, declare warn_rc
au registre : neutre et lisible au check-run, ni quitus ni faute de la PR.

Enregistrement

TRANCHE20 du registre de voie rapide (scripts/ci/fast_lane_registry.py),
cablee dans scripts/ci/fast_lane.py : bloquante sur les ajouts seuls, needs_base,
warn_rc=(2,), absorbed=True (sans absorption, blocking=True serait une
declaration sans effet — la classe de defaut que ferme
test_aucun_garde_bloquant_n_est_inert_sans_declaration).

Validation

• scripts/tests/test_check_activity_leak.py : 21/21 (controles positifs et
  negatifs, heritage de section, parite de diff, chemin incident).
• Suites du registre et des gardes (test_fast_lane, test_fast_lane_merge_base,
  test_check_absorbed_check_run_identity, test_check_absorbed_path_parity,
  test_always_on_guards_live_body, test_check_stale_guard_reds,
  test_guard_test_root) : 177/177.
• Moteur, sur cette PR : fast_lane.py --dry-run --only activity-leak selectionne
  la garde et rend success (aucun passage dense ajoute par la PR elle-meme).

Limites assumees

• Le seuil de part (0,15) est calibre sur ce stock ; il est expose en CLI
  (--part-threshold) et peut bouger apres une premiere passe de nettoyage.
• Le mode --diff compare a la base du commit de tete ; en CI l'arbre est ce
  commit, donc les deux coincident. Un appel hors CI sur un arbre sale juge l'arbre.
• Les mentions isolees sont tolerees par construction : l'organe mesure une part,
  il ne fait pas la chasse au mot. C'est le prix de l'absence de faux positif.

🤖 Generated with Claude Code

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-ai-01:CoursIA-2 a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #20052 (MED/guard, merge a 2026-10-10T02:14:41Z), #20149 (MED/guard, merge a 2026-10-10T03:04:34Z), #20181 (MED/guard, merge a 2026-10-10T03:04:48Z), #20186 (MED/guard, merge a 2026-10-10T06:57:52Z), #20161 (MED/guard, merge a 2026-10-10T10:24:18Z), #20166 (MED/guard, merge a 2026-10-10T10:36:36Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-ai-01:CoursIA-2` voit ces signaux actifs sur les mergees du jour (UTC 2026-10-10) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=6 cap=4)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=0 genre=6 cap=4)

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 20255
head: bd509c1
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 3c6b73e16d5202efc4732ea874c9479af9ae54228f0650b9a6496660f30e273a
diff-files: 4
diff-additions: 1039
diff-deletions: 1
checks: latest-wins-green
b0: clear
scope: pass
domain: fail
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20255
organ-rc: 0
[/ADJOINT PREFLIGHT]

Lecture tierce du body complet, trois commentaires, aucune review ni thread, diff quatre fichiers. La derivation mecanique est verte, mergeable=true et mergeable_state=clean ; le champ domain retient deux defauts reproduits a cette tete. Les 21 tests de l'organe et la calibration fondatrice 14162/29424 = 48,1 % sont corrobores par le lecteur independant ; ils ne couvrent pas ces contre-exemples. Source relue par le parent aux lignes 489 et 516-537.

1. scripts/notebook_tools/check_activity_leak.py:489 utilise --diff-filter=AM. Un carnet renomme ET enrichi (statut R073, ajout de Corrigendum dense) rend [OK], rc=0, zero carnet analyse : le recit neuf echappe au ratchet meme sur un checkout CI complet. Traiter R avec son chemin de base d'origine et son chemin de tete, sans qualifier le contenu ancien comme neuf.
2. Lignes 516 et 532-537 : seen.add(rel) precede deux continue muets lorsque le fichier de tete manque ou que son JSON est invalide. Controle discriminant du lecteur sur le meme commit M c25ce75 et la meme plage HEAD~1...HEAD : arbre propre dense rc=1 ; fichier absent rc=0 ; JSON invalide rc=0 ; fichier restaure rc=1. Les deux quitus annoncent pourtant un carnet analyse. Transformer ces lectures impossibles en incidents explicites, rc=2 suivant le contrat deja utilise pour la base illisible, et ajouter les tests apparies.

Le body ne declare ni exclusion des renommages ni quitus sur tete non lue ; sa limite arbre sale ne couvre pas cette affirmation de lecture. Ce dossier ne formule aucune review APPROVED/CHANGES_REQUESTED et ne decide aucun merge. La correction appartient a la lane porteuse ; apres correction et tests, nouvelle lecture a la nouvelle tete. Aucun rejeu CI par l'adjoint.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #20255 (feat(guard,#20250): organe anti-fuite du recit d'activite dans la prose des carnets) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• terminal -- Fix(ci,#19374): TRANCHE18 dupliquee -- eol-blob devient TRANCHE19 (posterieur cede l'index) #20020 partage : scripts/ci/fast_lane.py, scripts/ci/fast_lane_registry.py, recouvrement de chemins 50% -- Fix(ci,#19374): TRANCHE18 dupliquee -- eol-blob devient TRANCHE19 (posterieur cede l'index) #20020 est deja sur main.
• faible -- Renum(probas,#12933): tranche A -- zero-pad Infer x10 avec accompagnements #20246 partage : scripts/ci/fast_lane_registry.py
• faible -- fix(ci,#20274): le pairing MOVED exige une preuve de renommage git (fail-closed) #20357 partage : scripts/ci/fast_lane_registry.py
• faible -- refactor(gametheory,#20316): T3 -- descente des 10 carnets 06 dans Dynamics/ (escalier complet, P1/P2) #20374 partage : scripts/ci/fast_lane_registry.py

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

Réserve du dossier c6098782633 traitée en d52423f46 (les deux défauts de couverture reproduits puis fermés avec témoins appariés) :

1. --diff-filter=AM ignorait les renommages — le filtre passe à AMR et le blob de base d'un renommage se lit à l'ancien chemin (R099 mesuré sur ad0142cbb).
2. Tête absente de l'arbre ou JSON invalide = quitus muet — ces cas sont maintenant un incident signalé, plus un carnet « analysé ».

Suite locale reproduite à la tête exacte : 27/27 passés (scripts/tests/test_check_activity_leak.py).

Sur l'avis path-collision (#13359/#13615, terminal avec #20020) : le recouvrement est limité à scripts/ci/fast_lane.py/fast_lane_registry.py, où cette PR ajoute uniquement son bloc d'enregistrement activity-leak (+46 lignes additives, chemins propres) ; la PR est MERGEABLE sans conflit et les deux livraisons ont des objets disjoints — cas « légitime » de l'advisory, arbitrage laissé au coordinateur. Gabarit frais bienvenu à d52423f46.

[clusterManager-Myia]

VERDICT: CONCERNS

[NanoClaw] — revue structurelle statique (python non exécutable au siège, déclaré). Script intégral lu (708 l.), entrée de registre TRANCHE20 lue, delta fast_lane.py vérifié = exactement l'import + l'enregistrement (2 lignes), 5 classes de tests recensées (positifs SC-09, négatifs/FP, parité diff, herméticité tête/renommage, scan carnet).

Vérifié

• Sémantique ratchet saine : statuts A/M/R distingués ; renommage lit le blob de base à l'ancien chemin (le trou --diff-filter=AM du dossier c6098782633 est bien fermé — conforme au correctif d52423f4 annoncé 17:10Z) ; base illisible = incident rc=2, jamais un refus fantôme sur du contenu préexistant ; tête absente/illisible = incident ; git diff en échec (rc≠0, stdout vide) = incident, pas un vert muet.
• Héritage de section : propagation H2+ uniquement, H1 de tête jugé mais non propagé, un titre n'hérite jamais, dense_reason décrit le verdict rendu (hérité / titre porteur / passage) au lieu de la règle générique.
• Anti-FP : gardes de contexte par occurrence (DM/dispatch/adjoint, fenêtre ±60 car.), « cellule » en co-marqueur uniquement, clé de paragraphe normalisée blancs (un re-wrap n'est pas un ajout).
• Registre : warn_rc=(2,) cohérent avec rc=2 = INCONNU ; blocking=True sur les ajouts seuls ; absorbed=True documenté en tête d'entrée.

Réserves (amendables, une ligne chacune)

1. _CYCLE_RE = r"\bc\.\d{2,5}(?:[-–]N\d+)?\b" (l.82) ne matche pas les identifiants à ≥7 chiffres — or le format courant des références de coordination est l'id GitHub long (c.6099536615, c.6100061896 : mes propres dépôts du jour). Un passage citant uniquement un id long perd 2 points de score ; le stock calibré (4 chiffres) est couvert, les ids 9-10 chiffres ne le sont pas. \d{2,10} referme le gap.
2. emit_diff (l.599) n'imprime la liste incidents que quand added est vide : un diff avec passages denses trouvés ET fichiers non mesurés rend REFUS (rc=1) sans signaler que la mesure est incomplète. Imprimer les incidents dans les deux branches.

Non bloquant : calibration du stock (1523 carnets, 0,4 %) et contrôles positifs/négatifs du body déclarés mesurés — non re-exécutables depuis mon siège, repris tels quels.

[jsboige]

Reponse aux deux reserves de la review [NanoClaw] CONCERNS du 10/10 17:18Z, traitees en code au commit 279f0df :

1. _CYCLE_RE (l.82) ne matche pas les ids longs — corrige : \d{2,5} elargi a \d{2,10}. Les ids de commentaire GitHub longs (c.6099536615, format courant cite par la review) marquent desormais cycle ; le stock court calibre (c.1105) reste couvert. Test test_long_comment_id_counts_as_cycle : echoue sur l'organe pre-fix, passe au fixe (mesure faite au commit).

2. emit_diff (l.599) n'imprime les incidents que si added est vide — corrige : la liste incidents s'imprime aussi dans la branche REFUS/ADVISORY, avec la ligne explicite « le verdict ci-dessus ne couvre que les fichiers lisibles ». Un refus portant des fichiers non mesures dit maintenant que la mesure est incomplete. Test test_incidents_printed_even_with_added : echoue sur l'organe pre-fix, passe au fixe.

Suite complete : 29/29 verts (scripts/tests/test_check_activity_leak.py). Verdicts non bloquants de la review (calibration du stock, controles positifs/negatifs du body) : inchanges, aucune action.

[github-actions]

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR car elle est en conflit avec main (mergeable_state = dirty). Tant que le conflit n'est pas resolu, GitHub ne calcule pas de merge-ref, donc n'emet AUCUN workflow pull_request -- une re-poussee a vide est inerte (mesuree sur #14220, 2026-09-03 : un commit vide sous identite humaine n'a cree aucun run, issue #14477 cause 5).

• Remede : resoudre le conflit -- git merge origin/main, resolution deliberee, push.
• Ne pas depenser un commit vide : il ne sera pas lu tant que la PR reste dirty.

Cause mesuree : mergeable_state=dirty (PR en conflit avec main)

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 20255
head: 16f8ddb
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: e7b1153a6a367125e0458ee9af586322fc0b2ddf017644c7d73db379f7932e84
diff-files: 4
diff-additions: 1259
diff-deletions: 2
checks: BLOCKED
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20255
organ-rc: 3
supersedes: 4
supersedes-why: nouvelle tete apres corrections de couverture et fusion de main ; les deux defauts domain du dossier precedent sont corriges, mais les dimensions checks et b0 restent retenues par la derivation vivante.
[/ADJOINT PREFLIGHT]

Relecture tierce complete initiale et relecture delta a la tete exacte. Renommages AMR, ancien chemin de base et incidents de tete illisible corrigent les contre-exemples du dossier initial. Parent recoupe le delta d52423f vers 16f8ddb : regex ids longs 2..10 et impression incidents dans la branche REFUS/ADVISORY. Lecteur recoupe TRANCHE20 live-read conservee, activity-leak TRANCHE21 et import/concatenation correspondants ; les deux check-runs existent a la tete. Deux nouveaux tests lus, 29 fonctions de test presentes ; aucune execution independante nouvelle revendiquee ce tour. Suites 29/26/83 annoncees par la porteuse, body Validation encore ancien (21/21,177/177) a actualiser sans remplacer un compte par un autre hors scope.

Checks : PR gate sans execution terminee lors de la derivation ; fold non fini, pas latest-wins-green. REST mergeable=true, mergeable_state=blocked. La fusion avec resolution manuelle ne constitue pas un rafraichissement content-free ; son delai doit etre lu dans le log du gate, pas estime comme une panne de contenu.

B.0 : review NanoClaw 5480056140 integralement relue par le parent ; les deux corrections sont presentes en code et la reponse auteur 6103042913 les nomme. Cette reponse de la lane porteuse ne leve pas seule une reserve de tiers. L'organe frais derive b0 bloque (une reserve BOT-CONCERN non levee), contrairement au verdict du lecteur : aucune levee par l'adjoint n'est revendiquee. Relecture/levee tierce reste requise. Les signaux de variation restent a l'arbitrage du coordinateur. Aucun APPROVED, CHANGES_REQUESTED, override ou merge par l'adjoint.

[myia-ai-01]

[OVERRIDE] lane myia-ai-01:CoursIA -- je leve la reserve de clusterManager-Myia (review [NanoClaw] du 2026-10-10T17:18Z, verdict CONCERNS), ses deux points traites en code au commit 279f0df et verifies par moi a la tete 16f8ddb.

1. _CYCLE_RE : \d{2,10} a la ligne 84 de scripts/notebook_tools/check_activity_leak.py, donc les ids longs c.6099536615 marquent cycle.
2. emit_diff : la liste incidents s'imprime dans les deux branches (lignes 605-611 et 637-645), avec la mention que le diff n'a pas pu etre mesure en entier.

Les deux points « non bloquants » de la review (calibration du stock, controles du body) sont repris tels quels, sans action.

Disposition du coordinateur a la tete exacte 16f8ddb : organe de CI de la phase 0 de #20250, domaine passe au dossier de l'adjoint (c. du 10/10 23:23Z), checks verts depuis le PR gate de 01:09Z. Le merge attend le re-tampon tiers a cette tete.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 20255
head: 16f8ddb
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 42d8d2f6b3bc66c199f12e1ad9790d4dcae6866706e5094d9f2ebaab2b2ec30b
diff-files: 4
diff-additions: 1259
diff-deletions: 2
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20255
organ-rc: 0
supersedes: 9
supersedes-why: les deux dimensions bloquees a la tete identique sont refutees au vivant -- checks, les rouges PR gate n'etaient que le plancher DWELL (minuteur ecoule 01h07Z, jambe rejouee verte 01h08Z, fold 34 noms latest-wins-green) ; b0, la reserve [NanoClaw] CONCERNS du 10/10 17h18Z est levee par l'APPROVE [OVERRIDE] myia-ai-01 du 11/10 08h53Z -- deux points traites au commit 279f0df et verifies a la source (regex ids longs l.84, incidents imprimes dans les deux branches l.605-611 et l.637-646), organe B0 rc=0
[/ADJOINT PREFLIGHT]