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
1,125 changes: 1,051 additions & 74 deletions MyIA.AI.Notebooks/IIT/ICT-Series/ICT-17b-Grokking-CompressionProgress.ipynb

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions docs/ict/dissociations-matrix.md
Original file line number Diff line number Diff line change
Expand Up @@ -98,6 +98,7 @@ Conventions :
| **ICT-16** | `F` = partie résiduelle de `K` + bosse complexité-entropie | `s` ✓ | MDL two-part code | Modèles témoins sans bosse | RNG multi-source | established_external | **Établi** | Bosse Crutchfield-Feldman 1998 mesurée à H* ≈ 1.99 bits/symbole ; cave emptor : **un seul couple (modèle, famille de sources)** dans la figure rendue |
| **ICT-17** | L'ε-machine (Crutchfield) ≠ Hoel : deux lectures de l'émergence causale | `s` ✓, `W` ○ | États causaux + complexité statistique + entropie d'excès | Hoel info effective, CE 2.0 | multi-substrat | conceptual_analogy | **Fortement soutenu** | Dissociation reconnue mais pas hiérarchisée |
| **ICT-17b** | 2/5 proxys dissocient du progrès de généralisation pendant le grokking | `s` ✓, `q` ○ | ‖w‖², Fisher-MDL, 1-test_acc, trace de Fisher, pred-zlib | Baseline avant-grokking | 5 proxys | reproduced_in_toy_model | **Établi** | 3 co-localisent (‖w‖², Fisher-MDL, 1-test_acc) ; 2 dissocient (trace Fisher, pred-zlib). Verdict honnête dissociatif (#7268) |
| **ICT-17b** (jonction ICT-18) | Le sonar σ(t)/B_work(t) fenêtré (panel 4 bits) peut-il coïncider avec le saut de grokking ? P-σ et P-B pré-enregistrées : INCONCLUSIVE toutes deux | `s` ✓, `q` ○ | σ de Schnakenberg + B_work, fenêtres 20 checkpoints stride 2 | C1 null mélangé (20 perms, seuil +2 SD) ; C2 témoin wd=0 — **grokke** (te_acc 0.519 @ 4000), donc invalide | 2 graines RNG | reproduced_in_toy_model + pre_enregistrement | **Spéculatif** | C1 False aux fenêtres du saut et du max (4 tests), pics σ éloignés du saut (centres step 3550 / 650) ; le témoin σ max 12.777 ≈ graines (12.756 / 12.253), mais C2 est ininterprétable ; B_work culmine 18/16 fenêtres APRÈS le saut (τ post-saut +0.446 / +0.559), cas non couvert par le FAIL pré-enregistré. Aucun verdict général de non-discrimination ; protocole [#17975](https://github.com/jsboige/CoursIA/issues/17975) |
| **ICT-18** | Forcer une trajectoire ICT à devenir réversible *mesure* sa production d'entropie | `s` ✓, `q` ○, `π` ○ | Distribution stationnaire, inversion temporelle, σ de Schnakenberg | Détailed balance (σ = 0) | 4 substrats | reproduced_in_toy_model | **Établi** | GPU-free ; ancré ICT-3 *competency for free* |
| **ICT-18b** P1 | Le budget `B_state` s'épuise au pli de bifurcation | `s` ✓, `q` ○ | `B_state` (Monte-Carlo primaire) | `B_work` (témoin) | substrats S2/S4/S3 | reproduced_in_toy_model | **Établi** | Co-varie avec les EWS d'ICT-8 ; `B_state` ≪ `B_work` en pré-pli |
| **ICT-18b** P2 | Dissiper plus (↑ σ) ne régénère pas plus (B_state stable) | `s` ✓, `q` ○ | σ vs `B_state` | Substrat témoin (dissipation sans structure) | substrat S4 (Gray-Scott) | reproduced_in_toy_model | **Établi** | **Verdict dissociation** : la réversibilité se dissocie en un moyen (σ) et une fin (compétence de régénération) ; on mesurait son coût, pas sa finalité |
Expand Down
Loading