Skip to content

feat(activites,#18223): lieu unique GenAI/activites -- import vulgarisation + exhumation Vibe-Coding (tranche 2) - #18266

Merged
myia-ai-01 merged 3 commits into
mainfrom
feature/18223-activites
Sep 29, 2026
Merged

myia-ai-01 merged 3 commits into
mainfrom
feature/18223-activites

Conversation

@jsboige

@jsboige jsboige commented Sep 28, 2026

Copy link
Copy Markdown
Owner

Grain: MED/docs — lane myia-po-2025:CoursIA — prev: MED/tooling #18263

Tranche 2/4 du grain #18223 : lieu unique des activités de cours. Tranche 1 = #18263 (banque QCM).

Ce que fait cette PR

  1. git mv des activités GenAI hors de Vibe-Coding — elles vivaient dans GenAI/Vibe-Coding/docs/activites/ (héritage d'une formation centrée agents de code) et leur corrigé dans Vibe-Coding/Roo-Code/Corrections/ :
    • Activités-GenAI.md, PREPARATION-ACTIVITES.md, Activités - IA Générative.old.md → GenAI/activites/
    • Correction Activités GenAI.md → GenAI/activites/Correction-Activites-GenAI.md (nom normalisé, double espace supprimé)
  2. Import des activités « IA — Vulgarisation » (absentes du dépôt) : GenAI/activites/Activites-Vulgarisation.md, 14 activités converties fidèlement depuis le gisement Drive (G:\Mon Drive\MyIA\Formation\EPF\2026\MSMIN5IN52 IA Générative et Chatbots\Activités - IA Vulgarisation.txt + PDF pour les images de politiques MDP non importables en texte).
  3. Index du lieu unique : GenAI/activites/README.md + section « Activités de cours » dans GenAI/README.md.
  4. Liens retour depuis chaque série illustrée (Search, SymbolicAI, Probas, RL, GameTheory) vers les activités correspondantes, avec ancres par activité.
  5. Référents mis à jour : Vibe-Coding/README.md, docs/CARTE-ESPACES.md (addendum daté — les comptes de la mesure 2026-09-19 restent cités comme mesure), docs/sessions/SESSION-1-INTRODUCTION.md (le lien préexistant pointait en outre sur Activites-GenAI.md sans accent — cassé sur FS sensible à la casse, corrigé vers le nom exact).

Preuves (critère de sortie : « sans aucun lien cassé, grep cité »)

  • Grep repo-wide des anciens chemins (docs/activites, Corrections/Correction, activites/Activites-GenAI) : les 2 seules occurrences restantes sont de la prose historique en backticks (l'addendum de la carte et la note d'origine du lieu unique) — aucun lien vivant ne pointe sur un ancien chemin.
  • 16/16 liens externes vérifiés HTTP 200 (PathFinding.js, aima-java, OR-Tools, MiniZinc, Choco, Z3, Lean, Tweety, Argumentum ×3, Infer.NET, Pyro, TF Probability, PyMC, OpenSpiel, Evolution of Trust).
  • Cibles in-repo vérifiées existantes (15 répertoires liés : Search, SMT, Lean, Tweety, FallacyDetection, Argumentum, Planners — le lien initial vers SymbolicAI/Planning/ a été corrigé vers le nom réel du répertoire —, Probas, RL, GameTheory, SocialChoice, Texte, Plateformes-Conversationnelles, FineTuning, SemanticKernel).
  • python scripts/check_docs_links.py : 783 fichiers / 7833 liens — No broken links found.
  • Ancres GitHub vérifiées contre le slugger (double tiret pour les titres contenant « : », apostrophes supprimées).
  • check_prose_quantitative_claims.py : RC=0 (1 advisory « 2 notebooks » = colonne de la table de mesure de la carte d'audit [Vibe-Coding] Auditer et réorganiser les séries comme espaces de workspace #14526, pré-existante et datée — assumé).

Garde-fous respectés

See #18223 (tranche 2/4)

🤖 Generated with Claude Code

…sation + exhumation Vibe-Coding

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…s comptes de la mesure 2026-09-19, seul le texte mentionne le demenagement

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@github-actions github-actions Bot added the variation-tag-missing PR sans tag Grain: <TIER>/<GENRE> (variation-protocol) label Sep 28, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Grain tag obligatoire (#10045, bloquant).

unknown.

Pour passer ce gate, le body doit porter en tete une ligne de la forme :

Grain: <DEEP|MED|LIGHT>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<GENRE> #<PR>

Le <genre> doit figurer dans l'enumeration §1 de variation-protocol.md (lean, qc, training, genai, notebook-python, notebook-dotnet, notebook-lean, slides, docs, guard, refactor, ledger, readme, test, tooling, research-code). Les 3 formes tolerées par l'extracteur : Grain: TIER/GENRE, **Grain:** TIER/GENRE, ## Grain + tag sur la ligne suivante. La lane doit suivre le format <machine>:<workspace> (cf. lane-claim-protocol.md).

@github-actions

Copy link
Copy Markdown
Contributor

<mot-clé fermant> #N où N est une PR -- bloquant (#10101).

unknown

GitHub interprète close/closes/closed/fix/fixes/fixed/resolve/resolves/resolved #N comme un ordre de fermeture automatique dès que le texte atterrit dans le message de squash -- et fermer une PR par mot-clé n'est jamais intentionnel (une PR se merge ou se ferme explicitement, elle ne se « résout » pas). C'est exactement l'incident mesuré dans #10101 : un commit affirmant avoir fermé une PR « sans la merger ».

Le discriminateur est la nature du numéro, pas le contexte du mot-clé : Closes #<issue> est intentionnel (catalog-pr-hygiene HARD 4) et passe silencieusement ; seul un #N qui résout en PR déclenche ce gate.

Pour passer ce gate :

  • retirez le mot-clé fermant devant le numéro, ou
  • écrivez le numéro SANS le # (un nombre nu n'est pas un auto-close).

@github-actions

Copy link
Copy Markdown
Contributor

G-VAR-3 : deux grains LIGHT du meme genre consecutifs -- bloquant (#11170).

unknown

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #? (?, source ?), sequence de merges arretee au n/a. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

python scripts/ci/variation_adjacency_guard.py --pr-number 18266

variation-protocol.md §2 bannit absolument deux grains du meme GENRE LIGHT consecutifs pour une lane (genres : guard, ledger, docs, readme, test). Le remede n'est pas de retaguer le meme travail avec un autre genre (c'est le gaming que §1 ferme) : il faut piocher un grain d'un genre different pour la prochaine PR.

Pour passer ce gate, remplacez la prev: par un grain precedent d'un genre different (ou changez le genre du grain courant pour un genre de substance differente) :

Grain: <TIER>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<genre-different> #<PR>

@github-actions

Copy link
Copy Markdown
Contributor

Collision de lane sur une reference fermante (#10223).

unknown

Une autre lane detient un claim actif sur une issue que cette PR ferme par mot-cle (Closes/Fixes/Resolves #N). Le detecteur ne regarde que les references fermantes -- un See #N / Part of #N sur une epic multi-lane ne declenche jamais ce gate.

Les trois sorties pour passer ce gate :

Voir #10223 et lane-claim-protocol.md.

@github-actions

Copy link
Copy Markdown
Contributor

Artefact de resultats au-dela de la barre de 512 Ko -- bloquant (#15890).

unknown

Pour passer ce gate :

  • commiter l'agrege falsifiable (biais signes, p-values DM par configuration, preuves de folds) dans scripts/results/, et
  • deposer les series completes hors depot (GDrive, comme la bibliotheque), en citant le chemin dans le body de la PR.

Politique complete : .claude/rules/results-artifact-policy.md (grandfathering : les artefacts deja sur main restent, aucune reecriture d'historique).

@github-actions github-actions Bot removed the variation-tag-missing PR sans tag Grain: <TIER>/<GENRE> (variation-protocol) label Sep 28, 2026
Conflit unique : GenAI/Vibe-Coding/docs/sessions/SESSION-1-INTRODUCTION.md,
lien vers Activites-GenAI.md. Cote branche retenu (../../../activites/) : la
tranche 2 deplace le repertoire vers GenAI/activites/, alors que la reparation
de liens de main (#18150) pointait l'ancien emplacement
Vibe-Coding/docs/activites/.

Verifie apres fusion : ancien dossier 0 fichier suivi ; les 25 liens
"activites" du depot resolvent (un faux positif de resolveur de mesure, %20
non decode, cible existante) ; aucune reference residuelle a l'ancien
emplacement hors mention historique du README.

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

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #18266 (feat(activites,#18223): lieu unique GenAI/activites -- import vulgarisation + exhumation Vibe-Coding (tranche 2)) 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.

@jsboige

jsboige commented Sep 29, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18266
head: 2f39fbf
complete: true
body: read
comments-reviewed: 6
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 2ec1002c52b13a5feeb8e9623d4b0a37606a8b1c90509955d6f38632fe8cb942
diff-files: 15
diff-additions: 286
diff-deletions: 9
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Secrétaire vérificateur (myia-po-2026:CoursIA-3), 29/09 00:52Z — Dossier tiers READY à tête exacte 2f39fbfc…. Vague oldest-first.

@myia-ai-01
myia-ai-01 merged commit d87db6a into main Sep 29, 2026
36 of 37 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

paragraph-length Paragraph > 2000 chars (wall-of-text, #15405). Resorb before merge.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants