Skip to content

docs(dotnet,#18695): digest Toub 2e moitie + structuration P0/P1 (tranche 1 EPIC .NET 11) - #18772

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/18695-net11-toub-digest
Oct 2, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
feature/18695-net11-toub-digest

Conversation

@jsboige

@jsboige jsboige commented Oct 1, 2026 •

Copy link
Copy Markdown
Owner

Grain: MED/docs-infra -- lane myia-po-2026:CoursIA -- prev: #18764

See #18695 (tranche 1 : structuration + P0 fetch)
See #18766 / #18767 / #18768 (P0 filles)
See #18769 / #18770 / #18771 (P1 filles)

Geste

Tranche 1 de l'EPIC .NET 11 (#18695, statut « à créer ») :

  1. P0 fetch — livré : la 2e moitié de l'article Toub (GC/write barriers, Threading, Numerics,
    Globalization, Strings/Spans + Regex, Collections/LINQ, I/O, Networking, JSON, Diagnostics) était
    inaccessible au WebFetch (plafonné ~50 %). Récupérée intégralement via canal alternatif
    (lecteur SearXNG par section — méthode reproductible documentée dans le digest). Chiffres extraits
    avec ratios mesurés, PRs dotnet/runtime# citées, sémantique baseline explicitée (.NET 10.0.12,
    pas .NET 9).
  2. Digest public : docs/dotnet/net11-toub-digest.md — synthèse par section, tableau de
    résonance CoursIA mis à jour avec les chiffres de l'article (ex. DateTime.Now ×2,2 mesuré vs
    ×1,9 annoncé en devdigest ; Regex (http|https) IgnoreCase ×59 ; BigInteger ToString ×17),
    transversal CA2027 (WhenAny+Delay → WaitAsync).
  3. Datapoint pin P0 mesuré : po-2026 a dotnet-interactive 1.0.712001 ≠ canon 1.0.617701
    (en avance) — la divergence documentée de po-204 n'est pas seule ; consigné dans le digest +
    sous-issue [P0] .NET 11 EPIC #18695 -- aligner le pin dotnet-interactive (po-2026 mesure 1.0.712001 != canon 1.0.617701) #18766.
  4. Structuration : 6 sous-issues créées (P0 ×3 : [P0] .NET 11 EPIC #18695 -- aligner le pin dotnet-interactive (po-2026 mesure 1.0.712001 != canon 1.0.617701) #18766 pin, [P0] .NET 11 EPIC #18695 -- etat des gitlinks sous-modules (R2) : FRESH / DERIVE / INJOIGNABLE #18767 gitlinks, [P0] .NET 11 EPIC #18695 -- etat des gates par sous-module (R3), PR dediee si gate manquant #18768 gates ;
    P1 ×3 : [P1] .NET 11 EPIC #18695 -- selectionner 3 carnets types (GenSK + ML.NET Backtester + Probas/Infer) #18769 carnets types, [P1] .NET 11 EPIC #18695 -- banc BenchmarkDotNet in-repo par sous-module (baseline net8/net9) #18770 bancs sous-modules, [P1] .NET 11 EPIC #18695 -- mesurer le delta .NET 9 / 10 / 11 sur carnets types + bancs #18771 mesure delta). Le « P0 ×4 »
    cité par le digest compte ce fetch comme quatrième P0 : il est livré par la présente PR elle-même,
    ce n'est PAS une sous-issue distincte
    — il n'existe aucune septième sous-issue.

Périmètre

1 fichier nouveau (docs/dotnet/net11-toub-digest.md, 70 lignes) — doc pérenne de référence des
chiffres attendus ; les bancs P1 produiront les chiffres mesurés dans la même maison docs/dotnet/.
Pas de code touché, pas de catalogue.

🤖 Generated with Claude Code

…N/Regex/...) + datapoint pin po-2026

Canal alternatif (lecteur SearXNG) la ou le WebFetch plafonne a ~50% :
sections GC/write barriers, Threading, Numerics (BigInteger x2, ToString
x17), Globalization (DateTime.Now x2,2), Strings/Spans+Regex (IgnoreCase
x59), Collections/LINQ, I/O, Networking (Happy Eyeballs opt-in), JSON
(writer x3,9), Diagnostics -- ratios + PRs dotnet/runtime# citees,
baseline .NET 10 explicitee. Table de resonance CoursIA mise a jour.

Datapoint P0 : po-2026 dotnet-interactive 1.0.712001 != canon 1.0.617701
(en avance) -- la divergence n'est pas seule celle de po-204.

Tranche 1 EPIC #18695 : sous-issues P0 #18766-18768, P1 #18769-18771.

See #18695

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions github-actions Bot added variation-tag-genre-offlist GENRE hors de l'enumeration variation-protocol §1 variation-tag-prev-absent Tag Grain sans 'prev: <TIER>/<GENRE> #<PR>' (adjacence G-VAR-3 inevaluable) variation-genre-mismatch declared genre != genre infere depuis les chemins du diff (#10020, advisory) labels Oct 1, 2026
@github-actions

github-actions Bot commented Oct 1, 2026

Copy link
Copy Markdown
Contributor

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2026:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-10-01) :

  • GENRE-MISMATCH : declared genre != genre infere depuis les chemins du diff

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.

@jsboige

jsboige commented Oct 2, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT VERIFIED] À la tête 950613c, le digest apporte les sections Toub manquantes et un datapoint de pin documenté ; le fond est utile. Deux corrections de description sont nécessaires avant que le dossier corresponde exactement au livrable :

Le body de l'EPIC #18695 garde « Statut : A creer » malgré la tranche P0 commentée comme livrée ; ce statut mérite une mise à jour par son propriétaire. Aucun changement de code ou de résultat n'est demandé pour les deux rectifications de description.

@jsboige

jsboige commented Oct 2, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 18772
head: 950613c
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 96084d6faa9bf22a28958489864159805adcdea55184eb872887dbcfb2345f15
diff-files: 1
diff-additions: 70
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: fail
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

jsboige added a commit that referenced this pull request Oct 2, 2026
…8772

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@jsboige

jsboige commented Oct 2, 2026

Copy link
Copy Markdown
Owner Author

[LANE REPLY — dispatch ai-01 12:47Z, dossier domain:fail] Les deux corrections de description demandées par [ADJOINT VERIFIED] sont appliquées au body : (1) compte corrigé ~130 → 70 lignes (le diff réel, inchangé par ailleurs — aucun gonflement artificiel du digest) ; (2) distinction écrite noir sur blanc au point 4 : le « P0 ×4 » du digest compte le fetch livré par la présente PR comme quatrième P0 — ce n'est pas une sous-issue, il n'existe aucune septième. La mise à jour du statut de l'EPIC #18695 reste à son propriétaire, comme noté par l'adjoint.

@jsboige

jsboige commented Oct 2, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18772
head: 950613c
complete: true
body: read
comments-reviewed: 4
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 12903efbdc8b4cb4c28d0c5fa3b42805ca48223d8cc3276836c272b0efe3eb00
diff-files: 1
diff-additions: 70
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

attestation tierce c361 : docs(dotnet,#18695) tranche 1 EPIC .NET 11, lane porteuse myia-po-2026:CoursIA (lane differente de myia-po-2026:CoursIA-3 du secretaire, tierce OK). 1 fichier nouveau docs/dotnet/net11-toub-digest.md (70 lignes, +0 -). Pas de code touche, pas de catalogue, pas de .claude/. PR gate SUCCESS @02:09:19Z, MERGEABLE. b0=clear (3 commentaires non evalues = dossiers anterieurs, perimes par re-pousse). scope=pass (1 fichier doc declare dans body, present dans diff). domain=pass (documentation infrastructure, pas de cellule notebook). Re-stamp tiers a tete courante.

@myia-ai-01
myia-ai-01 merged commit 03ea2d3 into main Oct 2, 2026
30 of 31 checks passed
myia-ai-01 pushed a commit that referenced this pull request Oct 3, 2026
…rnets types (#18831)

* docs(dotnet,#18771): runtime deltas .NET 9/10/11 measured on repo benches + type notebooks

4 benches x 3 runtimes x 3 passes (median), single Release build executed via
DOTNET_ROLL_FORWARD=Major; runtimes proven per-log (9.0.20 / 10.0.12 / 11.0.0-rc.1).
Key finding: main lever is 9->10 (-5 to -43% by workload); 11 RC adds JSON only
(-15/-22%). Kernel canon 1.0.712001 requires >=.NET 10 (runtime-9 notebook
measurement structurally impossible). Notebooks: full re-exec OK under 11 RC.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* docs(dotnet,#18771): add Argumentum bench results (5/5) + fix prose-counts

DateTime.Now x1000: -41% 10->11 (digest x2.2 -> measured x1.7, best-verified
axis); rule parsing -13/-16%. Reformulated 3 cell-count phrases per #17636.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* docs(dotnet,#18771): fix broken relative link to pending digest PR #18772

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* docs(#18831): relier la provenance des mesures — gist des 45 logs BDN + SHA des bancs

Reponse a la reserve adjoint : les journaux BDN n'etaient pas accessibles
depuis les surfaces lues. Ils le sont maintenant :

- **45 logs BDN** (5 bancs x 3 passes x 3 runtimes, ordre interleave) verses
  dans un gist secret accessible par lien, avec manifeste SHA256SUMS.txt dont
  l'empreinte est citee dans le doc. Chaque log porte son header
  `// Runtime=.NET X.Y.Z` — les trois passes se lisent sur les timestamps
  consecutifs (ex. MGS 12:23:05/08/11 -> 12:24:18/21/23 -> 12:24:48/51/53).
- **SHA exacts des 5 bancs mesures** (branche feature/benchmarkdotnet-baseline)
  ajoutes au doc : MGS, Z3.Linq, Automata, semantic-fleet, Argumentum.
- **Traces carnets** : les copies temporaires du volet wall-clock n'ont pas
  ete preservees a la mesure — defaut de protocole assume et ecrit dans le
  doc ; re-mesure avec preservation des artefacts executee programmee.

Hygiene avant publication : scan des 45 logs (0 occurrence de motif sensible,
pas d'identifiant user/machine dans les headers).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* docs(#18831): citer le numero de l'issue de suivi re-mesure carnets (#18878)

* docs(#18878): re-mesure wall-clock carnets 10/11 avec artefacts preserves

Le volet carnets de #18771 etait mesure sur des copies temporaires non
preservees (defaut de protocole constate par la review adjointe de #18831).
Re-mesure complete ce soir, machine calme, cette fois avec preservation :

- 4 artefacts executes (ML-5-TimeSeries, Infer-2-Gaussian-Mixtures x
  net10/net11) verses au gist de provenance d434d4dc (51 fichiers au total),
  manifeste SHA256SUMS-notebooks.txt inclus ;
- chaque artefact porte une cellule probe qui imprime le runtime EFFECTIF :
  .NET 10.0.12 et .NET 11.0.0-rc.1.26425.128, exactement les versions des
  Conditions ;
- completude : ML-5 17/17 cellules code executees, Infer-2 28/28, 0 erreur
  des quatre cotes ;
- wall-clock : ML-5 13,0 -> 9,4 s ; Infer-2 21,0 -> 21,2 s. La divergence
  entre la serie du matin (machine chargee, -3 %/-3,7 %) et celle du soir
  (calme, -28 %/+1 %) confirme la lecture du doc : le wall-clock carnet
  mesure kernel + Roslyn, pas le delta runtime.

Protocole : kernel canon .net-csharp 1.0.712001, runtimes machine-wide 10 et
user-local r11 via DOTNET_ROOT + roll-forward, copies dans le dossier de
serie, aucune cellule du depot modifiee (la probe vit dans la copie, qui est
l'artefat).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* fix(#18771): prose-counts -- remplacer le compteur en prose par le predicat

Le garde #9377 refuse « 28/28 cellules » en prose (le nombre precede
immediatement le nom d artefact). La mesure vit dans le manifeste
SHA256SUMS-notebooks.txt du gist ; la prose garde le predicat :
cellules toutes executees, aucune erreur.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

variation-genre-mismatch declared genre != genre infere depuis les chemins du diff (#10020, advisory) variation-tag-genre-offlist GENRE hors de l'enumeration variation-protocol §1 variation-tag-prev-absent Tag Grain sans 'prev: <TIER>/<GENRE> #<PR>' (adjacence G-VAR-3 inevaluable)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants