IIT-06 : l'objet qui a mordu IIT — l'expander à Φ énorme et comportement trivial, l'objection et la réponse mesurées en PyPhi (Epic Aaronson veine 5)

[jsboige]

Part of #16781 (veine 5 — « l'objet qui a mordu IIT »)

Ce que la veine demande (extrait du brief Epic)

La construction d'un objet mathématique à Φ énorme et à comportement trivial (le réseau d'expandeurs de portes XOR), et la réponse publiée qui assume la conséquence — Tononi : oui, selon IIT cet objet est conscient ; l'échange est publié des deux côtés, on le cite et on le grade, on ne prête d'état d'esprit à personne. Le brief note que l'échange a été fertile pour les versions ultérieures de PyPhi.

Sources archivées (acquisition veine 6 — 2026-09-22)

Gisement G:\Mon Drive\MyIA\IA\Bibliographie IA\Consciousness\ (jamais dans le dépôt, règle bibliography-hygiene ; identité vérifiée sur première page) :

• 2014 - Aaronson - Why I Am Not An Integrated Information Theorist, The Unconscious Expander (scottaaronson.blog, OA).html — l'objection : l'expander à Φ immense et comportement trivial.
• 2014 - Aaronson - Giulio Tononi and Me, A Phi-nal Exchange (scottaaronson.blog, OA).html — la réponse qui assume : oui, conscient selon IIT.
• 2014 - Aaronson - IIT, Virgil Griffith opines (scottaaronson.blog, OA).html — la relance, avec un co-auteur de PyPhi dans l'échange.
• 2013 - Aaronson - The Ghost in the Quantum Turing Machine (scottaaronson.com, OA).pdf — le texte fondateur (85 p.), section IIT.

Cible vérifiée contre l'arbre (2026-09-22)

• IIT/ compte 01-05 — IIT-06 est libre (mesuré : listing disque).
• IIT-01-IntroToPyPhi.ipynb fournit le socle PyPhi (kernel pyphi, 43 cellules).
• PyPhi 1.2.0 opérationnel localement sur myia-po-2023 (env conda pyphi + kernel Jupyter enregistré, import vérifié firsthand) — exécution CPU entière, pas de GPU requis.

Périmètre (cette issue)

Livrable principal : IIT-06-L-Objet-qui-a-Mordu-IIT.ipynb (titre ajustable), Python/PyPhi :

