ICT — trois régimes de lecture d’une trajectoire : invariants, dissociations, obstructions

Statut. Document de synthèse transversal, grade C-documentaire (consolidation, pas de nouveau dispatch). Consolidé depuis le cadrage stratégique du 2026-07-19 et la série ICT (Epic #4588). Objet. Poser opérationnellement — non pas seulement conceptuellement — une grille à trois régimes pour lire une trajectoire causale already instrumentée dans le dépôt, et la relier aux deux chantiers actifs : #7395 (N1 — l’obstruction comme objet expérimental) et #7396 (N2 — invariants et dissociations sur les trajectoires de représentations). Discipline. Synthèse consolidante. Pas d’unification prématurée, pas de formalisme catégorique plaqué trop tôt (cf #7289 / #7291, gelées). Le document décrit la grille, cite des cas concrets déjà instrumentés, et relie aux livrables existants ; il ne crée aucune nouvelle dépendance de dispatch. See #7399. Part of #4588.

Pourquoi cette grille

La série ICT (cf README ICT-Series) est partie chercher un scalaire universel — une grandeur unique qui mesurerait, à travers tous les substrats, l’intégration, l’irréversibilité, ce qu’on ose appeler conscience. Elle a rapporté sans fard qu’un tel scalaire n’existe pas : sur la synthèse cross-substrat, deux proxys se suivent quand un troisième diverge. Ce constat — et non le nombre manquant — est le résultat.

Le document companion « La mer qui monte » (issue #7299) lit cette falsification comme un candidat à une obstruction de type cohomologique au recollement : on était parti chercher une section globale, et l’on tient, en H¹ ≠ 0, un candidat de classe d’obstruction — lecture proposée (grade C), à démontrer une fois le complexe de Čech expérimental construit (cf Ce que ce document n’est ci-dessous). Cette grille en tire trois régiments de lecture, distincts et complémentaires, que chaque substrat déjà instrumenté (tri auto-organisé, réaction-diffusion, Axelrod, grokking, Jeu de la Vie) peut traverser l’un après l’autre.

La grille ne remplace pas les mesures. Elle dit, pour une même trajectoire, quelle question on est en train de poser à la mesure — et donc quel verdict on en attend, et quel piège on évite en la surinterprétant.

Les trois régimes

Chaque régime se définit par une question opératoire et un cas concret déjà instrumenté dans le dépôt. On ne mélange pas les régimes sur une même mesure : c’est précisément quand on les confond qu’une intuition séduisante devient un fantôme statistique.

1. Invariants — ce qui se transporte

Question. Qu’est-ce qui reste constant d’un substrat à l’autre ? Qu’est-ce qui survit au changement de matériau — du tri auto-organisé à la réaction-diffusion, d’Axelrod à un LLM ?

L’invariant n’est pas un nombre : c’est ce qui se recolle quand on change d’ouverture. En langue grothendieckienne, ce sont les sections globales — H⁰, le cran où le local se globalise sans reste. Le dépôt possède l’instrument qui les calcule : le module SheafCohomology du lake grothendieck_lean (H0_equiv_global_sections, Mayer-Vietoris exact, zéro sorry de production).

Cas concret instrumenté. ICT-01-PhiTrajectories-Python : \(\Phi\) comme invariant mesuré cross-substrat, suivi le long d’un attracteur. La trajectoire de \(\Phi\) est ce qu’on cherche à transporter d’un substrat à l’autre — la photographie IIT mise en mouvement. Ce régime demande : existe-t-il, à travers les substrats, une grandeur dont la trajectoire se recolle ? La réponse honnête de la série est non — et ce non est précisément ce qui fait basculer dans le régime 3 (obstruction).

Piège évité. Confondre « invariant » et « scalaire universel ». L’invariant est une section qui se recolle ; exiger un scalaire unique, c’est exiger que toute la classe se ramène à une dimension — une exigence que la série a falsifiée.

2. Dissociations — où les proxys se séparent

Question. Où deux mesures, qu’on croyaient alignées, divergent-elles — et que révèle leur séparation ?

Une dissociation n’est pas un bruit de mesure : c’est le moment où deux proxys, censés suivre la même trajectoire, se séparent. Le motif de la séparation est l’information — il pointe ce que chaque proxy mesure réellement, par contraste avec ce qu’on voulait qu’il mesure.

Cas concrets instrumentés.

  • ICT-synthèse cross-substrat (strate 5, ICT-Series) : trois proxys de l’intégration, deux se suivent, un diverge. La dissociation est le résultat, pas un échec.
  • ICT-18b-ReversibilityBudget-Python (#7287) : la réversibilité y est dissociée en un moyen (production d’entropie \(\sigma\) de Schnakenberg — mesuré) et une fin (compétence de régénération au sens de Levin — nommée comme une autre grandeur, jamais mesurée). Le verdict P2 DISSOCIATION capture exactement ce régime : on croyait mesurer « la » réversibilité, on mesurait son coût, pas sa finalité.
  • ICT-15b-SensitivityCanonicity-Python (#7288) : degré spectral et sensibilité de Huang, deux lectures d’une même dynamique, divergent sur la question « lequel est canonique ? ». La dissociation révèle que le choix du proxy est un choix de préfaisceau.

Piège évité. Lire une dissociation comme un « bruit à corriger ». Réconcilier deux proxys divergents par moyenne les vide de leur information — c’est exactement l’unification prématurée que cette grille interdit.

3. Obstructions — ce qui empêche le recollement

Question. Qu’est-ce qui empêche les sections locales de se raccorder en une section globale — et cette impossibilité est-elle stable cross-substrat ?

L’obstruction n’est pas un échec de méthode : c’est une structure. Quand des données locales, chacune cohérente sur son ouvert, refusent de se recoller en un tout global, ce refus est une propriété du réel, et Grothendieck lui a donné nom et mesure : la cohomologie. Au premier cran, ce qui se recolle (H⁰) ; au cran suivant, la classe de l’obstruction (H¹) — nulle quand tout se raccorde, non nulle exactement à la hauteur de ce qui résiste. Le dépôt formalise ce geste (cf « Quand le recollement échoue », grade A sur le langage).

Cas concrets instrumentés.

  • Scalaire universel falsifié (strate 5) : la non-existence d’une section globale recollant tous les proxys = un candidat de classe d’obstruction non nulle (la falsification est un fait ; sa lecture comme classe de cohomologie H¹ est proposée, grade C). C’est le résultat, pas un manque.
  • social_choice_lean : l’impossibilité d’Arrow, 0 sorry — le local (préférences individuelles) ne se globalise pas en une fonction de choix, et c’est un théorème.
  • #7290 Kochen-Specker : aucune assignation globale non contextuelle n’existe — H¹ ≠ 0 érigé en impossibilité (lecture cohomologique d’Abramsky-Brandenburger). Le dépôt le pose en problème de contraintes où la section se recolle (SAT) ou se refuse (UNSAT). Instruit et mesuré (section dédiée) : le transfert échoue un cran avant le SAT/UNSAT, faute de proxys non conjointement mesurables — le zoo n’est pas « non contextuel », la question n’y est pas encore posable.
  • Jeu de la Vie (Lean-16b / -16c / -16d) : la règle locale B3/S23 et la complétude de Turing ne se recollent pas « gratuitement » — l’écart est mesuré, et la preuve du bond HashLife (hashlife_correct) vit dans cet écart.

Piège évité. Lire une obstruction comme un trou à combler. Combler l’obstruction (forcer un scalaire, moyenné les proxys) détruit l’information qu’elle porte — on revient au régime 2 en pire.

Le triptyque théorique de fond

Les trois régimes se soutiennent d’un triptyque qui traverse la série :

Régime Père théorique Geste Point d’ancrage dépôt
Invariants Grothendieck (recollement) Le local qui se globalise sans reste SheafCohomology, H⁰
Dissociations Schmidhuber (compression / grokking) Deux proxys se séparent quand l’un comprime mieux que l’autre ICT-17b-Grokking
Obstructions Thom (catastrophe) + Grothendieck (cohomologie) Le refus du recollement comme structure informative Arrow, Kochen-Specker, scalaire falsifié

Le lien Schmidhuber/dissociations mérite d’être dit : ICT-17b lit l’apprentissage comme une compression progressive (transition de phase représentationnelle). Quand deux proxys divergent, c’est souvent que l’un a franchi le seuil de compression et l’autre pas — la dissociation est la signature d’un grokking partiel. Thom, lui, nomme la bifurcation du mode de représentation (catastrophe), et Grothendieck dit si le nouveau mode se recolle à l’ancien — l’obstruction mesurant ce qui ne se recolle pas.

Le quatrième fil — orthogonal à la grille

La grille 3-régimes est transversale : elle dit, pour une même trajectoire, quelle question on est en train de poser. Le quatrième fil — celui du problème de la représentation interne (genealogy-representation-interne.md, #7735) — est diachronique : il raconte comment un représentant interne p̂ (un scalaire ponctuel, ICT-10) devient, par insuffisances successives, un état causal au sens de Crutchfield (ICT-17). Ce quatrième fil alimente les trois régimes sans s’y réduire : sans p̂, point de dissociation régime-2 (ICT-10 verdict) ; sans précision adaptative, point d’invariant régime-1 information-théorique (ICT-14/16) ; sans compression structurelle du représentant, point d’obstruction cohomologique interne au représentant (ICT-17 ε-machine, entropie d’excès E = limite d’un estimateur type p̂). Le descendant formel le plus naturel de p̂ n’est ni le SAE, ni la J-lens, c’est l’état causal prédictif (cf. doc companion, garde-fou 1 : continuité conceptuelle, pas transport formel démontré). Voir genealogy-representation-interne.md pour la généalogie complète (six maillons ICT-10 → ICT-17), la distinction explicite avec le global workspace ICT-24 (garde-fou 2 : W_t ≠ p̂ structuré), et le raccrochage au parapluie #7396.

Un substrat vu sous les trois régimes : Axelrod

ICT-13-AxelrodStrategicMorphodynamics-Python se laisse traverser par les trois régimes pour montrer que la grille est opératoire, pas décorative.

  • Invariants. Qu’est-ce qui se transporte d’un tournoi Axelrod à l’autre, indépendamment des stratégies seed ? Une structure de morphodynamique stratégique — la forme du paysage de coopération, pas son contenu.
  • Dissociations. Deux proxys du « succès » d’une stratégie (score cumulé vs robustesse face à l’invasion) se séparent : une stratégie peut dominer le score et perdre à l’invasion. Le motif de la séparation révèle que « succès » portait deux sens confondus.
  • Obstructions. Aucune stratégie unique ne recolle en gagnant global sur tous les paysages — la circularité (Condorcet) est une obstruction, et elle est stable. Ce n’est pas un défaut du tournoi ; c’est sa structure.

Kochen-Specker sur le zoo de proxys : l’analogie, et où elle meurt

Le régime 3 ci-dessus pose #7290 comme « la section se recolle (SAT) ou se refuse (UNSAT) ». Cette section instruit l’analogie jusqu’au bout — et rapporte que la question n’est pas encore posable, ce qui est un résultat, pas un manque. Outil : ict/proxy_contextuality.py (#7290).

La transposition, terme à terme

Abramsky-Brandenburger Zoo ICT
Observable Un proxy (spectral_gap, sensitivity_mean, …)
Contexte de mesure Un protocole : coarse-graining, fenêtre, régime de perturbation
Support de la distribution du contexte L’ensemble des tuples d’issues effectivement observés dans ce protocole
Section locale Un tuple observé dans un contexte
Section globale Une assignation proxy → valeur, indépendante du contexte
Fortement contextuel Aucune section globale — l’obstruction de Kochen-Specker

La version possibiliste (supports seuls) suffit, et elle rend la question littéralement un CSP à contraintes extensionnelles : chaque contexte est une table de tuples autorisés (AddAllowedAssignments en CP-SAT). C’est ce qui donne au test la propriété que l’issue exigeait : il répond OUI ou NON, sans marge d’interprétation.

Trois crans, pas deux

Un SAT brut ne dit pas « non contextuel » : il dit « pas fortement contextuel ». Le cran intermédiaire d’Abramsky-Brandenburger — logiquement contextuel : des sections globales existent, mais une section locale observée ne s’étend à aucune d’elles — est ce qui empêche un SAT d’être une impasse. L’outil rend les trois crans distinctement, et une fixture dédiée exhibe un modèle qu’un test SAT nu déclarerait « non contextuel » à tort.

Les points de rupture avec le cas quantique

  1. Origine des contraintes. Chez Kochen-Specker elles sont algébriques (orthogonalité), donc a priori et exactes. Ici elles sont mesurées : un UNSAT peut être un artefact d’échantillonnage. D’où l’exigence de plusieurs graines par contexte.
  2. Identité des observables. « Le même observable » dans deux contextes est le même opérateur en mécanique quantique, par définition. Ici, un proxy mesuré sous deux coarse-grainings n’est pas garanti être la même grandeur : l’identité cross-contexte est l’hypothèse la plus forte du transfert, et elle n’est pas démontrée.
  3. Pas de théorème de dimension. KS exige dim ≥ 3 et des configurations de rayons précises. Rien de tel ne contraint le zoo : l’absence d’obstruction ici n’a aucune portée sur KS, ni réciproquement.
  4. Discrétisation. Les proxys sont des réels ; les rendre des issues discrètes est un choix de seuils, pas une donnée.

Le garde-fou : trois manières d’être vide

Le risque nommé par l’issue est l’analogie décorative. L’outil refuse un verdict de contextualité dans trois cas où la réponse est forcée par la construction — recouvrement total (tous les contextes co-mesurent le même ensemble de proxys : la question se réduit à « l’intersection des supports est-elle non vide ? »), aucun recouvrement (contextes indépendants, SAT gratuit), supports rigides (une seule mesure par contexte : un UNSAT n’y est qu’un changement de valeur, c’est-à-dire une dissociation de régime 2, pas une obstruction). C’est la leçon d’ICT-15d appliquée d’avance : un verdict ne vaut que si sa négation était atteignable.

Le détecteur est validé sur des fixtures à insatisfiabilité prouvée à la main — la boîte de Popescu-Rohrlich, dont l’UNSAT se démontre par parité (la somme des quatre contraintes XOR vaut 1 mod 2 alors que son membre gauche est pair). On prouve que le détecteur détecte avant de croire son verdict sur des données réelles.

Le résultat mesuré : la question n’est pas posable

Mesure sur S1 (tri auto-organisé), trois coarse-grainings k ∈ {3, 4, 6} × cinq graines {0, 1, 7, 42, 99}, proxys câblés comme dans ICT-15c (f(x) = x, anti-saturation) :

recouvrements distincts  : 1
proxys partages          : ['sensitivity_max', 'sensitivity_mean', 'spectral_gap']
tailles de support       : [1, 2, 1]
satisfiable              : False        (CP-SAT: INFEASIBLE, accord avec l'enumeration)
VERDICT                  : degenerate_single_cover

Le point important est l’écart entre les deux dernières lignes. Le modèle est bel et bien insatisfiable : un test naïf aurait donc rapporté « obstruction structurelle, H¹ ≠ 0 » sur ces données. Le garde-fou intercepte ce faux positif, et la raison est structurelle, pas contingente : les trois proxys du zoo partagent la signature (states, n_symbols). Rien n’empêche de les calculer tous les trois sur la même trajectoire — ils sont conjointement mesurables. Or c’est exactement la non-co-mesurabilité (la non-commutativité, chez KS) qui crée des contextes distincts et rend la contextualité possible. L’UNSAT observé est un désaccord entre coarse-grainings, c’est-à-dire un fait de régime 2, déjà acquis.

Verdict honnête. L’analogie Kochen-Specker ne meurt pas d’un SAT ; elle meurt un cran plus tôt, faute de recouvrement non trivial. Le zoo ICT n’est pas « non contextuel » — la question de sa contextualité n’est pas encore posable. L’ingrédient manquant est identifié et unique : une structure de co-mesurabilité partielle et justifiée, c’est-à-dire deux proxys dont les prétraitements sont genuinement incompatibles, de sorte qu’aucun protocole ne les livre ensemble. Tant qu’elle n’est pas établie, tout hypergraphe proxys × contextes serait une décoration. L’outillage est livré validé : le jour où une telle structure est justifiée, le test se pose sans réécriture.

Constat secondaire, à part. Sur cet encodage, sensitivity_mean et sensitivity_max valent exactement k − 1 pour toutes les graines : l’instrument sature, et deux des trois proxys ne portent aucune variance cross-graine. La note anti-saturation d’ICT-15c (f(x) = x au lieu de x % 2) ne désature donc pas sur la trajectoire d’inversions de S1. C’est un fait sur l’instrument, indépendant de la question KS, et il mérite son propre examen.

Lien vers les chantiers actifs

Cette synthèse ne lance aucun nouveau dispatch. Elle éclaire deux chantiers déjà ouverts :

  • N1 — #7395, l’obstruction comme objet expérimental minimal. Plutôt que d’ajouter un proxy de plus, stabiliser l’objet qui décrit le motif du désaccord entre proxys. Le régime 3 ci-dessus en est le cadre de lecture ; N1 en cherche la réalisation concrète bornée.
  • N2 — #7396, invariants et dissociations sur les trajectoires de représentations. Le pivot états → représentations : l’objet suivi n’est plus l’état du système mais sa représentation interne, apprise. Les régimes 1 et 2 s’y transportent directement — l’invariant devient ce qui se recolle à travers les représentations, la dissociation où deux représentations divergent pour un même état.

Ce que ce document n’est pas

  • Pas un théorème. Grade C-documentaire : la grille est une direction de lecture, vérifiable sur des cas concrets, mais la lecture qui fait des divergences ICT des classes de cohomologie est, à ce jour, proposée, pas démontrée (cf « La mer qui monte », qui le dit sans fard). Seul le langage cohomologique est au grade A (formalisé, 0 sorry de production).
  • Pas une unification. La grille décrit une famille de phénomènes ; elle ne force pas une théorie unique. Trois régimes distincts, pas un méta-proxy.
  • Pas un nouveau dispatch. Aucune nouvelle dépendance expérimentale n’est créée ici. Les chantiers N1/N2 existent par ailleurs ; ce document les éclaire, ne les déclenche pas.

Repères vérifiables

Retour au sommet