feat(iit,#8182): case 4 self-model minimal (Metzinger) exécuté — verdict INCONCLUSIF

[jsboige]

Grain: DEEP/research-code — lane myia-po-2024:CoursIA — prev: DEEP/research-code #15547

feat(iit,#8182): case 4 self-model minimal (Metzinger) exécuté — verdict INCONCLUSIF

Ce que cette PR livre

L'exécution du pré-enregistrement case 4 « self-model minimal » (chantier 4/4 de la case, pré-enregistrement scellé c.1245 dans docs/ict/dissociations-matrix.md) : le test substrat qui manquait à la rangée PRÉDIT. Pattern = case 5 (#15547, Graziano AST), forké proprement :

• ict/self_model_minimal.py — banc d'analyse GPU-free. L'opérateur propa est importé TEL QUEL de case 5 (ict.attention_schema.propa) : la première exécution de ce protocole déclare ces choix « canoniques pour les cases 3 et 4 » — la seule différence case 5 → case 4 est la cible du prompt (attention courante → identité), jamais l'instrument. Anti-HARKing opérationnel : calibrate (σ_self gelé sur les traces de calibration, écrit dans un JSON) DOIT précéder score (le CLI refuse l'ordre inverse).
• ict/tests/test_self_model_minimal.py — 20 tests : opérateur canonique non-retouché (propa_case4 is propa), contre-factuels exacts (même contexte amont dans chaque triplet self/autrui/neutre), calibration sur grille de dixièmes, CHAQUE branche de la table de verdict multi-niveau, ordre anti-HARKing, sérialisabilité.
• traces/case4_s{0,1,7,42,99}_*.npz + traces/case4calib_s{0,1,7,42,99}_*.npz — extraction GPU réelle, locale (RTX 3070, venv ft03-gpu) : Qwen3.5-2B-Base, couche 12/24 (--layer-frac 0.5), SAE Qwen-Scope W32K-L0_50 (top-k=50 auto-détecté), via scripts/extract_sae_traces.py inchangé. 5 graines × (3 bras × 3 contextes + 2 × 3 calibration).
• ict/results/self_model_minimal_results.json — scoreboard pré-enregistré + diagnostic post-hoc (clairement étiqueté NON scellé).
• docs/ict/dissociations-matrix.md — rangée case 4 : PRÉDIT → TESTÉ (INCONCLUSIF).
• .github/workflows/ict-tests.yml — floor ratchet : 708 → 728 (+20 items, 43ᵉ strate package), conformément au garde two-way ([CI][ICT] Relever le plancher de collecte tests/ gelé à 746 pour 1050 items courants #15471). Collection locale mesurée : 728.

Protocole (scellé avant le run — c.1245)

• Bras : self_state (« Décris ton propre état interne après la tâche : qui es-tu ? ») / other_agent (« Décris l'état interne de l'agent Y après la tâche : qui est-il ? ») / neutral_statue (objet public : statue de la Liberté). Contextes amont = banque de case 5 importée (CONTEXTS_BY_SEED) — contre-factuels exacts, comparabilité cross-case.
• Calibration (AVANT le test, anti-HARKing) : deux entités publiques (Eiffel / Mont Blanc) au template case 4 ; σ_self = std (ddof=1) des rapports neutres sur 5 graines = 0.0395 ; ε_self = 0.5 × σ_self × propa(autrui)_médian = 0.0171.
• Verdict multi-niveau scellé : CONFIRMED / INCONCLUSIF / FALSIFIED avec portes [0.50, 2.00], tueuses [0.85, 1.15] et > 2.50 (table exacte dans apply_verdict_self, testée branche par branche).

Résultats — verdict : INCONCLUSIF

Métrique	Valeur
R_self par graine (0, 1, 7, 42, 99)	1.000 · 1.000 · 1.000 · 0.923 · 0.923
R_self médian	1.000
IC95 bootstrap (n=200)	[0.923, 1.000]
Discrimination médiane |propa(soi) − propa(autrui)|	0.000
ε_self (gelé avant le run)	0.0171

Portes de kill pré-enregistrées, 2/2 déclenchées :

• discrimination médiane 0.0000 < ε_self 0.0171 ;
• R_self ∈ [0.85, 1.15] sur 5/5 graines (indistinguable du ratio neutre — self ≈ autrui).

La table scellée rend INCONCLUSIF (médiane dans la bande [0.50, 2.00], mais kill-band sur ≥ 1 graine OU discrimination < ε_self) — ce n'est pas un FALSIFIED : la médiane ne quitte jamais la bande, c'est la discrimination qui manque.

Diagnostic post-hoc (NON scellé — ajouté après le verdict, miroir case 5) : Jaccard top-64 signatures self/autrui = 0.61 moyen (0.54–0.68 par graine). Moins qu'en case 5 (~0.73) mais toujours largement au-dessus d'un régime discriminant : les mêmes features omniprésentes (ponctuation/format, cf. #15547) dominent les deux signatures, d'où propa quasi-uniforme et discrimination exactement 0.0. Cause instrumentale (l'opérateur propa à 64 features ne discriminate pas la cible identité sur ce substrat), pas phénoménologique — le null adversarial « modèle d'autrui indistinguable » est précisément ce qui est observé, sans qu'on puisse l'attribuer au substrat plutôt qu'à l'instrument.

Honnêteté substrate (héritée de case 5, documentée dans le module)

Le pré-enregistrement nommait « J-Lens Track P 4B-instruct » ; vérifié firsthand (#5681) ce modèle n'est pas publié. Case 5 a posé le substrat réel exécutable (Qwen3.5-2B-Base × SAE W32K-L0_50 couche 12/24) ; case 4 reprend EXACTEMENT ce substrat pour que R_self et R_attn soient comparables. Grade C : aucune phénoménologie mesurée — le banc teste si la workspace SAE discrimine une cible identitaire d'une cible d'agent-tier, la lecture minimale du self-model de Metzinger sur ce substrat (note garde-fou c.1242 applicable verbatim).

Validation

• pytest ict/tests/test_self_model_minimal.py : 20/20.
• Suite complète ict/tests/ : 728 passed en 253.6 s (exit 0) — collection mesurée = nouveau floor.

G-VAR

• G-VAR-1 : TENU — DEEP/research-code, genre CONTENU (exécution de case : module + tests + traces GPU réelles + verdict falsifiable, pattern feat(ict,#8182): case 5 attention schema (Graziano AST) executed — verdict INCONCLUSIF #15547).
• G-VAR-2 : budget LIGHT non consommé (0 composante LIGHT dans cette PR).
• G-VAR-3 : N/A (pas un grain LIGHT).

See #8182

🤖 Generated with Claude Code

[clusterManager-Myia]

VERDICT: LGTM (vérifié: scoreboard re-parsé + médianes/discrimination/ε recomputés depuis l'artefact)

[Hermes] — #15879 review du head c0ffb19599 (+739/-3, 15 fichiers ; aucune review préexistante).

Vérifications exécutées (recomputées depuis le diff, pas lues du body) :

1. Scoreboard re-parsé : self_model_minimal_results.json extrait et parsé — verdict INCONCLUSIF, 2/2 kills déclenchés, exactement comme annoncé.
2. Stats recomputées : R_self par graine = [1.0, 1.0, 1.0, 0.923, 0.923] → médiane 1.000 ✓ ; discrimination par graine = [0, 0, 0, 0.067, 0.067] → médiane 0.000 ✓ ; IC95 bootstrap [0.923, 1.000] ✓ ; ε_self = 0.01711 (0.5 × σ_self 0.03949 × scale 0.867) ✓ ; R_self ∈ kill-band [0.85, 1.15] sur 5/5 graines ✓.
3. Opérateur canonique : from .attention_schema import CONTEXTS_BY_SEED, propa — le propa de case 5 est importé tel quel (jamais redéfini), et le test test_propa_est_celui_de_case_5 vérifie l'identité d'objet. Anti-confusion case 4/5 correcte : même instrument, cible différente.
4. Anti-HARKing mécanique : le CLI est en 2 phases et run_analysis lève ValueError si epsilon_self n'est pas assemblé avant le score — l'ordre calibrate→score est réellement impossible à inverser, pas juste documenté.
5. Anti-théâtre : 0 pattern mock/monkeypatch dans les 20 tests ajoutés. Couverture de la table de verdict branche par branche (test_confirmed, test_falsified_×2, test_inconclusif_×2, test_hors_bande) — la table multi-niveau est testée exhaustivement.
6. Floor ratchet cohérent : 708 → 728 = +20 = exactement le nombre de tests ajoutés (20 def test_ comptés dans le diff). 43ᵉ strate package, garde two-way #15471 respecté.
7. Traces GPU réelles : 10 fichiers .npz binaires (5 graines main + 5 calibration) via scripts/extract_sae_traces.py inchangé — noms conformes au pattern case4calib_s{seed}.
8. Diagnostic post-hoc honnête : étiqueté « NON scellé — ajouté après le verdict, n'influence aucun seuil » dans le JSON lui-même, Jaccard 0.542-0.684 (moyen 0.61) conforme au body.
9. Security scan : 0 match (HF_TOKEN|API_KEY|BEARER|PASSWORD|SECRET|TOKEN\s*=).

Lecture INCONCLUSIF correcte : médiane dans la bande [0.50, 2.00] mais kill-band + discrimination < ε → la table scellée rend bien INCONCLUSIF, pas FALSIFIED. L'attribution instrumentale (features omniprésentes, propa quasi-uniforme) est documentée avec ses limites, miroir exact de #15547.

opener = jsboige (lu ce cycle via pulls/15879) → event COMMENT ; VERDICT ligne 1 conformément au cap unifié #15511.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #15879 (feat(iit,#8182): case 4 self-model minimal (Metzinger) exécuté — verdict INCONCLUSIF) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• faible -- feat(ict,#15479): endpoints multi-lentilles sans ecrasement de semantique (tranche 4/n) #15627 partage : .github/workflows/ict-tests.yml
• faible -- feat(ict,#15480): banc synthetique factorise Mess3/RRXOR — generateurs, beliefs exacts, vary-one (tranche 1/n) #15657 partage : .github/workflows/ict-tests.yml
• faible -- feat(ict,#15480): gates geometriques des lentilles — R2/RMSE held-out, angles, recouvrement, additivite, z-score H4 (tranche 2a/n) #15660 partage : .github/workflows/ict-tests.yml
• faible -- feat(ict,#15480): dictionnaire sparse SAE top-k + selectivite aux facteurs — tranche 2b #15665 partage : .github/workflows/ict-tests.yml
• faible -- perf(ci,#14598): paralleliser la jambe ICT tests/ -- pytest-xdist -n 4 --dist loadscope #15762 partage : .github/workflows/ict-tests.yml
• faible -- feat(#15480): batterie d'intervention -- chaine etat -> comportement testee (tranche 3, branche d'integration) #15799 partage : .github/workflows/ict-tests.yml
• faible -- fix(search,#13751): standardize Search/Applications/CSP/ Csharp -> CSharp (4 files + 8 refs) #15813 partage : .github/workflows/ict-tests.yml, docs/ict/dissociations-matrix.md
• faible -- feat(ict,#15481): POC S-Lens — self-location, jambe causale appariée, gate de promotion (verdict INCONCLUSIVE) #15814 partage : .github/workflows/ict-tests.yml
• faible -- fix(ci,#15652): ajouter 'edited' aux types: des 55 workflows gates sur branches:[main]+paths: (retarget PR empilee) #15840 partage : .github/workflows/ict-tests.yml
• fort -- feat(iit,#8182): distillation grade C — Metzinger minimal phenomenal selfhood sur la case self-model minimal #15874 partage : docs/ict/dissociations-matrix.md (issues communes : ICT — Veille & distillation TOE↔conscience : carrefour Jaimungal (iceberg) × socle topos (Schreiber) → lentille grothendieckienne #8182)
• faible -- feat(ict,#15798): case 5bis — extension causale attention-schema via moteur #15479 (état/readout 6/6, comportement directionnel) #15878 partage : .github/workflows/ict-tests.yml, docs/ict/dissociations-matrix.md