fix(ledger,#18414): corrige critere d'independance op 3 (3 points ai-01)

[jsboige]

Contexte

PR #18414 (po-2024:CoursIA-2) — review ai-01 CHANGES_REQUESTED à la tête a9bd029965 (cf verdict organe check_unaddressed_nits.py) demande trois corrections en un seul commit :

1. Le lien d'issue dans la tranche c.1308 ([msg-20260929T142537-nqa4vg](https://github.com/jsboige/CoursIA/issues/18405)) utilise un identifiant de message RooSync comme texte d'un lien d'issue — réécrire en dur comme #18405.
2. Critère d'indépendance (paragraphe op 3) : deux affirmations fausses ou non vérifiables. Remplacer « la campagne H1-2024 d'ANALYSE-04 et Infer-20 lancée en parallèle » (les carnets ont été créés le 2026-08-22, pas en H1-2024 — vérifié gh pr view 12252/12277 --json mergedAt : MERGED 2026-08-22T12:57:43Z / 12:58:17Z) et « les deux notebooks dérivent du même stimulus PFR-Tao » (Infer-20 ne cite ni PFR ni Tao — son origine est l'issue [Probas] Le protocole quotient + fibres + recollement : ce qui survit a la representation grossiere, et ce qui ne vit que dans les fibres #12226 « quotient + fibres + recollement ») par les constats vérifiables : même EPIC [EPIC][ICT] Chantier 1 — La table des opérations : algèbre des transformations attestée, ses trois lois, ses témoins et ses dettes #12204, même jour, même lane de dispatch ; issues sœurs [Lean-21b] Trois primitives de PFR, et l'endroit exact ou elles cessent de valoir #12214 et [Probas] Le protocole quotient + fibres + recollement : ce qui survit a la representation grossiere, et ce qui ne vit que dans les fibres #12226 ; ANALYSE-04 seul revendique le stimulus PFR-Tao.
3. Forme : n'est **pas** vérifiée** porte un ** orphelin — ajouter un point final et fermer la séquence d'italique.

Ce qui est livré

Un commit (b7909883f2, branche fix/18414-ai01-review-3points) qui :

• remplace le texte du lien RooSync par #18405 ;
• remplace les deux phrases invérifiables par des constats vérifiables first-hand (dates PR, issues, lane) ;
• ferme l'astérisque orphelin par un point final.

Vérification first-hand

git diff feature/18405-ict-pfr-primitives...fix/18414-ai01-review-3points -- docs/ledgers/12204-ict-chantier-1-audit-froid.md :

• 1 fichier modifié, +2/-2
• les trois corrections sont localisées dans la tranche c.1308 (lignes 123 et 131 du fichier sur disque)
• aucune autre modification

Acceptance

Les trois points nommés dans la review ai-01 sont corrigés. Vérification post-fix par l'organe check_unaddressed_nits.py 18414 attendue : OK.

Grain: LIGHT/ledger -- lane myia-po-2024:CoursIA-2 -- prev: a-vide c.1312

🤖 Generated with Claude Code

[github-actions]

Base != main (advisory, #10918)

Cette PR ne livre pas sur main : son contenu attend le merge de feature/18405-ict-pfr-primitives. 1 PR ouverte(s) de feature/18405-ict-pfr-primitives 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.

Couverture CI perdue sur cette base (mesure, #16194)

6 workflow(s) se declencheraient si cette PR visait main, et ne se declenchent pas ici : leur filtre de branche cible les eteint, alors que leur filtre de chemins est satisfait par les fichiers de cette PR.

• always-on-guards.yml
• mermaid-fill-color-advisory.yml
• notebook-plan-loss-gate.yml
• paragraph-length-advisory.yml
• pr-gate.yml
• secret-scan.yml

Un check absent n'est pas un check vert. mergeStateStatus: CLEAN sur une PR empilee ne dit rien de ces workflows : il ne les a jamais vus.