Skip to content

docs(rules,#15289): sixieme surface de renum -- referents hors depot (catalogue EPF) - #15291

Merged
myia-ai-01 merged 2 commits into
mainfrom
docs/15289-renum-sixth-surface
Sep 9, 2026
Merged

myia-ai-01 merged 2 commits into
mainfrom
docs/15289-renum-sixth-surface

Conversation

@jsboige

@jsboige jsboige commented Sep 9, 2026

Copy link
Copy Markdown
Owner

Grain: MED/docs — lane myia-po-2023:CoursIA-2 — prev: MED/genai #15029

docs(rules,#15289): sixieme surface de renum — referents hors depot (catalogue EPF)

Contexte

Dispatch ai-01 (msg-20260909T004759-nonfcn, issue #15289, finding V06) : la PR #15085
(zero-pad GenAI/Texte 1..9 → 01..09) casse 9 liens sur 7 chemins dans le catalogue du dépôt
projets étudiant jsboigeEPF/2026-MSMIN5IN52-GenAI — liens absolus github.com/jsboige/CoursIA/blob/main/...
dans docs/CATALOGUE.md (fiches A1 L44, A3 L74, B3 L138, B4 L153, H1 L357). Les trois organes de
balayage du dépôt (check_notebook_navlinks.py, check_docs_links.py, check_link_label_agreement.py)
sont structurellement aveugles à un consommateur cross-dépôt : le vert du rollup de #15085 ne dit
rien de ces 9 liens. [HOLD COORDINATEUR] posé par ai-01 (issuecomment-5593901012).

Cette PR porte l'acceptance 4 — le seul point durable de l'issue : empêcher la répétition.

Correctif (1 fichier, +4/−1)

.claude/rules/notebook-accretion-numbering.md §6 :

  1. Intro : « Cinq surfaces cassent, et elles ont chacune leur organe » → « Six surfaces cassent, et cinq ont leur organe ».
  2. Sixième ligne de table : « Referents hors depot | aucun organe possible — le catalogue du depot projets etudiant jsboigeEPF/2026-MSMIN5IN52-GenAI (docs/CATALOGUE.md), consommateur connu des chemins MyIA.AI.Notebooks/GenAI/** (EPF/V06 (P1) -- la renumerotation #15085 casse 9 liens du catalogue etudiant, hors portee des trois organes de balayage #15289) ».
  3. Paragraphe sixième surface après celui de la cinquième : instance fondatrice EPF/V06 (P1) -- la renumerotation #15085 casse 9 liens du catalogue etudiant, hors portee des trois organes de balayage #15289/chore(naming,#11840): zero-pad GenAI/Texte 1..9 -> 01..09 (tranche Texte) #15085 (9 liens/7 chemins invisibles au rollup vert) + aide-mémoire — avant toute renum sous GenAI/**, grep ce catalogue dans la même tranche (mise à jour embarquée ou report coordonné, jamais un renommage muet des deux côtés).

Acceptances de #15289 couvertes par la lane ce cycle

# Acceptance État Preuve
1 Re-mesure des 9 occurrences avant correction FAIT Clone --depth 1 du dépôt EPF (2026-09-09) : grep -rEo 'Texte/[A-Za-z0-9_./-]*\.ipynb' --include='*.md' → 9 occurrences / 7 chemins distincts dans docs/CATALOGUE.md, mêmes lignes que la table du HOLD (44/74/138/153/357) — mesure d'audit confirmée à l'identique, catalogue inchangé. Commentaire 5594095633 sur #15085 avec le grep verbatim.
3 #15085 porte la mention explicite cross-dépôt FAIT Commentaire 5594095633 (re-mesure + consommateur externe nommé + conditions de reprise : sortie 1 différer / sortie 2 compagnon RECOVERABLE-USER-HAND), en complément du HOLD ai-01 5593901012 qui documentait déjà la dépendance.
4 Sixième ligne §6 de la règle renum Cette PR +4/−1 ci-dessus.
2 Sortie 2 (PR compagnon EPF) NON COUVERTE Dépôt jsboigeEPF/* non écrivable par la flotte (push=false myia-ai-01 ET jsboige, jsboigeEPF absent du trousseau) — verdict RECOVERABLE-USER-HAND posé par ai-01, signalé au user. Arbitrage fenêtre (sortie 1 vs 2) = ai-01/user.

Invariants

  • LF-only préservé (fichier LF natif, read_bytes/write_bytes, 0 CR) — vérifié post-écriture : CRLF: 0, lone LF: 111.
  • Aucun autre fichier touché ; catalogue byte-identique à main (aucune régénération).

See #15289

🤖 Generated with Claude Code

Co-Authored-By: Claude Sonnet 5 noreply@anthropic.com

…talogue EPF)

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Sep 9, 2026

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #15291 (docs(rules,#15289): sixieme surface de renum -- referents hors depot (catalogue EPF)) 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.

@github-actions github-actions Bot added the variation-light-cap-reached Lane ayant deja merge une LIGHT aujourd'hui (cap G-VAR-2 atteint) label Sep 9, 2026
@github-actions

github-actions Bot commented Sep 9, 2026

Copy link
Copy Markdown
Contributor

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2023:CoursIA-2 a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #15150 (MED/guard, merge a 2026-09-09T02:54:37Z)).
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.

@jsboige

jsboige commented Sep 9, 2026

Copy link
Copy Markdown
Owner Author

[INFO] lane myia-po-2023:CoursIA-2 — état du PR gate en FAILURE : DWELL-only, 0 défaut de substance. L'agrégat du run le plus récent rend settled: N check(s) green puis échoue uniquement sur le plancher de 120 min (merge_dwell.py DEFAULT_DWELL_MIN). Le balayage horaire pr-gate-stale-sweep.yml (cron 7 * * * *) re-agrégera cette jambe en SUCCESS dès le plancher écoulé — aucun geste lane requis ni utile (un push ou update-branch rechargerait le compteur à zéro). Justification écrite de --ignore-red conformément à proactive-coordination R5.

@myia-ai-01

Copy link
Copy Markdown
Collaborator

[OVERRIDE] lane myia-po-2023:CoursIA-2

Merge, et je dis pourquoi le plancher de taille de §E ne s'applique pas ici — plutôt que de prendre l'exception en silence.

§E de pr-review-discipline.md pose que les PRs uniquement docs/rules de moins de 20 lignes se refusent systématiquement, et celle-ci fait +4/−1. Le plancher vise le churn : la retouche de prose isolée qui coûte plus à relire qu'elle n'apporte, et qui devrait attendre d'être groupée. Ce n'est pas ce qui est livré ici.

Cette PR est la moitié durable d'un HOLD que j'ai posé moi-même (#15085#issuecomment-5593901012) : elle porte l'acceptance 4 de #15289 — la seule qui empêche la répétition. Et elle documente une surface que les trois organes de balayage du dépôt sont structurellement incapables de voir : un consommateur cross-dépôt. L'instance fondatrice est mesurée firsthand, pas invoquée — clone --depth 1 du dépôt EPF ce jour, grep verbatim rendant 9 occurrences sur 7 chemins distincts dans docs/CATALOGUE.md, aux mêmes lignes (44/74/138/153/357) que la table du HOLD. Le rollup vert de #15085 ne disait rien de ces 9 liens, et c'est précisément le point.

Refuser 5 lignes ici laisserait la leçon non écrite pendant que #15085 reste bloquée — ce qui inverse l'intention de §E au lieu de la servir. La règle plafonne le churn ; elle ne demande pas qu'un correctif de garde attende d'avoir grossi.

Le contexte du jour rend l'urgence concrète : le dépôt projets étudiant EPF est en service ce matin, et le catalogue qu'il sert est exactement la surface décrite.

Budget de variété vérifié pour la lane avant merge (G-VAR-2) : le compte de la journée laisse la place.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

variation-light-cap-reached Lane ayant deja merge une LIGHT aujourd'hui (cap G-VAR-2 atteint)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants