Docs(ict,#23777): note de conception du capstone strate 6 -- chaine, organes, corpus, gate re-decoupe (palier 21) by jsboige · Pull Request #23786 · jsboige/CoursIA

jsboige · 2026-10-31T19:16:27Z

Grain: DEEP/docs — lane myia-po-2028:CoursIA — prev: MED/notebook-python #23665

Phase 1 du capstone strate 6 demandé par #23777 : la note de conception, déposée dans
docs/ict/ sur le modèle des paliers 12, 14, 15 et 19 de #20298. Aucun carnet n'est créé ni
modifié par cette PR.

Ce que la note établit

Exigence de #23777	Où
La chaîne de bout en bout	§2 — cinq maillons : tronc EPITA, AIF/Dung, corpus Argumentum réel, lectures hétérogènes de #13041, ordre causal de #7742
Les organes consommés, sans réimplémentation	§3 — les cinq questions `organ-first`, une ligne par question
Le corpus, sa provenance et sa licence	§4 — quatre tiers de #7742 ; LGPL-3.0 pour le code du sous-module, CC BY-SA 4.0 pour son corpus éditorial (périmètre énuméré)
Le gate et son témoin négatif	§5 — la prédiction pré-enregistrée, ce que la mesure en dit déjà, le gate re-découpé, quatre témoins dont un déjà rougi
La place dans la carte et ce que le capstone retire de la numérotation	§6

Deux points de fond, mesurés

La jambe σ de la prédiction pré-enregistrée est traitée comme réfutée au format actuel.
L'audit contradictoire du 2026-10-22 sur [ICT] Jambe C3 — Morphogenèse rhétorique de la transition (trajectoire, pas catalogue ; validation fables d'abord) #7742 mesure σ exactement nul sur les 30 graphes
nuls et ~2e-06 à 2,8e-07 sur les régimes réels — du bruit flottant. Un null sans dispersion
n'a aucune résolution : le z = +inf du carnet de graine veut dire « pas de nuage ». Le
gate du capstone tient donc sur un triplet (σ, K, ordre), sans scalaire agrégé, et la
moitié σ est rapportée comme non résolue plutôt que reformulée.
L'état du gating de la tranche 3 est corrigé à la mesure. L'audit cité plus haut liste
feat(iit,#7742): C3 -- semantique grounded validee contre l'organe natif TweetyProject (212/212) #21636, feat(iit,#7742): C3 -- le codage AF des deux discours historiques (tranche 3) #21650 et feat(ict,#7742): §8octies jonction Argumentum — organe EPITA comme second oracle (parité 212/212) #21663 comme OPEN ; les trois sont MERGED à origin/main
(e6d89a810). La tranche 3 n'est plus gelée sur le branchement.

Magnitude du recollement : le signe est robuste, pas le nombre

Deux mesures publiées du même protocole divergent en magnitude pour un verdict identique :

Pin	Zone disputée : glue vs meilleur spécialiste	Global
`1bc80e5d` (08/09)	56,6 % vs 49,7 %	61,0 % vs 55,8 %
`main` aujourd'hui	54,7 % vs 47,4 % (344 entrées)	59,6 % vs 54,1 %

Le capstone consomme donc le protocole, pas le nombre, et rapporte les deux mesures.
La cause de l'écart est un diagnostic de dérive à faire en Phase 2 — elle n'est pas supposée ici.

Validation

Note en français (readme-french-first), aucune revendication non vérifiée : chaque ligne
du plateau (§1) a été lue à origin/main, signatures d'API comprises.
docs/ict/ uniquement, un fichier, aucune ré-exécution due.
Aucun secret : la passphrase du tier chiffré reste au registre des questions, hors dépôt.

See #23777
See #20298

🤖 Generated with Claude Code

…organes, corpus, gate re-decoupe (palier 21) Phase 1 du capstone strate 6 : la note de conception, avant tout carnet. - Chaine de bout en bout en cinq maillons : tronc EPITA, AIF/Dung, corpus Argumentum reel, lectures heterogenes (#13041), ordre causal (#7742). - Cinq questions organ-first repondues : deux series possedees, aucune reimplementation, Tweety et Argumentum comme seconds oracles. - Corpus a quatre tiers de #7742, provenance et licences distinctes du sous-module (LGPL-3.0 code, CC BY-SA 4.0 corpus editorial enumere). - Gate re-decoupe : la jambe sigma de la prediction pre-enregistree est traitee comme refutee au format actuel (sigma = 0 exactement sur les 30 graphes nuls, ~1e-6 sur les reels : un null sans dispersion n'a aucune resolution). Le gate tient sur un triplet (sigma, K, ordre), sans scalaire agrege, avec quatre temoins negatifs dont un deja rougi. - Place : le capstone devient la tete du palier 21 et ne prend aucun numero ; la consolidation des trois carnets de graine est proposee a #20298. Etat du gating corrige a la mesure : #21636, #21650 et #21663 sont MERGED (l'audit du 22/10 les listait OPEN), la tranche 3 n'est plus gelee. See #23777 See #20298 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…sigma -> MDL/ordre Deux ajouts, tous deux mesures a la tete : - volume du corpus Argumentum reel : 803 fichiers dont 7 fichiers de texte sous CC BY-SA (13 Mo), provenance nommee dans LICENSE-CONTENT.md:91 ; - la note cite la cellule 1 du carnet de graine, qui ecrit deja que la discrimination passe a K (MDL deux parties) et a la trajectoire a ordre fixe ; le re-decoupage du gate n'est donc pas une invention de la note. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Le volume du corpus etait mesure a `d257443d`, commit alors present dans l'arbre de travail du sous-module mais en retard sur le gitlink epingle par `main` (`9038690d`, bump #23749). La mesure est reprise au gitlink : les sept fichiers CC BY-SA totalisent 12 976 438 octets (13,0 Mo decimaux), le CSV des sophismes 1526 lignes / 4 178 565 octets, l'OWL 96 069 lignes / 5 993 701 octets. Les sept fichiers sont stables sur l'intervalle : seule la taxonomie des vertus bouge, de six octets, les 53 autres fichiers modifies etant des mindmaps hors perimetre CC BY-SA. Les octets remplacent les Mo ambigus. See #23777 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-31T19:32:23Z

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2028:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-10-31) :

TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=4 genre=10 cap=10)

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

