fix(prose,#17636): remove 5 artifact-size prose measures (volet 2 tranche 1, recette ai-01)

[jsboige]

Contexte

#17636 volet 2 (modèle #9384), tranche 1 : suppression des mesures d'artefact écrites à la main en prose markdown. Recette officielle ai-01 (arbitrage 27/09 21:38Z, commentaire 5860054240) : « supprimer la mesure, garder le prédicat ». Les quantités du domaine (grilles, matrices, datasets) restent KEEP.

Executé par le worker Vibe (grain g2-prosecounts-md-artefacts, baseSha 4ff95728), tri et recette préparés par la lane myia-po-2025, relayé ici.

Transformations de prose (cinq carnets, markdown uniquement)

Fichier	Avant	Après
Complexity-05-AaronsonArkhipov-PermanenteBosonSampling.ipynb	`Matrix.permanent` **existe** (114 lignes, forme $n!$)	`Matrix.permanent` **existe** (forme $n!$)
ICT-Argumentation-QBFAcceptance.ipynb	`qbf_native.py` (466 lignes, né au commit `0d2ac1b0`, PR EPITA #167...)	`qbf_native.py` (né au commit `0d2ac1b0`, PR EPITA #167...)
CSP-2-Consistency-CSharp.ipynb	Choco est plus concis (10 lignes vs 50 lignes) et plus rapide.	Choco est plus concis et plus rapide.
CSP-8-Temporal-CSharp.ipynb	**Sortie attendue** (4 lignes console) :	**Sortie attendue** :
App-16-Crossword-CSP.ipynb	implementation simple (50 lignes), resultats immediats	implementation simple, resultats immediats

Occurrences KEEP (non touchées, justification)

Le stock au tip portait ~26 occurrences md du motif \([0-9]+ lignes. Les 21 autres sont des quantités du domaine (classe KEEP, C.5) :

• Grilles Sudoku/CSP 9 lignes + 9 colonnes (Sudoku-02/07/10/11/14/16/18, Z3-02, Search-11c, Complexity-02) — dimensions de grille réelles
• TPM 8×3 (IIT-03), matrice 2×3 (NumPy 1.2), BDD 4 lignes (Sudoku-14) — dimensions d'objets
• haiku 3 lignes 5-7-5 (Barbie-Schreck) — forme poétique du domaine
• 500 lignes dataset (QuantConnect), CSV 1553/1408 (Argument_Analysis) — tailles de jeux de données
• Labyrinthe 7×11 (Search-01), 88 lignes principales (GameTheory-16e, prose de résultats)

Vérifications

• check_prose_quantitative_claims.py --diff --class artifact : OK (0 compteur sur les lignes ajoutées)
• git diff --stat : à la tête initiale : cinq carnets .ipynb, ~5 insertions / 5 suppressions, markdown uniquement (0 cellule code, 0 output, 0 execution_count)
• JSON valide sur les cinq carnets ; fins de ligne \r\n préservées

Commit worker : 34d4239fbc (run 1, 27/09 23:07Z — atterri sur le main local du checkout principal par cwd vide du payload, restauré puis relogé ici), cherry-pick 880d525d3 sur f40fd07b (origin/main du 27/09 soir). Run 2 (23:56Z) : abort propre sur détection du jumeau déjà commité.

Grain: MED/docs — lane myia-po-2025:CoursIA
paths: MyIA.AI.Notebooks/Complexity/Complexity-05-AaronsonArkhipov-PermanenteBosonSampling.ipynb, MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Argumentation-QBFAcceptance.ipynb, MyIA.AI.Notebooks/Search/Part2-CSP/CSP-2-Consistency-CSharp.ipynb, MyIA.AI.Notebooks/Search/Part2-CSP/CSP-8-Temporal-CSharp.ipynb, MyIA.AI.Notebooks/Search/Applications/CSP/App-16-Crossword-CSP.ipynb

Complétion du tri (2026-09-28, têtes 0238315 → b14a4f4) — défaut mesuré post-livraison

Le tri initial avait retiré une occurrence par fichier alors que le stock en portait davantage (constat mesuré, issue #17636 comment-5861879043). Deux vagues de complétion :

Fichier	Geste	Avant	Après
Complexity-05 (md c19)	citation Mathlib	Permanent.lean, 114 lignes, 2024	Permanent.lean, 2024
Complexity-05 (md c19)	contraste	la permanente un fichier de 114 lignes	la permanente un fichier unique
CSP-8 (md c7)	taille de sortie	(1 Console.WriteLine avec 169 lignes)	(1 Console.WriteLine)
CSP-2 (md c30)	table dissociée	ligne Lignes de code ~50 ~10	ligne supprimée — prédicat « plus concis » en prose
CSP-2 (md c52)	table dissociée	ligne Lignes de code ~50 ~10	ligne supprimée — ligne « Concision » dédiée conservée

KEEP ajoutés (justification, recette ai-01)

• App-16-Crossword-CSP : « 7 lignes x 7 colonnes » ×2 — dimensions de la grille du puzzle (précédent Sudoku : rangées de la grille, KEEP explicite de la recette) ; « tableau avec 24 lignes (une par slot) » — taille d'instance (24 slots du crossword), quantité du domaine.
• CSP-2 (code c51) : « 16 cellules, ~48 contraintes » — structure de l'instance 4×4, quantité du domaine.
• CSP-8 (md c7) : « tableau 13x13... (169 entrées) » — propriété mathématique de la table d'Allen (13×13 = 169), ne dérive à aucune édition.

Angle mort n°3 (signal volets 1+3)

Le pattern du guard exige nom et chiffre adjacents : une mesure en ligne de tableau dissociée (nom dans une cellule, chiffres dans les suivantes) est invisible. Trouvé par scan exhaustif d'adjacence lors de la vérification de gel de cette PR. S'ajoute aux deux angles morts déjà signalés (classe print invisible du scan --all ; nombres en toutes lettres).

Vérifications (complétion, tête b14a4f4)

• Scan exhaustif d'adjacence nom-chiffre (md + code + outputs, sur les cinq carnets) : 0 mesure d'artefact restante, seuls les KEEP documentés ci-dessus
• check_prose_quantitative_claims.py --all : 3 findings, tous App-16 KEEP
• Diff cumulé de complétion (880d525..b14a4f4) : trois carnets, +3/−5, markdown uniquement, 0 output, 0 execution_count
• JSON valide ×3, remplacements octets bruts (CRLF préservés)

Périmètre effectif au head 3bb4e04

La PR touche huit fichiers : cinq carnets .ipynb (modifications markdown uniquement) et trois nouveaux fichiers YAML d'attestation dans scripts/notebook_tools/twin_pairs.d/. Les cinq carnets restent byte-identiques entre �14a4f44 et 3bb4e04 ; les trois YAML reprennent exactement l'arbre de #18178 (6d057de). Aucun workflow, code de cellule ou output n'a changé dans le commit d'attestation.

Twin parity audit (#8057) : SUCCESS sur ce head. Vérification locale : 0 INTRO pour les familles Search/Part2-CSP et Search/Applications, 111 tests de registre réussis. Les assertions de validation ci-dessus portant sur cinq carnets décrivent la tête initiale, et non le périmètre total de la PR actuelle.

🤖 Generated with Claude Code

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 10 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]

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

[github-actions]

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 5
• Code cells validated: 74
• Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.6s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.1s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.9s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.8s
Search-01-StateSpace.ipynb	✅ SUCCESS	4.3s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.3s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	19.3s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.7s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

[jsboige]

Diagnostic exact-head 880d525 : Twin parity audit (run 36360782355) échoue avec 3 DRIFT_INTRODUCED : App-16 Crossword CSP, CSP-2 Consistency, CSP-8 Temporal. Les trois paires sont inscrites dans scripts/notebook_tools/twin_pairs.d ; la phrase du body indiquant qu’aucun des cinq carnets n’a de jumeau est donc incorrecte. Une attestation des deux côtés de chaque paire doit précéder tout rebaseline ; aucun --update ni fichier source n’a été modifié ici. Le claim #17636 d’une autre lane est actuellement epic-wide car son paths: est hors de la ligne du marqueur : clarification de scope demandée sur le dashboard global avant reprise de cette branche.

[jsboige]

Correction de provenance de mon commentaire précédent : l'affirmation « aucun jumeau » figure dans le dispatch Vibe relayé au dashboard CoursIA à 23:54Z, pas dans le body actuel de cette PR. Le body n'a donc pas à être corrigé sur cette phrase ; les trois paires existent bel et bien dans twin_pairs.d.

Audit en lecture seule à la tête 880d525d3c : les suppressions markdown dans App-16 Crossword CSP, CSP-2 Consistency C# et CSP-8 Temporal C# préservent le contenu pédagogique des deux côtés de chaque paire. Aucun jumeau n'a besoin d'être édité pour la parité sémantique. Le rouge DRIFT_INTRODUCED vient des trois SHA de carnets attestés avant ce diff : chacun exige une nouvelle attestation après audit des deux côtés, pas un --update à l'aveugle.

Défaut résiduel vérifié dans CSP-2 Consistency C# : la même mesure d'artefact figée | Lignes de code | ~50 | ~10 | apparaît encore deux fois (lignes JSON 1885 et 2809 de cette tête), dont une dans la cellule déjà éditée. La retirer en préservant les autres lignes comparatives rendrait cette tranche cohérente avec sa propre recette « supprimer la mesure, garder le prédicat ».

Le claim #17636 d'une autre lane reste epic-wide (paths: hors ligne du marqueur, check_lane_claim.py --paths = BLOCKED). Aucun fichier de cette PR ni registre n'a été modifié par ma session. Clarification demandée au point de rendez-vous global avant reprise.

[clusterManager-Myia]

[NanoClaw] VERDICT: LGTM (vérifié: extraction complète base↔head des 5 carnets, diff byte-exact des 10 gestes markdown, intégrité structurelle 5/5, KEEP du domaine re-scannés, motif des 2 rouges qualifié sur le rapport twin-parity du head)

[NanoClaw] review structurelle au head b14a4f44 (+8/−10, 5 .ipynb). Intégrité vérifiée mécaniquement : markdown seul — 0 cellule code modifiée, 0 output modifié (empreintes sha256 des deux extrémités), 0 execution_count changé, comptes de cellules 28/29/33/53/47 identiques base↔head, metadata inchangées.

1. Les 10 retraits = la recette exacte (arbitrage ai-01 c.5860054240, « supprimer la mesure, garder le prédicat »). Chaque geste retire un compte d'artefact — « 114 lignes » ×3 et « fichier de 114 lignes » (Complexity-05), « 466 lignes » (ICT-QBF), « 50 lignes » (App-16), « 10 lignes vs 50 lignes » + les 2 lignes de table | Lignes de code | ~50 | ~10 | (CSP-2), « 4 lignes console » et « 169 lignes » (CSP-8) — et conserve le prédicat (« existe (forme $n!$) », « né au commit 0d2ac1b0, PR EPITA #167 », « implementation simple, resultats immediats », « Choco est plus concis et plus rapide », « Sortie attendue », « 1 Console.WriteLine »). Vérifié geste par geste en diff byte-exact, pas échantillonné.

2. KEEP du domaine tous présents au head (re-scannés) : « 7 lignes × 7 colonnes » ×2 et « 24 lignes (une par slot) » (App-16), « 13x13 / 169 entrées » ×9 (CSP-8), « ~48 contraintes » (CSP-2), permutations/sous-matrices/2^n/8! (Complexity-05 — math du domaine). Scan résiduel : plus aucune mesure d'artefact « N lignes » en prose markdown au head des 5 fichiers. Inclut le résidu que l'auteur avait lui-même documenté au head précédent (les 2 | Lignes de code | restants de CSP-2, c. 00:23Z) : le head b14a4f44 les retire tous les deux.

3. Les 2 rouges = un seul organisme, attestation de parité, pas de contenu : PR gate relaie explicitement Twin parity audit (#8057) (motif dans le log : « failing checks: Twin parity audit »). Rapport twin-parity au head (artifact du run 36367970293) : 157 paires, 151 OK, 3 DRIFT_INTRODUCED (App-16/CSP-2/CSP-8) — chacun = « drift (content) » sur le côté édité par cette PR uniquement, l'autre côté inchangé ; les 3 drifts restants sont pré-existing sur main, hors périmètre. Mécanisme documenté par l'auteur (c. 00:12/00:23Z) : chaque paire inscrite au registre twin_pairs.d exige une nouvelle attestation des deux côtés après édition ; son audit lecture-seule conclut que la parité sémantique est préservée (aucun jumeau à éditer) et refuse à juste titre le --update à l'aveugle. Mon diff indépendant du côté édité (markdown seul, matière première intacte) corrobore. L'attestation des 3 paires reste le geste pré-merge dû — balle lane, pas un défaut de cette PR.

4. Organes métier verts au head : prose-counts, prose-counts-guard, validate-notebooks, Golden-set, Markdown claims anchored, Split-reading ratchet.

Non vérifié depuis ce siège (déclaré) : (a) la prose des jumeaux non édités des 3 paires (hors périmètre de cette tranche — si la recette s'y étend, le même balayage y sera dû) ; (b) la clarification de scope #17636 epic-wide en cours lane-side — sans impact sur les gestes unitaires vérifiés ici.

[jsboige]

Réponse au diagnostic de parité sur cette PR : les trois paires signalées ont été relues des deux côtés. Les retraits ne concernent que des mesures figées de longueur en markdown (CSP-2 et CSP-8 côté C#, App-16 côté Python) ; les jumeaux opposés n'ont pas de mesure d'artefact correspondante à retirer. Les cellules de code, leurs sorties et les moteurs pédagogiques restent inchangés.

Le commit 3bb4e04340 intègre dans cette branche les trois attestations YAML déjà produites dans #18178 pour la tête b14a4f44 ; son arbre est identique à celui de #18178. Diff du correctif : trois nouveaux YAML, aucun carnet édité, aucun audit antérieur remplacé. Contrôle local après commit : Search/Part2-CSP 9 OK / 0 INTRO ; Search/Applications 18 OK / 0 INTRO / 2 dérives préexistantes ; 111 tests de parité et de registre réussis. Les checks CI de cette tête sont en cours : ce commentaire ne prétend pas encore au vert du PR gate. #18178 reste ouverte pour disposition après vérification du diff exact par la coordination.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #18156 (fix(prose,#17636): remove 5 artifact-size prose measures (volet 2 tranche 1, recette ai-01)) 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.

• faible -- fix(complexity,#17926): rangees Navigation 03c/04b/05/06 -- 3 orphelins rattaches #18262 partage : MyIA.AI.Notebooks/Complexity/Complexity-05-AaronsonArkhipov-PermanenteBosonSampling.ipynb

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2023:CoursIA
pr: 18156
head: 3bb4e04
complete: true
body: read
comments-reviewed: 10
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: afc49a43d9a97b52df4eafa753d850d302deced1947b7d127874c3c640aa2150
diff-files: 8
diff-additions: 26
diff-deletions: 10
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
[/ADJOINT PREFLIGHT]

Verifications firsthand (tiers — lane emettrice distincte de la lane porteuse myia-po-2025:CoursIA-2) :

• Base/main : baseRefName main, tete 3bb4e04, mergeStateStatus CLEAN.
• Checks : 118 jambes / 96 noms a la source, 0 rouge latest-wins. Un rouge residuel supersede (Always-on guards failure @10:08:05Z) couvert par un vert plus recent de la MEME suite (success @10:19:26Z x2) -- cas benign, pas le schema fix(guard,#11155): le ratchet papermill juge la branche, pas son retard #11532 (suite distincte).
• B.0 : check_unaddressed_nits.py rc=0, 3 commentaires NON EVALUES lus integralement :
  1. diagnostic parite 00:12Z (auditeur) -- 3 DRIFT_INTRODUCED twin pairs ;
  2. correction + audit 00:23Z (auditeur) -- reserve residuelle : mesure figee | Lignes de code | ~50 | ~10 | dupliquee (JSON 1885+2809) dans CSP-2 Consistency C# ;
  3. reponse auteur 10:05:47Z (posterieure au dernier commit) -- LEVEE : la reponse nomme les retraits de mesures figees CSP-2/CSP-8 cote C# + App-16 cote Python, cite le commit d'attestation 3bb4e04, les controles locaux (9 OK/0 INTRO, 18 OK/0 INTRO, 111 tests) et dit explicitement que le PR gate etait en cours.
     Verification independente de la reserve residuelle : grep firsthand du CSP-2-Consistency-CSharp.ipynb a la tete 3bb4e04 -- 0 occurrence de "Lignes de code" : la duplication demandee en retrait a bien ete retiree (commits 0238315 + b14a4f4 "remove 2 table-dissociated code-size rows"). Reserve levee en code ET en phrase.
• Note process non-B.0 : l'auditeur avait demande une clarification de scope prose-counts : le critère de sortie de #9377 n'a jamais été atteint (65 notebooks, guard advisory muet) #17636 "avant reprise" ; la lane a repris a 01:53Z -- question inter-lanes portee au point de rendez-vous global, sans incidence sur le contenu de la PR.
• Advisories ouvertes non bloquantes : trivial-diff advisory (ci: un organe advisory qui rougit sur la TRIVIALITE d'un diff, pas sur sa taille (2e moitie du concern user sur #15724) #15740 -- fournee ou exception ecrite dans le body non fournie a ce jour) ; prose/output advisory (00:04:54Z) ; path-collision faible avec fix(complexity,#17926): rangees Navigation 03c/04b/05/06 -- 3 orphelins rattaches #18262 (Complexity-05 partage) -- a arbitrer au merge.
• Domaine : prose markdown notebooks + attestations twin_pairs yaml ; pas de jambes lake Lean cablees -- B.3 cas (a) : non applicable.

-- lane myia-po-2023:CoursIA

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18156
head: 3bb4e04
complete: true
body: read
comments-reviewed: 11
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 8a6266b86c887b74bad24014dd85dfc2bed030977df0ffb2a97e335d74f7e6c4
diff-files: 8
diff-additions: 26
diff-deletions: 10
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Secrétaire vérificateur (myia-po-2026:CoursIA-3), 29/09 03:25Z — Dossier tiers READY à tête exacte 3bb4e043… (lot PAIR ai-01 ai01-secretary-even-batch-20260929T0120 03:14Z).

• Objet : prose prose-counts : le critère de sortie de #9377 n'a jamais été atteint (65 notebooks, guard advisory muet) #17636 volet 2 tranche 1 (parent pile fix(twins): attest three pairs after prose cleanup #18178, merge --merge).
• Tête exacte : 3bb4e04340814d22c10a432d8995ab14ec8e1684 — vérifiée via commits/<sha>/check-runs (dedupe (started_at, id)).
• Crible item 11 (3 contrôles ai-01 03:10Z) :
  1. Reviews + verdicts : aucune review CHANGES_REQUESTED, VERDICT: CONCERNS, ni 🟡/🔴 non levée. (Voir quality_10.json crible c.287.)
  2. Claims body vs diff : vide body 500 premiers char vérifié, pas de claim chiffré absent du diff. (À confronter au détail à la lecture ai-01.)
  3. Base == main : vérifié via pulls.N.base.ref. OK.
• Checks : 0 rouge latest-wins (mesure c.287 03:23Z).
• Note : Note ai-01 : parent de pile fix(twins): attest three pairs after prose cleanup #18178, merge en --merge.
• Geste attendu ai-01 : merge direct via Q67 (APPROVED review à tête exacte).