From 80f691421c0a8e5bb3d588b88b135ba1d330a679 Mon Sep 17 00:00:00 2001 From: "Claude Haiku 4.5 (1M context)" Date: Tue, 27 Oct 2026 00:10:57 +0100 Subject: [PATCH 1/4] Refactor(ict,#20298): ICT-12 Valence/Animat -> sous-serie ICT-Series/ICT-12/ (5 carnets) Deplacement de la famille ICT-12 (tete + 4 membres) en sous-serie ICT-12/. 26 liens sortants des cellules markdown re-prefixes (../), 32 refs entrantes prefixees (ICT-12/), 6 cles baseline deportees, 5 entrees rename-ledger. See #20298 Co-Authored-By: Claude Haiku 5.5 --- ...CT-12-ValenceFieldsAndAnimats-Python.ipynb | 4 +- .../ICT-12b-LearnedValence-Python.ipynb | 2 +- .../ICT-12c-PregnanceAnimat-Python.ipynb | 4 +- ...ICT-12d-InhibitedActionAnimat-Python.ipynb | 16 +++---- ...e-Value-of-Information-Animat-Python.ipynb | 22 +++++----- .../ICT-Synthese-CrossSubstrat.ipynb | 2 +- MyIA.AI.Notebooks/IIT/ICT-Series/README.md | 10 ++--- .../ICT-Series/thom-synthese-distillation.md | 10 ++--- docs/cadrage/grothendieckian-lens.md | 2 +- docs/cadrage/magnifica-humanitas-dialogue.md | 4 +- docs/curriculum/recherche.md | 10 ++--- docs/ict/feuille-de-route-notebooks.md | 8 ++-- docs/ict/genealogy-representation-interne.md | 4 +- docs/ict/ict12-valence-note-de-conception.md | 44 +++++++++++++++++++ docs/ict/tresse-cartographie.md | 2 +- .../scientific-review-registry.md | 10 ++--- docs/reference/rename-ledger.tsv | 5 +++ .../pedagogy_density_baseline.json | 10 ++--- scripts/tests/baseline_nb_nav_chain.json | 2 +- 19 files changed, 110 insertions(+), 61 deletions(-) rename MyIA.AI.Notebooks/IIT/ICT-Series/{ => ICT-12}/ICT-12-ValenceFieldsAndAnimats-Python.ipynb (99%) rename MyIA.AI.Notebooks/IIT/ICT-Series/{ => ICT-12}/ICT-12b-LearnedValence-Python.ipynb (99%) rename MyIA.AI.Notebooks/IIT/ICT-Series/{ => ICT-12}/ICT-12c-PregnanceAnimat-Python.ipynb (99%) rename MyIA.AI.Notebooks/IIT/ICT-Series/{ => ICT-12}/ICT-12d-InhibitedActionAnimat-Python.ipynb (99%) rename MyIA.AI.Notebooks/IIT/ICT-Series/{ => ICT-12}/ICT-12e-Value-of-Information-Animat-Python.ipynb (96%) create mode 100644 docs/ict/ict12-valence-note-de-conception.md diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb similarity index 99% rename from MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb rename to MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb index 74172dc828b..5c3931f0e01 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb @@ -18,7 +18,7 @@ "\n", "**Sous-serie ICT** (trajectoires integrees, Epic #4588, strate 3). Suite du Cran A\n", "ICT-10 (durcissement du banc $\\hat{p}$, verdict honnete « avantage regime-dependant »)\n", - "et d'ICT-11 (profils d'agence multi-echelle). Voir [#4588](../README.md), [#4878](https://github.com/jsboige/CoursIA/issues/4878).\n", + "et d'ICT-11 (profils d'agence multi-echelle). Voir [#4588](../../README.md), [#4878](https://github.com/jsboige/CoursIA/issues/4878).\n", "\n", "## Question directrice\n", "\n", @@ -55,7 +55,7 @@ "id": "d4db96e5", "metadata": {}, "source": [ - "> **Statut épistémique** — **Établi** : `p̂` est régime-dépendant (capture x4 sur balistique rapide, perd sur erratique). Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + "> **Statut épistémique** — **Établi** : `p̂` est régime-dépendant (capture x4 sur balistique rapide, perd sur erratique). Portée et détail dans la [matrice de dissociations](../../../../docs/ict/dissociations-matrix.md)." ] }, { diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12b-LearnedValence-Python.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb similarity index 99% rename from MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12b-LearnedValence-Python.ipynb rename to MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb index bc44457e661..b2a4c2c049a 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12b-LearnedValence-Python.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb @@ -54,7 +54,7 @@ "tags": [] }, "source": [ - "> **Statut épistémique** — **Établi** : La valence est **apprise** (Rescorla-Wagner), transférable et **distincte** de la prédiction `p̂` (banc désincarné). Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + "> **Statut épistémique** — **Établi** : La valence est **apprise** (Rescorla-Wagner), transférable et **distincte** de la prédiction `p̂` (banc désincarné). Portée et détail dans la [matrice de dissociations](../../../../docs/ict/dissociations-matrix.md)." ] }, { diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12c-PregnanceAnimat-Python.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb similarity index 99% rename from MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12c-PregnanceAnimat-Python.ipynb rename to MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb index b1f71b73337..d4daa4a1317 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12c-PregnanceAnimat-Python.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb @@ -30,7 +30,7 @@ "id": "a84f6b88", "metadata": {}, "source": [ - "> **Statut épistémique** — **Établi** : Incarné, `p̂` et `π` se **dissocient** : erratique détruit `p̂` mais le conditionnement tient. Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + "> **Statut épistémique** — **Établi** : Incarné, `p̂` et `π` se **dissocient** : erratique détruit `p̂` mais le conditionnement tient. Portée et détail dans la [matrice de dissociations](../../../../docs/ict/dissociations-matrix.md)." ] }, { @@ -1064,7 +1064,7 @@ "\n", "*Portée honnête* : ce notebook couvre les **six mesures** 1, 2, 3, 4, 5, 6 + la matrice de dissociation. Les mesures 4 (énergie-libre adaptive) et 5 (information prédictive), différées en PR-A comme recherche, sont désormais livrées (§7) : `free_energy` mode `fixed` n'est qu'un habillage du MSE (gate 1), mais la précision *adaptive* amortit l'explosion erratique (gate 2), et l'information mutuelle $I(\\hat q;o)$ y est *anti-corrélée* au MSE (plafond épistémique). Trois lecteurs orthogonaux de $\\hat q$.\n", "\n", - "> **Voir aussi.** [ICT-12](ICT-12-ValenceFieldsAndAnimats-Python.ipynb) (valence programmée, champ spatial), [ICT-12b](ICT-12b-LearnedValence-Python.ipynb) (valence apprise désincarnée, le banc algorithmique que cet animat incarne), [ICT-0-Framing](ICT-0-Framing.md) (jambe C1, #7740)." + "> **Voir aussi.** [ICT-12](ICT-12-ValenceFieldsAndAnimats-Python.ipynb) (valence programmée, champ spatial), [ICT-12b](ICT-12b-LearnedValence-Python.ipynb) (valence apprise désincarnée, le banc algorithmique que cet animat incarne), [ICT-0-Framing](../ICT-0-Framing.md) (jambe C1, #7740)." ] } ], diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12d-InhibitedActionAnimat-Python.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb similarity index 99% rename from MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12d-InhibitedActionAnimat-Python.ipynb rename to MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb index d34eee5b59a..e3ee5b521eb 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12d-InhibitedActionAnimat-Python.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb @@ -16,13 +16,13 @@ "source": [ "# ICT-12d — Animat inhibé (Laborit) : contrôlabilité, rigidification, dette d'irréversibilité (#7741)\n", "\n", - "**Sous-série ICT** (trajectoires intégrées, Epic #4588). Notebook compagnon du module [`ict.inhibited_action`](ict/inhibited_action.py) (PR [#8825](https://github.com/jsboige/CoursIA/pull/8825)). **Jambe C2** de la tresse transverse — *parallèle* à [C1 — ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) (prégnance/valence incarnée, #7740), et distincte d'[ICT-30](ICT-30-InhibitedInvention-Python.ipynb) (inhibition de l'**innovation**, strate 7 collective, #7746) : ici l'inhibition porte sur l'**action** d'un animat individuel (strate 3/5).\n", + "**Sous-série ICT** (trajectoires intégrées, Epic #4588). Notebook compagnon du module [`ict.inhibited_action`](../ict/inhibited_action.py) (PR [#8825](https://github.com/jsboige/CoursIA/pull/8825)). **Jambe C2** de la tresse transverse — *parallèle* à [C1 — ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) (prégnance/valence incarnée, #7740), et distincte d'[ICT-30](../ICT-30-InhibitedInvention-Python.ipynb) (inhibition de l'**innovation**, strate 7 collective, #7746) : ici l'inhibition porte sur l'**action** d'un animat individuel (strate 3/5).\n", "\n", "## Le maillon Laborit\n", "\n", "Henri Laborit (*L'Éloge de la fuite*, 1976) : des rats soumis à des chocs développent une hypertension durable surtout quand **ni fuite ni action défensive** ne sont possibles. Ce n'est pas le choc qui pathologise, c'est l'**inhibition de l'action** — « le système apprend que ses actions ne contrôlent plus son environnement ». L'analogue formel est un animat dont les actions, à mesure que la **contrôlabilité** s'effondre, deviennent **sans effet** sur la transition d'état, et qui, le détectant, **rigidifie** sa politique.\n", "\n", - "Ce notebook incarne ce maillon comme un substrat expérimental **falsifiable** (substrat + bancs dans `ict.inhibited_action`), puis le relie quantitativement à la **dette d'irréversibilité** $I(R)$ d'[ICT-18](ICT-18-ArrowOfTimeReversibilization-Python.ipynb). Quatre verdicts falsifiables, chacun avec son contrôle négatif.\n", + "Ce notebook incarne ce maillon comme un substrat expérimental **falsifiable** (substrat + bancs dans `ict.inhibited_action`), puis le relie quantitativement à la **dette d'irréversibilité** $I(R)$ d'[ICT-18](../ICT-18-ArrowOfTimeReversibilization-Python.ipynb). Quatre verdicts falsifiables, chacun avec son contrôle négatif.\n", "\n", "> *Portée honnête* : la rencontre avec la strate 7 (inhibition de l'**innovation**, ICT-30) est une issue ultérieure ; ce notebook reste au niveau **animat** (strate 3/5). La lecture post-structuraliste (Foucault/Derrida/Serres) de la boucle signifiant/signifié = générateur de modèles, hors scope expérimental (spec #7741).\n" ] @@ -32,7 +32,7 @@ "id": "statut-epistemique", "metadata": {}, "source": [ - "> **Statut épistémique** — **Établi** : L'animat inhibé (Laborit) rigidifie son action sous perte de contrôle, et la dette d'irréversibilité `I(R)` échappe à l'action. Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + "> **Statut épistémique** — **Établi** : L'animat inhibé (Laborit) rigidifie son action sous perte de contrôle, et la dette d'irréversibilité `I(R)` échappe à l'action. Portée et détail dans la [matrice de dissociations](../../../../docs/ict/dissociations-matrix.md)." ] }, { @@ -475,7 +475,7 @@ "source": [ "## 5. Le pont $I(R)$ : la dette d'irréversibilité échappe à l'action\n", "\n", - "Le pont vers la dette d'irréversibilité $I(R)$ (cf. [ICT-18](ICT-18-ArrowOfTimeReversibilization-Python.ipynb), `ict.reversibility_budget.work_budget`) n'est pas « la dette monte sous inhibition » : une permutation déterministe porte *aussi* une forte flèche du temps. Le finding est plus fin — **sous inhibition ($\\alpha=0$), changer d'action ne change plus la dette subie** : l'animat a perdu toute prise sur l'irréversibilité qu'il subit, devenue dictée par la dérive seule. À contrôlabilité partielle ($\\alpha=0.5$), l'action modulait encore cette dette.\n", + "Le pont vers la dette d'irréversibilité $I(R)$ (cf. [ICT-18](../ICT-18-ArrowOfTimeReversibilization-Python.ipynb), `ict.reversibility_budget.work_budget`) n'est pas « la dette monte sous inhibition » : une permutation déterministe porte *aussi* une forte flèche du temps. Le finding est plus fin — **sous inhibition ($\\alpha=0$), changer d'action ne change plus la dette subie** : l'animat a perdu toute prise sur l'irréversibilité qu'il subit, devenue dictée par la dérive seule. À contrôlabilité partielle ($\\alpha=0.5$), l'action modulait encore cette dette.\n", "\n", "**Verdict falsifiable** : `trapped` ssi (a) l'effet de l'action sur la dette est nul sous inhibition ($|\\Delta| < 10^{-9}$), ET (b) non-négligeable à contrôle partiel ($|\\Delta(\\alpha{=}0.5)| > 0.5$) — preuve que l'action était opérante puis a cessé de l'être.\n" ] @@ -824,9 +824,9 @@ "source": [ "## 7. Synthèse — la factorisation 4-objets et le seuil de bascule\n", "\n", - "Les quatre verdicts se laissent lire sur la [factorisation 4-objets](../../../docs/ict/dissociations-matrix.md) $(s, q, \\pi, W)$ : l'inhibition de l'action attaque l'**opérateur de workspace** $W$ (l'animat ne peut plus *agir en retour* sur la totalité), puis, par rétroaction, la **prégnance/valence** $\\pi$ (rigidification) et la **représentation prédictive** $q$ (perte d'efficacité). C'est l'envers de la [dissociation $\\hat p / \\pi$ d'ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) : là-bas on séparait deux grandeurs qui *tiennent* ; ici on montre une grandeur ($W$) qui *s'effondre*, et emporte les autres.\n", + "Les quatre verdicts se laissent lire sur la [factorisation 4-objets](../../../../docs/ict/dissociations-matrix.md) $(s, q, \\pi, W)$ : l'inhibition de l'action attaque l'**opérateur de workspace** $W$ (l'animat ne peut plus *agir en retour* sur la totalité), puis, par rétroaction, la **prégnance/valence** $\\pi$ (rigidification) et la **représentation prédictive** $q$ (perte d'efficacité). C'est l'envers de la [dissociation $\\hat p / \\pi$ d'ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) : là-bas on séparait deux grandeurs qui *tiennent* ; ici on montre une grandeur ($W$) qui *s'effondre*, et emporte les autres.\n", "\n", - "Le **seuil de bascule** est la contrôlabilité $\\alpha_c$ en-dessous de laquelle l'animat inhibe — l'analogue, au niveau animat, du seuil de performativité $\\rho_c$ du [cadrage strate 7](ICT-0-Framing.md) (D1/D2). Sa rencontre avec l'inhibition de l'**innovation** collective (ICT-30, #7746) est l'issue ultérieure." + "Le **seuil de bascule** est la contrôlabilité $\\alpha_c$ en-dessous de laquelle l'animat inhibe — l'analogue, au niveau animat, du seuil de performativité $\\rho_c$ du [cadrage strate 7](../ICT-0-Framing.md) (D1/D2). Sa rencontre avec l'inhibition de l'**innovation** collective (ICT-30, #7746) est l'issue ultérieure." ] }, { @@ -1033,9 +1033,9 @@ "\n", "**Robustesse** : les trois bancs stochastiques tiennent leurs verdicts sur cinq seeds externes $[0, 1, 7, 42, 99]$ — aucune bascule, dispersion faible devant les marges (section 6, tableau par métrique) ; le pont $I(R)$ est déterministe, robuste par construction.\n", "\n", - "**Portée honnête** : substrat 1-torus minimal (anneau à 9 états) — l'objet est la *mécanique* de l'inhibition de l'action (détection → rigidification → perte de prise sur $I(R)$), transposable à des animats richer. La rencontre avec la strate 7 (inhibition de l'**innovation**, [ICT-30](ICT-30-InhibitedInvention-Python.ipynb), #7746) est une issue ultérieure ; ce notebook reste au niveau **animat individuel**.\n", + "**Portée honnête** : substrat 1-torus minimal (anneau à 9 états) — l'objet est la *mécanique* de l'inhibition de l'action (détection → rigidification → perte de prise sur $I(R)$), transposable à des animats richer. La rencontre avec la strate 7 (inhibition de l'**innovation**, [ICT-30](../ICT-30-InhibitedInvention-Python.ipynb), #7746) est une issue ultérieure ; ce notebook reste au niveau **animat individuel**.\n", "\n", - "*Module* : [`ict.inhibited_action`](ict/inhibited_action.py) (PR [#8825](https://github.com/jsboige/CoursIA/pull/8825)). *Parallèle* : [C1 — ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) (#7740). *Références* : Laborit 1976 (*L'Éloge de la fuite*) ; spec #7741 (conversation de conception tours 756-761, 2026-07-20) ; pont $I(R)$ via `ict.reversibility_budget` (ICT-18)." + "*Module* : [`ict.inhibited_action`](../ict/inhibited_action.py) (PR [#8825](https://github.com/jsboige/CoursIA/pull/8825)). *Parallèle* : [C1 — ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) (#7740). *Références* : Laborit 1976 (*L'Éloge de la fuite*) ; spec #7741 (conversation de conception tours 756-761, 2026-07-20) ; pont $I(R)$ via `ict.reversibility_budget` (ICT-18)." ] } ], diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12e-Value-of-Information-Animat-Python.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb similarity index 96% rename from MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12e-Value-of-Information-Animat-Python.ipynb rename to MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb index 0e509c60b12..f6063d2902f 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12e-Value-of-Information-Animat-Python.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb @@ -13,7 +13,7 @@ "de l'animat décisionnel. Suite du Cran A: [ICT-12](ICT-12-ValenceFieldsAndAnimats-Python.ipynb)\n", "(champs de valence, modèle interne payant ou ruineux), [ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb)\n", "(prégnance/valence incarnée), [ICT-12d](ICT-12d-InhibitedActionAnimat-Python.ipynb)\n", - "(inhibition de Laborit). Voir [#4588](../README.md), [#13569](https://github.com/jsboige/CoursIA/issues/13569).\n", + "(inhibition de Laborit). Voir [#4588](../../README.md), [#13569](https://github.com/jsboige/CoursIA/issues/13569).\n", "\n", "**Ce que ce notebook est.** Une greffe : ICT *pose* un problème de décision\n", "d'animat — faut-il observer avant d'agir, et à quel coût ? — et **laisse les\n", @@ -22,9 +22,9 @@ "\n", "| Organe | Moteur | Calcul |\n", "|---|---|---|\n", - "| [`DecInfer-06`](../../Probas/DecisionTheory/DecInfer/DecInfer-06-Value-Information.ipynb) | Infer.NET | bayésien déterministe |\n", - "| [`DecPyMC-5`](../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb) | PyMC | bayésien + MCMC |\n", - "| [`Actuariat-05`](../../Probas/DecisionTheory/Actuariat/Actuariat-05-Valeur-Info-Souscription.ipynb) | PyMC | cas appliqué (souscription) |\n", + "| [`DecInfer-06`](../../../Probas/DecisionTheory/DecInfer/DecInfer-06-Value-Information.ipynb) | Infer.NET | bayésien déterministe |\n", + "| [`DecPyMC-5`](../../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb) | PyMC | bayésien + MCMC |\n", + "| [`Actuariat-05`](../../../Probas/DecisionTheory/Actuariat/Actuariat-05-Valeur-Info-Souscription.ipynb) | PyMC | cas appliqué (souscription) |\n", "\n", "**Le double portage Infer.NET / PyMC est un atout, pas une redondance** : il\n", "donne un contrôle croisé gratuit. Un EVSI calculé par les deux moteurs et qui\n", @@ -33,7 +33,7 @@ "et **consomme** le comparateur cross-engine `voi/` (tranche 3/3) qui fait tourner\n", "les deux moteurs sur le même contrat JSON et journalise l'accord/désaccord.\n", "\n", - "**Navigation** : [**Index**](README.md) | [<< ICT-12d](ICT-12d-InhibitedActionAnimat-Python.ipynb) | [ICT-13 >>](ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb)" + "**Navigation** : [**Index**](../README.md) | [<< ICT-12d](ICT-12d-InhibitedActionAnimat-Python.ipynb) | [ICT-13 >>](../ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb)" ] }, { @@ -43,7 +43,7 @@ "tags": [] }, "source": [ - "> **Statut épistémique** — **Sans verdict à ce jour** : aucune ligne de la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md) ne concerne ce notebook ; son statut épistémique sera porté par la matrice le cas échéant." + "> **Statut épistémique** — **Sans verdict à ce jour** : aucune ligne de la [matrice de dissociations](../../../../docs/ict/dissociations-matrix.md) ne concerne ce notebook ; son statut épistémique sera porté par la matrice le cas échéant." ] }, { @@ -108,7 +108,7 @@ "\n", "C'est exactement l'EVPI/EVSI. ICT ne re-dérive pas la formule — il **appelle**\n", "l'organe canonique qui la porte déjà. La structure est celle de\n", - "[`DecPyMC-5` §forage](../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb) :\n", + "[`DecPyMC-5` §forage](../../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb) :\n", "le même problème, présenté depuis le point de vue de l'animat. " ] }, @@ -332,8 +332,8 @@ "source": [ "## Contrôle 3 — le cas parapluie canonique (EVPI de référence)\n", "\n", - "Pour ancrer la mesure, on rejoue le cas **canonique** de [`DecPyMC-5` §parapluie](../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb)\n", - "et de [`DecInfer-06`](../../Probas/DecisionTheory/DecInfer/DecInfer-06-Value-Information.ipynb).\n", + "Pour ancrer la mesure, on rejoue le cas **canonique** de [`DecPyMC-5` §parapluie](../../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb)\n", + "et de [`DecInfer-06`](../../../Probas/DecisionTheory/DecInfer/DecInfer-06-Value-Information.ipynb).\n", "Son EVPI vaut $3{,}5$ (unités arbitraires) — la référence que les tests du dépôt\n", "`ict/tests/test_voi.py` vérifient déjà. L'animat *sensoriel* (proprioception\n", "imparfaite $85/75$) en est une déclinaison : la mesure sensorielle ne capte\n", @@ -418,13 +418,13 @@ "La valeur mesurée ci-dessus est close-form (analytique). Mais l'acceptance\n", "[#13569] demande un **contrôle croisé** : la *même* décision passée dans **les\n", "deux moteurs** (Infer.NET et PyMC), avec un écart **rapporté**, jamais lissé. Le\n", - "comparateur [`voi/run_comparison.py`](../../Probas/DecisionTheory/voi/run_comparison.py)\n", + "comparateur [`voi/run_comparison.py`](../../../Probas/DecisionTheory/voi/run_comparison.py)\n", "le fait déjà : un contrat JSON commun, deux adaptateurs indépendants\n", "(`InferNetVoi` pour Infer.NET, `pymc_voi` pour PyMC), qui exécutent les moteurs\n", "réels et journalisent l'accord/désaccord.\n", "\n", "Le notebook **consomme** cet organe — il n'en ré-implémente pas une once. On lit\n", - "l'artefact de preuve déjà committé sur `main` ([`comparison.json`](../../Probas/DecisionTheory/voi/comparison.json)),\n", + "l'artefact de preuve déjà committé sur `main` ([`comparison.json`](../../../Probas/DecisionTheory/voi/comparison.json)),\n", "puis on invoque le comparateur pour régénérer un verdict frais." ] }, diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Synthese-CrossSubstrat.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Synthese-CrossSubstrat.ipynb index 515ee3f19f9..387128f860c 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Synthese-CrossSubstrat.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Synthese-CrossSubstrat.ipynb @@ -99,7 +99,7 @@ "| **[ICT-9](ICT-09-AgencyRegeneration-Python.ipynb)** | Quand un système répare-t-il *sa propre* forme (agence) ? | Agence = **gain de réparation > 0** (réaction-diffusion vs diffusion pure) ; mesure naïve = signal fantôme | gain=1.22 ; cosinus spectral RD 0.631 **<** diffusion 0.735 (fantôme) ; sweep 9/9 positif (moy 1.26) |\n", "| **[ICT-10](ICT-10-CatastropheGrammar-Python.ipynb)** | La grammaire des catastrophes est-elle mesurable ? $\\hat p$ anticipe-t-il ? | OUI en régime non dégénéré ($a<0$) ; hors régime = **fantôme**. $\\hat p$ : avantage **régime-dépendant** | comptage [1,3], 2 transitions ; lacet aire signée +1.633 ; $\\hat p$ horizon-4 0.055 vs persistance 0.101 ; $a$=+0.5 → 0 saut |\n", "| **[ICT-11](ICT-11-CausalAgencyProfiles-Python.ipynb)** | À quelle échelle l'agence est-elle la plus lisible ? | **Résultat négatif robuste** : pas de granularité privilégiée | 2 mesures se contredisent ; effectiveness↔repair\\_gain $r$=+0.50 mais ↔basin\\_return $r$=−0.14 ; effectiveness sans sommet (0.71/0.50/0.79/0.63) |\n", - "| **[ICT-12](ICT-12-ValenceFieldsAndAnimats-Python.ipynb)** | Dans quels environnements le modèle interne $\\hat p$ paie-t-il son coût ? | **Régime-dépendant** : $\\hat p$ paie **où la source échappe au réactif ET reste prévisible** | balistique rapide capture $\\hat p$ 0.072 vs réactif 0.018 ; anticipation $\\hat p$ 2.44 vs persistance 14.95 (balist.) mais **perd** en bruité (0.62 vs 0.23) |\n", + "| **[ICT-12](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb)** | Dans quels environnements le modèle interne $\\hat p$ paie-t-il son coût ? | **Régime-dépendant** : $\\hat p$ paie **où la source échappe au réactif ET reste prévisible** | balistique rapide capture $\\hat p$ 0.072 vs réactif 0.018 ; anticipation $\\hat p$ 2.44 vs persistance 14.95 (balist.) mais **perd** en bruité (0.62 vs 0.23) |\n", "| **[ICT-13](ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb)** | Une stratégie est-elle une forme stable ? | Stable **seulement dans un paysage donné** ; TFT gagne sans bruit mais s'effondre ; correction honnête : **grim** chute le moins | sans bruit TFT/grim 2.635, AllD 2.313 ; $\\delta^*$=0.5 (num. 0.55) ; chute sous bruit TFT +0.399 vs grim +0.287 ; invasion TFT/grim 0.02, pavlov/allc jamais (1.0) |\n", "\n", "### Strates 4-5 — les jambes que ce capstone consomme (gates 4-6)\n", diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/README.md b/MyIA.AI.Notebooks/IIT/ICT-Series/README.md index 31f1d826c8c..b6400b5831a 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/README.md +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/README.md @@ -138,11 +138,11 @@ Les **traces pré-extraites** (fixtures `.npz` dans `traces/`) supportent les no | Document | Contenu | |----------|---------| | [ICT-11-CausalAgencyProfiles-Python](ICT-11-CausalAgencyProfiles-Python.ipynb) | Profils d'agence causale — *à quelle échelle l'agence est-elle la plus lisible ?* Ouvre la strate 3. L'agence de réaction-diffusion d'ICT-9 est mesurée à plusieurs résolutions (micro/méso/macro) puis raccordée à l'émergence causale de Hoel (information effective, TPM à macro-variable scalaire = structure/variance du champ moyenné). *Sans complaisance* : les deux mesures d'agence **se contredisent** — `repair_gain` présente un pic méso (`b=16`) mais **artefact-contaminé** (sur-reconstruction : le score dépasse 1, et un plancher de résolution à `b=32`), tandis que `basin_return_probability` est **strictement décroissante** avec l'échelle. Le raccord Hoel suit la mesure inflatée (`r≈+0.50` avec `repair_gain`) et ignore la mesure honnête (`r≈−0.14` avec `basin_return`) — suggestif mais non robuste. Verdict honnête : pas d'échelle privilégiée, l'hypothèse méso-émergente n'est pas confirmée | -| [ICT-12-ValenceFieldsAndAnimats-Python](ICT-12-ValenceFieldsAndAnimats-Python.ipynb) | Champs de valence et animats — *rôles mesurés, modèle interne payant ou ruineux ?* Premier toy model **actantiel spatial** : des animats évoluent dans un champ de valence (source attractive + obstacles repulsifs) ; la scène actantielle de Thom cesse d'être une correspondance nommée — les **rôles deviennent des grandeurs mesurées** (capture, évasion, irréversibilité, switching). Deux animats : le **réactif** suit le gradient instantané (persistance spatiale), l'**anticipateur `p̂`** extrapole le point d'interception. *Sans complaisance* : `p̂` **gagne** en balistique rapide (capture x4, le réactif laggué ne suit pas) mais **perd** en erratique (prédictions trompées par les demi-tours) et perd en anticipation sur source bruitée (la vitesse EMA amplifie le bruit de position). Le modèle interne paie son coût là où la source échappe au réactif **et** reste prévisible — régime-dépendant, ni universellement avantageux ni ruineux (contrôle d'ablation : la marche aléatoire ne porte aucune signature de rôle) | -| [ICT-12b-LearnedValence-Python](ICT-12b-LearnedValence-Python.ipynb) | Valence **apprise**, transférable, réversible — *l'expérience manquante* (#7740, banc désincarné). L'envers exact de ICT-12 : la valence n'est plus un champ gaussien *programmé*, elle est **acquise** par conditionnement Pavlovien (règle de Rescorla-Wagner : $\\Delta\\pi = \\text{lr}(v_\\text{source} - \\pi)$, neutre à l'init). Trois verdicts falsifiables sur banc désincarné (un signal = un index, sans corps) : **transfert** (un neutre co-occurrençant une source devient attractif *par lui-même*, un contrôle non-conditionné reste neutre — pas de fuite de l'inné vers tout), **distinctness vs prédiction** ($\\pi$ monte alors que l'erreur $\\hat p$ est invariante — le banc passe le vecteur $\\pi$ au prédicteur pour qu'un re-vêtement `p̂ = 1 - π` soit *réfutable*, contrôle négatif inclus), **réversibilité** (acquisition et extinction partagent la même règle → $\\pi$ acquise puis éteinte). Banc algorithmique additif (`LearnedValence`) que ICT-12c incarne ensuite | -| [ICT-12c-PregnanceAnimat-Python](ICT-12c-PregnanceAnimat-Python.ipynb) | Animat **prégnance/valence incarné** — *la dissociation $\\hat p$ / $\\pi$* (#7740, jambe C1). Pousse ICT-12b hors de son banc désincarné : un animat qui se déplace, a un état interne (la faim), et choisit ses actions. `PregnanceAnimat` couple un modèle prédictif $\\hat p$ (réutilise `predict_source` + baselines adverses), une valence apprise $\\pi$ (réutilise `LearnedValence`) et un drive `hunger`, via une politique $a_t = f(\\pi + \\text{intrinsic}, \\text{hunger})$ ; le conditionnement est Pavlovien incarné (neutre *tethered* à la source → co-occurrence). **La porte scientifique est une matrice de dissociation**, pas un printout par mesure : le régime **erratique** détruit $\\hat p$ (l'EMA-vitesse sur-réagit aux demi-tours ; ratio erreur $\\hat p$/persistance 0.68–0.95 vs 0.14–0.23 en balistique, robuste 8/8 seeds) **MAIS** laisse intact le conditionnement Rescorla-Wagner (qui ne dépend que de la co-occurrence, pas de la prévisibilité) → transfert + engagement d'action + réversibilité **tiennent**. Verdict : prégnance et représentation sont **deux grandeurs dissociables**, même incarnées. *Portée honnête* : les **six mesures** 1/2/3/4/5/6 + dissociation. Les mesures 4 (FE adaptive) et 5 (information prédictive), différées en PR-A, sont désormais **livrées** (§7) : `free_energy` mode `fixed` = habillage du MSE (gate 1), précision *adaptive* amortit l'explosion erratique (gate 2), et $I(\\hat q;o)$ y est *anti-corrélée* au MSE (plafond épistémique) — **trois lecteurs orthogonaux** de $\\hat q$ | -| [ICT-12d-InhibitedActionAnimat-Python](ICT-12d-InhibitedActionAnimat-Python.ipynb) | Animat **inhibé (Laborit)** — *contrôlabilité, rigidification, dette d'irréversibilité* (#7741, jambe C2). Parallèle à C1 (ICT-12c) : non plus séparer deux grandeurs qui *tiennent*, mais montrer une grandeur — l'opérateur de workspace $W$ — qui *s'effondre*. Substrat = anneau d'états (1-torus) avec contrôlabilité $\\alpha \\in [0,1]$ : avec proba $\\alpha$ l'action s'applique, sinon l'état dérive (action ignorée = inhibition). $\\alpha=0$ = inhibition totale (Laborit). Quatre verdicts falsifiables (`ict.inhibited_action`, PR #8825) : **détection** (l'animat estime $\\hat\\alpha$ depuis les transitions, corrigé de la ligne de chance, $\\vert\\hat\\alpha-\\alpha\\vert<0.1$ sur 3 régimes), **rigidification** (sous $\\alpha=0$ l'animat se replie sur le no-op, entropie d'action $\\ln 3 \\to \\approx 0$, chute $>0.3$ nat), **perte d'efficacité** (fraction-cible $\\alpha{=}1 > \\alpha{=}0$), **pont $I(R)$** (sous inhibition, changer d'action ne change plus la dette d'irréversibilité subie — $\\vert\\Delta\\vert<10^{-9}$ — alors qu'à contrôle partiel l'action la modulait encore). *Portée honnête* : substrat 1-torus minimal, niveau animat individuel (strate 3/5) ; la rencontre avec l'inhibition de l'**innovation** collective (ICT-30, #7746) est une issue ultérieure | -| [ICT-12e-Value-of-Information-Animat-Python](ICT-12e-Value-of-Information-Animat-Python.ipynb) | Valeur de l'information pour l'animat — *combien vaut l'observation, et vaut-elle son prix ?* (#13569, greffe 3). ICT **pose** le problème de l'animat décisionnel (forage, prior 0.3/0.7, actions forer/vendre) et **laisse les organes natifs du dépôt calculer** : `ict.voi` (interface canonique EVPI/EVSI close-form, tranche 1/3) et le comparateur cross-engine [`voi/`](../../Probas/DecisionTheory/voi/README.md) (tranche 3/3, livré dans [`Probas/DecisionTheory/`](../../Probas/DecisionTheory/README.md), hors `ICT-Series/`) qui fait tourner **Infer.NET × PyMC** sur le même contrat JSON. Chiffres : EVPI 390000, EVSI 253000, EVSI_net (coût 60000) 193000 — l'animat **observe**. Trois contrôles bornent la lecture (SOTA Prong B, problème non-trivial) : **non-informatif** → EVSI = 0 (ne pas observer), **coût break-even** → l'EVSI net change de signe au franchissement $c^*$ (coût explicite non nul), **parapluie canonique** → EVPI = 3.5 (référence `ict/tests/test_voi.py`), l'animat *sensoriel* proprioceptif 85/75 vivant à 10.7 % de l'information parfaite — distinct du bruit (0 %) comme de l'oracle (100 %). **Contrôle croisé** : Infer.NET et PyMC s'accordent sur `voi/comparison.json` (EVSI 253000 vs 252796 à tolérance, décisions identiques) — l'écart éventuel serait rapporté, jamais lissé. Aucune ré-implémentation de Bayes ni de Howard : le problème est posé, les organes calculent | +| [ICT-12-ValenceFieldsAndAnimats-Python](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) | Champs de valence et animats — *rôles mesurés, modèle interne payant ou ruineux ?* Premier toy model **actantiel spatial** : des animats évoluent dans un champ de valence (source attractive + obstacles repulsifs) ; la scène actantielle de Thom cesse d'être une correspondance nommée — les **rôles deviennent des grandeurs mesurées** (capture, évasion, irréversibilité, switching). Deux animats : le **réactif** suit le gradient instantané (persistance spatiale), l'**anticipateur `p̂`** extrapole le point d'interception. *Sans complaisance* : `p̂` **gagne** en balistique rapide (capture x4, le réactif laggué ne suit pas) mais **perd** en erratique (prédictions trompées par les demi-tours) et perd en anticipation sur source bruitée (la vitesse EMA amplifie le bruit de position). Le modèle interne paie son coût là où la source échappe au réactif **et** reste prévisible — régime-dépendant, ni universellement avantageux ni ruineux (contrôle d'ablation : la marche aléatoire ne porte aucune signature de rôle) | +| [ICT-12b-LearnedValence-Python](ICT-12/ICT-12b-LearnedValence-Python.ipynb) | Valence **apprise**, transférable, réversible — *l'expérience manquante* (#7740, banc désincarné). L'envers exact de ICT-12 : la valence n'est plus un champ gaussien *programmé*, elle est **acquise** par conditionnement Pavlovien (règle de Rescorla-Wagner : $\\Delta\\pi = \\text{lr}(v_\\text{source} - \\pi)$, neutre à l'init). Trois verdicts falsifiables sur banc désincarné (un signal = un index, sans corps) : **transfert** (un neutre co-occurrençant une source devient attractif *par lui-même*, un contrôle non-conditionné reste neutre — pas de fuite de l'inné vers tout), **distinctness vs prédiction** ($\\pi$ monte alors que l'erreur $\\hat p$ est invariante — le banc passe le vecteur $\\pi$ au prédicteur pour qu'un re-vêtement `p̂ = 1 - π` soit *réfutable*, contrôle négatif inclus), **réversibilité** (acquisition et extinction partagent la même règle → $\\pi$ acquise puis éteinte). Banc algorithmique additif (`LearnedValence`) que ICT-12c incarne ensuite | +| [ICT-12c-PregnanceAnimat-Python](ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb) | Animat **prégnance/valence incarné** — *la dissociation $\\hat p$ / $\\pi$* (#7740, jambe C1). Pousse ICT-12b hors de son banc désincarné : un animat qui se déplace, a un état interne (la faim), et choisit ses actions. `PregnanceAnimat` couple un modèle prédictif $\\hat p$ (réutilise `predict_source` + baselines adverses), une valence apprise $\\pi$ (réutilise `LearnedValence`) et un drive `hunger`, via une politique $a_t = f(\\pi + \\text{intrinsic}, \\text{hunger})$ ; le conditionnement est Pavlovien incarné (neutre *tethered* à la source → co-occurrence). **La porte scientifique est une matrice de dissociation**, pas un printout par mesure : le régime **erratique** détruit $\\hat p$ (l'EMA-vitesse sur-réagit aux demi-tours ; ratio erreur $\\hat p$/persistance 0.68–0.95 vs 0.14–0.23 en balistique, robuste 8/8 seeds) **MAIS** laisse intact le conditionnement Rescorla-Wagner (qui ne dépend que de la co-occurrence, pas de la prévisibilité) → transfert + engagement d'action + réversibilité **tiennent**. Verdict : prégnance et représentation sont **deux grandeurs dissociables**, même incarnées. *Portée honnête* : les **six mesures** 1/2/3/4/5/6 + dissociation. Les mesures 4 (FE adaptive) et 5 (information prédictive), différées en PR-A, sont désormais **livrées** (§7) : `free_energy` mode `fixed` = habillage du MSE (gate 1), précision *adaptive* amortit l'explosion erratique (gate 2), et $I(\\hat q;o)$ y est *anti-corrélée* au MSE (plafond épistémique) — **trois lecteurs orthogonaux** de $\\hat q$ | +| [ICT-12d-InhibitedActionAnimat-Python](ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb) | Animat **inhibé (Laborit)** — *contrôlabilité, rigidification, dette d'irréversibilité* (#7741, jambe C2). Parallèle à C1 (ICT-12c) : non plus séparer deux grandeurs qui *tiennent*, mais montrer une grandeur — l'opérateur de workspace $W$ — qui *s'effondre*. Substrat = anneau d'états (1-torus) avec contrôlabilité $\\alpha \\in [0,1]$ : avec proba $\\alpha$ l'action s'applique, sinon l'état dérive (action ignorée = inhibition). $\\alpha=0$ = inhibition totale (Laborit). Quatre verdicts falsifiables (`ict.inhibited_action`, PR #8825) : **détection** (l'animat estime $\\hat\\alpha$ depuis les transitions, corrigé de la ligne de chance, $\\vert\\hat\\alpha-\\alpha\\vert<0.1$ sur 3 régimes), **rigidification** (sous $\\alpha=0$ l'animat se replie sur le no-op, entropie d'action $\\ln 3 \\to \\approx 0$, chute $>0.3$ nat), **perte d'efficacité** (fraction-cible $\\alpha{=}1 > \\alpha{=}0$), **pont $I(R)$** (sous inhibition, changer d'action ne change plus la dette d'irréversibilité subie — $\\vert\\Delta\\vert<10^{-9}$ — alors qu'à contrôle partiel l'action la modulait encore). *Portée honnête* : substrat 1-torus minimal, niveau animat individuel (strate 3/5) ; la rencontre avec l'inhibition de l'**innovation** collective (ICT-30, #7746) est une issue ultérieure | +| [ICT-12e-Value-of-Information-Animat-Python](ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb) | Valeur de l'information pour l'animat — *combien vaut l'observation, et vaut-elle son prix ?* (#13569, greffe 3). ICT **pose** le problème de l'animat décisionnel (forage, prior 0.3/0.7, actions forer/vendre) et **laisse les organes natifs du dépôt calculer** : `ict.voi` (interface canonique EVPI/EVSI close-form, tranche 1/3) et le comparateur cross-engine [`voi/`](../../Probas/DecisionTheory/voi/README.md) (tranche 3/3, livré dans [`Probas/DecisionTheory/`](../../Probas/DecisionTheory/README.md), hors `ICT-Series/`) qui fait tourner **Infer.NET × PyMC** sur le même contrat JSON. Chiffres : EVPI 390000, EVSI 253000, EVSI_net (coût 60000) 193000 — l'animat **observe**. Trois contrôles bornent la lecture (SOTA Prong B, problème non-trivial) : **non-informatif** → EVSI = 0 (ne pas observer), **coût break-even** → l'EVSI net change de signe au franchissement $c^*$ (coût explicite non nul), **parapluie canonique** → EVPI = 3.5 (référence `ict/tests/test_voi.py`), l'animat *sensoriel* proprioceptif 85/75 vivant à 10.7 % de l'information parfaite — distinct du bruit (0 %) comme de l'oracle (100 %). **Contrôle croisé** : Infer.NET et PyMC s'accordent sur `voi/comparison.json` (EVSI 253000 vs 252796 à tolérance, décisions identiques) — l'écart éventuel serait rapporté, jamais lissé. Aucune ré-implémentation de Bayes ni de Howard : le problème est posé, les organes calculent | | [ICT-13-AxelrodStrategicMorphodynamics-Python](ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb) | Morphodynamique stratégique — *une stratégie est-elle une forme stable ?* Dernier cran de la strate 3 avant la synthèse. Le dilemme du prisonnier itéré d'Axelrod (paiements canoniques $T=5, R=3, P=1, S=0$) sert de morphospace stratégique : six stratégies (AllC, AllD, TFT, TFT généreuse, Pavlov, Grim) confrontées en tournoi round-robin, dynamique de réplication, bassins d'invasion. *Sans complaisance* : quatre gates falsifiables mesurent la « stabilité de forme ». **Gate 1** — TFT et Grim **co-dominent** le tournoi (2.635) devant AllD (2.313, dernier). **Gate 2** — le seuil de coopération soutenable colle au Folk theorem : $\delta^\star$ analytique $(T-R)/(T-P) = 0.500$ vs croisement numérique $0.550$. **Gate 3** — sous bruit d'exécution, la **réciprocité active (TFT) est le point de rupture** (chute la plus forte, $+0.40$) tandis que la rétaliation inflexible de **Grim est paradoxalement la plus robuste** ($+0.29$) — ce qui **contredit** la prédiction Nowak-Sigmund (TFT généreuse / Pavlov les plus tolérantes) sur ces paiements. **Gate 4** — bassins d'invasion contre AllD résident : TFT/Grim envahissent dès $2\,\%$ de fraction initiale, TFT généreuse à $34\,\%$, Pavlov et AllC **jamais** ($1.0$). Verdict honnête : la robustesse stratégique est **fonction du régime** (bruit, structure de paiements), pas une propriété intrinsèque de la stratégie — la « forme stable » n'existe qu'au sein d'un environnement donné. **Évolution (§6, #12673)** : en dynamique sélection-mutation (Wright-Fisher, 60 agents, mutation 5 %), la population ne fixe pas — équilibre polymorphe grim/AllC/GTFT (TFT éliminée), coopération oscillante 0.26–0.94 sur 400 générations ; module `ict.strategic_morphodynamics.evolve_population`, substrat consommé par ICT-15d | ![Gate 3 — effondrement sous bruit (TFT chute, Pavlov résiste) : 6 stratégies (allc/alld/tft/gtft/pavlov/grim) tracées par leur score de tournoi en fonction du bruit d'implémentation ε ∈ [0, 0.40]](assets/readme/ict13-axelrod.png) diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md b/MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md index 764c59c0cf2..ae5dc3e2679 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md @@ -27,7 +27,7 @@ La série ICT a déjà rencontré Thom — mais en **pointillés** : **lacet de prédation** (cycle d'hystérésis à 2 catastrophes avec perception J et capture K, aire signée non nulle, représentant interne `p̂`). -- [ICT-12-ValenceFieldsAndAnimats-Python](ICT-12-ValenceFieldsAndAnimats-Python.ipynb) +- [ICT-12-ValenceFieldsAndAnimats-Python](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) prolonge en mesurant les rôles actantiels (capture, évasion, irréversibilité, switching) — l'animat anticipateur `p̂` y gagne en balistique, perd en erratique. @@ -62,7 +62,7 @@ récupérer — avec le distinguo explicite matrice (c.728y+34) vs synthèse |---|---|---|---| | **Saillance** $s$ | Ce qui est perceptiblement présent dans l'écoulement | conceptuel, déjà nommé | socle strate 6 (Nom = saillance 0-valent) | | **Prégnance** $\pi$ | Ce qui donne de l'importance (charge, valence) | conceptuel, déjà nommé | socle strate 6 (Verbe = prégnance 1-4 actants) | -| **Représentation** $q$ | Ce que le système croit de la cause/du futur ; `p̂` = cas simple (croyance réduite à un point) | [ICT-10](ICT-10-CatastropheGrammar-Python.ipynb), [ICT-12](ICT-12-ValenceFieldsAndAnimats-Python.ipynb), [ICT-14](ICT-14-FreeEnergySurprise-Python.ipynb) | déjà mesurée (cf. lacet de prédation Ch.4 §C) | +| **Représentation** $q$ | Ce que le système croit de la cause/du futur ; `p̂` = cas simple (croyance réduite à un point) | [ICT-10](ICT-10-CatastropheGrammar-Python.ipynb), [ICT-12](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb), [ICT-14](ICT-14-FreeEnergySurprise-Python.ipynb) | déjà mesurée (cf. lacet de prédation Ch.4 §C) | | **Workspace** $W$ | Ce qui rend des composantes disponibles à d'autres mécanismes | [ICT-24](ICT-24-WorkspaceIgnition-Python.ipynb) (livré Gates 22-23, dissociation documentée) | transversal | Le présent document ne reproduit pas la matrice @@ -538,7 +538,7 @@ d'hystérésis » — image topologique d'une anticipation structurelle. **Usage ICT strate 5-7.** Le **cycle d'hystérésis** est l'objet mesuré par [ICT-10-CatastropheGrammar-Python](ICT-10-CatastropheGrammar-Python.ipynb) (lacet de prédation = cycle à 2 catastrophes J/K) et -[ICT-12c-PregnanceAnimat-Python](ICT-12c-PregnanceAnimat-Python.ipynb) +[ICT-12c-PregnanceAnimat-Python](ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb) (prégnance = potentiel gradient). Les **« rivières »** de Diener sont une **anticipation visuelle** du cycle d'hystérésis : même quand l'attracteur ponctuel est encore stable, les courbes stables du futur cycle @@ -1323,7 +1323,7 @@ extension, pas une redite. linguistique, valence Tesnière, transitivité prototypique). - **Ch.3 — Modélisation mathématique et Philosophie** : cf. §Strate 6 (généralisation, invention de l'instrument) + usages - [ICT-12](ICT-12-ValenceFieldsAndAnimats-Python.ipynb) + [ICT-12](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) (coplis, prolongement analytique). - **Ch.4 — Embryologie et dynamique** : cf. §Socle transversal [Ch.4 §C](#socle-transversal--la-dynamique-de-prédation-ch4-c-et-lorigine-du-représentant-interne-p) @@ -1354,7 +1354,7 @@ extension, pas une redite. — fondements théoriques complémentaires. - [ICT-10](ICT-10-CatastropheGrammar-Python.ipynb) — catastrophe fronce + lacet de prédation + `p̂`. -- [ICT-12](ICT-12-ValenceFieldsAndAnimats-Python.ipynb) +- [ICT-12](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) — animats actantiels, mesure de la valence. - [ICT-13](ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb) — préprogrammes morphologiques du dilemme itéré. diff --git a/docs/cadrage/grothendieckian-lens.md b/docs/cadrage/grothendieckian-lens.md index 5e675aee9f0..da0d3cddeb3 100644 --- a/docs/cadrage/grothendieckian-lens.md +++ b/docs/cadrage/grothendieckian-lens.md @@ -84,7 +84,7 @@ Jusqu'ici, on a lu le dépôt série par série. Il a pourtant deux versants. D' Ce dialogue obéit à deux règles simples. La première est de patience : une idée venue d'ailleurs n'entre pas d'emblée dans ICT. Elle mûrit d'abord dans une série d'enseignement, sous la forme d'un notebook puis de variantes qui l'éprouvent, jusqu'à devenir un objet qui s'exécute ; alors seulement elle nourrit la recherche ([#12208](https://github.com/jsboige/CoursIA/issues/12208)). La seconde est de politesse : quand ICT a besoin d'une opération qu'une autre série sait déjà faire, elle ne la réécrit pas. Elle pose le problème, et laisse l'outil de cette série calculer ([#13564](https://github.com/jsboige/CoursIA/issues/13564)). C'est le deuxième mouvement, appliqué au dépôt lui-même : on y reviendra. -Dans le sens de l'enseignement vers la recherche, les ponts sont désormais nombreux. Pour savoir ce qu'un agent peut atteindre, ICT interroge les planificateurs de la série Planners au lieu d'en écrire un ([ICT-Greffe2](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Greffe2-EspaceAtteignable.ipynb)). La valeur d'une information pour un petit animat y est calculée deux fois, avec Infer.NET et avec PyMC, par les outils de la théorie de la décision ([ICT-12e](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12e-Value-of-Information-Animat-Python.ipynb)). Les extensions d'un cadre d'argumentation de Dung y sont calculées telles que la série Tweety les outille ([`ict/argumentation.py`](../../MyIA.AI.Notebooks/IIT/ICT-Series/ict/argumentation.py)), et le banc d'humour le plus exigeant de la théorie des jeux ([GameTheory-18c](../../MyIA.AI.Notebooks/GameTheory/GameTheory-18c-Humour-Banc-Python.ipynb)) y est exécuté tel quel. +Dans le sens de l'enseignement vers la recherche, les ponts sont désormais nombreux. Pour savoir ce qu'un agent peut atteindre, ICT interroge les planificateurs de la série Planners au lieu d'en écrire un ([ICT-Greffe2](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Greffe2-EspaceAtteignable.ipynb)). La valeur d'une information pour un petit animat y est calculée deux fois, avec Infer.NET et avec PyMC, par les outils de la théorie de la décision ([ICT-12e](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb)). Les extensions d'un cadre d'argumentation de Dung y sont calculées telles que la série Tweety les outille ([`ict/argumentation.py`](../../MyIA.AI.Notebooks/IIT/ICT-Series/ict/argumentation.py)), et le banc d'humour le plus exigeant de la théorie des jeux ([GameTheory-18c](../../MyIA.AI.Notebooks/GameTheory/GameTheory-18c-Humour-Banc-Python.ipynb)) y est exécuté tel quel. Et il y a la noix. Suivie jusqu'ici comme un pur problème de mathématiques, elle est devenue le sol sur lequel ICT mesure l'émergence dans le Jeu de la Vie, en s'appuyant sur le théorème `hashlife_correct` ([ICT-Life](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Life-SubstratCertifie.ipynb)). Mais un pont ne vaut que son pilier le plus faible : ce théorème est vrai mais **vide là où HashLife saute** — son hypothèse de cadre ne peut jamais être satisfaite quand le saut s'exerce (`p5_large_n_hyps_unsat`, [`HashlifeCorrectness.lean`](../../MyIA.AI.Notebooks/SymbolicAI/Lean/conway_lean/Conway/Life/HashlifeCorrectness.lean)). C'est une autre face de la même obstruction : le cadre était trop étroit. Le théorème qui couvre vraiment les sauts existe pourtant (celui de la route neuve, déjà déposé dans la vitrine [#17465](https://github.com/jsboige/CoursIA/issues/17465)) ; le pont reste à reposer sur ce pilier-là, et ICT a raison, en attendant, de doubler la preuve d'une calibration contre les motifs canoniques. Un problème de mathématiques pures se retrouve ainsi au cœur de la recherche. diff --git a/docs/cadrage/magnifica-humanitas-dialogue.md b/docs/cadrage/magnifica-humanitas-dialogue.md index 457b9c82054..4777f5961c0 100644 --- a/docs/cadrage/magnifica-humanitas-dialogue.md +++ b/docs/cadrage/magnifica-humanitas-dialogue.md @@ -20,7 +20,7 @@ Le §105 exige que la responsabilité soit « la possibilité d'identifier qui d La forme limite de cette exigence est dans les lakes Lean, et elle est plus fine qu'un simple « c'est prouvé ». Un théorème admis mais non démontré — un `sorry` — est compté par un instrument dédié, affiché, jamais caché. Mais le dépôt gradue aussi la *nature* de ce qu'il appelle une preuve : celle que le noyau accepte par calcul intégral, celle qui délègue à une réduction native rapide au prix d'un axiome supplémentaire, celle qui repose sur un certificat resté ouvert. Les trois sont légitimes ; la faute est de présenter la troisième comme la première. Elle a une variante plus discrète, que le dépôt vient de commettre contre lui-même : citer un théorème démontré sans aucun trou, mais dont l'hypothèse ne peut jamais être satisfaite là où on l'invoque. Une série de recherche s'appuyait ainsi, pour garantir son substrat, sur un énoncé vrai et vide. Aucun compteur ne pouvait le voir, puisqu'il n'y avait aucun trou à compter ; une relecture l'a vu, et l'erreur est suivie publiquement ([#17570](https://github.com/jsboige/CoursIA/issues/17570)) plutôt que corrigée en silence. L'encyclique s'impose la même règle quand elle parle de l'Église : « nous ne devons pas attendre que d'autres nous obligent à affronter des vérités dérangeantes sur nous-mêmes » (§138). Voilà, très exactement et sans métaphore, ce que *motiver, contrôler, contester* veut dire quand on le prend au sérieux : non pas revendiquer la certitude, mais publier son grade. -Il y a un corollaire que le §12 rend explicite : « accepter les limites et la fragilité de l'humanité sans les considérer comme une erreur à corriger ». Le dépôt publie ses échecs. Une expérience sur l'émergence causale conclut noir sur blanc que l'hypothèse testée *n'est pas confirmée* ([ICT-11](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb)) ; un animat doté d'un modèle interne du monde perd contre un animat purement réactif dans les régimes erratiques, et le notebook le dit ([ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb)) ; les verdicts de validation statistique du volet trading s'écrivent « améliore / n'améliore pas / non concluant », le deuxième et le troisième étant aussi publiables que le premier. Une pédagogie qui ne montrerait que ses succès enseignerait exactement la chose que le §100 dénonce : l'impression d'objectivité. +Il y a un corollaire que le §12 rend explicite : « accepter les limites et la fragilité de l'humanité sans les considérer comme une erreur à corriger ». Le dépôt publie ses échecs. Une expérience sur l'émergence causale conclut noir sur blanc que l'hypothèse testée *n'est pas confirmée* ([ICT-11](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb)) ; un animat doté d'un modèle interne du monde perd contre un animat purement réactif dans les régimes erratiques, et le notebook le dit ([ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb)) ; les verdicts de validation statistique du volet trading s'écrivent « améliore / n'améliore pas / non concluant », le deuxième et le troisième étant aussi publiables que le premier. Une pédagogie qui ne montrerait que ses succès enseignerait exactement la chose que le §100 dénonce : l'impression d'objectivité. Il faut le dire aussi honnêtement : ce sont des machines qui relisent des machines une partie du temps, et le §100 avertit que la simulation de la relation peut donner « l'illusion d'être en relation avec un sujet personnel authentique ». L'arbitre final est une personne — mais c'est une discipline à entretenir, pas un acquis. Le §150 lui donne un critère concret : que les machines soient « conçues pour aider ceux qui travaillent », au lieu que ceux-ci soient « contraints de s'adapter à la vitesse et aux exigences des machines ». Les agents du dépôt n'interrompent donc pas le mainteneur pour le faire arbitrer : ils écrivent leurs questions dans un registre qu'il lit quand il le décide. C'est la personne qui donne le rythme. La section des tensions y revient. @@ -150,4 +150,4 @@ L'encyclique tire son nom du *Magnificat* et se referme sur lui (§§243-245) : *** -*Repères. Texte intégral de l'encyclique sur [vatican.va](https://www.vatican.va/content/leo-xiv/fr/encyclicals/documents/20260515-magnifica-humanitas.html) — 245 paragraphes ; toutes les citations ci-dessus, numéros compris, ont été relevées sur le texte intégral téléchargé, non de mémoire. Chiffres du dépôt mesurés le 23 septembre 2026 : licence MIT (2022), 105 forks, 1 408 entrées dans la taxonomie des sophismes et 223 dans celle des vertus, huit langues cibles pour le chantier de traduction. Séries et objets cités : [Argument_Analysis](../../MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/) · [`SocialChoice`](../../MyIA.AI.Notebooks/GameTheory/game_theory_lean/SocialChoice/Arrow.lean) · [`CooperativeGames`](../../MyIA.AI.Notebooks/GameTheory/game_theory_lean/CooperativeGames/Shapley.lean) · [ICT-Series](../../MyIA.AI.Notebooks/IIT/ICT-Series/) · [QuantConnect](../../MyIA.AI.Notebooks/QuantConnect/) · [ICT-11](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb) · [ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb). Documents compagnons : [la lentille grothendieckienne](grothendieckian-lens.md), sur le programme de formalisation, et [la position face à la Déclaration de Leiden](leiden-declaration-position.md), sur la communauté mathématique.* +*Repères. Texte intégral de l'encyclique sur [vatican.va](https://www.vatican.va/content/leo-xiv/fr/encyclicals/documents/20260515-magnifica-humanitas.html) — 245 paragraphes ; toutes les citations ci-dessus, numéros compris, ont été relevées sur le texte intégral téléchargé, non de mémoire. Chiffres du dépôt mesurés le 23 septembre 2026 : licence MIT (2022), 105 forks, 1 408 entrées dans la taxonomie des sophismes et 223 dans celle des vertus, huit langues cibles pour le chantier de traduction. Séries et objets cités : [Argument_Analysis](../../MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/) · [`SocialChoice`](../../MyIA.AI.Notebooks/GameTheory/game_theory_lean/SocialChoice/Arrow.lean) · [`CooperativeGames`](../../MyIA.AI.Notebooks/GameTheory/game_theory_lean/CooperativeGames/Shapley.lean) · [ICT-Series](../../MyIA.AI.Notebooks/IIT/ICT-Series/) · [QuantConnect](../../MyIA.AI.Notebooks/QuantConnect/) · [ICT-11](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb) · [ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb). Documents compagnons : [la lentille grothendieckienne](grothendieckian-lens.md), sur le programme de formalisation, et [la position face à la Déclaration de Leiden](leiden-declaration-position.md), sur la communauté mathématique.* diff --git a/docs/curriculum/recherche.md b/docs/curriculum/recherche.md index f4c7e4733ae..58ef9b5d880 100644 --- a/docs/curriculum/recherche.md +++ b/docs/curriculum/recherche.md @@ -189,11 +189,11 @@ Inférence probabiliste (Infer.NET, Pyro, PyMC), théorie de l'information inté | 9 | [ICT-9 — Agence & regeneration : *reparer sa forme, ou…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-09-AgencyRegeneration-Python.ipynb) | BETA | Oui | | 10 | [ICT-10 — Grammaire des catastrophes : *l'obstacle qui…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb) | BETA | Oui | | 11 | [ICT-11 — Profils d'agence causale : à quelle échelle…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb) | BETA | Oui | -| 12 | [ICT-12 — Champs de valence et animats : rôles mesures,…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) | BETA | Oui | -| 13 | [ICT-12b — Valence APPRISE, transferable, reversible :…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12b-LearnedValence-Python.ipynb) | BETA | Oui | -| 14 | [ICT-12c — Animat prégnance/valence incarné : la…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12c-PregnanceAnimat-Python.ipynb) | BETA | Oui | -| 15 | [ICT-12d — Animat inhibé (Laborit) : contrôlabilité,…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12d-InhibitedActionAnimat-Python.ipynb) | BETA | Oui | -| 16 | [ICT-12e — Valeur de l'information pour l'animat incarné…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12e-Value-of-Information-Animat-Python.ipynb) | BETA | Oui | +| 12 | [ICT-12 — Champs de valence et animats : rôles mesures,…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) | BETA | Oui | +| 13 | [ICT-12b — Valence APPRISE, transferable, reversible :…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb) | BETA | Oui | +| 14 | [ICT-12c — Animat prégnance/valence incarné : la…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb) | BETA | Oui | +| 15 | [ICT-12d — Animat inhibé (Laborit) : contrôlabilité,…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb) | BETA | Oui | +| 16 | [ICT-12e — Valeur de l'information pour l'animat incarné…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb) | BETA | Oui | | 17 | [ICT-13 — Morphodynamique stratégique : une stratégie…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb) | BETA | Oui | | 18 | [ICT-13b — Décroisement dynamique × observable : d'où…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-13b-DecroisementDynamiqueObservable-Python.ipynb) | ALPHA | Oui | | 19 | [ICT-14 — Énergie libre et surprise du représentant…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise-Python.ipynb) | BETA | Oui | diff --git a/docs/ict/feuille-de-route-notebooks.md b/docs/ict/feuille-de-route-notebooks.md index d90713bca8d..75502e5a433 100644 --- a/docs/ict/feuille-de-route-notebooks.md +++ b/docs/ict/feuille-de-route-notebooks.md @@ -26,10 +26,10 @@ l'ordre des strates.* | **ICT-9** | [Agence & régénération](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-09-AgencyRegeneration-Python.ipynb) — **strate 2**. Morphogenèse réaction-diffusion de Gray-Scott (Pearson 1993) : un système qui **répare** sa forme vers un point de consigne **intrinsèque** après une ablation `do(·)`, l'agence **mesurée** comme *gain de réparation* (réaction-diffusion vs diffusion pure, deux mondes contrefactuels de Pearl). *Sans complaisance* : les mesures naïves de ressemblance (pixel-à-pixel, cosinus spectral) fabriquent un signal fantôme ; seule la structure restaurée contrastée au contrôle passif tient | ✅ | | **ICT-10** | [Grammaire des catastrophes](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb) — **charnière strate 2→3**, prélude sémiophysique de R. Thom. Le squelette catastrophique (fronce, pli, fourche, hystérésis) **mesuré** : le métathéorème (le comptage d'équilibres ne change qu'aux plis, clôt la strate 2) et le **lacet de prédation** (cycle d'hystérésis à 2 catastrophes + représentant interne `p̂` qui anticipe, ouvre la strate 3). La correspondance linguistique du Ch.2 de Thom (pivots ↔ transitions de comptage ; verbe transitif SVO ↔ lacet ; anticipation ↔ `p̂`) **nommée**, avec le caveat de non-prédictivité et les barreaux du pont basse-dim → haute-dim (neurosymbolique, Lean, veille EML #4653). *Sans complaisance* : hors régime non dégénéré ($a<0$), zéro saut — fantôme | ✅ | | **ICT-11** | [Profils d'agence causale](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb) — **strate 3**. L'agence de réaction-diffusion mesurée à plusieurs résolutions (micro/méso/macro) puis raccordée à l'émergence causale (Hoel, info effective, TPM à macro-variable scalaire = structure/variance du champ moyenné). *Sans complaisance* : les deux mesures d'agence se contredisent — `repair_gain` pic méso mais artefact-contaminé (score > 1, plancher de résolution), `basin_return_probability` strictement décroissante. Le raccord Hoel suit la mesure inflatée (`r≈+0.50` avec `repair_gain`) et ignore la mesure honnête (`r≈−0.14` avec `basin_return`) — suggestif mais non robuste. Verdict honnête : pas d'échelle privilégiée, l'hypothèse méso-émergente n'est pas confirmée | ✅ | -| **ICT-12** | [Champs de valence et animats](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) — **strate 3**. Premier toy model **actantiel spatial** : des animats évoluent dans un champ de valence (source attractive + obstacles repulsifs) ; la scène actantielle de Thom cesse d'être une correspondance nommée — les **rôles deviennent des grandeurs mesurées** (capture, évasion, irréversibilité, switching). Animat **réactif** (gradient instantané) vs **anticipateur `p̂`** (extrapolation). *Sans complaisance* : `p̂` **gagne** en balistique rapide (capture x4) mais **perd** en erratique (prédictions trompées par les demi-tours) et perd sur source bruitée. Le modèle interne paie son coût là où la source échappe au réactif **et** reste prévisible — régime-dépendant, ni universellement avantageux ni ruineux | ✅ | -| **ICT-12b** | [Valence apprise](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12b-LearnedValence-Python.ipynb) — **strate 3, tresse C1**. La valence cesse d'être câblée dans le champ : elle s'**apprend**, se transfère d'un contexte à l'autre et se réversibilise — prolongement direct du champ de valence d'ICT-12. Voir [#7740](https://github.com/jsboige/CoursIA/issues/7740) | ✅ | -| **ICT-12c** | [Animat prégnance/valence incarné](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12c-PregnanceAnimat-Python.ipynb) — **strate 3, tresse C1**. L'animat porte sa prégnance dans son corps et non dans le champ extérieur : la scène actantielle d'ICT-12 rejouée en incarné. Voir [#7740](https://github.com/jsboige/CoursIA/issues/7740) | ✅ | -| **ICT-12d** | [Animat inhibé (Laborit)](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12d-InhibitedActionAnimat-Python.ipynb) — **strate 3, tresse C2**. L'inhibition de l'action : quand ni la fuite ni la lutte ne sont disponibles, que devient la trajectoire ? Pendant négatif d'ICT-12, repris au niveau collectif par ICT-30. Voir [#7741](https://github.com/jsboige/CoursIA/issues/7741) | ✅ | +| **ICT-12** | [Champs de valence et animats](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) — **strate 3**. Premier toy model **actantiel spatial** : des animats évoluent dans un champ de valence (source attractive + obstacles repulsifs) ; la scène actantielle de Thom cesse d'être une correspondance nommée — les **rôles deviennent des grandeurs mesurées** (capture, évasion, irréversibilité, switching). Animat **réactif** (gradient instantané) vs **anticipateur `p̂`** (extrapolation). *Sans complaisance* : `p̂` **gagne** en balistique rapide (capture x4) mais **perd** en erratique (prédictions trompées par les demi-tours) et perd sur source bruitée. Le modèle interne paie son coût là où la source échappe au réactif **et** reste prévisible — régime-dépendant, ni universellement avantageux ni ruineux | ✅ | +| **ICT-12b** | [Valence apprise](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb) — **strate 3, tresse C1**. La valence cesse d'être câblée dans le champ : elle s'**apprend**, se transfère d'un contexte à l'autre et se réversibilise — prolongement direct du champ de valence d'ICT-12. Voir [#7740](https://github.com/jsboige/CoursIA/issues/7740) | ✅ | +| **ICT-12c** | [Animat prégnance/valence incarné](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb) — **strate 3, tresse C1**. L'animat porte sa prégnance dans son corps et non dans le champ extérieur : la scène actantielle d'ICT-12 rejouée en incarné. Voir [#7740](https://github.com/jsboige/CoursIA/issues/7740) | ✅ | +| **ICT-12d** | [Animat inhibé (Laborit)](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb) — **strate 3, tresse C2**. L'inhibition de l'action : quand ni la fuite ni la lutte ne sont disponibles, que devient la trajectoire ? Pendant négatif d'ICT-12, repris au niveau collectif par ICT-30. Voir [#7741](https://github.com/jsboige/CoursIA/issues/7741) | ✅ | | **ICT-13** | [Morphodynamique stratégique](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb) — **strate 3**. Le dilemme du prisonnier itéré d'Axelrod (T=5, R=3, P=1, S=0) sert de morphospace stratégique : six stratégies (AllC, AllD, TFT, TFT généreuse, Pavlov, Grim) en tournoi round-robin, dynamique de réplication, bassins d'invasion. Quatre gates falsifiables mesurent la « stabilité de forme ». *Sans complaisance* : **Gate 1** TFT/Grim co-dominent (2.635) ; **Gate 2** Folk theorem analytique δ* = 0.500 vs numérique 0.550 ; **Gate 3** sous bruit d'exécution la réciprocité active (TFT) est le point de rupture (chute +0.40), Grim paradoxalement le plus robuste (+0.29) — contredit la prédiction Nowak-Sigmund ; **Gate 4** bassins d'invasion : TFT/Grim dès 2%, TFT généreuse à 34%, Pavlov/AllC jamais. Verdict honnête : la robustesse stratégique est **fonction du régime**, pas une propriété intrinsèque. **Pont pédagogique** (cf. [#7733](https://github.com/jsboige/CoursIA/issues/7733) rectification A5) : la **dépendance** pédagogique, et non le gradient d'organicité, est le critère de numérotation — les **stratégies** d'Axelrod (ICT-13, strate 3) cèdent la place aux **représentations internes** qui les motivent (ICT-21 SAE + ICT-22 LLM substrat, strate 5), puis à leur mise en confrontation explicite dans la jambe argumentation ([#7289](https://github.com/jsboige/CoursIA/issues/7289), strate 6) | ✅ | | **ICT-14** | [Surprise & énergie libre](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise-Python.ipynb) — **strate 4**. La jambe énergie-libre du représentationnel : *free energy* et *expected free energy* comme substrat computationnel de l'anticipation, articulation avec la trajectoire $\Phi_\text{dyn}$ et le représentant interne `p̂` d'ICT-10. Voir issue #5089 | ✅ | | **ICT-14b** | [Inférence active — l'EFE pilote l'action](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14b-ActiveInferenceEFE-Python.ipynb) — **strate 4**. L'*expected free energy* d'ICT-14 passe du statut de quantité **observée** à celui de **pilote** de l'action : la boucle perception-action refermée sur le représentant interne `p̂`. Voir [#5089](https://github.com/jsboige/CoursIA/issues/5089) | ✅ | diff --git a/docs/ict/genealogy-representation-interne.md b/docs/ict/genealogy-representation-interne.md index 093f4991c0f..3f202b17340 100644 --- a/docs/ict/genealogy-representation-interne.md +++ b/docs/ict/genealogy-representation-interne.md @@ -22,7 +22,7 @@ Chaque maillon répond à une **insuffisance du précédent**, repérée empiriq ### Maillon 2 — ICT-12 : `p̂` au service de l'action -[`ICT-12-ValenceFieldsAndAnimats-Python`](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) (strate 3, animats dans un champ de valence) promeut `p̂` de **prédiction** à **contrôle** : l'animat anticipateur vise *où la source sera*, et le verdict compare le gain en capture/fuite au coût en erreurs sur trajectoire erratique. Le maillon 2 ne change pas la *forme* de `p̂` (toujours scalaire instantané) mais change son **rôle** dans la boucle perception-action : `p̂` n'est plus seulement mesuré pour sa qualité prédictive, il est *consommé* par une politique. ICT-12 inaugure aussi l'**opérateur `W`** (workspace, cf. [`docs/ict/dissociations-matrix.md`](dissociations-matrix.md#pourquoi-cette-ossature-4-objets)) au sens où la prédiction devient disponible à la décision — sans être un *workspace* au sens Dehaene/Baars (cf. garde-fou 2). +[`ICT-12-ValenceFieldsAndAnimats-Python`](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) (strate 3, animats dans un champ de valence) promeut `p̂` de **prédiction** à **contrôle** : l'animat anticipateur vise *où la source sera*, et le verdict compare le gain en capture/fuite au coût en erreurs sur trajectoire erratique. Le maillon 2 ne change pas la *forme* de `p̂` (toujours scalaire instantané) mais change son **rôle** dans la boucle perception-action : `p̂` n'est plus seulement mesuré pour sa qualité prédictive, il est *consommé* par une politique. ICT-12 inaugure aussi l'**opérateur `W`** (workspace, cf. [`docs/ict/dissociations-matrix.md`](dissociations-matrix.md#pourquoi-cette-ossature-4-objets)) au sens où la prédiction devient disponible à la décision — sans être un *workspace* au sens Dehaene/Baars (cf. garde-fou 2). ### Maillon 3 — ICT-14 : la *free energy* attachée à `p̂` @@ -88,7 +88,7 @@ L'audit GitHub cross-notebooks **ne trouve aucun transport formel** de `p̂` ver ## Repères vérifiables - Série ICT : [`MyIA.AI.Notebooks/IIT/ICT-Series/`](../../MyIA.AI.Notebooks/IIT/ICT-Series/) ([Epic #4588](https://github.com/jsboige/CoursIA/issues/4588)). -- Notebooks-ancrage du quatrième fil : [ICT-10](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb), [ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb), [ICT-14](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise-Python.ipynb), [ICT-15](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15-IntegratedComplexity-Python.ipynb), [ICT-16](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode-Python.ipynb), [ICT-17](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17-EpsilonMachine-Python.ipynb). +- Notebooks-ancrage du quatrième fil : [ICT-10](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb), [ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb), [ICT-14](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise-Python.ipynb), [ICT-15](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15-IntegratedComplexity-Python.ipynb), [ICT-16](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode-Python.ipynb), [ICT-17](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17-EpsilonMachine-Python.ipynb). - Doc companion obstruction/recollement : [`docs/cadrage/grothendieckian-lens.md`](../cadrage/grothendieckian-lens.md) (§3 — cadrage `p̂`/`q_t` vs prégnance, post-A1 PR #7889). - Grille 3-régimes : [`docs/ict/synthese-invariants-dissociations-obstructions.md`](synthese-invariants-dissociations-obstructions.md) (le quatrième fil est orthogonal à cette grille). - Matrice de dissociations : [`docs/ict/dissociations-matrix.md`](dissociations-matrix.md) (la colonne `q_t` est indexée par le quatrième fil). diff --git a/docs/ict/ict12-valence-note-de-conception.md b/docs/ict/ict12-valence-note-de-conception.md new file mode 100644 index 00000000000..2f4126d2733 --- /dev/null +++ b/docs/ict/ict12-valence-note-de-conception.md @@ -0,0 +1,44 @@ +## Note de conception — tranche ICT-12 « Valence / Animats » (ICT-12 + 12b + 12c + 12d + 12e) — phase 2 + +Lane `myia-po-2027:CoursIA-2`, tranche de la consolidation par escaliers (#20298), après le palier 10 (ICT-15/, #22289), le palier 14 (ICT-19/, #22780) et la tranche ICT-14 (ICT-14/, #22798). + +### Plateau mesure (origin/main = `a9bfa41b15e1`) +- Famille ICT-12 : **5 carnets** — `ICT-12-ValenceFieldsAndAnimats` (tête), `ICT-12b-LearnedValence`, `ICT-12c-PregnanceAnimat`, `ICT-12d-InhibitedActionAnimat`, `ICT-12e-Value-of-Information-Animat` — aucun asset PNG propre. +- Aucune PR ouverte de consolidation ne touche `ICT-12*` (vérifié via l'API search) ; aucun claim actif d'une autre lane sur ces chemins. Les claims du fil #20298 sont ICT-15/ICT-19/ICT-14 (cette lane) et ICT-20 (ai-01) ; le seul claim ICT large est un claim **épique** stale >48 h — les tranches à scope de chemin précis procèdent (précédents paliers 10, 14, 19, même situation). + +### Argument pédagogique (règle notebook-accretion-numbering) +La doctrine « escalier » de la carte #20298 : les expériences dans l'ordre où l'on s'est rendu compte qu'on entrait dans le sujet naivement. L'escalier ICT-12 (5 carnets, arc Valence → Animat) : +- **ICT-12 (tête)** : premier toy model **actantiel spatial** — des animats dans un champ de valence ; les rôles actantiels de Thom deviennent des **grandeurs mesurées** (capture, évasion, irréversibilité, switching). Verdict honnête : l'anticipateur `p̂` **gagne** en balistique, **perd** en erratique — le modèle interne paie son coût où la source échappe au réactif *et* reste prévisible (régime-dépendant). +- **ICT-12b (membre)** : l'expérience manquante (#7740) — la valence n'est plus *programmée*, elle est **apprise** (Rescorla-Wagner), **transférable** et **réversible**, et surtout **distincte de la prédiction** (π vs `p̂`) — sur banc désincarné. +- **ICT-12c (membre)** : la dissociation `p̂`/π **incarnée** (#7740, jambe C1) — l'animat porte la valence apprise dans l'arène ; la matrice de dissociation montre que prégnance et représentation restent deux grandeurs distinctes, même incarnées. +- **ICT-12d (membre)** : le pendant négatif (#7741, jambe C2) — **inhibition de l'action** (Laborit) : l'opérateur de workspace `W` qui *s'effondre* sous inhibition (rigidification, dette d'irréversibilité). +- **ICT-12e (membre)** : la **valeur de l'information** pour l'animat décisionnel (#13569, greffe 3) — le carnet *pose* le problème et *laisse les organes natifs du dépôt calculer* (`ict.voi` + `Probas/DecisionTheory/voi`, Infer.NET × PyMC en contrôle croisé). + +Le regroupement dans `ICT-12/` préserve ce récit ordonné (mesure → apprentissage → incarnation → inhibition → décision). + +### Mouvement (6 étapes) +1. `git mv` des 5 carnets vers `MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/` (5 renames, **100 % de similarité**). **Aucun renommage de fichier** : les noms `ICT-12*` sont conservés, seul le dossier regroupe. +2. **Réparation des liens** — ce qui distingue cette tranche des paliers 10/14/19 : les 5 carnets portent **26 liens relatifs sortants** vers le reste de la série (`../../Probas/…`, `../../../docs/…`, `ict/…`, les siblings `ICT-13/18/30`, `../README.md`, `ICT-0-Framing.md`). Descendre d'un niveau les casse tous : **26 liens sortants des cellules markdown** re-préfixés d'un `../` (les **14 liens intra-famille** `ICT-12*` restent sans préfixe — les 5 carnets sont désormais *siblings*). Côté entrant : **32 refs de chemin sur 10 fichiers** préfixées d'`ICT-12/` — `ICT-Series/README.md`, `thom-synthese-distillation.md`, le carnet frère `ICT-Synthese-CrossSubstrat`, et 7 docs (`cadrage/grothendieckian-lens`, `cadrage/magnifica-humanitas-dialogue`, `curriculum/recherche`, `ict/feuille-de-route-notebooks`, `ict/genealogy-representation-interne`, `ict/tresse-cartographie`, `notebook-metadata/scientific-review-registry`). +3. `docs/reference/rename-ledger.tsv` : 5 entrées append (ancien → nouveau chemin). +4. `pedagogy_density_baseline.json` : 5 clés déportées (valeurs préservées) + `baseline_nb_nav_chain.json` : 1 clé (garde LOST_KEY/ORPHAN_KEY #13815/#16122). +5. Note de conception committée. + +### Non-touché (délibéré) +- `COURSE_CATALOG.generated.*` : byte-identique à `main` (règle catalog-pr-hygiene) ; `_quarto.yml`, `translations/iit/iit.csv` : non touchés — l'automatisation les régénérera. +- `docs/ledgers/11690-ict-consolidation.md` : les 5 occurrences `### \`ICT-12…ipynb\`` sont des **mentions nues** en backticks (l'en-tête de lecture du carnet), pas des liens de chemin — non cassantes, non touchées. +- Les **5 entrées historiques** du `rename-ledger.tsv` (2026-10-01, ajout du suffixe `-Python`) : conservées telles quelles ; les 5 nouvelles entrées sont en append. +- `scripts/tests/test_detect_organ_duplication.py` : la mention `ICT-12e-…ipynb` y est une **donnée synthétique de test** (un diff factice pour l'organe de détection de duplication d'organe), pas un chemin de navigation — non cassante, non touchée. +- Les **mentions de sujet** nues (`ICT-12 (valence)`, cellules de tables) : le **nom** du carnet ne change pas, seule sa position de dossier change — non cassantes, non touchées. +- Les carnets `ICT-14`/`ICT-15`/`ICT-19` (PRs #22798/#22289/#22780 de cette lane) : leurs mentions d'ICT-12 sont **nues** (nom, pas chemin) — **aucune collision** avec ces PRs. + +### Ré-exécution +Aucune cellule **code** n'est modifiée : le seul contenu de cellule touché dans les 5 carnets déplacés est des **cellules markdown** (réparation des liens sortants, 26 liens), plus des liens dans d'autres fichiers. Règle C.2, exception markdown. Pas de re-exec due — les outputs committés restent les preuves d'exécution. Précédents : #22289, #22780, #22798. + +### Validation +- `git mv` : 5 renames à **100 % de similarité** (0 insertion / 0 suppression sur le contenu de rename). +- Liens sortants : 26 réécritures, appliquées **uniquement sur les cellules markdown** (script à vérification par cellule : le compte de chaque token dans le fichier brut == son compte dans les cellules markdown → aucun token dans un `outputs`/code n'est touché). +- Liens entrants : 32 préfixations sur 10 fichiers (garde anti-double-prefixe). +- `pedagogy_density.py --check-orphans` : **0 ORPHAN_KEY / 0 LOST_KEY pour ICT-12** (6 clés déportées présentes à l'ancien chemin vidé). Les `ORPHAN_KEY` restants sont en `GameTheory`/`GenAI`/`ML` : dette de baseline **pré-existante sur `main`**, hors périmètre (le diff ne touche que des chemins `ICT-12`). + +### Questions ouvertes : aucune +Le mouvement est mécaniquement et pédagogiquement non ambigu (5 carnets, tête + 4 membres, sous-dossier du même nom `ICT-12/`, namespace neuf — aucun `ICT-12/` préexistant). diff --git a/docs/ict/tresse-cartographie.md b/docs/ict/tresse-cartographie.md index 4038cceabfc..84d604b013a 100644 --- a/docs/ict/tresse-cartographie.md +++ b/docs/ict/tresse-cartographie.md @@ -97,7 +97,7 @@ Quatre opérations, chacune avec son ancrage dans le dépôt, ses aboutissants o **Ancrage dépôt.** - [`MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md`](../../MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md) — distillation PR [#9534](https://github.com/jsboige/CoursIA/pull/9534) MERGED 2026-08-05T01:55:30Z par jsboige, distillation Ch.1 à Ch.8 de *Sémiophysique* (1991) pour le **socle transverse** des strates hautes (langage / circulation de prégnances, genres comme espaces de possibles extensibles) — un socle de lecture, **pas un barreau** de l'axe vertical (divergence 2 de [#13908](https://github.com/jsboige/CoursIA/issues/13908)). - [ICT-10-CatastropheGrammar-Python.ipynb](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb) — la catastrophe fronce, le métathéorème, le lacet de prédation (cycle d'hystérésis à 2 catastrophes avec perception J et capture K, aire signée non nulle, représentant interne `p̂`). -- [ICT-12-ValenceFieldsAndAnimats-Python.ipynb](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) — prolonge ICT-10 en mesurant les rôles actantiels (capture, évasion, irréversibilité, switching). L'animat anticipateur `p̂` y gagne en balistique, perd en erratique. +- [ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) — prolonge ICT-10 en mesurant les rôles actantiels (capture, évasion, irréversibilité, switching). L'animat anticipateur `p̂` y gagne en balistique, perd en erratique. **Aboutissants opérationnels dans la série ICT.** - Le *lacet de prédation* d'ICT-10 = hystérésis à 2 catastrophes ; c'est la **mesure** Thom-compatible la plus directe dans la série (aire signée non nulle sur cycle perception-capture). diff --git a/docs/notebook-metadata/scientific-review-registry.md b/docs/notebook-metadata/scientific-review-registry.md index 219f67022f8..244e0340c96 100644 --- a/docs/notebook-metadata/scientific-review-registry.md +++ b/docs/notebook-metadata/scientific-review-registry.md @@ -294,31 +294,31 @@ fera se périmer dès que le code de la série bougera. review_date: "2026-09-21" evidence_pr: "#14831" notes: "Recherche active — appréciation posée au sign-off du schéma." -- notebook_path: IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb +- notebook_path: IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb confidence: research reviewed_code_sha: 4bd52d81b4f2544a47c1a782de08927bb978f38ca85fa7873ddd4e978b9e8760 review_date: "2026-09-21" evidence_pr: "#14831" notes: "Recherche active — appréciation posée au sign-off du schéma." -- notebook_path: IIT/ICT-Series/ICT-12b-LearnedValence-Python.ipynb +- notebook_path: IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb confidence: research reviewed_code_sha: fd2fcc293543c537a4e0c7477d0729eb7b8b321fa8eab194c1d8e3b424dcd926 review_date: "2026-09-21" evidence_pr: "#14831" notes: "Recherche active — appréciation posée au sign-off du schéma." -- notebook_path: IIT/ICT-Series/ICT-12c-PregnanceAnimat-Python.ipynb +- notebook_path: IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb confidence: research reviewed_code_sha: 60af22936f3a15fc94cbeed9e864952e0026d5af20e9c3c082ec918ec237b28c review_date: "2026-09-21" evidence_pr: "#14831" notes: "Recherche active — appréciation posée au sign-off du schéma." -- notebook_path: IIT/ICT-Series/ICT-12d-InhibitedActionAnimat-Python.ipynb +- notebook_path: IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb confidence: research reviewed_code_sha: 44c3406ede520ac19295c8d46ac29324e1286d73141e4caf0b436360f8849a84 review_date: "2026-09-21" evidence_pr: "#14831" notes: "Recherche active — appréciation posée au sign-off du schéma." -- notebook_path: IIT/ICT-Series/ICT-12e-Value-of-Information-Animat-Python.ipynb +- notebook_path: IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb confidence: research reviewed_code_sha: 865df6eec48b8704606ededa7b24a92bdc98da851b3f05c274a7c70aa0e186ec review_date: "2026-09-21" diff --git a/docs/reference/rename-ledger.tsv b/docs/reference/rename-ledger.tsv index 79b3f7a66cd..69ac9880ae4 100644 --- a/docs/reference/rename-ledger.tsv +++ b/docs/reference/rename-ledger.tsv @@ -353,3 +353,8 @@ MyIA.AI.Notebooks/GameTheory/GameTheory-03g-Deux-Especes-de-Fleches-Python.ipynb MyIA.AI.Notebooks/Search/Applications/Search/App-32-Szpiro-Pasten-2026.ipynb MyIA.AI.Notebooks/Search/App-32-Szpiro-Pasten-2026.ipynb 2026-10-20 myia-po-2023:CoursIA-2 MyIA.AI.Notebooks/Search/Applications/Adversarial/App-14b-ConnectFour.ipynb MyIA.AI.Notebooks/Search/Applications/Adversarial/App-12b-ConnectFour.ipynb 2026-10-23 myia-po-2023:CoursIA-2 MyIA.AI.Notebooks/Search/Applications/Adversarial/App-14c-ConnectFour-CSharp.ipynb MyIA.AI.Notebooks/Search/Applications/Adversarial/App-12c-ConnectFour.ipynb 2026-10-23 myia-po-2023:CoursIA-2 +MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb 2026-10-27 myia-po-2027:CoursIA-2 +MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12b-LearnedValence-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb 2026-10-27 myia-po-2027:CoursIA-2 +MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12c-PregnanceAnimat-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb 2026-10-27 myia-po-2027:CoursIA-2 +MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12d-InhibitedActionAnimat-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb 2026-10-27 myia-po-2027:CoursIA-2 +MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12e-Value-of-Information-Animat-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb 2026-10-27 myia-po-2027:CoursIA-2 diff --git a/scripts/notebook_tools/pedagogy_density_baseline.json b/scripts/notebook_tools/pedagogy_density_baseline.json index 143f3304403..b6bb6123a3c 100644 --- a/scripts/notebook_tools/pedagogy_density_baseline.json +++ b/scripts/notebook_tools/pedagogy_density_baseline.json @@ -444,11 +444,11 @@ "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-09-AgencyRegeneration-Python.ipynb": 1337.636, "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb": 1806.444, "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb": 2038.909, - "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb": 1313.545, - "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12b-LearnedValence-Python.ipynb": 805.1, - "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12c-PregnanceAnimat-Python.ipynb": 1426.0, - "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12d-InhibitedActionAnimat-Python.ipynb": 1351.667, - "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12e-Value-of-Information-Animat-Python.ipynb": 1390.75, + "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb": 1313.545, + "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb": 805.1, + "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb": 1426.0, + "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb": 1351.667, + "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb": 1390.75, "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb": 1182.143, "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-13b-DecroisementDynamiqueObservable-Python.ipynb": 1538.636, "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise-Python.ipynb": 1798.875, diff --git a/scripts/tests/baseline_nb_nav_chain.json b/scripts/tests/baseline_nb_nav_chain.json index cc5f732f062..a05a2797aa9 100644 --- a/scripts/tests/baseline_nb_nav_chain.json +++ b/scripts/tests/baseline_nb_nav_chain.json @@ -447,7 +447,7 @@ }, { "kind": "orphan_entry", - "notebook": "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12e-Value-of-Information-Animat-Python.ipynb", + "notebook": "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb", "series": "MyIA.AI.Notebooks/IIT/ICT-Series" }, { From 79450febe734bde275dbf08d921be00e483f8453 Mon Sep 17 00:00:00 2001 From: "Claude Haiku 4.5 (1M context)" Date: Tue, 27 Oct 2026 14:21:49 +0100 Subject: [PATCH 2/4] fix(ict,#20298): note de conception ICT-12 -- indexee, et ses deux compteurs de prose retires MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Deux rouges sur la tete de la PR, tous deux sur le meme fichier : 1. docs-index-guard -- `docs/ict/ict12-valence-note-de-conception.md` etait inatteignable depuis docs/README.md (271/272). Ajoute a la table ICT des syntheses, avec un role qui dit ce que la note apporte. 2. prose-counts -- deux compteurs quantitatifs en prose, les deux occurrences de « 10 fichiers » (la mesure du nombre de fichiers porteurs de refs entrantes). La doctrine (#9377) tient ces nombres par le CI, pas par la prose : la mesure est supprimee, le predicat conserve (« 32 refs de chemin, reparties sur les fichiers porteurs »). La mesure de densite pedagogique de cette branche est verifiee au passage : le baseline ne bouge que de 5 cles deplacees, valeurs inchangees (0 cle commune modifiee) -- le defaut de regeneration rencontre sur #22289 n'est pas ici. Verification : `python scripts/check_docs_index.py` -> OK 272/272 ; `check_prose_quantitative_claims.py --diff origin/main...HEAD --strict` -> OK. Co-Authored-By: Claude Haiku 5.5 --- docs/README.md | 1 + docs/ict/ict12-valence-note-de-conception.md | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/README.md b/docs/README.md index ab5b069be50..2d7fbd6e5d4 100644 --- a/docs/README.md +++ b/docs/README.md @@ -209,6 +209,7 @@ Documentation de cadrage et de synthèse de la série ICT (strate 7) — tous ** | [ict/hoffman-interface-distillation-case13.md](ict/hoffman-interface-distillation-case13.md) | Case 13 — Hoffman interface theory : toy N=16 RÉFUTE la mise à l'échelle monotone de la dissociation FBT | | [ict/hoffman-interface-distillation-case14.md](ict/hoffman-interface-distillation-case14.md) | Case 14 — Hoffman interface theory : toy N=8, M=2, compression bit2 → NULL INSTRUMENTAL | | [ict/hoffman-interface-distillation.md](ict/hoffman-interface-distillation.md) | Case 11 — Hoffman interface theory : toy falsifiable en 2-bit | +| [ict/ict12-valence-note-de-conception.md](ict/ict12-valence-note-de-conception.md) | Note de conception — tranche ICT-12 « Valence / Animats » : pourquoi le regroupement en `ICT-12/` suit l'escalier valence → animat, mouvement et validation | ### Pré-enregistrements, distillations et prototypes (docs/ict/) diff --git a/docs/ict/ict12-valence-note-de-conception.md b/docs/ict/ict12-valence-note-de-conception.md index 2f4126d2733..dbffe089fbb 100644 --- a/docs/ict/ict12-valence-note-de-conception.md +++ b/docs/ict/ict12-valence-note-de-conception.md @@ -18,7 +18,7 @@ Le regroupement dans `ICT-12/` préserve ce récit ordonné (mesure → apprenti ### Mouvement (6 étapes) 1. `git mv` des 5 carnets vers `MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/` (5 renames, **100 % de similarité**). **Aucun renommage de fichier** : les noms `ICT-12*` sont conservés, seul le dossier regroupe. -2. **Réparation des liens** — ce qui distingue cette tranche des paliers 10/14/19 : les 5 carnets portent **26 liens relatifs sortants** vers le reste de la série (`../../Probas/…`, `../../../docs/…`, `ict/…`, les siblings `ICT-13/18/30`, `../README.md`, `ICT-0-Framing.md`). Descendre d'un niveau les casse tous : **26 liens sortants des cellules markdown** re-préfixés d'un `../` (les **14 liens intra-famille** `ICT-12*` restent sans préfixe — les 5 carnets sont désormais *siblings*). Côté entrant : **32 refs de chemin sur 10 fichiers** préfixées d'`ICT-12/` — `ICT-Series/README.md`, `thom-synthese-distillation.md`, le carnet frère `ICT-Synthese-CrossSubstrat`, et 7 docs (`cadrage/grothendieckian-lens`, `cadrage/magnifica-humanitas-dialogue`, `curriculum/recherche`, `ict/feuille-de-route-notebooks`, `ict/genealogy-representation-interne`, `ict/tresse-cartographie`, `notebook-metadata/scientific-review-registry`). +2. **Réparation des liens** — ce qui distingue cette tranche des paliers 10/14/19 : les 5 carnets portent **26 liens relatifs sortants** vers le reste de la série (`../../Probas/…`, `../../../docs/…`, `ict/…`, les siblings `ICT-13/18/30`, `../README.md`, `ICT-0-Framing.md`). Descendre d'un niveau les casse tous : **26 liens sortants des cellules markdown** re-préfixés d'un `../` (les **14 liens intra-famille** `ICT-12*` restent sans préfixe — les 5 carnets sont désormais *siblings*). Côté entrant : **32 refs de chemin** préfixées d'`ICT-12/`, réparties sur les fichiers porteurs — `ICT-Series/README.md`, `thom-synthese-distillation.md`, le carnet frère `ICT-Synthese-CrossSubstrat`, et 7 docs (`cadrage/grothendieckian-lens`, `cadrage/magnifica-humanitas-dialogue`, `curriculum/recherche`, `ict/feuille-de-route-notebooks`, `ict/genealogy-representation-interne`, `ict/tresse-cartographie`, `notebook-metadata/scientific-review-registry`). 3. `docs/reference/rename-ledger.tsv` : 5 entrées append (ancien → nouveau chemin). 4. `pedagogy_density_baseline.json` : 5 clés déportées (valeurs préservées) + `baseline_nb_nav_chain.json` : 1 clé (garde LOST_KEY/ORPHAN_KEY #13815/#16122). 5. Note de conception committée. @@ -37,7 +37,7 @@ Aucune cellule **code** n'est modifiée : le seul contenu de cellule touché dan ### Validation - `git mv` : 5 renames à **100 % de similarité** (0 insertion / 0 suppression sur le contenu de rename). - Liens sortants : 26 réécritures, appliquées **uniquement sur les cellules markdown** (script à vérification par cellule : le compte de chaque token dans le fichier brut == son compte dans les cellules markdown → aucun token dans un `outputs`/code n'est touché). -- Liens entrants : 32 préfixations sur 10 fichiers (garde anti-double-prefixe). +- Liens entrants : 32 préfixations, réparties sur les fichiers porteurs (garde anti-double-prefixe). - `pedagogy_density.py --check-orphans` : **0 ORPHAN_KEY / 0 LOST_KEY pour ICT-12** (6 clés déportées présentes à l'ancien chemin vidé). Les `ORPHAN_KEY` restants sont en `GameTheory`/`GenAI`/`ML` : dette de baseline **pré-existante sur `main`**, hors périmètre (le diff ne touche que des chemins `ICT-12`). ### Questions ouvertes : aucune From f1a77bc814d5bd60296565705218d2400f5866ed Mon Sep 17 00:00:00 2001 From: "Claude Haiku 4.5 (1M context)" Date: Wed, 28 Oct 2026 12:04:38 +0100 Subject: [PATCH 3/4] Refactor(ict,#20298): renommer la sous-serie ICT-12/ en ICT-12-ValenceFieldsAndAnimats/ Convention de nommage #22949 (ICT--/, NN = numero du carnet tete, Sujet = son nom sans le suffixe -Python). Renommage du dossier de sous-serie uniquement : aucun fichier n'est renomme. - git mv ICT-12/ -> ICT-12-ValenceFieldsAndAnimats/ (5 carnets : tete + 12b/12c/12d/12e, detectes a 100 % de similarite) - 38 reecritures de chemin dans 12 fichiers : liens de navigation (README, thom-synthese, ICT-Synthese-CrossSubstrat), docs (cadrage/curriculum/ict/notebook-metadata), cles de baseline (pedagogy_density, nav_chain) - 5 entrees append dans docs/reference/rename-ledger.tsv (ancien -> nouveau) - addendum dans la note de conception (convention #22949 appliquee) Gates verts : pedagogy_density (0 ORPHAN/LOST ICT-12), navlinks (0 casse), nav-chain (0 orphan ICT-12), check_docs_index (272 OK). Pas de dossier a numero nu. See #20298, See #22949 Co-Authored-By: Claude Haiku 5.5 --- .../ICT-12-ValenceFieldsAndAnimats-Python.ipynb | 0 .../ICT-12b-LearnedValence-Python.ipynb | 0 .../ICT-12c-PregnanceAnimat-Python.ipynb | 0 .../ICT-12d-InhibitedActionAnimat-Python.ipynb | 0 .../ICT-12e-Value-of-Information-Animat-Python.ipynb | 0 .../IIT/ICT-Series/ICT-Synthese-CrossSubstrat.ipynb | 2 +- MyIA.AI.Notebooks/IIT/ICT-Series/README.md | 10 +++++----- .../IIT/ICT-Series/thom-synthese-distillation.md | 10 +++++----- docs/cadrage/grothendieckian-lens.md | 2 +- docs/cadrage/magnifica-humanitas-dialogue.md | 4 ++-- docs/curriculum/recherche.md | 10 +++++----- docs/ict/feuille-de-route-notebooks.md | 8 ++++---- docs/ict/genealogy-representation-interne.md | 4 ++-- docs/ict/ict12-valence-note-de-conception.md | 2 ++ docs/ict/tresse-cartographie.md | 2 +- docs/notebook-metadata/scientific-review-registry.md | 10 +++++----- docs/reference/rename-ledger.tsv | 5 +++++ scripts/notebook_tools/pedagogy_density_baseline.json | 10 +++++----- scripts/tests/baseline_nb_nav_chain.json | 2 +- 19 files changed, 44 insertions(+), 37 deletions(-) rename MyIA.AI.Notebooks/IIT/ICT-Series/{ICT-12 => ICT-12-ValenceFieldsAndAnimats}/ICT-12-ValenceFieldsAndAnimats-Python.ipynb (100%) rename MyIA.AI.Notebooks/IIT/ICT-Series/{ICT-12 => ICT-12-ValenceFieldsAndAnimats}/ICT-12b-LearnedValence-Python.ipynb (100%) rename MyIA.AI.Notebooks/IIT/ICT-Series/{ICT-12 => ICT-12-ValenceFieldsAndAnimats}/ICT-12c-PregnanceAnimat-Python.ipynb (100%) rename MyIA.AI.Notebooks/IIT/ICT-Series/{ICT-12 => ICT-12-ValenceFieldsAndAnimats}/ICT-12d-InhibitedActionAnimat-Python.ipynb (100%) rename MyIA.AI.Notebooks/IIT/ICT-Series/{ICT-12 => ICT-12-ValenceFieldsAndAnimats}/ICT-12e-Value-of-Information-Animat-Python.ipynb (100%) diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb similarity index 100% rename from MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb rename to MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12b-LearnedValence-Python.ipynb similarity index 100% rename from MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb rename to MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12b-LearnedValence-Python.ipynb diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12c-PregnanceAnimat-Python.ipynb similarity index 100% rename from MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb rename to MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12c-PregnanceAnimat-Python.ipynb diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12d-InhibitedActionAnimat-Python.ipynb similarity index 100% rename from MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb rename to MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12d-InhibitedActionAnimat-Python.ipynb diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12e-Value-of-Information-Animat-Python.ipynb similarity index 100% rename from MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb rename to MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12e-Value-of-Information-Animat-Python.ipynb diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Synthese-CrossSubstrat.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Synthese-CrossSubstrat.ipynb index 387128f860c..001cceede6e 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Synthese-CrossSubstrat.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Synthese-CrossSubstrat.ipynb @@ -99,7 +99,7 @@ "| **[ICT-9](ICT-09-AgencyRegeneration-Python.ipynb)** | Quand un système répare-t-il *sa propre* forme (agence) ? | Agence = **gain de réparation > 0** (réaction-diffusion vs diffusion pure) ; mesure naïve = signal fantôme | gain=1.22 ; cosinus spectral RD 0.631 **<** diffusion 0.735 (fantôme) ; sweep 9/9 positif (moy 1.26) |\n", "| **[ICT-10](ICT-10-CatastropheGrammar-Python.ipynb)** | La grammaire des catastrophes est-elle mesurable ? $\\hat p$ anticipe-t-il ? | OUI en régime non dégénéré ($a<0$) ; hors régime = **fantôme**. $\\hat p$ : avantage **régime-dépendant** | comptage [1,3], 2 transitions ; lacet aire signée +1.633 ; $\\hat p$ horizon-4 0.055 vs persistance 0.101 ; $a$=+0.5 → 0 saut |\n", "| **[ICT-11](ICT-11-CausalAgencyProfiles-Python.ipynb)** | À quelle échelle l'agence est-elle la plus lisible ? | **Résultat négatif robuste** : pas de granularité privilégiée | 2 mesures se contredisent ; effectiveness↔repair\\_gain $r$=+0.50 mais ↔basin\\_return $r$=−0.14 ; effectiveness sans sommet (0.71/0.50/0.79/0.63) |\n", - "| **[ICT-12](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb)** | Dans quels environnements le modèle interne $\\hat p$ paie-t-il son coût ? | **Régime-dépendant** : $\\hat p$ paie **où la source échappe au réactif ET reste prévisible** | balistique rapide capture $\\hat p$ 0.072 vs réactif 0.018 ; anticipation $\\hat p$ 2.44 vs persistance 14.95 (balist.) mais **perd** en bruité (0.62 vs 0.23) |\n", + "| **[ICT-12](ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb)** | Dans quels environnements le modèle interne $\\hat p$ paie-t-il son coût ? | **Régime-dépendant** : $\\hat p$ paie **où la source échappe au réactif ET reste prévisible** | balistique rapide capture $\\hat p$ 0.072 vs réactif 0.018 ; anticipation $\\hat p$ 2.44 vs persistance 14.95 (balist.) mais **perd** en bruité (0.62 vs 0.23) |\n", "| **[ICT-13](ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb)** | Une stratégie est-elle une forme stable ? | Stable **seulement dans un paysage donné** ; TFT gagne sans bruit mais s'effondre ; correction honnête : **grim** chute le moins | sans bruit TFT/grim 2.635, AllD 2.313 ; $\\delta^*$=0.5 (num. 0.55) ; chute sous bruit TFT +0.399 vs grim +0.287 ; invasion TFT/grim 0.02, pavlov/allc jamais (1.0) |\n", "\n", "### Strates 4-5 — les jambes que ce capstone consomme (gates 4-6)\n", diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/README.md b/MyIA.AI.Notebooks/IIT/ICT-Series/README.md index b6400b5831a..620a9f9b382 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/README.md +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/README.md @@ -138,11 +138,11 @@ Les **traces pré-extraites** (fixtures `.npz` dans `traces/`) supportent les no | Document | Contenu | |----------|---------| | [ICT-11-CausalAgencyProfiles-Python](ICT-11-CausalAgencyProfiles-Python.ipynb) | Profils d'agence causale — *à quelle échelle l'agence est-elle la plus lisible ?* Ouvre la strate 3. L'agence de réaction-diffusion d'ICT-9 est mesurée à plusieurs résolutions (micro/méso/macro) puis raccordée à l'émergence causale de Hoel (information effective, TPM à macro-variable scalaire = structure/variance du champ moyenné). *Sans complaisance* : les deux mesures d'agence **se contredisent** — `repair_gain` présente un pic méso (`b=16`) mais **artefact-contaminé** (sur-reconstruction : le score dépasse 1, et un plancher de résolution à `b=32`), tandis que `basin_return_probability` est **strictement décroissante** avec l'échelle. Le raccord Hoel suit la mesure inflatée (`r≈+0.50` avec `repair_gain`) et ignore la mesure honnête (`r≈−0.14` avec `basin_return`) — suggestif mais non robuste. Verdict honnête : pas d'échelle privilégiée, l'hypothèse méso-émergente n'est pas confirmée | -| [ICT-12-ValenceFieldsAndAnimats-Python](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) | Champs de valence et animats — *rôles mesurés, modèle interne payant ou ruineux ?* Premier toy model **actantiel spatial** : des animats évoluent dans un champ de valence (source attractive + obstacles repulsifs) ; la scène actantielle de Thom cesse d'être une correspondance nommée — les **rôles deviennent des grandeurs mesurées** (capture, évasion, irréversibilité, switching). Deux animats : le **réactif** suit le gradient instantané (persistance spatiale), l'**anticipateur `p̂`** extrapole le point d'interception. *Sans complaisance* : `p̂` **gagne** en balistique rapide (capture x4, le réactif laggué ne suit pas) mais **perd** en erratique (prédictions trompées par les demi-tours) et perd en anticipation sur source bruitée (la vitesse EMA amplifie le bruit de position). Le modèle interne paie son coût là où la source échappe au réactif **et** reste prévisible — régime-dépendant, ni universellement avantageux ni ruineux (contrôle d'ablation : la marche aléatoire ne porte aucune signature de rôle) | -| [ICT-12b-LearnedValence-Python](ICT-12/ICT-12b-LearnedValence-Python.ipynb) | Valence **apprise**, transférable, réversible — *l'expérience manquante* (#7740, banc désincarné). L'envers exact de ICT-12 : la valence n'est plus un champ gaussien *programmé*, elle est **acquise** par conditionnement Pavlovien (règle de Rescorla-Wagner : $\\Delta\\pi = \\text{lr}(v_\\text{source} - \\pi)$, neutre à l'init). Trois verdicts falsifiables sur banc désincarné (un signal = un index, sans corps) : **transfert** (un neutre co-occurrençant une source devient attractif *par lui-même*, un contrôle non-conditionné reste neutre — pas de fuite de l'inné vers tout), **distinctness vs prédiction** ($\\pi$ monte alors que l'erreur $\\hat p$ est invariante — le banc passe le vecteur $\\pi$ au prédicteur pour qu'un re-vêtement `p̂ = 1 - π` soit *réfutable*, contrôle négatif inclus), **réversibilité** (acquisition et extinction partagent la même règle → $\\pi$ acquise puis éteinte). Banc algorithmique additif (`LearnedValence`) que ICT-12c incarne ensuite | -| [ICT-12c-PregnanceAnimat-Python](ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb) | Animat **prégnance/valence incarné** — *la dissociation $\\hat p$ / $\\pi$* (#7740, jambe C1). Pousse ICT-12b hors de son banc désincarné : un animat qui se déplace, a un état interne (la faim), et choisit ses actions. `PregnanceAnimat` couple un modèle prédictif $\\hat p$ (réutilise `predict_source` + baselines adverses), une valence apprise $\\pi$ (réutilise `LearnedValence`) et un drive `hunger`, via une politique $a_t = f(\\pi + \\text{intrinsic}, \\text{hunger})$ ; le conditionnement est Pavlovien incarné (neutre *tethered* à la source → co-occurrence). **La porte scientifique est une matrice de dissociation**, pas un printout par mesure : le régime **erratique** détruit $\\hat p$ (l'EMA-vitesse sur-réagit aux demi-tours ; ratio erreur $\\hat p$/persistance 0.68–0.95 vs 0.14–0.23 en balistique, robuste 8/8 seeds) **MAIS** laisse intact le conditionnement Rescorla-Wagner (qui ne dépend que de la co-occurrence, pas de la prévisibilité) → transfert + engagement d'action + réversibilité **tiennent**. Verdict : prégnance et représentation sont **deux grandeurs dissociables**, même incarnées. *Portée honnête* : les **six mesures** 1/2/3/4/5/6 + dissociation. Les mesures 4 (FE adaptive) et 5 (information prédictive), différées en PR-A, sont désormais **livrées** (§7) : `free_energy` mode `fixed` = habillage du MSE (gate 1), précision *adaptive* amortit l'explosion erratique (gate 2), et $I(\\hat q;o)$ y est *anti-corrélée* au MSE (plafond épistémique) — **trois lecteurs orthogonaux** de $\\hat q$ | -| [ICT-12d-InhibitedActionAnimat-Python](ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb) | Animat **inhibé (Laborit)** — *contrôlabilité, rigidification, dette d'irréversibilité* (#7741, jambe C2). Parallèle à C1 (ICT-12c) : non plus séparer deux grandeurs qui *tiennent*, mais montrer une grandeur — l'opérateur de workspace $W$ — qui *s'effondre*. Substrat = anneau d'états (1-torus) avec contrôlabilité $\\alpha \\in [0,1]$ : avec proba $\\alpha$ l'action s'applique, sinon l'état dérive (action ignorée = inhibition). $\\alpha=0$ = inhibition totale (Laborit). Quatre verdicts falsifiables (`ict.inhibited_action`, PR #8825) : **détection** (l'animat estime $\\hat\\alpha$ depuis les transitions, corrigé de la ligne de chance, $\\vert\\hat\\alpha-\\alpha\\vert<0.1$ sur 3 régimes), **rigidification** (sous $\\alpha=0$ l'animat se replie sur le no-op, entropie d'action $\\ln 3 \\to \\approx 0$, chute $>0.3$ nat), **perte d'efficacité** (fraction-cible $\\alpha{=}1 > \\alpha{=}0$), **pont $I(R)$** (sous inhibition, changer d'action ne change plus la dette d'irréversibilité subie — $\\vert\\Delta\\vert<10^{-9}$ — alors qu'à contrôle partiel l'action la modulait encore). *Portée honnête* : substrat 1-torus minimal, niveau animat individuel (strate 3/5) ; la rencontre avec l'inhibition de l'**innovation** collective (ICT-30, #7746) est une issue ultérieure | -| [ICT-12e-Value-of-Information-Animat-Python](ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb) | Valeur de l'information pour l'animat — *combien vaut l'observation, et vaut-elle son prix ?* (#13569, greffe 3). ICT **pose** le problème de l'animat décisionnel (forage, prior 0.3/0.7, actions forer/vendre) et **laisse les organes natifs du dépôt calculer** : `ict.voi` (interface canonique EVPI/EVSI close-form, tranche 1/3) et le comparateur cross-engine [`voi/`](../../Probas/DecisionTheory/voi/README.md) (tranche 3/3, livré dans [`Probas/DecisionTheory/`](../../Probas/DecisionTheory/README.md), hors `ICT-Series/`) qui fait tourner **Infer.NET × PyMC** sur le même contrat JSON. Chiffres : EVPI 390000, EVSI 253000, EVSI_net (coût 60000) 193000 — l'animat **observe**. Trois contrôles bornent la lecture (SOTA Prong B, problème non-trivial) : **non-informatif** → EVSI = 0 (ne pas observer), **coût break-even** → l'EVSI net change de signe au franchissement $c^*$ (coût explicite non nul), **parapluie canonique** → EVPI = 3.5 (référence `ict/tests/test_voi.py`), l'animat *sensoriel* proprioceptif 85/75 vivant à 10.7 % de l'information parfaite — distinct du bruit (0 %) comme de l'oracle (100 %). **Contrôle croisé** : Infer.NET et PyMC s'accordent sur `voi/comparison.json` (EVSI 253000 vs 252796 à tolérance, décisions identiques) — l'écart éventuel serait rapporté, jamais lissé. Aucune ré-implémentation de Bayes ni de Howard : le problème est posé, les organes calculent | +| [ICT-12-ValenceFieldsAndAnimats-Python](ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) | Champs de valence et animats — *rôles mesurés, modèle interne payant ou ruineux ?* Premier toy model **actantiel spatial** : des animats évoluent dans un champ de valence (source attractive + obstacles repulsifs) ; la scène actantielle de Thom cesse d'être une correspondance nommée — les **rôles deviennent des grandeurs mesurées** (capture, évasion, irréversibilité, switching). Deux animats : le **réactif** suit le gradient instantané (persistance spatiale), l'**anticipateur `p̂`** extrapole le point d'interception. *Sans complaisance* : `p̂` **gagne** en balistique rapide (capture x4, le réactif laggué ne suit pas) mais **perd** en erratique (prédictions trompées par les demi-tours) et perd en anticipation sur source bruitée (la vitesse EMA amplifie le bruit de position). Le modèle interne paie son coût là où la source échappe au réactif **et** reste prévisible — régime-dépendant, ni universellement avantageux ni ruineux (contrôle d'ablation : la marche aléatoire ne porte aucune signature de rôle) | +| [ICT-12b-LearnedValence-Python](ICT-12-ValenceFieldsAndAnimats/ICT-12b-LearnedValence-Python.ipynb) | Valence **apprise**, transférable, réversible — *l'expérience manquante* (#7740, banc désincarné). L'envers exact de ICT-12 : la valence n'est plus un champ gaussien *programmé*, elle est **acquise** par conditionnement Pavlovien (règle de Rescorla-Wagner : $\\Delta\\pi = \\text{lr}(v_\\text{source} - \\pi)$, neutre à l'init). Trois verdicts falsifiables sur banc désincarné (un signal = un index, sans corps) : **transfert** (un neutre co-occurrençant une source devient attractif *par lui-même*, un contrôle non-conditionné reste neutre — pas de fuite de l'inné vers tout), **distinctness vs prédiction** ($\\pi$ monte alors que l'erreur $\\hat p$ est invariante — le banc passe le vecteur $\\pi$ au prédicteur pour qu'un re-vêtement `p̂ = 1 - π` soit *réfutable*, contrôle négatif inclus), **réversibilité** (acquisition et extinction partagent la même règle → $\\pi$ acquise puis éteinte). Banc algorithmique additif (`LearnedValence`) que ICT-12c incarne ensuite | +| [ICT-12c-PregnanceAnimat-Python](ICT-12-ValenceFieldsAndAnimats/ICT-12c-PregnanceAnimat-Python.ipynb) | Animat **prégnance/valence incarné** — *la dissociation $\\hat p$ / $\\pi$* (#7740, jambe C1). Pousse ICT-12b hors de son banc désincarné : un animat qui se déplace, a un état interne (la faim), et choisit ses actions. `PregnanceAnimat` couple un modèle prédictif $\\hat p$ (réutilise `predict_source` + baselines adverses), une valence apprise $\\pi$ (réutilise `LearnedValence`) et un drive `hunger`, via une politique $a_t = f(\\pi + \\text{intrinsic}, \\text{hunger})$ ; le conditionnement est Pavlovien incarné (neutre *tethered* à la source → co-occurrence). **La porte scientifique est une matrice de dissociation**, pas un printout par mesure : le régime **erratique** détruit $\\hat p$ (l'EMA-vitesse sur-réagit aux demi-tours ; ratio erreur $\\hat p$/persistance 0.68–0.95 vs 0.14–0.23 en balistique, robuste 8/8 seeds) **MAIS** laisse intact le conditionnement Rescorla-Wagner (qui ne dépend que de la co-occurrence, pas de la prévisibilité) → transfert + engagement d'action + réversibilité **tiennent**. Verdict : prégnance et représentation sont **deux grandeurs dissociables**, même incarnées. *Portée honnête* : les **six mesures** 1/2/3/4/5/6 + dissociation. Les mesures 4 (FE adaptive) et 5 (information prédictive), différées en PR-A, sont désormais **livrées** (§7) : `free_energy` mode `fixed` = habillage du MSE (gate 1), précision *adaptive* amortit l'explosion erratique (gate 2), et $I(\\hat q;o)$ y est *anti-corrélée* au MSE (plafond épistémique) — **trois lecteurs orthogonaux** de $\\hat q$ | +| [ICT-12d-InhibitedActionAnimat-Python](ICT-12-ValenceFieldsAndAnimats/ICT-12d-InhibitedActionAnimat-Python.ipynb) | Animat **inhibé (Laborit)** — *contrôlabilité, rigidification, dette d'irréversibilité* (#7741, jambe C2). Parallèle à C1 (ICT-12c) : non plus séparer deux grandeurs qui *tiennent*, mais montrer une grandeur — l'opérateur de workspace $W$ — qui *s'effondre*. Substrat = anneau d'états (1-torus) avec contrôlabilité $\\alpha \\in [0,1]$ : avec proba $\\alpha$ l'action s'applique, sinon l'état dérive (action ignorée = inhibition). $\\alpha=0$ = inhibition totale (Laborit). Quatre verdicts falsifiables (`ict.inhibited_action`, PR #8825) : **détection** (l'animat estime $\\hat\\alpha$ depuis les transitions, corrigé de la ligne de chance, $\\vert\\hat\\alpha-\\alpha\\vert<0.1$ sur 3 régimes), **rigidification** (sous $\\alpha=0$ l'animat se replie sur le no-op, entropie d'action $\\ln 3 \\to \\approx 0$, chute $>0.3$ nat), **perte d'efficacité** (fraction-cible $\\alpha{=}1 > \\alpha{=}0$), **pont $I(R)$** (sous inhibition, changer d'action ne change plus la dette d'irréversibilité subie — $\\vert\\Delta\\vert<10^{-9}$ — alors qu'à contrôle partiel l'action la modulait encore). *Portée honnête* : substrat 1-torus minimal, niveau animat individuel (strate 3/5) ; la rencontre avec l'inhibition de l'**innovation** collective (ICT-30, #7746) est une issue ultérieure | +| [ICT-12e-Value-of-Information-Animat-Python](ICT-12-ValenceFieldsAndAnimats/ICT-12e-Value-of-Information-Animat-Python.ipynb) | Valeur de l'information pour l'animat — *combien vaut l'observation, et vaut-elle son prix ?* (#13569, greffe 3). ICT **pose** le problème de l'animat décisionnel (forage, prior 0.3/0.7, actions forer/vendre) et **laisse les organes natifs du dépôt calculer** : `ict.voi` (interface canonique EVPI/EVSI close-form, tranche 1/3) et le comparateur cross-engine [`voi/`](../../Probas/DecisionTheory/voi/README.md) (tranche 3/3, livré dans [`Probas/DecisionTheory/`](../../Probas/DecisionTheory/README.md), hors `ICT-Series/`) qui fait tourner **Infer.NET × PyMC** sur le même contrat JSON. Chiffres : EVPI 390000, EVSI 253000, EVSI_net (coût 60000) 193000 — l'animat **observe**. Trois contrôles bornent la lecture (SOTA Prong B, problème non-trivial) : **non-informatif** → EVSI = 0 (ne pas observer), **coût break-even** → l'EVSI net change de signe au franchissement $c^*$ (coût explicite non nul), **parapluie canonique** → EVPI = 3.5 (référence `ict/tests/test_voi.py`), l'animat *sensoriel* proprioceptif 85/75 vivant à 10.7 % de l'information parfaite — distinct du bruit (0 %) comme de l'oracle (100 %). **Contrôle croisé** : Infer.NET et PyMC s'accordent sur `voi/comparison.json` (EVSI 253000 vs 252796 à tolérance, décisions identiques) — l'écart éventuel serait rapporté, jamais lissé. Aucune ré-implémentation de Bayes ni de Howard : le problème est posé, les organes calculent | | [ICT-13-AxelrodStrategicMorphodynamics-Python](ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb) | Morphodynamique stratégique — *une stratégie est-elle une forme stable ?* Dernier cran de la strate 3 avant la synthèse. Le dilemme du prisonnier itéré d'Axelrod (paiements canoniques $T=5, R=3, P=1, S=0$) sert de morphospace stratégique : six stratégies (AllC, AllD, TFT, TFT généreuse, Pavlov, Grim) confrontées en tournoi round-robin, dynamique de réplication, bassins d'invasion. *Sans complaisance* : quatre gates falsifiables mesurent la « stabilité de forme ». **Gate 1** — TFT et Grim **co-dominent** le tournoi (2.635) devant AllD (2.313, dernier). **Gate 2** — le seuil de coopération soutenable colle au Folk theorem : $\delta^\star$ analytique $(T-R)/(T-P) = 0.500$ vs croisement numérique $0.550$. **Gate 3** — sous bruit d'exécution, la **réciprocité active (TFT) est le point de rupture** (chute la plus forte, $+0.40$) tandis que la rétaliation inflexible de **Grim est paradoxalement la plus robuste** ($+0.29$) — ce qui **contredit** la prédiction Nowak-Sigmund (TFT généreuse / Pavlov les plus tolérantes) sur ces paiements. **Gate 4** — bassins d'invasion contre AllD résident : TFT/Grim envahissent dès $2\,\%$ de fraction initiale, TFT généreuse à $34\,\%$, Pavlov et AllC **jamais** ($1.0$). Verdict honnête : la robustesse stratégique est **fonction du régime** (bruit, structure de paiements), pas une propriété intrinsèque de la stratégie — la « forme stable » n'existe qu'au sein d'un environnement donné. **Évolution (§6, #12673)** : en dynamique sélection-mutation (Wright-Fisher, 60 agents, mutation 5 %), la population ne fixe pas — équilibre polymorphe grim/AllC/GTFT (TFT éliminée), coopération oscillante 0.26–0.94 sur 400 générations ; module `ict.strategic_morphodynamics.evolve_population`, substrat consommé par ICT-15d | ![Gate 3 — effondrement sous bruit (TFT chute, Pavlov résiste) : 6 stratégies (allc/alld/tft/gtft/pavlov/grim) tracées par leur score de tournoi en fonction du bruit d'implémentation ε ∈ [0, 0.40]](assets/readme/ict13-axelrod.png) diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md b/MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md index ae5dc3e2679..2c99981cb19 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md @@ -27,7 +27,7 @@ La série ICT a déjà rencontré Thom — mais en **pointillés** : **lacet de prédation** (cycle d'hystérésis à 2 catastrophes avec perception J et capture K, aire signée non nulle, représentant interne `p̂`). -- [ICT-12-ValenceFieldsAndAnimats-Python](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) +- [ICT-12-ValenceFieldsAndAnimats-Python](ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) prolonge en mesurant les rôles actantiels (capture, évasion, irréversibilité, switching) — l'animat anticipateur `p̂` y gagne en balistique, perd en erratique. @@ -62,7 +62,7 @@ récupérer — avec le distinguo explicite matrice (c.728y+34) vs synthèse |---|---|---|---| | **Saillance** $s$ | Ce qui est perceptiblement présent dans l'écoulement | conceptuel, déjà nommé | socle strate 6 (Nom = saillance 0-valent) | | **Prégnance** $\pi$ | Ce qui donne de l'importance (charge, valence) | conceptuel, déjà nommé | socle strate 6 (Verbe = prégnance 1-4 actants) | -| **Représentation** $q$ | Ce que le système croit de la cause/du futur ; `p̂` = cas simple (croyance réduite à un point) | [ICT-10](ICT-10-CatastropheGrammar-Python.ipynb), [ICT-12](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb), [ICT-14](ICT-14-FreeEnergySurprise-Python.ipynb) | déjà mesurée (cf. lacet de prédation Ch.4 §C) | +| **Représentation** $q$ | Ce que le système croit de la cause/du futur ; `p̂` = cas simple (croyance réduite à un point) | [ICT-10](ICT-10-CatastropheGrammar-Python.ipynb), [ICT-12](ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb), [ICT-14](ICT-14-FreeEnergySurprise-Python.ipynb) | déjà mesurée (cf. lacet de prédation Ch.4 §C) | | **Workspace** $W$ | Ce qui rend des composantes disponibles à d'autres mécanismes | [ICT-24](ICT-24-WorkspaceIgnition-Python.ipynb) (livré Gates 22-23, dissociation documentée) | transversal | Le présent document ne reproduit pas la matrice @@ -538,7 +538,7 @@ d'hystérésis » — image topologique d'une anticipation structurelle. **Usage ICT strate 5-7.** Le **cycle d'hystérésis** est l'objet mesuré par [ICT-10-CatastropheGrammar-Python](ICT-10-CatastropheGrammar-Python.ipynb) (lacet de prédation = cycle à 2 catastrophes J/K) et -[ICT-12c-PregnanceAnimat-Python](ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb) +[ICT-12c-PregnanceAnimat-Python](ICT-12-ValenceFieldsAndAnimats/ICT-12c-PregnanceAnimat-Python.ipynb) (prégnance = potentiel gradient). Les **« rivières »** de Diener sont une **anticipation visuelle** du cycle d'hystérésis : même quand l'attracteur ponctuel est encore stable, les courbes stables du futur cycle @@ -1323,7 +1323,7 @@ extension, pas une redite. linguistique, valence Tesnière, transitivité prototypique). - **Ch.3 — Modélisation mathématique et Philosophie** : cf. §Strate 6 (généralisation, invention de l'instrument) + usages - [ICT-12](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) + [ICT-12](ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) (coplis, prolongement analytique). - **Ch.4 — Embryologie et dynamique** : cf. §Socle transversal [Ch.4 §C](#socle-transversal--la-dynamique-de-prédation-ch4-c-et-lorigine-du-représentant-interne-p) @@ -1354,7 +1354,7 @@ extension, pas une redite. — fondements théoriques complémentaires. - [ICT-10](ICT-10-CatastropheGrammar-Python.ipynb) — catastrophe fronce + lacet de prédation + `p̂`. -- [ICT-12](ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) +- [ICT-12](ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) — animats actantiels, mesure de la valence. - [ICT-13](ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb) — préprogrammes morphologiques du dilemme itéré. diff --git a/docs/cadrage/grothendieckian-lens.md b/docs/cadrage/grothendieckian-lens.md index da0d3cddeb3..6a34dff079b 100644 --- a/docs/cadrage/grothendieckian-lens.md +++ b/docs/cadrage/grothendieckian-lens.md @@ -84,7 +84,7 @@ Jusqu'ici, on a lu le dépôt série par série. Il a pourtant deux versants. D' Ce dialogue obéit à deux règles simples. La première est de patience : une idée venue d'ailleurs n'entre pas d'emblée dans ICT. Elle mûrit d'abord dans une série d'enseignement, sous la forme d'un notebook puis de variantes qui l'éprouvent, jusqu'à devenir un objet qui s'exécute ; alors seulement elle nourrit la recherche ([#12208](https://github.com/jsboige/CoursIA/issues/12208)). La seconde est de politesse : quand ICT a besoin d'une opération qu'une autre série sait déjà faire, elle ne la réécrit pas. Elle pose le problème, et laisse l'outil de cette série calculer ([#13564](https://github.com/jsboige/CoursIA/issues/13564)). C'est le deuxième mouvement, appliqué au dépôt lui-même : on y reviendra. -Dans le sens de l'enseignement vers la recherche, les ponts sont désormais nombreux. Pour savoir ce qu'un agent peut atteindre, ICT interroge les planificateurs de la série Planners au lieu d'en écrire un ([ICT-Greffe2](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Greffe2-EspaceAtteignable.ipynb)). La valeur d'une information pour un petit animat y est calculée deux fois, avec Infer.NET et avec PyMC, par les outils de la théorie de la décision ([ICT-12e](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb)). Les extensions d'un cadre d'argumentation de Dung y sont calculées telles que la série Tweety les outille ([`ict/argumentation.py`](../../MyIA.AI.Notebooks/IIT/ICT-Series/ict/argumentation.py)), et le banc d'humour le plus exigeant de la théorie des jeux ([GameTheory-18c](../../MyIA.AI.Notebooks/GameTheory/GameTheory-18c-Humour-Banc-Python.ipynb)) y est exécuté tel quel. +Dans le sens de l'enseignement vers la recherche, les ponts sont désormais nombreux. Pour savoir ce qu'un agent peut atteindre, ICT interroge les planificateurs de la série Planners au lieu d'en écrire un ([ICT-Greffe2](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Greffe2-EspaceAtteignable.ipynb)). La valeur d'une information pour un petit animat y est calculée deux fois, avec Infer.NET et avec PyMC, par les outils de la théorie de la décision ([ICT-12e](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12e-Value-of-Information-Animat-Python.ipynb)). Les extensions d'un cadre d'argumentation de Dung y sont calculées telles que la série Tweety les outille ([`ict/argumentation.py`](../../MyIA.AI.Notebooks/IIT/ICT-Series/ict/argumentation.py)), et le banc d'humour le plus exigeant de la théorie des jeux ([GameTheory-18c](../../MyIA.AI.Notebooks/GameTheory/GameTheory-18c-Humour-Banc-Python.ipynb)) y est exécuté tel quel. Et il y a la noix. Suivie jusqu'ici comme un pur problème de mathématiques, elle est devenue le sol sur lequel ICT mesure l'émergence dans le Jeu de la Vie, en s'appuyant sur le théorème `hashlife_correct` ([ICT-Life](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Life-SubstratCertifie.ipynb)). Mais un pont ne vaut que son pilier le plus faible : ce théorème est vrai mais **vide là où HashLife saute** — son hypothèse de cadre ne peut jamais être satisfaite quand le saut s'exerce (`p5_large_n_hyps_unsat`, [`HashlifeCorrectness.lean`](../../MyIA.AI.Notebooks/SymbolicAI/Lean/conway_lean/Conway/Life/HashlifeCorrectness.lean)). C'est une autre face de la même obstruction : le cadre était trop étroit. Le théorème qui couvre vraiment les sauts existe pourtant (celui de la route neuve, déjà déposé dans la vitrine [#17465](https://github.com/jsboige/CoursIA/issues/17465)) ; le pont reste à reposer sur ce pilier-là, et ICT a raison, en attendant, de doubler la preuve d'une calibration contre les motifs canoniques. Un problème de mathématiques pures se retrouve ainsi au cœur de la recherche. diff --git a/docs/cadrage/magnifica-humanitas-dialogue.md b/docs/cadrage/magnifica-humanitas-dialogue.md index 4777f5961c0..978a9f04ffa 100644 --- a/docs/cadrage/magnifica-humanitas-dialogue.md +++ b/docs/cadrage/magnifica-humanitas-dialogue.md @@ -20,7 +20,7 @@ Le §105 exige que la responsabilité soit « la possibilité d'identifier qui d La forme limite de cette exigence est dans les lakes Lean, et elle est plus fine qu'un simple « c'est prouvé ». Un théorème admis mais non démontré — un `sorry` — est compté par un instrument dédié, affiché, jamais caché. Mais le dépôt gradue aussi la *nature* de ce qu'il appelle une preuve : celle que le noyau accepte par calcul intégral, celle qui délègue à une réduction native rapide au prix d'un axiome supplémentaire, celle qui repose sur un certificat resté ouvert. Les trois sont légitimes ; la faute est de présenter la troisième comme la première. Elle a une variante plus discrète, que le dépôt vient de commettre contre lui-même : citer un théorème démontré sans aucun trou, mais dont l'hypothèse ne peut jamais être satisfaite là où on l'invoque. Une série de recherche s'appuyait ainsi, pour garantir son substrat, sur un énoncé vrai et vide. Aucun compteur ne pouvait le voir, puisqu'il n'y avait aucun trou à compter ; une relecture l'a vu, et l'erreur est suivie publiquement ([#17570](https://github.com/jsboige/CoursIA/issues/17570)) plutôt que corrigée en silence. L'encyclique s'impose la même règle quand elle parle de l'Église : « nous ne devons pas attendre que d'autres nous obligent à affronter des vérités dérangeantes sur nous-mêmes » (§138). Voilà, très exactement et sans métaphore, ce que *motiver, contrôler, contester* veut dire quand on le prend au sérieux : non pas revendiquer la certitude, mais publier son grade. -Il y a un corollaire que le §12 rend explicite : « accepter les limites et la fragilité de l'humanité sans les considérer comme une erreur à corriger ». Le dépôt publie ses échecs. Une expérience sur l'émergence causale conclut noir sur blanc que l'hypothèse testée *n'est pas confirmée* ([ICT-11](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb)) ; un animat doté d'un modèle interne du monde perd contre un animat purement réactif dans les régimes erratiques, et le notebook le dit ([ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb)) ; les verdicts de validation statistique du volet trading s'écrivent « améliore / n'améliore pas / non concluant », le deuxième et le troisième étant aussi publiables que le premier. Une pédagogie qui ne montrerait que ses succès enseignerait exactement la chose que le §100 dénonce : l'impression d'objectivité. +Il y a un corollaire que le §12 rend explicite : « accepter les limites et la fragilité de l'humanité sans les considérer comme une erreur à corriger ». Le dépôt publie ses échecs. Une expérience sur l'émergence causale conclut noir sur blanc que l'hypothèse testée *n'est pas confirmée* ([ICT-11](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb)) ; un animat doté d'un modèle interne du monde perd contre un animat purement réactif dans les régimes erratiques, et le notebook le dit ([ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb)) ; les verdicts de validation statistique du volet trading s'écrivent « améliore / n'améliore pas / non concluant », le deuxième et le troisième étant aussi publiables que le premier. Une pédagogie qui ne montrerait que ses succès enseignerait exactement la chose que le §100 dénonce : l'impression d'objectivité. Il faut le dire aussi honnêtement : ce sont des machines qui relisent des machines une partie du temps, et le §100 avertit que la simulation de la relation peut donner « l'illusion d'être en relation avec un sujet personnel authentique ». L'arbitre final est une personne — mais c'est une discipline à entretenir, pas un acquis. Le §150 lui donne un critère concret : que les machines soient « conçues pour aider ceux qui travaillent », au lieu que ceux-ci soient « contraints de s'adapter à la vitesse et aux exigences des machines ». Les agents du dépôt n'interrompent donc pas le mainteneur pour le faire arbitrer : ils écrivent leurs questions dans un registre qu'il lit quand il le décide. C'est la personne qui donne le rythme. La section des tensions y revient. @@ -150,4 +150,4 @@ L'encyclique tire son nom du *Magnificat* et se referme sur lui (§§243-245) : *** -*Repères. Texte intégral de l'encyclique sur [vatican.va](https://www.vatican.va/content/leo-xiv/fr/encyclicals/documents/20260515-magnifica-humanitas.html) — 245 paragraphes ; toutes les citations ci-dessus, numéros compris, ont été relevées sur le texte intégral téléchargé, non de mémoire. Chiffres du dépôt mesurés le 23 septembre 2026 : licence MIT (2022), 105 forks, 1 408 entrées dans la taxonomie des sophismes et 223 dans celle des vertus, huit langues cibles pour le chantier de traduction. Séries et objets cités : [Argument_Analysis](../../MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/) · [`SocialChoice`](../../MyIA.AI.Notebooks/GameTheory/game_theory_lean/SocialChoice/Arrow.lean) · [`CooperativeGames`](../../MyIA.AI.Notebooks/GameTheory/game_theory_lean/CooperativeGames/Shapley.lean) · [ICT-Series](../../MyIA.AI.Notebooks/IIT/ICT-Series/) · [QuantConnect](../../MyIA.AI.Notebooks/QuantConnect/) · [ICT-11](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb) · [ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb). Documents compagnons : [la lentille grothendieckienne](grothendieckian-lens.md), sur le programme de formalisation, et [la position face à la Déclaration de Leiden](leiden-declaration-position.md), sur la communauté mathématique.* +*Repères. Texte intégral de l'encyclique sur [vatican.va](https://www.vatican.va/content/leo-xiv/fr/encyclicals/documents/20260515-magnifica-humanitas.html) — 245 paragraphes ; toutes les citations ci-dessus, numéros compris, ont été relevées sur le texte intégral téléchargé, non de mémoire. Chiffres du dépôt mesurés le 23 septembre 2026 : licence MIT (2022), 105 forks, 1 408 entrées dans la taxonomie des sophismes et 223 dans celle des vertus, huit langues cibles pour le chantier de traduction. Séries et objets cités : [Argument_Analysis](../../MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/) · [`SocialChoice`](../../MyIA.AI.Notebooks/GameTheory/game_theory_lean/SocialChoice/Arrow.lean) · [`CooperativeGames`](../../MyIA.AI.Notebooks/GameTheory/game_theory_lean/CooperativeGames/Shapley.lean) · [ICT-Series](../../MyIA.AI.Notebooks/IIT/ICT-Series/) · [QuantConnect](../../MyIA.AI.Notebooks/QuantConnect/) · [ICT-11](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb) · [ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb). Documents compagnons : [la lentille grothendieckienne](grothendieckian-lens.md), sur le programme de formalisation, et [la position face à la Déclaration de Leiden](leiden-declaration-position.md), sur la communauté mathématique.* diff --git a/docs/curriculum/recherche.md b/docs/curriculum/recherche.md index 5160f55fa1a..4d5d9d5aa08 100644 --- a/docs/curriculum/recherche.md +++ b/docs/curriculum/recherche.md @@ -189,11 +189,11 @@ Inférence probabiliste (Infer.NET, Pyro, PyMC), théorie de l'information inté | 9 | [ICT-9 — Agence & regeneration : *reparer sa forme, ou…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-09-AgencyRegeneration-Python.ipynb) | BETA | Oui | | 10 | [ICT-10 — Grammaire des catastrophes : *l'obstacle qui…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb) | BETA | Oui | | 11 | [ICT-11 — Profils d'agence causale : à quelle échelle…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb) | BETA | Oui | -| 12 | [ICT-12 — Champs de valence et animats : rôles mesures,…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) | BETA | Oui | -| 13 | [ICT-12b — Valence APPRISE, transferable, reversible :…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb) | BETA | Oui | -| 14 | [ICT-12c — Animat prégnance/valence incarné : la…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb) | BETA | Oui | -| 15 | [ICT-12d — Animat inhibé (Laborit) : contrôlabilité,…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb) | BETA | Oui | -| 16 | [ICT-12e — Valeur de l'information pour l'animat incarné…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb) | BETA | Oui | +| 12 | [ICT-12 — Champs de valence et animats : rôles mesures,…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) | BETA | Oui | +| 13 | [ICT-12b — Valence APPRISE, transferable, reversible :…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12b-LearnedValence-Python.ipynb) | BETA | Oui | +| 14 | [ICT-12c — Animat prégnance/valence incarné : la…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12c-PregnanceAnimat-Python.ipynb) | BETA | Oui | +| 15 | [ICT-12d — Animat inhibé (Laborit) : contrôlabilité,…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12d-InhibitedActionAnimat-Python.ipynb) | BETA | Oui | +| 16 | [ICT-12e — Valeur de l'information pour l'animat incarné…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12e-Value-of-Information-Animat-Python.ipynb) | BETA | Oui | | 17 | [ICT-13 — Morphodynamique stratégique : une stratégie…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb) | BETA | Oui | | 18 | [ICT-13b — Décroisement dynamique × observable : d'où…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-13b-DecroisementDynamiqueObservable-Python.ipynb) | ALPHA | Oui | | 19 | [ICT-14 — Énergie libre et surprise du représentant…](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise-Python.ipynb) | BETA | Oui | diff --git a/docs/ict/feuille-de-route-notebooks.md b/docs/ict/feuille-de-route-notebooks.md index 75502e5a433..63f4cd09f92 100644 --- a/docs/ict/feuille-de-route-notebooks.md +++ b/docs/ict/feuille-de-route-notebooks.md @@ -26,10 +26,10 @@ l'ordre des strates.* | **ICT-9** | [Agence & régénération](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-09-AgencyRegeneration-Python.ipynb) — **strate 2**. Morphogenèse réaction-diffusion de Gray-Scott (Pearson 1993) : un système qui **répare** sa forme vers un point de consigne **intrinsèque** après une ablation `do(·)`, l'agence **mesurée** comme *gain de réparation* (réaction-diffusion vs diffusion pure, deux mondes contrefactuels de Pearl). *Sans complaisance* : les mesures naïves de ressemblance (pixel-à-pixel, cosinus spectral) fabriquent un signal fantôme ; seule la structure restaurée contrastée au contrôle passif tient | ✅ | | **ICT-10** | [Grammaire des catastrophes](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb) — **charnière strate 2→3**, prélude sémiophysique de R. Thom. Le squelette catastrophique (fronce, pli, fourche, hystérésis) **mesuré** : le métathéorème (le comptage d'équilibres ne change qu'aux plis, clôt la strate 2) et le **lacet de prédation** (cycle d'hystérésis à 2 catastrophes + représentant interne `p̂` qui anticipe, ouvre la strate 3). La correspondance linguistique du Ch.2 de Thom (pivots ↔ transitions de comptage ; verbe transitif SVO ↔ lacet ; anticipation ↔ `p̂`) **nommée**, avec le caveat de non-prédictivité et les barreaux du pont basse-dim → haute-dim (neurosymbolique, Lean, veille EML #4653). *Sans complaisance* : hors régime non dégénéré ($a<0$), zéro saut — fantôme | ✅ | | **ICT-11** | [Profils d'agence causale](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb) — **strate 3**. L'agence de réaction-diffusion mesurée à plusieurs résolutions (micro/méso/macro) puis raccordée à l'émergence causale (Hoel, info effective, TPM à macro-variable scalaire = structure/variance du champ moyenné). *Sans complaisance* : les deux mesures d'agence se contredisent — `repair_gain` pic méso mais artefact-contaminé (score > 1, plancher de résolution), `basin_return_probability` strictement décroissante. Le raccord Hoel suit la mesure inflatée (`r≈+0.50` avec `repair_gain`) et ignore la mesure honnête (`r≈−0.14` avec `basin_return`) — suggestif mais non robuste. Verdict honnête : pas d'échelle privilégiée, l'hypothèse méso-émergente n'est pas confirmée | ✅ | -| **ICT-12** | [Champs de valence et animats](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) — **strate 3**. Premier toy model **actantiel spatial** : des animats évoluent dans un champ de valence (source attractive + obstacles repulsifs) ; la scène actantielle de Thom cesse d'être une correspondance nommée — les **rôles deviennent des grandeurs mesurées** (capture, évasion, irréversibilité, switching). Animat **réactif** (gradient instantané) vs **anticipateur `p̂`** (extrapolation). *Sans complaisance* : `p̂` **gagne** en balistique rapide (capture x4) mais **perd** en erratique (prédictions trompées par les demi-tours) et perd sur source bruitée. Le modèle interne paie son coût là où la source échappe au réactif **et** reste prévisible — régime-dépendant, ni universellement avantageux ni ruineux | ✅ | -| **ICT-12b** | [Valence apprise](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb) — **strate 3, tresse C1**. La valence cesse d'être câblée dans le champ : elle s'**apprend**, se transfère d'un contexte à l'autre et se réversibilise — prolongement direct du champ de valence d'ICT-12. Voir [#7740](https://github.com/jsboige/CoursIA/issues/7740) | ✅ | -| **ICT-12c** | [Animat prégnance/valence incarné](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb) — **strate 3, tresse C1**. L'animat porte sa prégnance dans son corps et non dans le champ extérieur : la scène actantielle d'ICT-12 rejouée en incarné. Voir [#7740](https://github.com/jsboige/CoursIA/issues/7740) | ✅ | -| **ICT-12d** | [Animat inhibé (Laborit)](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb) — **strate 3, tresse C2**. L'inhibition de l'action : quand ni la fuite ni la lutte ne sont disponibles, que devient la trajectoire ? Pendant négatif d'ICT-12, repris au niveau collectif par ICT-30. Voir [#7741](https://github.com/jsboige/CoursIA/issues/7741) | ✅ | +| **ICT-12** | [Champs de valence et animats](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) — **strate 3**. Premier toy model **actantiel spatial** : des animats évoluent dans un champ de valence (source attractive + obstacles repulsifs) ; la scène actantielle de Thom cesse d'être une correspondance nommée — les **rôles deviennent des grandeurs mesurées** (capture, évasion, irréversibilité, switching). Animat **réactif** (gradient instantané) vs **anticipateur `p̂`** (extrapolation). *Sans complaisance* : `p̂` **gagne** en balistique rapide (capture x4) mais **perd** en erratique (prédictions trompées par les demi-tours) et perd sur source bruitée. Le modèle interne paie son coût là où la source échappe au réactif **et** reste prévisible — régime-dépendant, ni universellement avantageux ni ruineux | ✅ | +| **ICT-12b** | [Valence apprise](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12b-LearnedValence-Python.ipynb) — **strate 3, tresse C1**. La valence cesse d'être câblée dans le champ : elle s'**apprend**, se transfère d'un contexte à l'autre et se réversibilise — prolongement direct du champ de valence d'ICT-12. Voir [#7740](https://github.com/jsboige/CoursIA/issues/7740) | ✅ | +| **ICT-12c** | [Animat prégnance/valence incarné](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12c-PregnanceAnimat-Python.ipynb) — **strate 3, tresse C1**. L'animat porte sa prégnance dans son corps et non dans le champ extérieur : la scène actantielle d'ICT-12 rejouée en incarné. Voir [#7740](https://github.com/jsboige/CoursIA/issues/7740) | ✅ | +| **ICT-12d** | [Animat inhibé (Laborit)](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12d-InhibitedActionAnimat-Python.ipynb) — **strate 3, tresse C2**. L'inhibition de l'action : quand ni la fuite ni la lutte ne sont disponibles, que devient la trajectoire ? Pendant négatif d'ICT-12, repris au niveau collectif par ICT-30. Voir [#7741](https://github.com/jsboige/CoursIA/issues/7741) | ✅ | | **ICT-13** | [Morphodynamique stratégique](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb) — **strate 3**. Le dilemme du prisonnier itéré d'Axelrod (T=5, R=3, P=1, S=0) sert de morphospace stratégique : six stratégies (AllC, AllD, TFT, TFT généreuse, Pavlov, Grim) en tournoi round-robin, dynamique de réplication, bassins d'invasion. Quatre gates falsifiables mesurent la « stabilité de forme ». *Sans complaisance* : **Gate 1** TFT/Grim co-dominent (2.635) ; **Gate 2** Folk theorem analytique δ* = 0.500 vs numérique 0.550 ; **Gate 3** sous bruit d'exécution la réciprocité active (TFT) est le point de rupture (chute +0.40), Grim paradoxalement le plus robuste (+0.29) — contredit la prédiction Nowak-Sigmund ; **Gate 4** bassins d'invasion : TFT/Grim dès 2%, TFT généreuse à 34%, Pavlov/AllC jamais. Verdict honnête : la robustesse stratégique est **fonction du régime**, pas une propriété intrinsèque. **Pont pédagogique** (cf. [#7733](https://github.com/jsboige/CoursIA/issues/7733) rectification A5) : la **dépendance** pédagogique, et non le gradient d'organicité, est le critère de numérotation — les **stratégies** d'Axelrod (ICT-13, strate 3) cèdent la place aux **représentations internes** qui les motivent (ICT-21 SAE + ICT-22 LLM substrat, strate 5), puis à leur mise en confrontation explicite dans la jambe argumentation ([#7289](https://github.com/jsboige/CoursIA/issues/7289), strate 6) | ✅ | | **ICT-14** | [Surprise & énergie libre](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise-Python.ipynb) — **strate 4**. La jambe énergie-libre du représentationnel : *free energy* et *expected free energy* comme substrat computationnel de l'anticipation, articulation avec la trajectoire $\Phi_\text{dyn}$ et le représentant interne `p̂` d'ICT-10. Voir issue #5089 | ✅ | | **ICT-14b** | [Inférence active — l'EFE pilote l'action](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14b-ActiveInferenceEFE-Python.ipynb) — **strate 4**. L'*expected free energy* d'ICT-14 passe du statut de quantité **observée** à celui de **pilote** de l'action : la boucle perception-action refermée sur le représentant interne `p̂`. Voir [#5089](https://github.com/jsboige/CoursIA/issues/5089) | ✅ | diff --git a/docs/ict/genealogy-representation-interne.md b/docs/ict/genealogy-representation-interne.md index 3f202b17340..a21b4a6bdfa 100644 --- a/docs/ict/genealogy-representation-interne.md +++ b/docs/ict/genealogy-representation-interne.md @@ -22,7 +22,7 @@ Chaque maillon répond à une **insuffisance du précédent**, repérée empiriq ### Maillon 2 — ICT-12 : `p̂` au service de l'action -[`ICT-12-ValenceFieldsAndAnimats-Python`](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) (strate 3, animats dans un champ de valence) promeut `p̂` de **prédiction** à **contrôle** : l'animat anticipateur vise *où la source sera*, et le verdict compare le gain en capture/fuite au coût en erreurs sur trajectoire erratique. Le maillon 2 ne change pas la *forme* de `p̂` (toujours scalaire instantané) mais change son **rôle** dans la boucle perception-action : `p̂` n'est plus seulement mesuré pour sa qualité prédictive, il est *consommé* par une politique. ICT-12 inaugure aussi l'**opérateur `W`** (workspace, cf. [`docs/ict/dissociations-matrix.md`](dissociations-matrix.md#pourquoi-cette-ossature-4-objets)) au sens où la prédiction devient disponible à la décision — sans être un *workspace* au sens Dehaene/Baars (cf. garde-fou 2). +[`ICT-12-ValenceFieldsAndAnimats-Python`](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) (strate 3, animats dans un champ de valence) promeut `p̂` de **prédiction** à **contrôle** : l'animat anticipateur vise *où la source sera*, et le verdict compare le gain en capture/fuite au coût en erreurs sur trajectoire erratique. Le maillon 2 ne change pas la *forme* de `p̂` (toujours scalaire instantané) mais change son **rôle** dans la boucle perception-action : `p̂` n'est plus seulement mesuré pour sa qualité prédictive, il est *consommé* par une politique. ICT-12 inaugure aussi l'**opérateur `W`** (workspace, cf. [`docs/ict/dissociations-matrix.md`](dissociations-matrix.md#pourquoi-cette-ossature-4-objets)) au sens où la prédiction devient disponible à la décision — sans être un *workspace* au sens Dehaene/Baars (cf. garde-fou 2). ### Maillon 3 — ICT-14 : la *free energy* attachée à `p̂` @@ -88,7 +88,7 @@ L'audit GitHub cross-notebooks **ne trouve aucun transport formel** de `p̂` ver ## Repères vérifiables - Série ICT : [`MyIA.AI.Notebooks/IIT/ICT-Series/`](../../MyIA.AI.Notebooks/IIT/ICT-Series/) ([Epic #4588](https://github.com/jsboige/CoursIA/issues/4588)). -- Notebooks-ancrage du quatrième fil : [ICT-10](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb), [ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb), [ICT-14](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise-Python.ipynb), [ICT-15](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15-IntegratedComplexity-Python.ipynb), [ICT-16](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode-Python.ipynb), [ICT-17](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17-EpsilonMachine-Python.ipynb). +- Notebooks-ancrage du quatrième fil : [ICT-10](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb), [ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb), [ICT-14](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise-Python.ipynb), [ICT-15](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15-IntegratedComplexity-Python.ipynb), [ICT-16](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode-Python.ipynb), [ICT-17](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17-EpsilonMachine-Python.ipynb). - Doc companion obstruction/recollement : [`docs/cadrage/grothendieckian-lens.md`](../cadrage/grothendieckian-lens.md) (§3 — cadrage `p̂`/`q_t` vs prégnance, post-A1 PR #7889). - Grille 3-régimes : [`docs/ict/synthese-invariants-dissociations-obstructions.md`](synthese-invariants-dissociations-obstructions.md) (le quatrième fil est orthogonal à cette grille). - Matrice de dissociations : [`docs/ict/dissociations-matrix.md`](dissociations-matrix.md) (la colonne `q_t` est indexée par le quatrième fil). diff --git a/docs/ict/ict12-valence-note-de-conception.md b/docs/ict/ict12-valence-note-de-conception.md index dbffe089fbb..7536429f10c 100644 --- a/docs/ict/ict12-valence-note-de-conception.md +++ b/docs/ict/ict12-valence-note-de-conception.md @@ -16,6 +16,8 @@ La doctrine « escalier » de la carte #20298 : les expériences dans l'ordre o Le regroupement dans `ICT-12/` préserve ce récit ordonné (mesure → apprentissage → incarnation → inhibition → décision). +> **Renommage (28/10, #22949)** : la convention uniforme `ICT--/` est appliquée — la sous-série porte désormais le nom `ICT-12-ValenceFieldsAndAnimats/` ; le `ICT-12/` cité ci-dessous est l'état intermédiaire de cette même PR (descent en sous-série → nommage par sujet). + ### Mouvement (6 étapes) 1. `git mv` des 5 carnets vers `MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/` (5 renames, **100 % de similarité**). **Aucun renommage de fichier** : les noms `ICT-12*` sont conservés, seul le dossier regroupe. 2. **Réparation des liens** — ce qui distingue cette tranche des paliers 10/14/19 : les 5 carnets portent **26 liens relatifs sortants** vers le reste de la série (`../../Probas/…`, `../../../docs/…`, `ict/…`, les siblings `ICT-13/18/30`, `../README.md`, `ICT-0-Framing.md`). Descendre d'un niveau les casse tous : **26 liens sortants des cellules markdown** re-préfixés d'un `../` (les **14 liens intra-famille** `ICT-12*` restent sans préfixe — les 5 carnets sont désormais *siblings*). Côté entrant : **32 refs de chemin** préfixées d'`ICT-12/`, réparties sur les fichiers porteurs — `ICT-Series/README.md`, `thom-synthese-distillation.md`, le carnet frère `ICT-Synthese-CrossSubstrat`, et 7 docs (`cadrage/grothendieckian-lens`, `cadrage/magnifica-humanitas-dialogue`, `curriculum/recherche`, `ict/feuille-de-route-notebooks`, `ict/genealogy-representation-interne`, `ict/tresse-cartographie`, `notebook-metadata/scientific-review-registry`). diff --git a/docs/ict/tresse-cartographie.md b/docs/ict/tresse-cartographie.md index 84d604b013a..af3a3fe50b7 100644 --- a/docs/ict/tresse-cartographie.md +++ b/docs/ict/tresse-cartographie.md @@ -97,7 +97,7 @@ Quatre opérations, chacune avec son ancrage dans le dépôt, ses aboutissants o **Ancrage dépôt.** - [`MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md`](../../MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md) — distillation PR [#9534](https://github.com/jsboige/CoursIA/pull/9534) MERGED 2026-08-05T01:55:30Z par jsboige, distillation Ch.1 à Ch.8 de *Sémiophysique* (1991) pour le **socle transverse** des strates hautes (langage / circulation de prégnances, genres comme espaces de possibles extensibles) — un socle de lecture, **pas un barreau** de l'axe vertical (divergence 2 de [#13908](https://github.com/jsboige/CoursIA/issues/13908)). - [ICT-10-CatastropheGrammar-Python.ipynb](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb) — la catastrophe fronce, le métathéorème, le lacet de prédation (cycle d'hystérésis à 2 catastrophes avec perception J et capture K, aire signée non nulle, représentant interne `p̂`). -- [ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) — prolonge ICT-10 en mesurant les rôles actantiels (capture, évasion, irréversibilité, switching). L'animat anticipateur `p̂` y gagne en balistique, perd en erratique. +- [ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) — prolonge ICT-10 en mesurant les rôles actantiels (capture, évasion, irréversibilité, switching). L'animat anticipateur `p̂` y gagne en balistique, perd en erratique. **Aboutissants opérationnels dans la série ICT.** - Le *lacet de prédation* d'ICT-10 = hystérésis à 2 catastrophes ; c'est la **mesure** Thom-compatible la plus directe dans la série (aire signée non nulle sur cycle perception-capture). diff --git a/docs/notebook-metadata/scientific-review-registry.md b/docs/notebook-metadata/scientific-review-registry.md index 244e0340c96..3cc0ed6c163 100644 --- a/docs/notebook-metadata/scientific-review-registry.md +++ b/docs/notebook-metadata/scientific-review-registry.md @@ -294,31 +294,31 @@ fera se périmer dès que le code de la série bougera. review_date: "2026-09-21" evidence_pr: "#14831" notes: "Recherche active — appréciation posée au sign-off du schéma." -- notebook_path: IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb +- notebook_path: IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb confidence: research reviewed_code_sha: 4bd52d81b4f2544a47c1a782de08927bb978f38ca85fa7873ddd4e978b9e8760 review_date: "2026-09-21" evidence_pr: "#14831" notes: "Recherche active — appréciation posée au sign-off du schéma." -- notebook_path: IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb +- notebook_path: IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12b-LearnedValence-Python.ipynb confidence: research reviewed_code_sha: fd2fcc293543c537a4e0c7477d0729eb7b8b321fa8eab194c1d8e3b424dcd926 review_date: "2026-09-21" evidence_pr: "#14831" notes: "Recherche active — appréciation posée au sign-off du schéma." -- notebook_path: IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb +- notebook_path: IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12c-PregnanceAnimat-Python.ipynb confidence: research reviewed_code_sha: 60af22936f3a15fc94cbeed9e864952e0026d5af20e9c3c082ec918ec237b28c review_date: "2026-09-21" evidence_pr: "#14831" notes: "Recherche active — appréciation posée au sign-off du schéma." -- notebook_path: IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb +- notebook_path: IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12d-InhibitedActionAnimat-Python.ipynb confidence: research reviewed_code_sha: 44c3406ede520ac19295c8d46ac29324e1286d73141e4caf0b436360f8849a84 review_date: "2026-09-21" evidence_pr: "#14831" notes: "Recherche active — appréciation posée au sign-off du schéma." -- notebook_path: IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb +- notebook_path: IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12e-Value-of-Information-Animat-Python.ipynb confidence: research reviewed_code_sha: 865df6eec48b8704606ededa7b24a92bdc98da851b3f05c274a7c70aa0e186ec review_date: "2026-09-21" diff --git a/docs/reference/rename-ledger.tsv b/docs/reference/rename-ledger.tsv index 69ac9880ae4..12df3d29234 100644 --- a/docs/reference/rename-ledger.tsv +++ b/docs/reference/rename-ledger.tsv @@ -358,3 +358,8 @@ MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12b-LearnedValence-Python.ipynb MyIA.AI.Not MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12c-PregnanceAnimat-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb 2026-10-27 myia-po-2027:CoursIA-2 MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12d-InhibitedActionAnimat-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb 2026-10-27 myia-po-2027:CoursIA-2 MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12e-Value-of-Information-Animat-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb 2026-10-27 myia-po-2027:CoursIA-2 +MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb 2026-10-28 myia-po-2027:CoursIA-2 +MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12b-LearnedValence-Python.ipynb 2026-10-28 myia-po-2027:CoursIA-2 +MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12c-PregnanceAnimat-Python.ipynb 2026-10-28 myia-po-2027:CoursIA-2 +MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12d-InhibitedActionAnimat-Python.ipynb 2026-10-28 myia-po-2027:CoursIA-2 +MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12e-Value-of-Information-Animat-Python.ipynb 2026-10-28 myia-po-2027:CoursIA-2 diff --git a/scripts/notebook_tools/pedagogy_density_baseline.json b/scripts/notebook_tools/pedagogy_density_baseline.json index 2bd351b489b..c939f8e11f0 100644 --- a/scripts/notebook_tools/pedagogy_density_baseline.json +++ b/scripts/notebook_tools/pedagogy_density_baseline.json @@ -456,11 +456,11 @@ "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-09-AgencyRegeneration-Python.ipynb": 1337.636, "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb": 1806.444, "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-11-CausalAgencyProfiles-Python.ipynb": 2038.909, - "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12-ValenceFieldsAndAnimats-Python.ipynb": 1313.545, - "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12b-LearnedValence-Python.ipynb": 805.1, - "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12c-PregnanceAnimat-Python.ipynb": 1426.0, - "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12d-InhibitedActionAnimat-Python.ipynb": 1351.667, - "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb": 1390.75, + "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb": 1313.545, + "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12b-LearnedValence-Python.ipynb": 805.1, + "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12c-PregnanceAnimat-Python.ipynb": 1426.0, + "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12d-InhibitedActionAnimat-Python.ipynb": 1351.667, + "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12e-Value-of-Information-Animat-Python.ipynb": 1390.75, "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb": 1182.143, "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-13b-DecroisementDynamiqueObservable-Python.ipynb": 1538.636, "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise-Python.ipynb": 1798.875, diff --git a/scripts/tests/baseline_nb_nav_chain.json b/scripts/tests/baseline_nb_nav_chain.json index a05a2797aa9..28a885e7390 100644 --- a/scripts/tests/baseline_nb_nav_chain.json +++ b/scripts/tests/baseline_nb_nav_chain.json @@ -447,7 +447,7 @@ }, { "kind": "orphan_entry", - "notebook": "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12/ICT-12e-Value-of-Information-Animat-Python.ipynb", + "notebook": "MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12e-Value-of-Information-Animat-Python.ipynb", "series": "MyIA.AI.Notebooks/IIT/ICT-Series" }, { From 1ba9cd8ed0c54586a229df16e0f2a6e9512ef4c3 Mon Sep 17 00:00:00 2001 From: "Claude Haiku 4.5 (1M context)" Date: Fri, 30 Oct 2026 19:36:00 +0100 Subject: [PATCH 4/4] Fix: lien ICT-12 de la genealogie vers la sous-serie (post-merge main, See #20298) Le merge ab990ddda97f avait garde la ligne 91 de la genealogie sur le chemin plat pre-renommage (ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb) alors que le carnet vit dans la sous-serie ICT-12-ValenceFieldsAndAnimats/. Aligne sur la ligne 25 du meme fichier et la convention ICT-14/ICT-15. Tue les deux rouges de la tete : check-links et l'organe fastlane de Always-on guards (qui agrege check-links, seul bloquant en echec sur 51 gardes). check_docs_links.py --check --base origin/main : rc=0 (9471 liens, 7 pre-existants excuses) Co-Authored-By: Claude Haiku 5.5 --- docs/ict/genealogy-representation-interne.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/ict/genealogy-representation-interne.md b/docs/ict/genealogy-representation-interne.md index 8984a5abcab..db0803dbce6 100644 --- a/docs/ict/genealogy-representation-interne.md +++ b/docs/ict/genealogy-representation-interne.md @@ -88,7 +88,7 @@ L'audit GitHub cross-notebooks **ne trouve aucun transport formel** de `p̂` ver ## Repères vérifiables - Série ICT : [`MyIA.AI.Notebooks/IIT/ICT-Series/`](../../MyIA.AI.Notebooks/IIT/ICT-Series/) ([Epic #4588](https://github.com/jsboige/CoursIA/issues/4588)). -- Notebooks-ancrage du quatrième fil : [ICT-10](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb), [ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats-Python.ipynb), [ICT-14](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise/ICT-14-FreeEnergySurprise-Python.ipynb), [ICT-15](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15/ICT-15-IntegratedComplexity-Python.ipynb), [ICT-16](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode-Python.ipynb), [ICT-17](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17-EpsilonMachine-Python.ipynb). +- Notebooks-ancrage du quatrième fil : [ICT-10](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-10-CatastropheGrammar-Python.ipynb), [ICT-12](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-12-ValenceFieldsAndAnimats/ICT-12-ValenceFieldsAndAnimats-Python.ipynb), [ICT-14](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise/ICT-14-FreeEnergySurprise-Python.ipynb), [ICT-15](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15/ICT-15-IntegratedComplexity-Python.ipynb), [ICT-16](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode-Python.ipynb), [ICT-17](../../MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17-EpsilonMachine-Python.ipynb). - Doc companion obstruction/recollement : [`docs/cadrage/grothendieckian-lens.md`](../cadrage/grothendieckian-lens.md) (§3 — cadrage `p̂`/`q_t` vs prégnance, post-A1 PR #7889). - Grille 3-régimes : [`docs/ict/synthese-invariants-dissociations-obstructions.md`](synthese-invariants-dissociations-obstructions.md) (le quatrième fil est orthogonal à cette grille). - Matrice de dissociations : [`docs/ict/dissociations-matrix.md`](dissociations-matrix.md) (la colonne `q_t` est indexée par le quatrième fil).