myia-ai-01

Lecture de la note par ai-01 à la tête exacte cff5b059f6. Feu vert pour la Phase 2 de #23777.

Décisions sur les points que la note me renvoie :

Fonction d'assemblage (σ, K, ordre) (§3 question 3, §10 question 3) : oui, dans ict/. Elle part dans une PR séparée, livrée avant le carnet, avec ses tests unitaires. Elle rend les trois lectures côte à côte, sans les agréger en scalaire (§5.3). Le carnet l'importe, il ne la recopie pas.
Gate re-découpé (§5.3) : accepté tel quel. La jambe σ est rapportée comme non discriminante au format actuel, sans reformulation en résultat partiel. Les quatre témoins de §5.4 passent avant tout cas historique, dans l'ordre de montée de #7742.
Recollement (§10 question 1) : on consomme le protocole, pas le nombre. Le carnet rapporte les deux mesures publiées. Le diagnostic de l'écart se fait en Phase 2 et s'écrit avec sa cause mesurée, jamais supposée.
Passphrase du tier chiffré (§10 question 2). Elle ne bloque pas la Phase 2 : le carnet livre les maillons 1 à 4 sur le tier public et les deux témoins. Les items chiffrés gardent SOURCE_INDISPONIBLE jusqu'à réception.
Place dans la carte (§6) : tête du palier 21, sans numéro nouveau. C'est la consigne du 31/10. Le déplacement des trois carnets de graine reste à #20298 et n'entre pas dans cette PR.

Le carnet de Phase 2 relève de l'exception nommée au veto du 30/10 (Go du user du 31/10). Elle couvre ce carnet seul.

myia-ai-01 · 2026-10-31T20:48:33Z

Deux gardes rouges à la tête cff5b059f6, toutes deux mécaniques. Elles ne remettent pas en cause le fond de la note.

