Repository navigation
[ICT] Consolidation par escaliers : numérotation principale rassemblée, sous-séries d'historique, capstones (fille #11690 / #5081) #20298
Description
Activity
- added a commit that references this issue
on Oct 11, 2026 [CLAIMED] lane myia-po-2025:CoursIA -- paths: MyIA.AI.Notebooks/SymbolicAI/Tweety/, MyIA.AI.Notebooks/SymbolicAI/Lean/KNOTS/knot_lean/Knots/, MyIA.AI.Notebooks/RL/PostTraining/, MyIA.AI.Notebooks/Probas/Applications/Percolation/, MyIA.AI.Notebooks/GenAI/PostTraining/, MyIA.AI.Notebooks/GameTheory/ -- Phase 0 volet parallele : inventaire des graines ICT dans les autres series (read-only, rendu en commentaire, zero edition -- hors perimetre phase 1 respecte). Tranches C/D/E du ledger restent a l'adjoint (en cours c24)
Phase 0 — inventaire des graines ICT dans les autres séries (volet parallèle aux tranches C/D/E)
Read-only, tête
origin/main= 68972f1. Aucun renommage/déplacement (hors périmètre respecté). Méthode :git grepdes mentionsICT-NNet des imports réels du moduleicthorsMyIA.AI.Notebooks/IIT, chaque hit lu dans son contexte. Exclusions :translations/(miroirs dérivés),.github/(infra CI),COURSE_CATALOG.generated.*(généré),arxiv_attributions_registry.yaml(métadonnée),docs/etagent_tests/(harnais).Les graines, par série d'accueil
# Série d'accueil Carnet(s) Graine ICT Forme du lien Ancrage actuel 1 GenAI/PostTraining PT_07, PT_11d, README ICT-25 InoculationRL (#5105) contrat 4 seeds×100 (PT_11d), section « Aller plus loin » + état daté 2026-08-20 + réf. croisée cellules 5d.2 (PT_07), leçon tailles-dépendantes #15639 + tableau capstone (README) riche — contrat + leçon + tableau 2 RL/PostTraining RLPT-01, RLPT-03 ICT-25 (verdict 0.5B, inoculation FT-vs-prompt, exo 3 SFT, mémoire SSL, provenance #11297) renvois dans 5+ cellules + « capstone voisin » (RLPT-01) riche mais dispersé (pas d'encadré pont unique) 3 Probas/Applications/Percolation Percolation-01, -03 ICT-28 (adoption collective, seuil de performativité) section pont « analogie de structure, pas identité » + exposant + renvoi biblio exemplaire (l'analogie est qualifiée) 4 GameTheory GT-06b, GT-06c, RepeatedGames/GrimTrigger.lean(+_en)ICT-13 (#4879, seuil δ), ICT-25a (bras Np) prose 06b/06c + docstrings Lean FR/EN alignées pont vivant en docstring — pas de marchepied prose dans 06b 5 SymbolicAI/KNOTS KNOTS-02, knot_lean/Knots/Conway.lean(+_en)ICT-23 catastrophe/fronce (#19333) copie pédagogique déclarée (inline equivalents « signatures alignées sur ict.catastrophepour rester substituable ») + docstring →ict/catastrophe.py§19333-Gdéclarée proprement ; durable (2 consommateurs) → candidate extraction si un 3e arrive 6 SymbolicAI/Tweety Tweety-11-Causal-Python/CSharp, README ICT-05 (émergence causale, « le même domonte d'un cran »)renvoi simple propre 7 SymbolicAI/Argument_Analysis Argumentation-Obs-04-Recollement-Strate6 lignée signalisation/adoption : signaling_convention,symbol_invention,collective_adoption,concept_inoculation,inhibited_inventionIMPORT RÉEL de 5 modules ict (l.1921-1925) le consommateur le plus lourd hors série 8 SymbolicAI/SymbolicLearning SL-13b-TPR-SAE SAE : ict.sae_dictionary(train_sae, factor_selectivity),ict.sae_calibrationIMPORT RÉEL (l.113-114) relève directement du point 5 de la cible (consolidation SAE autour de ICT-20) 9 SymbolicAI/Lean Lean-34-Calculabilite-et-Limites ict.godel_demonstration(godel_pythagore, godel_number_log10)IMPORT RÉEL (l.1019) renvoi code seulement 10 ML (Tegmark, #16741) famille 2.9x en cours de descente ICT-22* PRs #20318 + #20337 (têtes livrées, en attente merge) redescente en cours — suivi dans #16741, hors de cet inventaire Signal structurel pour la carte (phase 1)
- Trois consommateurs code-level (lignes 7-9 : Obs-04, SL-13b, Lean-34) importent le module
ict/hors série. Toute restructuration du module (cible pt 5 : consolidation multi-outil autour de ICT-20 ; pt 4 : ré-outillage) doit les recenser comme contraintes d'API — casser ces imports casserait trois carnets d'autres séries. - SL-13b-TPR-SAE est le consommateur externe de la lignée SAE : la consolidation SAE (pt 5, autour de ICT-20) a un appelant vivant hors série — à inscrire dans la carte comme rattachement à trancher (marchepied dans SL-13b vs redescente de sa part SAE).
- KNOTS-02 est une copie déclarée assumée (organ-first : porte de sortie légitime) — sa déclaration « signatures substituables » en fait le candidat extraction canonique si un troisième consommateur de
ict.catastropheapparaît. - Les liens les plus riches (GenAI/PT, RL/PT autour d'ICT-25 ; Percolation vers ICT-28) montrent deux formes : contrat+leçon+tableau (à reproduire) et analogie qualifiée (« structure, pas identité » — la forme canonique d'un pont inter-séries).
- Le point 6 de la cible (« meilleur ancrage dans l'arc narratif de la série d'accueil ») trouve son cas le plus léger en Tweety-11 (renvoi simple, suffisant) et son cas le plus dispersé en RLPT-03 (5+ renvois épars → encadré pont unique à considérer à l'exécution).
Recensement des exclusions (pour la carte)
translations/(6 fichiers miroirs des carnets cités — suivent leurs sources) ·.github/workflows/ict-tests*.yml(CI du module ict, pas une graine) ·COURSE_CATALOG.generated.*(généré) ·arxiv_attributions_registry.yaml(métadonnée).
Grain : MED/research-code (inventaire Phase 0 volet graines — alimente la carte phase 1, zéro édition) — lane myia-po-2025:CoursIA — prev: MED/research-code #9768 tranche 10-ter (c.6106443207)
- Trois consommateurs code-level (lignes 7-9 : Obs-04, SL-13b, Lean-34) importent le module
[RELEASED] lane myia-po-2025:CoursIA -- paths: MyIA.AI.Notebooks/SymbolicAI/Tweety/, MyIA.AI.Notebooks/SymbolicAI/Lean/KNOTS/knot_lean/Knots/, MyIA.AI.Notebooks/RL/PostTraining/, MyIA.AI.Notebooks/Probas/Applications/Percolation/, MyIA.AI.Notebooks/GenAI/PostTraining/, MyIA.AI.Notebooks/GameTheory/ -- inventaire livre (c.6106514103), zero edition
Décision du mainteneur (2026-10-11) : carte ICT phase 1 retenue avec quatre retouches, humour en examen
La carte du porteur (commentaire suivant) est retenue comme base : 45 numéros nus deviennent 22 paliers, les approfondissements passent en sous-séries escaliers avec capstone, aucun archivage. Elle est retenue avec quatre retouches, et le palier humour est mis en examen.
Les quatre retouches
- Découper le palier 15 (lentilles, 19 carnets) en escaliers internes nommés, chacun avec son marchepied : SAE ; substrat LLM et persona ; FLens/SLens et composition ; inoculation ; douleur. Le bloc reste l'ancre conceptuelle de l'ancien numéro 20. Sans découpe, le raccourcissement du parcours se paierait par un bloc illisible.
- Regrouper l'inoculation. Elle apparaît aujourd'hui à trois endroits : 42/42b dans les lentilles, 25 en tête du palier 16, 29 dans le palier 17. Chaque occurrence se justifie par la première manipulation du concept, ou rejoint le groupe.
- La taille de modèle devient un axe montré dans chaque palier LLM (0,8B / 4B / 9B), et non un palier dédié. Aujourd'hui, seuls 43 et 25b la portent localement.
- Les sept points ouverts suivent la recommandation du porteur : JLens dans le bloc lentilles ; 40b à examiner ; instruments génériques 25b/47b/48-Onset vers leur organe d'entraînement ; ancrages Greffe2/Greffe5/ICT34 à justifier ; MUH sans destination tant que le périmètre de la décision Tegmark n'est pas vérifié.
Palier 19 (humour) : en examen
Le sens de circulation retenu est le suivant : un organe mûrit dans une série pédagogique, et ICT, série de recherche, le consomme. Le banc humour (GameTheory-18c) et le futur dataset (#20301) posent la question dans les deux sens. La carte GameTheory (#20316) faisait descendre le banc vers ICT ; cette tranche y est suspendue. Une étude dédiée regarde le caractère pédagogique ou expérimental de chaque pièce. En attendant :
- le palier 19 et ses membres ne bougent pas ;
- la recommandation provisoire du porteur tient : garder le négatif méthodologique dans ICT.
Le même principe s'applique aux autres départs. Les instruments génériques vont vers la série qui les fait mûrir, et ICT garde un capstone qui les consomme.
Concevoir l'escalier avant de déplacer
Chaque mouvement de la phase 2 commence par une note de conception, rendue en commentaire ici avant la PR. La note donne :
- l'ordre des marches et les marchepieds, avec ce que chaque marche ajoute ;
- ce que le capstone consomme et montre ;
- les modules de l'organe
ict/et les résultats qu'aucun carnet n'expose encore, avec ce qu'on en fait.
Le palier 15 est le plus gros chantier de conception.
Avant la phase 2, le porteur re-mesure
mainet le plateau. Les deltas ouverts au relevé (#20318, #19601, #20253, #20091, #20334) changent le mapping exact. La dégénérescence des jouets reste un grain de contenu, hors carte.Carte ICT phase 1 du porteur : texte de référence pour la phase 2. La décision et les retouches sont dans le commentaire précédent.
Carte ICT — proposition d'arbitrage
Statut : retenue comme base le 2026-10-11, avec quatre retouches et le palier humour en examen (commentaire précédent). Aucun mouvement sans note de conception préalable. Les corrections de contenu restent des grains distincts. Cette carte propose des destinations pédagogiques, pas une preuve de préservation déjà accomplie.
Base et limites
Inventaire : 93 carnets suivis, 46 fichiers à numéro nu, 45 numéros nus distincts (double 48). Snapshot de lecture : 0d5e4c6 ; origin/main mesurée : 68972f1, mêmes noms. Lecture par ledger et rapports délégués, recoupements parent bornés ; pas certification parent intégrale ni nouvelle exécution des carnets. Recherche sémantique indisponible : aucune collection retournée.
Proposition centrale : 22 numéros principaux d'arrivée, 01 à 22, contre 45 numéros distincts aujourd'hui (−23, soit environ −51 %). Les numéros sont des positions pédagogiques proposées, pas des cases libres à remplir. Le palier 20 actuel reste l'ancre conceptuelle du bloc lentilles, devenu le palier 15 d'arrivée.
Une tête désigne le futur carnet consolidé. Elle n'affirme pas que le carnet actuel rassemble déjà tous ses membres. Toute consolidation exige analyse de chaque source, transfert de chaque capacité et témoin utile avec preuves citées, puis vérification avant retrait éventuel. Les originaux restent conservés dans des sous-séries lisibles : aucun archivage proposé ici.
Parcours principal proposé
Arrivée Sujet Tête de départ Raison et preuve de lecture 01 Φ en trajectoire ICT-01 Ledger strand 6 : introduction de la mesure dynamique 02 Tri auto-organisé ICT-02 Strand 6 : 02–04 du constat à la dissection ; conserver robustesse et chimères en approfondissements 03 Émergence causale ICT-05 Strand 6 : 05–07 articulent mesure, TPM et témoin négatif scale-free 04 Morphogenèse et agence ICT-08 Strand 6 : paysages/EWS puis agence 09 ; rattachement 40b non acquis 05 Catastrophes et p̂ ICT-10 Strand 7 : première manipulation de p̂ ; Phat approfondit ce concept 06 Profils d'agence ICT-11 Strand 7 ; correction des essais distincte du placement 07 Valence et animats ICT-12 Strand 7 : programmée, apprise, incarnée, inhibée, valeur de l'information 08 Morphodynamique stratégique ICT-13 Strand 7 : 13b approfondit le même banc 09 Énergie libre et inférence active ICT-14 Strand 7 : 14b introduit la politique EFE dans l'action 10 Capstone Φ/F/K, obstruction et recollement ICT-15 Mandat séance : sous-série escalier 15b–15l et capstone consommant son meilleur matériel 11 MDL ICT-16 Strand 7 : mesure de compression distincte de l'intégration 12 ε-machine et charnière grokking ICT-17 Strand 7 : 17b rapproche instruments et représentation 13 Flèche du temps ICT-18 Strand 3 : budget et témoins de réversibilité ; Wolfram rattaché au premier instrument temporel 14 Enjeu ICT-19 Strand 3 : échec scalaire et réparation 19b à préserver 15 Lentilles et représentations ICT ICT-20 SAE/JLens/FLens/SLens réellement regroupés dans une sous-série, avec capstone introductif commun 16 Inoculation RL ICT-25 Strand 4 : résultats nuls et pont PostTraining ; générique d'échelle à distinguer 17 Convention, invention et adoption ICT-26 Strand 2 : arc A→E dans un environnement partagé ; capstone à construire sans perdre les cinq tests 18 Life : calibration et changement d'échelle ICT-Life Strand 1 et lectures 31–33 : socle avant mesures ; mot « certifié » non crédité au Python sans pont établi 19 Humour : protocole et limites ICT-35 Lectures 35–35d ; conserver négatifs et étapes, pas présenter zéro candidate comme absence de représentation 20 Strate 7 : coordonnées libres ICT-46 Lecture parent : premier barreau, limites cohomologiques/estimations explicites 21 Argumentation et croyances ICT-Argumentation Strand 5 : ancre pour QBF, TMS et vote ; ponts exécutables à préserver 22 Synthèse cross-substrat ICT-Synthese Strand 5 : capstone terminal, aucun palier après lui dans ce scénario Mapping des 93 carnets
Les identifiants abrégés renvoient aux fichiers de l'inventaire ICT-Series du snapshot. Deux 48 sont distingués explicitement. Une sous-série conserve des étapes distinctes et ordonnées ; le code et les résultats de chaque étape ne sont pas déclarés absorbés par cette carte. Les noms de dossiers et fichiers finaux ne sont pas encore fixés.
Types disjoints de comptabilité : T = tête proposée ; M = membre d'une sous-série ; R = rattachement avec marchepied ; D = départ déjà livré en PR, non nécessairement mergé ; H = hors parcours, destination indéterminée ; O = option ouverte.
Ordinal Carnet actuel Destination proposée Type 1 ICT-01 01 tête T 2 ICT-02 02 tête T 3 ICT-03 02 / tri, étape robustesse M 4 ICT-04 02 / tri, étape chimères M 5 ICT-05 03 tête T 6 ICT-06 03 / tri vers TPM M 7 ICT-07 03 / signature scale-free et négatif M 8 ICT-08 04 tête T 9 ICT-09 04 / agence M 10 ICT-10 05 tête T 11 ICT-Dissociation-PhatSelfReference 05 / p̂, marchepied R 12 ICT-11 06 tête T 13 ICT-12 07 tête T 14 ICT-12b 07 / valence apprise M 15 ICT-12c 07 / prégnance incarnée M 16 ICT-12d 07 / action inhibée M 17 ICT-12e 07 / valeur de l'information M 18 ICT-Dissociation-SaillancePregnance 07 / dissociation, marchepied R 19 ICT-13 08 tête T 20 ICT-13b 08 / décroisement M 21 ICT-14 09 tête T 22 ICT-14b 09 / inférence active M 23 ICT-15 10 tête-capstone T 24 ICT-15b 10 / escalier, sensibilité-canonicité M 25 ICT-15c 10 / escalier, meta-proxy M 26 ICT-15d 10 / escalier, obstruction de Čech M 27 ICT-15e 10 / escalier, Bridge2 M 28 ICT-15f 10 / escalier, famille découplée M 29 ICT-15g 10 / escalier, Huang empirique M 30 ICT-15h 10 / escalier, famille asymétrique M 31 ICT-15i 10 / escalier, paysage 2D M 32 ICT-15j 10 / escalier, nerf discriminant M 33 ICT-15k 10 / escalier, recollement macrocellules M 34 ICT-15l 10 / escalier, indépendance générateur M 35 ICT-16 11 tête T 36 ICT-17 12 tête T 37 ICT-17b 12 / grokking M 38 ICT-18 13 tête T 39 ICT-18b 13 / budget M 40 ICT-48-WolframClasses-ThermoSignature 13 / automate et flèche du temps R 41 ICT-19 14 tête T 42 ICT-19b 14 / raffinement et négatif scalaire M 43 ICT-20 15 tête-capstone lentilles à construire T 44 ICT-21 15 / SAE, trajectoires M 45 ICT-21b 15 / SAE, calibration M 46 ICT-21c 15 / SAE, catastrophes M 47 ICT-22 15 / substrat LLM M 48 ICT-22c 15 / géométrie de vérité M 49 ICT-22b 15 / moteur d'intervention M 50 ICT-23 15 / persona M 51 ICT-24 15 / workspace M 52 ICT-Dissociation-DehaeneF2-SelfReport 15 / workspace, dissociation R 53 ICT-36 15 / FLens, géométrie factorisée M 54 ICT-37 15 / FLens, état de croyance M 55 ICT-38 15 / SLens M 56 ICT-39 15 / composition des regards M 57 ICT-40a 15 / triangulation causale M 58 ICT-42 15 / inoculation, pilote M 59 ICT-42b 15 / inoculation, 9B M 60 ICT-43 15 / calibration multi-échelle M 61 ICT-47 15 / axe douleur M 62 ICT-47b 15 / instrument douleur OU redescente training O 63 ICT-41 GenAI/PostTraining/PT_15b, PR20318 D 64 ICT-41b GenAI/PostTraining/PT_15c, PR20318 D 65 ICT-25 16 tête T 66 ICT-25b 16 / stratification OU organe training O 67 ICT-48-Onset9B-Aggregate 16 / onset OU organe training O 68 ICT-26 17 tête-capstone A→E à construire T 69 ICT-27 17 / invention M 70 ICT-28 17 / adoption M 71 ICT-29 17 / inoculation M 72 ICT-30 17 / inhibition M 73 ICT-Greffe2-EspaceAtteignable 17 / espace des possibles, ancrage à confirmer R 74 ICT-Life-SubstratCertifie 18 tête, qualification du pont preuve/mesure à revoir T 75 ICT-31 18 / contraste substrats M 76 ICT-32 18 / stratification Life M 77 ICT-33 18 / soupes et collisions M 78 ICT-34 10 / recollement des lectures, ancrage à confirmer R 79 ICT-Annexe-ProxyContextuality 10 / zoo des proxys, marchepied R 80 ICT-35 19 tête, maintien ICT versus accueil humour à arbitrer T 81 ICT-35b 19 / paires SAE M 82 ICT-35c 19 / profil de profondeur M 83 ICT-35d 19 / typologie M 84 ICT-46 20 tête T 85 ICT-40b 04 / substrat analogique OU palier distinct O 86 ICT-Argumentation-BeliefTrajectories 21 tête T 87 ICT-Argumentation-QBFAcceptance 21 / QBF M 88 ICT-Argumentation-TruthMaintenance 21 / TMS M 89 ICT-Greffe4-VoteOnChain 21 / vote et chaîne R 90 ICT-Greffe5-AttributionCausale 15 / moteur causal OU 17 / espace atteignable O 91 ICT-MUH-FibreTegmark Hors parcours, destination non établie H 92 ICT-SAE-JLens-TeteATete 15 / SAE-JLens OU palier distinct O 93 ICT-Synthese-CrossSubstrat 22 tête-capstone terminal T Comptabilité vérifiée
Partition disjointe des ordinals 1–93 : 22 T + 54 M + 8 R + 2 D + 1 H + 6 O = 93. Vérification locale : union de tous les ordinals complète, aucun recouvrement. Ce compte porte la table, pas une validation pédagogique de toutes ses destinations.
Scénario central : JLens et 40b rattachés, famille humour maintenue ; 22 têtes. Si JLens et/ou 40b obtiennent un palier distinct : +1 chacun, donc 23 ou 24. Si la tête humour redescend sans remplaçant ICT : −1 (et ses trois membres redescendent avec elle). Les autres options de rattachement/redescente n'ajoutent pas de tête dans le scénario proposé. MUH reste sans destination déterminée : aucune affirmation « zéro carnet sans destination ».
Points à arbitrer et recommandation du porteur
- Bloc lentilles : retenir une sous-série avec plusieurs étapes internes et une vraie tête consolidée ; ne pas convertir tous ses membres en une branche de lettres dépassant f. Faire distinguer dans le capstone instruments, résultats descriptifs, interventions et limites.
- JLens : privilégier membre du bloc lentilles, avec marchepied explicite dans le capstone ; un numéro distinct reste une option, pas une décision.
- 40b : rattachement au bloc substrats à examiner ; ne pas prétendre que la similitude « agence » suffit à établir un prérequis. Un palier distinct reste possible.
- Humour : garder provisoirement son négatif méthodologique dans ICT ; l'accueil du futur dataset public ne décide pas à lui seul du déplacement des carnets actuels.
- 25b/47b/48-Onset : privilégier le départ des instruments génériques vers leur organe training réel, avec capstone ICT consommateur ; destination et interfaces à établir avant mouvement.
- Greffe2, Greffe5, ICT34 : ancrage encore hypothétique ; demander une justification de première manipulation du concept, pas de similarité de nom.
- MUH : vérifier le scope de la décision Tegmark et choisir un accueil réel ; aucune destination déduite du seul nom du lake.
Graines hors ICT et garde de préservation
Quatre sites d'import runtime recoupés : SL-13b (sae_dictionary/sae_calibration), Lean-34 (godel_demonstration), Argumentation-Obs-04 (cinq organes 26–30), scripts/hashlife/k_trajectory.py (wolfram_step). KNOTS-02 déclare une copie inline, pas un import. Cet inventaire est borné à des recherches et extraits : aucun acquittement d'ancrage pédagogique intégral.
Une redescente de l'organe ict/ doit préserver ces consommateurs, les chemins d'import, les contrats et tests ; déplacer les seuls carnets n'implique pas de déplacer les modules. Les mesures et preuves communes restent identifiables comme communes, jamais réplications indépendantes.
Deltas ouverts au relevé : PR20318 départ41/41b ; PR19601 ajoute36b ; PR20253 ajoute42c ; PR20091 modifie36 ; PR20334 répare19. Ils ne sont pas intégrés comme livrés sur main. Avant phase2 : re-mesurer main et plateau, résoudre les collisions, confirmer le mapping exact fichier→fichier, conserver les preuves source/output, adapter liens entrants, README et Quarto avec les organes canoniques. Catalogue généré byte-identique : automatisation seule.
Support de lecture : docs/ledgers/11690-ict-consolidation.md, README ICT-Series et c24_phase0_parent_crosschecks.md (scratchpad). Les corrections recensées dans les notes restent séparées des mouvements. Le vert des cinq tests Dehaene (0.43s) ne couvre pas les réserves de calibration/permutation ni bruit A/B.
[CLAIMED] lane myia-po-2025:CoursIA-2 — phase 2 ICT : re-mesure du plateau, notes de conception (palier 15 en tête), puis premier mouvement ; palier 19 (humour) hors périmètre tant que l'étude de placement n'a pas conclu ; posé au dispatch par ai-01
Décision du mainteneur (2026-10-11) : palier 19 (humour)
L'examen annoncé dans la décision du 11/10 est tranché.
- Le palier 19 reste dans ICT, comme consommateur. Ses carnets (ICT-35 à 35d) sont des expériences, et ils ne bougent pas.
- Les organes qu'ils consomment vivent côté pédagogique. Le banc existant (corpus, paires, typologie) est extrait vers des fichiers et un module à côté de GameTheory-18c ([GameTheory] Etude de la numerotation avant tout nouveau numero : accretions, sous-series, capstones (soeur de #20298 et #17545) #20316, tranche T7'). Le futur grand corpus d'humour ([ICT-35] Humour : exploiter un dataset public massif, l'augmenter et l'annoter avec nos tokens #20301) vit dans une nouvelle série pédagogique de GenAI, sœur de
FallacyDetection. - Il n'y aura pas d'ICT-35e. Le module
ict/ne garde que la mesure. ICT-35 se rebranche sur le grand corpus ([ICT-35] Humour : exploiter un dataset public massif, l'augmenter et l'annoter avec nos tokens #20301, étape 3) une fois celui-ci livré, à plusieurs tailles de modèle.
Pour la phase 2, le palier 19 sort donc de l'examen : il garde ses membres actuels. Aucun fichier de corpus ne s'ajoute sous
ict/.- added a commit that references this issue
on Oct 11, 2026
Fille de #11690 (consolidation ICT) et de #5081 (nommage canonique et parcours). Décision du mainteneur, séance de relecture ICT du 2026-10-11.
Constat
ICT a beaucoup exploré, à l'intérieur de la série et par les graines qu'elle a plantées dans d'autres séries. Les itérations et les accrétions rendent son arc narratif difficile à suivre. Plusieurs chantiers ont été lancés de façon ambitieuse avec un outillage insuffisant ; il faut maintenant faire de la place pour que les bons outils y entrent.
ICT est un programme pédagogique en construction : il a le droit de se resserrer sans trahir la recherche, dont l'historique vit dans le dépôt, comme pour un logiciel.
Cible
La doctrine est celle de #5081, règle 6 (« Descendre en sous-séries ») : un sous-dossier pour la sous-série, et un capstone dans la série mère qui la consomme. #18857 (Actuariat) en est le modèle livré.
organ-first-implementation). Exemple : l'obstruction de Čech (ICT-15d) se reprend dans une nouvelle greffe qui consomme les mesures entropiques déjà semées, le témoin de cohérence deLean-25-Coherence-et-Temoinet l'outillage des lakes Lean. Le correctif court de ICT-15d (verdict porté par le cocycle) reste à faire avant.ict/).La redescente des carnets Tegmark (#16741, acceptée dans la même séance) est le premier geste de ce mouvement.
Phases
docs/ledgers/11690-ict-consolidation.md(en cours). Inventaire, en parallèle, des graines ICT dans les autres séries.notebook-accretion-numbering), liens entrants, READMEs et_quarto.ymlà jour.Hors périmètre
Aucun renommage ni déplacement avant la validation de la phase 1. Les corrections de contenu décidées en séance (ICT-11, ICT-15d, ICT-19, ICT-21b, ICT-23, ICT-24, ICT-25, retouches mineures) avancent par leurs propres grains et ne passent pas par cette issue.