docs(kernels,#18766): matrice de conformite flotte au canon dotnet-interactive 1.0.712001

[jsboige]

Grain: MED/docs — lane myia-po-2026:CoursIA — prev: MED/guard #19201

See #18766 — consolidation du pin dotnet-interactive (EPIC .NET 11 #18695). Cette PR apporte le livrable durable de l'acceptance (« matrice machine × version publiée ») et la consolidation des 7 PRs du canon, jusqu'ici dispersées. Elle ne clôt pas l'issue : l'acceptance a un résidu nommé ci-dessous.

Ce que livre la PR

Une section Conformite flotte au canon : matrice machine x version dans docs/reference/kernels-runtime.md, placée juste après la commande de montée au canon, avec une règle explicite : une ligne = une mesure firsthand de la machine, jamais une déduction d'une autre machine ni la simple constatation qu'une commande répond.

C'est précisément le mécanisme qui a laissé la divergence po-2024 vivre trois semaines : le tool store portait un build dérivé sans qu'aucun dotnet interactive --version de routine ne le signale. La matrice nomme donc, pour chaque machine, la commande qui a produit le chiffre.

Matrice publiée

Machine	Version mesurée	Date	Source de la mesure
myia-po-2023	1.0.712001	2026-10-02	dotnet tool list -g, après montée depuis 1.0.707101 (règle F)
myia-po-2024	1.0.712001	2026-08-16	le tool store ne portait que ce build (Roslyn 5.0.25.56712) — divergence #11157 fermée par montée du canon
myia-po-2025	1.0.712001	2026-10-02	dotnet tool list -g — conforme, aucune mise à niveau requise
myia-po-2026	1.0.712001	2026-10-05 (re-mesure)	dotnet tool list -g et dotnet interactive --version = 1.0.712001+df4e5cbc…
myia-ai-01	1.0.712001 testé en --tool-path isolé ; outil global encore 1.0.617701	2026-10-02	--tool-path isolé + cellule #load réelle : SUCCÈS, bug #8485 non reproduit ; mise à niveau globale non faite (commande machine-globale, refusée et escaladée par la lane worker)
myia-po-2027	non mesurée	—	mesure demandée à sa lane

Verdict honnête : 4 machines sur 6 conformes par mesure. L'affirmation « toutes les machines conformes » est écrite indisponible dans le document — elle s'écrira quand les mesures existeront, pas avant.

Consolidation : les 7 PRs du canon, vérifiées sur origin/main

Chacune des 7 PRs canon-bearantes a été re-vérifiée par lecture de origin/main (jamais par le titre de la PR) : état MERGED confirmé, artefact présent confirmé.

PR	Ce qu'elle porte	Artefact vérifié présent sur origin/main
#11216	divergence po-2024 (#11157) — le pin n'était jamais installé	section éponyme de docs/reference/kernels-runtime.md
#17422	reproduction + RFC du bug #r "nuget:" (po-2027)	docs/reference/dotnet-restore-rfc-17361.md
#17828	workaround du même bug	scripts/ci/dotnet_preload_packages.py (+ tests)
#18000	table d'acceptation du canon C# 13.0 (#17679)	CANONICAL_LANGUAGE_TRANSITIONS dans scripts/notebook_tools/check_kernel_drift.py
#18772	digest Toub + structuration P0/P1 (.NET 11)	docs/dotnet/net11-toub-digest.md
#18794	application du canon 1.0.712001 (cette issue)	docs/reference/kernels-runtime.md
#18831	deltas runtime .NET 9/10/11 mesurés	docs/dotnet/net11-runtime-deltas.md

Le carnet de reproduction du bug est également présent : scripts/notebook_tools/probes/dotnet-restore-bug-17361.ipynb.

Preuve

 docs/reference/kernels-runtime.md | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

Deux commits :

• b2d583ef7b — la matrice + la règle de mesure ;
• 2d48943307 — la ligne ai-01 précisée (en cours → ce qui est mesuré / ce qui ne l'est pas).

Résidu nommé (ce que la PR ne fait pas)

L'acceptance a deux items. Le premier (matrice publiée) est satisfait par ce document. Le second (« canon unique, toutes les machines conformes ») ne l'est pas encore, et la PR le dit plutôt que de l'affirmer :

1. po-2027 : mesure non reçue. La demande a été posée à sa lane ; cette machine est celle du bug #r "nuget:".
2. ai-01 : le canon marche chez elle (test isolé réel concluant, bug Re-exec Sudoku-15-Infer-Csharp: #8380 a swappé les outputs sans ré-exécuter (COSMETIC .NET, sweep #8364) #8485 non reproduit), mais son outil global est encore l'ancien pin. La montée globale — commande machine-globale — appartient au coordinateur, pas à une lane worker ; la lane myia-ai-01:CoursIA-2 l'a explicitement refusée et escaladée, ce qui est le geste correct.

Aucun de ces deux points n'est intractable : ce sont des mesures et un geste, pas des inconnues.

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2026:CoursIA a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #19048 (LIGHT/notebook-twins, merge a 2026-10-05T00:37:49Z), #19043 (MED/ledger, merge a 2026-10-05T02:18:38Z)).
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]

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

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-ai-01:CoursIA
pr: 19208
head: 2d48943
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 64b77d7439a807b36aca79191de6dcd9fe03dca696026f520358671f12f8f2fc
diff-files: 1
diff-additions: 16
diff-deletions: 1
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19208
organ-rc: 0
[/ADJOINT PREFLIGHT]

Note ai-01, lue à la tête 2d48943307. Un fichier change, +16/-1 : docs/reference/kernels-runtime.md.

• C'est une matrice de conformité machine × version pour le canon dotnet-interactive 1.0.712001.
• La ligne ai-01 décrit l'état réel : canon testé en --tool-path isolé, outil global encore à 1.0.617701, montée globale due au coordinateur.
• Le paragraphe d'acceptance ne revendique pas « toutes conformes » : il dit 4 sur 6, mesurées.
• Aucune prose de compte dérivé du catalogue.