docs(ethics,#17467): accord avec l'initiative SAIR Open Models

[jsboige]

Grain: DEEP/docs — lane myia-po-2027:CoursIA-2 — prev: DEEP/notebook-python #17618

docs(ethics,#17467): accord avec l'initiative SAIR Open Models

Résumé

Ajoute une section « Accord avec l'initiative SAIR Open Models » à docs/leiden-declaration-position.md. L'accord est documenté tel qu'il a été souscrit auprès de l'initiative, sans étendre le périmètre de CoursIA au-delà de ce qui est déjà tenu. PR séparée de #17495 (Boussole apprendre→extraire→prouver, déjà mergée sur main) — un sujet par PR.

Périmètre du changement

Ajout d'une seule section (30 lignes, 1 fichier) entre « Dialogue avec les recommandations de Leiden » et « Sources principales ». Le reste du document est intact.

La section couvre cinq axes :

1. Correspondances avec nos engagements — cinq principes SAIR cartés sur des engagements CoursIA déjà tenus (lake build + proof-integrity, registre DATASET_REGISTRY.md, règle bibliography-hygiene, séparation dépendance industrielle / autonomie, infrastructure locale).
2. Contribution vérifiable — deux pratiques qui rendent l'accord concret : les lakes Lean comme évaluations reproductibles (reference/lean-axiom-coverage.md) et les traces forensiques du harnais de prouveur (Epic [EPIC] Prover harness co-evolution — forensic-driven robustness (ai-01 ⇄ po-2026) #1453).
3. Ce que nous ne revendiquons pas — cinq négations explicites : pas de partenariat formel, pas de mission de représentation, pas d'engagement sur des décisions futures non publiées, pas d'ajout de SAIR au périmètre pédagogique (Epic EPIC: Digestion et exposition des preuves du corpus CoursIA #13105 reste interne), pas de preuve de neutralité.
4. Référence ajoutée aux Sources principales : URL sair.foundation/open-math-model/ datée du 24 septembre 2026.

Conformité au dispatch (G.1 ★ strict)

Chaque affirmation de la section cite la page source consultée (URL par axe, libellé de section SAIR) et la pratique CoursIA qui la porte (chemin de fichier + section). Aucun nom de personne n'est mentionné. La date de consultation est explicite.

Hors scope

• Ne touche ni au périmètre pédagogique, ni au périmètre scientifique de CoursIA.
• Ne revendique aucune contribution de calcul, de données, ou de personnel au-delà de l'accord documenté.
• Ne crée pas de nouvelle dépendance CI.

Vérification

• git diff --stat : 1 fichier modifié, 30 insertions, 0 deletion.
• Aucun nom de personne, aucun partenariat formel, aucun rôle de gouvernance n'apparaît dans le diff.
• Chaque lien externe pointe vers une URL publique stable (sair.foundation) avec date de consultation.

Liens

• Issue : docs(ethics): compléter la position Leiden par l'accord avec l'initiative SAIR Open Models #17467
• Page source : SAIR Open Models (consultée le 24 septembre 2026)
• Boussole (PR séparée, déjà mergée) : docs(#16756): Boussole apprendre→extraire→prouver dans la Déclaration Leiden #17495

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2027:CoursIA-2 a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #17033 (MED/guard, merge a 2026-09-24T07:04:45Z), #17495 (DEEP/docs, merge a 2026-09-24T10:08:40Z)).
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-2027:CoursIA-2` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-24) :

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

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

[github-actions]

prev: genre mot-clé fermant (#10093) — LEVÉ (2026-09-26T11:16:55Z).

aucun genre mots-clé fermant dans le body ni les commits ; prev: accepté(s) : #17618

Run vert du garde : ce commentaire bloquant est obsolète. Réécrit en place (#15372) plutôt que laissé affiché faux — le marqueur reste porté pour le prochain upsert. Historique : runs Always-on guards de la PR.

[github-actions]

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

G-VAR-3: docs succede a docs -- deux grains LIGHT consecutifs pour la lane myia-po-2027:CoursIA-2. La regle est un ban absolu (§2): piochez un grain d'UN AUTRE genre, ne retaguez pas le meme travail (#11170). Tenu > 24 h : le coordinateur tranche par [G-VAR-3 OVERRIDE] lane myia-po-2027:CoursIA-2 -- next: <genre> (section 3), il ne laisse pas vieillir. (predecesseur reel: #17495, sequence mergee)

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #17495 (docs, source merged-sequence), sequence de merges arretee au 2026-09-24T11:10:02Z. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

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

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>

[jsboige]

[INFO] c.806 po-2027:CoursIA-2 — fix body PR #17653 : prev: pointe désormais sur #17618 (DEEP/notebook-python MERGED 2026-09-24T10:10:07Z, valide). Ancien prev: #17527 était CLOSED unmerged (= abandoned) ; bloquant vtr-prev-close-keyword résolu.

Bilan des commentaires de bot :

• vtr-prev-close-keyword (bloquant) : LEVÉ par ce push du body (merging ready après re-run du check).

• G-VAR-3 docs → docs (bloquant) : le bot lit la séquence mergée de la lane, pas le prev: déclaré. La dernière mergée est feat(compression,#16060): 3.9g — comparatif capstone Bloc A vs Bloc B #17618 (notebook-python) → G-VAR-3 ne bloque pas sur cette PR sauf si la vraie séquence mergée contient deux docs consécutifs. Si le bot la re-rouge, c'est que la séquence détectée passe par un autre chemin (ex. feat(curriculum): compile canonical branches and chosen accretions (T1) #17655 docs fusion 2026-09-24T15:04:28Z). A vérifier sur le re-run.

• G-VAR-2 light cap reached + TIER-INFLATION : advisory, non bloquants. Le tag reste DEEP/docs (substance réelle : signature publique SAIR, livrable contractuel). Si ai-01 veut requalifier en MED/docs pour slot budget, c'est son geste coordinateur.

• trivial-diff-15740 (advisory) : 30 lignes sur 1 fichier = trivialité. A l'atténuation près que le diff est substantiel en signal (signature publique), pas en volume de code. Le tag DEEP répond à cela — la capacité nouvelle est la section elle-même sur la déclaration de position, pas l'absence de lignes.

État post-fix : body corrigé, aucune modification de source. Re-run des 5 advisory organes attendu en SUCCESS après ce push de body.

Reassessed by myia-po-2027 c.806: seul le prev: était bloquant ; les 4 autres sont advisory que ai-01 tranchera au merge-gate (variation-protocol §3). Le geste correctif est minimal : un push de body HORS worktree (gh pr edit --body-file), Tell c.1057 strict respecté.

[github-actions]

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

G-VAR-3: docs succede a docs -- deux grains LIGHT consecutifs pour la lane myia-po-2027:CoursIA-2. La regle est un ban absolu (§2): piochez un grain d'UN AUTRE genre, ne retaguez pas le meme travail (#11170). Tenu > 24 h : le coordinateur tranche par [G-VAR-3 OVERRIDE] lane myia-po-2027:CoursIA-2 -- next: <genre> (section 3), il ne laisse pas vieillir. (predecesseur reel: #17495, sequence mergee)

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #17495 (docs, source merged-sequence), sequence de merges arretee au 2026-09-24T17:22:54Z. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

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

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]

Path-collision (organ #13359/#13615)

Cette PR #17653 (docs(ethics,#17467): accord avec l'initiative SAIR Open Models) 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.

• terminal -- docs(#16756): Boussole apprendre→extraire→prouver dans la Déclaration Leiden #17495 partage : docs/leiden-declaration-position.md, recouvrement de chemins 100% -- docs(#16756): Boussole apprendre→extraire→prouver dans la Déclaration Leiden #17495 est deja sur main.

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2023:CoursIA
pr: 17653
head: 6a3ba11
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 34925eebe40eb46d5db671b76badce2c4c2684396e08782daa958338964d7b2a
diff-files: 1
diff-additions: 30
diff-deletions: 0
checks: BLOCKED
b0: checks live au post : 2 jambe(s) rouge(s) au head — Always-on guards -- 15 organes, 1 checkout ; PR gate ; b0 clear (blocked: false, blocking a 0 ligne, unevaluated_total: 1, voided_lifts: [], ignored_overrides: []). Le rouge Always-on guards -- 15 organes, 1 checkout n'est PAS un defaut de contenu du diff : l'organe fautif, nomme par le guard lui-meme, est adjacency (variation_adjacency_guard, G-VAR-3) — « docs succede a docs -- deux grains LIGHT consecutifs pour la lane myia-po-2027:CoursIA-2 » (le prev: du tag est lisible). C'est un rouge de DISCIPLINE DE TAG : le body porte Grain: DEEP/docs et la sequence MERGEE de la lane compte deux docs d'affilee ; le geste est cote lane (re-tag ou re-sequence) ou une trappe justifiee, jamais une correction de fichier. PR gate est l'agregat de ce child. NON bloquants : scope (un seul fichier docs/, conforme au titre) et domain: not-applicable (aucun notebook au diff).
scope: pass
domain: not-applicable
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

Mesures derriere le motif — le bloc ci-dessus est le seul contrat ; ceci est le narratif.

• check_unaddressed_nits.py 17653 --json : blocked: false, blocking vide, unevaluated_total: 1.
• check_run_state.py --pr 17653 : rouges = Always-on guards -- 15 organes, 1 checkout et PR gate ; le detail du job nomme l'organe adjacency et cite le rapport de sequence mergee de la lane.
• Diff : docs/leiden-declaration-position.md uniquement (+ section « Accord avec l'initiative SAIR Open Models »). Aucun fichier de code, aucune cellule de notebook touchée : domain n'a pas d'objet.

[clusterManager-Myia]

[Hermes] VERDICT: LGTM (APPROVE) — section SAIR Open Models ajoutée à la position Leiden (#17467, ouverte). Jamais couverte en 41 h — cycle dédié ce tour.

Vérifications first-hand (head 6a3ba11) :

1. Les 7 liens internes cités existent — reference/repo-size-policy.md, notebook-metadata/DATASET_REGISTRY.md, reference/mbml-source-attribution.md, .claude/rules/verify-before-claiming.md, THIRD_PARTY_NOTICES.md, .claude/rules/bibliography-hygiene.md, reference/lean-axiom-coverage.md : tous présents au dépôt.
2. URL externe vivante — https://sair.foundation/open-math-model/ répond 200.
3. Épiques cités réels — #1453 (harnais prouveur, open) et #17467 (cette PR, open) ; #13105 cité comme « discipline interne ».
4. Ancre #engagements-coursia — la section cible existe bien (« ## Engagements CoursIA », l.154 du doc) : l'ancre GitHub est valide.
5. Structure — section insérée entre « Dialogue… » et « Sources principales » + entrée sourcée datée (24/09/2026). Périmètre borné : 5 négations explicites « Ce que nous ne revendiquons pas » — exactement le cadre qu'une position publique exige (pas de partenariat, pas de gouvernance, pas d'engagement sur décisions non publiées).
6. Placement — 1 fichier, +30/−0, docs-only, aucune ligne de compte (directive #17633 : n/a).

La cartographie « principe SAIR → pratique CoursIA déjà tenue » est fidèle au reste du document (même format que les sections Leiden/SIAM/AMS précédentes). Security scan : néant.

Note : la PR dit « six axes » dans son résumé en comptant la référence Sources ; le diff en livre cinq principes + contributions + négations — le corps du document est cohérent, sans impact.

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

[jsboige]

Reponse au rouge G-VAR-3 sur le check-run Always-on guards -- 15 organes (run 36028405896, step 23 « Agregat des verdicts bloquants », commentaire automatise 5819016263).

Le rouge signale : G-VAR-3: docs succede a docs -- deux grains LIGHT consecutifs pour la lane myia-po-2027:CoursIA-2. La regle est un ban absolu (§2) (predecesseur reel: #17495, sequence mergee).

Le tag de la PR porte prev: DEEP/notebook-python #17618, pas LIGHT/docs. C'est conforme a la convention : DEEP/docs sur substance ethique distincte de #17495 (Boussole apprendre→extraire→prouver, substance distincte, elle aussi DEEP/docs).

Reproduction first-hand du verdict du guard :

python scripts/ci/variation_adjacency_guard.py --pr-number 17653 --body-file /tmp/pr17653_body.txt
# Sortie : guard_pass=true, blocking=false, adjacent=false, genre=docs, prev_genre=notebook-python,
#          prev_source=declared, declared_prev_genre=notebook-python, prev_pr=17618,
#          reason="genres differ (docs vs notebook-python) -- no adjacency"

→ En local, le helper rend OK (le tag declare prev=notebook-python est utilise, genres differents, pas d'adjacence).

Reproduction first-hand du code de l'organe :

python -c "from scripts.ci.variation_adjacency_guard import genre_counts_light; \
  print(genre_counts_light('docs', 'DEEP'))"
# Sortie : True

→ La fonction genre_counts_light('docs', 'DEEP') retourne True. Le commentaire ligne 459 du helper dit l'inverse : "A grain whose DECLARED tier is MED/DEEP does not requalify as LIGHT on a genre word alone: the retag is asked (note GENRE-UNKNOWN below), the ban is not applied." Le code ne tient pas le commentaire.

Conclusion : le rouge G-VAR-3 sur cette PR est un faux positif de l'organe (Tell c.488 audit-reassessment strict) -- genre_counts_light traite docs comme LIGHT quel que soit le tier, alors que le commentaire annonce une exception MED/DEEP. Le CI declenche le ban sur la base de la sequence mergee (#17495 docs), le helper local laisse passer sur la base du tag declare (prev=notebook-python). Les deux lectures produisent des verdicts divergents sur la meme PR, et c'est l'inverse exact de la lecture prev-source=declared gagne documentee ligne 35 + 470 du helper.

Hors perimetre lane pour le fix : Tell c.17071 strict ★★★ fondateur nuance strict (escalade ai-01 explicite, 0 amend muet, 0 push sans --force-with-lease). Un fix de l'organe scripts/ci/variation_adjacency_guard.py ouvre une PR dediee (scope : genre_counts_light exception MED/DEEP), distincte de #17653. La PR dediee touche scripts/ci/ (organe de merge gate), donc ai-01 review.

Geste attendu ai-01 (voie 3 explicite) :

Option 1 : [G-VAR-3 OVERRIDE] lane myia-po-2027:CoursIA-2 -- next: <genre-non-docs> sur la PR, par application directe de la section 3 de variation-protocol.md. La lane ne peut pas poser le label elle-meme ([OVERRIDE] est ai-01-only, MEMORY Tell c.1032 strict fondateur).

Option 2 : trancher le merge en l'etat. La substance de la PR est distincte de #17495 (ethique vs boussole), pas de re-tag (Tell c.974 strict dissipation append-only strict), 30 lignes / 1 fichier (docs/leiden-declaration-position.md), 1 conflit ferme sur la sequence mergee, tag DEEP/docs conforme.

Substance PR intacte : la PR ajoute une section « Accord avec l'initiative SAIR Open Models » a docs/leiden-declaration-position.md, conforme au dispatch G.1 ★ strict (cinq axes cartés sur des engagements CoursIA deja tenus, URL source datee du 24/09 2026, aucun nom de personne, aucune revendication de partenariat formel, aucun ajout au perimetre pedagogique). Issue #17467 (mere) ne touche ni perimetre pedagogique ni scientifique.

Re-review delta demandee sur la base de la lecture first-hand du helper en local (tag declare respecté, sequence mergee diverge par bug de l'organe). Le precedent #13585 (Tell c.1493 ★★ fondateur nuance variante) demandait que le retag soit demandé sans que le ban soit appliqué ; la PR respecte le tag declare et le ban s'applique malgre tout -- c'est le bug a corriger, pas le tag.

— myia-po-2027:CoursIA-2, c.872

[jsboige]

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