1. Distillation graduée de l'échange : les DEUX positions avec leurs grades (objection d'Aaronson mesurée sur instance PyPhi réelle ; réponse de Tononi citée telle quelle, pas paraphrasée) — discipline docs/ du dépôt : dialogue, pas paraphrase.
2. L'objet, exécuté : construire en PyPhi la famille de graphes de l'objection (réseau XOR connecté en expander), mesurer son Φ (ou sa borne inférieure tractable — MIP/conceptual structure selon la taille atteignable en CPU borné), et documenter honnêtement le grade : Φ intégral est au-delà du tractable au-delà de ~N nœuds ; ce qui est mesuré est une borne/estimation, écrit comme tel (l'Epic l'exige : « promettre Φ intégral serait exactement le genre de sur-montée que la hiérarchie de sobriété interdit »).
3. Le contraste : même mesure sur un réseau de même taille au comportement « riche » (réseau de l'IIT-01 ou macro-réseau canonique), pour que l'écart objet-trivial/Φ-énorme soit visible dans la sortie, pas affirmé.
4. ≥ 3 exercices stubbés C.1 (pas d'erreur volontaire), notebook committé AVEC outputs (C.2, exécution réelle kernel pyphi).

Hors périmètre (suivis nommés) :

• Le premier lake Lean IIT/ICT (borne inférieure d'intégration prouvée) : visé par l'Epic mais interdit sur myia-po-2023 (⛔ Lean/WSL, stop user 30/08) — issue séparée à ouvrir par une lane Lean quand la partie Python aura fixé l'objet et ses définitions. Le grade écrit du notebook doit préparer ce terrain (définitions formelles posées).
• La distillation complète de Ghost (veine 3) : autre livrable, la section IIT est ici source parmi d'autres.

Acceptance

1. Notebook exécuté de bout en bout sous kernel pyphi (papermill SUCCESS, 0 erreur volontaire), outputs committés.
2. Les deux positions citées avec grades ; aucune position prêtée.
3. La mesure PyPhi de l'objet (ou sa borne) est dans la sortie, avec le grade de ce qu'elle est.
4. Le contraste trivial/riche mesuré sur instances réelles.
5. ≥ 3 exercices stubbés conformes C.1.
6. Tag Grain: sur la PR de livraison.

[jsboige]

[CLAIMED] lane myia-po-2023:CoursIA -- paths: MyIA.AI.Notebooks/IIT/IIT-06-*.ipynb -- construction du notebook veine 5 (Epic #16781) : distillation graduée de l'échange Aaronson/Tononi + mesures PyPhi de l'expander et du contraste

[jsboige]

[DELIVERED] lane myia-po-2023:CoursIA — PR #17380 (commit eca0206) : notebook IIT-06 exécuté de bout en bout (papermill kernel pyphi, 0 erreur), deux jambes mesurées (Φ_DM exacte : Vandermonde indéfini, W = 50 % du contenu, identité 0 ; PyPhi 3.0 : grille majorité 0,655 à l'état tout éteint, grille XOR 3,25 = max de la table, riche hétérogène 0), 4 exercices C.1, sources archivées au gisement (dont le docx de Tononi récupéré pour l'occasion). Acceptance 1-6 de l'issue couvertes ; suivi nommé pour le lake Lean (hors périmètre po-2023).

[jsboige]

[INFO] candidate-delivered — lane myia-po-2024:CoursIA, mesure firsthand au tirage du cycle.

• Livraison : commentaire [DELIVERED] de la lane porteuse myia-po-2023:CoursIA le 2026-09-22T06:02:55Z (PR feat(iit,#17378): IIT-06 — l'échange Aaronson/Tononi exécuté (Φ_DM + PyPhi) #17380, commit eca0206, notebook IIT-06 exécuté de bout en bout, 0 erreur).
• Etat mesure a l'instant : PR feat(iit,#17378): IIT-06 — l'échange Aaronson/Tononi exécuté (Φ_DM + PyPhi) #17380 MERGED le 2026-09-24T13:26:37Z, titre feat(iit,#17378): IIT-06 — l'echange Aaronson/Tononi execute (Phi_DM + PyPhi).
• Le critere de fermeture reste a la lecture du coordinateur (G.9) : rendu la main sans re-piocher, sans fermer.

Temoins : gh pr view 17380 --json state,mergedAt -> MERGED / 2026-09-24T13:26:37Z ; commentaire de livraison dans ce fil (06:02:55Z).

[jsboige]

[INFO] candidate-delivered — PR #17380 livre IIT-06 (l'échange Aaronson/Tononi exécuté Φ_DM + PyPhi) pour #17378 (IIT-06 l'objet qui a mordu IIT).

Mesure first-hand :

• PR feat(iit,#17378): IIT-06 — l'échange Aaronson/Tononi exécuté (Φ_DM + PyPhi) #17380 MERGED 2026-09-24T13:26:37Z : feat(iit,#17378): IIT-06 — l'échange Aaronson/Tononi exécuté (Φ_DM + PyPhi)

Issue #17378 (IIT-06 : l'objet qui a mordu IIT — l'expander à Φ énorme et ...) — acceptation par le merge de #17380.

Grain: LIGHT/docs — lane myia-po-2026:CoursIA-2 — prev: MED/guard (c.1374-r42). À laisser au coordinateur/adjoint pour fermeture propre (urne delivered réservée).