docs(licence,#14955): social_choice_lean -- append etat amont sans licence (option 3, forks cites 404)

[jsboige]

Grain: LIGHT/docs — lane myia-po-2023:CoursIA — prev: DEEP/notebook-python #19406

Sujet

#14955, entrée restante social_choice_lean (7e/7) : option 3 du plan posté le 02/10 (c. 2026-10-02T11:57Z, lane myia-po-2026:CoursIA) — documentation provisoire honnête de l'état de licence de l'amont, sans régularisation factice. L'arbitrage entre options 1 (issue amont) et 2 (retrait du dérivé) reste ouvert au coordinateur/user ; cette PR n'en prend aucune.

Mesure firsthand du 2026-10-06 (G.1 — la mesure du 02/10 avait 4 jours, elle est confirmée ET étendue)

Source citée au NOTICE	État mesuré aujourd'hui
asouther4/lean-social-choice (amont principal)	license: null, aucun fichier LICENSE à la racine (contenu : .github, .gitignore, README.md, leanpkg.toml, src) — inchangé depuis le 02/10
chasenorman/lean-social-choice (fork cité)	HTTP 404 — dépôt introuvable (nouveau depuis le 02/10 : les forks cités au NOTICE ont disparu)
DominikPeters/lean-social-choice (fork cité)	HTTP 404 — dépôt introuvable
Fork restant (non cité au NOTICE)	mdnestor/lean-social-choice, license: null

La mention « License: MIT » du NOTICE est donc aujourd'hui invérifiable à toute source citée — pas seulement l'amont principal.

Ce que la PR fait (et ne fait pas)

• Append documentaire au NOTICE.md (21 lignes, forme du précédent classe (b) : séparateur + bloc en français, mesures citées) : état mesuré ci-dessus + pourquoi aucun LICENSE n'est attaché (poser un LICENSE-MIT.txt de notre main fabriquerait une permission qu'aucune source vérifiable n'accorde) + renvoi à l'arbitrage.
• Aucun NOTICE réécrit : la section « Original Sources » d'origine reste intacte (critère 3 de l'acceptance — on ajoute, on ne reformule pas).
• Aucun fichier de licence ajouté : la mesure de l'acceptance rend toujours social_choice_lean — c'est attendu et honnête, la décision d'attacher (ou retirer) appartient à l'arbitrage.

Mesures

• Avant (origin/main a92539d) : la boucle de l'issue rend 1 ligne — MyIA.AI.Notebooks/GameTheory/social_choice_lean (6/7 résolus par docs(licence,#14955): verbatim Apache-2.0 texts for the 3 permissive derivatives (class a) #15001, docs(licence,#14955): attach LGPL-3.0 + GPL-3.0 to DatasetUpdater-Prompts and GSheetSync (class b, 1/2) #15458, docs(licence,#14955): attach LGPL-3.0 + GPL-3.0 to OwlAdapter and data (class b, 2/2) #15459).
• Après (branche ed73fbb) : 1 ligne identique — contrôle positif que cette PR ne prétend pas à une résolution qu'elle n'apporte pas.
• Pre-commit : gitleaks Passed, hooks notebook Skipped (aucun carnet touché).

Résiduel (hors de cette PR)

• Options 1/2 (issue amont / retrait du dérivé) : arbitrage coordinateur/user sur licence: 7 repertoires portent un NOTICE sans copie du texte de licence (depot public) #14955 — recommandation lane du 02/10 : 1 en parallèle de 3.
• Ouverture d'une issue sur le dépôt d'un tiers : geste mainteneur, pas lane worker.

See #14955

🤖 Generated with Claude Code

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 21 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.

[clusterManager-Myia]

VERDICT: LGTM

[Hermes] po-2026 — cycle 04:41Z — head ed73fbbd8d — author=jsboige → COMMENT (cap #15511).

PR docs licence #14955, 1 fichier +21/−0 (NOTICE.md append). Tous les claims vérifiés firsthand ce cycle (2026-10-06 04:41Z) :

Claim PR	Vérification firsthand	Conforme
asouther4/lean-social-choice : license: null	API GitHub → license: null	✓
Contenu racine amont : .github, .gitignore, README.md, leanpkg.toml, src	contents/ → exactement ces 5 entrées	✓
chasenorman/lean-social-choice : 404	repos/chasenorman/lean-social-choice → HTTP 404	✓
DominikPeters/lean-social-choice : 404	idem → HTTP 404	✓
mdnestor/lean-social-choice : license: null	API → license: null	✓

Posture correcte : la PR ne régularise pas — elle documente l'état mesuré et laisse l'arbitrage (issue amont vs retrait) ouvert. La phrase « poser un LICENSE-MIT.txt de notre main fabriquerait une permission qu'aucune source vérifiable n'accorde » est exactement la bonne doctrine : on ne fabrique pas une licence pour couvrir un dérivé. Forme classe (b) du précédent (séparateur + bloc français mesuré) respectée.

Changement d'état réel depuis la mesure du 02/10 : les 2 forks cités (chasenorman, DominikPeters) ont disparu (404) — c'est une information nouvelle que la PR rapporte honnêtement, pas une duplication. L'entrée social_choice_lean (7e/7) est la dernière de la liste #14955 — cette PR la clôt documentairement, l'arbitrage restant ouvert sur l'issue.

Security scan clean. Aucun rouge CI pertinent (docs, pas de code).

[Hermes hermes-pr-review, cycle :04 06/10, host f6be46d1b7a3, sig=eb7d1df1]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19430
head: ed73fbb
complete: true
body: read
comments-reviewed: 1
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: a06fb7f119b994d082cda47fc9e2d188f29805dc2b0ac220cd1d2d7e824153db
diff-files: 1
diff-additions: 21
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19430
organ-rc: 0
[/ADJOINT PREFLIGHT]