[jsboige]

Grain: MED/docs — lane myia-ai-01:CoursIA-2 — prev: DEEP/genai #23288

Cartier 1957 — référence exacte, texte consulté et archivé

Le défaut

docs/research/cartier-miller-p0-cartography.md citait « Cartier 1957 » sans volume ni pages, et sans dire si le texte avait été consulté. La cartographie est la pièce qui rattache le manuscrit Cartier–Miller evaluation of genus-one coefficient sums à ses énoncés : sa §3 (Lemma 3, « Exceptional Cartier defect ») s'appuie sur l'opérateur de Cartier. Une référence tronquée et non qualifiée est une attribution non vérifiable — ce que la règle bibliography-hygiene classe comme pire qu'une absence.

Ce que cette PR apporte

1. La référence complète, établie sur des sources bibliographiques indépendantes :

Pierre Cartier, « Une nouvelle opération sur les formes différentielles », Comptes rendus hebdomadaires des séances de l'Académie des sciences, sér. I (math.), t. 244 (1957), p. 426-428 — zbMATH an:0077.04502, MR 18,870b.

2. La preuve d'identité, sur la première page du texte (et non plus seulement sur des bibliographies) :

• p. 426 : « ALGEBRE. — Une nouvelle opération sur les formes différentielles. Note de M. Pierre Cartier, présentée par M. Jacques Hadamard » ;
• p. 427 : mention « SÉANCE DU 21 JANVIER 1957 » ;
• p. 428 : Théorème 5 et Conclusion de la note.

La bibliographie de l'article de Cartier lui-même — « Questions de rationalité des diviseurs en géométrie algébrique », BSMF 86 (1958) 177-251 (doi:10.24033/bsmf.1503), référence [7] — redonne la même mention avec le même an:0077.04502 : l'identifiant de la fiche est donc confirmé par une source indépendante du texte.

3. Le dépôt au gisement, effectué. Les trois pages (p. 426-428) sont extraites et déposées :

G:\Mon Drive\MyIA\IA\Bibliographie IA\Symbolic\1957 - Cartier - Une nouvelle operation sur les formes differentielles (C. R. Acad. Sci., t. 244, p. 426-428).pdf

496 320 octets · sha256 195953e928bdf6d52b0e1f3a4f495ddb5807bf5ae151b75a57d2da4b07e3994f · source : Gallica, série cb343481087, fac-similé bpt6k31965, pages f426-f428 (filigrane « Source gallica.bnf.fr / Bibliothèque nationale de France » visible sur chaque page).

Contrôle de doublon avant dépôt, sur le gisement entier : aucun fichier portant à la fois l'auteur et le titre (le seul nom contenant « Cartier » est le manuscrit de Jordan, 2026 - Jordan - Cartier-Miller evaluation…, auteur et titre différents).

4. La route de recherche, pour qui cherchera le prochain. La note n'est ni numérisée en accès libre sur Numdam, ni dans les collections Wikisource des C. R. Acad. Sci., ni indexée par le plein texte Gallica 1957 — les fascicules de 1957 n'ont pas de couche OCR (hasOCR: false). Le parcours par date du périodique redirige vers l'authentification BnF, et les images de page ne sont servies qu'en session authentifiée.

Portée

• Markdown pur, un seul fichier, docs/research/ — aucune ré-exécution due, aucun carnet touché.
• Aucun PDF sous droits n'est committé : le dépôt public ne reçoit que des citations ; le PDF reste dans le gisement privé.

Ce qui reste ouvert (volet suivant)

• La rétrogradation de [Bibliographie] Search-09c : retrograder deux references sous paywall non archivees (Spencer 1987, Banaszczyk 1998) #23222 (attributions paywall Spencer 1987 / Banaszczyk 1998 dans la section « Références » de Search-09c) : elle touche la même cellule que les corrections de la PR Fix(citations,#23163): 4 attributions bibliographiques faussees, corrigees a la source #23167, encore ouverte ; elle sera faite sur main après le merge de Fix(citations,#23163): 4 attributions bibliographiques faussees, corrigees a la source #23167, pour éviter deux PR concurrentes sur une même cellule de carnet.

Refs #14407 (EPIC Bibliographie) · #19452 (issue distillation) · #23222 (volet suivant).

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-ai-01:CoursIA-2 a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #23157 (DEEP/guard, merge a 2026-10-29T00:39:51Z), #23206 (MED/ledger, merge a 2026-10-29T04:20:24Z), #22260 (MED/guard, merge a 2026-10-29T05:27:04Z), #22327 (MED/docs, merge a 2026-10-29T05:42:52Z), #23196 (DEEP/guard, merge a 2026-10-29T09:07:10Z), #22419 (MED/guard, merge a 2026-10-29T09:22:39Z), #22497 (MED/guard, merge a 2026-10-29T10:58:01Z), #22626 (DEEP/guard, merge a 2026-10-29T14:48:55Z), #23016 (DEEP/guard, merge a 2026-10-29T16:02:19Z)).
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-ai-01:CoursIA-2` voit ces signaux actifs sur les mergees du jour (UTC 2026-10-29) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=9 cap=4)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=0 genre=9 cap=4)

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