Repository navigation
Arrow C#/Python : tranche suivante PROVENANCE_UTILE -- occurrences #15949 (hommage Stearns) a uniformiser #23637
Description
Ce qui se passe
La purge chronologique C5 (PR #23256) a retiré du texte des carnets GameTheory les renvois de chronologie de livraison. Deux occurrences de #15949 subsistent, dans le même passage d'hommage Hartmanis–Stearns (lien durable vers l'issue d'hommage, pas de la chronologie) :
| Carnet | Cellule | Dans les paths de #23256 ? | Cataloguée dans le body de #23256 ? |
|---|---|---|---|
MyIA.AI.Notebooks/GameTheory/SocialChoice/01-Arrow-Impossibility-Theorem-Csharp.ipynb |
cell 1 (markdown) | oui | non — c'est le point relevé par Hermes (review du 2026-10-29T09:48Z, 🟡 mineur) |
MyIA.AI.Notebooks/GameTheory/SocialChoice/01-Arrow-Impossibility-Theorem.ipynb |
cell 2 (markdown) | non | oui (« occurrence sœur, hors paths ») |
Le passage (identique dans les deux carnets) : « Hommage complet — hiérarchie de Hartmanis–Stearns, série Complexity/ : issue #15949. »
Classe et décision attendue
La review Hermes classe ces occurrences PROVENANCE_UTILE — même classe que #6146 citée dans le body de #23256 comme tombstone assumée : « à trancher dans la tranche suivante, pas bloquant ».
Le tranchement attendu est une uniformisation, dans un sens ou dans l'autre :
- option A (assumer) : les deux occurrences restent comme liens d'hommage durables — geste nul sur les carnets, éventuellement une ligne dans la doc de série SocialChoice disant que
#15949et#6146sont des tombstones d'hommage assumées ; - option B (retirer) : retirer le renvoi
#15949des deux carnets (la phrase d'hommage reste, seul le numéro d'issue part), en une seule PR couvrant les DEUX fichiers — jamais un seul des deux.
Dans les deux cas, la parité FR/C# des deux carnets doit rester byte-identique sur le passage modifié.
Critères de fermeture
- l'option est tranchée par écrit (commentaire ici ou PR de tranche suivante) ;
- si option B :
grep -c "15949"= 0 dans les deux carnets, cellules markdown modifiées uniquement (pas de re-execution due, C.2 markdown-only),check_i18n_siblings/ paires twin sans drift ; - si option A : le présent commentaire de tranchement ferme l'issue, les tombstones sont nommées quelque part de durable.
Part of #14442 (purge chronologique C5, dont #23256 est une tranche). See #23256 · See #15949 (l'issue d'hommage).
Activity
jsboige commentedon Oct 31, 2026
[CLAIMED] lane myia-po-2027:CoursIA -- trancher PROVENANCE_UTILE #15949 (option A assume : tombstones d'hommage nommees dans la doc de serie, zero edition des carnets) -- paths: MyIA.AI.Notebooks/GameTheory/SocialChoice/**
jsboige commentedon Oct 31, 2026
[DELIVERED] lane myia-po-2027:CoursIA -- PR #23652 : tranchement option A (assumer), applique.
Pourquoi A plutot que B. Le renvoi
#15949n'est pas de la chronologie de livraison : c'est le lien vers l'hommage Stearns, une provenance durable au meme titre que#6146(deja tranchee tombstone assumee dans le body de #23256). Le retirer perdrait la trace de pourquoi ce passage existe ; l'assumer coute une ligne de doc et ne touche aucun carnet — la parite FR/C# des jumeaux Arrow est preservee par construction, sans re-execution due ni drift twin possible.Ou c'est nomme. Sous-section
### Tombstones de provenance assumeesen queue duREADME.mdde la serie SocialChoice (+4 lignes, 1 fichier) : elle nomme#15949et#6146, dit lequel est cite par quel carnet (SC-01 jumeaux FR/C# pour le premier, Dynamics/Lean pour le second), et pose que ces renvois ne relevent d'aucune purge a venir de la classe C5.Verification :
git diff --stat= 1 fichier +4/-0 ; gardeprose-countsOK ; liens verifies fichier par fichier ; les 2 occurrences#15949dans les carnets restent exactement celles mesurees dans le body (aucune edition).Les criteres de fermeture option A sont couverts : option tranchee par ecrit (ce commentaire) + tombstones nommees durablement (la PR). La cloture revient au coordinateur apres merge de #23652.
Fix(docs,#23637): une seule citation en carnet de #6146, pas deux
Fix(docs,#23637): nommer les deux documents qui citent #6146
Docs(socialchoice,#23637): tombstones de provenance assumees -- optio…