Repository navigation
docs(readme,#3973): présenter les trois vitesses de lecture dès le README principal - #17781
Conversation
…ADME principal Le README racine invite desormais le lecteur a choisir sa vitesse de lecture (parcours principal par numeros nus, approfondissement par lettres, recherche par sous-series) et son principe de navigation (par serie, par itineraire narratif, par contrainte d'infrastructure, par inventaire). La phrase de la philosophie pedagogique qui parlait d'« ordre de lecture » renvoie a ce principe. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
github-actions
Bot
added
paragraph-length
|
G-VAR-2 light cap reached (advisory, non bloquant). |
github-actions
Bot
added
variation-genre-cap-exceeded
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
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 |
github-actions
Bot
added
the
trivial-diff-advisory
|
Trivial-diff advisory (#15740, non bloquant). |
…Theory Le paragraphe de presentation de GameTheory nommait deux entreprises pour illustrer les encheres VCG. La surface publique du depot ne nomme pas d'acteurs economiques vivants : l'exemple garde son ordre de grandeur sans eux. Co-Authored-By: Claude-Code <noreply@anthropic.com> Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
|
Commit ajouté (e626851) : le paragraphe GameTheory du README racine nommait deux entreprises pour illustrer les enchères VCG. Il les retire, en gardant l'ordre de grandeur. Le défaut était déjà sur Dépendance : #17797 (README GameTheory) renvoie à l'ancre |
|
[ADJOINT PREFLIGHT] Aucun dossier anterieur. PR gate DWELL -- tete du 2026-09-25T09:52:43Z, minuteur 120 min, ecoule a 2026-09-25T12:07:00Z. 1 fichier (README racine, +25/-6, ancre #choisir-sa-vitesse-de-lecture) ; 4 commentaires et 0 review. B.0 rc=0 aucun nit non leve parmi les commentaires evalues ; 1 commentaire non evalue A RELIRE (commit e626851 retire deux noms d'entreprises illustrees par les encheres VCG -- la justification est dans le commentaire). Aucun defaut de substance : plancher mecanique, c'est la candidate qui attend, pas la lane. Pas de re-push recommande (un re-push remet le plancher a zero). |
Path-collision (organ #13359/#13615)Cette PR #17781 (
|
|
[ADJOINT PREFLIGHT] Re-stamp secretaire c.141 -- tiers au titulaire (Tell c.111 strict). PR gate SUCCESS post-DWELL (rerun 36120908098 @13:27:12Z). B.0 rc=0 OK. Lane secretaire myia-po-2026:CoursIA-3. Fix emetteur c.141 : stderr separe, ligne 1 gardee. |
…t ne perime plus un dossier (#17880) #16931 avait neutralise la REECRITURE en place des commentaires marker-gardes (hash sur le marqueur seul) mais pas leur premiere pose posterieure au dossier : l'arrivee d'une PR voisine declenchant l'organe PR-PATH-COLLISION sur les README partages perimait le dossier sans que le fond bouge (mesure 2026-09-25 : dossiers de #17781/#17797 perimes a 13:02Z par la pose du bot seule). _is_bot_advisory_pose : predicat conjonctif auteur (github-actions[bot], suffixe reserve aux comptes d'app) ET marqueur _BOT_MARKER_GUARDS en tete de corps, neutralise la row dans le decompte foreign d'evaluate_with_dossier. L'auteur compte, pas le texte seul : un tiers qui recopie le marqueur perime toujours le dossier. La liste reste dans le code, jamais dans le dossier. Mesure du pool (25/09, 27 PRs ouvertes a dossier) : 10 NO-DOSSIER "discussion changed" en semantique pre-fix ; 2 dus au SEUL motif (#17781, #17797, verdict redevenu lisible BLOCKED) ; 1 (#17787) ou le motif s'ajoutait a une peremption reelle (head/diff stale) ; 7 ou "discussion changed" n'etait jamais la cause unique. Tests : 3 nouvelles (pose bot ne perime pas / commentaire humain perime / marqueur recopie par un tiers perime) -- 94/94, voisines 172/172. Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
…orme #3973) (#18997) * docs(readme,#3973): Tweety README en parcours a plusieurs vitesses (forme #3973) Grain: MED/docs -- lane myia-ai-01:CoursIA-2 -- prev: MED/guard #18991 ## Resume Le README de la serie Tweety presentait chaque notebook (12 Python + 18 C# + 7 Lean companion = 38 racine + 1 probe) et chacune de ses accretions comme une etape d'une lecture sequentielle unique, dans une seule table Structure de 47 lignes. Un lecteur qui voulait le parcours leger devait trier lui-meme des lignes ou les lettres, les jumeaux C#, les laboratoires Lean et les extensions se melaient aux numeros nus. Cette PR le reorganise selon la forme #3973 et l'arbitrage du mainteneur du 25/09, en coherence avec le hub #17800 (SymbolicAI famille a plusieurs vitesses) et la feuille patron #17797 (GameTheory README en parcours a plusieurs vitesses). ## Nouvelle structure | Section | Public | Contenu | |---|---|---| | Ouverture, **Comment lire ce README** | Decouverte | Les trois vitesses, avec renvoi a la section racine (#17781), et la **grammaire des noms de fichiers** (`<NN>[<lettre>]-<Titre>-<Noyau?>`) | | Pourquoi, Presentation | Decouverte | L'existant, inchange | | **Parcours principal** | Decouverte, Licence | Numeros nus 01 a 12. Une ligne par palier. Les lettres apparaissent uniquement dans les liens courts des approfondissements. | | **Approfondissements** | Licence, Recherche | Une sous-section par palier (02, 03, 04, 05, 06, 07, 08/09, 10/11). Le tableau par lettre dit ce qu'elle ajoute. | | Sous-serie Argumentation -- Argumentum | Recherche | Pointeur vers Argument_Analysis et le sous-module ; pas d'inventaire redondant | | Le reste (En quoi chaque notebook est unique, Pont symbolique/statistique, Echelle causale, Concepts cles, Domaines, Quick Start, Pre-requis, Architecture, Outils externes, Limitations, Modules, Validation, FAQ, Versions, Ressources, Ponts, Conclusion, Statistiques catalogue, Ecosysteme MCP) | mixte | Conserve tel quel | Aucun total ni compte n'est ecrit en prose pour les notebooks : le compte et la maturite vivent dans le bloc CATALOG-STATUS (lignes 1-10 inchangees, verifie par diff vide). ## Corrections de fond au passage - Renommage des liens dans la table : `Tweety-1-Setup` -> `Tweety-01-Setup-Python` (et idem pour 2-9, 10, 11). Les fichiers s'appellent deja `-Python` depuis #16231 ; la table disait l'ancien nommage. - Palier 7 : les entites 7a et 7b etaient dans la meme ligne de phase ("Phase 4 : Frameworks avances et probabilistes (Notebooks 7a-7b, ~1h)"), sans mention que 7b est un approfondissement. Le parcours principal expose 7 (07a) ; 7b rejoint les approfondissements. - Liens `Tweety-5-Abstract-Argumentation-Csharp.ipynb` -> cible reelle `Tweety-5-Abstract-Argumentation-CSharp.ipynb` (C# majuscule) sur disque ; idem corrections silencieuses sur 02-Basic-Logics-CSharp, 06-04-Structured-Argumentation-CSharp, 07a, 07b, 08-Agent-Dialogues-CSharp, 09-Preferences-CSharp, 10-MLN-Csharp, 11-Causal-CSharp. Les chemins de la table d'origine etaient coherents avec la cible reelleee (casse-preservant), j'ai preserve cette convention. - Mention du do-calculus etait dans la presentation sans renvoyer aux notebooks partenaires (Infer.NET, PyMC, ICT). Les liens inter-series ont ete preserves. ## Dependances - **Merger apres #17781** : le renvoi `../../README.md#choisir-sa-vitesse-de-lecture` pointe l'ancre introduite par #17781. Si cette ancre n'existe pas encore au moment de la revue, le lien GitHub sera mort mais le fichier reste local-coherent. - Le hub SymbolicAI (#17800) liste deja le parcours leger de Tweety (`01 a 12`) ; cette PR est alignee avec cette description. Aucune modification du hub n'est requise. ## Validation - Liens relatifs : tous resolus. Chaque notebook racine (12 Python) et chaque lettre (12+ lettres appraissant dans les tables d'approfondissement) est lie au moins une fois ; aucune cible absente. - `python scripts/check_docs_links.py --check --base origin/main` : `OK: No new broken links. (0 pre-existing, 8004 total)`. - `python scripts/notebook_tools/check_prose_quantitative_claims.py --diff origin/main --strict` : `[OK] aucun compteur quantitatif en prose`, rc=0. - `python scripts/notebook_tools/check_link_label_agreement.py --json` : 0 finding sur Tweety/README.md (les findings sur les notebooks eux-memes -- notamment `Tweety-3c-ML` qui pointe `Tweety-3-ModalLogic-Csharp.ipynb` -- sont pre-existants et sortent du scope de cette PR, le perimetre etant le seul fichier README). - Lignes 1-10 (titre, navigation, CATALOG-STATUS) identiques a origin/main (diff vide apres conversion CRLF->LF). - Pas de notebook modifie : aucune re-execution requise. See #3973, #17781, #17797, #17800, #16231 🤖 Generated with [Claude Code](https://claude.com/claude-code) * fix(docs,#18997): aligner 4 chemins CSharp casses sur la convention disque (Csharp) Le check CI docs-link (Linux, case-sensitive) a detecte 4 liens casses sur le README Tweety : les paths utilisaient -CSharp.ipynb (majuscule) pour les paliers 3-ML, 4-BR, 5 et 11 alors que les fichiers sur disque sont en -Csharp.ipynb (minuscule). La convention du dossier est mixte selon le palier (CSharp majuscule pour 02, 02b, 02c, 06, 07a, 07b, 08, 09 ; Csharp minuscule pour 3, 4, 5, 10, 11), reflet de la normalisation #16231 en cours. Cette PR aligne les 4 chemins casses sur la convention reelle du disque sans toucher au label (qui etait deja en Csharp minuscule). Cause : la table d'origine avait des liens avec label et path inconsistants. Mon remaniement a preserve le label et unifie une partie des paths, mais 4 chemins sont restes en CSharp majuscule alors que le filesystem canonique (Linux CI) porte Csharp minuscule pour ces paliers-la. Verifie localement, le check_docs_links local (Windows NTFS case-insensitive) rend OK ; seule la CI Linux case-sensitive a signale les 4 casses. Verification : check_docs_links.py 8004 liens, 0 casses apres PATCH.
2 participants
Grain: LIGHT/docs -- lane myia-ai-01:CoursIA -- prev: LIGHT/docs #17779
Résumé
Le README principal présente maintenant dès « Commencer ici » le principe des parcours à plusieurs vitesses. Il invite aussi le lecteur à choisir comment il navigue.
PARCOURS.md), par contrainte d'infrastructure (parcours.qmd) ou par inventaire (le catalogue).Pourquoi
C'est la face lecteur de la refonte décrite dans le body de #3973 (2026-09-25) et de la doctrine de gradation de #5081. Les noms de fichiers portent déjà deux dimensions : les numéros nus pour l'arc, les lettres pour la profondeur. Le lecteur n'en était averti nulle part. La forme que les READMEs de série doivent prendre est portée par #17779 (gabarit de l'agent).
Vérifications
check_prose_quantitative_claims.py --diff origin/main...HEAD:[OK] aucun compteur quantitatif en prose.#séries-de-notebooks,#mise-en-routeet#choisir-sa-vitesse-de-lectureexistent dans le fichier.PARCOURS.md,parcours.qmdetCOURSE_CATALOG.generated.mdexistent. La description deparcours.qmdreprend ses trois niveaux réels : local sobre, .NET et Lean, GenAI complet.CATALOG-STATUStouché, catalogue byte-identique.See #3973 · See #5081
🤖 Generated with Claude Code