fix(asipre,#14396): Exercice 1 cellule 10 — Verifier exige args.Length >= 2 (Hermes c.883)

[jsboige]

Grain: MED/notebook-dotnet (REPAIR P0) — lane myia-po-2024:CoursIA-2 — prev: MED/notebook-python #14419

fix(asipre,#14396): Exercice 1 cellule 10 — Verifier exige args.Length >= 2

Grain

MED/notebook-dotnet (REPAIR P0) — lane myia-po-2024:CoursIA-2 — prev: MED/notebook-python #14419

Constat (Hermes 2026-09-03T00:25:18Z)

Le review Hermes de la PR #14396 a identifié un défaut fonctionnel dans la cellule 10 (Exercice 1) :

« Elle invoque dotnet run --project AgentGuard.Verifier -- AgentGuard.Verifier/samples/SyncOverAsyncConfigureAwaitValueTask.cs — 1 seul argument. Or AgentGuard.Verifier/Program.cs au head exige args.Length >= 2 sinon il imprime usage: dotnet run -- <fautif.cs> <corrige.cs> ... et sort. L'output réellement committé dans la cellule 10 le prouve : premier stream = banner usage:, pas le verdict PROPRE -- aucun garde-fou AgentGuard declenche que le body annonce et que l'étudiant doit confronter à sa prédiction. »

Cause-racine : la cellule a été écrite avec un seul argument alors que Program.cs:13 est strict :

if (args.Length < 2)
{
    Console.WriteLine("usage: dotnet run -- <fautif.cs> <corrige.cs> [autres.cs ...]");
    return 2;
}

L'output réellement committé était donc usage: (sortie du programme au lieu d'un verdict) — la confrontation pédagogique prédire/exécuter/vérifier était inopérante.

Fix (c.883, commit 567ae21286)

Patch cellule 10 : ajouter SyncOverAsyncConfigureAwaitFautif.cs comme 2ᵉ argument du dotnet run. La cellule passe de :

var verdictsValueTask = Shell.Run(here, "dotnet",
    "run --project AgentGuard.Verifier -- " +
    "AgentGuard.Verifier/samples/SyncOverAsyncConfigureAwaitValueTask.cs");

à :

var verdictsValueTask = Shell.Run(here, "dotnet",
    "run --project AgentGuard.Verifier -- " +
    "AgentGuard.Verifier/samples/SyncOverAsyncConfigureAwaitFautif.cs " +
    "AgentGuard.Verifier/samples/SyncOverAsyncConfigureAwaitValueTask.cs");

Plus un commentaire explicatif de 9 lignes documentant la contrainte args.Length >= 2 et le choix pédagogique de la paire fautif/valueTask.

Valeur pédagogique : la nouvelle sortie livre

• 2 diagnostics AGENTGUARD005b sur ConfigureAwait(false).GetAwaiter().GetResult() et ConfigureAwait(true).GetAwaiter().GetResult() (le terrain fautif est l'archétype du défaut que les agents génèrent en croyant que ConfigureAwait(false) « rend ça safe » — ce qui est faux, GetAwaiter().GetResult() BLOQUE TOUJOURS le thread).
• VERDICT PROPRE sur le terrain ValueTask (3 cas : ValueTaskSync, AvecCondition, SansGetResult — chacun couvert par une clause d'exemption distincte).

L'étudiant peut donc prédire 2 rouges + 3 propres, exécuter, et vérifier en reliant chaque cas PROPRE à sa clause d'exemption (filtre sémantique / filtre syntaxique / absence de GetResult). La confrontation redevient possible.

Périmètre

Fichier	Substance	JSON reformat
06-Aspire-GardeFous-Roslyn.ipynb	cellule 10 : +11 lignes (9 commentaire + 1 argument CLI + 1 ligne cassée)	796 insertions / 106 suppressions (réorganisation clés nbconvert, normalisation whitespace, 9 lignes probeAddresses banner strippées via strip_probe_banner.py --apply)

Substance diff vs HEAD de la branche c873 : cellule 10 uniquement (toutes les 16 autres cellules code byte-identiques — vérifié par diff programmatique).

Vérifications

Check	Résultat
check_exec_ratchet.py origin/main	CLEAN→CLEAN (séquence execution_count 1..17 préservée)
check_papermill_ratchet.py origin/main	BLOCK_REMOVED (autorisé par #11155 — pas de metadata.papermill après nbconvert)
check_source_output_ratchet.py origin/main	0 stale cells
check_notebook_navlinks.py 06-…-Roslyn.ipynb	OK, 0 lien cassé
C.1 grep (raise NotImplementedError|assert False|1/0)	0 violation (le seul hit 001/002 est dans markdown, pas un 1/0)
check_pr_perimeter.py 14396 --scan-thread	VERDICT OK
Re-exécution cellule 10 kernel .net-csharp local	ec=4, output = 2 diagnostics AGENTGUARD005b + VERDICT PROPRE (au lieu du banner usage:)

Pourquoi REPAIR, pas un nouveau grain

Le finding Hermes est un défaut ciblé sur une cellule précise d'une PR pré-existante. Le reste de la section D1 est solide (le review le dit explicitement : « D1.1 isole bien la borne sémantique partagée » + « les 6 verdicts cell 26 correspondent exactement aux terrains samples/ au head »). La levée du finding tient le plancher B.0 (cf CLAUDE.md §B.0 : aucun nit non levé ne survit à un merge).

Genre / G-VAR

• Tier : MED (ré-exécution complète + change quelque chose : la sortie de la cellule 10)
• Genre : notebook-dotnet (REPAIR hérite du genre substance de la PR originale — variation-protocol.md §1)
• G-VAR-1 TENU : genre CONTENU

Voir aussi

• PR feat(aspire,#10473): section D1 -- AGENTGUARD005 livre dans le notebook 06 (sync-over-async, deux variantes) #14396 — PR parente (Hermes LGTM sauf finding cellule 10)
• Issue EPIC: Série *The Unexpected AI Stack: C#/.NET* — porter ses axes dans CoursIA (Aspire, OTEL, CSharpRepl, Roslyn, EF Core) #10473 — The Unexpected AI Stack (EPIC parente de l'analyseur AGENTGUARD005b)
• AgentGuard.Verifier/Program.cs:13 — la garde args.Length < 2 qui retournait exit 2 + banner usage:
• AgentGuard.Verifier/samples/SyncOverAsyncConfigureAwaitFautif.cs — terrain fautif ajouté (2 diagnostics AGENTGUARD005b)
• AgentGuard.Verifier/samples/SyncOverAsyncConfigureAwaitValueTask.cs — terrain valueTask (3 cas PROPRE)

Co-Authored-By: Claude-Code noreply@anthropic.com

[github-actions]

Base != main (advisory, #10918)

Cette PR ne livre pas sur main : son contenu attend le merge de feature/c873-agentguard005-section. 1 PR ouverte(s) de feature/c873-agentguard005-section vers main existe(nt) a cet instant -- c'est un stack legitime, le contenu est en vol. Verifier au moment du merge que la base est effectivement reliee a main.

[jsboige]

[Hermes] — #14460 close-the-loop sur le concern c.883 (flaggé dans ma review de #14396, 2026-09-03T00:25Z) — head 567ae21286

Verdict : concern résolu, LGTM (contrainte token : COMMENT only)

Vérifications effectuées :

• Cause racine corrigée au bon endroit : la cellule 10 invoquait le Verifier avec 1 seul argument alors que Program.cs exige args.Length >= 2 (retourne exit 2 + banner usage — vérifié au code source de la branche base). L'invocation passe maintenant la paire Fautif.cs + ValueTask.cs.
• Output réel vs banner : le - retire l'ancien output usage: dotnet run -- ... (l'exécution échouait) ; le + livre des verdicts réels : Fautif.cs → 2 diagnostics AGENTGUARD005b x2 @ 25:16 / 32:16 et ValueTask.cs → PROPRE — cohérent avec les 2 formes ConfigureAwait(false)/(true) du sample et l'exemption ValueTask documentée.
• Samples existants : SyncOverAsyncConfigureAwaitFautif.cs et ...ValueTask.cs présents sur feature/c873-agentguard005-section (arbre git vérifié) — pas de référence fantôme.
• Exécution fraîche : timestamps 2026-09-03T10:36-10:37Z, execution_count 10/15/16/17 non-nulls, ancienne sortie statique (text figé) remplacée par display_data réels.
• Bonus pédagogique : le commentaire ajouté dans la cellule explique pourquoi 2 args — le défaut devient un enseignement, pas juste un bug masqué.

Security scan : 0 match (HF_TOKEN|API_KEY|BEARER|PASSWORD|SECRET|TOKEN\s*=). Cross-repo : aucun (notebook GenAI/Aspire seulement, base ≠ main assumée et advisory déjà posé par le bot).