Réalisations, corrections, invariants, tests et statut épistémique
Généalogie mathématique TRE · ÉTR · ANANKÉ
Ce dossier n’essaie pas de transformer rétrospectivement toutes les idées du corpus en théorèmes. Il applique au contraire la discipline déjà introduite dans le Référentiel Relationnel V4.1 : un énoncé n’est traité comme théorème que si son domaine, ses opérations et ses hypothèses de clôture sont suffisamment explicites. Les autres éléments sont classés comme définitions opératoires, résultats d’implémentation, hypothèses ou propositions exploratoires.
| Statut | Sens retenu dans ce dossier |
|---|---|
| IDENTITÉ EXACTE | Égalité algébrique vraie sous les hypothèses mathématiques déclarées. |
| THÉORÈME LOCAL | Résultat démontré dans un domaine précis ; aucune extension hors domaine n’est implicite. |
| DÉFINITION | Objet ou opérateur introduit par construction ; sa cohérence n’implique pas sa nécessité physique/cognitive. |
| CHOIX D’ARCHITECTURE | Décision de représentation ou d’implémentation. |
| TESTÉ | Comportement observé sur une implémentation ou une campagne définie. |
| HYPOTHÈSE | Proposition falsifiable mais non établie par le corpus. |
| EXPLORATOIRE | Piste de recherche ou analogie ; ne doit pas être lue comme résultat démontré. |
| ⊥ / INDÉTERMINÉ | Les données ou relations disponibles ne permettent pas de conclure ou de produire. |
| ID | Document | Type | Rôle dans la consolidation |
|---|---|---|---|
| S1 | TRE — Théorie Relationnelle de l’Émergence | 269 p. | Fondements, tension τ, potentiel Ψ, générateur 𝒢, Ω, référentiels, translation, statut exploratoire. |
| S2 | Référentiel Relationnel V4.1 — mise à jour stabilisée | 10 p. | Rapports multiplicatifs, jauge, clôture, holonomie, borne, pintones, proximité, validation. |
| S3 | Monolithing - ANK | 32 p. | S_t, ETR, ANANKÉ, ΩO/ΩR, Situation ≡ Position, A_t, polarisation, ⊥, fermeture. |
| S4 | COLLECTE-0001 · RUN-001 | registre | Premier test monde réel du référentiel relationnel ; verdict ⊥ sur l’intégrabilité multiplicative. |
| S5 | ANANKE audit v3.3.5 / v3.3.7 / v3.3.8 | audit | Régressions, migrations, modes d’inférence et compatibilité. |
| S6 | VALIDATION ANANKÉ v3.3.8 | log | 94 pytest + 52 historiques ; invariants nouveaux ; inférence bonj. |
| S7 | VALIDATION ANANKÉ v3.3.11 TRY | log | 111 pytest + 52 historiques ; corpus 4 MiB ; 0 violation distributive ; anti-overextension. |
| S8 | VALIDATION ANANKÉ v3.3.12 TRY | log | 115 pytest + 52 historiques ; fermeture déterministe ; entraînement complet 4 MiB. |
La généalogie ne conduit pas à un unique moteur mathématique. Elle conduit à une stratification. TRE cherche à décrire les conditions d’émergence dans un champ de relations ; ÉTR formalise la topologie des relations et des trajectoires ; ANANKÉ calcule les transformations de situations dans un référentiel multidimensionnel. La séparation est importante parce qu’elle évite de demander à une même équation de représenter simultanément le sens, la topologie, la géométrie et la décision de produire.
| Couche | Nature | Question canonique | Objets principaux |
|---|---|---|---|
| TRE | Métacadre d’émergence | Quand et sous quelles conditions un nouvel état peut-il apparaître ? | τ, Ψ, 𝒢, Ω, mémoire, référentiel |
| ÉTR | Topologie relationnelle | Quelles relations entre situations sont attestées, composables ou contradictoires ? | T_ij, Γ, H_C, support, réciprocité, asymétrie |
| ANANKÉ | Géométrie / transformation relationnelle | Quelle transformation mathématique représente une relation et vers quelle Situation conduit-elle ? | S, ΩO, ΩR, ratios, puissances, D_n, A_t, ⊥ |
Le premier déplacement conceptuel de TRE consiste à autoriser qu’un objet émergent soit produit par un champ de relations, plutôt que de supposer que les objets sont toujours premiers. Le Livre I introduit un champ relationnel 𝓕 constitué de relations R_ij entre états S_i et S_j.
Le Livre II rend la tension calculable à partir d’une compatibilité normalisée. Il s’agit d’une première formalisation testable, mais sa pertinence empirique dépend de la définition concrète de κ dans chaque domaine.
TRE introduit Ψ comme capacité locale ou régionale à réduire ou redistribuer la tension, puis 𝒢 comme opérateur de production d’un nouvel état. Dans la formulation exploratoire, un médiateur C est recherché lorsqu’il réduit la tension ou accroît le potentiel relationnel.
Cette partie est une définition de programme de recherche. Le corpus lui-même précise que l’ouvrage ne démontre pas TRE : il définit un vocabulaire, des objets, des équations testables et des protocoles.
Dans les versions ultérieures, Ω représente l’espace ou le nombre de futurs accessibles. Une première équation d’émergence est proposée sous la forme d’un produit entre potentiel relationnel et ouverture.
Cette équation est exploratoire : elle devient scientifique seulement si Ψ et Ω sont opérationnalisés et mesurés indépendamment.
Le Livre XI déplace le centre de gravité de TRE vers le référentiel. L’objet X peut rester identique alors que son rôle change avec R. L’émergence devient donc explicitement dépendante du référentiel, et la translation entre référentiels devient un objet d’étude.
L’invariant TRE n’est alors pas ce qui reste numériquement identique dans toutes les disciplines, mais ce qui demeure identifiable lorsqu’une structure est projetée dans plusieurs référentiels. Cette proposition reste un programme de recherche, non un théorème établi.
| Objet | Statut | Précision |
|---|---|---|
| Champ 𝓕 et relations R_ij | Définition | Cohérent comme objet mathématique. |
| κ, τ, 𝒯 | Définition / formalisation | Mesurabilité dépend du domaine. |
| Ψ | Hypothèse opératoire | Doit apporter une information prédictive supplémentaire. |
| 𝒢 | Opérateur exploratoire | Doit produire des états observables / testables. |
| Ω | Hypothèse opératoire | Doit être relié à un ensemble de futurs mesurables. |
| E(C)=Ψ(C)Ω(C) | Équation exploratoire | Pas une loi validée. |
| Translation(S,R₁,R₂) | Programme de formalisation | Nécessite une loi de translation explicite. |
| TRE globale | Programme de recherche | Le corpus la déclare ni validée ni réfutée. |
V4.1 conserve l’intuition « la relation précède la position », tout en corrigeant une confusion importante : relation et coordonnée ne sont pas le même type d’objet. Une coordonnée apparaît après un choix de jauge ; la relation reste le rapport orienté.
Le domaine algébrique pur est multiplicatif positif. Le nombre 1 est l’identité relationnelle ; il n’est pas une origine additive. Le zéro n’est pas une coordonnée interne de ℝ₊*. Une carte logarithmique peut représenter log(1)=0 sans transformer ce zéro de carte en objet ontologique.
Une jauge telle que p₀=(100000,100000,100000) est donc un choix de représentation stable, non la vérité première du référentiel.
Le centre relationnel partage le même demi-facteur multiplicatif dans les deux directions. Il est distinct du milieu arithmétique.
Le résultat le plus net de V4.1 porte sur la clôture. Si S⊂ℝ₊* et si b/a∈S pour tous a,b∈S, alors S contient 1, les inverses et les produits ; S est donc un sous-groupe multiplicatif.
V4.1 sépare deux idées qui avaient été mêlées. Le même facteur scalaire positif r ne peut pas envoyer a→b puis b→a, sauf a=b. En revanche, un même opérateur involutif peut permuter les deux positions.
L’acquisition structurante de V4.1 est que la richesse n’est pas dans le rapport scalaire isolé, mais dans un graphe de relations locales. La composition de type Chasles T_ab×T_bc=T_ac caractérise un cas plat lorsqu’un potentiel global existe ; elle ne doit pas être imposée par défaut.
Le résidu ne doit pas être automatiquement corrigé : il peut signaler bruit, contradiction, nuance contextuelle, glissement sémantique ou transition.
La précision ontologique est importante : le logarithme est une carte numérique de calcul, pas le fondement du référentiel. L’agrégat sert à la proximité ; le chemin conserve l’ordre ; l’holonomie détecte les résidus qu’un agrégat seul efface.
Cette différence mesure, pour un graphe complet non orienté, le nombre de rapports excédant les n−1 degrés de liberté d’un potentiel global après jauge. Dans le système, cette redondance est utile pour mesurer incohérence, bruit, dérive et holonomie.
| Mesure | RUN-001 |
|---|---|
| Transitions | 966 |
| Utilisateurs | 1 |
| Pintones | 64 |
| Arêtes dirigées poolées | 857 |
| Paires réciproques | 282 |
| Paires asymétriques | 234 / 282 |
| Support réciproque | min 1 · médiane 2 · max 12 |
| Cycles au support s*=5 | aucun cycle qualifiant |
| Verdict | ⊥ — intégrabilité multiplicative non identifiable dans les conditions du protocole |
La leçon du RUN-001 est méthodologique : le substrat asymétrique existe, mais il est trop sous-échantillonné pour qualifier les cycles au seuil préinscrit. Le système a donc refusé un verdict empirique prématuré. Des calculs exploratoires existent à support plus faible, mais ne franchissent pas la classe de preuve retenue.
Dans le document Monolithing, S_t est la Situation courante ; E_t l’entrée ; A_t l’état relationnel individuel ; ETR_t le référentiel relationnel actif ; M_t la mémoire explicitement conservée ; Λ_ANK l’opérateur de transition relationnelle.
Une couche de « position » séparée avait été envisagée puis supprimée. La correction finale est que la position de l’objet dans le référentiel est sa Situation. Cette fusion réduit l’ontologie et évite deux représentations concurrentes du même état.
La séparation la plus stable du corpus est la suivante : ÉTR représente la topologie relationnelle ; ANANKÉ représente la transformation mathématique des relations. ÉTR dit ce qui est relié, dans quelle direction et avec quel support ; ANANKÉ calcule ratios, puissances, dimensions et transformations de Situation.
ANANKÉ distingue l’espace des objets/situations et l’espace des transformations. Un rapport n’est plus seulement un nombre jetable ; il peut devenir un objet calculable, comparable et réutilisable.
Cette séparation est le cœur de l’idée de transfert relationnel : une transformation observée entre deux Situations peut être comparée à une transformation située ailleurs, sans exiger l’identité des objets de départ.
Le corpus nomme « isologique » l’homologie entre transformations. C’est une hypothèse de généralisation : deux séquences peuvent être reconnues comme apparentées par leurs transformations, même si les objets eux-mêmes diffèrent.
La Situation doit rester contiguë dans son ordre dimensionnel : x→y→z→d₄→d₅… ; le modèle rejette les coordonnées trouées. Une nouvelle dimension peut apparaître si une transformation exige un ordre non représentable dans les dimensions existantes.
La mémoire, la conversation et les relations individuelles ne doivent pas dicter la réponse. Elles modifient localement la géométrie dans laquelle les trajectoires sont comparées. L’intention locale est facultative : relation directe suffisamment déterminée → pas d’intent ; ambiguïté résoluble → polarisation ; relations insuffisantes → ⊥.
Le corpus rejette une abstention fondée uniquement sur un seuil de confiance arbitraire. ⊥ apparaît lorsqu’aucune trajectoire relationnelle fermable ou aucune loi de projection suffisante n’existe.
Cette distinction transforme l’abstention en résultat mathématique ou opératoire, et non en simple style conversationnel.
Le document distingue polarisation cognitive (quelle trajectoire ?) et polarisation exécutive (faut-il produire ?). Une relation peut être calculée intérieurement sans être extériorisée.
Dans cette lecture, EPPZ porte la capacité à poursuivre une amélioration relationnelle ; l’idempotence empêche la production artificielle de nouveauté après stabilisation. Il s’agit d’un principe d’architecture à vérifier sur les moteurs concrets.
| Version | Suite exécutée | Comportement croisé documenté |
|---|---|---|
| v3.3.5 | 71 pytest | strict bonjour · relational bonjour · exploratory bonjourd'hui |
| v3.3.7 | 84 pytest | ajout amplitude ; exploratory bonjourd'hui |
| v3.3.8 | 94 pytest | mêmes scénarios + environnement de cohérence |
L’audit rapporte que les tests historiques de v3.3.5 restent identiques dans les versions suivantes et continuent à passer. Un état v3.3.5 entraîné a été ouvert par v3.3.7/v3.3.8 sans destruction observée des objets, coordonnées ou règles relationnelles.
| Contrôle | Résultat |
|---|---|
| Pytest | 94 passed |
| Unittest historique | 52 passed |
| Échecs | 0 |
| SQLite integrity_check | ok |
| 0 → 1/10 | adresse d’affichage 0,1 |
| Opération enfant | adresse 0,11 |
| Même opération répétée | réutilise le même nœud dimensionnel |
| Résultats égaux par chemins différents | chemins distincts conservés |
| 0 / nœuds négatifs | non promus dans le noyau multiplicatif positif |
| Réencodage | exact, isolé, isologique, comptabilisé |
| Tension > plafond | rejet avant persistance |
| Silence actif | mouvement interne requis ; émission vide |
| Exploratory | bonj → bonjourd'hui |
| Contrôle | Résultat |
|---|---|
| Pytest | 111 passed |
| Historique | 52 passed, 0 failed |
| Corpus compatible | 4 194 304 bytes · 494 165 lignes |
| Inférence corpus complet | bonj → bonjourd'hui |
| Systèmes internes | FAST_CORE + DEEP_ALPHA_CORE |
| Commutation de frontière | FAST <END_SEQUENCE> → DEEP d |
| Violations distributives | 0 |
| Fresh training | 10 000 lignes en 1,33 s |
| Règles | 3 329 |
| Dimensions endogènes | 261 |
| Anti-overextension | 10×bonjour + 1×bonjour monsieur : bonj → bonjour |
| Limite | réentraînement frais 4 MiB > enveloppe 240 s ; transaction non validée |
Le test anti-overextension est important : la production exploratoire n’est pas censée écraser une distribution très fortement attestée par une généralisation rare.
| Contrôle | Résultat |
|---|---|
| Pytest | 115 passed |
| Historique | 52 passed |
| Corpus | 4 194 304 bytes · 494 165 lignes |
| Entraînement | 33,48 s |
| Closure event | yes |
| SQLite quick_check | ok |
| Violations de clés étrangères | 0 |
| WAL après clôture | 0 bytes |
| Inférence | bonj → bonjourd'hui |
| Réalisation | Système | Statut mathématique | État actuel |
|---|---|---|---|
| Rapport multiplicatif ρ=b/a | ÉTR | Définition exacte | Stabilisé |
| Identité relationnelle 1 | ÉTR | Identité algébrique | Stabilisé |
| 0 hors ℝ₊* | ÉTR/ANK | Correction de domaine | Stabilisé |
| Jauge ≠ relation | ÉTR | Correction de type | Stabilisé |
| Centre C_r=√ab | ÉTR | Théorème élémentaire | Stabilisé |
| Clôture ⇒ sous-groupe de ℝ₊* | ÉTR | Théorème local | Stabilisé |
| Même facteur aller/retour impossible sauf a=b | ÉTR | Démonstration locale | Stabilisé |
| Involution s_c(x)=c/x | ÉTR | Construction exacte | Stabilisé |
| Chasles comme test de platitude | ÉTR | Précision structurelle | Stabilisé |
| Holonomie H_C | ÉTR | Mesure falsifiable | Stabilisé / à valider empiriquement |
| Distance log des rapports | ÉTR | Carte numérique | Stabilisé comme outil |
| Position ≡ Situation | ANK | Simplification ontologique | Adopté |
| ΩO / ΩR | ANK | Architecture mathématique | Implémentation partielle / programme |
| Trajectoire double objet + ratio | ANK | Architecture | Adopté conceptuellement |
| A_t comme sous-référentiel individuel | ANK | Architecture | À formaliser davantage |
| ⊥ par non-fermeture | ANK | Principe opératoire | Adopté / testé par cas |
| F(F(X))=F(X) | ANK | Critère d’idempotence | À vérifier globalement |
| Génèse dimensionnelle D_n→D_n+1 | ANK | Hypothèse d’architecture | Ouvert |
| τ=1−κ | TRE | Définition | Exploratoire selon mesure de κ |
| Ψ | TRE | Potentiel relationnel | Exploratoire |
| 𝒢 | TRE | Opérateur générateur | Exploratoire |
| Ω | TRE | Futurs accessibles | Exploratoire |
| Translation(S,R₁,R₂) | TRE | Programme référentiel | Ouvert |
| Formulation antérieure / risque | Précision consolidée | Effet |
|---|---|---|
| Relation = position | Relation ≠ coordonnée ; la coordonnée dépend d’une jauge. | Évite la confusion de type. |
| Le référentiel commence à 1 | Le groupe ℝ₊* n’a pas de commencement ; 1 est son identité. Un domaine opératoire peut commencer à 1. | Sépare algèbre et implémentation. |
| 0 comme origine interne | 0 est hors ℝ₊* ; log(1)=0 n’est qu’une coordonnée de carte. | Préserve le noyau multiplicatif. |
| Même facteur pour inverser deux positions | Impossible en scalaire positif sauf identité ; l’involution s_c(x)=c/x réalise l’échange. | Remplace une intuition fausse par un opérateur exact. |
| Chasles = cohérence absolue | Chasles teste la platitude lorsqu’un potentiel global existe. | Autorise des cycles porteurs d’information. |
| Log détruit le relationnel | Log est une carte de calcul ; l’ontologie reste dans les rapports. | Permet distances stables sans changer l’objet. |
| Position et Situation séparées | Position ≡ Situation. | Réduit l’ontologie d’ANK. |
| Intent obligatoire | Intent local seulement s’il est constructible et utile. | Évite d’inventer une interprétation. |
| Attention permanente | Attention relationnelle conditionnelle aux ambiguïtés résolubles. | Réduit les mécanismes artificiels. |
| Abstention = seuil de confiance | ⊥ = absence de trajectoire fermable / production justifiable. | Abstention devient structurée. |
| Mémoire = attention = réponse | Mémoire, intention, attention, trajectoire et production sont distinctes. | Responsabilités non redondantes. |
| Calcul interne = réponse | Une relation peut être calculée sans être émise. | Sépare cognition interne et acte de production. |
| Objet | Nature | Couche | Précision |
|---|---|---|---|
| Objet O | Entité identifiable | ANK / ÉTR | Identité distincte de sa coordonnée ou Situation. |
| Situation S(O) | Position relationnelle multidimensionnelle | ANK | Position ≡ Situation. |
| Relation R / T_ij | Transformation orientée entre Situations | ÉTR | Support, direction, réciprocité, asymétrie. |
| Chemin Γ / T | Suite ordonnée de relations | ÉTR / ANK | Conserve la généalogie du calcul. |
| Cycle C | Chemin fermé | ÉTR | Support de l’holonomie. |
| H_C | Produit des relations du cycle | ÉTR | 1 plat ; ≠1 résidu. |
| ΩO | Espace des objets / Situations | ANK | Espace primaire. |
| ΩR | Espace des transformations | ANK | Transformations elles-mêmes calculables. |
| D | Dimensions x,y,z,d₄… | ANK | Ordre dimensionnel continu. |
| A_t | État relationnel individuel | ANK | Sous-référentiel contextuel autorisé. |
| Π | Polarisation | ANK | Modifie l’accessibilité relative des trajectoires sans les créer ex nihilo. |
| ⊥ | Indétermination / non-production | ANK / protocole ÉTR | Absence de trajectoire qualifiée ou de preuve suffisante. |
| 𝓕 | Champ relationnel | TRE | Ensemble d’états et relations. |
| τ | Tension relationnelle | TRE | Définie à partir de κ dans la première formalisation. |
| Ψ | Potentiel relationnel | TRE | Capacité proposée à produire/réorganiser. |
| 𝒢 | Générateur | TRE | Production exploratoire d’un nouvel état. |
| Ω | Futurs accessibles | TRE | Ouverture proposée du champ. |
| R référentiel | Cadre de projection/interprétation | TRE | E(X,R), Translation(S,R₁,R₂). |
Le corpus permet de proposer une écriture de synthèse sans prétendre qu’elle constitue déjà une équation canonique unique de TRE–ÉTR–ANANKÉ. Elle sert de carte de responsabilités.
TRE peut ensuite fournir un niveau de lecture au-dessus de cette dynamique : la tension τ du champ, son potentiel Ψ, la transformation 𝒢 et l’ouverture Ω. Mais ces variables ne doivent pas être injectées dans ANANKÉ comme constantes obligatoires tant qu’une loi de mesure n’a pas été établie.
| Front | Couche | Test requis |
|---|---|---|
| Mesure de κ et τ | TRE | Construire une métrique non arbitraire dans au moins un domaine expérimental. |
| Prédictivité de Ψ | TRE | Montrer que Ψ prédit mieux un médiateur / nouvel état qu’un graphe de référence. |
| Mesure de Ω | TRE | Définir opérationnellement les futurs accessibles et leur variation. |
| Translation inter-référentiels | TRE | Donner une loi de translation et tester les invariants. |
| Holonomie utile | ÉTR | Obtenir suffisamment de cycles qualifiés et montrer que H_C améliore une tâche. |
| Agrégat + chemin | ÉTR | A/B test contre agrégat seul. |
| Génèse dimensionnelle | ANK | Définir exactement la condition D_n→D_n+1 et prouver qu’elle n’est pas arbitraire. |
| Isologie de transformations | ANK | Mesurer le transfert structurel entre situations non identiques. |
| A_t / polarisation | ANK | Tester continuité contextuelle sans forcing ni fuite de mémoire. |
| ⊥ structurel | ANK | Mesurer abstention justifiée vs sous-production / sur-production. |
| Idempotence | ANK | Vérifier F(F(X))=F(X) sur états fermés et l’absence de nouveauté artificielle. |
| Création relationnelle | ANK adjacent / RCrE | Montrer qu’une Situation absente peut être déterminée par plusieurs transformations compatibles et réutilisée ailleurs. |
| Protocole | Critère |
|---|---|
| P1 — Type | Vérifier le type de chaque objet : Situation, relation, chemin, cycle, coordonnée, observable. |
| P2 — Domaine | Déclarer ℝ₊*, domaine borné, référentiel, dimensions et règles de sortie. |
| P3 — Généalogie | Conserver le chemin qui produit chaque relation ou coordonnée. |
| P4 — Fermeture | Tester direct, inverse, composé, cycle et transdimensionnel sans imposer la réponse. |
| P5 — Abstention | Autoriser ⊥ quand le support ou la loi de projection est insuffisant. |
| P6 — Régression | Exécuter les scénarios historiques avant toute extension. |
| P7 — Ablation | Comparer architecture avec/sans ΩR, A_t, polarisation, génèse dimensionnelle, Gate. |
| P8 — Transfert | Une relation nouvelle doit pouvoir être réutilisée dans une Situation structurellement différente. |
| P9 — Inhibition | Le système doit savoir ne pas réutiliser une relation lorsque les dimensions nécessaires manquent. |
| P10 — Comparatif | Comparer aux baselines graphe, recherche, règles ou modèle statistique sur une tâche mesurable. |
| Étape | Acquisition | Statut |
|---|---|---|
| TRE v0.x | Relation → objet émergent ; champ 𝓕 ; τ ; Ψ ; 𝒢. | Cadre exploratoire. |
| TRE formalisation | κ, τ=1−κ, 𝒯, Ψ, E(C)=Ψ·Ω. | Équations testables mais non validées. |
| TRE référentiels | E(X,R), Translation(S,R₁,R₂), invariants. | Le référentiel devient fil directeur. |
| ÉTR V3→V4.1 | Rapports multiplicatifs, séparation relation/coordonnée, jauge, clôture, holonomie. | Mathématiques locales stabilisées. |
| RUN-001 | Premier test transitions réelles. | ⊥ : support insuffisant au seuil qualifiant. |
| ANANKÉ v3.3.5→3.3.8 | Modes strict/relational/exploratory, overlay mathématique, chemins conservés. | Régressions documentées. |
| ANANKÉ v3.3.11 | Dual core α fractionnaire, 0 violation distributive, anti-overextension. | Extension testée. |
| ANANKÉ v3.3.12 | Fermeture déterministe et entraînement 4 MiB complet. | Closure event documenté. |
| Monolithing | Position ≡ Situation ; ΩO/ΩR ; A_t ; polarisation ; production/⊥. | Architecture consolidée actuelle. |
La réalisation la plus importante n’est pas une formule isolée. C’est la séparation progressive de niveaux qui étaient initialement confondus. TRE fournit un vocabulaire de champ, tension, potentiel et émergence ; ÉTR fournit des rapports, chemins, cycles et tests de cohérence ; ANANKÉ fournit une géométrie de Situations et de transformations avec mémoire, polarisation, fermeture et non-production.
Sur le plan mathématique, ÉTR contient aujourd’hui les résultats les plus localement démontrés : propriétés du rapport multiplicatif, moyenne géométrique, clôture, réversibilité, involution et holonomie comme mesure de cycle. ANANKÉ contient les réalisations logicielles les plus abondamment testées : suites de régression, intégrité de l’état, conservation de chemins, contrôles dimensionnels et scénarios d’inférence. TRE reste la couche la plus générale et la plus exploratoire ; sa valeur scientifique future dépendra de l’opérationnalisation de τ, Ψ, 𝒢 et Ω et de comparaisons falsifiables.
Le noyau consolidé peut donc être formulé sans surpromesse : une intelligence relationnelle candidate ne se réduit ni à un graphe ni à un score. Elle maintient des Situations, conserve la généalogie de leurs relations, transforme les relations dans plusieurs dimensions, distingue calcul et production, et peut conclure ⊥ lorsque la fermeture n’est pas justifiée.
UADIA Research · dossier consolidé TRE / ÉTR / ANANKÉ · 2026