Skip to content

T3 Dehaene F2 — self-model minimal sans extended_mind_store (dissociation self/report) #19343

Open

Description

@jsboige

T3 Dehaene F2 — self-model minimal sans extended_mind_store (dissociation self/report)

Part of #8182

Le F2 de Dehaene (Global Neuronal Workspace Theory) pose que la conscience est l'accès à l'information via le global workspace, et que le self-model (rapport de soi) est une sortie du workspace — donc le self-model dépend causalement de l'état étendu du workspace (extended_mind_store). Si on vide l'extended-mind (toutes les variables d'environnement passées à 0), le self-model doit chuter.

Test de dissociation (falsifier F2) : un self-model minimal qui persiste hors extended_mind_store réfute la dépendance causale de F2. Le self-model devient alors un invariant du système, pas une sortie du workspace étendu.

Scope

Mesurer, sur le substrat du carnet ICT-24-WorkspaceIgnition-Python.ipynb (cellules 1-11 setup + carnet ICT-25 ou ICT-26 si déjà disponible), la différence de self-model recognition entre deux régimes :

  • Régime A (extended_mind_store plein) : extended_mind_store porte les variables d'environnement (workspace state, ignition, report). Self-model recognition = score_A.
  • Régime B (extended_mind_store vide) : extended_mind_store = 0 partout, mais le self-model state interne reste calculé sur ses entrées minimales (inputs proprioceptifs + boundary). Self-model recognition = score_B.
  • Régime C (contrôle : self-model vide, extended-mind plein) : on enlève la branche self-model interne, on garde extended-mind. Self-model recognition = score_C ≈ 0 (sanity check).

F2 prédit : score_A >> score_B (le self-model dépend causalement de l'extension). Falsification : score_A ≈ score_B (le self-model persiste hors extension, donc il est indépendant du report).

Acceptance

  • Critère 1 : un carnet (ou section) ré-exécutable qui mesure score_A, score_B, score_C sur les mêmes 4 graines seed_base ∈ {0, 1, 7, 42} que fix(ict24,#19222): gate23 graine stable (SETS.index) + dispersion 4 graines + phrase non-'definitif' #19225.
  • Critère 2 : la lecture critique de la sortie porte (a) la mesure score_A - score_B (delta de dissociation), (b) sa dispersion, (c) le verdict falsifie-F2 ou confirme-F2 — sans tomber dans le « mesuré, pas tranché » par défaut.
  • Critère 3 : si F2 est falsifié, on cite l'endroit précis où le self-model persiste hors extension (ligne du code, sortie de cellule), et on ouvre une issue fille sur l'implication théorique.
  • Critère 4 : git diff --stat montre additions-only ou additions-dominantes (pas de deletions sur code de production — Tell anti-régression).

Méthode

  1. Localiser dans le carnet ICT-24-WorkspaceIgnition-Python.ipynb (ou son successeur ICT-25) les variables extended_mind_store (si elles existent) ou les analogues.
  2. Si pas de variables d'environnement explicites : créer la couche extended_mind_store (mini-API) avec 3-5 variables d'environnement (workspace_state, ignition_flag, report_counter, attention_index, basin_width) — sans bloat.
  3. Définir self_model_score(state, extended_mind_store) = score de reconnaissance self-sur-self (T2 Bach a posé le self-model, on le réutilise).
  4. Mesurer score_A, score_B, score_C sur 4 graines, n_shuffles ≥ 50 (héritée de ICT-24 Gate 23 : renforcer le verdict à n_shuffles >= 50 sur les 4 graines #19335).
  5. F2 falsifié si |score_A - score_B| < 2 × σ_score_B (le delta n'est pas significatif au-dessus du bruit).

Suite (si F2 falsifié)

Critères de sortie

  • PR avec body Tell c.18529 (Voie 1 re-exec end-to-end).
  • Grain DEEP/notebook-python (plancher G-VAR-1).
  • Tag Grain: DEEP/notebook-python — lane myia-po-2024:CoursIA-2.
  • Cellule markdown d'interprétation cite score_A, score_B, score_C, dispersion, verdict falsification.

Refs: #8182 #19225 #19335 #19326

🤖 Generated with Claude Code

Activity

  1. jsboige commented on Oct 5, 2026

    @jsboige
    OwnerAuthor

    [CLAIMED] lane myia-po-2024:CoursIA-2 — T3 Dehaene F2 self-model minimal sans extended_mind_store, Part of #8182

    Plancher G-VAR-1 cycle 20 : DEEP/notebook-python narrow-cache tari (Tell c.970-L2), sous-grain cree dans EPIC #8182 libre.

  2. added
    leanLean 4 formalization (proofs, ports, theorem mining)
    on Oct 5, 2026
  3. added a commit that references this issue on Oct 5, 2026
  4. added a commit that references this issue on Oct 6, 2026
  5. jsboige commented on Oct 8, 2026

    @jsboige
    OwnerAuthor

    [CLAIMED] lane myia-po-2026:CoursIA-2 -- livrer le test de dissociation F2 (regimes A/B/C, 4 graines) sur le substrat ICT-24, avec lecture critique tranchee

    Grain: DEEP/notebook-python — lane myia-po-2026:CoursIA-2 — prev: MED/guard #19995

  6. jsboige commented on Oct 8, 2026

    @jsboige
    OwnerAuthor

    Volet direct livre -- PR #19997

    Lane myia-po-2026:CoursIA-2. Le volet proxy de cette issue avait ete livre par #19345 (K-sweep inter-categories, F2_INCONCLUSIVE_PROXY) ; la question de l'issue -- le self-model survit-il au vidage du store etendu ? -- restait ouverte. Elle l'est desormais par un test direct sur substrat synthetique numpy-only.

    Preuve par critere

    Critere Etat Preuve
    1 -- un carnet re-executable mesure score_A, score_B, score_C sur les 4 graines {0,1,7,42} COUVERT ICT-Dissociation-DehaeneF2-SelfReport.ipynb, execute au papermill local : execution_count 1->9 sequentiels, 9/9 cellules avec sorties, 0 erreur
    2 -- lecture critique : (a) delta, (b) dispersion, (c) verdict tranche, sans « mesure, pas tranche » par defaut COUVERT delta +0,289 ; dispersion sigma_A 0,308 / sigma_B 0,037 ; verdict F2_CONFIRMED_EXTENDED_REQUIRED. La sensibilite au choix de la dispersion de reference est explicitee (contre 2*sigma_A le delta ne passerait pas)
    3 -- si F2 falsifie, citer l'endroit ou le self-model persiste + issue fille CONDITIONNEL, honore a l'envers F2 est confirme ici. Ce qui persiste est mesure et nomme : le regime B reste significatif (p < 0,02, score_B = +0,095), donc le self-model n'est pas seulement une sortie du workspace. Aucune issue fille ouverte : la question restante (« d'ou vient un self-model qui persiste hors du store ? ») n'est pas tranchee par un protocole, et ouvrir une issue sur une question non instrumentee serait du bruit
    4 -- git diff --stat additions seules COUVERT +1417 / -0, 5 fichiers, aucun workflows, aucun fichier hors serie ICT

    Mesure

    regime score (4 graines) p
    A -- store plein +0,384 +/- 0,308 < 0,02 a chaque graine
    B -- store vide (lesion) +0,095 +/- 0,037 < 0,02 a chaque graine
    C -- self-model ablate 0,000 ~0,5 (bruit)

    Ce que la mesure ne dit pas

    Substrat synthetique : la conclusion ne se transporte pas a un LLM. Le volet sur traces reelles (case 4, bras self_model_minimal) reste GPU-only (Tell c.8236, RECOVERABLE-MACHINE) -- il est nomme, pas remplace.

    Deux faux departs de protocole sont documentes dans le carnet (controle C = -0,99 sur la premiere version, appariement spectral absent sur la seconde), tous deux attrapes par le controle de degenerescence.

    Cloture : elle revient au coordinateur ou a l'adjointe (worker : la ligne rouge est le close d'autrui). PR #19997.

    — lane myia-po-2026:CoursIA-2

  7. added 3 commits that reference this issue on Oct 8, 2026
  8. added a commit that references this issue on Oct 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    leanLean 4 formalization (proofs, ports, theorem mining)

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions