[jsboige]

Grain: MED/guard -- lane myia-ai-01:CoursIA-2 -- prev: MED/guard #21645

chore(submodule) : bump Automata f0618529fa -> b1335eebaf (master HEAD, +1 commit)

Le gitlink MyIA.AI.Notebooks/SymbolicAI/SMT/Automata etait en derive sur la
branche declaree (refs/heads/master), mesure par la regle R2. Ce PR Ramene le
pointeur sur la tete livree en amont.

Derive mesuree

Element	Valeur
Branche declaree (.gitmodules)	master -> refs/heads/master
Tete distante au moment de la mesure	b1335eebafacdfade02c2f9b5c0d817fabf4cfdf (git ls-remote)
Pointeur epingle dans l'arbre	f0618529fa91
Verdict R2	DERIVE

La reference de comparaison est bien la branche declaree (refs/heads/master),
pas HEAD : comparer a HEAD distant fabriquerait une derive inexistante.

Ce que le bump apporte

Un commit amont (b1335eebafac, PR MyIntelligenceAgency/Automata#11 : « port
.NET 8 AutomatonOps baseline into Automata.Benchmarks + multi-runtime mode ») :

Fichier touche	Portee
benchmarks/BASELINE-net8.0.md	baseline .NET 8.0 de l'API publique Automaton<BDD> / CharSetSolver (meme protocole que le baseline MetaGeneticSharp .NET 9 du 2026-10-02)
src/Automata.Benchmarks/AutomatonOpsBench.cs	banc AutomatonOps ajoute au projet de benchmarks
src/Automata.Benchmarks/Program.cs	mode multi-runtime (selection du runtime)
src/Automata.Benchmarks/RegexPipelineBenchmarks.cs	adaptation du banc regex au mode multi-runtime
src/Automata.Benchmarks/Automata.Benchmarks.csproj	cible du projet de benchmarks

Le code de la bibliotheque n'est pas touche. Le diff complet
f0618529fa -> b1335eebaf porte sur 5 fichiers, tous dans src/Automata.Benchmarks/
et benchmarks/. Aucun fichier de src/Automata.* (librairie), aucun fichier de
src/*/, et aucun .deploy/ n'est modifie : les DLL consommees par les
carnets (.deploy/Microsoft.Automata.dll, .deploy/System.CodeDom.dll) sont
byte-identiques entre les deux SHA (verifie par git diff --name-only f0618529fa b1335eebaf -- .deploy/, sortie vide).

Consequence : le comportement visible par les carnets est inchange, donc
aucune re-execution n'est due (C.2) — le diff de ce PR ne touche que le
gitlink, aucun execution_count n'est modifie.

Gate du sous-module au SHA cible (etat 3 : cable, declenche, vert recent)

Mesure sur MyIntelligenceAgency/Automata au SHA exact b1335eebafac :

Portee	Verdict	Termine le
run dotnet-ci sur master	success	2026-10-20T07:47:44Z
job build (dotnet build Core.sln --configuration Release)	success	2026-10-20T07:48:15Z
job tests-report (dotnet test Core.sln --configuration Release)	failure — advisory, continue-on-error: true	2026-10-20T07:49:25Z

Le job tests-report est volontairement non bloquant dans le workflow
(continue-on-error: true, commentaire dans le YAML : « 48/365 en echec au HEAD
(mesure locale Windows 2026-10-02) », reference jsboige/CoursIA#18768). Son
echec est pre-existant et inchange par le bump : le meme job est en failure
au SHA epingle f0618529fa91 (2026-10-19T00:09:39Z). Le bump n'introduit
donc aucun echec de test nouveau.

Carnets qui lisent ce sous-module

Cherche sur le chemin reel du sous-module (SMT/Automata, ../Automata,
Automata.dll) et sur le projet .NET SymbolicAI/SMT/Automata :

• MyIA.AI.Notebooks/Sudoku/Sudoku-13-SymbolicAutomata-CSharp.ipynb
  (charge SymbolicAI/SMT/Automata/.deploy/Microsoft.Automata.dll)
• MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-Linq2Z3/10_Witness_Generation_Automata.ipynb

Aucun de ces carnets n'est modifie par ce PR. Leur DLL .deploy est inchangee
(voir plus haut), donc leurs sorties restent valides sans re-execution.

Point d'attention pour myia-po-2023:CoursIA-2

Le banc .NET #21606 de cette lane a ete mesure au gitlink
f0618529fa, pas a celui d'ici. L'amont livre desormais son propre
baseline .NET 8 (benchmarks/BASELINE-net8.0.md, meme protocole que le baseline
MetaGeneticSharp) : une re-mesure du banc a b1335eebaf est advisee, et
les deux baseline sont directement comparables (meme charge, meme API publique,
meme protocole).

Portee

Une PR par sous-module en derive, conformement a l'arc dispatche : le bump
d'Argumentum est une PR distincte (#21645). Ordre respecte : commit dans le
sous-module, push, puis bump du pointeur parent. Aucun merge n'est effectue par
la lane.

Lane : myia-ai-01:CoursIA-2.

[jsboige]

Doublon ferme : ce bump etait deja livre par #21596 (meme lane myia-ai-01:CoursIA-2, meme pointeur f0618529fa -> b1335eebaf, ouverte plus tot le meme jour par cette meme lane). #21596 fait foi ; cette PR ne sert plus.

Ce que #21596 porte en plus et qui a ete corrige entre-temps sur son body :

• la liste exacte des 5 fichiers de l'amont (4 sous src/Automata.Benchmarks/, plus benchmarks/BASELINE-net8.0.md a la racine du depot du sous-module) ;
• le chemin reel de la bibliotheque touche : src/Automata/ (et non src/Microsoft.Automata/) ;
• la re-execution des deux carnets .NET consommateurs a b1335eebaf (13/13 et 20 cellules, 0 erreur) ;
• le point d'attention pour myia-po-2023:CoursIA-2 : le banc docs(net11,#18771): re-mesure du banc 3 (Automata) - le signal +27,5 % sur Pipeline_EvilRegex : non reproduit #21606 a ete mesure au gitlink f0618529fa, l'amont livrant desormais son propre baseline .NET 8.

Lane : myia-ai-01:CoursIA-2.

[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) : #21397 (MED/guard, merge a 2026-10-20T00:41:04Z), #21486 (DEEP/guard, merge a 2026-10-20T03:28:34Z)).
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-20) :

• 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 guard dans la famille META (docs/guard/ledger/readme/test) + diff de 2 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.