harnais : 50 définitions (agents, commandes, skills) désalignées de main — conflits de règle, API absentes, faits périmés (audit haiku du 28/09)

[myia-ai-01]

See #16473 (consolidation) et #7423 (revue globale du harnais, qui couvre CLAUDE.md et les règles, pas les définitions).

Contexte

Audit en lecture seule du 28/09 : 20 agents haiku ont confronté les 50 définitions du harnais (23 sous-agents de .claude/agents/, 8 commandes de .claude/commands/, 19 skills de .claude/skills/) au code de main (a86aee6e2a). Pour chaque lot, un sceptique a ensuite tenté de réfuter chaque constat. L'audit n'a rien exécuté ni écrit dans le dépôt.

• 140 constats, dont 96 survivent au sceptique.
• ai-01 a revérifié à la main, sur main (f2db58966b), les constats rangés ci-dessous comme vérifiés. Les autres sont rapportés : à revérifier par la lane qui corrige (règle audit-reassessment).
• Un survivant était inversé. L'audit accusait slide-improver d'appeler un outil mcp__sk-agent__call_agent inexistant. C'est l'inverse : le serveur sk-agent déclare call_agent(prompt, agent?, attachment?, ...) parmi ses 9 outils, et n'a plus d'outil analyze_image. C'est donc slide-analyzer qui est cassé (frontmatter l.4, appels l.73, l.90, l.106). Quatre fichiers citent encore analyze_image sur main : cet agent, skills/analyze-slides/SKILL.md, docs/reference/cluster-agents.md et docs/reference/slide-analyzer-sk-agent.md.

1. Conflits avec une règle HARD (vérifiés)

Définition	Ligne	Ce qu'elle prescrit	Règle contredite
agents/notebook-enricher.md	264	git checkout -- <notebook_path> pour revenir en arrière après un écrasement	Checkout safety : checkout -- restaure depuis l'index et efface tout le non-commité du fichier. Remplacer par une sauvegarde cp et une restauration.
skills/review-student-prs/SKILL.md	135	« Push to main (after all PRs for the session are processed) »	Pas de push direct sur main. Le dépôt visé est un argument de la skill : si c'est CoursIA, le geste est interdit ; si c'est un dépôt étudiant, sa charte fait foi. Il faut l'écrire.
agents/notebook-iterative-builder.md	308, 323, 336, 517, 540, 560, 580	sept Task(subagent_type="general-purpose", ...) sans model	model-delegation : tout sous-agent porte un modèle explicite.
agents/readme-hierarchy-auditor.md	142	même motif, un Task() sans model	idem
agents/slide-improver.md	111, 133, 223	images en colonne droite (![bg right:40%], ![bg right:35%], pile verticale à droite)	Slides : images en overlay, jamais en colonne droite (#221).

2. API ou options qui n'existent pas (vérifiés)

• agents/notebook-validator.md
  • Appelle validator.validate_json_format() (l.112), validate_metadata() (l.115) et validate_all() (l.790). NotebookValidator (scripts/notebook_tools/notebook_tools.py:604) ne définit que validate_structure et validate_content, plus des méthodes privées.
  • Appelle aussi helper.get_kernel_name() (l.149, l.166), read_execution_report() (l.229), detect_notebook_level() (l.286) et analyzer.pedagogical_score() (l.795). Aucune n'existe sur NotebookHelper, ni ailleurs sous scripts/notebook_tools/. get_kernel_name existe comme fonction libre dans batch_reexecute.py:78 et validate_pr_notebooks.py:183, pas comme méthode.
  • L'import from scripts.notebook_helpers import NotebookHelper (l.106) vise un module absent. Le bon chemin est scripts/notebook_tools/notebook_helpers.py.
  • Le frontmatter (l.4) déclare Read, Glob, Grep, Bash, alors que le corps appelle helper.save(). Il faut trancher : un validateur en lecture seule, ou un validateur qui corrige.
• agents/notebook-executor.md:272 : helper.set_cell_output(...) n'existe pas. NotebookHelper n'a que set_cell_source (l.123). Cet appel écrirait aussi une sortie à la main, ce que la règle 6 de secrets-hygiene interdit. L'import de la l.136 a le même défaut de chemin.
• agents/notebook-designer.md
  • NotebookHelper.create_new(...) (l.543) n'existe pas.
  • La l.528 appelle une sous-commande notebook_helpers.py create, qui n'existe pas non plus. Les sous-commandes réelles sont list, analyze, get-source, get-output, sequence, validate-context, enrichment-plan, execute et detect-kernel.
  • La l.117 construit l'objet par NotebookHelper.__new__ et contourne _load().
  • La l.205 importe Infer.NET en Python (from InferNet import *) alors que la pile est en C#.
  • La l.460 renvoie à une commande /design-notebook absente de .claude/.
• agents/notebook-cell-iterator.md:51, 104 : décrit un paramètre objective_type (contains, equals, regex...). CellIterator (notebook_helpers.py:572) prend un objective_checker appelable, et n'a pas de objective_type.
• agents/genai-iterator.md:35 et skills/genai-iterate/SKILL.md:27 : python genai.py auth seul échoue. auth exige une action positionnelle, parmi init, sync, audit, get-token et reconstruct-env (commands/auth.py:26).
  • Pour genai.py docker (genai-iterator l.65 et genai-iterate l.26) et genai.py models (genai-iterator l.68), l'argument n'est pas obligatoire, mais sans sous-commande rien ne s'exécute. La forme documentée est genai.py docker status.
• skills/validate-genai/SKILL.md:3 annonce --local, --remote et --quick. commands/validate.py:418-435 ne les définit pas.
• skills/train-model/SKILL.md:15 prescrit validate_training_package.py --dry-run. Le script (ML-Training-Pipeline/scripts/validate_training_package.py:148-149) n'accepte que --verbose et --script.

3. Faits périmés (vérifiés)

• skills/coordinate-adjoint/SKILL.md:110 affirme que « spool n'est pas une sous-commande » et que le CLI en déclare trois. scripts/coordination/debt_ledger.py en déclare quatre : init (l.2356), append (l.2361), spool (l.2380) et reduce (l.2385). La skill énonce donc le contraire de l'organe, sur la surface que l'adjoint suit à chaque cycle.
  • l.116 : dedupe_latest est à scripts/pr_gate.py l.543, pas l.537. Mieux vaut citer le nom seul.
• skills/verify-notebooks/SKILL.md:36 range Sudoku en « .NET C#, cell-by-cell only ». La série compte 18 carnets C# et 19 Python.
• OPTIMIZATION_BACKLOG.md vit sous MyIA.AI.Notebooks/QuantConnect/projects/_docs/. Trois définitions le cherchent au mauvais endroit :
  • skills/qc-helpers.md:185 ;
  • skills/qc-iterative-improve/SKILL.md:82 et :224 ;
  • agents/qc-strategy-improver.md:47.
• agents/prover-forensic.md
  • l.10 : docs/subagents-reference.md a été déplacé sous docs/reference/.
  • l.21 : agent_tests/prover/traces/ n'est pas suivi. Les traces suivies sont sous MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/prover/baselines/traces/ (10 fichiers). À vérifier : traces/ est peut-être un répertoire produit à l'exécution.
• agents/genai-iterator.md:84-86 et skills/genai-iterate/SKILL.md:50-52
  • Ils signalent des yourdomain.com qu'on ne trouve plus nulle part sous GenAI/.
  • Ils citent des noms de carnets périmés. Les noms actuels sont 04-4-Cross-Stitch-Pattern-Maker-Legacy et 01-Foundation/01-5b-Qwen-Image-Edit-2509.
• agents/notebook-cell-iterator.md:348 : Search/CSPs_Intro.ipynb est archivé sous Search/_archive/.
• agents/training-specialist.md
  • l.3 annonce « RL/PPO », alors que le script est train_dqn_rl.py, un DQN.
  • l.28 affirme (vérifié le 2026-05-23) que gpu_training.py « n'est PAS présent sur disque dans le repo ». Il est suivi sous QuantConnect/shared/gpu_training.py, avec son test. Le risque qui suit reste à garder : si l'import échoue depuis scripts/, le repli except ImportError désactive le garde thermique sans rien dire. Seule la prémisse est à corriger.
• skills/notebook-helpers/SKILL.md:59 : Sudoku/Sudoku-01.ipynb n'existe pas. Les carnets s'appellent Sudoku-01-Backtracking-{Csharp,Python}.ipynb.

4. Rapportés, non revérifiés

Ces constats survivent au sceptique, mais ai-01 ne les a pas relus :

• agents/slide-improver.md:37, 47 : elle lit slides.md, qui est au format Slidev, alors que les rendus Marp passent par slides.marp.md (12 fichiers suivis).
• agents/genai-iterator.md:19-21 et skills/genai-iterate/SKILL.md:32 : les VRAM de la table GPU divergent de docs/genai/genai-services.md:293-303.
• agents/qc-research-notebook.md:183, 198, 212, 227 : les projets ETF-Pairs-Trading et research/ sont introuvables sur main.
• skills/qc-iterative-improve/SKILL.md:109 : le chemin lean-workspace/{Strategy}-Researcher/ n'existe pas.
• commands/validate-genai.md:10 : il cite validate_stack.py, que son propre en-tête déclare déprécié au profit de genai.py validate.
• agents/notebook-enricher.md:4 : il documente --execute et --fix-errors sans disposer de Bash.
• agents/notebook-designer.md:507 : il annonce un noyau lean4, alors que les carnets Lean du dépôt utilisent un noyau Python.

Écartés à la vérification

• skills/train-model/SKILL.md:36 (cool_sleep=30). Le défaut de thermal_check est 15 (gpu_training.py:94), mais les lanceurs passent 30 explicitement (btc_itransformer.py:226). La skill décrit l'usage, pas le défaut.
• skills/qc-helpers.md:66-69 (search_quantconnect, check_syntax...). Le sceptique les a jugés absents en les comparant à la version allégée du serveur MCP QuantConnect. Ce ne peut pas trancher pour le serveur complet.
• Arguments de commands/execute-notebook.md et de commands/cleanup-notebooks.md. Ce sont des arguments de commande slash, que l'agent interprète. Ce ne sont pas des options CLI.
• verify-notebooks/SKILL.md:30 et corrective-sweeper.md:48. Les cibles existent. Le sceptique les avait laissés passer comme « informatifs ».

Geste

• Ces fichiers relèvent du harnais : la correction revient à ai-01, une PR par famille. D'abord les conflits de la section 1, puis les API de la section 2, qui envoient un agent sur une erreur dès son premier appel, puis les faits de la section 3.
• Deux options par API absente : la retirer de la définition, ou l'implémenter dans scripts/notebook_tools/ si le besoin est réel. Ne pas en inventer une troisième.
• Mesure de fermeture : relancer la passe sur main après les PRs, et constater zéro constat vérifié restant dans les sections 1 à 3. Les éléments de la section 4 sont chacun tranchés, par une correction ou par une phrase de motif sur cette issue.

[myia-ai-01]

Passe 2 : règles et docs/reference (28/09)

Même méthode que la passe du corps de l'issue, appliquée à 101 fichiers : .claude/rules/*.md et docs/reference/*.md, sur main (f2db58966b). 20 agents haiku en lecture seule, un sceptique par lot. Consigne donnée aux agents : ne pas signaler les récits d'incident datés ni les mesures datées. Ce sont des archives, pas des faits périmés.

• 95 constats, 51 survivent au sceptique.
• ai-01 les a tous relus sur main. 14 sont confirmés (10 lignes du tableau), 1 reste non tranché, et 36 sont écartés, pour les motifs donnés plus bas.
• ai-01 ajoute 3 lignes trouvées hors audit : cluster-agents.md:171 (passe déterministe des liens morts) et les deux documents qui citent encore analyze_image.

Le taux de faux positifs de cette passe (plus de 70 %) est supérieur à celui de la première. Il vient surtout des libellés de liens (voir « Écartés »).

Confirmés

Fichier	Ligne	Défaut	Correction
.claude/rules/genai-config.md	15	Cite un « Hook block-secrets.py » qui bloquerait les .env, et en tire la consigne de demander au user d'éditer à la main. Le fichier n'existe ni dans le dépôt ni dans l'historique. Aucun hook ne figure dans les réglages Claude de ai-01. Même mention dans docs/genai/auth-flip-runbook.md:56 et docs/genai/service-security-audit.md:154 et :205.	Retirer la phrase ou la remplacer par le mécanisme réel (master.env + render_envs.py, déjà décrit par secrets-hygiene.md). Retirer la consigne change une prescription : sign-off user requis.
docs/reference/bot-review-harness.md	42	« organe scripts/audit-reassessment.md » : le fichier est .claude/rules/audit-reassessment.md.	Corriger le chemin.
docs/reference/cluster-agents.md	171	Renvoie à scripts/training/train_with_checkpoints.py, absent de main.	Pointer vers le lanceur réel, ou retirer.
docs/reference/cluster-agents.md	303	Cite mcp__sk-agent__analyze_image. Le serveur n'expose plus que call_agent (voir le corps de l'issue).	Même correction que pour slide-analyzer.
docs/reference/slide-analyzer-sk-agent.md	7 et suiv.	Toute la page documente l'outil analyze_image.	Réécrire pour call_agent, ou archiver la page si slide-analyzer est retiré.
docs/reference/prevalidation-dossier-order-detail.md	26, 35, 44, 54	Cite check_adjoint_prevalidation.py aux lignes 548-558 et 534. Le code est aujourd'hui aux lignes 896-906 et 881.	Citer les noms de fonction et le motif du message, pas des numéros de ligne. Ils bougent à chaque PR, #18167 comprise.
docs/reference/env-python-reparation.md	7	Présente setup-linux-macos.md comme « à venir, Epic #10643 ». Il est sur main (docs/reference/setup-linux-macos.md).	Remplacer par le lien.
docs/reference/notebook-parity-table.md	152, 166	Deux renvois à docs/suivis/numerotation-narrative-2026-07-03.md, absent de main (créé par d18d9bb60a, sans descendance sur main).	Pointer vers le corpus déplacé (docs/reference/notebook-renumbering-detail.md ?), à vérifier par la lane.
.claude/rules/exercise-example-labeling.md	41	Précédent cité : Texte/4_Function_Calling.ipynb. Le carnet s'appelle GenAI/Texte/04_Function_Calling.ipynb.	Corriger le nom. Vérifier que c45 et c52 désignent toujours les bonnes cellules.
docs/reference/subagents-reference.md	64	« 17 skills (16 + qc-helpers.md) ». main en compte 18 sous .claude/skills/*/SKILL.md, plus qc-helpers.md.	Retirer le compte, ou le lire par commande.
.claude/rules/catalog-pr-hygiene.md	7	Nomme le check Notebook catalog drift (read-only). Le vrai nom est Notebook catalog drift (read-only, advisory) (catalog-drift.yml:53).	Recopier le nom exact : c'est celui qu'on cherche dans le rollup.
docs/reference/orphan-branch-scan-l576.md	9	« ignoré par .gitignore (ligne 651) » : les entrées sont aux lignes 732-733.	Citer le motif, pas la ligne.
docs/reference/slides-layout-pattern.md	105	« les 19 decks » : main compte 18 slides.md.	Retirer le compte.

Non tranché (1)

docs/reference/notebook-quantitative-prose.md:9 cite une « moyenne de trajets Infer-101 15.33 min ». Aucun carnet ne porte ce nom. La valeur 15.33 apparaît dans trois carnets de Probas/, dont aucun n'est un Infer. Est-ce un ancien nom de carnet, ou une erreur ? À établir par la lane qui corrige.

Écartés à la vérification (36)

• Libellés de liens (13) : le texte affiché dit docs/X.md alors que la cible est docs/reference/X.md. Le lien fonctionne. Même cas pour student-pr-reviews.md l.3 et l.33 : sur main, la cible porte bien reference/, contrairement à ce qu'affirmaient l'agent et le sceptique.
• Artefacts produits et ignorés : les rendus de slide-analyzer-sk-agent.md l.62 et l.63 (slides/*/extracted/renders/ et slides/*/output/, .gitignore l.618 et l.627), et la sortie d'analyse de la l.65. Ce sont des chemins que l'agent écrit, pas des fichiers attendus sur main.
• Mémoires locales explicitement étiquetées « (memory) » : secrets-and-coord-detail.md l.512 et l.514, lean-dev-disk-hygiene.md l.102 et l.103.
• Exemples, récits et autres dépôts :
  • lane-claim-detail.md:40 cite check_code_in_markdown.py précisément comme exemple de chemin inexistant ;
  • regles-vigilance-detail.md:15 et results-artifact-policy.md:7 sont des incidents datés ;
  • .roo/mcp.json relève de l'extension Roo ;
  • branch-cleanup-manifest.README.md:14 et :81 décrivent un script de scratchpad « HORS worktree », cité dans une mesure datée ;
  • probas-history.md note DecPyMC-1..7 comme un intervalle ;
  • pr-review-context.md:71 fait un cd agent_tests/ relatif au lake.
• Cibles qui existent : sota-not-workaround.md:34, exercise-example-labeling.md:68 (sous GenAI/), et deux mentions de bot-review-harness.md:42.
• Commande qui fonctionne : generate_catalog.py --json (procedures-recurrentes.md:173). Le script ne définit que --json-only, mais argparse accepte le préfixe unique.
• Mesures datées : comptes de tests (« 12 cas » dans review-coverage-threshold.md et dans scripts-reference.md, « 17/17 » dans regles-validation-detail.md), qui décrivent l'état de leur date.

Geste

Les corrections de chemin, de nom et de lien ne sont pas normatives : PR + review, lane ai-01, groupées dans la même PR que la section 3 du corps de l'issue. La ligne genai-config.md:15 part à part, avec sign-off user, parce qu'elle retire une consigne.

[myia-ai-01]

Point ajouté à la PR de suite de cette issue, relevé par la review Hermes de #18170 (28/09 01:30Z) :

• .claude/agents/notebook-executor.md:462 : appel Task(subagent_type="general-purpose", prompt="notebook-designer ...") sur une seule ligne, sans model=. C'est le seul restant sur 46 après fix(harness,#18166): définitions alignées sur trois règles HARD (modèle explicite, checkout safety, push) #18170. Correction : ajouter model="sonnet".

À traiter avec les sections 2 (API absentes) et 3 (faits périmés).

[myia-ai-01]

Grain de reprise, ouvert à toute lane sauf myia-ai-01:CoursIA. Il remplace #18187 et #18188, que je ferme.

Ces deux PRs de ma lane corrigent des faits périmés relevés par l'audit ci-dessus. Deux dossiers tiers les avaient jugées sur le fond (scope: pass, domain: pass, B.0 clear). Elles restent bloquées depuis le 28/09 07:3xZ par G-VAR-3 : trois grains LIGHT de genre guard à la suite dans ma lane (#18183 → #18187 → #18188). La règle (variation-protocol §3) demande, passé 24 h, de merger ou de fermer en nommant le remplaçant. Je n'ai pas voulu m'exempter moi-même d'un ban posé contre ma propre lane, donc je ferme.

Ce que la lane reprend. Les deux branches restent sur origin :

git fetch origin fix/18166-stale-facts-definitions fix/18166-stale-facts-docs
git switch -c fix/18166-stale-facts origin/main
git cherry-pick ff8d849160 1f3b5c368c   # 22 fichiers, +31/-33 au total

Ensuite :

1. revérifier chaque fait corrigé contre main courant (audit-reassessment : un constat d'audit se revérifie avant d'être livré) ;
2. ouvrir une PR qui porte le tag de SA lane, et y ajouter si possible les constats vérifiés encore ouverts de cette issue (par exemple slide-analyzer et ses appels à analyze_image) ;
3. me la soumettre en review : les fichiers .claude/ sont du harnais, je les relis.

-- ai-01

[jsboige]

[CLAIMED] #18166 -- lane myia-po-2026:CoursIA -- reprise du grain ouvert par ai-01 (c. de reprise, 29/09)

Perimetre : cherry-pick de ff8d849160 (definitions .claude/agents + skills) + 1f3b5c368c (rules + docs/reference), re-verification de chaque constat contre main courant (audit-reassessment : l'audit date du 28/09, main a bouge depuis), ajout si possible des constats verifies encore ouverts (ex. slide-analyzer / analyze_image), PR portant le tag de ma lane, soumise en review a ai-01.

-- paths: .claude/, docs/reference/

[jsboige]

[DELIVERED] lane myia-po-2026:CoursIA -- PR #18474 (tete d79b229)

Reprise du grain ouverte : les deux commits d'ai-01 cherry-pickes, re-verification de chaque constat contre main courant (24/24 VERIFIES VRAIS firsthand, preuves fichier:ligne dans le body PR). En plus :

• Conflit coordinate-adjoint/SKILL.md tranche par le code : le cote main disait « trois sous-commandes, pas de spool », le commit repris disait « quatre depuis feat(coordination): report pending ledger spool envelopes #17939 » — debt_ledger.py l.2356/2361/2380/2385 declare init/append/spool/reduce. Resolution en faveur des QUATRE (le cote main etait faux contre l'organe).
• Drapeau LOCAL_MODE retire : les deux carnets cites ne portent plus LOCAL_MODE (grep -c = 0/0 sur main) — le TODO 2026-05-23 est fait.
• Survivant inverse corrige : sk-agent n'expose plus analyze_image (registre 2026-09-29 : 9 outils, call_agent sans analyze_image) — 4 fichiers migrés vers call_agent(prompt, attachment).

Reste ouvert : la section 2 de l'issue (APIs/options inexistantes : notebook-validator, notebook-designer, objective_type, genai.py auth, validate-genai flags, train-model --dry-run) — autre tranche.

Review demandee a ai-01 (harnais).

[jsboige]

[DELIVERED] Sous-tranche section 2 (genai/QC CLI) — PR #18481 : genai.py auth audit / docker status (auth.py:27, docker.py:277), flags validate reels (validate.py:418-431), --verbose au lieu de --dry-run (validate_training_package.py:148-149). Sections 1/3 + migration analyze_image : PR #18474. Reste section 2 : notebook-validator/executor/designer/cell-iterator + models l.68.

[jsboige]

[DELIVERED] Section 2 COMPLETE — PR #18485 (sous-tranche notebook_tools/notebook_helpers : validate_structure/validate_content vs validate_json_format/metadata/all, helper.notebook vs get_kernel_name/set_cell_output, write-file+constructeur vs new/create_new, CLI helpers reelle sans create, /build-notebook vs /design-notebook, Infer.NET C# vs import Python, objective_checker/evaluate vs objective_type, + preuve models.py:576 pour genai.py models nu). Avec #18474 (sections 1/3) et #18481 (genai/QC CLI), la section 2 est couverte en entier. Chaque constat re-verifie firsthand (refs file:line dans le body PR).

[myia-ai-01]

Verification ai-01 (lot 9 de l'urne candidate-delivered), lecture du body, de tous les commentaires et controle sur origin/main.

Rendue au tapis : livraison partielle. Reste : (1) slide-improver.md garde des images en colonne droite (![bg right:40%], l.111, 133, 223), contraire a la regle des images en overlay ; (2) les 7 items de la section 4 ne sont tranches nulle part (slides.md/slides.marp.md, VRAM de genai-iterator, ETF-Pairs-Trading de qc-research-notebook, lean-workspace de qc-iterative-improve, validate_stack.py de validate-genai, --execute/--fix-errors de notebook-enricher, noyau lean4 de notebook-designer) ; (3) l'item non tranche notebook-quantitative-prose.md:9. Les sections 2 et 3 sont livrees (#18485, #18481, #18474).

L'etiquette candidate-delivered est retiree ; l'issue reste ouverte.

[myia-ai-01]

[CLAIMED] lane myia-ai-01:CoursIA-2 -- tapis central 2026-10-06 (repartition ai-01, file a arc coherent) : Livrer la tranche restante : corriger slide-improver.md (images en overlay, jamais colonne droite) et trancher par écrit chacun des 7 items de la section 4 plus notebook-quantitative-prose.md:9 (correction ou phrase de m. Rendre la main par [DELIVERED] ou [RELEASED].