Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down Expand Up @@ -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"
]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down Expand Up @@ -451,7 +459,7 @@
"id": "b15ee514",
"metadata": {},
"source": [
"---\n",
"***\n",
"\n",
"## Exercices\n",
"\n",
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down
8 changes: 8 additions & 0 deletions MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down
8 changes: 8 additions & 0 deletions MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17-EpsilonMachine.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down
8 changes: 8 additions & 0 deletions MyIA.AI.Notebooks/IIT/ICT-Series/ICT-19-EnjeuBattery.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down
Loading