diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise.ipynb index 5b5cf776f8..a327a97347 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-14-FreeEnergySurprise.ipynb @@ -21,6 +21,14 @@ "*Part of l'Epic [#4588](https://github.com/jsboige/CoursIA/issues/4588) (strate 4 — retour de la théorie fondatrice). Greenlight user 2026-07-02.*" ] }, + { + "cell_type": "markdown", + "id": "5ed1a33e", + "metadata": {}, + "source": [ + "> **Statut épistémique** — **Fortement soutenu** : La *free energy* articule anticipation (`p̂`) et trajectoire Φ. Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "markdown", "id": "38e08616", @@ -644,7 +652,7 @@ "dimension — la précision adaptative, donc l'incertitude exprimée — qui donne à\n", "$F$ son pouvoir discriminant au-delà du MSE brut.\n", "\n", - "---\n", + "***\n", "\n", "**Retour au sommaire** : [Index ICT-Series](ICT-0-Framing.md)\n" ] diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15-IntegratedComplexity.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15-IntegratedComplexity.ipynb index b953a38b63..8c4291ab39 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15-IntegratedComplexity.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15-IntegratedComplexity.ipynb @@ -20,6 +20,14 @@ "Ce capstone **étend l'appareil existant** (il ne le refait pas) : `ICT-Synthese-CrossSubstrat` appliquait une batterie (EI/EC + contrôle shuffle) à trois substrats (S1 tri, S2 bistable, S3 réplicateur). On lui ajoute les deux scalaires manquants, et on pose le **gate de convergence** : est-ce que les trois classements coïncident ?" ] }, + { + "cell_type": "markdown", + "id": "8d4ac338", + "metadata": {}, + "source": [ + "> **Statut épistémique** — **Spéculatif** : Φ/F/K convergent sur le banc cross-substrat. Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "markdown", "id": "6c977fd0", @@ -451,7 +459,7 @@ "id": "b15ee514", "metadata": {}, "source": [ - "---\n", + "***\n", "\n", "## Exercices\n", "\n", diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15b-SensitivityCanonicity.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15b-SensitivityCanonicity.ipynb index f3360378a4..c0fbdffbe0 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15b-SensitivityCanonicity.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15b-SensitivityCanonicity.ipynb @@ -54,6 +54,14 @@ "Toutes les experiences utilisent `ict.spectral.transition_graph` + `ict.sensitivity.huang_conjecture_test` (modules merges dans le PR #7330).\n" ] }, + { + "cell_type": "markdown", + "id": "49633959", + "metadata": {}, + "source": [ + "> **Statut épistémique** — **Fortement soutenu** : La sensibilité locale `s_max` borne le degré global `deg_proxy` : transpose du théorème de Huang 2019 (`s(f) ≥ √deg(f)`) au zoo ICT. Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "code", "execution_count": 1, diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15c-MetaProxyObstruction.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15c-MetaProxyObstruction.ipynb index 3f76ae22bf..673d837995 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15c-MetaProxyObstruction.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15c-MetaProxyObstruction.ipynb @@ -56,6 +56,14 @@ "avec verdict falsifiable `STABLE / NOISE / INCONCLUSIVE` à la fin." ] }, + { + "cell_type": "markdown", + "id": "9c785ef2", + "metadata": {}, + "source": [ + "> **Statut épistémique** — **Spéculatif** : Le **motif de désaccord** entre proxys est stable cross-substrat = obstruction informative (≠ dispersion d'échelle). Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "code", "execution_count": 1, diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15d-CechObstruction.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15d-CechObstruction.ipynb index 6fb96fd690..382f06cc89 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15d-CechObstruction.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15d-CechObstruction.ipynb @@ -60,6 +60,14 @@ "crossover), **May** (ICT-8, pâturage bistable). Déterministes (seeds fixés).\n" ] }, + { + "cell_type": "markdown", + "id": "01f03c41", + "metadata": {}, + "source": [ + "> **Statut épistémique** — **Spéculatif** : La cochaîne de Čech pondérée discriminate les substrats (`NON_TRIVIAL` = les proxys ne se recollent pas en 1D). Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "code", "execution_count": 1, diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15e-Bridge2-RecoverabilityAgency.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15e-Bridge2-RecoverabilityAgency.ipynb index e2d8527cd0..4f22aa36ba 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15e-Bridge2-RecoverabilityAgency.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-15e-Bridge2-RecoverabilityAgency.ipynb @@ -55,6 +55,14 @@ "- Commit AVEC outputs (regle C.2).\n" ] }, + { + "cell_type": "markdown", + "id": "06fb6442", + "metadata": {}, + "source": [ + "> **Statut épistémique** — **Fortement soutenu** : La trajectoire de réparation **est** un signal distinct d'un random walk calibré (recouvrabilité = agentivité, ≠ simple gain). Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "code", "execution_count": 1, diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode.ipynb index 75a2810ad5..72202badad 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode.ipynb @@ -34,6 +34,14 @@ "**Dependances** : `ict.mdl` (numpy-only), `ict.compression` (numpy + zlib). Pas de GPU, pas de Lean. Notebook executable end-to-end (les exercices sont stubs mais ne leveent pas d'exception -- règle C.1)." ] }, + { + "cell_type": "markdown", + "id": "4c607182", + "metadata": {}, + "source": [ + "> **Statut épistémique** — **Établi** : `F` = partie résiduelle de `K` + bosse complexité-entropie. Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "markdown", "id": "548759d1", diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17-EpsilonMachine.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17-EpsilonMachine.ipynb index ef014ee924..e0a063c379 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17-EpsilonMachine.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17-EpsilonMachine.ipynb @@ -44,6 +44,14 @@ "volee via les modules ``ict`` (pas de ``.npz`` pre-committed).\n" ] }, + { + "cell_type": "markdown", + "id": "92b17b68", + "metadata": {}, + "source": [ + "> **Statut épistémique** — **Fortement soutenu** : L'ε-machine (Crutchfield) ≠ Hoel : deux lectures de l'émergence causale. Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "markdown", "id": "ac06b994", diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17b-Grokking-CompressionProgress.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17b-Grokking-CompressionProgress.ipynb index 41f65febe3..d2ef049550 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17b-Grokking-CompressionProgress.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17b-Grokking-CompressionProgress.ipynb @@ -31,6 +31,14 @@ "temporelle (capstone #7259), pas un instantané K statique. Le cadre n'est ni survendu ni enjolivé." ] }, + { + "cell_type": "markdown", + "id": "26527e9c", + "metadata": {}, + "source": [ + "> **Statut épistémique** — **Établi** : 2/5 proxys dissocient du progrès de généralisation pendant le grokking. Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "markdown", "id": "28a49d9d", diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-18-ArrowOfTimeReversibilization.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-18-ArrowOfTimeReversibilization.ipynb index c2e02f7e49..0b4d7a523d 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-18-ArrowOfTimeReversibilization.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-18-ArrowOfTimeReversibilization.ipynb @@ -23,6 +23,14 @@ "**Problème** : comment mesurer l'agentivite emergente d'une trajectoire *thermodynamiquement* ? Et surtout, ou cette mesure s'arrete-t-elle ?" ] }, + { + "cell_type": "markdown", + "id": "893e902a", + "metadata": {}, + "source": [ + "> **Statut épistémique** — **Établi** : Forcer une trajectoire ICT à devenir réversible *mesure* sa production d'entropie. Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "markdown", "id": "e313f2a4", diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-18b-ReversibilityBudget.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-18b-ReversibilityBudget.ipynb index 7df3c490a4..a045df595a 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-18b-ReversibilityBudget.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-18b-ReversibilityBudget.ipynb @@ -20,6 +20,14 @@ "Trois prédictions falsifiables sont **pré-enregistrées** (section suivante) **avant** les cellules qui les testent. Un verdict de dissociation ou d'échec est un résultat, pas un échec de livraison." ] }, + { + "cell_type": "markdown", + "id": "c49939e9", + "metadata": {}, + "source": [ + "> **Statut épistémique** — 3 claims, verdicts distingués :\n> - **Établi** : Le budget `B_state` s'épuise au pli de bifurcation.\n> - **Établi** : Dissiper plus (↑ σ) ne régénère pas plus (B_state stable).\n> - **Établi** : La monoculture stratégique (Axelrod 6 stratégies) porte une dette d'irréversibilité culturelle.\n> Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "markdown", "id": "setup", diff --git a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-19-EnjeuBattery.ipynb b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-19-EnjeuBattery.ipynb index 319b860e3c..78af4aa6f2 100644 --- a/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-19-EnjeuBattery.ipynb +++ b/MyIA.AI.Notebooks/IIT/ICT-Series/ICT-19-EnjeuBattery.ipynb @@ -30,6 +30,14 @@ "45 min (lecture + exécution séquentielle). GPU-free : numpy + matplotlib uniquement." ] }, + { + "cell_type": "markdown", + "id": "5fcdc1d4", + "metadata": {}, + "source": [ + "> **Statut épistémique** — **Établi** : L'enjeu `I_stake` (récupérabilité Levin) est mesurablement distinct du moyen `I_thermo` (σ). Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)." + ] + }, { "cell_type": "markdown", "id": "959cedb2",