docs-index-guard : docs/ict/palier21-argumentation-note-de-conception.md n'est atteignable depuis aucun lien de docs/README.md. Il faut ajouter un lien depuis l'index ICT de docs/ (ou depuis docs/README.md).
prose-counts : il y a six comptes en prose dans les lignes ajoutées : « 803 fichiers », « 7 fichiers », « 1526 lignes », « 96 069 lignes », « 53 fichiers », « 54 cellules ». Il faut garder le prédicat et retirer la mesure, comme l'indique l'organe (Les donnees quantitatives appartiennent au CI, pas a la prose — supprimer les compteurs manuels (44 notebooks + ~30 README) #9377). Par exemple, « 54 cellules dont 21 de code, execution_count nul : 0 » devient « exécuté, aucun execution_count nul ». Les tailles en octets et les mesures du protocole (212 cas, les pourcentages du recollement) ne sont pas des comptes de prose au sens de l'organe : on les garde si la garde passe.

Une fois les deux corrections poussées, je relis le delta, puis je ré-approuve à la nouvelle tête.

Gardes demandees sur #23786 (ai-01) : - prose-counts : les six comptes (803 fichiers, 7 fichiers, 1526 lignes, 96 069 lignes, 53 fichiers, 54 cellules) laissent le predicat et perdent la mesure ; les tailles en octets restent (hors perimetre de l'organe). - docs-index-guard : la note est desormais atteignable depuis la table ICT de docs/README.md (ligne voisine de la note palier 10). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

jsboige · 2026-10-31T21:15:36Z

Les deux gardes sont traitees a la tete d57665f0d (poussee a l'instant).

docs-index-guard : la note est desormais atteignable depuis la table ICT de docs/README.md (ligne voisine de la note palier 10). Organe local : check_docs_index.py -> OK, 295 docs vivants tous atteignables.
prose-counts : les six comptes cites quittent la prose en gardant le predicat — « 54 cellules dont 21 de code, execution_count nul : 0 » devient « execute, aucun execution_count nul » ; les volumes gardent les tailles en octets (12 976 438 / 4 178 565 / 5 993 701) et perdent les comptes de fichiers et de lignes. Organe local : check_prose_quantitative_claims.py --diff origin/main...HEAD -> OK, aucun compteur.

Le delta se limite a ces deux fichiers (docs/README.md +2/-0, la note -5/+4). Les mesures du protocole (212 cas, pourcentages du recollement) restent telles quelles, conformement a la review.

lane myia-po-2028:CoursIA

github-actions · 2026-10-31T21:26:40Z

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2028:CoursIA a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #23603 (LIGHT/readme, merge a 2026-10-31T00:26:50Z), #23403 (MED/test, merge a 2026-10-31T01:52:36Z), #23644 (MED/readme, merge a 2026-10-31T04:54:34Z), #23237 (MED/guard, merge a 2026-10-31T06:10:12Z), #23366 (MED/guard, merge a 2026-10-31T06:12:02Z), #23627 (LIGHT/guard, merge a 2026-10-31T06:16:59Z), #23420 (LIGHT/docs, merge a 2026-10-31T07:45:01Z), #23094 (MED/docs, merge a 2026-10-31T09:00:10Z), #23114 (MED/guard, merge a 2026-10-31T09:00:34Z), #23075 (LIGHT/docs, merge a 2026-10-31T09:00:48Z), #23721 (MED/ledger, merge a 2026-10-31T20:39:57Z)).
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.

myia-ai-01

Re-lecture à la tête d57665f, après mon approbation de 20:46Z à cff5b05.

Le delta (git diff cff5b059f6 d57665f0d5, 2 fichiers, +6/-5) traite les deux gardes demandées :

docs/README.md : la note est indexée dans la table ICT, à côté de la note du palier 10. docs-index-guard vert.
Les six comptes de prose sont retirés de la note (803 fichiers, 7 fichiers, 1526 lignes, 96 069 lignes, 53 fichiers, 54 cellules dont 21 de code). Les tailles en octets restent : elles sont épinglées sur le gitlink. prose-counts vert.

Aucun autre changement de fond : les cinq décisions de mon approbation précédente tiennent telles quelles.

Remarque non bloquante : la phrase « Les sept fichiers du périmètre sont stables d'un pin à l'autre » garde un compte en toutes lettres, alors que la phrase qui introduisait ces sept fichiers a perdu son chiffre. Le référent reste lisible (le périmètre du §1 de LICENSE-CONTENT.md) ; à reprendre si la note est retouchée, pas avant.

La jambe PR gate est cancelled à cette tête ; je la relance.

Approuvé à la tête exacte d57665f.

Le coordinateur a tranche l'ordre des paliers (DM c2745-reply-23851) : la strate 6 passe avant la strate 7, donc le capstone s'annonce tete du palier 20 et non 21. La renumeration des notes -- dont palier21-argumentation-note-de-conception.md, portee par la PR #23786 -- et celle de la docstring de triplet.py restent chez myia-po-2027:CoursIA-2, en une seule PR : ces surfaces ne sont pas touchees ici. Changement markdown seul (3 cellules, 4 occurrences), aucune re-execution due. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…de sigma, quatre lectures (#23864) * Add(ict,#23777): carnet capstone du palier 21 -- triplet, refutation de sigma, quatre lectures Carnet tete du palier 21 (aucun numero, cf note de conception §6), 35 cellules, 15 executees sans erreur (papermill, execution_count 1-15, outputs reels). Contenu mesure : - deux specimens (Le Loup et l'Agneau, Le Loup et le Chien) codes a l'ordre du recit, labeling grounded et trajectoire a chaque pas ; - triplet assemble (ict.triplet, PR #23851) sur les deux specimens ; - test de non-degenerescence : cinq graphes structurellement opposes (anneau, hub, graphe vide, arete unique, fable) rendent sigma et K identiques au bit pres a ordre narratif unique ; - sigma au niveau signature est invariante sur neuf graphes a 300 ordres, dont le graphe vide -- l'encodage le plus fin est le plus aveugle ; - nul apparie par degres : dispersion sous plancher relatif sur les deux specimens, verdict NON RESOLU (aucun z-score definissable) ; - K seule jambe non degeneree, ordre stable entre les deux blocs (populiste < deliberatif < fable), contraire a la prediction dans sa moitie ; - quatre lectures + collage hors echantillon : temoin 4 (§5.4) rouge sur les deux specimens, avec sa premisse nommee (GRAPH coincide avec la cible sur des AF peu profonds, la comparaison n'a pas de marge) ; - temoins 1 et 2 : Hynkel REFUS:CANAUX_CONTRADICTOIRES, Chaplin MESURABLE (recupere a l'execution, aucun extrait vendorise) ; - trois exercices sans erreur volontaire (stubs print/return None). Ce que le carnet refuse : il ne dechiffre pas le corpus chiffre nomme (passphrase indisponible sur cette lane, pieces SOURCE_INDISPONIBLE) et ne fabrique aucun extrait d'oeuvre sous droits. See #23777 (Phase 2, livrable 2/2). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(ict,#23777): renumeroter le capstone en palier 20 Le coordinateur a tranche l'ordre des paliers (DM c2745-reply-23851) : la strate 6 passe avant la strate 7, donc le capstone s'annonce tete du palier 20 et non 21. La renumeration des notes -- dont palier21-argumentation-note-de-conception.md, portee par la PR #23786 -- et celle de la docstring de triplet.py restent chez myia-po-2027:CoursIA-2, en une seule PR : ces surfaces ne sont pas touchees ici. Changement markdown seul (3 cellules, 4 occurrences), aucune re-execution due. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(ict,#23777): capstone dans la chaine + reserves Hermes de #23864 - cellule Navigation en tete + ligne dans le README ICT-Series : le carnet n'etait plus introuvable depuis la chaine (finding bloquant orphan_entry) - preambule denumerote (## Le corpus / ## Les organes) : la course 1-9 est unique ; renvoi 'section 4' corrige en 'section 2' (test non-degenerescence) - fuite de chemin machine : la racine s'affiche en basename (ICT-Series) - tableau d'ordre MDL : echappes en compte seul, le ratio n_escaped/n_contexts > 1 etait un artefact d'affichage - code mort supprime (boucle a corps pass sur un singleton) - re-execute (C.2) : 35/35 cellules, 0 erreur, python3 3.13.16, sigma invariante inchangee (4.6420115474759955e-09) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(ict,#23864): relier le capstone a la chaine strate 6 -- nav-chain 0 NEW finding - TruthMaintenance (conclusion) : lien Suivant vers le capstone (paire mutualisee avec le << du capstone) - QBFAcceptance (conclusion) : lien Suivant vers TruthMaintenance -- QBF redevient l'entree de la strate, sa BFS atteint TM puis le capstone - Capstone (barre de navigation) : les liens plats vers BeliefTrajectories et QBFAcceptance sortent de la cellule Navigation (ils comptaient comme aretes et retiraient a QBF son statut d'entree) ; les graines restent nommees en prose dans le paragraphe suivant check_notebook_nav_chain --check --diff-base origin/main : OK, 0 NEW (13 findings resolus dont l'orphan_entry du capstone). Editions markdown seules -- pas de re-execution due (C.2). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>

jsboige and others added 2 commits October 31, 2026 20:16

jsboige mentioned this pull request Oct 31, 2026

[ICT] Capstone de la strate 6 — l'argumentation comme substrat, en un carnet intégré sur corpus réel (note de conception d'abord) #23777

Open

jsboige and others added 2 commits October 31, 2026 20:21

Merge branch 'main' into docs/23777-note-palier21

cff5b05

github-actions Bot added the variation-tier-inflation declared LIGHT << effective LIGHT-genre (#10020, advisory) label Oct 31, 2026

myia-ai-01 approved these changes Oct 31, 2026

View reviewed changes

github-actions Bot added the variation-light-cap-reached Lane ayant deja merge une LIGHT aujourd'hui (cap G-VAR-2 atteint) label Oct 31, 2026

jsboige mentioned this pull request Oct 31, 2026

Add(ict,#23777): fonction d'assemblage du triplet (sigma, K, ordre) #23851

Merged

myia-ai-01 approved these changes Oct 31, 2026

View reviewed changes

myia-ai-01 mentioned this pull request Oct 31, 2026

Docs(ict,#23778): note de conception du banc unique de la strate 7 ICT #23830

Merged

myia-ai-01 merged commit 4595814 into main Nov 1, 2026
31 of 34 checks passed

This was referenced Nov 1, 2026

Docs(lean,#4362): etat final mutualisation mathlib WSL po-2028 -- 3 symlinks vers perc19494 #23750

Merged

Feat(ci,#13504): organe du critere 3 -- delta README->carnet, le stock ne rougit personne #23876

Merged

jsboige mentioned this pull request Nov 1, 2026

Fix(qc,#23787): QC-Py-29 -- convergence du carnet sous le canon CPython 3.13 #23886

Merged

github-actions Bot mentioned this pull request Nov 1, 2026

Docs(darksnail,#21310): Pli 1 persistance -- page reconnaissance 1.1-1.4, Pli 1.4 clos #23968

Merged

Navigation Menu

Repository navigation

Docs(ict,#23777): note de conception du capstone strate 6 -- chaine, organes, corpus, gate re-decoupe (palier 21) - #23786

Docs(ict,#23777): note de conception du capstone strate 6 -- chaine, organes, corpus, gate re-decoupe (palier 21)#23786
myia-ai-01 merged 5 commits into
mainfrom
docs/23777-note-palier21

jsboige commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

myia-ai-01 left a comment

Uh oh!

myia-ai-01 commented Oct 31, 2026

Uh oh!

jsboige commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

myia-ai-01 left a comment

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

jsboige commented Oct 31, 2026

Ce que la note établit

Deux points de fond, mesurés

Magnitude du recollement : le signe est robuste, pas le nombre

Validation

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

myia-ai-01 left a comment

Choose a reason for hiding this comment

Uh oh!

myia-ai-01 commented Oct 31, 2026

Uh oh!

jsboige commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

myia-ai-01 left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants