fix(ci,#17306): markdown-table-guard -- sparse-checkout set --no-cone --stdin remplace add (crash 128 sur path fichier)

[jsboige]

Grain: MED/guard — lane myia-po-2024:CoursIA — prev: DEEP/lean #17017

Ce que fait cette PR

Répare le crash de la jambe advisory Markdown table syntax advisory introduit par le CR #16207 : git sparse-checkout add --no-cone "${PATHS[@]}" meurt dès que changed.txt contient un path fichier (le cas nominal — des *.md/*.ipynb), rendant rouge un job conçu exit 0 permanent.

Mesures (3, deux générations de git)

#	Mesure	Résultat
1	Runner CI (run 35590181655, job 106302564736, sur #17122 head 9924012)	fatal: 'MyIA.AI.Notebooks/SymbolicAI/Tweety/README.md' is not a directory; … rerun with --skip-checks → exit 128, job rouge avant sa décision de label
2	Local git 2.51 (Windows), repro scratch	git sparse-checkout add --no-cone <path fichier> → error: unknown option 'no-cone' → rc 129 ; l'usage de add n'expose plus que --skip-checks / --stdin — l'option a été retirée du sous-commande
3	Local, repro scratch (init non-cone + set --no-cone /scripts/)	set --no-cone --stdin avec toolbox + path fichier → rc 0, le fichier est matérialisé dans le workdir, core.sparseCheckoutCone=false

Correctif

mapfile -d '' PATHS < changed.txt
{ printf '%s\n' '/scripts/notebook_tools/'
  printf '%s\n' "${PATHS[@]}"
} | git sparse-checkout set --no-cone --stdin

• set --no-cone : valide sur toutes les générations (2.26+), patterns littéraux en non-cone → un path fichier matérialise ce fichier ;
• add était un set incrémental → le pattern toolbox est re-nourri en tête du stdin, état initial préservé exactement ;
• une ligne entière = un pattern : les paths restent OCTETS-EXACTS (noms à espaces préservés, même garantie que le mapfile -d '' du CR Couverture PR-time du scan de tables markdown perdue avec #12817 : CODE_SPAN_PIPE invisible a la review (temoin #16177) #16207) ;
• le lazy-fetch promisor des blobs passe par la même machinerie interne de mise à jour des patterns — comportement de coût inchangé.

Validation du livrable

• Auto-exercée sur cette PR : le fixture docs/test-fixtures/md-table-guard/fixture-17306.md (ajouté par la PR) met le workflow sur le chemin COUNT > 0 — la commande fixée s'exécute donc sur le run de CETTE PR. Fixture volontairement sans pipe ni tableau : scanner rend total_findings: 0 (vérifié localement), job attendu Clean. + exit 0.
• YAML : yaml.safe_load OK (1 job).
• Vérification post-merge nommée (condition de fermeture de markdown-table-guard: git sparse-checkout add --no-cone crashe sur un path fichier (exit 128 runner / 129 git recent) -- remplacer par set --no-cone --stdin #17306, critère 3) : re-run de la jambe advisory sur feat(tweety,#15066): Tweety-3b-Modal-Lab-Lean — labo modal croisé Kripke/Lean (Tranche C) #17122 (le workflow y lit la version main) → quitte le rouge 128.

L'autre cause du gate #17122 (8 HREF_MISSING FP du scanner enrich-quality sur syntaxe modale) est suivie par #17187, claimée par myia-po-2023:CoursIA-2 — hors de cette PR.

See #17306 (fermeture après vérification du critère 3 post-merge) · répare une jambe de #17122 · correctif du CR #16207

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2024:CoursIA a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #17256 (MED/guard, merge a 2026-09-21T19:08:31Z)).
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 guard dans la famille META (docs/guard/ledger/readme/test) + diff de 37 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.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #17308 (fix(ci,#17306): markdown-table-guard -- sparse-checkout set --no-cone --stdin remplace add (crash 128 sur path fichier)) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• terminal -- fix(ci,#16207): restore PR-time markdown-table-scan coverage without the full-tree checkout #16209 partage : .github/workflows/markdown-table-guard.yml, recouvrement de chemins 50% -- fix(ci,#16207): restore PR-time markdown-table-scan coverage without the full-tree checkout #16209 est deja sur main.
• faible -- fix(ci,#16936): markdown-table advisory — materialisation des cibles via git show (plus de sparse-checkout add sur des fichiers) #17127 partage : .github/workflows/markdown-table-guard.yml

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17308
head: a1fe430
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: cfb7facfc83bda9f0e9b03bcb69d34c1d3e135eb9a0cc92a857d20e5c5cad51b
diff-files: 2
diff-additions: 30
diff-deletions: 7
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]