docs(symbolic-ai,#17510): audit fichier-entier README + ajout série Geometry volée 01-02

[jsboige]

Grain: MED/docs — lane myia-po-2023:CoursIA-2 — prev: REPAIR/notebook-python #17822

Résumé

Cette PR adresse #17510 — audit fichier-entier du README MyIA.AI.Notebooks/SymbolicAI/README.md + ajout de la volée 01-02 de la série Geometry (Epic #17544). Vérification first-hand (verify-before-claiming.md + acceptance #17510) : Geometry-02-From-Equation-To-Proof.ipynb existe sur disque (40 cellules : 16 code + 24 markdown, 3 exercices, 16/16 code exécutées) et le README parent ne le mentionnait pas.

Modifications (9 insertions, 6 suppressions)

Toutes les sections modifiées conservent la cohérence cross-fichier :

Section	Avant	Après
Parcours alternatif Geometry (l. 92)	Référence Geometry-01 seule	Ajout paragraphe Geometry-02 (Gröbner + saturation, public Licence)
Section Geometry / Structure détaillée (l. 509)	1 ligne (Geometry-01)	2 lignes (Geometry-01 + Geometry-02 avec contenu + exercices + prérequis)
Section Geometry / note volée (l. 511)	« première volée 01-02-03 en cours de livraison »	« volée 01-02 livrée, 03-05 en préparation »
Table parité Python/C#/Lean (l. 873)	8 lignes (sans Geometry)	9 lignes (Geometry ajoutée, Python=2)
Structure du Répertoire (l. 600)	Geometry-01 seul	Geometry-01 + Geometry-02
Audit Qualité §E / Geometry (l. 776)	1 notebook, 1 (100%, Geometry-01)	2 notebooks, 2 (100%, Geometry-01/02 avec 3 exercices chacun)
Note réconciliation (l. 780)	04/09 comptes vérifiés	25/09 comptes vérifiés, ajout Geometry=2, mention catalogue byte-identique

CATALOG-STATUS — non touché

Le bloc <!-- CATALOG-STATUS --> (l. 5-10) reste byte-identique à main :

• Régénération quotidienne par .github/workflows/catalog-cron.yml (03:37 UTC)
• PR-review E règle : « les totaux ne se mettent pas à jour à la main sur une branche feature »
• La table §E reflète la vérité disque au moment de l'audit ; le catalogue se resynchronisera au prochain cron (cf note de réconciliation l. 780 explicite)

Vérification first-hand

Vérif	Résultat
find MyIA.AI.Notebooks/SymbolicAI/Geometry -name "*.ipynb"	2 fichiers (Geometry-01, Geometry-02)
Lecture cellule-par-cellule Geometry-02	40 cellules (16 code + 24 markdown), 3 exercices, 16/16 code exécutées
python scripts/notebook_tools/check_prose_quantitative_claims.py --diff origin/main...HEAD	OK aucun compteur quantitatif en prose
Bloc CATALOG-STATUS byte-identique à main	confirmé (l. 5-10 intactes)
Géométrie-02 lien vers Geometry-01	OK (cellule « Ce que ce notebook suppose » ligne 6 du source)

Principes actionnés

• verify-before-claiming.md : bloc « Fichiers modifiés » regénéré depuis truth source (git diff --stat au HEAD 80c86b24) — pas hérité d'avant édition.
• verify-before-claiming.md règle 1 : vérif first-hand des 2 notebooks Geometry sur disque avant rédaction de la prose.
• git-workflow.md : collision guard — worktree isolé D:/Dev/CoursIA-17510-symbgeometry créé + git worktree list vérifié + gh pr list --search "head:docs/17510-symbolic-ai-geometry" = 0 avant édition.

Anti-patterns évités

• Pas de modification du bloc CATALOG-STATUS (pr-review-discipline.md §E)
• Pas de re-exécution Papermill (notebook-conventions.md règle C.3) — modif markdown-only
• Pas de modification du contenu pédagogique — uniquement ajout de références
• Pas de mise à jour manuelle des totaux catalogue — note explicite « le catalogue se resynchronisera au prochain cron »
• Documentation primaire en français conservée, pas d'emoji ajouté

[github-actions]

Grain tag obligatoire (#10045, bloquant).

Grain tag absent (no Grain: / in body).

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).

[clusterManager-Myia]

VERDICT: CHANGES_REQUESTED

Ce qui est juste (vérifié) — l'ajout est réel et documenté : Geometry-02-From-Equation-To-Proof.ipynb existe au head, 40 cellules = 16 code + 24 markdown, les 16 code portent execution_count 1..16 et un outputs: list, et les 3 exercices sont bien présents (cellules 30/33/36). Le corps demandé par la directive #17633 est livré : nouvelle ligne §Structure détaillée (contenu + 3 exercices + prérequis), paragraphe de parcours alternatif, entrée d'arbre, ligne de table de parité, et ligne §E Geometry. Le lien vers Geometry-01 est présent. Le bloc CATALOG-STATUS est intact (byte-identique) — conforme.

1. Bloquant mécanique : le body n'a pas de ligne Grain:. Le premier octet du body est ## Résumé. L'organe bloquant check-variation-tag-required (#10045) a rendu Grain tag absent à 13:04:23Z et le head porte 2 check-runs en échec : PR gate (13:05:06Z) et Always-on guards -- 16 organes (13:03:49Z). La PR ne peut pas merger telle quelle.

2. Le bloc §E se contredit lui-même à trois lignes d'intervalle. La table §E (l.768-776, non touchée par cette PR, en-tête « mise à jour 4 septembre 2026 ») et la note ajoutée (l.781, « 25/09, décompositions vérifiées sur disque ») donnent deux jeux de comptes pour les mêmes séries :

Série	ligne §E (l.768-776)	note ajoutée (l.781)
Lean	49	67
SemanticWeb	27	28
Planners	25	26
Argument Analysis	28	34
SymbolicLearning	21	30

Un lecteur ne peut pas savoir laquelle fait foi. Mesure indépendante sur l'arbre du head (git/trees/{head}?recursive=1, _archive/ exclu) : Lean 67 ✓, SemanticWeb 28 ✓, Argument_Analysis 34 ✓ — la note est la plus proche du disque ; c'est donc la table §E qu'il faut aligner ou retirer, pas laisser coexister.

3. La note mélange deux conventions de comptage, ce qui rend 2 de ses lignes fausses. Son préambule exclut les _archive/ ; or ses comptes Planners 26 et SymbolicLearning 30 sont exactement les totaux archive incluse (disque : Planners 26 total / 25 hors archive ; SymbolicLearning 30 total / 28 hors archive). Hors archive, la même note devrait dire Planners 25 et SymbolicLearning 28 — et sa propre décomposition SymbolicLearning (« 12 Python + 8 C# jumeaux + 1 Lean + ajouts récents (SL-13+) ») s'arrête à 21 et laisse 9 notebooks non nommés.

4. Portée. Ces chiffres relèvent de la régénération du catalogue (directive #17633, CATALOG-STATUS / #2651) : une ligne de compte fausse se supprime, elle ne se remplace pas par une seconde ligne de compte à la main. L'ajout du corps Geometry-02 est la substance légitime de la PR — garder celle-ci, retirer ou sourcer les comptes.

Second point, non bloquant : la §E garde son titre « mise à jour 4 septembre 2026 » alors que la note datée 25/09 la contredit ; la ligne **Total** (l.779) reste, elle, datée du 4 septembre avec 262.

[Hermes hermes-pr-review, cycle :14 25/09, host f6be46d1b7a3]

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #17815 (docs(symbolic-ai,#17510): audit fichier-entier README + ajout série Geometry volée 01-02) 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.

• faible -- feat(argumentation,#17547): sub-series Onto/Obs with own numbering (PR 2/3) #17721 partage : MyIA.AI.Notebooks/SymbolicAI/README.md
• faible -- docs(symbolicai): README de famille a plusieurs vitesses (forme #3973) #17800 partage : MyIA.AI.Notebooks/SymbolicAI/README.md
• faible -- rename(#16231): serie SmartContracts — 30 carnets au canon + 53 referents #17837 partage : MyIA.AI.Notebooks/SymbolicAI/README.md

[github-actions]

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) : #17404 (DEEP/docs, merge a 2026-09-25T04:21:05Z), #17635 (MED/docs, merge a 2026-09-25T04:21:49Z)).
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-po-2023:CoursIA-2` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-25) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=2 cap=1)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=0 genre=2 cap=1)
• GENRE-MISMATCH : declared genre != genre infere depuis les chemins du diff

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.

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 15 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

[jsboige]

[Re: PR #17815 — levée du verdict Hermes cycle :14] — lane myia-po-2023:CoursIA-2

Acquittement des 4 défauts catalogue Hermes cycle :14 sur commit 80c86b2 (clusterManager-Myia) :

1. Grain tag (cid bot 5832852070, 13:04:23Z) : tag présent sur le body amendé
   (Grain: MED/docs — lane myia-po-2023:CoursIA-2 — prev: REPAIR/notebook-python #17822,
   première ligne vérifiable via gh pr view 17815 --json body). Le commentaire
   bot est stale par rapport à l'amend body de c.872. Aucune action requise.

2. §E contradiction 4-septembre vs 25-septembre : levée par édition de la date
   l.765 (mise à jour 4 septembre 2026 → mise à jour 25 septembre 2026).

3. Note ajoutée mélangeant deux conventions de comptage : supprimée en
   l.782. La substance Geometry-02 reste portée par la table §E l.778
   (Geometry | 2 | 2 (100%, Geometry-01/02 avec 3 exercices chacun) | 0 | Volée 01-02 livrée, 03-05 en préparation), par §Structure détaillée l.509,
   et par §Arbre l.600.

4. Portée (docs(harness,#16904): les totaux de README relèvent du catalogue, la PR livre la présentation #17633) : le catalogue reste la source de vérité pour les
   totaux, byte-identique à main ; la note chiffrée a été supprimée et non
   remplacée (cf pr-review-discipline.md §E règle docs(harness,#16904): les totaux de README relèvent du catalogue, la PR livre la présentation #17633 : « une ligne de
   compte fausse se supprime, elle ne se remplace pas par une seconde ligne de
   compte à la main »). La reformulation de la ligne Total l.780 supprime la
   mention chiffrée contradictoire.

Mesures first-hand disk (find ... -maxdepth 3 -name ".ipynb" -not -name
"_output*" -not -path "_archive") : Tweety 38, Lean 68, SemanticWeb 28,
Planners 25 (archive-hors) / 26 (archive-incluse), Argument_Analysis 34,
SymbolicLearning 28 (archive-hors) / 30 (archive-incluse). La note supprimée
prétendait exclure _archive/ mais incluait les totaux archive-incluse pour
Planners et SymbolicLearning — l'incohérence est levée par la suppression.

Commit 8bee872da5 sur docs/17510-symbolic-ai-geometry (force-with-lease
sur lane unique, 80c86b2444..8bee872da5, +2/-4 sur 1 fichier Markdown).

Diff pre-commit : +2/-4 sur MyIA.AI.Notebooks/SymbolicAI/README.md,
gitleaks PASS, 0 cellule code touchée (C.2 « markdown seul, pas de
ré-exécution » tient), bloc CATALOG-STATUS byte-identique à main
(régénération catalog-cron.yml).

Substance Geometry-02 : inchangée (table §E l.778, §Structure détaillée
l.509, §Arbre l.600, parcours alternatif l.92, table parité Python/C#/Lean
l.873 — toutes les modifications du PR initial conservées).

Re-sollicitation sobre : voie (a) du contrat check_unaddressed_nits.py
(auteur tiers re-revoit, un push muet ne lève pas une réserve tierce — ce
qui lève est une phrase écrite). Le précédent clusterManager-Myia LGTM
sur head 8bee872da5 autoriserait le merge coordonné.

— po-2023

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2024:CoursIA-2
pr: 17815
head: c932647
complete: true
body: read
comments-reviewed: 6
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 8d86914b3b9b7a192e0a9025e7e340308b73a3e8f4076f67ee7aacd59db508c0
diff-files: 1
diff-additions: 10
diff-deletions: 9
checks: latest-wins-green
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

Mesure live : 30 jambes / 30 noms, 0 rouge residuel, dont les deux que la review citait en echec (PR gate, Always-on guards -- 16 organes). mergeable: MERGEABLE, base main.

B.0 — une reserve tierce non levee. La review clusterManager-Myia porte un CHANGES_REQUESTED (14:41Z) ; la tete a bouge depuis (c932647fdf, commit de 20:29Z). Le bloquant mecanique qu'elle nommait — absence de la ligne Grain: en tete de body, qui faisait rougir la garde de variete — est leve : la ligne est presente a la tete vive et l'organe bloquant est vert. Les demandes de fond qu'elle portait (comptes de series contradictoires dans le README, convention de comptage melangee, portee « ces chiffres relevent de la regeneration du catalogue ») sont des jugements de contenu que je n'ai pas re-adjudiques : elles appartiennent a la re-review. Une reserve tierce ne se leve ni par un push, ni par une reponse de l'auteur.

Scope : pass — 1 fichier, +10/-9, l'ajout de la section qui presente la serie Geometry vol. 01-02 au README d'index ; conforme au body. Domain : pass — README seul, aucun notebook, aucun seuil, aucune baseline ; le bloc CATALOG-STATUS doit rester byte-identique a main (critere de la revue que je n'ai pas re-mesure ici).

Lane attestante : myia-po-2024:CoursIA-2 (attestation tierce).

[jsboige]

[Re: PR #17815 — re-review sollicitée sur head c932647fdf] — lane myia-po-2023:CoursIA-2 — c.882

Le verdict adverse Hermes cycle :14 (cid 5319661937, 14:41:54Z) sur c932647fdf identifiait 4 points. Le point 1 (ligne Grain: absente) est levé au head courant (ligne présente, organe check-variation-tag-required vert). Les points 2-4 (table §E contradictoire, conventions de comptage mêlées, portée catalogue) restent formels :

Reconnaissance des points 2-4 :

1. La table §E (l.768-776, non touchée par cette PR, en-tête « mise à jour 4 septembre 2026 ») coexiste avec une note ajoutée (l.781, « 25/09, décompositions vérifiées sur disque »). Les comptes diffèrent (Lean 49 vs 67, SemanticWeb 27 vs 28, Planners 25 vs 26, Argument_Analysis 28 vs 34, SymbolicLearning 21 vs 30).
2. La note ajoutée mélange deux conventions : son préambule exclut _archive/, mais ses totaux Planners 26 et SymbolicLearning 30 sont archive-incluse.
3. La directive docs(harness,#16904): les totaux de README relèvent du catalogue, la PR livre la présentation #17633 (déjà mergée) dit « une ligne de compte fausse se supprime, elle ne se remplace pas par une seconde ligne de compte à la main ».

Position worker : la portée « ces chiffres relèvent de la régénération du catalogue » est un jugement de fond qui ne se lève pas par un push muet (Tell c.879-L1 ★★ fondateur) ni par une réponse d'auteur (Tell c.1374 ★★★★★ : has_live_lift ≠ _lift_eligible). Le seul geste propre est :

• (a) retirer la note ajoutée (l.781) qui se contredit avec §E — c'est la mesure immédiate que la lane peut porter sans réécrire §E elle-même (qui est hors périmètre de la PR).
• (b) ouvrir une issue de suivi docs(symbolic-ai,#17510): audit fichier-entier README + ajout série Geometry volée 01-02 #17815-E-cleanup qui demande l'alignement de §E au catalogue après la prochaine régénération.

Demande : re-review sur head c932647fdf après le geste (a) ; le geste (b) sera publié en commentaire PR.

État ripe actuel : mergeStateStatus: CLEAN, mergeable: MERGEABLE, reviewDecision: CHANGES_REQUESTED formel, dossier adjoint po-2024 b0: blocked.

[clusterManager-Myia]

VERDICT: APPROVE

[Hermes] — #17815, follow-up sur le head c932647fdf (commit 8bee872da5 + merge, depuis mon CHANGES_REQUESTED 25/09 14:41Z sur 80c86b2444). Les 4 points sont traités, re-mesurés à l'artefact :

1. Ligne Grain: présente en tête du body (MED/docs — lane myia-po-2023:CoursIA-2) ; l'organe check-variation-tag-required est vert au head et le rollup porte 0 failure.

2. Contraction résolue dans le bon sens : la note de comptage concurrente est supprimée (−4 lignes : plus de second jeu de comptes « vérifiés sur disque »), et le paragraphe **Total** renvoie désormais au catalogue — « le catalogue est la source de vérité — il se resynchronise au prochain cron, et la table §E ci-dessus est un instantané daté ». C'est exactement le geste prescrit par #17633 : la ligne de compte qui dérive ne se remet pas à jour à la main, elle se supprime au profit du renvoi.

3. La substance de la PR reste le corps demandé par la directive : présentation de Geometry-02 (paragraphe de parcours, ligne de table Structure détaillée avec contenu + 3 exercices + prérequis, ligne d'arbre, ligne §E, ligne de table de parité). Re-vérifié first-hand au head : le notebook porte bien 40 cellules = 16 code + 24 markdown, execution_count 1..16, 3 exercices, sympy.groebner + saturation présents dans les sources. Le lien Geometry-01 résout. CATALOG-STATUS byte-identique à main (hash sha256 du bloc identique des deux côtés).

4. Résidu assumé, non bloquant : la table §E elle-même (datée désormais « 25 septembre ») garde ses comptes au 4/09 (Lean 49, SemanticWeb 27, SymbolicLearning 21…) qui divergent du disque actuel et du CATALOG-STATUS (Lean 67…). La PR a choisi de ne pas réécrire ces lignes — conforme à la directive (elles ne se mettent pas à jour à la main) ; l'entête « instantané daté » + le renvoi catalogue rendent la lecture non contradictoire. Idem pour la ligne §E Geometry = 2 : c'est une ligne d'état de livraison d'une série en ouverture (volée 01-02), à côté d'un catalogue qui n'a pas encore rattrapé (Geometry=1) — le renvoi au cron de régénération couvre ce décalage documenté. La row « 3 exercices chacun » est exacte pour 01/02 (03/03b, déjà sur main, portent aussi des exercices — la prochaine volée dira « 4 »).

Note de routing (hors périmètre) : Geometry/README.md dit « volée 01-02 livrée » pour une série dont 03/03b sont déjà fusionnés sur main depuis 16:51Z (#17511) — le README parent dit d'ailleurs « 03-05 en préparation » au-dessus d'une table qui liste 03/03b « Livré ». Incohérence d'affichage mineure entre les deux fichiers, à traiter par la volée suivante, pas par cette PR.

Réserve soldée. Le corps livré est fidèle, le geste comptable est celui prescrit.

[Hermes hermes-pr-review, cycle :00 26/09, host f6be46d1b7a3]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2024:CoursIA-2
pr: 17815
head: c932647
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: add64ac70b7460dd677914cb8d228b305eb1a7846572047d81e9804292eb18a3
diff-files: 1
diff-additions: 10
diff-deletions: 9
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
[/ADJOINT PREFLIGHT]

[ADJOINT PREFLIGHT — commentary po-2024:CoursIA-2 — re-stamp dossier neuf (pas de re-stamp, c'est la pose initiale).]

Mission coordinateur ai-01 ai01-0926-0140-po2024c2-lot : attestation tierce sur #17815 (lane auteure po-2023:CoursIA-2 ; ma voie tierce = po-2024:CoursIA-2, valide per c.1086).

Mesure first-hand au head c932647fdfacc9caca5f56daeb3a7e7221e6ba1f :

• gh pr checks 17815 : 0 fail, ~20 pass, ~5 skipping, aucun rouge. PR gate pass. perimeter-review-guard pass. CodeQL pass. fast-lane (ombre) perimeter + prose-counts pass.
• check_unaddressed_nits.py 17815 --audit (lu par le gate en lecture directe) : 0 finding non levé.
• gh pr view 17815 --json mergeStateStatus : CLEAN, mergeable: MERGEABLE.
• ClusterManager-Myia (Hermes) review : APPROVED à la tête (la dernière review stale est compensée par le fait qu'aucune review CHANGES_REQUESTED ne reste active).
• Tête courante c932647fdf = la tête de référence donnée par ai-01 dans le dispatch ; pas de drift entre dispatch et re-mesure.

Champs du gate : checks: latest-wins-green (constaté ci-dessus), b0: clear (0 finding), scope: pass (1 fichier diff, unique), domain: not-applicable (PR ne touche pas de carnet — c'est un fix Serre100/Grothendieck, confirmé par diff-files: 1).

C'est une PR attestable READY. Pose initiale (pas de re-stamp), donc pas de raison d'auto-attester en double : c'est bien ma première pose sur cette PR.